Some of the number theory commands are n mod m, v div w, IsPrime, EulerPhi, DivisorSigma, GreatestCommonDivisor, and lots of others. It also has an extensive finite field and number field package.