 + 3*h + 30 for u.
-5
Let v be 16 + -20 + 12 - (5 - 2). Let a(b) = b**2 - 3*b - 8. Let u be a(7). Suppose -n - u = -6*n. Solve n*g - 2*f + 8 = f, -3*g - v = -2*f for g.
1
Let l(s) = -63*s + 12 + 62*s + 0. Let f be l(10). Solve 10 - 4 = -3*i, 3*h - i = f for h.
0
Suppose 36*r + 8 = 38*r - k, -5*k = -4*r + 16. Solve 0*u - 3 = o - r*u, -12 = 4*o + u for o.
-3
Let o(p) = -4*p**3 - 32*p**2 - 30*p - 9. Let j be o(-7). Let t = 25 - 16. Solve 3*w + g = -2*g - 9, -w - t = -j*g for w.
-4
Let x = -81 + 86. Suppose 6 = 2*s - 3*m, -s + 15 = 4*s + 3*m. Solve 11 = 3*d + x*p + 33, 0 = -s*d + 2*p + 13 for d.
1
Let o(d) = -d - 4. Let g(q) = -q - 6. Let m be g(8). Let x = m + 10. Let k be o(x). Solve 3*r - 3*j = 18, 0 = r + j - k*j + 4 for r.
1
Let v(u) be the third derivative of -u**4/24 - 5*u**3/6 + 12*u**2. Let n be v(-7). Solve -3*b + 3 = -n*s, 15 = -0*b + 4*b + s for b.
3
Suppose -6*g + 4*g = 0. Suppose g = -4*r - 7 + 27. Solve f - r*k = 8, f + 2*k - 10 = -3*f for f.
3
Let y = -136 - -148. Suppose -102*p - y = -106*p. Solve 3*t + 2*z + 14 = p, -29 = 5*t - 2*z for t.
-5
Let v be 6 + -1 + 3 + -3. Suppose 10*g = 35 + v. Solve -g*z + 7 = -5*y, z - 3 - 4 = -4*y for z.
3
Let l = -82 + 85. Suppose -4*f + 44 = 3*j, -2*f + 4*f = -j + 18. Solve 3 = -g + b, -l*g + 3*b = g + j for g.
1
Suppose 5*h + 0*m - 195 = 5*m, 5*m = h - 47. Let c = 319 - 164. Suppose c = 5*x - 5*u, x - 4*x - 4*u = -58. Solve -2*o - w = 3*w + x, 5*w = -4*o - h for o.
-3
Let u be (-45)/(-1)*168/504. Solve u = 5*p - 0*h + h, 2*p - h + 1 = 0 for p.
2
Let z be 13/((-52)/(-48)) - 0. Solve -w - 2*p + 4 = z, p = -3*w + 1 for w.
2
Let r(f) = -f**3 - 5*f**2 - 5*f - 4. Let l be r(-4). Let w be 0/(l/1 + -2). Solve 7*h - 19 = 2*h - 3*d, w = -h + d - 1 for h.
2
Let h = -175 - -179. Let c be (-2)/((2/(-3))/1). Suppose c*r = 2*d - 21, -23 - 41 = -5*d - h*r. Solve -5*u = -20, 4*l - u + 3*u + d = 0 for l.
-5
Let t = -25 - -30. Suppose 5*n - t*l = -20, n = 6*n + 5*l - 30. Solve -5*v + 2*g = 3*g + n, -25 = 5*v - 5*g for v.
-1
Suppose 2*k = -2*i - 4, 3*k + 0*i - 2*i = 19. Solve 4*g = -k*v + 13, -v + g = 1 - 3 for v.
3
Let x be ((-4)/5)/((-68)/170). Let m be (-2)/(-6) + (-4)/12. Suppose -3*z = -6 - m. Solve z*s + 12 = 5*t, -2*s + x*t + 12 = 3*s for s.
4
Let c be 2/(-18) + (-6)/(-54). Solve -l - 2*s + 3 = -2*l, 5*l + 4*s - 41 = c for l.
5
Let q = -838 - -845. Solve 0 = -q*k + 6*k + 2*a + 7, 11 = -k - 4*a for k.
1
Let s be 15/(-20) + (-86)/(-8). Solve -5*h - s = -2*z, -5*z + 22 + 3 = -5*h for h.
0
Let x be 385/(-25) + (16/(-10) - -2). Suppose 3*j + c - 19 = 2*j, -59 = -3*j - 5*c. Let v = j + x. Solve -v*m + 2*n = 3, -5*n - 3 = 3*m - 4*n for m.
-1
Suppose -2*p + 96 = 60. Let w be (-1 + 4 - 42/p)*3. Solve 3*a - 2*q = w*a + 4, -4*q = 4*a + 8 for a.
0
Suppose -t - 32 = -5*v, -3*t = v - 3*v + 18. Let q be (3/v)/((-1)/4). Let z be (q/(-5))/((-7)/(-35)). Solve 0 = y + 3, 8*c + 22 = 4*c - z*y for c.
-4
Let t = -29 + 30. Let i(u) = 2*u**2 - u + 7*u - t - 12*u + 5*u. Let x be i(2). Solve -2*k - 4 = 3*a + 5, 2*k + x = a for k.
-3
Suppose x - 1 = -2*p, 2*x - 5*p = 3 + 8. Let y(s) = s**2 - 2 + 2 - 2*s + x. Let c be y(2). Solve -2*t - 2*t - b = -20, 5*t + c*b - 25 = 0 for t.
5
Let t(g) = 8*g**3 + 2*g - 3. Let c be t(1). Solve 0 = -5*z + 13 + c, -2*p = 5*z - 20 for p.
0
Let y = 21 - 37. Let c be y/(-6) - 29/(-87). Suppose -2*m = -2 - 2. Solve 0 = m*j + 3*h - 25, -4 - 1 = 2*j - c*h for j.
5
Let l = -217 + 221. Solve -l*k + 41 = 5*o, 0*k + k = -o + 9 for k.
4
Suppose 2*c + 141 = s, 339 = 4*c - 9*c - 2*s. Let v = 72 + c. Solve -r + v = -2*i, -5*r = -8*r + 2*i + 9 for r.
3
Suppose -82*g = -83*g + 8. Suppose 0*i = 3*i - 15. Let m = 0 + i. Solve 0 - g = -3*j - m*y, 5*j - y + 24 = 0 for j.
-4
Let s be ((-1008)/(-588))/((2/7)/2). Solve -f = -n - 6 + 2, -3*f + s = n for f.
4
Suppose -4*j + 36 = -13*j. Let k be (-1)/(5/j)*(-45 - -50). Solve -5*m = -5, 6*m + k = 3*t + m for t.
3
Let m be 1/((-3)/(-15) + (-21)/(-70)). Solve m*y - 2 = 5*h, -2 = -0*h + h for y.
-4
Let w = -273 - -278. Solve -12 = -4*n - 4*r, -n - 5*r = -6*r - w for n.
4
Suppose 2*m - 2*q - 2*q - 32 = 0, -2*m + q + 17 = 0. Solve 0 = -2*v + 4*d + 6 + m, 5*d = 3*v - 14 for v.
-2
Let q(p) = 3*p**2 + 18*p + 13. Let i be q(-5). Let y be i + (-2 - 14/(-2)) + -3. Solve 5*n - 2*w - 9 = -y*w, 5 = -3*n - 4*w for n.
1
Suppose o - 3*j - 13 = 0, -3*o + 3*j + 19 + 2 = 0. Let t = 9 - 6. Let n = 16 - 11. Solve t*p + 3*w = -p - 4, -o*w - 4 = n*p for p.
-4
Suppose 3*l - 3*b - 40 + 43 = 0, 20 = 5*b. Solve 11 + 5 = -l*d + 4*t, 2 = 2*t for d.
-4
Suppose -4*o + g + 66 = 0, 4*g + 7 = -1. Solve -3*a - 2*p - 1 = 0, o - 6 = -5*a - 5*p for a.
3
Suppose -i = -3*q + 7, 5*i - 10 = 3*i - 2*q. Let k = -1680 - -1690. Let t(o) = -o**3 - o**2 + o. Let w be t(-2). Solve -2*d = -i*n + k, w*d + n + 1 = -0 for d.
-2
Let v(t) = -t + 11. Let n(l) = l**2 - 8*l - 10. Let f be n(10). Let o = f + -4. Let z be v(o). Solve 0 = z*m - 3*j + 4*j, j = 0 for m.
0
Let n(g) = g**2 - 4*g + 8. Let v = -39 - -41. Let o be n(v). Solve -4*q - o*c = 4, -2*q + 2*c - 7 + 1 = 0 for q.
-2
Let h = -551 + 553. Solve 1 = 3*z - c, -h*z + 6*c = 8*c - 6 for z.
1
Let j be 1*(-2 + 1 + 2). Solve d + 0*w = -4*w + j, 0 = 3*d + 5*w - 10 for d.
5
Let h be 10/(-4)*(-64)/40. Suppose 0 = b + 2*r - 28, 2*b - h*r - 31 = 17. Let y be (-4)/b + (-938)/(-182). Solve 0*c = v + y*c + 20, 3*v - 35 = 4*c for v.
5
Suppose -23 = 4*w + 13. Let d = w + 7. Let a be 1*(2 - (4 + d)). Solve 5*v - 43 = -4*u - 14, 2*u + 3*v - 17 = a for u.
1
Suppose -3*g + 6 = 0, -k = -4*g + g - 48. Let w = -47 + k. Solve 5*p + 32 = -4*o, -4*p + 2*o = 3 + w for p.
-4
Let p be 7/(-3) - (-1)/3. Let n = p - -6. Suppose n*f - 1 = 15. Solve j - 2 = 0, -f*m - j - 4 = -5*j for m.
1
Let d be -1 + (-9)/(36/(-20)). Solve 0 = 3*p - d*u + 2, -2*p - 3*p = 2*u + 12 for p.
-2
Let r = 27 - 7. Suppose 5*u - 6 = 19. Suppose -u*z - 11 = -31. Solve r = 5*s - 5*c, -z*s + 6*s + 5*c = -27 for s.
-1
Suppose -3*d - a = -19 - 3, -5*d + 33 = -2*a. Solve -2*s + 3*t = 3, -2*t - 5 = -3*s - d*t for s.
0
Let g be 2/7 - 390/(-105). Let k(b) = 6*b - b**3 + 16 - g*b**2 - 9 - 2*b - b. Let d be k(-5). Solve 4*l = -3*q + 7*q + 4, -4*q = 3*l - d for q.
2
Let i(x) = -2*x**2 + 2 - 47 - 15*x + x**2. Let l be i(-10). Solve 0 = -l*u + u + 5*b + 4, -8 = 2*b for u.
-4
Let y = -1802 + 1806. Let a = -19 + 40. Solve -5 = -2*t - c, t + 3*c = y*t - a for t.
4
Suppose 3*t + 4*w = 114, -5*w = -4*w + 3. Let y = t - 40. Let o be (-5)/2*(-36)/30. Solve -4*a = y*x + 2, 4*a = o*a + x + 1 for a.
0
Let v be 6*(-15)/(-9)*(-2 - -4). Solve -3*z = 2*h - 5, 3*z - v = 3*h - 5 for z.
3
Suppose -228 = -29*u + 32*u. Let k = u - -76. Solve 3*g + 13 = 2*g + 2*c, k = 2*g + c + 6 for g.
-5
Let h = 4 - 2. Suppose 4*c - 4*n + 60 = 332, -h*n = -4*c + 274. Suppose c = j + 2*j + 3*s, -s = 3*j - 77. Solve 6*u = 3*u - 4*m + j, -m + 8 = u for u.
5
Let d = -40 - -49. Let f = 12 - d. Solve 4*j - f*o = -11, -4*j - 13 = -0*j - 5*o for j.
-2
Suppose 3*s = 3*d + 6, -4*d + 13 = -27*s + 30*s. Solve j + 10 = -s*q - 0*q, -2*q - 16 = -4*j for q.
-4
Let d = -94 - -63. Let a = d + 37. Solve 19 = j - a*j - c, 5*c = -4*j - 32 for j.
-3
Let j(i) = i**2 - 4. Let g be j(0). Let a be (g/(-2) - 0) + -2. Let w be ((-162)/(-63))/((-18)/(-63)) - 6. Solve -2*o - w*x + 14 = a, 5*o = o - 3*x + 22 for o.
4
Let t be (10 - 3) + -4 + 0. Suppose -5 = 5*s + t*m - 0*m, s - 27 = 5*m. Solve -c - c + s*o - 8 = 0, c + 2*o = 8 for c.
0
Suppose 0*b + 9 = 3*b. Let j = 90 - -13. Suppose -4*m + 5*g + j = 32, -2*m + 43 = -5*g. Solve -b*v - 16 = -4*x, -m - 3 = -5*x + 3*v for x.
1
Suppose 3*m + 57 = 6*m - 4*w, -3*w + 57 = 3*m. Suppose m = 2*i - 57. Suppose 8*h - i = 6*h. Solve -5*z - 3*q - h = 0, -20 = z - 5*q - 5 for z.
-5
Suppose -2*x + 2*b - 5*b + 35 = 0, 3*b - 45 = -3*x. Let f = x + -14. Let o be 3 - (f/4 + 0). Solve -o*t + 4 = 2*c, -3*c - 3 = -15 for t.
-1
Let v = 1005 - 1003. Solve -h - 3*w - 8 = 0, 3*h + 2*w = -v*w - 19 for h.
-5
Let g(j) = 16*j - 68. Let i be g(11). Let s = i + -104. Solve -s = 4*f - 4*p, 0*p - 5 = 3*f - p for f.
-2
Let k = 508 + -489. Solve y = 3*r + k, 2*r - 2*y - 2 = -20 for r.
-5
Suppose -l - 2*n = -11, 5*l - 3*n - 4 - 12 = 0. Solve l*a - 2*w = 15, -5*a + 3*w + 3 = -4*a for a.
3
Let t(f) = f**3 - 4*f**2 - 5*f + 11. Let v be t(5). Suppose 0 = -2*d - 5*c + 26, -10*d - v = -11*d - 2*c. Solv