resultant(a^2b+3ac^2+3b^2c-5, a^2c+ab^2+3bc^2-3, a)