12)/13086). Let l = c - 720. Suppose -2*g - 5*b = -23, 3 = 4*g - 3*b - 4. Solve g*v + 24 = 4*x, 2*v + x = -l - 2 for v.
-5
Let z(b) = b**3 + 3*b**2 - 3. Let o be z(-2). Suppose -r + 6*r = 10. Solve r*d = 5*a + o, -4*d - 2*a = d - 17 for d.
3
Let q(w) = w**3 + 64*w**2 + 67*w + 255. Let u be q(-63). Solve -5*a - u*j = 29, 0 - 3 = j for a.
-4
Let c = -1 + 4. Suppose 8 = t - j, -2*t - c*j = -t + 8. Suppose 5*z = -2*s + 32 - 14, 0 = -5*z - s + 19. Solve -8 = -3*a - 0*r - t*r, 0 = 3*a - 2*r + z for a.
0
Suppose 2*w - 25 + 15 = 0. Let a = 837 + -820. Solve -3 = -5*r + 2*o, -w*o - a = r - o for r.
-1
Let r = 1200 - 1197. Let j(t) be the third derivative of 5*t**4/24 - 11*t**3/6 + t**2. Let c be j(r). Solve -4*h + 4 = c*m, 12 = -5*m + 2 for h.
3
Let r be ((-770)/(-112)*-4 - -17)*18/(-7). Solve -4*z + r*l - 31*l = 28, 2*l + 10 = -z for z.
-4
Let j(d) be the first derivative of -8/3*d**3 + 14*d - 1 - 5/2*d**2 - 1/4*d**4. Let f be j(-7). Solve 0 = 5*x + 4*y + 4 + 5, f = -4*x - 3*y - 8 for x.
-5
Let m be 2 - (6 - (2 - 2)). Let r be 16/(-24)*(m + 1). Let o be 216/48 - r/4. Solve -j + 4*j + 7 = 5*a, -o*j = 5*a + 21 for a.
-1
Suppose 0*o + 320 = 2*o. Let v(m) = 34*m + 145. Let z be v(-4). Suppose -p = -z*p + o. Solve 0 = -4*n - 4*r + 24, -5*n + 4*r + r - p = 0 for n.
1
Let w(i) = -41*i - 54. Let x be w(-9). Let a = 209 - x. Let d = 108 + a. Solve -2*m - m - 4*r = d, -m - 3 = -r for m.
-2
Let i(l) = l**3 + 9*l**2 + 14*l + 67. Let g be i(-8). Solve 4*k - g = -7, -5*z - 13 = 4*k for z.
-5
Let p be (-5)/(-30)*-1 - (-14)/(-252)*-39. Let v(t) = 2*t - 9. Let o be v(7). Solve -3*l - 6 = -l - p*r, 0 = -l - o*r + 9 for l.
-1
Suppose 0 = -0*a - a. Suppose 5*m + 2*r = 20, 0 = -5*m - 7*r + 6*r + 25. Let n be (-1 - (m - 10))/((-2)/(-2)). Solve 5*s - 12 = 3, a = -3*z + n*s - 18 for z.
-3
Suppose k + 2*k = 4*z + 11, 5*k + 4*z = 61. Suppose k - 24 = -5*n. Solve -5*i = -r - 10, -n*r = 5*i - 7*r - 10 for i.
2
Let n(c) = -c**2 + 55*c + 893. Let j be n(68). Solve 4*p = -4*g + 4, j*g + p + 19 = 12*g for g.
5
Let f(q) = 2*q**3 + 2*q**2 - 18*q - 14. Let l be f(3). Solve -j - l*d + 24 = 9, 3*d = j + 13 for j.
-1
Suppose 5*v + 3*h - 25 = 5*h, 5 = v - 3*h. Solve 0 = -2*o - v*j + 11, -105*j = -4*o - 108*j + 1 for o.
-2
Suppose 24*b = 10 + 42 + 20. Solve -b*z + 6 = 3*a, 0 = -2*a + 7*a - 5 for z.
1
Suppose -f = y + 2, -2*f + f - 3*y = 12. Suppose -f*t + 4 = 4*b - 13, -5*t + 7 = 4*b. Let l be 0 + 3 - (1 - 0). Solve 3*k + d + 3 + b = 0, -2 = l*k - 2*d for k.
-3
Let n be 134/17 - (16/(-34))/4. Let b(c) = -2*c**2 + 14*c + 21. Let o be b(n). Solve 4*r = o*q - 3*q + 24, -q - 4*r = -12 for q.
-4
Let u be (-9)/((-54)/24)*10/8. Let q be -1 + 2 - (17 + u)/(-11). Solve 2*v = 4*w + 8 + 8, 0 = -w - q*v + 10 for w.
-2
Let m(z) = 5*z**2 - 217*z + 95. Let y be m(43). Solve -y*t + 13*t = -2*p - 16, t = -5 for p.
2
Let m = 916 + -902. Solve -7*q + 6 = -3*h - 6*q, 5*q = -h + m for h.
-1
Let j be (5/2)/(2/4). Let m(x) = 19*x - 83. Let o be m(5). Suppose -84*q - o = -88*q. Solve 3*t - j*n - 10 = 0, 5*t + 0*t + q*n = -6 for t.
0
Let p = -404 + 409. Suppose 92 - 107 = -p*h. Solve 4*d = -2*f + 1 - 7, h*f + 18 = 3*d for f.
-5
Suppose -29*b + 42 = -741. Suppose -3*o = 3*q - b, o + 93*q + 1 = 94*q. Solve 4*f - 7*f + o*n = -20, 3*n = -f - 2 for f.
4
Let h(k) be the first derivative of k**4/4 + 22*k**3/3 - 23*k**2/2 + 91. Let c be h(-23). Solve c = 3*t - 4*x - 4, -2*t - x + 5*x = -8 for t.
-4
Suppose -2*c - 4*v = 18 - 4, 4*c = -2*v - 10. Let h be c/(-2)*(10 + -6). Suppose -40 = -3*w - h*w. Solve -4*l - 3*p - 4 = 0, p - 12 = 4*l + w for l.
-4
Let g(b) be the second derivative of 2*b**3/3 - 4*b**2 + 17*b. Let n be g(3). Solve 2*r = -4*a - 12, -4*r = -4*a + 8 + n for a.
-1
Let g be 53 - (6 + (4 - 4)). Suppose -g*q = -14*q - 264. Solve 0 = 2*j - q, -j + 4 = 4*a + 4*j for a.
-4
Let y(m) = m**3 - 29*m**2 - 21*m - 68. Let k be y(30). Let u = k + -200. Solve p + 2 = 4*p + u*q, 4*p = q - 1 for p.
0
Suppose -7*x = 5*x - 84. Suppose 78 - 43 = x*m. Solve -c - 16 = -3*r, -m*r + 4*c = -25 - 11 for r.
4
Suppose 35*x = 17 + 20 + 138. Solve -130*r + 29 = -126*r - f, 5*r - x = -5*f for r.
6
Let w = 1516 - 728. Let u = w + -788. Solve 3*j = -k + 17, 2*j + u*j - 10 = 0 for k.
2
Let d(b) = 2*b**3 + 30*b**2 - 35*b - 46. Let l be d(-16). Solve l*t + 4*r = 10, -5*t = -4*r - 9 - 2 for t.
3
Let v = 26 + -11. Let d = 66 + -53. Suppose 0 = v*w - d*w - 8. Solve -w*f + m = -7, 9 + 5 = 2*f - 4*m for f.
1
Suppose 0 = -2*u + c + 6, -2*c + 4 = -c. Let o be (5 - (5 - -10))/(2/(-5)). Solve 0*z - 4*z + 25 = 5*s, -o = u*z - 5*s for z.
0
Let c = -16874 + 16876. Solve -i - 5*v = -16 - 3, v = -c*i + 2 for i.
-1
Suppose 4*d + 12 = d, 0 = c + 5*d + 15. Solve -2*g - 2*y + 8 = 0, 15*y - 17*y - 27 = -c*g for g.
5
Suppose -4*d + 61 = -l, 3*d = -4*l + 14 + 8. Suppose -2*o = -4*x - d, 4*o + x - 15 = -5. Solve -r + w = 2, o*r + 10 = -0*r + 5*w for r.
0
Suppose -23*u - 264 = -21*u - 14*u. Solve -3*q - 21*s = -u*s, -5*q = s for q.
0
Let h(d) = -d**3 - 6*d**2 + 16*d. Let i be h(2). Solve 3*l + 5*n - 14 = i, l + 2*n + 13 = 6*l for l.
3
Let t(q) be the second derivative of -29*q + 1/20*q**5 - 9/2*q**2 + 0 + 11/6*q**3 - 2/3*q**4. Let y be t(7). Solve l + 4*m = 13, -2*l - 5*m + y = 2*l for l.
1
Let k(c) be the second derivative of -c**4/12 - 7*c**3/6 - c**2 - 4*c. Let d be k(-5). Let x be (-208)/65*85/(-136). Solve -4*p = -x*p, 3*p = 2*g - d for g.
4
Let g be 18/(-2*(-9)/495). Let y = 497 - g. Solve 4*o + 40 = -4*z, -y*z - 4*o = -3*z + 15 for z.
-5
Let y be 5/(-40) + 54/48. Suppose 5*k + 27 = 2, 0 = i - 5*k - 13. Let q be y + (-28)/i - (-1)/(-3). Solve -q*s + 10 = 3*n - 5*n, 8 = 4*s for n.
-2
Suppose 0 = -a - 5*k + 23, 2*a = -k - 5 + 15. Solve 0 = -4*j - 8, -h + 9 = -4*h - a*j for h.
-1
Suppose -63*w = -103*w. Solve -3*i = -3*t - 6, w*t + 2 = i - 3*t for i.
2
Let v(s) = 3*s**3 - 41*s**2 + 3*s - 7. Let l be v(13). Let o = -288 - l. Solve 2*w - 3 = 1, -4*p + 5*w = o for p.
-2
Suppose 0 = 3*l + 3*y - 57, -441*l - 4*y = -442*l + 14. Solve -2*m = 22*i - l*i - 20, -m - 8 = -4*i for i.
3
Let h = -8026 + 8026. Solve h = 2*c, -4*c + 6 = -5*k + 3*k for k.
-3
Suppose -2*l + 3*h + 5 = 0, l - 9 = -5*h - 0. Let m = -91 + 91. Suppose t - u + 6 = -3*u, 4*t + 5*u + 9 = m. Solve -a - l*i = 4, t*a + 20 = -a + i for a.
-4
Suppose 0 = 2*r + 8, -5*r - 47 = -o + 13. Suppose -26 - o = -33*q. Solve q*s - l + 1 = -0*s, 0 = 3*s + 3*l - 21 for s.
2
Let u = -120 - -448. Let z = u + -325. Solve -1 = -z*k - 3*j + 14, -4*k + 3*j + 20 = 0 for k.
5
Let b(a) = 6*a + 24. Let f = 65 + -14. Suppose 56*g = f*g - 20. Let i be b(g). Solve -3*m - 15 = i, w - 2*m = -6*m - 18 for w.
2
Let z(t) be the second derivative of t**4/12 + t**3/2 - 35*t**2/2 + 226*t. Let q be z(-8). Solve h = q*v - 22, 3*h - 13 = 2*h - 2*v for h.
3
Suppose -10*p - 1944 - 16 = 0. Let j = p - -200. Solve 11 = j*l + 5*b - 16, -3*l + 24 = 5*b for l.
3
Let z be 1 + 3/2 + 174/(-116). Let u be 23/4 + -6 + z/4. Solve 3*v - 9 = -3*n, u = -2*n - 0*n + 5*v - 22 for n.
-1
Let z = 49 - 24. Let p = z + -61. Let c = p + 50. Solve 2*r = -3*f + c, 6*r + 12 = 4*f + 2*r for f.
4
Let g(x) = 24*x - 12 - 7 - 25*x. Let c(v) = -10*v + 1. Let w be c(2). Let s be g(w). Solve s = 3*r - 0*q + 4*q - 4, -r - 5*q - 6 = 0 for r.
4
Let a(j) = j**2 + 83 - 6034*j + 3 + 6053*j. Let y be a(-12). Solve -5*s - 5*q + 35 = 0, -4*s + y*q - 7*q + 32 = 0 for s.
3
Let i(x) = 2*x**2 + 58*x + 371. Let o be i(-20). Solve 3*y - 52 = 8*n, o + 22 = -5*n + 2*y for n.
-5
Let x(i) = -314*i + 2200. Let o be x(7). Solve 0 = 4*b - 5*z - 31, 6*b - 5*b + 2 = -o*z for b.
4
Let c = -331 - -623. Suppose c = 2*y + 286. Solve -y*d - 1 + 14 = -2*o, -4*o = 20 for d.
1
Let q = 7672 - 7667. Solve -2*o - 9 + 12 = q*v, 8 = 3*v - 5*o for v.
1
Let f = -1105 - -561. Let i be 10/(-4)*f/85. Solve -i = 2*a - 5*p + 1, 3*p = -a + 19 for a.
4
Suppose -b - 8 = 4*n, 4*n = 4*b - 14 + 6. Solve b = 3*c + 5*h + 3, -5 = 4*c + 4*h - 1 for c.
-1
Let o(a) = a**2 - 4. Let b be o(0). Let p(l) = l**3 - 2*l**2 - 4*l + 5. Let z be p(b). Let h = z - -78. Solve 0 = v + 3*d - 2, 1 = 4*v - h*d - 7 for v.
2
Suppose -1 - 5 = -2*n + k, 17 = 5*n - 3*k. Let r(d) = d**2 + 2*d - 3. Let m be r(n). Solve -4*l + 4*t - 24 - 8 = m, -l - 18 = -3*t for l.
-3
Suppose 0 = -2*j - 10, -3*v - 3*j + 131 = -55. Let s = v - 67. Solve -13 = r - 3*n, -r + 