A library for recreational mathematics providing efficient checks for primes of various forms. Relies on number-theory's is_prime function for fast primality.