04 `<=`(`/`(`*`(`+`(`*`(2, `*`(`^`(x, 2))), `-`(`*`(10, `*`(x))), 6)), `*`(`+`(x, `-`(5)))), x).