Primes moved to seqs, factorize to math