*m + 8*m + 104 = w. Solve 0 = 3*k + m + 7 for k.
-5
Let h = 16 - 16. Suppose -5*l = -5*a - 25, 0 = a - h + 1. Solve -l + 2 = o for o.
-2
Let q(l) = l + 5. Let m be q(16). Suppose m = 5*f - n - 10, 5*n = -4*f + 19. Solve g - f*g = -5 for g.
1
Let s be ((-2)/(-6))/(4/84). Let q be s/(-14)*(1 + 11). Let g(r) = r**3 + 6*r**2 - r + 4. Let v be g(q). Solve -z = z + v for z.
-5
Suppose -5*m - 5 = r, -6*m + m = -r - 45. Let c = 27 + r. Solve 0 = -5*t + c*t + 6 for t.
2
Suppose 0 = 6*q - 2*q + 20. Let t be (-16)/q + 9/(-45). Solve t = -5*v + 18 for v.
3
Let v be 11/(-22)*(-8 - 0). Solve 0 = v*b - 18 + 2 for b.
4
Let u(x) = -7*x - 50. Let i = 81 - 91. Let b be u(i). Solve b = 5*a - 9*a for a.
-5
Let x(r) = r**3 + 6*r**2 - 3*r + 30. Let d be x(-7). Solve -4*l + 3*l + d = 0 for l.
2
Let c = 124 - 123. Let b be (14 - 2)*1/3. Solve c = s - b for s.
5
Let w = -41 + 66. Let c = -5 + w. Suppose -b = -5*b + c. Solve -s + 2 = b for s.
-3
Let p(u) = -59*u - 1. Let r be p(-1). Suppose 0 = -5*x + 17 + r. Solve -g - 2*g = -x for g.
5
Suppose -515*w = -514*w - 10. Solve 10*o - 30 + w = 0 for o.
2
Suppose 0 = 3*l + 9 + 3. Let h = l + 8. Solve 5*u = 3*u + h for u.
2
Let q(i) = -7*i**3 - 3*i + 0 + 8*i**3 - 3*i**2 - 3 - 1. Let y be q(4). Solve y = 3*l - 0 - 3 for l.
1
Let b be (-18)/(-24) + (123/4)/3. Solve -b*o - 9 = 24 for o.
-3
Let z(y) = -y**2 - 4*y + 5. Let n be z(-5). Suppose -6 = -2*l - n. Suppose -l*i = -2*i. Solve -4*f + i = 4 for f.
-1
Let q = -2 - -29. Let k be (-5)/20 + q/12. Let t = 2 + k. Solve -20 = -0*m - t*m for m.
5
Suppose -f = 2*f - 9, 5*l - 2*f = 34. Solve 5*k - l = k for k.
2
Let c = -90 - -92. Solve 2*z - c = 6 for z.
4
Suppose -10 = 2*b, b + 3 = v - 12. Suppose o - 4*d = -o + v, -10 = -2*d. Suppose 0 = 2*a + 3*a - o. Solve -r = a*r for r.
0
Suppose 3 + 0 = -3*x. Let n be (1/(-2))/(x/2). Let b = n - 0. Solve -t = -b + 5 for t.
-4
Suppose 2*t - 7 = 9. Suppose 4*y = t*y - 28. Suppose -s + 3 = -1. Solve -1 = -s*g + y for g.
2
Let m be 1 + -1*1 + 3. Let d = 36 - 16. Let u = d - 7. Solve -m*w + 4 - u = 0 for w.
-3
Let c(l) = l + 40. Let k be c(-25). Solve 0*x - k = -3*x for x.
5
Let n(p) = p + 3. Let i be n(-3). Let a(l) = 2*l**2 - l + 2. Suppose -3 = -3*k + 4*c, c + 0 + 2 = 2*k. Let u be a(k). Solve u*g = -i*g for g.
0
Suppose 11*b - 8*b + 2*t = 4, 5*t - 10 = 3*b. Let w be 2 + (-2 - 0 - -7). Let x = w + -3. Solve b = x*j - 8 for j.
2
Suppose 0 = -3*a + 5*o - 4*o + 243, -5*o - 477 = -6*a. Solve -13*k = -a + 17 for k.
5
Suppose -5*w + 0*w + 185 = 5*b, 2*w - 5*b - 81 = 0. Let l = w + -35. Solve 18 = -l*x + 3 for x.
-5
Suppose -5*t + 119 = -4*o - 156, o - 5 = 0. Solve -71 = -3*m - t for m.
4
Let r = 7546 + -7544. Let o(s) = -s**2 + s - 1. Let m(k) = 6*k**2 - 4*k + 3. Let d(z) = -m(z) - 5*o(z). Let b be d(-2). Solve b = r*n - n for n.
0
Let j be 3/(-7) - (-69)/161. Solve j = -2*o - 7 + 1 for o.
-3
Let n(b) = b**2 + 3*b - 2. Suppose -3*r + 11*r + 32 = 0. Let i be n(r). Solve i*m + 2 = -6 for m.
-4
Suppose -l - 20 = 3*z - 72, -z - l + 20 = 0. Let a be -4*(20/z - 2). Let o = a + -1. Solve -o*q = -q + 2 for q.
-2
Suppose 8*k - 16 = 4*k. Let n be (k + -2)*7 - 4. Solve -u - u = n for u.
-5
Let l = -53 - 3. Let v = 60 + l. Solve -v + 1 = t for t.
-3
Suppose o - 24*a = -19*a + 5, 3*o - 5*a - 35 = 0. Solve -10*s - o = 5 for s.
-2
Let u be ((-180)/70)/(3/(-28)). Let p = u + -21. Solve -p*k = -k + 2 for k.
-1
Let f be (-5 + -5)/50*-85. Solve 0 = 2*d - f*d - 75 for d.
-5
Let o be 4/14 + (-61)/(-7). Let p(g) = 2*g**3 + g**2 - g + 3. Let f be p(0). Solve f + o = -3*c for c.
-4
Let g = 4 - -3. Let j be ((-6)/15)/((-5)/25). Suppose -j*o = -5*n + 10, 5*n + 2*o = 19 + 11. Solve g = -n*x + 3 for x.
-1
Let z(m) = 1 + 7 - m + 3. Let u be z(8). Suppose 3*g = u + 3. Solve -g = d - 3 for d.
1
Let p(v) = -3*v - 9. Let u(b) = -3*b - 7. Let i(q) = 5*p(q) - 4*u(q). Let k be i(-7). Solve -k*z + 8 = 4 for z.
1
Let m be 1/(-5*(-5)/100). Solve 0 = 2*b - 0*b - m for b.
2
Let n(o) = o**3 + 7*o**2 + 7*o - 1. Let z be n(-5). Let s(j) = -6*j - 179. Let g be s(-30). Solve 3*k - z = g for k.
5
Let y = -357 + 672. Let h be (y/(-6))/(-7)*2. Let l be ((-9)/(-4))/(h/40). Solve 3*i + l = i for i.
-3
Suppose 41*d = 23*d + 180. Solve 0 = -d*m + 6*m - 12 for m.
-3
Let n(q) = -11*q + 76. Let x be n(6). Let s(y) be the first derivative of y**2/2 + 7*y + 1. Let o be s(-4). Solve o*w - x = 5 for w.
5
Suppose 5*t + 3*l + l - 76 = 0, -3*l - 3 = 0. Solve 5*z = z + t for z.
4
Let f(z) be the third derivative of z**5/15 - z**4/6 - z**3/3 + 27*z**2. Let w be f(-1). Solve 5*x = w*x - 1 for x.
1
Let d(p) = p**3 - 38*p**2 - 41*p + 78. Let n be d(39). Solve 3*w + 20 - 26 = n for w.
2
Suppose 27*j + 42 = 2*l + 29*j, -l - 2*j = -25. Solve 25*m - l*m = -24 for m.
-3
Let d(c) = c**3 - 4*c**2 + 2*c - 2. Let x be d(3). Let u = x + 8. Solve f = u*f - 4 for f.
2
Suppose -52 + 220 = 14*k. Solve 5*t = -7 + k for t.
1
Let n(h) = -5*h - h + 8 + 3*h + 2*h. Let y be n(6). Let o = y + 1. Solve 8*c = o*c - 10 for c.
-2
Let t(x) = 6*x + 5. Let m(r) = -11*r - 9. Let n(w) = -3*m(w) - 5*t(w). Let v be n(4). Let h be ((-4)/(-7))/((-2)/(-7)). Solve v = h*q + 4 for q.
5
Let k(c) = -2*c**3 - 12*c**2 - c - 1. Let j be k(-6). Solve -j*f = 27 - 12 for f.
-3
Let y be (-1)/4 - 111/(-12). Suppose w = -m - 3, 2*m + m + y = 5*w. Suppose 5*j - 7*q + 2*q - 10 = 0, 0 = -2*q + 2. Solve -z - 2 - j = w for z.
-5
Let a = 156 - 153. Solve -a*d + 4 = -d for d.
2
Let k(p) = p**2 - 2. Let g be k(0). Let a be ((-6)/12 + -1)*g. Solve a = 2*n - 1 for n.
2
Let d be (-1 - 3)*1*-2. Suppose 2*m = 6*m - 2*g + 24, 0 = m + 2*g - 4. Let w = 9 + m. Solve 3 - d = w*a for a.
-1
Let d(o) be the third derivative of o**5/60 + o**4/12 + o**3/2 - 14*o**2. Let t be d(-3). Solve 0 = k - 3*k + t for k.
3
Let g = -48 + 51. Solve 0 = 3*a + 6 - g for a.
-1
Let d(h) = -h**3 - 5*h**2 + 6*h - 2. Let c be d(3). Let a be (-8)/(-7)*c/(-16). Solve 0 = -a*g - 4 for g.
-1
Suppose 60 = 5*y - 50. Suppose -3*r + 5*l = -65, 5*l - 127 = -5*r + 4*l. Let p = r - y. Solve -p = 4*a + 9 for a.
-3
Let r be (-6)/(-8)*(-3 - -7). Suppose -2*f + r*m = -6*f - 86, 4*m = 4*f + 100. Let u = 25 + f. Solve -3*n - 15 = u*n for n.
-3
Let c = 4108 - 4106. Let y = -7 - -12. Solve -7 = -y*n - c for n.
1
Let m(l) = 2*l + 38. Let t be m(-21). Let x be (3 + -1)*9/(-2). Let v = t - x. Solve v = -k + 2*k for k.
5
Suppose b = 4*x - 17, 2*b - 70 = 4*b + x. Let d = b + 34. Solve 1 = 2*w - d for w.
1
Let p be (-120)/(-21) - 38/(-133). Solve -p*q + 9 = -9*q for q.
-3
Let y(i) = -40*i - i**2 + 25*i + 17 + 2*i**2. Let h be y(14). Let c be (-2 - 4/(-2))/(-1). Solve c = h*q + 2*q for q.
0
Let j(y) be the third derivative of y**5/60 + y**4/12 - 5*y**3/6 - y**2. Let g = 19 - 23. Let w be j(g). Solve l + 16 = -w*l for l.
-4
Let v be 1/((-2)/(-18)) + -3. Let h be (-319)/(-44) - v/(-8). Let u be -1*(-20)/(h - 4). Solve u*t = t for t.
0
Let h = 2 - -25. Suppose -h + 15 = -3*u. Let j be (-918)/(-45) + u/(-10). Solve -j = -6*z + 2*z for z.
5
Let a = 80 - 66. Suppose -3*k + a = -7. Solve 0 = 4*r - k*r - 12 for r.
-4
Let l be (38 - 43)*1/(-2)*2. Solve -l*a + 14 - 4 = 0 for a.
2
Suppose -2*k + 1 = -3*y - 0*k, 8 = 4*k. Let p be (-1)/(4/8 - y). Let a be (0 - (0 + 0))/p. Solve a = 3*b + 2*b for b.
0
Suppose y + 4 - 17 = -5*g, 50 = 3*y + 4*g. Let l be (-8)/12*y/(-3)*1. Solve -l*b + 16 = -0*b for b.
4
Let k(a) = 2*a + 6. Let t be k(-2). Let i be (-48)/9 + 7 + t/6. Solve i*j = 7*j + 25 for j.
-5
Let i be 8/24 - (-1)/(-3). Let r be (-13)/((-5)/(-10) - i). Let p = -24 - r. Solve 2*k - p = k for k.
2
Let y = 1148 + -1144. Solve 0 = 19*x - 18*x - y for x.
4
Suppose 5*m - 3*h - 99 = 0, 4*m - h - 20 = 62. Suppose -2*k + m = 5*l, k - 3*k = -6. Solve 0*i + l = i for i.
3
Let g = -15 - -15. Suppose g*d = d. Solve 0 = -d*z + 4*z + 12 for z.
-3
Suppose 3*s - 4 = -4*h, 3*h - 2 = -5*s + 1. Let a be (-8)/12*2*-18. Suppose 5*j - 51 = a. Solve s*p = 3*p - j for p.
5
Let v(q) = 11*q + 14*q**2 - 4 - 23*q**2 + 10*q**2. Let z be v(-12). Solve -11*d + z*d = -15 for d.
5
Let j = -22 + 22. Solve 4*b + j*b - 4 = 0 for b.
1
Suppose 2*q - 68 = -5*a - 454, -5*a - 4*q - 392 = 0. Let x be (-296)/(-76) + (-8)/a. Solve 6 + x = 2*g for g.
5
Let s be ((-380)/90 - (-4)/18)*-1. Solve 9*d + 15 = s*d for d.
-3
Let a(c) = 2*c**2 - 5*c - 14. Let d be a(6). Suppose p - 6 = -h, 4*h +