13 - 4*t < 4 - 6*t
And(-oo < t, t < -9/2)
(-oo < t)∧(t < -9/2)
(-oo, -9/2)
t in Interval.open(-oo, -9/2)