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