x + -x - 5/3 + -x + 1/6 > 3*x + 1
1/6 - x + x - x - 5/3 > 3*x + 1
And(-oo < x, x < -5/8)
(-oo < x)∧(x < -5/8)
(-oo, -5/8)
x in Interval.open(-oo, -5/8)