31 `<=`(`+`(`^`(5, `+`(x, 1)), `*`(3, `*`(`^`(5, `+`(`-`(x)))))), 16).