 + 8*a = -20 for a.
-4
Let k(n) = -n**3 + 58*n**2 - 57*n + 6. Let b be k(57). Solve 0 = b*q + 2 + 28 for q.
-5
Let w(l) = -l**2 + 7*l + 10. Let m be w(7). Suppose -12 - m = -4*o - 5*k, 2*k - 4 = 0. Suppose 3*b + 55 = 8*b. Solve -4*y + o = b for y.
-2
Let o(s) = -s + 8. Let k be o(-7). Suppose 3*f = -2*f + k. Solve 4 = m + f*m for m.
1
Suppose 4*c + 2 = -2*t, -4*c - 9*t + 4*t - 5 = 0. Solve c*x + 2*x = -4 for x.
-2
Suppose 5*w - 6 = -2*c + 8*w, -5*c + w + 15 = 0. Suppose -2*o - 40 - 44 = 0. Let r be o/(-4) - (-1)/(-2). Solve -a - r = -c*a for a.
5
Let y(j) = 10*j - 124. Let w be y(14). Solve -w = -10*z + 24 for z.
4
Let v be 0 + 14 + -9 + 11. Let z = 6 - 10. Let w be (z/v)/(2/(-40)). Solve -w*i + 1 = 11 for i.
-2
Suppose 3*b = -2*c + 166 - 43, 3*c - 4*b - 176 = 0. Solve -6*m - 9*m + c = 0 for m.
4
Let i(t) = 5*t - 28. Let j be i(8). Suppose -j*w = -8*w. Solve 2*k + 0*k - 4 = w for k.
2
Suppose -s + 0 = -2. Suppose 23 = 5*m - 0*j + j, s*m + 4 = 4*j. Suppose -m = -5*p + 6. Solve p*g = -3*g - 5 for g.
-1
Let b = 68 - 68. Solve b = -4*l - 17 + 1 for l.
-4
Suppose -f + 6*i = 2*i - 27, -3*i - 108 = -4*f. Let c = -18 + f. Solve -k = 2*k + c for k.
-3
Suppose 5*k = y + 44, 2*k + 9*y - 7*y = 8. Solve 20 = -k*x + 3*x for x.
-4
Let u be 2/(-5) + 124/10. Let h be 4/6 + (-312)/9. Let y = -32 - h. Solve -2*r + u = y*r for r.
3
Let c(i) = -54*i + 559. Let l be c(10). Solve 18*f = l*f + 3 for f.
-3
Suppose 0 = 3*g - 6*o + 2*o + 130, -4*o = 8. Let t = g - -52. Solve -t*h + 20 = -2*h for h.
5
Suppose 16*d - 2*d - 84 = 0. Solve 5*s + d = 16 for s.
2
Suppose 3 = 2*x + s + 2, -x + 8 = -2*s. Suppose -5*r = -i, -4*i + x*r = -i. Solve -2*z - z = i for z.
0
Let j be (-2)/23 + (-96)/(-46). Solve -j*v = -132 + 134 for v.
-1
Let t be 15*2/5 - 3/(-1). Solve 0 = 10*z - t*z - 2 for z.
2
Let q be (2 - 3/1)*-3. Let f(t) = t**3 - 5*t + 8. Let o be f(-6). Let m = 183 + o. Solve -m*j = -q*j - 6 for j.
3
Let y be 6/(-6*1/(-45)). Suppose -2*w = -51 + y. Solve -6 = w*i + 3 for i.
-3
Suppose 6*z - 4*u + 4 = 10*z, -2*z + 4*u + 26 = 0. Solve -20 = -z*m - 15 for m.
1
Let z be ((-3)/4)/((-14)/((-1400)/(-15))). Solve z*f + 6 = -14 for f.
-4
Suppose -4*w + 146 = 6*q, -10*q = -9*q - w - 16. Solve 0 = 4*y - 5 + q for y.
-4
Suppose 9*h - 8*h + 60 = 4*y, 0 = 2*y - h - 30. Solve -l + 6*l - y = 0 for l.
3
Suppose 2*o + 18 = 2*i, -3*i + 19 = -5*o + 4*o. Suppose i*g - 88 = -8. Let h = 1 - 1. Solve 5*c - 4 - g = h for c.
4
Let u = 406 + -404. Solve u*k + 8 = -0*k for k.
-4
Let o be -42*(2 - (-3)/(-6)). Let y = o + 73. Solve 0 = 3*m - m + y for m.
-5
Suppose 0*q - q = -5*x - 2, -4*q - 117 = 5*x. Let r = -23 - q. Solve r*m - m = -2 for m.
2
Suppose -436*w = -454*w + 36. Solve 0 = -4*u - u + w*u for u.
0
Suppose 8 + 7 = 3*l. Let w(t) = 3*t**2 + 11*t - 1. Let s(d) = -4*d**2 - 12*d + 1. Let n(j) = 4*s(j) + 5*w(j). Let k be n(6). Solve l = k*c + 30 for c.
-5
Let k be 5*((-24)/(-10) + -2). Let r(v) = v + 8. Let l(o) = -3*o - 15. Let u(n) = k*l(n) + 5*r(n). Let a be u(10). Solve a = 4*j - 4 - 0 for j.
1
Let h = -18 - -21. Let i = -7 + 13. Solve -h*m = -m - i for m.
3
Suppose 16*u = 39 + 57. Solve -4*a = -u - 6 for a.
3
Suppose 8*y = 3*y. Suppose -2*p = -0 - 14. Let u(v) = -16*v - 125. Let d be u(-8). Solve y = a - d + p for a.
-4
Let a be 1 - ((-4)/4 + (-2 - -4)). Suppose -3*y + 5 = 2*y. Suppose -2*i - d + y = a, -i - i + 5*d = -19. Solve -7*m + 25 = -i*m for m.
5
Let l be 14 + 14/(-21)*12. Solve l = 5*m - 9 for m.
3
Let k be 13*(-3 - -1) + -4. Let t = 38 + k. Solve -20 = -t*q + 3*q for q.
4
Suppose -8*j = 118 - 166. Solve -15 = -j*z + z for z.
3
Let d(i) = 3*i**2 - 9*i - 34. Let f be d(6). Solve 16*y = f*y + 16 for y.
-4
Let g be (-4 - (-3 - -3)) + 6. Let d be (-24)/12 + 1*g. Suppose d = -3*s + 18 - 9. Solve l + 2*l = -s for l.
-1
Let j be -12*((-30)/(-50) + (-34)/15). Solve j = 4*i + 8 for i.
3
Let g(d) = -d**3 + 4*d**2 + 16*d - 8. Let a be g(6). Solve -8*c + 0 = -a for c.
2
Let y = 387 - 376. Suppose 44 = 5*c + 3*v, v + 1 = -1. Let r = y - c. Solve q = -r - 1 for q.
-2
Suppose 0 = -4*u + 6 + 30. Let t = -10 + u. Let x(b) = -b + 2. Let l be x(t). Solve -o + l*o - 8 = 0 for o.
4
Let i be (-70)/(-4)*(-12)/15. Let n = -11 - i. Solve -d = -n*d + 4 for d.
2
Let r = -5 - -5. Let o be 52/14 - (3 + 69/(-21)). Suppose o*b - 10 = 14. Solve -2*f + b = -r*f for f.
3
Let i be 1*(-2)/(-2)*19. Let f = 25 - i. Suppose w = f - 2. Solve w = -3*o - 2 for o.
-2
Suppose -11 - 3 = -o. Let y be ((-8)/o)/((-4)/14). Solve 2*t + y = 3*t for t.
2
Let z be ((-9)/(-2))/(1*4/(-24)). Let q be (4/3)/((-9)/z). Solve 15 - 3 = -q*i for i.
-3
Let r be (-70)/(-4)*(-176)/(-616). Solve -r*t - 8 = -7*t for t.
4
Let l(t) = -t**3 - 9*t**2 - 6*t + 16. Let h be l(-8). Solve h*i - 4 = -i for i.
4
Let j(v) = -v**2 - 9*v - 7. Suppose 0 = 4*o - 8 + 44. Let l be j(o). Let k = -5 - l. Solve -6 = k*n - 4 for n.
-1
Let m be (-3)/7 + (-40)/(-28). Let g(v) = 5*v**3 - v**2 + 2*v - 2. Let a be g(m). Solve -1 = -i + a for i.
5
Let g(v) = 2*v**2 - 3*v - 3. Let j be (3 + 6 + -6)*1/1. Let u be g(j). Solve 2*k = -k - u for k.
-2
Suppose -u - c = -12, 4*u - 2*c - 6 = 3*u. Suppose 0 = -v + 6*v - u. Solve v*y = 3*y + 5 for y.
-5
Let l(r) = 8*r - 3. Let q be l(2). Suppose q - 1 = 2*i. Solve -10 - i = -4*y for y.
4
Suppose -34 + 61 = 3*r. Suppose -10 = 4*z - 4*x + 2, -2*z - x + r = 0. Solve -z*s + 26 = 18 for s.
4
Let i be (-10 - -4)*10/(-4). Suppose -3 = -3*k + i. Suppose 10 = k*w - 14. Solve w*t - 5 = -t for t.
1
Let o = 50 - 22. Let r = -28 + o. Solve n + 0*n = r for n.
0
Let s(z) = -2*z + 11. Let x be s(12). Let i = x - -14. Suppose 2*y - i = -w - 9, 0 = w - 3*y - 12. Solve -t + w = 3 for t.
-3
Let x(a) = 8*a + 46. Let k be x(-5). Solve -19 = -k*s - 13 for s.
1
Suppose -5*j + 5*z = -15 - 5, 2*z = -j + 1. Solve -2 - 4 = j*a for a.
-2
Suppose -15*o = -410 + 335. Solve 0 = -o*g - g - g for g.
0
Suppose 51*r = 39*r + 48. Solve 10*m = r*m + 24 for m.
4
Let s(f) = -f**3 - 8*f**2 + 10*f + 8. Let i be s(-9). Let k(l) = 3*l**2 + l. Let c be k(i). Solve 0 = 2*w - c for w.
1
Let y = 148 + -142. Solve y*f = -0 - 6 for f.
-1
Let w(v) be the second derivative of v**5/20 - v**4 + 11*v**3/6 + 3*v**2/2 + 8*v. Let a be w(11). Suppose 3 = p - a. Solve d = p*d - 25 for d.
5
Let i be 5 + (-1 + 4 - 5). Suppose 0 = -4*q - 4*m + 16, 6*q = i*q + m + 4. Let r be (-30)/12*q*-1. Solve r*c + 3 = -7 for c.
-2
Suppose 76 = -2*f - 3*r, -8*r + 4*r - 112 = 3*f. Let x = f - -41. Solve 3*j + 3 = -x for j.
-4
Let c(l) = l + 20. Suppose -3*v - 47 = -o, -3*o + 71 = -v - 3*v. Let n be c(v). Suppose -x + 4 = -n. Solve 3*q + x = q for q.
-5
Let j(h) = -h**3 - 2*h**2 + 24*h + 1. Let g be j(-6). Suppose 0 = -4*n + 3 + 9. Solve -o + n + g = 0 for o.
4
Let x = -227 + 241. Solve -3 = 15*w - x*w for w.
-3
Suppose -q + 17 = x, 3*q - 65 = 3*x + x. Solve 2*f - q + 9 = 0 for f.
5
Suppose 32*l = 37*l - 2*g - 80, -5*l = 5*g - 80. Solve -10*m + l*m = -12 for m.
-2
Suppose -66*s = -74*s + 64. Solve s*t = 5*t for t.
0
Let n = -32 - -42. Solve -6*u - n = -4*u for u.
-5
Let m = 137 - 133. Solve 1 = 3*b - m*b for b.
-1
Let a(i) = 33*i + 83 - 36*i - 19. Let c be a(20). Solve 0 = -c*m + 6 - 18 for m.
-3
Suppose 21*z - 47 = -5. Solve -z = 4*i - 5*i for i.
2
Let h be 21/9 - (-6)/9. Suppose h*w - 2*w = 26. Let q be 48/2*13/w. Solve 0 = 4*t - q for t.
3
Suppose 49 = 32*g - 47. Solve -2*b = g + 1 for b.
-2
Let q(a) be the third derivative of a**5/60 + a**4/24 - a**3/3 + 16*a**2. Let r be q(2). Solve g = -r*g - 15 for g.
-3
Let o(d) = -d + 24. Let n be o(11). Suppose -1 = -i - i - s, s + n = 5*i. Solve -3*p + 5*p = i for p.
1
Let v be 2/((-35)/(-10) + -3). Solve 0 = v*t - 0 + 8 for t.
-2
Let r(d) = d - 16. Let b be r(18). Let v be (10/b)/((-3)/(-6)). Solve 4*o - 2*o - v = 0 for o.
5
Let c = 13 + -11. Let u = c - -4. Suppose 4*t = 5*f - 13 - 15, 0 = -f + t + u. Solve -3*s = -2*s - f for s.
4
Let f = 52 - 48. Suppose -k + 5*p = 12, -f*p - 3 = 4*k - 9*p. Solve -k*g = g - 8 for g.
2
Let k be -5*(-4)/(-10)*-1. Let f(a) = -4 + 0*a - k*a - 3*a + a. Let l be f(-2). Solve 0 = -l*m - m - 20 for m.
-4
Let z be 600/(-90)*3/(-5). Solve -9*i - 5 = -z*i for i.
-1
Let m = 18 - 10. Suppose -3*t = 5*r - 10, r - m = t - 3*r. Solve 5*u = 20 - t for u.
4
Let t(k) be the first derivative of k**4/4 + 2*k**3/3 - 3*k**2/2 + 2*k - 1. Suppose -4*j + 3*o