La cuestión de la determinación de si un númeron dado es primo es conocida como el problema de la primalidad. Un test de primalidad (o chequeo de primalidad) es un algoritmo que, dado un número de entradan, no consigue verificar la hipótesis de un teorema cuya conclusión es que n es compuesto.