52*x x + 2/15 - 7*x - 1/5 <= ---- 9
-7*x + x + 2/15 - 1/5 <= (52*x)/9
[-3/530, oo)
x in Interval(-3/530, oo)
And(-3/530 <= x, x < oo)
(-3/530 <= x)∧(x < oo)