Let p = -16 + 5. Let o(u) = -u3 - 12*u2 - 10*u + 13. Let v be o(p). Suppose -4 = -v*g - 0. Solve z = -g*z + 9 for z.
3
Let t = -1 - -3. Suppose -6 = -4*v + 5*v. Let j(p) = p + 12. Let k be j(v). Solve -t = 4*i - k for i.
1
Let c = 2 - 1. Suppose m + c = 2*m. Solve -m = -2*p - 7 for p.
-3
Let g be (0 - (2 - -1)) + -2. Let d = 17 - 10. Let a = d + g. Solve 0 = a*x - x - 5 for x.
5
Suppose -t = 2*i + 7, -1 = 3*t + 2*i - 0*i. Solve k = 4*k + t for k.
-1
Suppose -3*l - l = -240. Suppose -l = -j - 4*j. Solve -7*i + 3*i + j = 0 for i.
3
Let d = -6 - -9. Suppose 4*h = d*q + 23, 4 = 2*h - 2*q - 8. Solve c = -4*c + h for c.
1
Suppose -4*c = -5*c + 5. Solve -c*n - 4 = 6 for n.
-2
Suppose -7*v + 4*v = 0. Suppose 2*i - 8*i + 12 = v. Solve 7 = i*c - 1 for c.
4
Let h(z) = 2*z + 12. Let s be h(-6). Solve s*x = 4*x + 8 for x.
-2