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