p,qが有理数であるという仮定のもとでの次の2つの式から、p,qはやはり有理数でないといえますか?

p^3+9*p*q^2-3*p-1=0
q*(p^2+q^2-1)=0