Check the integer property first.
Decide whether the problem is about divisibility, remainders, gcd/lcm, congruences, Diophantine equations, or base notation.
Check the remainder range.
A remainder modulo m must be from 0 to m-1. For gcd/lcm, check common prime factors.