(x - 9)*(x + 3) <= 9 + (x - 3)*2
(x - 9)*(x + 3) <= 2*(x - 3) + 9
/ ____ ____ \ And\x <= 4 + \/ 46 , 4 - \/ 46 <= x/
(x <= 4 + sqrt(46))∧(4 - sqrt(46) <= x)
____ ____ [4 - \/ 46 , 4 + \/ 46 ]
x in Interval(4 - sqrt(46), 4 + sqrt(46))