-25 = 4*n + 5*w. Let r = -11 - -15. Solve -r*k - 4*d + 28 = n, -3*k + 11 + 6 = d for k.
5
Suppose 0 = 2*h + p - 3, -p = h + 2*h - 5. Let a = 26 - 25. Let t be (-40)/(-24) + a/3. Solve h*i + 4*y - 3 = 7*i, 2*i + 12 = -t*y for i.
-3
Let p = -11 - -14. Let a = p - 3. Let h(t) = -t + 3. Let d be h(a). Solve -5*v + 35 = -5*f, 5*v + 2*f = -f + d for v.
3
Let l(i) = -i**2 + 11*i + 12. Let k be l(12). Let d be -4*3/(-6) - 0. Let t be ((-50)/30)/(d/(-6)). Solve k*g = 3*p - t*g + 4, 5*p + 2*g = 14 for p.
2
Let b be ((-57)/76)/(6/(-16)). Solve 4*f + 2 = -b*i, 1 = -i + 3*f + f for i.
-1
Let s(t) = -t**3 - 20*t**2 - 21*t - 36. Let p be s(-19). Solve 4*d - 4*a = 12, 4 + p = -3*a for d.
1
Suppose -23*c - 72 = -20*c. Let j = 26 + c. Solve -4*v + 5*r + 6 = 0, 5*v - 3*r + j*r = -3 for v.
-1
Let l = -101 - -102. Let p = l + 3. Solve 4 = p*h, 0 = -z - h + 5 for z.
4
Let d = 1195 + -1190. Solve 0 = 5*q - 5*m + 20, 3 = -2*m + d for q.
-3
Let f(w) = w**3 - w**2 - 3*w + 3. Let d be f(1). Suppose d = t - 14 + 13. Solve 7 = -r + 5*u, 3*u = -2*r - 2 + t for r.
-2
Let c(p) = p**3 + 3*p**2 + 4*p + 2. Let r be c(-1). Solve 4*v = 3*q - 2 - 6, r = -2*q + v - 3 for q.
-4
Let g = -28 - -20. Suppose 2*r + 38 + 2 = -4*w, -4*r + 2*w = 30. Let p = g - r. Solve -4*c + 3*n - 13 = 2*n, 0 = c - p*n - 2 for c.
-4
Let y(h) = -3*h - 1. Let u = -64 + 62. Let f be y(u). Solve 0 = 5*k + 3*v + f, -2*v - v = -2*k - 2 for k.
-1
Suppose 1 = -3*y - 2. Let q be (2 + -1)*7 - (y - -3). Solve d + 2*p - 2 = 0, -2*d + q*d = p + 6 for d.
2
Suppose -48*l = -47*l - 2. Solve -18 = 4*o + l*b, 2*b + b + 3 = 2*o for o.
-3
Suppose -277*t + 282*t - 55 = 0. Solve 2*m + h = -t, -m = 3*h - h + 10 for m.
-4
Let z be -4 - 5/(-2) - 26/(-4). Suppose 2*o = -4*r - 8, 2*o = -2*o - 16. Solve -z*y = -y - 4*d + 20, r = 3*y - 5*d + 19 for y.
-3
Let d be (26/16)/(2/16). Solve a = -5*y - 12, y = -d*a + 9*a + 9 for a.
3
Let x(y) = -y**2 + 4*y + 14. Let m be x(-5). Let z = m - -35. Solve z*w + j = 24, -j - 15 = w - 6*j for w.
5
Suppose 2*k - 6 - 6 = 2*g, g = -4*k + 14. Solve 5*r - 20 = b, k*b - 6*r + 20 = -r for b.
0
Let n(q) = -q**3 + 9*q**2 - 16*q - 4. Let k be n(3). Solve b - 5*h + 2 = 0, -b = -2*b + h - k for b.
-2
Suppose -5*a + 36 = 2*h, a = 3*h + 11 - 31. Suppose -o = 5*s - 43, 5*o + 5*s = 3*s + 123. Solve 5*t - h = -l, 5*l + 7 = -t + o for t.
1
Suppose -3*y + 8*y - 2*c - 23 = 0, 8 = -2*c. Solve 2*h = 3*b + 2 + 3, y*b = -4*h + 1 for b.
-1
Suppose 5*h - 2*h + 9 = 0, 2*o - 3*h = 13. Let u be (-10)/(-8)*(4 - (-168)/(-70)). Solve 3 = 5*a - 6*a - o*d, -3*a - 9 = u*d for a.
-3
Suppose 20*t = 18*t + 8. Solve -t*s + 8 = 3*g, g = -s + 2 - 1 for s.
5
Suppose -y + 29 = 2*y - 2*s, 5*y + 5*s = 40. Suppose 3*x = -y, 5*h - 3*x - 13 = 4*h. Solve -h*u - z - 24 = z, 2*z - 16 = 4*u for u.
-5
Let l = 407 + -403. Solve b - 4*z = -3*b - 12, l*z = -3*b - 23 for b.
-5
Let k be 3 + (1 - 2) + (2 - 1). Suppose -k*v + 16 = 4. Solve 2*b - o + 6 = 0, 0 = -v*b + 4*o - o - 12 for b.
-3
Let o = 279 - 273. Solve -4*m + 5 = 2*z - 13, 2*m = 2*z + o for z.
1
Let a be (4 - 4/1)/(-3 - -7). Solve -o = 4*c + 2*o - 10, a = 4*o + 8 for c.
4
Suppose -5*o - 5*q = -70, 2*o + 5*q = 3*o - 44. Solve 4*z - o + 56 = -5*j, -2*z - j = 11 for z.
-3
Let q = 0 - -2. Suppose c - 20 = -5*s, -s + 12 = q*s - c. Suppose 18*a = 20*a - 10. Solve -w = 3*f, a*f = s*w - 5 - 12 for f.
-1
Let b be (-6)/(-9)*(-21)/(-2). Suppose -3*y - t + 142 = 0, -2*y - 312*t = -315*t - 80. Solve 4*q - b = i, 5*q + 5*i = -6 + y for q.
3
Let l(v) = -22*v - 87. Let i be l(-4). Solve 4 = 3*r + i, 4*b + 2*r + 6 = 0 for b.
-2
Suppose 0 = t + 3*j + j - 1, -1 = j. Solve 13 = -2*w + t*b, -2*w - 7*b + 2*b = -17 for w.
1
Let c = -173 - -173. Solve -2*i - 4*a = -i + 15, c = 2*i - 5*a - 22 for i.
1
Suppose 5*g = a + 29, -2*a - 18 = g - 15. Solve -2*k - l = 8, -g*k + 0*k + 5*l - 35 = 0 for k.
-5
Let h = -64 - -44. Let k = h + 24. Solve 4 = 3*z - p, 3*z - k*p + 17 = 2*z for z.
3
Let b(w) = w - 1. Let y(s) = s**2 + 6*s + 8. Let c(m) = 4*b(m) + y(m). Let l be c(-10). Solve 2*j = -5*t, -l = 3*t + 3*j - j for t.
2
Let u be 14/2 + 4 + (-15)/5. Suppose u*d - 10*d + 10 = 0. Solve -2*w = 2*w - d*v - 7, 2*v = -3*w - 12 for w.
-2
Let f(d) = 1 + 16*d - d + 0. Let o be f(1). Suppose 5*l + 4 = -q, -42 = -5*q + l + o. Solve 2*k + q = 3*b - 0, -2*k - b = -9 for k.
2
Let z = 12 + -20. Suppose 38 = -3*r + 5*y, -6 = r + 2*y + 3. Let h = z - r. Solve -3*m - h*v - 12 = 0, -2*m - 3*m - 3*v - 10 = 0 for m.
1
Suppose 0 = 3*d, 2*d + 56 + 0 = 4*y. Solve 2*i + 0 = -z - 5, 2*i = -4*z - y for z.
-3
Let f = -177 - -180. Solve 0*w - 16 = -f*w - 5*l, 3*w + 4*l = 11 for w.
-3
Suppose q + 3 = 10. Let g be 0 - (-6 + 3) - q. Let v be (-50)/(-15) + g/(-6). Solve -4*d - 5*w + 32 = 0, v*d + 1 = w + 9 for d.
3
Let o(l) = -57*l - 280. Let h be o(-5). Solve -2*k = -3*t + 1, -4*k + 3*t - 26 = h*t for k.
-5
Let v = -13 + 18. Suppose -v*s + 52 + 48 = 0. Let n be 23/5 - 12/s. Solve 0 = -n*j - 3 - 5, -3*m - 3*j - 18 = 0 for m.
-4
Suppose -2*p - l = -32, -p + l + 15 = 2. Suppose 4*d = 11*d + 63. Let q = d + p. Solve 8 = -2*w - v, w - v = -2*v - q for w.
-2
Let r(y) = -59*y - 55. Let p be r(-1). Solve p*k + 4 = -3*t - 4, 0 = -k + 2*t + 9 for k.
1
Suppose 54 = -2*c - 10. Let a = -31 - c. Solve -i + 3*i - 8 = 0, -i = -3*k - a for k.
1
Let o(q) = -3 - 3*q + q**2 + q + 3*q. Let s be o(-3). Suppose 5*z - s*z = 0. Solve -3*b + d - 7 = z, 29 = -5*b - 4*d - 11 for b.
-4
Suppose 0 = -0*o + o + 4*n + 116, 4*o + 404 = -n. Let y = o + 100. Solve y = v + 5, 5*s + 7 = -4*v - 8 for s.
1
Let x = -53 + 57. Suppose -9 = -4*g - 3*l, 5*g + 6*l - 9 = 3*l. Solve g = 5*s - 2*z - x, -4 = -4*s + 2*z - 2 for s.
2
Let q be (-28)/(-182) - (-206)/13. Solve 4*w - q = 4*j, -2*w + 6*w + 4*j = -8 for w.
1
Suppose 16*m = 87 + 105. Suppose -5*o = -10, -4*o + 3 + 3 = -q. Suppose -q*a + 5*a - 12 = 0. Solve w + 0*d + 12 = -a*d, -4*w + m = d for w.
4
Let l = 23 - 38. Let g be (-2)/(l/(-6) - 3). Solve v = -g*o - 2 - 2, 2*o + 5*v + 20 = 0 for o.
0
Suppose -v + 15 = 5*b - 4*v, -3*v - 15 = -3*b. Solve 0 = -3*a + 5*t, b*t = -a - t for a.
0
Let b(x) be the third derivative of x**6/30 - x**5/60 + 2*x**2. Let p be b(1). Let m be ((-280)/60)/(2/(-3)). Solve -p*t - 8 = 4, 0 = -3*u + t + m for u.
1
Let q = 103 + -100. Solve -2*z = -3 + 1, -a = q*z for a.
-3
Let w be 2 + -1 - (0 - -1). Suppose w = 5*f, -6*h + h = 4*f. Suppose -2*m + 7*m = h. Solve -2*g = 4*o - 0*g, m = -5*o - 5*g + 5 for o.
-1
Let r be -8 + 1 + 182 + -170. Solve -5*j - r*y = 30, 3*y + 4 = -0*j + 4*j for j.
-2
Suppose 4*r - f - 10 - 41 = 0, 3*r - 2*f - 42 = 0. Solve 0 = -2*d + 4*d + 3*a - 13, 3*d - 3*a = r for d.
5
Suppose 5*w = 4*i + 20 + 14, w = -3*i + 3. Solve -2*p - 2*b - 2 = -w, -p + b = 8 for p.
-3
Let d = 1 - -4. Suppose -2*a + 21 = -5*h, 21 + 3 = d*a - 3*h. Let f(z) = -z - 1. Let m be f(-4). Solve a*l - 3*q - 14 = -l, -12 = -m*l + 3*q for l.
2
Let k = 6 - 3. Suppose f = s + 1, -3*s - 2*f = -16 + 9. Let z = 6 + -3. Solve 0 = -2*h + k*n - s, -4*n = -h + n + z for h.
-2
Let f = -13 - -38. Let q = -30 + 38. Let c be -4 + 16/12*(4 + q). Solve -3*n + 5*h + c = -f, -25 = -5*n + h for n.
4
Suppose 0 = x + 4*n + 4, -n = -5*x + 25 + 39. Let j(c) = -2*c**3 - 14*c**2 + 11*c + 138. Let o be j(-6). Solve 4*q + o*q - x = 2*k, 5*k + 19 = -q for k.
-4
Let b = -14 + 29. Suppose -b = -2*w - 9. Solve -w*t - 2 = -4*l - 9, 4*l + 25 = -3*t for l.
-4
Let p(s) = 7*s + 29. Let i(b) = 6*b + 28. Let d(x) = -6*i(x) + 4*p(x). Let w be d(-10). Solve 0 = 4*r - 4*h, -h - w = -3*r - 5*h for r.
4
Suppose 3*f - s + 2*s - 15 = 0, s - 10 = -2*f. Let m = -222 - -158. Let d = m - -68. Solve 0 = 4*i - i + f*n + d, 4*n = -i + 1 for i.
-3
Let j(x) = 2*x**3 + 5*x**2 + x + 1. Let p be j(-2). Solve -k - 4 = p*c + 8, -3*k = c + 4 for c.
-4
Suppose -2*o - 20 = -o. Let g be ((-3)/(-2))/(15/o). Let w be 3 - (0 - -2)/g. Solve -w*a - b = -a - 9, -a = 5*b + 11 for a.
4
Let t(s) = -s**2 + 22*s - 115. Let o be t(12). Solve 3*r - 10 = -k, -o*k - 12 = -5*r + 38 for r.
5
Let v be (3/(-2))/((-6)/52). Let w(a) = -a**2 + 13*a + 2. Let x be w(v). Solve -3*z + 6 = -x*z - 2*u, 4*u = -3*z - 12 for z.
0
Let l = 451 - 424. Solve -p + l = w - 6*w, 0 = -2*w - 10 for p.
2
Let z be 16 + 9/((-9)/4). Let d(o) = 26 - 12 - 2*o - z. Let a be d(1). Solve -4*t + 5*k + 6 = -t, a = 2*t - k + 3 for t.
-3
Suppose -3*