07 `<=`(`+`(`/`(`*`(`+`(`*`(`^`(x, 2)), `-`(`*`(2, `*`(x))), `-`(1))), `*`(`+`(x, `-`(2)))), `/`(`*`(2), `*`(`+`(x, `-`(3))))), x).