= 44*b + 85. Let s be o(-9). Let f = s - -314. Solve 2*m + 5 = 5*y - f*m, 2*y + 2*m = -14 for y.
-3
Suppose 0 = 4*j - 5*t - 80, 3*j + 3413*t - 3410*t = 33. Solve -8*h = 3*a - 5*h - j, 0 = -5*a + 3*h + 1 for a.
2
Suppose 0 = 9*z - 14*z - 25. Let r be (0/z)/(-1 - -2). Suppose r = -37*j + 32*j + 25. Solve 2*l - 2*g = 0, 0 = 3*l + l - 3*g + j for l.
-5
Let f(i) be the second derivative of i**3/3 + 23*i**2/2 - i - 444. Suppose -a - 1 = 9. Let n be f(a). Solve n*l + 8 = -2*l + 4*k, -11 = -l + 5*k for l.
-4
Suppose -67*z = -63*z - 8. Let o(n) = 2*n**3 + 6*n**2 - 4*n - 2. Let i be o(-3). Suppose i*b = 2*b + 32. Solve -5*c + 8 = -b*f - 2*c, -10 = -z*f - 2*c for f.
1
Let d = -31576 - -31587. Solve -d*b + 10*b - 4 = 5*r, 0 = -3*r - 3 for b.
1
Suppose 0 = -0*h - 4*h + 4. Suppose -376*f = -5*v - 375*f + 14, 4*f + 16 = 0. Suppose v*i + 2*u = 14, u - h = 3. Solve 2*z + 7 = s, -s - 6 = -i*s for z.
-2
Suppose -66*c + 793 + 408 - 409 = 0. Solve -x - 7*i + 4*i - 4 = 0, 0 = -2*x + 4*i + c for x.
2
Let j be (-10)/(-1) + 0 + -3. Suppose j*m = 2*m - 3*w + 54, 0 = -2*m - w + 21. Suppose 20*h - m = 17*h. Solve -5*i - 3*o = -25, -3*i - 6*o + h*o = -21 for i.
2
Let a = -6283 - -6283. Solve -4*q + 3*b + 0 = 11, a = 5*q + b + 28 for q.
-5
Suppose -6 - 3 = -3*k. Let g(i) = i + 1. Let x be g(0). Suppose -3*y - x = -19. Solve -2*r + 3*z - y = -0*r, 0 = 5*r - k*z + 15 for r.
-3
Let m = -10257 + 10262. Solve -3 = l, -2*f + 2*l + 11 = -m for f.
5
Let w be 1647/(-122)*4/(-6). Suppose 3 = -5*u - a, -5*a + 2*a = 2*u + w. Solve u = -d + 3*p - 9, -2 + 5 = 5*d - 3*p for d.
3
Suppose 3*o + 566 = -5*m, -8*o - 5*m = -10*o - 419. Let p = 203 + o. Solve -c = -3*s - 8, -p*c + c = 20 for s.
-4
Suppose w - 9*w = -24. Suppose -w*z - 4*j - 113 = 0, 0*z + z - 5*j + 44 = 0. Let t = -37 - z. Solve 3*u + t*u + 2*n + 25 = 0, 2*n + 13 = -u for u.
-3
Suppose 56*b = 105 + 63. Solve 0*o + 2*o = -5*p + 19, 0 = 2*p + b*o - 1 for p.
5
Let q = -158 - -199. Suppose 22*c - q*c + 266 = 0. Solve -5*k - c = v, -2*v + 6*v - 4 = 0 for k.
-3
Let n(g) = -g**2 + 14*g - 5. Let x be n(13). Suppose -12*v + x*v = 0. Solve 2*j = z + 4, v = j + j + 4*z + 6 for j.
1
Suppose -229*r = -242*r + 39. Solve 4*q = 4*x - 16, r*x - q = 4*x + 2 for x.
1
Let o be (-32)/72 + (-40)/(-90). Solve -2*c - 3*g - 19 = o, -4*c - g - 24 + 1 = 0 for c.
-5
Let y(m) = -m**2 + 8*m - 7. Let b be y(7). Suppose 2*z - 7 - 9 = b. Solve -4*l - j = -12, -4*l + 3*j - z = -j for l.
2
Let r = 26 - 23. Let u(l) = -l - 6. Let i(k) = 2*k + 13. Let y(c) = 4*i(c) + 9*u(c). Let v be y(-5). Solve 2*t + r = 3*b, 0 = 2*b - v*b - 2*t - 7 for b.
-1
Let g(z) = -4*z**3 - 2*z**2 + 13*z + 40. Let j be g(-3). Suppose -95*f + j*f = -12. Solve 3*t = -3*r, f*t - 2*r - 30 = r for t.
5
Let u be (1/((-3)/(-6)))/((-7)/28). Let c be (-4)/(-5 + (-36)/u). Suppose 6*g = -c*g. Solve -3*q + l = -12, 2*q + g*l + 4*l = -6 for q.
3
Let f = -223 + 240. Suppose -23 = -2*l - f. Solve 4*u + 24 = 2*z, 0 = u + l*u + z + 12 for u.
-4
Let y be 6 - (3 + -597)/6. Suppose -y = -147*s + 140*s. Solve r + r - b = s, -4*b = 20 for r.
5
Let d(w) = w + 1. Suppose -2*a - 2*x = -3*x - 3, 5 = a + 3*x. Let m be d(a). Solve 0 = 5*f - 25, -2*f + 25 = -m*p - 0*p for p.
-5
Suppose v - 6 = -5*i + 22, 2*i = -3*v + 149. Suppose 25*r - 22 = v. Solve -u - l = -5*l + r, 4*u + 12 = l for u.
-3
Suppose c = 3*c + c. Suppose c = a - 11 + 7. Solve 0 = -a*t - 3*l - 32, -t - 2 = -l - 1 for t.
-5
Suppose -378 = -2*y - 32. Let j = -171 + y. Solve 2*l - 25 = 7*l - 5*p, -19 = j*l - 5*p for l.
-2
Suppose 302*y + 415 - 1174 = 751. Solve 5*g + y = 2*x, -91 = x - 2*g - 92 for x.
-5
Suppose 8 = 5*z - z. Suppose -4*g + 152 - 32 = -3*u, 0 = z*u. Let t = g - 30. Solve -2*m - 2 = 4*o - 0, 5*o - 10 = t for m.
-5
Suppose 99*t - 100*t + 677 = 0. Let s = t + -673. Solve f + 5*m - 20 = -f, -s*f + 16 = -2*m for f.
5
Suppose -31*n - 36 = -43*n. Solve -3*r - n*b - 1 = r, -r + 4*b - 5 = 0 for r.
-1
Let a(w) be the first derivative of -2*w**3/3 + 11*w**2 + 3*w + 34. Let d be a(11). Solve -4*v = -4*o - 28, 0*v + v - d*o - 11 = 0 for v.
5
Let o = -23513 - -23519. Solve -o*q + 9*q - 6 = -m, -5*q = 5*m for m.
-3
Let g be (-2)/(-24) + (-498)/(-72). Suppose 8*o - o = g. Solve 1 = 3*q - 5*a, -o = q - 5*a + 2*a for q.
2
Suppose 71*v + 103 = 1239. Solve a + 30*s - v = 33*s, 0 = 3*a + 3*s for a.
4
Let c be (-240)/64*(-24)/(-15) - -46. Solve -2*m + 2*i = -22, -4*m + 23*i = 20*i - c for m.
7
Let u(w) = -10*w + 22. Let b be u(7). Let t = b + 72. Suppose -t = x - 7*x. Solve -n - 11 = 4*f, 4*f = 3*f - x for n.
5
Suppose 0 = -6*s + 127 + 179. Let p = s + -48. Solve 11 = l - 4*y, -2*y - 20 = p*y for l.
-5
Let w = 3560 + -3552. Let a be 2*(-3)/(-2*3). Suppose 0 = -s + 2 + a. Solve 2*u + w = -2*z, -s - 2 = 2*z - u for z.
-3
Let x(j) = -j**3 + 4*j**2 + 9*j - 20. Let a be x(5). Suppose 5*u - 86 = 5*n - 1, a = 2*u - n - 29. Solve -2*g - i = 6, 0*g + i - u = 4*g for g.
-3
Suppose -3*f + 0*f = 15. Let p be (-917)/35 + -4 - 1/f. Let d = p - -32. Solve y + y + 4*w + d = 0, 2*y - w = 8 for y.
3
Let a = 969 - 969. Solve u + 4*o = 0, a = 5*o + 7 - 2 for u.
4
Suppose 0 = 2*w - 3*y - 81, -y = -5*w + y + 230. Suppose 65 = -w*r + 53*r. Solve 4*q + 17 = 2*q + 3*g, g + r = -4*q for q.
-4
Let u(m) = 300*m - 296. Let f be u(1). Solve 5 = -z, f*r + 79*z = 81*z + 6 for r.
-1
Let k be -3*(2026/(-48) - 2/16). Let s = -117 + k. Solve v = -4*i - 20, -2*v - 2*i - s + 0 = 0 for v.
0
Suppose -9*i + 14 = -5*i + 3*r, -3*r = -3*i. Solve 3*j = 2*o - 1, 5*j + 17 = i for o.
-4
Let k(s) = -37*s - 29. Let q(t) = t**2 + 7*t - 1. Let i be q(0). Let x be k(i). Solve 2*h = -2*y - x, -5*h + 5*y = -0*y + 20 for h.
-4
Let f(i) = -i - 50. Let y be f(-17). Let z = y - -37. Suppose 3*x + 2 - 20 = -5*h, -3*h + 5*x + z = 0. Solve -v = h*g + 2 + 11, g + 4 = 0 for v.
-1
Let a be (-2)/2*(-1 + -2). Suppose 115 + 1535 = 275*v. Solve 4*c - v = -3*x + 12, -3*x - a*c = -15 for x.
2
Let c = 6 - 6. Suppose c = 13*z - 10*z - 414. Let o = z - 133. Solve 3*w = -h + 7, -o*h + 0*h - 2*w = -22 for h.
4
Suppose 2*i - 10 = -2*y, -i + 13*y - 9*y = -5. Solve 5*k - 5*l = 10, -i*k - 3*l + 0 - 22 = 0 for k.
-2
Let x be 17/((-51)/(-9)) + 1 + 0/(-6). Solve -2*h = b, -h - 18 = x*b - 32 for h.
-2
Suppose -l - 2295 = -5*w, 57*l - 1807 = -4*w + 52*l. Let f = w + -454. Solve 3*d + 5*q = -f, d + 2*q = q - 2 for d.
-3
Let p(v) = v**2 + 24*v - 39. Let b be (1 + 0)/(157/(-26) - -6). Let m be p(b). Solve 2*c = -3*a + 3*c - m, -3*c - 6 = 0 for a.
-5
Let v(m) = -7*m**3 - 5*m**2 - 8*m - 7. Let i be v(-1). Solve 2*c - n + 7 = 3, i*n - 8 = 4*c for c.
-2
Let x = 54 + -57. Let d be 4/((-28)/(-7))*(x + -1). Let k be 1/d - (-462)/88. Solve 0 = 5*i - k*z - 15, -3*i + 5*z + 15 = -4*i for i.
0
Suppose -4*r + 10 = -2*r. Suppose -7*j - 2*q + 29 = -1, 5*q - 5 = 0. Let c be ((-32)/(-12) - 1)/(j/12). Solve r*l - 2*d + 27 = 0, c*l - d = 3*l - 11 for l.
-5
Let p = 2275 + -2263. Solve 5*o = -5*n - 5, -5*n + p*o = 9*o + 29 for n.
-4
Suppose 5*y + 3*j = 33, -4*y + 2 + 25 = 3*j. Let f(z) = 11*z**2 + z. Let s be f(-1). Let n = s + y. Solve -b = b + 2*g - n, -5*g + 36 = 4*b for b.
4
Let o(q) = q**3 - 6*q**2 + 7*q - 10. Let i be o(5). Suppose i = -c + 7*c - 252. Let s = -11 + c. Solve 6*n - u - 19 = 3*n, -3*n = -4*u - s for n.
5
Suppose 2*w + 99 + 15 = 3*b, 0 = -4*w - 12. Suppose -97*s + 208 = -471. Suppose -b = -2*q - s*q. Solve -5*y = 4*a + 3, a = 3*y - y - q for y.
1
Let a be 6 + 96/(0 + -6). Suppose 5*i + 30 = -20. Let r = i - a. Solve -y - 5*b - 12 = r, 2*b = 3*y - 0*y - 15 for y.
3
Let m(a) = -97*a - 7563. Let v be m(-78). Solve -2*w + v*i + 60 = 50, -5*i = -5*w + 15 for w.
-1
Let l be (-3)/(-2)*(-3 - (-2625)/9). Let w = l + -413. Solve -5*h + 5*c - w = 0, -h - 2 - 1 = -2*c for h.
-5
Let j be ((-8)/(-14))/((-6)/(-35))*-6. Let c be 2/(-8) - (-4 + 125/j). Suppose 12*i - 14 = c. Solve -i*t - 4*a = 30, -2*t + 5*a = -4 - 11 for t.
-5
Suppose 2*d - 217 = -23. Suppose -14*f = -15 - d. Solve -4*c - 19 = -4*p + 17, -2*p + f = 0 for c.
-5
Suppose 3*x + 18*k - 22*k - 10 = 0, -8 = -5*x - 2*k. Solve -x*b + 4*g = 2, 0*g + 4*g = -b - 13 for b.
-5
Suppose 18*y + 690 = 99*y + 57*y. Solve -y*t = 10, -8*l = -5*l - 4*t + 1 for l.
-3
Suppose 15*l - 13*l = 5*j - 28, 2*j + 4*l = -8. Solve -2*h = -2*p, 4 = j*p + h - 6*h for p.
-4
Let h(z) = -19*z - 110. Let j(f) = -10*f - 56. Let u(y) 