2*z + 5 > 6*z - 17
And(-oo < z, z < 11/2)
(-oo < z)∧(z < 11/2)
(-oo, 11/2)
x in Interval.open(-oo, 11/2)