Let c® = r3 - 12*r2 + 4. Let l be c(12). Suppose 4*j = l, 2*s + 2*j - 17 = -s. Solve 0 = s*i + 5 for i.
-1
Let n = -2 + 26. Let d = 27 - n. Solve d*b - 3 = -0*b for b.
1
Let p = -38 + 41. Suppose -5*y = -4*j - 40, -2*y - 3*j + j = -16. Solve u + y = p*u for u.
4
Suppose 3*v + 11 = 2. Let j = -9 - v. Let y(h) = -h3 - 6*h2 - h - 1. Let p be y(j). Solve -p*l + 7 = -8 for l.
3
Let p = -27 + 27. Solve 3*g = -p*g - 6 for g.
-2
Let j(i) = i + 6. Let o be j(-6). Solve o = -8*v + 4*v for v.
0
Suppose 2*g + g = v + 6, -4*v = 2*g - 18. Solve g*m + 12 = 3 for m.
-3
Let m = -4 - -12. Let b(g) = g**2 - g. Let f be b(2). Suppose -f*s - 14 = 2*y + 3*s, 0 = -4*y - 5*s - 8. Solve l + m = y for l.
-5
Let d(h) = h**2 - 8*h + 8. Let n be d(7). Suppose 2*i - 5 = -n. Solve 0 = i*k - 1 - 5 for k.
3
Let s = -6 - -6. Let a = -5 + 7. Suppose -3*m + 2*j + 3 + 2 = 0, -4*m + 6 = -a*j. Solve -p + 1 + m = s for p.
2