+ 12. Let c be l(9). Suppose -15 = -2*s + c*s. Let z be -5*(0 + 6/s). Solve -4*v + w - 10 = 3*w, z*w + 1 = 5*v for v.
-1
Let l = 221 + -203. Solve -3*x + x = 2*f + l, 0 = -4*f - 2*x - 28 for f.
-5
Let i(u) = -3*u - 26. Let c be i(-14). Let l = 33 - c. Suppose 18*z - 4 = l*z. Solve t + f - 8 = 1, -24 = -t - z*f for t.
4
Let w be 0*(9 + -8) - -2*1. Solve -6 = 5*m + w*z, 4*m + m - z - 3 = 0 for m.
0
Let a(l) = 14*l - 2. Let i be a(3). Suppose 2*x - 8 = i. Let r be (-16)/(-6) + 8/x. Solve 4*d = -4*p - 4, -p + 2*p + r*d + 5 = 0 for p.
1
Let u(s) = 3*s - 8. Let h be u(3). Let w be (h/1)/(11/176). Solve 4*z + g = -3*g + w, -4*z = 3*g - 11 for z.
-1
Let p = 17 + 18. Suppose p = -10*i + 95. Solve 4*y = 2*d - 0*d - i, 5*y + 5 = 0 for d.
1
Suppose -3*h + k + 11 = 0, 5*h - 10*k - 9 = -6*k. Solve 0 = 2*s - 0*s - h*a - 21, -2*s - 5*a = 9 for s.
3
Suppose 36 = 4*k + 2*k. Suppose p = 8 - k. Solve 4*r + 16 = 0, t - p*r - 11 = 2 for t.
5
Let t(z) = 24*z + 123. Let b be t(-5). Solve -b*q + 2*q = 5*x + 3, x + 4*q - 7 = 0 for x.
-1
Let q = -2282 - -2292. Solve 5*a + 0*b + 4*b - 17 = 0, a = -3*b + q for a.
1
Let c(f) = 2*f**3 - 2*f**2 - 2*f. Let a be c(2). Suppose -33 = -a*n - 7*n. Solve n*j = -b - 4, 2*b + 5*j - 2*j + 5 = 0 for b.
-1
Suppose 1 - 6 = -5*m. Suppose -x + 5*k - 8 = 0, -19 = -5*x + 5*k + m. Let w = x + 16. Solve w = 2*a - 3*g, g - 6*g - 37 = -3*a for a.
4
Suppose -3*d = -5*t - 20, 16*d = 15*d - t + 12. Solve i - 2*z + d = -7*z, -3*i - 17 = 2*z for i.
-5
Let w = -10 + 17. Let q(g) = -g + 1 + 2*g + w. Let m be q(10). Solve 2*j - m = 5*b, 2*j - 12 = -2*b + 4*b for b.
-2
Suppose 0 = -2*g + 13 + 11. Suppose -2*h = h - g. Suppose -h*r + 5*q = -r + 9, -1 = 4*r - 3*q. Solve 4 = -r*c - j, -3*j = c - 2*c - 16 for c.
-4
Let h be (-4)/4 - (1 - 5). Solve 4*f - 22 = 3*r - 6*r, 3*f + h*r - 18 = 0 for f.
4
Suppose 36 = 2*t + 7*x, -56*t + x = -57*t + 18. Solve v - 5*u = -9, 9*v = 4*v - 2*u - t for v.
-4
Let o(l) = 15*l**2 + 29*l + 3. Let v be o(-2). Solve 0 = -3*q + 3*x - 9, -4*q + v*x = -0*q + 10 for q.
-5
Let w = -73 + 75. Suppose -2*f = l + 4 - w, -f + 8 = -4*l. Solve 2*m - 8 = -5*s, 3*s - 3*m - m - 10 = f for s.
2
Suppose 0 = -2*c - 2 + 4. Let r(v) = 2*v - 7. Let o be r(5). Let y(p) = 5*p + 5. Let l be y(4). Solve 4*m = -o*s + 21 - c, 4*s = -5*m + l for s.
0
Let a(w) = w**2 + w + 1. Let z be a(-4). Suppose -40 = -3*d - 2*u, 0*u = 3*d - 5*u - 68. Suppose 9*i + d = 13*i. Solve i*k + z = -h - 6, -4*h - 6 = 2*k for h.
1
Let g = 114 + -40. Let o = 76 - g. Solve -3*s = 4*l - 5, -3*l - 8 = -o*s + 1 for l.
-1
Let u be 1*(1 - (3 - 4)). Suppose u*f - 7*f = -20. Solve 3*a = 3*y - 12, a + a + f = -2*y for y.
1
Let k(d) = d + 6. Let q be k(1). Suppose -15 = q*c - 36. Solve 3*b - 24 = 5*v, -v + c*v = -6 for b.
3
Let o(l) = 24*l + 27. Let w be o(-1). Solve 0*v + 2*a - 9 = w*v, -2*a = 2*v + 16 for v.
-5
Let u = 136 - 137. Let q = 3 + -4. Let b = u - q. Solve b = 3*j, j = -3*r - 0*j for r.
0
Let b(p) = p**3 - 3*p**2 + 8*p - 8. Let i be b(4). Suppose q = 6*q - i. Solve q = -c + 5*c + 2*x, c + x = 2 for c.
2
Suppose 6 = 2*a + 2. Suppose 6*m - 46 = -172. Let o be (9/m)/((-3)/21). Solve -4*s = -2*h + s + 15, -a*h - o*s = 9 for h.
0
Suppose 2*h = 56 - 46. Solve -4*w + 5*w + 4*i = h, 3*i - 12 = 2*w for w.
-3
Suppose -4*v + 36 = -4*j, 3*v - 6*j - 21 = -j. Suppose 2*z - 8 = 3*z. Let l be 10 - -4 - z/(-2). Solve -3*q - 4 + v = 4*a, 0 = -2*q - 5*a + l for q.
0
Suppose 53 = 46*b - 85. Solve 2*p + s = -10, b*p + 2*s - 5 = -21 for p.
-4
Let z be 0/9 - (-1 + 8). Let c = -4 + -1. Let f = c - z. Solve -2*s - 5*j - 7 = 9, -5*j - 24 = -f*s for s.
2
Let j(z) = z**2 + 3*z - 35. Let r be j(-8). Solve -13 + 53 = -r*t - 3*m, -2*t - 2*m = 20 for t.
-5
Let q(z) = z**3 - 5*z**2 - 8*z + 14. Let v be q(6). Suppose 3*y = v*y + 4. Solve -4*k - 2*d + 4 = 2*d, 0 = 4*d + y for k.
2
Let j = 13 + -13. Let c(v) = v - 2. Let l be c(5). Suppose 15 = l*a - 5*g, -a = 5*g - 0*g - 5. Solve j = -3*t - 2*w - a, 15 = t + 4*w - 0*w for t.
-5
Let p(m) = -4*m**2 + 30*m - 10. Let t be p(7). Solve d - t*a = -1, 6*d - a = 3*d + 8 for d.
3
Let l(b) = b**3 + 6*b**2 + 3*b - 7. Let a be l(-3). Let y = a - 8. Solve -3*j - 24 = -y*s, 3*s = -3*j - 0*s - 6 for j.
-5
Suppose 24 = -3*c - 2*z, 4*c = z - 16 - 5. Let b be (4/c)/(6/(-243)). Solve -3*y + 2*x + b = -2*x, -4*y = 3*x - 11 for y.
5
Let n(f) = -f + 25. Let v be n(6). Suppose 10*p - v = 51. Solve 0 = 2*h + 10, -2*h = 5*l - p*h for l.
-5
Let c(h) = -4*h - 7. Let o be c(-3). Suppose -b + 29 = -0*b - 2*n, -o*b - 3*n + 158 = 0. Let a = b - 27. Solve 0 = a*s + x + 8, -3*s - x = -2*x - 1 for s.
-1
Let i(k) = -7*k - 277. Let b be i(-40). Solve -2 = -r - t, 13 = b*r - 3*t + 1 for r.
3
Let l = -8 - -11. Let m be (-4)/18 + 3 + 50/(-18). Let d be (-6)/(4/(48/(-9))). Solve m = l*b + 4*h + d, -h - 16 = -4*b + 5 for b.
4
Let i = -1064 - -1068. Solve -i*v - 17 = -4*k + 7, -v = 3 for k.
3
Let j be 6 - (4 + -2) - (3 - 2). Let o be ((-8)/(-12))/((-2)/(-6)). Solve 2*h = 3*u + 23, -o*u - j*h - h + 6 = 0 for u.
-5
Let l = 0 + -3. Let a = l + 2. Let g = 3 - a. Solve -g*i + 3 = 3*q + 4, -i - 29 = -5*q for q.
5
Let i(d) = d**3 - d**2 + d - 5. Let a be i(0). Let l be (-2)/a + (-13)/(-5). Suppose 2*o - l*o + 4 = 0. Solve 0 = f - 4*c - 17, -1 = -o*f + 2*c + 11 for f.
1
Let z be ((-4)/(-2))/((-2)/(-4)). Let v be (-1 + 0)/((-2)/10). Let i be (v*4/20)/1*0. Solve 3*p + p - 4 = z*j, i = 4*j - 8 for p.
3
Suppose 24*s = 14*s + 60. Solve 0 = -m - 3*j + s, -m + 5 - 4 = -2*j for m.
3
Let q(o) = 19 - 10*o**2 - 3*o**3 - 2*o**2 + 2*o**3 + o - 2. Let b be q(-12). Let p(x) = -x + 2. Let d be p(0). Solve -d*k = 2*r, 6*r = b*k + 5*r - 30 for k.
5
Let f = -68 + 65. Let r(x) be the second derivative of x**4/12 + x**3/3 + x. Let g be r(f). Solve -5*m = i + 12, 3*m + i - g = -9 for m.
-3
Suppose 3*d + t + 2*t = 15, 4*d - 3*t + 15 = 0. Solve z - 5*k - 4 = d, k + 15 = 4*z - 1 for z.
4
Let a(p) = p**3 - p**2 + p + 19. Let f be a(0). Suppose 4*r - 20 = -4*v, 0*v + 2*v = -5*r + f. Solve w + r*j + j = 12, -4*w + 5*j = 15 for w.
0
Let i(b) = b**2 - 30*b + 129. Let p be i(5). Solve -4*z + 7*z - 5*h - 8 = 0, 3*z - h - p = 0 for z.
1
Suppose 0 = -10*v + 460 - 410. Solve 0*i + 32 = v*i + 3*l, 2*i - 12 = -l for i.
4
Let u = -51 + 112. Let t = u + -57. Solve -14 = -3*f + 2*x + 1, -5*f - t*x = -3 for f.
3
Suppose 0 = -4*u - 4*j + 12, 4*u + 2*j - 4 = 2. Suppose 4*t = u, 3*p - 2*t - 12 = p. Let i be 4/26 - p/39. Solve 5*o + 0*g - 2*g - 23 = 0, g + 4 = i for o.
3
Let a(t) = -t**3 - 3*t**2 + 4*t - 4. Let v be a(-4). Let b be (-6)/((32/v)/4). Let f be (3/2)/(b/10). Solve -5*r + 1 = -2*q - 14, -5*r = -4*q - f for r.
5
Let t = 150 - 126. Suppose t = g + 15. Solve -4*x + 4 = 0, -4*b + g*b + 23 = -2*x for b.
-5
Suppose 0 = 2*b - 7*b + 5*w + 10, -w = b - 4. Solve 2*r = -r - 6, 1 = b*l - 2*r for l.
-1
Let n(f) = f**3 - 5*f**2 + 4*f + 4. Let r be n(4). Let o(p) = p**3 - 43*p**2 - 138*p + 4. Let j be o(46). Solve 0 = 2*m + j, -2 = -2*v - r*m for v.
5
Let u be 1 + -2 + (-5 - -4). Let x be -3 + (-1)/(u/2). Let c be (14/(-42))/(x/60). Solve 0 = -4*z, -3*s - 2 = -5*z + c for s.
-4
Suppose 19*q + 21*q = 160. Solve -5*u = q*s - s + 4, -3*s = 4*u + 5 for u.
1
Let j(m) = -2*m**2 - 22*m - 15. Let r be j(-10). Suppose 4*z + 13 = -0*p + p, -p = r*z + 5. Solve -5*x = p*k + 1 - 6, x + 2*k = 2 for x.
0
Let p(l) = 4*l**3 - 4*l**2 - 5*l - 5. Let j be p(-2). Let w = -39 - j. Solve 2*o - 5*o + n - 2 = 0, -w*o - 2*n = 6 for o.
-1
Let d be 146/(-1095) - 32/(-15). Solve d*i = 4*i - 2*w - 10, 0 = 2*i - w - 7 for i.
2
Suppose -3*r - 51 = 54. Let w be (-115)/r - 4/14. Solve -2*u - 6 = t, u + 0*u + w = -5*t for t.
0
Let j be (-6)/1*26/(-52). Let z(o) = o**2 - 5*o + 3. Let m be z(5). Suppose -m*h + 0*h = -9. Solve -a - 3 = 0, h*a - 7*a - 21 = -j*x for x.
3
Suppose f + 5*r = -14, 3*f - 38 = 3*r + 2*r. Solve 3*s + 10 = f*n - n, 0 = -n - 3*s + 2 for n.
2
Suppose -39*t = -37*t - 10. Suppose 0 = -t*q + 9*q - 40. Solve 5*m - q = 0, 0 = -2*k + 3*k - m - 1 for k.
3
Suppose 27 = -2*c - 29. Let r be (-16)/c*14/4. Suppose 4*v - 11 = -p + 2, 0 = -v - 4*p - 8. Solve b - v*s = 19, 0 = 3*b - r*s - 13 - 4 for b.
3
Let v = 247 + -245. Solve -5*p - g = -2, 2*g = v*p - 3*p + 4 for p.
0
Suppose 3*c + 45*u = 44*u + 70, -4*u = 3*c - 73. Solve -3*f + 26 = 18*i - c*i, 0 = -3*i - 3*f - 6 for i.
-4
Let l(