14 - 6*x > 1 + x
14 - 6*x > x + 1
And(-oo < x, x < 13/7)
(-oo < x)∧(x < 13/7)
(-oo, 13/7)
x in Interval.open(-oo, 13/7)