34 `<=`(`+`(`^`(9, `+`(x, `-`(2))), `-`(`*`(37, `*`(`^`(3, `+`(x, `-`(3)))))), 30), 0).