Question 637245
x<=y/5+2/5
 or
 x>y/5-3/5