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