solve (x^2 - 1)^2 + 3 = 6 x^5 y /(x^2 + 2) and 3y - x = sqrt((4x-3x^2y-9xy^2)/(x+3y))