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