36 `>=`(`+`(`^`(25, `+`(x, `-`(`/`(1, 2)))), `-`(`*`(26, `*`(`^`(5, `+`(x, `-`(1)))))), 5), 0).