Remove sorted constraint from set.
Fix prime factorization, add division arith.