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