2 2 (5*x - 9) >= (9*x - 5)
(5*x - 9)^2 >= (9*x - 5)^2
And(-1 <= x, x <= 1)
(-1 <= x)∧(x <= 1)
[-1, 1]
x in Interval(-1, 1)