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