4*(x + 5) - 40 >= -5 + x
4*(x + 5) - 40 >= x - 5
And(5 <= x, x < oo)
(5 <= x)∧(x < oo)
[5, oo)
x in Interval(5, oo)