03 `<=`(`/`(`*`(`+`(`*`(2, `*`(`^`(x, 2))), `-`(`*`(8, `*`(x))))), `*`(`+`(x, `-`(7)))), x)  .