2 2 x - 4*x <= -x + 20 - x
x^2 - 4*x <= -x^2 + 20 - x
And(-5/2 <= x, x <= 4)
(-5/2 <= x)∧(x <= 4)
[-5/2, 4]
x in Interval(-5/2, 4)