El programa no falla, porque con la primera condición, al llegar a probar el número primo= 59 da división exacta. Por lo tanto antes de terminar la 2ª condición . 30031=59*509 (ambos factores primos)