56 `>=`(log[`+`(`*`(3, `*`(x)), `-`(5))](`+`(`*`(2, `*`(`^`(x, 2))), `-`(`*`(9, `*`(x))), 10)), 0).