Después de varias iteraciones, se resuelve que "n" es "definitivamente compuesto" o bien "probablemente primo".