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