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