e -3*h + 4*h + s*j + 8 = 0, 0 = -4*h + j - 15 for h.
-4
Suppose -2*o = -10*o. Suppose o*q = -2*q + 30. Solve 2*a - j + 3 = 0, -5*j = 3*a - 7*a - q for a.
0
Suppose 0 = -2*f + f + 4. Suppose 5*c + q - f = -3*q, 4*q + 28 = 3*c. Solve -17 = 2*k + p + 2*p, -2*k + c = -4*p for k.
-4
Let s be 4 - 12/(42/7). Solve 5*l = 15, 1 + 2 = f + s*l for f.
-3
Let i be 4/(-10)*(-15)/3. Suppose -20 = 5*m - 10*m. Suppose 0 = 5*k + u - 6*u - 5, -5*u = -2*k + 5. Solve -i*d - 4*x + 14 = 0, -m*d + 3*x + x - 32 = k for d.
-3
Let p = -6 - -10. Suppose 2*h = 3*h - 2. Let b = 2509 - 2505. Solve -h*c - 8 - 1 = -3*n, b*c = -p*n - 8 for c.
-3
Let y(k) = 2*k**3 - 5*k**2 - 21*k - 1. Let w be y(5). Solve -4*r = -3*c - 26, -3*c + 3*r + w = 8*r for c.
-2
Suppose -n - 5 = -2*y, -3*y + 6*y = 2*n + 7. Let q(p) = -p - 1. Let r be q(-3). Solve r*m - 2*b + 6 + 4 = 0, -y*b = -9 for m.
-2
Suppose 4*o + 50 = 162. Let k = -25 + o. Let b(w) = -w**3 + 5*w**2 - 2*w - 4. Let z be b(k). Solve -z = -g - g, 8 = 4*m + 5*g for m.
-3
Let y be 1 - (-230)/55 - (-2)/(-11). Solve -p - 3 - 6 = -y*a, 2*p = -a + 4 for a.
2
Let r be ((-87)/(-2))/((6/4)/(-3)). Let n = 91 + r. Solve 4*u - u - 2*l + n = 0, 4*u + 2*l = -10 for u.
-2
Let v(f) = f**2 - 5*f - 8. Let b be v(6). Let t be 2/4*b*-3. Suppose t*i = 16 + 53. Solve -4*z - 13 = -k, -k + 4*z = 2*k - i for k.
5
Let z = -48 - -50. Suppose z*r - 7*r - 4*v = -36, 3*r - 8 = v. Solve -4*s + r*j - 12 = 0, -5*s + 0*j = -4*j + 14 for s.
-2
Let b(t) be the third derivative of t**4/12 - 5*t**3/3 - 2*t**2. Let s be b(8). Solve 2*g - s = -4*v + 6*v, -4*g - 15 = 5*v for v.
-3
Suppose 4*k + j = -122, -5*k + 3*k + j - 58 = 0. Let p = k + 44. Solve 5*x + 0*d = -2*d + 7, -2*x = -2*d - p for x.
3
Let w be 4/(-3)*(5355/(-102) + 51). Let o(l) = 3 - 3*l - 3. Let z be o(-1). Solve -2*s - 8 = -3*s + 2*x, -13 = -w*s + z*x for s.
2
Let c be (0 + -4)/(-4)*2. Suppose -1 = c*k - 21. Suppose -t + 0*t + q = -k, t + 3*q = -10. Solve t*m = -25, 4*m + 19 = -a - 0*a for a.
1
Let y be (1 - -61)*(-1)/(-2). Let x = 28 - y. Let o be ((-4)/x)/((-6)/(-9)). Solve v - 2 = 4*l, 1 = -o*v - l + 5 for v.
2
Suppose 3*z + a - 2 = 0, -z = 2*a + 5 + 1. Let x be z + 2 + 0/(-3). Solve 3*p + 5*b - 3*b + 5 = 0, x*b - 15 = -p for p.
-5
Suppose -56 = -4*i - 6*n + 2*n, n = 5. Suppose i*a - 13*a = -8. Solve -3*p = 3*r, a*p + 5*r = -0*p - 3 for p.
1
Suppose -3*i + 14 = 5. Solve -t = -6*t - 5*j + 15, -i*j + 23 = -4*t for t.
-2
Let g be (-3 + 0)*2/(-2). Let r = 57 + -54. Suppose -z = z - 3*h - 16, -r*z - g*h = 6. Solve 5*d - z*k = 5 - 28, -4*d + 2*k = 18 for d.
-5
Suppose 0*x + 39 = x - 5*b, -5*x + 141 = 2*b. Let o = x - 22. Solve 2*d - o*d + c - 21 = 0, 4*c - 9 = 5*d for d.
-5
Let h(j) = j**3 - 6*j**2 - 9*j - 28. Let w be h(8). Solve 4*q - 4 = 4*z, -7*q + 4*z - w = -11*q for q.
4
Suppose -5*s - 22 = t, -14*t + 15*t - 5*s - 28 = 0. Solve t*w + 1 = -2*m + 2*w, -5*w - 14 = m for m.
1
Let g(h) be the second derivative of h**5/20 - h**4 + 2*h**3 - 3*h**2 + h. Let j be g(11). Let c = j - 0. Solve -17 = -m + 5*t, -m = 2*m + c*t + 29 for m.
-3
Suppose 3*u - 6 = -0*u. Suppose 0 = -u*d - d + 6. Let h = 55 - 51. Solve l - 5*y + 17 = 0, -h*l + d*y + 0 = -4 for l.
3
Suppose 4*t - 5*t + 4 = c, 4*c + 14 = 2*t. Solve 0 = 2*h - 5*y + 16, h + 8*y - 14 = t*y for h.
2
Let y = -79 - -88. Suppose 4*b = -y + 21. Solve 0 = -2*d - 2, -2*d + 4*d = -i - b for i.
-1
Let q = -9 + 11. Let v(h) = q*h**2 + 0*h - 8*h - 3*h**2 + 3. Let m be v(-6). Solve 4*c = -3*t - 21, 3 - m = 5*t - c for t.
-3
Let i(w) = w**2 + 17*w + 54. Let r be i(-12). Let l be ((-4)/r)/(10/180). Solve -k = 3*o + k + 20, -2*o + 5*k = -l for o.
-4
Let w(z) = -z**2 - 15*z - 8. Let h be w(-6). Suppose -2*t - h = -5*d, -3*d - 3*t + 35 = -1. Solve -3*g = -4*v - 7*g + 8, -5*v = -g - d for v.
2
Suppose 0 = -12*b + 18*b - 90. Let a be ((-8)/(-6))/(10/b). Solve -5*i + 4 = -3*c, 7*i = a*i + 2*c + 6 for i.
2
Let g(b) = -b**3 - 11*b**2 + 16*b + 51. Let n be g(-12). Solve n = -2*j - 3, 0 = -4*t + j + 3 for t.
0
Let x be (-9)/(-6)*8/6. Let b(j) = -j**3 + 3*j**2 + j - 2. Let k be b(x). Suppose -k*u + 8 = -0*u. Solve 6 = -u*s + 4*o, -4 + 21 = -4*s + 3*o for s.
-5
Let a(q) = q**2 + 7*q + 17. Let n be a(-7). Suppose 9*g - 4*g = 10. Suppose -5*v = f - 2*f - n, -5*f - g*v = -23. Solve -2*i + 0*i = 0, 0 = f*x + 4*i for x.
0
Let j be 8/(-12)*(2 + 1). Let t be j + 1 + (0 - 1). Let z = 5 + t. Solve -f + 8 = 2*g, -z*f + 5*g - 34 = -3 for f.
-2
Suppose 21*c + 8004 = 8025. Suppose -2*i - 5*x = -0*i - 28, x - 24 = -5*i. Solve 0 = -a + 3*s + c, i*a = 3*s + 18 - 5 for a.
4
Let h = 388 + -384. Solve f - 18 = h*m + 6*f, 2*m = 2*f for m.
-2
Let m = 320 + -315. Solve -3*x + 2 = -2*d, m*d = -3*x - 2 - 3 for d.
-1
Let l = 722 - 716. Solve 0 = 2*y - 4*i - 6, -15 = 4*y - l*y - 5*i for y.
5
Let r = 73 - 68. Suppose -3*d = -t + 19, -2*d - 25 = -r*t - d. Solve -5*c = 3*f - 13, -2*f = 2*f - t for c.
2
Suppose 4*s = 4*c - 12, 0 = -10*c + 11*c + 3*s - 11. Let p = -1 + 1. Solve v = 3*v - 4*a - 8, -c*v - a + 20 = p for v.
4
Let t be ((-25 + -8)/(-3))/(2/(-4)). Let g = 27 + t. Solve g = -0*w + w - 2*n, -4*n = 16 for w.
-3
Let c(d) = -d**3 - 7*d**2 - 5*d - 1. Let h be c(-4). Let q = h - -32. Solve 4*g = q*m + 19, 5*m + 38 = 2*g + 11 for g.
1
Let m(r) = 9 - 3*r - 2*r + 5*r - r. Let z be m(2). Solve 3*p - 3 = 0, -z = -0*l - 5*l - 2*p for l.
1
Let j(u) = 3*u - 76 + 71 - 63. Let o be j(24). Solve -2*d + 0*d = -o*n + 10, -4*d = 4*n - 28 for d.
3
Suppose 0 = r - 12 + 9. Solve -4*u + 5*w + 14 = -r*u, -4*w + 4 = 3*u for u.
4
Suppose -663*w + 662*w + 22 = 0. Solve -4*z - 2*c - 14 = 4, -5*z - w = 3*c for z.
-5
Let n(s) = s**3 + 7*s**2 - 10*s - 6. Let c be n(-8). Suppose 0 = -12*m + c*m + 10. Solve -y - 6 = m*q + 4, 0 = -2*y - q - 11 for y.
-5
Suppose -3*l = 3*d + l - 25, -31 = -5*d - 4*l. Solve -d*c - 7 = 5*r - 31, -r + 15 = 4*c for c.
3
Let r = -13 - -15. Let z = 12 - r. Solve 5*k - z = 2*t, 4*k = 3*t - 4*t + 21 for t.
5
Let o = -1 + 8. Let l(y) = y - 5. Let x be l(o). Let u = -16 + 22. Solve -3*a - u = -6*a + 3*b, 0 = -x*a - 3*b - 21 for a.
-3
Let z(b) = b**2 + 11*b - 6. Let o be z(-12). Suppose -4*c + 9*c = 0. Suppose c = -t - 5, 4*g + o*t + 17 = t. Solve 2*d = 3*q + g*q, 3*q + 16 = -2*d for q.
-2
Suppose -2*i - 11 = -1, 3*i + 31 = -4*u. Let z be (1/(-2))/(u/168). Solve a = 0, z = 5*x - a - 4 for x.
5
Let c = -146 - -148. Solve 18 = i + 5*o, 5*i + 0*i - c = -3*o for i.
-2
Let c = -108 - -110. Suppose -8*i + 4*i + c*a = -48, -28 = -2*i + 2*a. Solve -8*q + 3*q + i = -4*t, -3*t = 0 for q.
2
Let k = 2367 - 2365. Solve -2*f + r - k = f, 0 = 5*f + 3*r + 8 for f.
-1
Let p = -1938 + 1964. Solve -4*n + 2*a + p = -a, 3*n - 4*a = 23 for n.
5
Let b = -79 - -83. Let h = 7 - 2. Solve -3 = -2*n - 1, h*f = -b*n + 14 for f.
2
Let w be 3/(-6)*66/3. Let o = 31 + w. Solve -2*n + o = 3*n - 3*b, 4*n + 5*b + 21 = 0 for n.
1
Suppose -208 = -3*o + 77. Let q = o - 92. Solve -q*w - f - 15 = 0, -2*w + 3*f - 4 + 5 = 0 for w.
-4
Let i(a) = -a**2 - 15*a - 22. Let g be i(-13). Solve 0 = -2*j, -8 = -g*n - 2*j - 2*j for n.
2
Let v(s) = 9*s**2 - 12*s + 5. Let w be v(1). Solve -3*d = 2*d - w*x - 23, -x + 6 = d for d.
5
Let c be 2 + -3 - (4 + (6 - 15)). Solve 2*z + 3*b = 1, c*z + 4*b - 3 = z for z.
5
Suppose 3*c = 5*p - 0*p, -5*p = 0. Let l be (-1 - 0)*-1 - (15 + -17). Solve l*g - 4*x = c, 2*g + x = -g for g.
0
Suppose 11 + 21 = 2*l. Suppose -5*t = 3*m + l, -12*t = -2*m - 17*t - 19. Solve 3*v + 2 = -2*j, m + 0 = -3*j - v for j.
-1
Suppose 0 = 3*s - 5*k + 70, s - 2*k + 16 = -9. Let w be -2 + 3 + (0 - s). Suppose 2*d + w = 4*d. Solve -5*m + 5*f = 30, 2*m + f - d = -f for m.
-1
Suppose -99 = -67*q + 64*q. Suppose 6*k + 5*k - q = 0. Solve 3*j + k*w = 6, 5*j - 2*w - 4 - 6 = 0 for j.
2
Suppose 4*l - 3*l = 3*c - 6, 0 = 5*c - 3*l - 10. Suppose -c*n = -7 + 1. Solve 0 = -h - 3*i + 13, -n*h + 7*h + 5*i - 17 = 0 for h.
-2
Let h(o) = o**3 + 12*o**2 - 3*o - 31. Let d be h(-12). Let p = 10 + -5. Solve 0 = -d*j - 5*f + p + 40, 2*f - 28 = -4*j for j.
5
Let k be 6 + 2/(-12) + (-5)/6. Suppose 0 = -l + 2*m - 6, k*l - 6 - 3 = -3*m. Solve -3*v + 14 = -3*y - 4, l = -4*y - 5*v - 6 for y.
-4
Let j(i) = -i**2 - 10*i + 13. Let r be j(-11). Suppose 3*u - u = 6. Let b be 70/25 + u/15. Solve -5*p + t = b*t - 6, r*p + 3*t - 9 = 0 for p.
0
Suppose -32 = -8*r + 4*r. Suppose 3 = -r*m + 9*m. Suppo