reduce -5 t^2 + 18 t >= 9