I read chatgpts question as: for which k does there exist (p,n) so that that seems quite a bit harder. I guess Mersenne numbers are = 3 mod 4, so no solutions for k=-1. What is the set of k for which solutions exist?