잘 이해가 안되는 부분이 있습니다.

f2(변수들) 에서 xy, yz, zx 를 사용하셨는데,
이것이 x*y, y*z, z*x 를 의미하는 것인지 명확하지가 않네요.

예시로 적으신 Solve(f2(3,0,0,1,2,1,4,l,m,n),l,m,n) 에서
x*y=3*0 인데 xy자리에 1 을 넣으신 걸로 보면 x*y 를 의미하는 것이 아니라는 생각이 듭니다.

그래서 (오해를 줄이기 위해) xy, yz, zx 대신에 a,b,c 를 사용하여 아래 답변을 드립니다.