09 `>=`(`/`(`*`(`+`(`*`(`^`(x, 3)), `-`(`*`(7, `*`(`^`(x, 2)))), `*`(4, `*`(x)), 12)), `*`(`+`(`*`(`^`(x, 2)), `-`(`*`(7, `*`(x))), 12))), `+`(x, 1)).