2 (x + 3)*(x - 6) >= x - x - 20
(x - 6)*(x + 3) >= x^2 - x - 20
(-oo, 1]
x in Interval(-oo, 1)
And(x <= 1, -oo < x)
(x <= 1)∧(-oo < x)