for w.
-2
Let v(z) = -z + 2. Let j be v(-7). Let p = 18 - j. Suppose -2*a - i + p = 0, a + 4*i - 16 = -2*a. Solve 0 = -n - 2*f - a, -5*f = -n - 3*n - 3 for n.
-2
Suppose -88*t + 744 = -312. Solve -5*y - t = -4*d, d - 6 = -2*d + 3*y for d.
-2
Suppose 9*r - 108 = 144. Let w = 31 - r. Solve -i + 20 = -8*c + w*c, 16 = 2*i - 4*c for i.
0
Let q be (-6 - (-14 - -12)) + 8. Solve v - 6*v - 2*f + 23 = 0, 5*f = -q*v + 15 for v.
5
Let d = -8 - -12. Let u(q) = 4*q**2 - 66*q + 94. Let s be u(15). Solve -18 = 5*w - 10*w + s*a, 2*w - d*a = 12 for w.
2
Let n = 938 + -919. Solve -5*r - 8 = w + n, -16 = 3*w + 2*r for w.
-2
Suppose 4 = -4*d, 3*h + 4*d = 5*h - 8. Solve -2*v = -4*y - 12, -v + 3*y = -h*v - 4 for v.
2
Suppose 5*v = -32*v. Solve b - 4*b - 3*y - 21 = 0, -3*b + 2*y + 4 = v for b.
-2
Let o(c) be the third derivative of c**5/60 - 7*c**4/24 + 17*c**3/6 - 14*c**2. Let a be o(5). Solve -p = -w - 1, p + 0*w + 3*w + a = 0 for p.
-1
Let a(m) = -2*m**3 - m**2 + 4*m + 2. Let w = -35 - -32. Let g be a(w). Solve -4*u - g - 5 = 5*t, 0 = u - t + 1 for u.
-5
Let g be ((-8)/18)/((-232)/3132). Suppose -2*f - 2*f + 12 = 0. Solve -2*a = -0*w + w - 4, -f*a + 3*w = -g for a.
2
Suppose -5*y + 32 - 10 = m, -3*y + 4*m = -4. Let h be 2 + (3 - y) - -1. Solve h*q - 2 = -3*d - 1, 2*q - d = 13 for q.
5
Let q = -14 - -17. Let j(g) = 1 - g + 5 + q. Let u be j(9). Solve -3*p - t + 6 = 4*t, -4*p - 3*t - 3 = u for p.
-3
Suppose -162 - 46 = -13*s. Solve -43 = -2*i - 5*g - s, -2*i - 3 = -g for i.
1
Suppose -147*f = -143*f - 16. Solve -x = -f*r + 4*x + 8, -4*r - 2*x - 20 = 0 for r.
-3
Let j = -6 - -6. Let g(s) = s**3 + s + 6. Let k be g(j). Suppose -2*z + 10 = -k. Solve 0*v + 1 = 3*v - 5*x, 4*x + z = 0 for v.
-3
Suppose 6*f - 13 - 5 = 0. Solve -3*i = -s - 4*i - 1, 3 = -f*s - 5*i for s.
-1
Let x = -58 - -61. Solve c + 3*m - m = -1, 12 = 2*c - x*m for c.
3
Let c = 1 - 14. Let a(w) = 2*w + 30. Let k be a(c). Solve -3*f - k = -i - 5*f, 4*i + 2*f - 16 = 0 for i.
4
Let i = 5 - -11. Let x be ((-36)/i)/((-6)/64). Let c = 27 - x. Solve 5*f - 29 = -2*m, -2*f - c*m - 4 = -4*f for f.
5
Let o(c) = c**3 + 5*c**2 - 7*c - 4. Let t be o(-6). Let u = -13 - -14. Let v = u + 2. Solve m = -5, t*m = -5*l - v*m for l.
5
Suppose 33 = 5*f - r, 5*f - 2*f = 2*r + 24. Solve f*p + 14 = p + 3*t, 0 = 5*t + 10 for p.
-4
Suppose 3*j = -4*j + 84. Suppose 2*l - 3*d - 2 - j = 0, 0 = 5*l + 2*d - 16. Solve 2*q = -l*p - 14, 11 = 2*q - 3*p - 3 for q.
1
Suppose 12 = -3*w + 6*w. Solve 2 = -c - 2*j, 0 = -2*c + j - 3 + w for c.
0
Let q = 121 - 107. Solve -k + 2*k = 5*p - q, 28 = -5*k + 4*p for k.
-4
Suppose 2*c = -h + 11, 0 = 5*h - 2*c - 3*c + 5. Suppose -o = h*d + 5 - 16, o + 5*d = 15. Solve -o*n + 5 = 0, 6*g - 3*g + 4*n = -11 for g.
-5
Suppose -5*q - 24 = -j + 3*j, 5*q = 5*j - 10. Let a be j/(-3 - 7/(-3)). Suppose -5 - 4 = -a*c. Solve 2*n - 9 = -k, 3*k = -c*n + 4*n + 13 for k.
5
Let t be (1 + -1 + -2)*170/(-68). Let u = -25 + 27. Solve u*l - 6 = -i, -30 = -2*i + 7*i - t*l for i.
-2
Let s be (-24)/(-2) - (0 + 2). Let n be (-2)/4 + s/4. Solve w - 5*u + 23 = 3, 3*u = n*w + 19 for w.
-5
Suppose 4*g = z - 3*z - 54, -5*g = -4*z + 35. Let t = 16 + g. Solve b = -r + t, 9*b - 25 = -3*r + 4*b for r.
0
Suppose 3*x = 5*x - 2*m - 84, 0 = x + 4*m - 42. Let g = -37 + x. Solve -4*d = -g*s - 9, 8*d - 5*s - 10 = 3*d for d.
1
Let b be (-364)/(-112) - 1/4 - -2. Suppose 0 = -4*f - 0*f. Suppose f = -4*l - 28 + 92. Solve -i - 4 = -r, -l + 2 = b*i + r for i.
-3
Let t = -22 + 8. Let c be (-60)/t + (-6)/21. Solve -4*z + 2*z - 28 = c*n, n - 3 = 2*z for z.
-4
Let p(h) = -h + 30. Let z be p(0). Suppose -3*q + 0*q = -4*s + 24, 5*s - q - z = 0. Solve -2*i + 0*m - 2 = 4*m, 3*m - s = 0 for i.
-5
Let d(p) = -p**3 + 7*p**2 + 5*p - 3. Let w be d(7). Suppose 0 = -3*f, 0*f + 2*f + w = l. Let v = -394 + 394. Solve 4*h + l = -5*r, 4*r + 3*h + 25 = -v*r for r.
-4
Let h be (-2 - -1)/1 + (-12)/(-2). Suppose 5*k = -3*v + 39, -3*v - h*k + 42 = -k. Solve 4*j = -0*j + 3*r - v, -5*r = -10 for j.
-3
Let f be (2 + 15/(-9))*(0 + 3). Let r be f/(-1) - -3 - 0. Solve -r*m = -5*s + 6, 4*s - 2*s - 6 = 2*m for m.
-3
Suppose -c + 3 = -3*x, 4*x + 1 = 3*c - 3. Let w be x*(-1 + (4 - 3)). Solve w = 4*i - 2*k - 10, -2*k = -4*i - 3*k - 5 for i.
0
Let b be 159/(-18) + (-1)/6. Let c = -5 - b. Suppose 0 = -c*k - k. Solve v - 4*g = -5, 0 = v - k*v + g for v.
-1
Let a(i) = -2*i + 5. Let o be a(6). Let c = -11 - o. Let j = 8 + c. Solve 8 = -2*m + j*b, 0*m = -2*m + 5*b - 11 for m.
2
Suppose 2*p = 8 + 2. Let g be (10/6)/(6/(-360)*-5). Suppose -g = 177*s - 182*s. Solve -p*j - o - 11 = 0, -5*j - 3 = s*o - o for j.
-3
Let n = -20 + -28. Let x = n + 53. Solve -4*w - x = 5*t, 3*t + 0*t = 5*w - 40 for t.
-5
Let s = 723 + -718. Solve -3*o - 6 = 4*x, 5*x - s*o = -7*o - 11 for x.
-3
Suppose -31*n + 46 = -47. Solve -5*m = -3*l - 17, -m - 17 = n*l - 6 for l.
-4
Suppose 50 = -5*o + 150. Solve -4*l - 13 = 3*k, 4*l = k - o + 3 for l.
-4
Let y(n) = 2*n**2 + 3*n + 1. Let p be y(-2). Suppose 3*b = b + 36. Suppose -4*v - 8 + 31 = 5*u, 3*v + 4*u = b. Solve 0 = -v*t - p*o, 7 = 5*t - 3*o + 7*o for t.
3
Let l(m) = -9 + 9 - 6 - 2*m. Let v be l(-9). Suppose 8*r - v = 2*r. Solve -r = -2*i - h + 2*h, i = -3*h + 15 for i.
3
Let u be 21 - 20 - (-3)/(3/2). Solve -u*l = -2*f + 5, 6*l - l + 7 = 2*f for l.
-1
Let y be (-1 + (-35)/(-2))*2. Suppose 0 = j - y + 6. Solve -4 - 5 = -3*i, 5*p - 4*i + j = 0 for p.
-3
Let l(s) = 96*s**3 - s**2 + 2*s + 2. Let v be l(-1). Let j = v + 101. Solve -j*w - t = 2*t + 23, 0 = -5*w + 4*t - 21 for w.
-5
Suppose 0 = 16*o + o. Solve o = -2*a - 5*x + 4 + 5, 4*a + x = 9 for a.
2
Let q = -13 + 13. Let c = 3 - q. Let f be 1*(-1 + (-3)/(-3)). Solve 3*o = -2*b - 15, -c*o - 15 = b - f*o for b.
0
Suppose 140 = -358*x + 378*x. Solve -r = 3*t - 7, -5*r = 10*t - x*t + 13 for t.
4
Suppose -4 + 14 = 5*z. Suppose -10 = -5*q + q + z*o, 4*o = -4*q + 16. Solve q*a + 6 = 0, 2*f - 4 + 0 = 2*a for f.
0
Let i = -247 + 247. Solve 0 = g - 2*a + 4 - 3, i = -4*g - 4*a + 8 for g.
1
Let m = -43 - -45. Suppose 30 = m*b + 4*b. Solve -2 - 12 = b*z - 4*t, 2*z + 5 = t for z.
-2
Suppose -5*r + 4*m = 20, 4*m - 12 = r + 3*r. Let q = 16 + r. Let u be (q - 7)/((-1)/(-3)). Solve -4*i - 8 = 4*s, -u*s - 29 = -2*i - 13 for i.
2
Suppose -3*l + 82 = 5*b, -4*l - 2*b - 2*b = -112. Let x be (6/15)/(1/5). Let g be (36/30)/(2/5). Solve -x*h - h + 4*z = l, -g*z + 9 = 2*h for h.
-3
Let k be (-40)/60*-17*(-3)/(-2). Solve v - 8 = -3*d, 2*v = -4*d + 7*v + k for d.
3
Let p be (-6)/(-4) - (-3)/2. Suppose 4*k + q - 2 = 10, p*k - 9 = 3*q. Suppose -k*j = 3*b, -3*j = -6*b + b. Solve b*g - 3 = -3*g + 3*h, -13 = 3*g + h for g.
-3
Let a(v) = -v**2. Let z be a(-7). Let c = z - -54. Solve 3*f + 0*m + 18 = -3*m, -3*m = -c*f - 14 for f.
-4
Let d = 17 + -13. Suppose 6 = 2*y - m, -2*y + 3*m + d = -6. Suppose 0*b = -y*b + 6. Solve -4*o = -3*k + 35, 0 = -b*k + 2*k - o for k.
5
Let f(n) be the first derivative of n**3/3 - 3*n**2 - 4*n - 10. Let r be f(7). Solve -2*w + 4*s - r - 1 = 0, -4*w - 5*s = -5 for w.
0
Let r = -5 - -5. Suppose -5*s + 2*p = -4, -3*s - 4*p + 3*p + 9 = r. Let c be (s/(-6))/((-2)/18). Solve 4*z - 1 = c*f - 4, 4*f = -2*z - 18 for f.
-3
Let s(u) = -u**2 + 11*u + 16. Let o be s(11). Suppose -x + o = 41. Let k = x + 28. Solve 2*b - d = -8, k*b + 0*b - 4*d = -12 for b.
-4
Let x(d) = -3*d**2 - 13*d + 11. Let t be x(-5). Suppose o = -2*p, 3*o + t = -p + 21. Solve v - 2*h + 4 = 0, 3*v - h + o = 3*h for v.
0
Suppose -22 = -5*a - 3*j, 19 = 3*a - 2*j - 2*j. Suppose 2*o - 12 = -0. Suppose -3*x + o*x = 12. Solve 4*s - 6*s - 7 = v, -21 = x*s - a*v for s.
-4
Let i = -241 + 244. Solve 9 = 2*v + 3*n, i = 3*v - 3*n + 4*n for v.
0
Let w = 463 + -462. Solve 2*m + w = y + 4, -y - 3*m + 12 = 0 for y.
3
Let b(x) = 2*x**2 + 2*x + 10. Let t be b(4). Suppose 6*d + 14 = t. Solve 2*s - k + d = -0*k, s + 5*k + 14 = 0 for s.
-4
Let y = 10 + -6. Suppose -3*z + 4*w - 3 - 18 = 0, -y*w = -z - 15. Let a be (2 - 5 - 3)*z. Solve g = 5*p + 3*g + 23, 0 = -2*p - 3*g - a for p.
-3
Suppose -27 = -4*j + 4*i + 21, 3*j - 38 = i. Solve -j = -2*z - 0*z + k, 5*k = 3*z - 37 for z.
4
Suppose 10*y - 8*y - 14 = -3*l, -2*l = 4*y - 12. Solve 4*c - y = z, z = -c - 1 - 5 for z.
-5
Let z = -421 - -426. Solve -2*m - 2*v - 3 = -z*v, m + v - 1 = 0 for m.
0
Let p = -3 + 7. Suppose -s = p - 7. Let h be (-2 - -