Question 634619
t>=2*(t-4)