Is a large power sum prime? · Spot the Formula! | Problems