3*x - 13 >= -5*x + 27
3*x - 13 >= 27 - 5*x
And(5 <= x, x < oo)
(5 <= x)∧(x < oo)
[5, oo)
x in Interval(5, oo)