import num :compile isPrime