2 2 x - (9 - x) > -2*x
x^2 - (9 - x)^2 > -2*x
81 (--, oo) 20
x in Interval.open(81/20, oo)
/81 \ And|-- < x, x < oo| \20 /
(81/20 < x)∧(x < oo)