26 `>=`(`+`(`^`(4, x), `-`(`*`(12, `*`(`^`(2, x)))), 32), 0).