Less than (and strong induction)
even/odd (written by Ivan)
divisibility, prime, hard (all written by Archie)