Question 995533
1/3x =< 5
x =< 5/(1/3)
x =< 5*3/1
x =< 15