Un test (o chequeo) de primalidad es un algoritmo que, dado un número de entrada "n", no consigue verificar la hipótesis de un teorema cuya conclusión es que "n" es compuesto.