23 `<=`(`+`(`^`(2, `+`(`*`(2, `*`(x)), `-`(1))), `-`(`*`(7, `*`(`^`(2, `+`(x, `-`(1)))))), 5), 0).