Rules for algebra equations involving modulo operations

While working on a menial task in front of a clock today I was distracting myself by proving that all three hands only align twice a day. That lead me to wonder how one would deal with more complex problems involving modulo arithmetic. I know several rules for reducing equations involving all sorts of operators from simple addition up through very complex triple integrals and the like. But, I never learned any rules for manipulating the modulo operator.

What are valid operations that can be used to reduce equataions involving multiple modulo operators?

Here are some examples I can think of.

Let $m$ be any natural number, and let $a,b,c,d$ be any integers. Then:

• $\equiv$ modulo $m$ is an equivalence relation. That is,
  • $a\equiv a\bmod m$.
  • If $a\equiv b\bmod m$, then $b\equiv a\bmod m$.
  • If $a\equiv b\bmod m$ and $b\equiv c\bmod m$, then $a\equiv c\bmod m$.
• Addition and multiplication are well-defined modulo $m$. That is,
  • If $a\equiv b\bmod m$ and $c\equiv d\bmod m$, then $a+c\equiv b+d\bmod m$, and $ac\equiv bd\bmod m$.
• If $ac\equiv bc\bmod mc$, then $a\equiv b\bmod m$.
• The congruence $ax\equiv b\bmod m$ has solutions (i.e., integers $x$ making the statement true) if and only if $\gcd(a,m)$ divides $b$.

You also have

• If $p$ is a prime and $1\leq k\leq p-1$, then the binomial coefficient $\mathopen{\big(}\genfrac{}{}{0pt}{1}{p}{k}\mathclose{\big)}$ satisfies $\mathopen{\big(}\genfrac{}{}{0pt}{1}{p}{k}\mathclose{\big)}\equiv 0\bmod p$.
• Fermat's little theorem, and its generalization, Euler's theorem
• There are primitive roots modulo $m$ if and only if $m=p^k$ or $m=2p^k$ where $p$ is an odd prime number, or if $m=2$ or $m=4$.
• Wilson's theorem
• Chinese remainder theorem
• Quadratic reciprocity (more advanced)