 b = k for k.
-2
Suppose -5*z - 4*v = 10, -23 = -10*z + 11*z + 5*v. Let s = -62 + 74. Solve i - s = -z*i for i.
4
Suppose 3*b = 2*b. Suppose b = g - 6*g + 4*i, 3*i - 35 = -5*g. Suppose -7*d + g = -10. Solve -d*u - 3 - 3 = 0 for u.
-3
Suppose 0 = l - 56 + 45. Suppose -l*w + 6*w = -30. Solve 0 = n - w*n for n.
0
Let s(n) = 4 - 1 - 1777*n + 7 + 1778*n. Let u be s(0). Solve 2*t - 14 = -u for t.
2
Let g = -243 + 248. Let b be (30/(-25)*g)/((-3)/4). Solve -4*a + 8 + b = 0 for a.
4
Suppose 0 = 16*b - 478 + 62. Suppose b + 22 = 24*k. Solve k*m = -32 + 26 for m.
-3
Suppose -11*s + 7*u = -10*s + 9, -3*u = 5*s - 183. Solve -s*v = 59 + 40 for v.
-3
Let c(o) = o**2 - 21*o - 20. Let u be (9 + 107/(-7))/((-4)/14). Let b be c(u). Suppose 0*z - 4 = -b*z - x, 5*z - 5*x = -20. Solve z*m = -m for m.
0
Let r(h) = 2*h**3 + 7*h**2 + 5*h + 8. Let w be r(-6). Let d = 224 + w. Solve -d*p = -12*p for p.
0
Suppose 0 = -3*l - 8*g + 76, 80 = 5*l + 77*g - 73*g. Solve l = 7*u - 11*u for u.
-3
Suppose -110 = 6*f - 7*f. Let y = f - 98. Solve 8*s = 11*s + y for s.
-4
Let p be ((-36)/(-9) + -10)*(-1)/2. Suppose -4*j + 39 = -p*c, -5*c = -j - 2*c + 21. Solve j*q - 3 - 27 = 0 for q.
5
Let f be (-56*(-10)/300 - 24/20)*15. Suppose -3*q - 5*n - 6 = 0, 4*n = 5*q + 3*n - 18. Solve 0 = q*a + 2*a - f for a.
2
Let w = 9063 - 9061. Solve 961 = w*u + 969 for u.
-4
Let r = -134 - -130. Let m be (-70)/(-4) - 7/56*r. Solve 5*g = -m - 2 for g.
-4
Suppose 0 = -5*r - 5*n - 20, -14*r + 19*r - 2*n - 8 = 0. Solve r = 5*c - 5*c + c for c.
0
Suppose -4*k = -276 + 272. Solve 16*g + 15 + k = 0 for g.
-1
Suppose -3*d + 3 = -4*o + 9, 0 = -2*d + 2*o - 4. Let s be (-3)/d*3*8/18. Let g be -3 + s + -3 - -8. Solve 0*v - g = 2*v for v.
-2
Suppose -19 = -5*c - n, 2*n = -3*c - 2*c + 18. Suppose -1215 - 345 = 3*q. Let s = q + 522. Solve 2*z + s*z + c = 0 for z.
-1
Let x = 23517 - 23517. Solve x = -26*k + 48 + 30 for k.
3
Let v = 1 - 3. Let s = v + 2. Let i be ((-62)/403 + 30/26)/((-2)/(-10)). Solve 5*r - i = -s for r.
1
Let s(y) = 9*y + 3. Let v be s(3). Let k = -21 + v. Suppose 5*f = -j + k, 2*j + 2*f = -f + 11. Solve -2*n = -j + 12 for n.
-4
Let f = -4 + 4. Suppose -4*k - 8 = -j, k - j - 14 + 16 = 0. Let q be 0/k - (-2 - -1) - f. Solve -3*x + 2 = -q for x.
1
Let x(o) = -o**3 - 14*o**2 - 6*o + 22. Let n be x(-13). Let f = n - -71. Solve -2*j + 8 = -f for j.
5
Suppose -2*t - 33 = 5*s, 0*s = 4*t + 5*s + 41. Let v be (2/t)/(4/(-24)). Suppose 0 = -v*n + 15 - 6. Solve 0 + 3 = -n*k for k.
-1
Suppose 12*n + 12 = -12. Let m be (-12)/(n + 5) + 5. Suppose 0 = -2*r - 0 + 4. Solve 0 = -b + r - m for b.
1
Let y = 203 - 170. Suppose -5*z = 3*p - 35, -z + 3*z = -5*p + y. Solve -z*r + 6 = -r for r.
2
Suppose 0 = 5*x + 35 - 45. Let y(g) = 27 - 3*g**x + 15 - 22*g + g**3 - 16*g**2. Let h be y(20). Solve l - h = -5 for l.
-3
Let m(d) be the third derivative of 0*d + d**3 - 1/20*d**5 + 17*d**2 + 0 + 1/120*d**6 - 5/24*d**4. Let u be m(4). Solve -8 = u*k - 0 for k.
-4
Let i(t) = t**3 + 10*t**2 - 20*t - 58. Let c be i(-11). Suppose 7*b - c = -13. Solve 2*q = -2*q - b for q.
-1
Suppose -s - 3*c + 403 = 0, -3*s - 5*c + 1209 = -2*c. Solve s = -14*i + 445 for i.
3
Let j = -12945 + 13419. Solve -u - 471 + j = 0 for u.
3
Suppose -3*j + 106 + 87 = 5*r, 3*j - 196 = -2*r. Suppose -v + j = 57. Solve -2*l = l + v for l.
-3
Suppose u + 32 = 3*p, 5*u - 20 = 6*p - 9*p. Solve 18*w + 168 = -p*w for w.
-6
Suppose 42 = 453*p - 452*p. Suppose 8 = -41*r + p*r. Let v = -22 + 27. Solve -v*q - r = -q for q.
-2
Let y(r) = r**3 + 49*r**2 - 57*r - 350. Let t be y(-50). Solve 16*k - 62 - 2 = t for k.
4
Suppose 917 + 965 = 40*p - 2198. Solve -p + 150 = -8*s for s.
-6
Let w = -1848 - -1896. Solve w*q + 54 = -282 for q.
-7
Suppose 0 = 120*j - 82*j - 114. Solve 126*c - 123*c = j for c.
1
Suppose 5*v + 15 = 4*t + t, -1 = t. Let n be 2 - (v + 4)/(8/(-4)). Solve r = -n*r for r.
0
Let u(j) = -70*j + 2883. Let l be u(39). Solve -33*x - 111 = l for x.
-8
Let u(b) = b**3 + b**2 - b + 6. Let l be u(0). Suppose -2526*k + 732 + 1342 = -452. Solve v - l = -k for v.
5
Let h(z) be the third derivative of -z**5/60 - 5*z**4/12 + z**3/6 - z**2. Let m be 8/10 - 270/25. Let v be h(m). Solve v = w + 2 for w.
-1
Let p(n) = n**2 + 6*n - 8. Let u be p(4). Suppose 9*c - 20 = -4*a + 11*c, a = 3*c + 5. Suppose u = -a*j + 7*j. Solve 0*g = 4*g - j for g.
4
Let g(a) = a**2 + 62*a + 105. Let j be g(-62). Solve -106 = c - j for c.
-1
Let t(m) = m**2 + 10*m - 16. Let b be t(-16). Let o = -74 + b. Let h(y) = -y**3 - 4*y**2 - 2*y - 4. Let x be h(-4). Solve 5*r = o + x for r.
2
Suppose -v = 20*w - 15*w - 928, -v - 728 = -4*w. Solve 197*k - w*k + 65 = 0 for k.
-5
Let f = 903 - 891. Solve -50 = f*v + 10 for v.
-5
Let s be (12/(-10))/((-3)/(-10)). Let t(u) = -5*u - 20. Let a be t(s). Let o be (-12)/9*3/(-2). Solve a*c + 8 = -o*c for c.
-4
Let x(n) = -8*n + 54. Let t(q) = -9*q + 55. Let g(b) = 6*t(b) - 7*x(b). Let z be g(25). Solve 3*k = z*k - 3 for k.
-3
Let s(j) = -3*j**3 + 10*j**2 + 14*j - 42. Let w be s(3). Solve w*h - 61 = -16 for h.
5
Suppose 3448*d - 3489*d = -12208 - 92. Solve 40*o = 115*o + d for o.
-4
Suppose -79*i + 7 = -78*i, -5*b = -2*i - 566. Solve -19*a - 17 - b = 0 for a.
-7
Let b(p) = p**2 - 17*p + 32. Let g(u) = 7*u + 29. Let h be g(-2). Let a be b(h). Solve -a*f + 2 = 4 for f.
-1
Let x be (1/(-3))/(1/(-21)). Let j(h) = 2*h**3 + 7*h**2 - 56*h - 3. Let u be j(4). Suppose -4*r + x = -u. Solve -3*m + r = 2*m for m.
1
Let o(r) = 3*r**2 - 7*r - 246. Let p be o(-8). Solve -p*q + 52*q + 350 = 0 for q.
-7
Let y be (7 - -2)*-1 + 11. Let p be (-11)/(55/(-10)) - y. Solve p = 11*v - 12*v - 4 for v.
-4
Let a(o) = -o**2 - o + 47. Let u be (-8 - (-186)/24)/(1/(-24)). Let n be a(u). Solve 2*g = n*g + g for g.
0
Suppose -4*i = -33 + 1. Suppose -i*j + 5*j + 15 = 0. Let w = -2 + j. Solve 3*n - w = -0*n for n.
1
Suppose -15 = -b + 3*o, 4*b + 18 = -4*o - 2. Let r = -98 - -2. Let v = -91 - r. Solve b*p = -v*p + 10 for p.
2
Let t(g) = 10*g. Let h be t(1). Let v(j) = -11*j**3 - 2*j**2 - 2*j - 1. Let p be v(-1). Let l = h - p. Solve l = -r + 5*r for r.
0
Let q be (3/4)/((-1)/(-4)). Suppose -36*w - 6490 = -20386. Let y = -383 + w. Solve 3 = q*i - y for i.
2
Let l(w) = 217*w + 1742. Let o be l(-8). Solve 25 + 5 = -o*m for m.
-5
Let l(k) = k + 17. Let m be (9/6*-2)/((-1)/(-5)). Let q be l(m). Suppose -3*y = 3*x - 33, 0 = -2*y - q + 12. Solve 0 = 2*n - x - 0 for n.
3
Let g = -9 + 17. Suppose -g*y = -7*y - 3. Suppose -12 = -4*a + a. Solve -y*t + a = 10 for t.
-2
Suppose 20*m = 15*m + 165. Let w = m - 29. Suppose 2*y = w + 6. Solve y*c = -3 - 12 for c.
-3
Suppose 8*f + 41*f - 784 = 0. Suppose f*m - 2*m - 126 = 0. Solve -11 - m = -4*t for t.
5
Suppose -2 = -5*c + 4*c. Suppose 28*q - 135 - 33 = 0. Solve q*k + 16 = -c for k.
-3
Suppose -15*w + 3*i - 61 = -22*w, 5*w - 2*i - 27 = 0. Solve w = -12*y + 19 for y.
1
Suppose -6*p = 36*p - 84. Suppose 4*l - 8 = -5*n + p*n, -4*n = -l + 2. Solve 10*g - 8*g - 2 = n for g.
1
Suppose 0 = -242*m - 93 + 577. Solve 745 = m*o + 737 for o.
4
Let r(l) = l**3 - 5*l**2 + l - 5. Let a(h) be the second derivative of -h**3/6 + 15*h**2/2 + 11*h. Let x be a(10). Let b be r(x). Solve 6*u - 2*u = b for u.
0
Let x = -33735 - -34108. Solve 95 = 52*r - x for r.
9
Let i(n) = 3*n**2 + 20*n + 15. Let t be i(-6). Suppose t*a = 4*m - 3, 4*a = -7*m + 4*m - 4. Solve m = 12*k - 11*k for k.
0
Let a be ((-6)/(-5))/((-6)/(-20)). Suppose 0 = 5*r + 20, -a*f - 4 = -6*f + r. Suppose 58*w - 62*w = -3*m - 20, m = -4*w + 20. Solve -w = d - f for d.
-5
Let l(u) = -u**3 - 13*u**2 - 14*u - 7. Let r be 3/12 + 35/20. Suppose -r*t - 48 + 24 = 0. Let v be l(t). Solve 2*s - v = -7 for s.
5
Suppose 4*y - 10 = y + s, 4*s = 5*y - 26. Let m(k) = -71*k**3 + 11 - 6*k - k**2 - k**2 + 7*k**2 + 70*k**3. Let h be m(4). Solve y*b + h = 7 for b.
2
Let u(b) = 2*b - 2. Let g be u(2). Suppose 0 = g*l - l - 15. Suppose -3*q + 2*h = -0*h - l, -2*h = -6. Solve q*p - 8 = 3*p for p.
2
Let y = -43 + 71. Suppose -u = -4*v + 18, -4*u + 2*v - 6*v = -y. Let z be (-1 - -1) + u + 0 + -2. Solve 3*f + 2 + 7 = z for f.
-3
Suppose -2*v + 17 = 15, 0 = 4*a + v - 25. Let q(i) = i**3 + 5*i**2 - 7*i - 3. Let k be q(-6). Suppose -a*s + k*s = -6. Solve 0 = -s*z - 2*z for z.
0
Let i(c) = 2*c**2 + 115*c - 741. Let z be i(6). Solve -66 = 9*t - z for t.
-5
Suppos