13 2*x 7*x 4*x + -- - 5 + --- >= 6 - --- - 1 10 4 20
(2*x)/4 + 4*x + 13/10 - 5 >= -7*x/20 + 6 - 1
/174 \ And|--- <= x, x < oo| \ 97 /
(174/97 <= x)∧(x < oo)
174 [---, oo) 97
x in Interval(174/97, oo)