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