-2*b - 14, 40 = -3*n + 5*b for n.
-5
Let o = -296 + 278. Let y(m) = m**3 + 18*m**2 - 2*m - 22. Let r be y(o). Solve -4*l + 4*i - 2 = r, 3*i + 3 = 0 for l.
-5
Let k(q) = -6*q**2 - 76*q - 203. Let n be k(-4). Let s(y) = 2*y**2. Let v be s(-1). Let j be (-4)/v*(-10)/n. Solve 3*x - j*h - 3 = 0, -2*x + 3*h + h = -2 for x.
1
Let x = -15588 + 15591. Solve 2*k + 4*i - 6 = 0, -2*k + 9 = x*i + 6 for k.
-3
Suppose -12*f = -48*f - 24*f + 240. Solve 4*r - 4 = 0, 0 = -f*c - 6*r + r + 9 for c.
1
Let s(x) be the first derivative of -x**2/2 - 2*x + 1278. Let d be 5/(15/6) + -4. Let l be s(d). Solve 0 = 2*f + 2, -3*b + 3*f + l*f - 3 = 0 for b.
-2
Suppose 5*d - 10 = 4*d - m, 4*d - 5*m + 5 = 0. Suppose 0 = d*r - 20, 5*r = -4*x + x + 44. Solve 4*q = -4*l - 16, 0*q - 2*q - x = 3*l for q.
-4
Suppose -30*r - 4780 = -5140. Solve 28*w = -m + 31*w + 16, -m + 2*w = -r for m.
4
Suppose -10*x + 6*x = -16. Suppose -w - 2*l + 3 = -0, -3*l - 23 = -x*w. Solve 5*t + u + 4 = -1, 0 = -3*t - w*u - 3 for t.
-1
Suppose 6*g = -g + 427. Let m = -50 + g. Solve -2*q - 10 = 0, -t - 4*q - 5 = m for t.
4
Let r(p) = p**2 + 15*p + 60 - 44*p - 3. Let g be r(2). Solve -2*a = 2*z - 14, -g*a + 17 - 4 = z for a.
3
Suppose -4*o - 5*i = -22, -2*o + 4*i = 9*i - 16. Suppose o*u = -u + 384. Let r = u + -91. Solve 3 = -2*g - 3*k - r, 0 = 2*g - 2*k - 2 for g.
-1
Let l be (-3)/7 - ((-304)/14)/4. Suppose -2*s = 5*h - 0*h + 9, 24 = l*s - 3*h. Solve s = -d - 2, 3*a + 4*d + 14 = 0 for a.
2
Let i = -6 + 8. Let c be ((-18)/3 - -15) + (3 - 10). Suppose 0 = 2*j + s + c, -6 = 2*j + i*s - 2. Solve -3*d - 5 = 2*h, 5*h - 40 = 3*d - j*d for h.
5
Let v = -13174 + 13176. Solve -3*d + 3*j = -6, -8*d = -12*d - 2*j + v for d.
1
Let t(i) = -i**2 + 14*i - 21. Suppose -11*y + 4*y = -84. Let r be t(y). Solve s = -2*w - r*w, w - 2*s = -11 for w.
-1
Let w be (-572)/28 - -20 - 34/(-14). Solve -w*j - 8 + 4 = 4*l, -4*l = j + 6 for j.
2
Let x be (-8)/(24/(-15)) + (-12)/(-3). Suppose 342 = x*k + 10*k. Solve 4*c = 4*i, 4*i - 3*c + k = -5*c for i.
-3
Suppose -4*o + 29 = -19*r + 24*r, 0 = -o + 6. Solve -2*w + 11 = -5*j, -w - 3 + r = 0 for j.
-3
Let i = 20 - 18. Suppose -133 = -4*t + 5*h, -7*h = -i*t - 5*h + 64. Let p be t/(-45) - (-2 + 58/(-5)). Solve 5*n + 3*q = -3, -7*q = n - 3*q - p for n.
-3
Let x be 5 - (5/(-20) - 42/(-8)). Suppose -k - 3*h + 11 = 0, k + 9*h - 10*h + 1 = x. Solve 0 = -4*v - 3*b - k*b - 23, -15 = 5*b for v.
-2
Let y(n) = 14*n - 291. Let l be y(21). Let f(m) = -m**2 + 2*m + 8. Let a be f(5). Let v be a + 7 + 2 + 1. Solve 5*x = -5*k - 30, -v*x - 10 = l*k - 2*k for k.
-4
Let b(l) = 22*l - 25. Let k be b(-7). Let h = -179 - k. Solve h = 6*j - 3*j - 3*d + 24, 4*d = -4*j for j.
-4
Let r = -433 + 396. Let k(q) = -q - 25. Let h be k(r). Solve -2*i - 2*y - 5 = 1, -y + h = -4*i for i.
-3
Let o(f) = -f**2 + 15*f + 328. Let h be o(-12). Solve 0 = 6*x + h*v + 14, 8 = -5*v - 2 for x.
-1
Let v = 126 - 100. Suppose 0 = 46*j - v*j - 60. Let f(w) = 2*w + 1. Let b be f(1). Solve -3*n - b*z + 12 = 3, -j*z = 4*n - 9 for n.
0
Let n = 72 + -66. Suppose n*h + 24 = 9*h. Let o be ((-5)/20)/((-1)/h). Solve 2*g = o*u - 4 - 12, g - 2 = -u for g.
-3
Let m be (-6)/(-9 + 7) - 2. Let o = m + 3. Solve o*a - 15 = a, 0 = -3*s - 4*a + 8 for s.
-4
Let i be (-40)/(-70)*49/14. Solve -l - i*t = -5, l = 10*t - 5*t - 30 for l.
-5
Let n = -1136 - -1140. Solve -2 = -4*s - 2*u, 3 - n = 2*s - u for s.
0
Let f be -4 + (22 - 266/19). Solve 10 = -z + 3*t, -f*z = -7*t + 2*t + 26 for z.
-4
Let k be 77/(-7) + -7 + 20. Solve k*u - 10 = -5*s, 0 = 7*s - 2*s - 4*u - 40 for s.
4
Suppose -3*a - 5*t - 4 = -3*t, -2*a = t + 1. Let w(v) = v**3 - v**2 - 3*v + 6. Let q be w(a). Solve -18 = -x + 4*d, 5*d - 4 = -q*x + 4*d for x.
2
Let d(a) = -a**2 - 36*a - 20. Let k(b) = -2*b**2 - 35*b - 21. Let y(t) = 4*d(t) - 3*k(t). Let c be y(17). Let x = c + 104. Solve g - 11 = w - 4, -w = x for g.
5
Let k be (-4 - 6/(-3))*(1 + -35). Let w = 65 - k. Let t be (4/w)/((-10)/30). Solve -3*l = -c - 1, -t = -l - c - 1 for l.
1
Let i(s) = 87*s + 1480. Let m be i(-17). Solve 5*o = -z - 10, -2*z - m = -o - 3 for o.
-2
Suppose 5*r = -5*p + 105, 5*r + 54 = 9*r - p. Solve -5*y + 3*z = -24, 0 = -4*z + 9*z + r for y.
3
Suppose -136 = -33*b + 31*b. Suppose -2*z = -6, -2*p - z - 3*z = 114. Let n = b + p. Solve -n*o + m - 2 = -12, 3*o = -4*m + 29 for o.
3
Let k(f) be the third derivative of f**4/12 - 2*f**3/3 - 62*f**2 - 2*f. Let o be k(2). Solve -5*w + 37 = -4*q, o = -2*w - 3*w - 5*q + 10 for w.
5
Suppose c + 3*n = -12, -n - 20 = -4*c - 3. Suppose -c*k + 8 = k. Let z be ((-65)/26)/(k/(-4)). Solve -5*x + 0*w = -w + 2, -16 = x + z*w for x.
-1
Let g(u) = -u**2 + 1184*u - 4701. Let s be g(4). Solve x = 5*h - h + 17, 2*h + 3*x = -s for h.
-5
Suppose -328*q = -329*q + 5*i + 36, -q + 3*i + 28 = 0. Solve q*u = 13*u + 4*n - 23, 4*n - 20 = 0 for u.
-1
Suppose 177 = -2*l - 4*a - a, l = 4*a - 95. Let x = l + 108. Let o(z) = -z**2 + 15*z + 37. Let v be o(x). Solve 5 = -5*n + n - 3*p, v*n - 2*p - 9 = 0 for n.
1
Suppose 33*p = 5*p + 392. Suppose 16*d + p*d = 60. Solve -5*h + 7 - 22 = -f, -3*f = -d*h - 6 for h.
-3
Let u be (10/(-6))/(13/(-39)). Let w be (6/(-4))/((-9)/30). Suppose -10 = w*g - 5*y, 0*y = u*y - 20. Solve 0 = 4*m + g*i + 14, 2*m + 4*i = i - 1 for m.
-5
Let n = -18911 - -18912. Solve 2*u - n = y, 19 = 3*y + 2*u + 3*u for y.
3
Let t be 0 + (-12)/8*-6 + -1. Suppose 0 = i + 4*y, 2*i + 2*y + 2 - t = 0. Solve 0 = 2*g + c - 3, -4*g + 3*c + 5 = i*c for g.
1
Let k = 165 + -43. Let w = 127 - k. Solve 4*n - w*s - 35 = 0, 3*s - 5 = -2*n - 4 for n.
5
Suppose -4*k = h + 24 - 10 - 9, 0 = -5*k - 10. Suppose 0 = -3*o - 4*g + 44, 0 = -5*o - 5*g + 49 + 26. Solve 4*d + 3*a = o, 4*d + a - h*a = -4 for d.
1
Let h(j) = j**2 + 32*j - 245. Let t be h(-39). Solve 4*p + t = 4*u - 9*u, 0 = p + 2 for u.
-4
Let a be 22/7 - (-1)/(-7). Suppose -180 = a*y + 3*n, 5*y - 2*n + 282 = 2*n. Let z = y + 62. Solve 9*t - z*t + 4*k = -17, -3*t + k = 0 for t.
-1
Let s = 252 - 249. Suppose 2*a - 3*a = -s*z + 10, -5*a = z + 2. Solve 2*f - 5 = 3*c, 2*f - c - 4*c = z for f.
4
Let p(s) = -2*s**3 + 16*s**2 - 9*s + 5. Let n be p(7). Let r = 59 - n. Solve -2*c + 0*c - 4*d = 26, 0 = -2*c + 5*d + r for c.
-3
Let d(l) = l**2 - 7*l + 18. Let w be d(16). Suppose w = 4*c - 10. Let k = c + -38. Solve -3*j - 5 = 5*h + 3, k*h = j - 4 for h.
-1
Suppose -38 + 38 = 84*y. Solve -3*s - s + n + 8 = y, 0 = 2*s - 4*n - 4 for s.
2
Suppose -925 + 61 = -9*d. Suppose 5*s - 131 = -d. Solve 2*h - 4*f - 31 = s*h, 3*h + 13 = -f for h.
-3
Let p be -1 + 3 + (-1188)/(-99). Solve -z + 8 = 4*x, 4*z + p = 5*x + 25 for x.
1
Suppose -11340 = -12*b - 11268. Solve -3*y - 3*w = 6, -18*y - 4*w - b = -15*y for y.
-2
Let s = 5033 + -5029. Solve 0 = 6*n - 2*n - s, 3*n + 12 = -5*o for o.
-3
Let g = 272 + -279. Let v be 6/((-119)/(-14) + g). Solve -2*r + 3*r - v = 0, 3*r - 7 = -5*j for j.
-1
Let a(l) = 2*l**3 - 14*l**2 - 15*l - 7. Suppose -4*h - 11*h = -120. Let k be a(h). Solve 0 = -s - i + 4, 0 = 3*i + 2 + k for s.
5
Let d be (-2)/(3/144*4). Let t be ((-6)/(-4))/((-63)/d - 3). Let f be -3 - (-3 + 4 + t). Solve f = m, -3*c + 0*m = 2*m + 9 for c.
-3
Let r be 208/56 - (-3 + 76/28). Solve w + 5*t = r*w + 16, 2*t - 7 = w for w.
3
Let i = 114 - 110. Suppose -5*q - 7 = t, -i*t + 2*q + 9 = -7. Solve -z = -5*l - 9, 4*l - 9 = -4*z + t for l.
-1
Let z(f) = -12*f**2 - 39*f - 6. Let p be z(-3). Suppose 7*s - 20 = -6. Solve p*l + s = k, -5*k + k + 8 = -5*l for k.
2
Let p = 261 - 257. Suppose 4*y + 10 = -2*j, j + 3*j - 5*y - 32 = 0. Solve j*u - 5 = k, u + 3*k - p = k for u.
2
Let r(d) = 8*d - 78. Let l be r(10). Suppose -l = 71*t - 73*t. Solve -2*s - t = m + 1, 2*s + 2*m = 0 for s.
-2
Let q(p) = p**3 - 8*p**2 - 8*p - 7. Let b be q(9). Let z be (-1)/(5/3 - b). Let v be -2 + 1 + z + -2. Solve 2 = -2*d + 2*l, v = 3*d + l - 1 for d.
0
Let d(q) = -q**2 - 4*q + 171. Let r be d(0). Let a = 171 - r. Solve -x - z = 4*x + 12, 5*z - 15 = a for x.
-3
Let r(n) = 22*n**2 - 1187*n - 38. Let a be r(54). Solve -2*s + 2*w - a = 0, 7*w - 32 = 3*s + 2*w for s.
-4
Let p = -77 - -45. Let o = p - -41. Suppose o*b + 16 = 13*b. Solve -2*x - 2*n + 2 - 4 = 0, -5*x = b*n + 4 for x.
0
Let w(s) = s**2 + 1. Let i be w(-2). Let p(d) = -d**2 - 12*d + 9. Let t be p(-13). Let y be -1 + i + (-4)/t. Solve -5*b + 2*r + 4 = 1, 1 = -4*b + y*r for b.