2*x - 20 >= (2*x - 5)*(2*x + 5) - 3*x*(3*x - 4)
2*x - 20 >= -3*x*(3*x - 4) + (2*x - 5)*(2*x + 5)
(-oo, oo)
x in Interval(-oo, oo)
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)