Question 460565
5y =< -5
y =< -1