Investigating division with remainders