
Let p(u) = -u**3 + 14*u**2 - 6*u - 86. Let l be p(13). Let g(f) = f**3 + 5*f**2 - 6*f + 5. Let c be g(-6). Let w = 11 + c. Solve l*h - h = w for h.
4
Suppose 0 = -k + 4*m + 6, 3*k - 4*m - 12 = -k. Let l = 4 + -13. Let c = l - -15. Solve -k*s + c*s = 0 for s.
0
Suppose 3*m = 4*m - 6. Let x be 4/((-5)/((-15)/m)). Solve -x*z + 2 = -2 for z.
2
Let k = -195 + 199. Solve k*r + 1 = -15 for r.
-4
Let m = 124 + -121. Let r(l) = -l + 5. Let y be r(5). Let n be (y + 3 + -2)*m. Solve n = -2*x - 1 for x.
-2
Let c(a) = -a**3 + 6*a**2 + 4*a + 3. Let o be c(7). Let s = o + 18. Solve 3*t - 2 + 14 = s for t.
-4
Suppose -3*n + 76 = -4*q - 5*n, -3*n - 29 = q. Let j be ((-10)/8)/(q/68). Solve 4*z + 11 + j = 0 for z.
-4
Let x(m) be the third derivative of -m**6/120 + m**5/20 - m**4/8 + 5*m**3/6 + 20*m**2. Let l be x(2). Solve l - 7 = v for v.
-4
Suppose -33*g - 33 + 396 = 0. Solve 0 = -g*f - 22 for f.
-2
Let y(s) = -5*s**3 + 19*s**2 - 8*s - 29. Let t(g) = -g**3 + g**2 - g - 1. Let a(f) = -6*t(f) + y(f). Let n be a(-13). Solve 3 = n*r - 3 for r.
2
Let r = 8 - 5. Suppose r*o = 11 + 13. Solve o*p - 5 = 3*p for p.
1
Let z = -122 - -270. Let m = 148 - z. Solve 0 = 3*i + 6 - m for i.
-2
Let g(c) = 2*c + 4. Let d be g(13). Solve 7*q + 3*q - d = 0 for q.
3
Let q(k) = k**2 + 7*k + 10. Let d(t) = -5*t**3. Let a be d(1). Let p be q(a). Solve p = v - 0*v for v.
0
Let c(a) = -a**2 - 17*a - 69. Let i be c(-8). Solve -i*x - x = 8 for x.
-2
Let i(m) = m**3 - 43*m**2 + 118*m + 91. Let t be i(40). Solve -t*p + 6*p + 15 = 0 for p.
3
Let d(c) be the first derivative of 5/2*c**2 - 1/3*c**3 - 3*c + 6. Let h be d(3). Solve -o + 2*o + h = 0 for o.
-3
Let z(x) = x**3 + 10*x**2 - x + 23. Let g be z(-10). Let y = -27 + g. Solve i + i + y = 0 for i.
-3
Let o be 84/35*((-9)/(-6) - -1). Solve 0 = 3*m - o for m.
2
Let p = -167 - -208. Solve -p*o - 9 = -44*o for o.
3
Let z = 14 - -21. Let l = -32 + z. Solve 4*a = l*a for a.
0
Suppose 17*f = 25*f. Solve -26*z + 33*z - 21 = f for z.
3
Let j(y) be the third derivative of -y**6/120 + 7*y**5/60 - y**4/3 + y**3/2 - 12*y**2. Let n be j(5). Solve 4*a + n - 5 = 0 for a.
-2
Let h(m) be the second derivative of -m**4/12 + 3*m**3/2 + 13*m**2/2 + 10*m. Let i be h(10). Solve i = q - 2 for q.
5
Let h(s) = s**3 + 4*s**2 - 15*s - 9. Let o be h(-6). Solve 3 = -4*g - o for g.
-3
Let m(x) be the second derivative of -x**5/20 + 5*x**4/12 + 7*x**3/6 - 2*x**2 + 6*x. Let s be m(6). Solve 8 = 2*t + s*t for t.
2
Let t(p) = -3*p - 27. Let j be (-3 - (1 + -1))*(16 + -13). Let u be t(j). Solve 4*n - 7 - 9 = u for n.
4
Let y(q) = 3*q**2 + 13*q + 4. Let t(b) = -2*b**2 - 6*b - 2. Let k = -10 - -13. Let z(u) = k*y(u) + 5*t(u). Let g be z(7). Solve -n = -5*n - g for n.
-4
Let z = 182 - 178. Solve -3*v - v - z = 0 for v.
-1
Let b = -8 + 2. Let f(w) = -23 + 0*w - 2*w + 8 + 6. Let h be f(b). Solve -4*j + 3 = -h*j for j.
3
Let x(i) = -3*i**2 + 17*i - 12. Let j be x(11). Let n be j/(-36) - (-2)/(-9). Suppose 2*w + 1 - n = 0. Solve -w = -4*h + 2*h for h.
1
Suppose -81*z + 86*z = 2*r, -2*z = -2*r. Solve 5*w - 28 + 8 = z for w.
4
Let m = 194 - 91. Solve 0 = 6*g + m - 127 for g.
4
Let n = 9 - 7. Let u(h) = 3*h - 2. Let c be u(n). Suppose 3*p = c*p - 3. Solve 0 = 2*j + 3 + p for j.
-3
Let j(h) = 5*h + 20. Let m be j(0). Solve 19*u = 9*u - m for u.
-2
Suppose 0 = h + 4*c - 4, -c = -h + 4*c + 22. Let v be (h - 13)*1*-3. Solve 4*u + 1 = -v for u.
-1
Let w be ((-96)/(-1) + 3 - -3) + 4. Let b = 109 - w. Solve -b*l + 4*l + 3 = 0 for l.
-3
Suppose -k = -4*q + 33, -4*k - 1 = 2*q + 5. Let z = q - 5. Let t be (0 + 0)/((-13)/(52/8)). Solve -l + z*l + 5 = t for l.
-5
Let v(d) = -d - 11. Let g be v(-14). Solve -g*u + 18 = 3*u for u.
3
Suppose -3*j + 4*s - 192 = 0, -s = -5*j + 2*s - 331. Let p = j - -72. Solve -p*l - 3 = 9 for l.
-3
Let i(t) = 5*t - 40. Let g be i(9). Let q be -3 + (10 - 0)*2/g. Solve -5*h = -q - 4 for h.
1
Let t(z) = -8*z - 18. Let i(k) = -9*k - 19. Let s(o) = -4*i(o) + 5*t(o). Let l be s(-5). Let g(m) = 3*m - 12. Let j be g(l). Solve -a - j = -4*a for a.
2
Suppose -22 = -2*b + 4*w, -6*b + 41 = -3*b - 2*w. Solve 0 = 7*z + b - 8 for z.
-1
Let p(w) be the first derivative of w**3/3 - 17*w**2/2 + 16*w - 22. Let m be p(16). Solve 0 = 4*u - m*u - 16 for u.
4
Let u(i) be the second derivative of i**4/12 + 7*i**3/6 + 5*i**2/2 - 2*i. Let l be u(-6). Let f be 5 - 2 - (l + 1). Solve f = -s - 2 for s.
-5
Let u(f) = f + 3. Let i be u(-1). Suppose i*p - z - 2*z = 41, 4*z - 20 = -2*p. Suppose -x + 0*x = -p. Solve -3*m = -1 + x for m.
-5
Let m(p) = 5*p. Suppose o - 9 = -2*o. Let b be m(o). Suppose -t = 4*t - b. Solve t*u = 4*u + 3 for u.
-3
Let m(x) = 4*x - 10. Suppose -4*a - 3*v = -24, v - 3 = 5*a - 14. Let k be m(a). Solve k*h = h for h.
0
Let q = 6 + -2. Let s(p) be the third derivative of p**6/120 + 3*p**5/10 + 2*p**4/3 - 13*p**3/6 - 32*p**2. Let b be s(-17). Solve b*g - 8 - q = 0 for g.
3
Let q be 30/25 - 133/(-35). Solve -q*n - n = -n for n.
0
Let x = -8 - -16. Suppose -x = -7*r + 13. Solve -15 = 6*h - r*h for h.
-5
Suppose -k + 0*k = 32. Let d = k - -41. Solve -1 + d = -4*i for i.
-2
Let z = 350 + -346. Let l(w) = w + 8. Let s(j) = -1. Let d(v) = l(v) + 5*s(v). Let n be d(-3). Solve n = z*b - b + 6 for b.
-2
Suppose 0*j - 5*j + 31 = -4*t, 0 = -3*j + t + 13. Solve l + 5*l - j*l = 0 for l.
0
Let d(o) be the first derivative of 3*o**2/2 + 35*o - 16. Let i be d(-11). Solve -i*g - 13 = -5 for g.
-4
Suppose 1243 = 56*w + 403. Solve w*d = -0*d + 45 for d.
3
Suppose 3*y - 5*w = 60, 4*w - 48 = -7*y + 3*y. Solve -3*j - 2*j = -y for j.
3
Let j(b) = -7*b**2 - 16*b - 21. Let w(u) = -13*u**2 - 31*u - 41. Let v(x) = 11*j(x) - 6*w(x). Let l be v(-9). Solve l*i = 2*i + 4 for i.
1
Let o(h) = h**3 - 2*h**2 + 3*h + 6. Let f be o(0). Solve -2*c = -12 + f for c.
3
Let a(d) = -d**3 - 2*d**2 + d + 1 + 7*d**2 - 6*d**2. Let h be a(-1). Suppose -5*s = -15 - 5. Solve -s*v - 2 - 2 = h for v.
-1
Let n(x) = -2*x**2 - 2*x + 3. Let r be n(2). Let z = 16 + r. Solve 4*q = 9 + z for q.
4
Let w = -40 + 50. Solve 5 - w = 5*o for o.
-1
Suppose n - 10 = -3*d, d + 27 = 15*n - 13*n. Solve -n + 1 = -4*b for b.
3
Let w(x) = -8*x**3 + 1. Let y be w(-1). Let z = y + -16. Let q = z - -17. Solve -m - m + q = 0 for m.
5
Suppose 0 = 2*h + 10*h - 60. Suppose 2*s = -5*t + 33, -6*s = -3*t - s - h. Solve 0 = -i + t - 3 for i.
2
Suppose -14*t + 5*t = -360. Let x = -15 + t. Solve 5*a = -0*a - x for a.
-5
Let a(y) = -3*y - 42. Let z be a(-21). Let o be 6*-2*2/(-3). Suppose -o = c - 3*c. Solve 5*v - c - z = 0 for v.
5
Suppose 4*f + t = 3*t + 112, 0 = 2*f - 2*t - 52. Suppose 34*j - 36 = f*j. Solve j*p - 5*p + 4 = 0 for p.
-1
Let b(o) = -o**2 - 2*o + 7. Let y be b(-3). Suppose -d - 3 = -y*p, 2*d - d + p - 7 = 0. Suppose 0 = -3*u + 19 + d. Solve 0 = -2*m + 4*m - u for m.
4
Let b be (-9)/(-6)*(-1)/((-5)/10). Suppose 0 = -5*a + 2*q + 19, b*q = a - 2 - 7. Solve a*l = 2*l for l.
0
Suppose -4*u + 123 - 115 = 0, -5*u = 4*f - 42. Solve 21*i - f*i = 39 for i.
3
Let v(d) be the third derivative of 0*d**3 + 0*d + 1/24*d**4 + 3*d**2 - 1/60*d**6 + 1/60*d**5 + 0. Let i be v(-1). Solve 0 = 3*u + 1 + i for u.
-1
Let f(n) = -8*n - 3. Suppose -7*r + 12 = -3*r + 4*t, 4*r - 5*t = -24. Let a be f(r). Solve a*l + 0*l = 20 for l.
4
Let v = 35 + -33. Suppose -4*i + s + 9 = 0, -5*i - 2*s + 27 = v*s. Solve -1 = -4*g + i for g.
1
Let k(z) = 2*z**2 + 23*z + 56. Let c be k(-10). Solve -c*j = -28*j + 4 for j.
2
Let g = 469 + -469. Solve -4*n + g - 20 = 0 for n.
-5
Suppose 280 = -140*m + 147*m. Solve 0 = -9*r + 58 - m for r.
2
Suppose 4*r + 12 = 0, -4*o + 3*r + 5 = -12. Suppose 4*n = -2*c + 36, -8 = -2*c - o*c. Suppose n = 5*h - 17. Solve -h*z = 8 - 3 for z.
-1
Let k = 12 - 8. Let o be 3 + (-1)/(-4)*k. Let u be 0 - 1 - (o + -5). Solve u = 2*f + 2*f for f.
0
Let l = -753 + 758. Solve 0 = -l*d - 7 - 8 for d.
-3
Suppose -2*d - d - 96 = 0. Let k = d - -37. Suppose 3*z + t = 3, 2*z + z + 15 = k*t. Solve z = -v + 1 for v.
1
Suppose 2*c + 3*h = 12, h = 4*c + 10 - 6. Solve -10*s - 9*s + 17*s = c for s.
0
Let j(o) = -o**2 - 11*o - 22. Let y be j(-8). Let n be (1 - y/(-8)) + 30/40. Solve 1 = s - n for s.
3
Let t be 36/21 - 2 - (-391)/119. Solve -11 - t = 7*f for f.
-2
Suppose -3*n - 15 = 0, -n + 4*n = o - 19. Suppose -7*g + 27 = -o*g. Solve j + g - 4 = 0 for j.
-5
Let g(b) = -b**3 - 24*