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