import Data.Numbers import Data.List test_primes = take 1000 primes == take 1000 check where check = sieve [2..] where sieve (p:xs) = p : sieve [x | x<-xs, x `mod` p /= 0] test_isprime = and $ map (isPrime) $ take 1000 primes test_primeFactors = let l = take 5 primes in sort (primeFactors (product l)) == sort l