Solve problems involving congruence.