solve -x%5E2 - 3 y%5E2 %2B 5 z%5E2 %3D 0 over the integers