See A035251. It says "n is representable in the form x^2-2y^2 iff every prime p == 3 or 5 mod 8 dividing n occurs to an even power." Much faster than Mma. Tony