(x12y8z3y6x5)/(y-3x8z7x3y5)