Given a congruence relation a \equiv b\mod m, this will determine if the relation is true.

Shortcuts are also enabled as well.