 + 4. Let t be d(1). Let b = -49 - t. Solve 0 = 6*z - z + b, 7 = 4*s - 3*z for s.
1
Let l be (-2 + 8 + -9)/(1 - 2). Solve k + l*k + 12 = 0, -j - 3*k - 8 = 0 for j.
1
Let g(b) = -b**3 + 2. Let z be g(0). Let j be -4 + 0 + 0 + 4. Let m be -8*(-20)/16 - (1 - 5). Solve 5*s = n - m, 5 = -j*s - s - z*n for s.
-3
Let c = -372 + 382. Solve -2*m + 2*k = -c, 3*m - 9 - 8 = 4*k for m.
3
Let a(p) = 2*p + 4. Let u be a(-5). Let b = 3 + u. Let i be 1 - (2 - 0) - b. Solve x = -x - 3*q + 8, 4*x + 16 = i*q for x.
-2
Let t(y) = 4 - 7*y + 2 - 13. Let i be t(-3). Suppose 2*v + v = 2*z + 8, 0 = -3*z - 5*v + 26. Solve 2*o - o + i = -3*c, -z*c - 18 = 5*o for c.
-4
Suppose 0 = -4*y + 1720 - 1688. Solve -4*q - h + 5*h = y, -q = 5*h - 16 for q.
1
Let r(j) = j**3 + 67*j**2 + 249*j - 187. Let x be r(-63). Solve n + 8 = u, 3*n - 3*u + 30 = -x*n for n.
-3
Let s(z) = -14*z - 5. Let i be s(2). Let j = i - -36. Suppose j*v = -v + 8. Solve -4*m = -2*c - 18, v*m - 4*c = 21 - 3 for m.
3
Let q(u) = -u**2 - 3*u + 28. Let b be q(-7). Solve 5*r + 25 = b, -5*v - 7*r - 35 = -2*r for v.
-2
Let o = 13 - -1. Let u = 14 - o. Suppose 0*z = -5*k - 2*z + 9, u = 3*k + 4*z + 3. Solve 4*n - k*g + 10 = -3, -7 = 4*n - g for n.
-1
Let l = -4 - -7. Solve 6*n + 11 = k + n, l*k - 2*n - 7 = 0 for k.
1
Let p = -13 - -19. Solve -2*b - 2 = g, -g - 3*b - 3 = -p*g for g.
0
Let r = 481 + -481. Solve 4*o + 3*c + r*c + 27 = 0, 2*c = 3*o - 1 for o.
-3
Suppose -5*r = -4*y + 28 - 144, -5*y = 4*r - 60. Solve 3*c + 10 = -q + 3*q, 0 = -4*q - 4*c - r for q.
-1
Let y = 425 - 421. Solve 2*v - 19 = -3*w, -2*v + y*w - 6 = 2*w for v.
2
Suppose 27*n - 26*n = 65. Let s = n + -59. Solve w + 4*t = 0, 0*w - 2*w = 2*t + s for w.
-4
Suppose 13*n - 8 = 31. Solve -12 = -3*v, 4*h - n*v + 8 = 2*v for h.
3
Let l(m) = 6*m + 1. Let g be l(5). Suppose -w + 2*w = -8. Let d be 138/24 - (-6)/w. Solve 0 = j - r + 2, 5*j + 11 - g = -d*r for j.
1
Let b(o) = o**2 - 2*o - 2. Suppose t = -2*m, 0 = 2*t - 0*t - m + 5. Let z be b(t). Suppose -a + z = -0*a. Solve y + 7 = a*y - 3*q, -3*q + 5 = y for y.
2
Suppose v - 3*i + 8*i = 55, 0 = -3*i + 12. Suppose 0 = -3*q - 4*q + v. Solve 0 = 5*b - 5*j + 30 - q, 0 = -5*j for b.
-5
Suppose -z - 3*z + 16 = 0. Solve 4*w = 2*a - 5 + 1, 2*a + 12 = -z*w for a.
-2
Let v(p) = -p**3 - 4*p**2 + 6*p + 7. Let l(z) = -5*z + 15. Let h be l(4). Let t be v(h). Solve 6*q + t*a = q + 1, 3*q + 4*a - 9 = 0 for q.
-1
Let t(p) = p**3 + 12*p**2 + 20*p + 2. Let y be (2 + -1)*(-13)/((-104)/(-80)). Let w be t(y). Solve 0 = 2*k + 5*h - 2, -3*h + 5 = 5*k - w*h for k.
1
Suppose 4*w - 8 = -0*w. Suppose 0 = -3*u, -w*o = 3*o + 5*u. Suppose 3*q + 4*n = q + 16, 0 = -q + 2*n. Solve -15 = 3*d - 6, o = q*a - 4*d - 12 for a.
0
Let c = -43 + 45. Let o = -1 - -3. Solve -o*p - 5 = c*v + 1, -2 = p + 2*v for p.
-4
Let y(a) = a**3 - 2*a + 8. Let m be y(0). Suppose 20 = -m*q + 12*q. Solve k + 4 - 5 = -5*b, 5*k = 4*b + q for b.
0
Let r be 2/4*(-7 - 1). Let y(o) = 2 - 7 + 9 + 3*o - 2*o. Let x be y(r). Solve s = -x*a - 5*a + 28, -3*s = -a - 4 for s.
3
Suppose -2*m - 4*r = -4, 5*r = -m - 0*m - 13. Solve -m = 3*l, -l - 3*l = 5*g + 16 for g.
0
Let h(n) = -2*n - 5. Let b be h(-3). Let i be (b/2)/((-4)/(-16)) + 9. Solve 0 = -2*a + a + 5*s + i, -5*a - 2*s = -1 for a.
1
Let n = 123 - 121. Solve 3*b - 3*s = 0, n = b - 4*s - 1 for b.
-1
Let q be 4 + 4 + -6 + 2. Solve 2*g + f = -g - 13, 5*g - 1 = q*f for g.
-3
Let q(g) = -5*g**2 + 16*g - 7. Let b be q(2). Let w(f) = 2*f**2. Let p be w(-1). Solve 0 = -5*d + b*z + 15, 0 = 2*d + 3*d + p*z - 1 for d.
1
Let p = -498 - -500. Let d = 31 + -19. Suppose -b = p*b - d. Solve -2*q = -q - 3*s - 9, s + 3 = -b*q for q.
0
Let h = -57 + 61. Solve 0 = 5*y + 4*u - 26, -4*y - 5*u = h - 32 for y.
2
Let v(t) = t - 15. Let h be v(8). Let b(o) = o**3 + 8*o**2 + 5*o - 9. Let w be b(h). Solve -3*i + w*g + 10 = 0, -2*i + 0*i + 5*g + 10 = 0 for i.
0
Let m be (-9)/6*10*-1. Let l(h) be the second derivative of h**4/12 - 7*h**3/3 - 15*h**2/2 + 94*h. Let a be l(m). Solve a = -0*w + w - 1, -4*w + 9 = 5*u for u.
1
Let u(y) = 2*y**3 - 12*y**2 + 12*y - 5. Let f be u(5). Suppose f*m = 16*a - 12*a + 33, -5*a = 4*m - 10. Solve 3*l + n + 9 = 0, -m*l = -3*n - 0 + 1 for l.
-2
Let l(f) = 4 + 0 + 7 + 7 + f. Let x be (-4 + 17)/((-3)/3). Let c be l(x). Solve 2*g - 7*g + 10 = c*q, -4*g + 2*q = 16 for g.
-2
Suppose 6*a = -0 - 150. Let f = -49 - a. Let b = -24 - f. Solve b = 4*c - 4, 3*i + c = -2*i - 9 for i.
-2
Let h(i) = i - 27. Let c be h(29). Solve -c*r - m = -3*r - 9, -5*r - 17 = 2*m for r.
-5
Suppose 0 = 8*j - 0 + 640. Let v be 6*(j/(-35) - 2/7). Solve 0*d - 4*m = 2*d + v, m = 5*d - 25 for d.
4
Let c = -197 + 93. Let y = c - -109. Solve 2*b + y*n - 37 + 4 = 0, -5*b - 4*n + 40 = 0 for b.
4
Let m be 2 - (-8 + (18 - 3)/3). Solve -3 = -2*n - 7, -2*k - 6 = m*n for k.
2
Suppose 0 = -10*u + 3*u + 35. Solve 0 = -2*w - 3*z - 7, u*w + 0 = -2*z - 1 for w.
1
Let h(w) = -w**3 + 6*w**2 - 6*w - 3. Suppose 2*l - 30 = -l. Let j be 2/4 + 35/l. Let p be h(j). Solve -k - 1 = z, 3*k - p = 5*k - z for k.
-2
Let w be (-1)/3 - 4/(-3). Suppose -w - 14 = -3*v. Let z be (-16)/(-3)*126/168. Solve 4*a = -2*j + 2 + 4, -z*a = v*j - 3 for j.
-1
Let z = 17 + -17. Suppose -w + t = z, 0*w - 5*t + 45 = 4*w. Suppose 3*a = 4 + w. Solve 5*n = -2*p + 9 + a, -4*n + 5 = -3*p for p.
1
Let n(u) = 2*u - 39. Let x be n(29). Solve 3*h - x = 5*l, 3*h + 13 = -3*l - 8 for l.
-5
Let v = -44 + 50. Let b be (-100)/v*(2 - 32/10). Solve 3*a - b = 7*a + 5*d, -a = -4*d + 5 for a.
-5
Let p(j) = -28*j - 219. Let x be p(-8). Solve -2*s - 20 = 5*b, 0 = x*b + 26 - 6 for s.
0
Let r(i) = -4*i**2 - 5*i - 4. Let f(l) = -3*l**2 - 4*l - 3. Let a(h) = 5*f(h) - 4*r(h). Let n be a(2). Solve 2*o = 3*m + 6*o - n, -11 = -3*m + 2*o for m.
3
Let s be (-4 + 0)*(-27)/36. Let i = 2 + 4. Suppose -4*g + 19 = -1. Solve 0 = -c + 3*c + i, 11 = -g*h + s*c for h.
-4
Let n = 19 - 12. Let w = -7 + n. Let u(d) = -d**2 + 2*d + 3. Let m be u(0). Solve 5*t - 3*y + 2 + 0 = 0, -2*t + m*y - 8 = w for t.
2
Let i = 19 - 8. Let q = -3 + i. Let u be (2/4)/(4/q). Solve 0 = 3*k + 3*w - 3, 0 = 2*w + 1 + u for k.
2
Let r(s) = -s**2 + 21*s - 11. Let a be r(20). Suppose f - n + a = 28, -4*n = 2*f - 20. Solve -y + 3 = -2*c, -5*y - 5 = -c + f for y.
-5
Let j(v) = v**2 + 6*v - 22. Let h be j(-9). Solve 0 = 5*a - 3*m + 4, -11 = a + m - h*m for a.
1
Suppose 2*u - 5*y = 21, -24 = -5*u + 3*u + 2*y. Let x(l) = l**2 - 12*l - 6. Let r be x(u). Solve z = 5, -z + 3*z = 3*j + r for j.
1
Suppose -4*o - 5 + 37 = 0. Let s(n) = 2 + n**2 - 8*n - o + 15. Let i be s(7). Solve -k = -0*k - 3*m + 8, -10 = -4*k - i*m for k.
1
Let v = 542 - 541. Solve 2*u = v - 9, -j + 5*u + 20 = 0 for j.
0
Suppose 5*f + 34 = 3*s, 3*s - f + 7 = 7*s. Solve 0 = -3*y - 3*t + 9 + s, 3*y - 4*t = 12 for y.
4
Let y be 2/((-12)/45*18/(-12)). Solve -2*k + d = -0*k + 10, -k - 5*d - y = 0 for k.
-5
Suppose 0 - 2 = -x. Suppose 0 = x*m - 4*i, -3*i - 4 = -3*m - i. Solve -m*c - 8 = 3*j - 3*c, -2*c + 4 = 0 for j.
-2
Let q = 13 + 1. Suppose -9*l = -q*l + 20. Solve 2*d = -l*x + d - 9, 2*x + 4*d + 22 = 0 for x.
-1
Let q(v) = v**3 + 8*v**2 - 8*v + 13. Let l be q(-9). Let o be ((-1)/2 - -2)*2. Let z = -573 - -578. Solve -o*h - z*u = -11 - 12, -20 = -4*h - l*u for h.
1
Suppose 2*u - 1 = u. Let d be 0 + -1 + u + 30. Let z be d + (3 - 3)/2. Solve 4*q = 16, i = 6*i - 5*q + z for i.
-2
Suppose 5*a - 12*a = -21. Solve w + 2*w = 4*j - 23, -2*j = a*w + 11 for j.
2
Suppose -4*y + 4 = 4*k, 8 = 4*y - 8*y. Let b = -1 + 1. Suppose 3*q + k*t = b, 20 = -4*t - 0*t. Solve 2*u - r + 5 = 0, 0 = q*u - 5*r + 26 - 1 for u.
0
Suppose 35 = -8*n + 13*n. Let o(j) = -5*j. Let y be o(-1). Let z be ((-42)/35)/((-2)/y). Solve -n*h + 3*h = 4*d, -4*d = -z*h for d.
0
Let r(l) = 0 + 1 + 5*l - 4*l. Let m be r(1). Suppose 36*f = 4*n + 33*f - 2, -n + 5*f - 8 = 0. Solve -4*u - n*j = -8, m = -2*j - 2 for u.
3
Let h be (-1)/(60/(-58) - (6 + -7)). Suppose 5*w = -h + 79. Solve 4*p - 2*b + 8 = 0, -p + 5*b - w = 4*p for p.
-2
Let t = 59 + -54. Let x = 49 + -29. Solve -t*h + 4*u + 16 = -0*u, -h - 5*u - x = 0 for h.
0
Let b(h) = -7 + 4*h**2 + 2*h**2 + 6 + h. Let p be b(1). Solve -3*t - 5*d = -12, -20 = t - p*t - 3*d for t.
4
Let j(a) = -a**2 - 9*a - 12. Suppose y + 42 = -5*y. Let t be j(y). Solve d + 4 = -u - t, 0 = -5*d + u - 6 for d.
-2
Let l(q) = -q**2 - 5*q +