28 `<=`(`+`(`^`(4, `+`(x, `-`(3))), `-`(`*`(71, `*`(`^`(2, `+`(x, `-`(6)))))), 7), 0).