The Miller-Rabin primality test is primality test: an algorithm which determines whether a given number is prime.