@the_pycho, I don’t know why you asked to study equivalence classes for such simple thing. It is basically could be verified simply. -3/5 + 5*a is the equation after dividing it by 5 and a is obviously greater than 1. so we can simply say do this -3/5 + 5 + 5*(a-1), and now simplify to see what is remainder.