 for w.
2
Let d(b) = b - 1. Let x(t) = 8*t - 27. Let l be 4 + ((-3)/(-3) - 4). Let p(m) = l*x(m) - 6*d(m). Let y be p(13). Solve -y = -n + 2*n for n.
-5
Suppose 2*h + 4*o + 6 = 184, 5*o - 265 = -3*h. Solve 0 = -5*i - h + 70 for i.
-3
Suppose 2*p - 238 + 212 = 0. Solve -9*y = p + 32 for y.
-5
Suppose 0 = 3*x + 3*c - 23 - 16, -2*x + 2*c + 34 = 0. Solve -x = -13*k + 8*k for k.
3
Suppose -44 = -10*q - 4. Solve -10*a = -9*a + q for a.
-4
Let h(t) = -t**3 + 11*t**2 - 10*t + 10. Let s be h(10). Solve -11*k = -s*k - 3 for k.
3
Let i(a) = a**2 - a + 2. Let l be i(1). Let n = -11 + 17. Let x(v) = -v**3 + 6*v**2 - 4*v - 5. Let s be x(5). Solve j + l*j - n = s for j.
2
Let r = 12 - 6. Let v be 7/2 + r/(-12). Solve 4 = v*z + 13 for z.
-3
Let h(c) be the second derivative of -c**4/12 - 17*c**3/6 + 41*c**2/2 + 17*c. Let s be h(-19). Solve 8 = d - s*d for d.
-4
Suppose 0 = -3*h - 2*m + 45, 86 = 4*h + 3*m + 27. Solve -h*i + 0 + 0 = 0 for i.
0
Suppose -5*f + 49 + 81 = 0. Let y = -21 + f. Solve -y*z = -11 - 9 for z.
4
Let u = -63 + 89. Suppose -u = -3*a - 20. Suppose -4 = -a*c + 16. Solve 2*g + 0*g = c for g.
5
Let n = 10 + -8. Suppose -12*y = -14*y + 24. Solve n*k = -k - y for k.
-4
Let i = 1924 + -1891. Solve 2*d - 31 = -i for d.
-1
Suppose 0 = 7*u + u - 24. Let w be u - (0 + -3 - -5). Solve -2*l = -l - w for l.
1
Let u be 1 - (-1 + -3 + (2 - -1)). Let m = u + -2. Solve m = 3*h - 7*h - 8 for h.
-2
Let z = 1531 + -1520. Solve 7*c - z = 3 for c.
2
Let g = -392 + 412. Let h(s) = 11*s - 1. Let w(a) = 5*a - 1. Let r(p) = 4*h(p) - 9*w(p). Let f be r(5). Solve -8*t + 4*t - g = f for t.
-5
Suppose 0*c - 12 = -3*c. Suppose -5*f + 2 = -c*f. Solve f = 3*b + 17 for b.
-5
Suppose 2*s + 7 = -5*m, 0*m + 4*m + 28 = 4*s. Let u = -4 - -14. Solve 0 = s*l - 6 - u for l.
4
Suppose -3*f - 3*c = -36, 4*f = -f - c + 48. Solve -f = -w - 4 for w.
5
Suppose -9*j - 428 = 166. Let q = j + 68. Solve -q - 1 = 3*z for z.
-1
Let p(b) = -9*b + 47. Let j be p(5). Solve 6*x - 7*x - j = 0 for x.
-2
Let g(j) = -112*j + 112. Let w be g(1). Solve 33*m - 32*m + 3 = w for m.
-3
Let k = 18 + -6. Let i = k - 12. Solve i = -3*l - l for l.
0
Suppose 0*x + 3*m = 2*x - 15, m - 3 = 0. Suppose -18 = -4*s - 2*i, 6*s + 2*i - x = 4*s. Suppose 0 = -s*y + 2*y. Solve -10 = -y*j - 5*j for j.
2
Suppose -2*h = -5*h - 99. Let r = h - -38. Solve -5*w + r = -5 for w.
2
Let j(i) = 96*i - 189. Let v be j(3). Solve 0 = -104*z + v*z + 20 for z.
4
Let p(v) = 3*v**2 - 2*v - 2. Let l be p(2). Suppose c - l = -c. Solve c*o - 8 + 2 = 0 for o.
2
Let n(a) = 14*a - 5. Let k be n(-2). Let u be (-1)/(15/k) - 2/10. Solve -2 = -4*v + u for v.
1
Let p be (18/45)/(-1 + 6/5). Suppose 4*z + p*c - 10 = 0, c = -2*c + 9. Solve -2*a - 3 = z for a.
-2
Let j be -2 + 0 - (6 - 6). Let b be (j/1)/(28/(-42)). Suppose b*d - 49 + 13 = 0. Solve -3*q - q = -d for q.
3
Let a(f) be the first derivative of f**4/4 + 5*f**3/3 - f**2/2 - 2*f + 12. Let p be a(-5). Solve p*b + 0*b = 0 for b.
0
Let c(s) be the third derivative of s**6/120 - s**5/12 - s**4/12 + 5*s**3/3 - 3*s**2. Let p be c(5). Solve -2*n - 2 - 2 = p for n.
-2
Let p be (-10)/2 - 5/((-30)/48). Solve -p*j - j = 0 for j.
0
Let p(z) = -4*z**2 + 30*z + 23. Let j be p(8). Solve 6*n = j*n for n.
0
Suppose -39*i + 20*i = -171. Solve 21 = 2*u - i*u for u.
-3
Let u(n) = n + 7. Let r be u(-5). Suppose r*q = 4*q - 2. Let i(h) = h**3 + h**2 - 2*h + 2. Let l be i(q). Solve d + l = -d for d.
-1
Let q be ((-4)/(-14))/(8/224). Let y(f) = -2*f + 17. Let h be y(q). Solve 0 = -5*v - 9 - h for v.
-2
Let f = 10 - 8. Let y(g) = -4*g - 22. Let a(c) = c + 7. Let t(n) = -7*a(n) - 2*y(n). Let d be t(5). Solve d*v + f*v + 10 = 0 for v.
-5
Suppose -3*u = -3*p - 0*u, -4*p + 2*u + 8 = 0. Suppose 6*h = 4*h + 8. Suppose f - 2*f = -n + 2, -h*n = 2*f - 8. Solve 2*d - p*d = n for d.
-1
Let t(f) = -4*f - 4. Let b be t(-7). Suppose 0 = -4*v - 3*o + b, v + 3*v = -4*o + 24. Solve 7 - v = i for i.
1
Let o(h) = -h**2 - 47*h - 366. Let u be o(-10). Solve u*g + 16 = -0*g for g.
-4
Let y(u) = 14*u**3 + 17*u**2 - 4*u + 39. Let p(d) = 5*d**3 + 6*d**2 - d + 13. Let s(k) = -11*p(k) + 4*y(k). Let n be s(-4). Solve 4*g = 9 - n for g.
2
Let g = -3 - -6. Let y be (76 - 73)/(9/24). Solve -g*k = k - y for k.
2
Let t = 1007 - 1000. Solve 6*f + 5 = t*f for f.
5
Suppose -3*h = 2*h - 25. Let l(j) = -5*j - 9. Let q be l(-5). Solve v - h*v = q for v.
-4
Let i(y) = 3*y + 56. Let b be i(-18). Let g be ((-304)/(-40) + -8)/(b/(-10)). Solve -2*v - g + 0 = 0 for v.
-1
Let n = -1 - -12. Let l = n - 11. Solve l - 3 = 3*r for r.
-1
Let h(m) = 10*m - 10. Let s be h(4). Let x = s + -27. Solve -x*c = 2*c + 10 for c.
-2
Suppose -340 = -2*b - 310. Solve b = 31*t - 36*t for t.
-3
Let x(f) = f + 1. Let y be -2*1*11/22. Let l be x(y). Solve r - 3*r + 8 = l for r.
4
Let a be (-4)/14 - 24/(-84). Solve 2*x - x = a for x.
0
Suppose 3*t + 2*p - 15 = -0*p, -3*t + 2*p + 15 = 0. Solve 4 = -t*s - 6 for s.
-2
Let o(a) = 2*a + 38. Let k be o(-19). Solve u + k*u = 0 for u.
0
Suppose 4*y = 3*b - 138, 2*y + 2 = -4. Let d = 43 - b. Solve 4*s - 5*s = d for s.
-1
Let v(b) be the first derivative of -b**2 - 4*b + 2. Let c be (-2 + 3)/(2/(-6)). Let k be v(c). Solve 12 = 2*d + k for d.
5
Suppose -55 - 71 = 7*l. Let q = 18 + l. Solve q = -6*u + 4*u + 2 for u.
1
Let l(b) = b**2 + 5*b + 4. Let j be l(-5). Let p = 31 - 29. Solve 2*s + p + j = 0 for s.
-3
Let f(w) = w**3 + 15*w**2 + 14*w + 4. Let d be f(-14). Suppose 3*g = 2*b + 3 + 2, 0 = -d*g + 4*b. Suppose g*a - 35 = -0*a. Solve -5*x + a = -13 for x.
4
Let n = -30 + 24. Let q = n + 6. Solve 2*u - 6*u - 20 = q for u.
-5
Let z be (132/(-154))/(3/(-14)). Solve 1 + z = -5*a for a.
-1
Suppose 17*d - 13*d + 2*w = -6, 2*d - w = 3. Solve -11*n + 12*n + 4 = d for n.
-4
Let u = 494 + -481. Solve 0 = u*f - 9*f - 4 for f.
1
Let g = -45 + 23. Let h be 4 + 5/((-5)/g). Let i = -23 + h. Solve i = -2*d - 1 for d.
-2
Suppose 3*n + 4 = -3*o + 58, n - o = 14. Suppose g - 4*d = n, 0*g - 4*d = -2*g + 20. Solve 2*p - 4*p = g for p.
-2
Suppose -274*m + 275*m - 26 = 0. Let f = m - 26. Solve f = 6*x - x + 10 for x.
-2
Suppose -5*g - 4 = -14. Let m(p) = 0*p - 3*p + g*p. Let a be m(-2). Solve 13 = -5*v - a for v.
-3
Suppose 0 = -5*f + 4*i + 108, -f + 30 = 2*i - 0*i. Solve b + f = -5*b for b.
-4
Let o(s) be the second derivative of -s**5/20 - s**4/4 - s**3/2 - s**2 - 2*s. Let v be o(-2). Suppose 6*x - x - 25 = v. Solve x*k - k = 16 for k.
4
Let w be 4 + ((-9)/(-3) - -5). Suppose 0*o - w = -4*o. Solve -3*l + o + 0 = 0 for l.
1
Let s(f) = 10*f + 291. Let x be s(-28). Solve x*g = 15*g for g.
0
Let p be 4 + (-1)/(-2)*-8. Let z(q) = q**3 - 6*q**2 + q - 2. Let k be z(6). Suppose 4*v - 9 = -1. Solve 3*g - v*g - k = p for g.
4
Suppose 5*f + 3*k - 80 = 0, 0 = -f + 2*k + 48 - 19. Solve -f*i = -13*i - 11*i for i.
0
Suppose 0 = j - 4, 7*a - 5*a = -j + 22. Solve a - 7 = p for p.
2
Let t = 18 + -29. Let n = t - -12. Let r = n - 1. Solve r = s + 4*s - 5 for s.
1
Let y(c) = -3*c - 23. Suppose -3*k - 20 = 4*m, 5*m = 2*k + 10 + 11. Let l be y(k). Solve l = x + 2 for x.
-1
Let v(w) = w**2 + 10*w + 4. Let l be v(-12). Suppose -4*q + l = -20. Suppose -9*i + q*i = 12. Solve 5*j + 14 = i for j.
-2
Let r = 1125 + -1117. Solve r = -f - 3*f for f.
-2
Let g = 170 - 158. Solve -g - 12 = -8*q for q.
3
Suppose 129*x + 72 = 133*x. Solve 6*c = -x - 12 for c.
-5
Suppose -7*f - 10 - 11 = 0. Let j be (-3)/(90/35 + f). Solve -j + 3 = -z for z.
4
Let j(z) = -z**3 - 8*z**2 - 2*z - 12. Let y be j(-8). Suppose -4*x - 22 = -y*a + 14, 24 = a - 4*x. Solve -i - a*i = 20 for i.
-4
Suppose 3*y - 4 = 8. Suppose o = y*o - 6. Let m be ((-2 + o)/(-3))/(-1). Solve f + 3 = -m*f for f.
-3
Let u(g) = -4*g + 11. Let x(f) = f - 1. Let m(b) = u(b) + 3*x(b). Let l be m(6). Solve -y = 3 - l for y.
-1
Suppose 6 = -21*x + 4 + 2. Suppose 0 = 3*s + s - 8. Solve x*w + w - s = 0 for w.
2
Let x = 1120 - 1117. Solve -5*m = -x*m - 4 for m.
2
Let v(s) = -s**3 + 7 - 15 - 11*s**2 - 6. Let b be v(-11). Let y = -13 - b. Solve -j + 4 = -y for j.
5
Suppose 0 = x - 5*h - 16, -4*x + 7 = -0*x - h. Suppose 5*b = -i - 2, 2*b = 3*i - x - 10. Suppose 0*u - 6 = -i*u. Solve u*q + 2*q = -20 for q.
-5
Let p(n) = n - 3. Let t(u) = 3*u - 15. Let m be 48/6 + 3 + -5. Let v be t(m). Let s be p(v). Solve -x = -s*x for x.
0
Let s(u) = 12*u - 99. Let h be s(10)