1. Solve -12 = 3*h, b*h + i = -5*n + 7 for n.
5
Let o(u) be the second derivative of u**5/20 - 11*u**3/6 - 3*u**2/2 + 88*u. Let h be o(-3). Solve -2*c - 2*d - 10 = h*d, 0 = -3*d - 6 for c.
0
Suppose -65*j + c + 19 = -63*j, 8*c = 2*j - 82. Solve -9*z + 3*s - 10 = -14*z, -z - j*s - 20 = 0 for z.
5
Let m = -35 - -30. Let t be (1 - 11)/(m + 13 + -6). Let g be 1 + 6 + (3 + 7)/t. Solve -40 = -3*z - g*r, -2*z = -0*z - 2*r for z.
5
Suppose x + 4*v = 36, v = 3*x - 20 + 16. Solve -4*a + 2*q = -20, 0 = x*a - 5*a - 4*q + 5 for a.
5
Let d be ((-5)/10)/(34/(-264)) + 6/51. Solve 3*t - 4*c = -2 + 3, 4*t + 36 = -d*c for t.
-5
Let z(y) = 9*y - 43. Let h be z(5). Suppose 0 = -j + 1 - 6. Let x = j + 15. Solve -11 = t - 2*b, -b + 2*b = h*t + x for t.
-3
Suppose 2*r = 3*r. Let h = r - -4. Suppose -y - 2 = -5*k, -3*y + k + 46 = 3*y. Solve 3*c - y = h*m, -5*m + 2 = -3*c + 12 for m.
-2
Let s = 4 - 12. Let d be (-17)/(-4) - (-2)/s. Let y(h) = -71*h - 4186. Let r be y(-59). Solve -d*p + 2*p - 5 = -g, -r*g + p = 0 for g.
-1
Let g = -30 + 21. Let k(n) be the third derivative of n**5/60 + 3*n**4/8 + 2*n**3/3 + 307*n**2. Let r be k(g). Solve -4*z - r*w + 45 = w, 2*w - 10 = 0 for z.
5
Let c = -195 + 470. Let a = c + -273. Solve 4*f - 19 = -l, -a*l = l - 5*f + 11 for l.
3
Let m(o) be the first derivative of 3*o + 3 + 1/2*o**2. Let t be m(-1). Solve 11 = 3*x + 4*l, -t*x - 5*l + 4 + 8 = 0 for x.
1
Let q = -16060 - -16062. Solve 4*j - 12*v = -15*v + 9, -q*v = -3*j - 6 for j.
0
Suppose 2*g = 4, -4*l + 4*g - 6 = -14. Suppose -4*d - l*t = 4, d + 2*t - 10 = -4*d. Let b = -212382 - -212385. Solve d*h = -i + 3, b = -h + 3*h - i for h.
1
Let d(j) = -j**2 + 3*j + 2. Let b be d(3). Let s be (-132)/44 + ((-36)/(-30))/(6/40). Solve n + s*c - 7 = -0*n, -b*n + 6 = 2*c for n.
2
Let r be (-2*(-1)/2)/((-60)/(-420)). Let q(t) = -t**3 + 6*t**2 + 4*t + 24. Let j be q(r). Solve -j*l = -2*s + 4 + 12, 0 = s - 2 for l.
-4
Suppose 4*u - 40 = -4*h, 7*u + h = 3*u + 49. Suppose -3*l + 472 = -f + 25, 16 = 4*l. Let i = f - -440. Solve 3*b + 0*w - u = -w, 27 = i*b - w for b.
5
Suppose -563*g + 52 = -550*g. Solve -5*j + 36*n = 38*n - 8, 3*n - 12 = g*j for j.
0
Let n be (26/(-39))/((-1)/9). Solve -3*r + 15 = 5*b - 5*r, 0 = 2*b + 5*r - n for b.
3
Suppose 4*u - 4 - 8 = 0. Let c be 6/5*45/(-21)*(-56)/72. Solve 3*g = -2*p + 4, p - c = -0*g - u*g for p.
2
Suppose 3 = 3*h - 3*z - 0*z, 0 = -3*h + z + 7. Let a(v) = 3*v**3 - 9*v**2 + 4*v + 4. Let s be a(h). Solve 2*m = 2*r + 7*m - 19, -2*r = 4*m - s for r.
2
Let c(m) = m**2 - 5*m + 2. Let h be c(5). Let j be -16*(1/h + -1). Suppose -2*i - 8 = -j. Solve i = -z - 4*q + 4, 6*q = -5*z + 5*q + 20 for z.
4
Let a(b) = -160*b + 1444. Let l be a(9). Solve 0 = 2*w - l*k + 2, -15*w + 17 = -12*w + 4*k for w.
3
Suppose -j + 2*j + 3*z = -16, j + 4 = z. Let i be 12/3 - (4 + j). Let a(y) = -y**2 + 7*y + 3. Let s be a(i). Solve -f + 11 = -3*p, -25 = 5*p + 2*f + s*f for p.
-4
Let x(u) = -17*u + 111. Suppose -1345*r + 1352*r - 42 = 0. Let q be x(r). Solve -a - 1 = -5*k, a - q = -2*k - 3*k for a.
4
Suppose -3*g - 3*a = 32 - 167, g - a = 45. Suppose 5*c = -3*b - 231, 4*b = c + 5*b + g. Let k = c + 51. Solve 2*m - p + 13 - 2 = 0, k*m - 3*p + 18 = 0 for m.
-5
Let d(p) = -3*p**3 + 23*p**2 - 13*p + 5. Let a be d(9). Let h = a - -437. Solve 0 = -4*c - 2*x + 27 - 5, -h = 2*c - 3*x for c.
4
Let f be ((-168)/(-16) + -9)*2. Suppose 3*u - 8*b = -5*b, -f*b = u - 20. Solve -j + 4*w - u*w + 4 = 0, -4*j - 3*w + 13 = 0 for j.
1
Suppose 3*i + 25 = 2*h + 3*h, 2*h - 24 = 4*i. Let p = -183 - -187. Solve m + h*l = 2*m + 7, -l = p*m - 8 for m.
1
Suppose 5*b - 10 = -j, 189*b - 193*b - j + 9 = 0. Solve -4*x = -q + b, -3 + 8 = 2*x + 5*q for x.
0
Let o = 33 + -21. Let q = o + 39. Let s = q - 48. Solve -2*c - s*j + 1 = 6, 4*c + 15 = -j for c.
-4
Let i(h) = -h**2 - 3*h + 511. Let t be i(-24). Solve -20 = -t*b + 2*b, 3*p + 4 = -2*b for p.
-4
Let g(k) = -k - 4. Let m be g(-6). Suppose 3*q = 3*z - 9, 74*q + 2*z = 78*q. Solve b = m*t, -q = -b + 4*t + 1 for b.
-4
Let q be (-11)/2*(4743/(-187) - -25). Solve 0 = -2*i + t + 5, 2*i + 3*i - 26 = -q*t for i.
4
Let y be 1/(-7)*3 - 24957/(-413). Suppose 0*u - 2 = u. Let b be 5/(y/(-18))*u. Solve 0 = 3*g + 5*c - 19, -b - 15 = -4*g - 3*c for g.
3
Suppose 0 = 6*u - 9*u + 54. Suppose -u*n + 2*n = -80. Solve -c = 2*q - 11 - 0, -n*c = -2*q - 7 for c.
3
Let b(k) = 10*k**2 - 34*k - 48. Let o(a) = -12*a**2 + 33*a + 49. Let c(v) = -5*b(v) - 4*o(v). Let l be c(20). Solve -4*q + 6 = q + t, 3*q + 1 = l*t for q.
1
Let v be -1 + -1 - (-1 - 3). Let d(h) = -h**2 + h + 21. Let a be d(0). Solve -4*k + 3*q = -a, v*k + 4 - 7 = -q for k.
3
Let q be 1*-1*(30 + -49 - -19). Solve 0 = 5*c - 5*n - 63 + 38, q = 2*c + n - 1 for c.
2
Let f = 5782 + -5780. Let t(r) = -r**2 - 6*r - 1. Let z be t(-5). Solve 0 = -y - 5, -3*b + f*y - 3 + z = 0 for b.
-3
Let v be (385/(-231))/(2/(-12)). Let t = -4 + 9. Suppose t*p - 3*b = 4*p + 13, 0 = p - 2*b - v. Solve 25 = -p*n - j + 1, -2*j = n + 13 for n.
-5
Let p(a) = 8*a - 29. Let u be ((-40)/30)/((-3)/18). Suppose -u = q - 16. Let s be p(q). Solve y - 2 - 1 = -k, s = 5*y - 5*k for y.
5
Let c(s) = s**2 + 124*s + 715. Let f be c(-6). Solve 5*k = 0, -5*b - 5*k + f = -18 for b.
5
Suppose 0 = 1031*s - 995*s - 108. Solve -s*n - 4 = -4*n + 2*t, 4 = n + t for n.
4
Let q be 2/5 - (-221)/85. Suppose j + 10 = q*j. Suppose -5*z = -15 + j. Solve 2*m - z = 4*i, 25 = 2*m + m + 5*i for m.
5
Let n(w) = -w**3 + 25*w**2 + w - 118. Let r be n(25). Let g = -88 - r. Solve 0 = -4*h - 4*v + 8, g*h = -v - 8 - 2 for h.
-3
Let h(z) = -5*z**2 - 160*z + 167. Let f be h(-33). Solve -5*s + f*y - 8 = 0, 0 = -2*y + 2 - 4 for s.
-2
Let z be (-221)/78 + (-1 - (-10)/12). Let o be 4/z + (-128)/(-24). Solve 2*r - o = -3*y - 10, -4*y - 8 = 2*r for r.
0
Suppose 3*p + 5*s - 56 + 26 = 0, 0 = -3*s + 9. Solve 2 = -3*z - 4*k, 0*k - 14 = -p*z + 2*k for z.
2
Suppose 38994 = -31*w + 39087. Solve -5*x = -0*d + 2*d - 6, -w*d = 3*x for x.
2
Let b(d) = d**2 - 95*d - 288. Let k be b(-3). Solve -4*w = o - 2, 4 = -o - 5*w + k for o.
2
Let q = 400850 + -400839. Let l = -3 + 7. Suppose 0 = j - l - 1. Solve 3*w = 2*b + 4*w - q, -2*b + 5*w = -j for b.
5
Let t(d) = -215*d - 201*d + 439*d - d**2 - 72. Let b be t(19). Solve o + 14 = 5*x, 0 = -7*x + b*x - 4*o - 10 for x.
2
Let f(w) = -2*w**2 + 28*w + 2. Let x be f(14). Let t be x + (-24)/60 + 6/(-10). Let n be -6*(4/6 - t). Solve b = -n, 3*b - b + 6 = 2*z for z.
1
Let p = -26731 + 26731. Solve 5*i = -c - 4, p = 2*i - 25*c + 27*c for i.
-1
Let m = 513 - 476. Let f(t) = -3*t + 122. Let s be f(m). Solve 0 = 2*n + 5*z - 18, -5*n + 4*z + 1 + s = 0 for n.
4
Let a(y) = 22*y**3 + 3*y**2 + 5*y - 7. Let q be a(2). Let m = 194 - q. Solve 4*l - 29 = -m*u, -5*u + 2*l = -1 - 4 for u.
3
Suppose -28*x + 23*x + 4*c + 514 = 0, -4*c + 546 = 5*x. Suppose -3*y + 303 = -0*y. Let f = x - y. Solve 0 = -3*q + f*d + 6, 2*q + 0*d + 2*d = -12 for q.
-3
Suppose 10*j - 52 = 78. Let q = j - 13. Solve x = -3*s + 4 + 10, -x - 5*s + 20 = q for x.
5
Let j(c) = 25*c - 194 + 390 - 176. Let q be j(0). Solve 0 = 4*m + q, i + 0*i - 2*m - 14 = 0 for i.
4
Suppose 0 = -15*d - 7325 + 7790. Solve 0 = -4*y + 3*h - d, y + 9 = 3*h - 2*h for y.
-4
Let s be (36/(-48))/(1/(32/(-6))). Suppose 0 = -4*z + s*b + 24, -z - 24 = -6*z - b. Suppose -y + 0*y = -16. Solve 5*v - 2*v = 3*h - 12, y = z*v + 4*h for v.
0
Let l(h) = 19*h + 106. Let b be l(4). Suppose -158 = 4*c - b. Solve 6 = -5*y + 3*i, 3*i = y + y + c for y.
0
Let x(t) = 20*t**2 + 2*t - 1. Suppose 6 = 2*d - 2*v - 0*v, -v + 2 = 4*d. Let f be x(d). Let o = 26 - f. Solve -5*l = -l + o*n - 23, l = 5*n - 13 for l.
2
Let q(c) = -c**3 + 30*c**2 - 22*c - 83. Let i be q(29). Let l = -110 + i. Suppose d - 25 = -3*n, -2*n = 2*n + 4. Solve -3*r = 5*p + d, -5*r + 0*r - l = p for r.
-1
Suppose 8*u - 14 + 3 - 29 = 0. Solve 4*f = -l - 10, u*l + 18 = -3*f + 19 for l.
2
Let s = -6462 + 6466. Solve s*z = 2*r - 6, 12*r = 15*r + 4*z - 19 for r.
5
Suppose -3*c - 4*v = c - 12, c = -4*v. Let i be 66*((-5)/4 + 357/252). Solve i = 3*b - 2*t, c*t + 19 = -b + 4 for b.
1
Let l(m) = -2*m**2 - 29*m - 7. Let q be l(-14). Let f(y) = y**2 + 7*y - 3. Let w be f(q). Let b = 99 - w. Solve -8 = -4*d - 4*u, -u = -2*d + b*d - 7 for d.
5
Let b = -2 - -4. Let k = 318 + -318. Solve k = u - 3*h - b, 0 = 3*h - 7*h - 8 for