37 `<=`(`+`(`*`(2, `*`(`^`(16, `+`(`-`(x))))), `-`(`*`(17, `*`(`^`(4, `+`(`-`(x)))))), 8), 0).