8*b + 485 - 125. Let a = 24 + b. Solve a = w + w for w.
2
Let h(b) be the third derivative of -b**6/120 - 13*b**5/60 + 5*b**4/8 + 8*b**3/3 + b**2. Let n be h(-14). Solve -6 = 5*u - n*u for u.
-2
Suppose 0 = 14*n - 9*n. Suppose -u + 2*u = 3*a - 8, 2*a - 2*u - 4 = n. Solve 4 = a*j - 5 for j.
3
Suppose 2*p - 18 = -12. Let w(q) = q**3 - 4*q**2 - q + 11. Let o be w(4). Solve 0 = p*u - o + 4 for u.
1
Let i(o) = o + 3. Let x be i(-5). Let b(z) = -z**2 + 1. Let y be b(x). Let t = y + 9. Solve 3*u - 6*u = -t for u.
2
Let c(j) = 3*j**3 - 2*j**2 - 10*j + 8. Let d be c(2). Suppose 3*q + g = 88, q - 5*g = -2*q + 64. Solve d*s + 8 = q for s.
5
Let p(u) = u**2 + 6*u + 3. Let b be p(-6). Suppose b*v = -h + 5*h + 2, 0 = -v + 3*h - 1. Solve -g - v - 1 = 0 for g.
-3
Suppose 3*d + 4*x = 6*x + 4, 3*x - 9 = -3*d. Let t(m) = -m + 3. Let p be t(0). Suppose g = 1 + p. Solve g*q = -6 + d for q.
-1
Let g(w) = -3 - w + 4 + 0 + 10. Let l(d) = 4*d - 4. Let a be l(3). Let j be g(a). Solve j*r - 6 = r for r.
3
Let p = -29 - -32. Let w = 14 + -9. Suppose 4*q + q - 5*b = -w, 4*q - 3*b + 3 = 0. Solve 12 = p*i - q*i for i.
4
Let m = 186 - 178. Solve -11*g = -m*g for g.
0
Suppose -2*v + 1 = -7. Let l(q) = 3*q**2 + 7*q + 5. Let h = -8 - -6. Let r be l(h). Solve r*c - v = 2 for c.
2
Suppose 439*c - 436*c - 60 = 0. Solve 0*t + 5*t - c = 0 for t.
4
Let o(x) = 2*x**2 + 6*x + 5. Let y be (-1)/(-4*1/(-12)). Let i be o(y). Solve 0*m = i*m - 25 for m.
5
Suppose -744*m + 88 = -743*m. Solve 93*b + 25 = m*b for b.
-5
Let u be 4*7/(-14) + 4. Solve -3*j = u*j - 5 for j.
1
Suppose 2*c = 2*s + 6, 4*c = 5*s - 12 + 27. Suppose c*z + 10 = z. Solve -z + 0 = -5*f for f.
2
Suppose m = 2*i - i - 25, -3*i = 4*m - 47. Suppose 4 + i = 5*f. Solve -f*v - 3 = -4*v for v.
-3
Let z(r) = -6*r + 3. Let p be z(-1). Let v be (1 - -5)*7/2. Solve 4*b + v = p for b.
-3
Suppose 71 = 29*w - 161. Solve 58*j - 60*j + w = 0 for j.
4
Suppose 5*h - 4*z = 4*h + 12, -3*z = -2*h + 19. Let f = -9 - -11. Solve f*l = 4*l + h for l.
-4
Suppose -3*y + 2*t + 5 = -0*t, 2*y - 6 = 4*t. Solve -5*c - y = 19 for c.
-4
Let c(i) = 2*i. Let j be c(2). Let z(x) be the first derivative of -x**2/2 + 9*x - 2. Let y be z(j). Solve 2*l = l + y for l.
5
Let l(y) = y**2 + 6*y - 2. Let d be l(-7). Suppose 0*n = -u + 2*n + 2, 0 = -4*u + 5*n + 5. Suppose u = 5*k - 11 - 94. Solve -k = -d*o - 6 for o.
3
Let d = 296 - 293. Solve -5 - 7 = -d*v for v.
4
Suppose -6*n + 5*n = -s - 2, -7 = 3*s - 4*n. Let q be (9 - 13)/(s/2). Solve -q = 3*w + 7 for w.
-5
Let m be 2/13 - (-7020)/507. Solve u + m = 17 for u.
3
Let o = 307 - 274. Solve 48 - o = 5*y for y.
3
Let s = -13 + 16. Suppose -5*f + 29 = s*c, -5*c - 5*f = -f - 31. Solve 0 = -c*b - 0*b + 12 for b.
4
Let z be (112/12)/1*3. Solve -z*s + 4 = -27*s for s.
4
Suppose 3*y + 5*k = 29, 4*k = -5*y - 23 + 67. Solve -10*a - y*a = -18 for a.
1
Suppose -q + y + 13 = -3*y, 2*q + 2*y = -14. Let i = q + 4. Suppose 0 = -d - 6*d - 0*d. Solve d*o + i = o for o.
1
Suppose -4 = 4*y - 2*u, -4*y + u - 3 + 1 = 0. Suppose -2*z + z + 4*i + 15 = y, 4*z - 6 = -2*i. Solve 3*k = -0*k + z for k.
1
Let q = 1 + -1. Let b be (q - -7) + 5/(-1). Solve 0 + b = -2*c for c.
-1
Let y = 34 + -128. Let h = y - -97. Solve -2*q + 1 = h for q.
-1
Let y be (1 - (-7)/5)*(-10)/(-4). Solve -y = -7*h + 5*h for h.
3
Let c = 112 - 111. Solve -d - c = -0 for d.
-1
Let n be (20/8)/((-205)/(-164)). Solve -22 = 4*i - n for i.
-5
Let a = -272 + 272. Solve -2*y - 5*y = a for y.
0
Suppose 14*x - 12*x + 6 = 5*k, 0 = k - 3*x - 9. Solve k = -7*s + 8*s for s.
0
Let i(w) = -w**3 + 14*w**2 - w + 17. Let u be i(14). Suppose 5*g = 5*j - 25, -3*j - g + 22 = -13. Solve y = u*y - j for y.
5
Let w(p) = -p**2 + 10*p + 13. Let j be w(11). Let b(g) = -2*g**3 - 103*g**2 - 53*g - 99. Let o be b(-51). Solve -k + j*k = o for k.
3
Let m(s) = 2*s**2 + 2*s - 7. Let i be m(-3). Suppose -z - i*z = -12. Solve 5 = -z*h + 1 for h.
-2
Suppose 0 = -340*r + 361*r - 399. Solve 22*q + 6 = r*q for q.
-2
Let l be -20*(138/(-8))/23. Solve 3*u = -l*u - 54 for u.
-3
Let v(j) = -j**2 - 12*j + 1. Let z be v(-6). Let t = -30 + z. Solve -t + 1 = -2*f for f.
3
Suppose h - 4 - 11 = -3*r, 2*r - 10 = -h. Solve 53 - r = 12*k for k.
4
Suppose 6*j - 124 = p, p - 5*p = 4*j - 92. Solve -5*q = -j*q + 64 for q.
4
Suppose 12 + 6 = 6*a. Solve 47*d - 44*d = -a for d.
-1
Let c = -818 - -818. Solve -10*a + 3*a - 7 = c for a.
-1
Suppose 1 = -2*u - 9. Suppose -4*j = 22 + 22. Let p = u - j. Solve -c - p = c for c.
-3
Let f(m) = 2*m - 4. Let k = -12 + 15. Let p be f(k). Solve -p*o - 15 = -7*o for o.
3
Let x = 1 + 3. Let s be (-2 + x + -1)*12. Suppose -5*m - 5*r + s = -3, -3*r + 9 = 0. Solve 3*o + m*o + 6 = 0 for o.
-2
Let q(v) = -v + 9. Let s be q(11). Suppose -5*b + 19 = f - 0*f, 2*f = 5*b - 22. Let k = b + s. Solve -5*g - 13 = k for g.
-3
Let m(s) = 2*s + 14. Let v be m(-6). Let a be (14/49)/(v/14). Solve 0 = a*h + 10 for h.
-5
Let i = 300 + -300. Solve 0 = -i*s - s for s.
0
Let r = 72 + -63. Suppose -a = 2*a - r. Solve a = -4*z + 15 for z.
3
Suppose 3*u + 601 = 742. Solve 30*g - u*g + 85 = 0 for g.
5
Let g be (-4)/(-8) + 213/2. Let n be g/(-7) - 6/(-21). Let i = -12 - n. Solve -i*v + 4 = 19 for v.
-5
Let v(k) = 81*k**2 - 79*k**2 + 1 + 11*k - 10*k. Let p be v(1). Solve -2*b + p = -b for b.
4
Let u(c) = 6*c + 8 - c + 19*c**2 - 20*c**2. Let a be u(6). Solve 3*r = -a*r + 5 for r.
1
Let a = 12 + -20. Suppose 3 + 2 = -j - 2*s, -4*j - 8 = -4*s. Let b be a/(-2) - (j + 2). Solve 5 + b = 2*y for y.
5
Suppose -16 = -4*x - 2*t, x - 5*t = 4*x - 19. Suppose -5*o + 24 = x*o. Solve -o*l = -4*l - 4 for l.
-4
Suppose -4*k + 5*w + 15 = 0, -3*w - 9 = 2*k - 4*k. Let z be (-45)/(-35) - 4/14. Solve m + z = -k for m.
-1
Suppose -2*g + 6*g = 2*t + 84, 4*t = -4*g + 72. Solve -g - 8 = -7*c for c.
4
Let x(l) = 952*l - l**3 + 11 - 963*l + 7*l**2 + 19. Let z be x(6). Solve z = -2*n + n for n.
0
Let t be (34/1)/(8/16). Suppose 0*h - 4*m = 5*h - t, -3*h + 4*m + 28 = 0. Solve -28 = 4*l - h for l.
-4
Let l(n) = n**2 + 7*n - 10. Let x be l(-9). Suppose x*v - 3*v = 20. Suppose k - v = -k. Solve -4*s + 14 + k = 0 for s.
4
Suppose -4*n + 74 = -34. Suppose n = -4*o - 41. Let l = 17 + o. Solve l*k - 2*k - 4 = 0 for k.
-2
Suppose 4*d + 5*w - 5 = 0, 0 = 5*d - 5*w + 2*w + 40. Let m be (21/(-35))/(1/d). Solve m*n - 5 = 1 for n.
2
Suppose j + 5 = -u + 2*u, -u + 4*j = -8. Suppose 2*i - 4*i - 2*n = -2, 0 = -u*n - 16. Solve 0 = k - i*k + 8 for k.
2
Let t(o) = -o**3 + 2*o**2 + 5*o - 3. Let p be t(3). Suppose p*j = 12, 2*l - 2*j + 24 = 2. Let c be 5 + (l - -4) - 0. Solve 0 = i - 0*i - c for i.
2
Suppose 3*w + w + h - 284 = 0, 5*h = 4*w - 260. Solve -w*o + 71*o = 2 for o.
2
Let r = -316 - -318. Suppose -7*i = -3*i - 12. Suppose 36 = i*l + 3*f, -3*l + 2*f + 8 + 3 = 0. Solve 0 = r*o + l - 1 for o.
-3
Let p(k) = 12*k + 221. Let a be p(-17). Solve a*b - 35 = 24*b for b.
-5
Let x be (42/(-9) - -4)/((-2)/3). Solve -5 = -4*k - x for k.
1
Let v = 7 - 6. Let o be v/((-1)/6*-3). Suppose o*r = -2*r + 8. Solve -a + 0 + r = 0 for a.
2
Let b be (-34)/119 - (-16)/7. Solve 18*n = 19*n + b for n.
-2
Suppose -31*f - 10 = -33*f. Suppose 4*t + 2 = f*u + 63, u - 31 = -4*t. Let d = -1 - -1. Solve -4*y + t*y + 10 = d for y.
-2
Suppose -21 = -4*h - 9. Suppose -h + 3 = j. Solve j = -x - 3 for x.
-3
Let d(m) = m**3 + 10*m**2 - 10*m + 16. Let y be d(-11). Let l be (y/(-3))/(4/(-12)). Solve l*k - 10 + 0 = 0 for k.
2
Let t be 4/2 + (4 + -6)*-11. Suppose -4*h = -2*h. Suppose h = -5*g + g + t. Solve -g - 2 = 2*s for s.
-4
Let k(h) = h**3 - h**2 - 2. Let t be k(2). Suppose -4*s + 16 = 3*f, 0 = -4*s - 4*f + 3*f + 8. Solve -3*l + s = -t for l.
1
Let t = 464 - 464. Solve t*f + 2*f = -10 for f.
-5
Suppose -2*x = 0, -7*t + 4*x + 70 = -2*t. Suppose 84 = -12*g + t*g. Let u be (-12)/(-21) + 228/g. Solve 3*n = -9 - u for n.
-5
Suppose -5*l + 20 + 5 = 0. Suppose l*g = 9*g. Solve g = 2*j + 4 for j.
-2
Let m = 416 + -413. Suppose -2*q + 5*n + 4 + 9 = 0, -4*q = -3*n - 33. Suppose -d - 2*d = -q. Solve 3 = m*i - d for i.
2
Let a(h) = h**2 + 7*h + 3. Let j be a(-6). Let l be (j*(-39)/9)/1. Suppose -l = z + 4*t + 6, 4*t + 25 = 5*z. Solve -2*s - z = -5 for s.
2
Suppose -k = -5*f + 63, 2*k + 62 = 5*f - 54. Let i = k + 57. Solve i = -4*q + 12 for q.
2
Suppose 3*v = -14 + 47. Solve -6*y - 13 - v = 0 for y.
-4
Suppose -2*