2 (y - 5)*(y + 2) - (y - 7) > 18
-(y - 7)^2 + (y - 5)*(y + 2) > 18
And(7 < y, y < oo)
(7 < y)∧(y < oo)
(7, oo)
x in Interval.open(7, oo)