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