Suppose 0 = 3*j - 4*v - 24, -3*v = 4*j - 2*v - 13. Let a = -4 + j. Solve a = -r + 6*r + 20 for r.
-4
Suppose 0 = j + 3*q - 2 - 3, -2 = -2*q. Let o(y) = y**2 + 5*y + 6. Let f be o(-3). Let w = j + f. Solve -1 = w*n - 3 for n.
1
Let p be -3 + (12 - (0 + -1)). Let r = p + -4. Suppose 0 = -n - n + r. Solve 0*d + 6 = n*d for d.
2
Let b = 17 - 14. Solve -b*x + 0 = -6 for x.
2
Let m = -6 + 11. Let k(x) = x3 + 11*x2 + x + 11. Let n be k(-11). Solve m*o - 2*o - 9 = n for o.
3
Let m(s) = -2*s - 5. Let d be m(-4). Suppose 0 = 3*g - 5*p - 3 - 19, g = d*p + 10. Solve 6*q = g*q - 10 for q.
-5
Suppose 20 = 3*x - 7*x, -3*n - 4*x = 14. Let k(l) = 10 + 3*l - 4*l - n. Let s be k(-6). Solve -2 - s = 4*o for o.
-4
Let m(u) = -u - 10. Let l be (-1)/(-5) + 132/(-10). Let w be m(l). Solve 0 = 2*c + 9 - w for c.
-3
Let l(v) = -v3 + 9*v2 - 9*v + 9. Let g be l(8). Let r be ((-15)/(-10))/(g/2). Suppose -3*q - w + 1 = 0, -5*w - 15 = -2*w. Solve -q*i = r*i + 20 for i.
-4
Let t(a) = a. Let u be t(-2). Let v = 2 + u. Solve 2*r - 6*r = v for r.
0