b) - 13*u(b). Let w be v(-9). Suppose w*f - 5*a - 6 = -0*f, a + 6 = 2*f. Solve h - f = -0*h for h.
4
Let p be 1/(-2) - 852/24. Let d = -30 - p. Solve 0 = -d*f + f - 20 for f.
-4
Suppose -2*l + 185 = 5*v + l, -5*v - 4*l + 185 = 0. Let h = 45 - v. Solve 4*m - h = 6*m for m.
-4
Let b(w) = -28*w + 287. Let j be b(10). Solve 0 = j*p - 8*p - 4 for p.
-4
Suppose 4*q + 3*b - 2 = b, 0 = 4*q - 4*b + 4. Solve 5*l - 6*l + 2 = q for l.
2
Suppose -3*b = 2*b - 70. Let f = -13 + b. Solve 0 = d + f - 4 for d.
3
Suppose 0*a - 8 = 2*a, -2*a = -k + 15. Solve -k - 17 = 6*q for q.
-4
Suppose -4*p + 68 = 4. Suppose h + 3*d = d + p, d = -h + 12. Let v = -102 + 105. Solve v*x - h = x for x.
4
Suppose 5*i - 3*v + 18 = 3, 3*i = 2*v - 10. Suppose -4*b + 9*b - 75 = i. Suppose 3*s = 4*c - 20, -2*s + 4*c = c + 15. Solve b = -s*z - 3*z for z.
-5
Suppose -16 = -2*p - 3*u, -u = -4*p - 3*u + 32. Suppose -4 = -9*l + p*l. Solve l = -t - t for t.
-2
Let n be -2*(-2)/(-4)*-4. Suppose 5*m - 5*i = -0*i + 20, n*m + 2 = -5*i. Solve m*r = 2 - 0 for r.
1
Let u(c) = -c - 4. Let v be u(-4). Let z be 1 + -4 + (78 - 71). Solve v*j = z*j for j.
0
Suppose 7*w = -4*w + 121. Solve 0 = -0*h - w*h + 11 for h.
1
Let x(r) = -r + 1. Let g(f) = -3*f - 3. Let w(m) = -g(m) - 5*x(m). Let a be w(-1). Let h be a/6*(-42)/35. Solve s = -h*s for s.
0
Suppose 0 = -3*t + 3*u + 12, -4 = t + 4*u - u. Solve t = -6*x + 8*x for x.
1
Let k(m) = -m**3 - 8*m**2 + 9*m - 4. Let p be k(-9). Let q be (1/(-2))/(p/(-64)). Let v = q - -15. Solve -v*c - 16 = -3*c for c.
-4
Let z = 13 + -11. Let a be 7/z - 2/4. Suppose t - 2 = 0, a*q + 2 = q + 3*t. Solve 3*s = -q*s for s.
0
Let m be ((-176)/(-4))/(-2)*3. Let x = -43 - m. Let o = x + -22. Solve -4*r - 15 = o for r.
-4
Let c = 650 - 653. Suppose 0 = 3*l + 5*g - 19, 45 = 3*l + 2*l + 5*g. Let m = l + c. Solve 0 = u + u - m for u.
5
Let w = 102 - 94. Solve w = 5*b - b for b.
2
Let x be 4 + 0 + -3*1. Let m be (-135)/30*((-2)/2 - x). Solve z = 4*z + m for z.
-3
Let z = -732 - -740. Solve -5*l = -9*l - z for l.
-2
Let f = 29 - 15. Let b = f - 14. Solve b*g + g = 3 for g.
3
Suppose -732 = -61*a + 61. Solve 5*c - 28 + a = 0 for c.
3
Let b(g) be the first derivative of g**4/2 - 5*g**3/3 - 7*g + 2. Let l be b(3). Let q(k) = -k**2 + 5. Let c be q(0). Solve -l*s - c = 3 for s.
-4
Suppose 212 = 66*r - 844. Solve 10*n - r*n = 6 for n.
-1
Let d(l) = -l**2 - 2*l - 2. Let v(i) = 2*i**2 + 3*i + 3. Let w(g) = 9*d(g) + 4*v(g). Let o be w(-4). Solve z - 3 = o for z.
5
Let r(s) = s**3 - 48*s**2 + 46*s + 59. Let k be r(47). Solve 0 = -19*a + k*a - 7 for a.
-1
Let g be 3/((-6)/(-14)) + -3. Suppose g*o - 2*k + 8 + 4 = 0, o - 3*k = 2. Let t be o + 5 - (2 + -1). Solve 0*s - 4*s = t for s.
0
Let j be (-9)/(-2) + (-27)/(-54). Solve -10*u + j*u = 20 for u.
-4
Let v(d) = -8*d - 56. Let y be (-375)/55 - (-2)/(-11). Let w be v(y). Solve w = -5*g + g - 20 for g.
-5
Suppose -8*d = -c - 3*d - 44, 5*c - d = -124. Let r = -64 - c. Let b = -28 - r. Solve 2*y + b = -y for y.
-4
Let a = 572 - 556. Solve 5*n - 9 = a for n.
5
Let n(m) = -2*m**2 + 12*m + 13. Let c be n(9). Let z = c - -45. Solve z*s = -4 - 4 for s.
-2
Let v = -1116 - -1120. Solve 0 = -4*r + v - 0 for r.
1
Let h be -10 + (-3 + 0 - -5). Let j(k) = k**3 + 9*k**2 + 8*k + 1. Let a be j(h). Let l be (-6 - -8) + (a - 1). Solve -l*v - v = 0 for v.
0
Let l be (-5551)/(-1911) + 4/42. Solve 5*b - 6 = l*b for b.
3
Let o = -1202 + 1205. Solve 8*n - 5*n = o for n.
1
Let g(f) = -2*f**2 - 18*f + 29. Let a be g(-10). Solve i = a - 9 for i.
0
Suppose 4*c + n = 3*c - 1, -4*c + 3*n = -31. Let s be (5/(-1))/(-2*(-1)/24). Let g = s - -60. Solve g = c*z - z for z.
0
Suppose 17*t = -2*g + 22*t + 57, 5*g - 4*t = 100. Solve g*b - 1 = -33 for b.
-2
Let j(a) = -a**3 + 8*a**2 + 19*a + 12. Let h be j(10). Let z be 3/h*(-16)/(-6). Let f be (-25 - 0)*(-2 - -1). Solve z*o = -o + f for o.
5
Let k(h) = -7*h - 248. Let o be k(-38). Solve -24 + o = -2*d for d.
3
Let x = -4 - -28. Suppose x = -5*b + 74. Solve -15 = -5*h + b for h.
5
Let r(h) = h**3 + 6*h**2 + 5*h - 6. Let b be r(-3). Solve -6 = -4*w + b for w.
3
Suppose -15 = -5*g - 5*u, 3*g + 0*g + 4*u = 7. Let v = 935 + -923. Solve -g*r = -r - v for r.
3
Let j(p) = -p**3 - 12*p**2 - 9*p + 1. Let h be j(-11). Let n be h/3*8/(-4). Solve -5*l - n - 11 = 0 for l.
-5
Suppose 4*f = -4*x + 16, -3*f + f = -3*x + 17. Let n be (f*1)/((-24)/216). Solve 0 = -k + 4*k - n for k.
3
Suppose 4*d - 79 = -o, -d - 2*o + 6 + 12 = 0. Let w(f) = -7 + d - 5 + f. Let c be w(-8). Solve -r - 3 + 0 = c for r.
-3
Let l = 158 + -155. Solve 0 = -y + 7*y - l*y for y.
0
Let k(i) = -i**2 + 26*i - 24. Let y be k(24). Solve 9*s + y = 3*s for s.
-4
Suppose -2*p - 6 = -2*g, 0 = -2*g + 5*p - 6*p + 12. Solve 5*c - 30 = -g*c for c.
3
Suppose -2*y + q = -7*y + 25, -4*y = q - 21. Suppose 0 - y = -i. Solve c - i = 1 for c.
5
Let w be (60 + -4)*(-12)/14. Let u = -47 - w. Solve 0 = 3*y - 4*y + u for y.
1
Suppose 5*j + 4*b + 136 = 0, -j + 6*j + 116 = b. Let z be ((-6)/(-2))/(j/(-40)). Suppose z*h = -2*s - 6, -5*s - 6 = -2*h - 3*s. Solve h = 4*n + 4 + 12 for n.
-4
Suppose 2 = 3*u + 14. Let d = u + 18. Suppose 4*m - 1 - 2 = -g, -2*m - 5*g = 21. Solve -m = -4*h - d for h.
-3
Let v(z) = -z - 1. Let a(h) = 2*h + 10. Let j(i) = a(i) + 4*v(i). Let g be j(-5). Suppose -w - 3*w + g = 0. Solve w*y = 7*y + 3 for y.
-1
Suppose 22*l + 110 = 99*l - 198. Suppose 5*d - 32 + 7 = 0. Suppose d*m = 2*m + 30. Solve -3*i + l = m for i.
-2
Let l = -39 + 51. Suppose -h + l = -0*h - 3*d, -2*d = -h + 8. Solve h*u - 3*u = 0 for u.
0
Suppose 10*a - 16*a = -24. Solve -9*r + a*r = 20 for r.
-4
Let x(l) = l**3 - 16*l**2 + 15*l. Let t be x(15). Suppose 6*o - 20 + 2 = t. Solve 0 = -u + o for u.
3
Let r be 12/3 - (-4 + 2). Let f = 32 + -8. Suppose f = w + 3*w. Solve 3*i + w = -r for i.
-4
Suppose 38*x - 26*x - 168 = 0. Solve x*b - 10 = 19*b for b.
-2
Let q(i) = 12*i - 45. Let s be q(4). Solve -s*d + 4*d = -5 for d.
-5
Let t(n) be the first derivative of -n**3/3 + 4*n**2 + 3*n + 13. Let l be t(8). Solve 3*p - l + 12 = 0 for p.
-3
Let q be 3/((-30)/(-4))*5. Let c = 241 - 134. Let v = -92 + c. Solve v = q*m + 3*m for m.
3
Suppose -4*c = 7*c - 44. Suppose c*u + 30 = 10*u. Solve k + 16 = u*k for k.
4
Suppose -f + 4*b + b - 8 = 0, -4*f = -4*b. Let q(i) = -4*i - 12. Let h be q(-4). Suppose z = -m - 2, 3*z = h*m - 2*z - 37. Solve 0 = -x - f*x - m for x.
-1
Let l(z) = -5*z + 78. Let n be l(12). Solve n*i = 23*i - 10 for i.
2
Suppose 2*q + j = -2*q + 1, -5*q - 3 = -3*j. Suppose q = -2*v - 4*v. Let k(m) = 7*m - 2. Let c be k(2). Solve -c = -v*w + 4*w for w.
-3
Let t = 88 - 61. Let r = -32 - -11. Let s = t + r. Solve s*x - x = -5 for x.
-1
Let f(l) = l + 7. Let j = 58 + -23. Suppose j = -6*p - p. Let o be f(p). Solve o*a + a = -3 for a.
-1
Suppose 6*w + 5 = 3*w - 2*y, 14 = 2*w - 3*y. Suppose 0 = 3*x, f - x + 3 = 2. Let g = f + w. Solve 2*p - p = g for p.
0
Suppose 4*v = -2*f - 6, -f + 2 = 3*v + 4. Let j be v/1 - (-9 - -7). Solve -2*b + 5 = -j*b for b.
-5
Let g = -37 + 40. Suppose -4*v = 3*z + 5 - 2, 2*v - g*z - 3 = 0. Solve -4*b - 2 + 6 = v for b.
1
Let x(v) = -3*v - 14. Let t(z) = 3*z + 12. Let r(k) = -6*t(k) - 7*x(k). Let f be r(-7). Solve f*j - 15 = -0 for j.
3
Let j(i) = 42*i**2 - 2*i + 2. Let x be j(1). Solve -l - 45 = -x for l.
-3
Suppose -v = 3*g - 8 + 10, 3*g + 6 = 0. Solve -6 = -v*i + 2 for i.
2
Let p = -173 - -183. Solve 3*l = l + p for l.
5
Let g be 9 + (110/(-88))/((-5)/8). Solve -g*d - 4 = 18 for d.
-2
Let w = 61 - 45. Solve -8*n = -w*n - 16 for n.
-2
Let n(g) = g**2 + 15*g + 30. Let m be n(-13). Solve -i = -1 - m for i.
5
Suppose 56 = -11*s + 221. Let c(k) = k**2 + 6*k + 4. Let l be c(-6). Solve 0 = -l*w + w + s for w.
5
Let p(w) = -14*w**3 + 26*w**2 - 12*w - 2. Let v(d) = 5*d**3 - 9*d**2 + 4*d + 1. Let b(g) = 4*p(g) + 11*v(g). Let f be b(4). Solve -q = -f*q for q.
0
Suppose 4*u = f - 13, -2*u = 6*f - f - 21. Solve f - 4 = b for b.
1
Let v = 2 + -3. Let s = v + 3. Suppose -s = -3*p + 1. Solve 0 = -4*l - p - 3 for l.
-1
Let s(y) = -y**3 + 2*y - 1. Let d be s(-2). Suppose -4*k + d = 3*o, 3*k - 1 = -2*o + o. Solve -2 = 2*v - k*v for v.
-1
Suppose 9*m + 346 + 716 = 0. Let i = m - -119. Solve 4*c + 21 = i for c.
-5
Let u = -2511 - -2520. Solve -s = -4*s + u for s.
3
Let f = -25 + 27. Suppose 2*l + 19 = -f*m - 3*m, 0 = 