2 (x - 9)*(x + 3) <= 9 + (x - 3)
(x - 9)*(x + 3) <= (x - 3)^2 + 9
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)
(-oo, oo)
x in Interval(-oo, oo)