 2*u. Solve 0 = -n - u*n - 20 for n.
-5
Let c(w) be the second derivative of w**4/4 + w**3/2 - 3*w**2/2 - w - 2. Let j be c(1). Solve -x + 4 = j*x for x.
1
Suppose -32 = -5*w + w. Let o(l) = l**3 - 15*l**2 + l - 12. Let i be o(15). Solve -i*s = -7*s - w for s.
-2
Let k be (4/(-6))/((-28)/126). Solve 7 = -2*h + k for h.
-2
Suppose 17*t = 13*t + 12. Solve 6*q = t*q + 6 for q.
2
Suppose 5*i - 5*v - 35 = 0, 4*i - 4*v - 16 = 3*i. Let b(t) = -2*t**3 - 4*t**2 - 2*t. Let j be b(-3). Suppose -f = -i*f + j. Solve y = -y + f for y.
4
Suppose 3*l + 3 = 12. Let r(p) = -11*p**2 + 13*p + 15. Let o(d) = -5*d**2 + 6*d + 7. Let z(i) = 9*o(i) - 4*r(i). Let k be z(l). Solve 6 = -2*x - k*x for x.
-3
Suppose 4*t = -12, -2*n - 6*t + t = 15. Suppose 4*m = 26 - 18. Let g = m + n. Solve g*f = -f for f.
0
Suppose 3*r - 5*g - 6 = 0, -5*r + g = -3*r - 4. Suppose -2*q + 10 = -q + 3*z, 5*q + r*z - 24 = 0. Suppose -q = 3*w - 13. Solve 0 = -3*m - 12 - w for m.
-5
Let i = -18 + 21. Let d be (-16)/i*3/(-2). Solve 2*z - d = -2*z for z.
2
Let r be 1 + (-6)/(12/(-14)). Solve -39*p = -37*p + r for p.
-4
Let o(h) = h. Let x be o(5). Suppose -5*n + 29 + 6 = 0. Suppose -6 - 8 = -n*y. Solve y*l - x*l = 6 for l.
-2
Let a = 50 + -71. Let u = a + 25. Solve 2*y - u = 4 for y.
4
Let d = -316 + 319. Solve d*r - 1 = 2 for r.
1
Suppose 6*k + 71 = 179. Solve 2*z = -7*z - k for z.
-2
Suppose -2*r + 84 = 2*c, 6*c - 4*r = 2*c + 168. Let f be c/8 - 9/(-12). Solve f + 14 = -5*o for o.
-4
Let w be 626/(-4) + (-95)/(-10) + -8. Let x = w + 165. Solve 3*z = z - x for z.
-5
Let l be 174/(-34) + 32/272 + 32. Solve -l = -6*j - 3 for j.
4
Suppose 0*p - 2 = -2*p - t, 3*p + 7 = -4*t. Suppose -4*b = -p - 1. Solve -b = 2*w + 1 for w.
-1
Let y be 1/(2/(-16)*-1). Let d be (-1)/4 + 26/y. Suppose 3274*u - 3265*u - 18 = 0. Solve -d*o = -u*o - 2 for o.
2
Suppose -1 = -4*p - 5. Let l be -7 - p/(2 - 1). Let w be ((-18)/27)/(4/l). Solve w + 3 = -q for q.
-4
Let z be 4*(2 - 3)*-35. Let v = 140 - z. Solve v = -3*c + 5*c + 6 for c.
-3
Let m(q) = -2*q + 38. Let b be m(9). Solve 0 = 2*z - 7*z + b for z.
4
Let g be ((-2)/(-6))/((-4)/(-12)). Suppose 0 = j - g - 0. Solve j = h - 3 for h.
4
Let c = 1623 - 1621. Solve -c*s + 36 = -11*s for s.
-4
Let b be (-2)/10 - 3*128/(-120). Let p = -1 + 5. Suppose -g + 12 = 3*z - 4*g, b*g = -p*z - 5. Solve z = i - 2 for i.
3
Let j be 3*(2 - (-6)/(-9)). Suppose -3*i = -n - j, 5*n - 15 - 1 = 3*i. Solve 0*r = r - i for r.
3
Let q(r) = -r + 10. Let f(a) = a**2 + 9*a - 28. Let y be f(-12). Let i be q(y). Solve -23 - i = -5*o for o.
5
Suppose n + 5*z - 26 = 2*n, -4*z = -5*n - 67. Let y = -29 + 26. Let v = y - n. Solve i = -i + v for i.
4
Let b(k) be the third derivative of -k**5/30 + 2*k**4/3 - 7*k**3/3 - 20*k**2. Let w be b(7). Solve w*p = 5*p + 25 for p.
-5
Let g = -39 - -23. Let o(p) = -2*p**3 - 31*p**2 + 16*p. Let i be o(g). Solve 2*z + 10 = -i*z for z.
-5
Let l(q) = -12*q + 15*q + 2*q**2 - 17*q. Let h be l(7). Solve 0 = -i - h - 1 for i.
-1
Let a(m) be the second derivative of -1/12*m**4 + 3*m**2 + 0 - 1/20*m**5 - 1/6*m**3 - 9*m. Let x be a(0). Solve 4*f = 2*f + x for f.
3
Suppose -5*s + 247 = 4*v, 0*v + 110 = 2*s - 4*v. Let d = -49 + s. Solve z + d = 1 for z.
-1
Suppose -5*h + 4*c = 212, -169 = 4*h - 6*c + 3*c. Let f = h - -43. Solve f - 9 = -2*a for a.
3
Let z(u) = -u**3 + 18*u**2 + 20*u - 16. Let d be z(19). Suppose 0 = d*p - 4*p + 5. Solve -3 = -2*w - p for w.
-1
Suppose -3*s + 2*s = 4*y - 16, -16 = -4*y + 2*s. Solve -h = -1 + y for h.
-3
Let m(j) = 13*j**2 + 5*j - 6. Let w be m(1). Solve 0 = n + 3*n - w for n.
3
Let d be 0/(3 - (10 - 5)). Solve 16*m + 4 + 28 = d for m.
-2
Let s = 143 - 140. Solve s*x + 0 - 9 = 0 for x.
3
Let w(u) = -10*u**2 - 20*u + 36. Let d(b) = 2*b**2 + 4*b - 7. Let p(x) = 16*d(x) + 3*w(x). Let g be p(1). Solve g*n + 0 = -4 for n.
-2
Suppose 0 = -0*t + 4*t - 2*f, 2*f + 6 = t. Let h(p) = p**3 + 3*p**2 + 3*p + 2. Let l be h(t). Solve 2 = -v - l for v.
-2
Suppose 46*j - 161 - 529 = 0. Solve -j*y = -16*y for y.
0
Let s(c) = -c + 7. Let g be s(0). Suppose 3*t - 2*m + 0*m + g = 0, -2 = 2*t - 2*m. Let f be (5 + t)*3/6. Solve -5*a - 3 + 18 = f for a.
3
Let c be (6 - 5 - (-1 + 5))*-3. Let l(b) be the first derivative of -b**2 + 21*b - 4. Let s be l(c). Solve n - s = -0*n for n.
3
Let k be ((-1041)/1388)/(1/(40/(-6))). Solve b = -k*b + 6 for b.
1
Let x(c) = -c**2 + 4*c + 6. Let u be x(5). Suppose 2*t - 12 = -4. Suppose 5*w + 45 = 2*k + 2*k, 3*k - t*w - 35 = 0. Solve 6 = -k*o + u for o.
-1
Let c = 939 - 924. Solve c = 11*o - 14*o for o.
-5
Let g(x) be the third derivative of x**6/120 + x**5/15 - x**4/4 - 5*x**3/6 - 8*x**2. Let o be g(-5). Solve -2*c + 8 = -o for c.
4
Suppose 3*s - 6*s + p = -12, 2*s = p + 8. Let y(v) = v**2 + v - 1. Let q be y(2). Suppose -5*f + 20 = -q*m, 2*f - m - 4 = -2*f. Solve -s*z = -f*z - 4 for z.
1
Suppose -24*s + 116 = -20*s. Suppose -u + 31 - s = 0. Solve -u*t + 0*t = -6 for t.
3
Let q be 1 + -3 - (-4)/(-1). Let o = -16 - q. Let s = -8 - o. Solve -b + 9 = s*b for b.
3
Let f(v) = 3*v - 1. Let t be f(1). Let a be (2/3)/(t/12). Let q = -15 + 22. Solve a*y = -9 - q for y.
-4
Let k = -1703 + 1742. Solve k*i - 36*i = -3 for i.
-1
Let z = -24 - 6. Let b be ((-4)/5)/(4/z). Solve -4*t + b = -t for t.
2
Suppose -101 = -3*l - 5*y, -4*l = -4*y + 32 - 124. Suppose 0 = -63*o + 65*o - 126. Let t = -59 + o. Solve t*f = -7 + l for f.
5
Let p(k) = k**2 + 3*k. Let d be p(-5). Let m = -15 + 11. Let a be ((-1)/(-4))/(m/(-80)). Solve a*v + d = 3*v for v.
-5
Let u be (-3)/(-24)*-1 + 132/32. Solve -2*h = -12 + u for h.
4
Let o(y) = -y**2 - 6*y + 3. Let n be o(-7). Let c be -4 - 20/(-5) - n. Suppose 0 = 3*q - u - c, 2*q - 4*q = -5*u + 19. Solve 3*d + 18 - q = 0 for d.
-5
Let n be (-6)/(-4)*(-4)/(-3). Let u(a) = 29*a + 1687. Let x be u(-58). Solve 3 = n*k - x*k for k.
-1
Let c = 1051 + -1045. Solve -2*a = -4*a + c for a.
3
Suppose -2*z = -2 - 4. Suppose w = -z*w. Let l = 2 + 0. Solve w*i = -l*i - 10 for i.
-5
Let z = -12 + 13. Let y be 4/8*z*2. Solve 0 = v - 0*v - y for v.
1
Let l = -245 - -247. Suppose 3 + 2 = 5*y. Solve -l*n = -n - y for n.
1
Let b(x) = -x**3 + 7*x**2 - 4*x + 32. Let n be b(7). Solve n = o + 5 for o.
-1
Suppose 12*x - 1163 = -287. Solve 83 = 2*t + x for t.
5
Let n(v) = v**3 - 12*v**2 - 10*v - 7. Let x be n(13). Suppose x - 22 = 5*s. Solve -3*j - s = -8 for j.
2
Let v(g) = -g**3 - 4*g**2 - 4*g - 3. Let s be v(-3). Let x(d) = -d**3 - 7*d**2 + 7*d - 4. Let k be x(-8). Solve u - k = -s for u.
4
Suppose -163 = -v + 4*o, -294 - 288 = -4*v + 2*o. Let w = 148 - v. Solve 25 = w*d - 0*d for d.
5
Suppose -3*v - 20 = -13*v. Solve -5*u - 15 = -v*u for u.
-5
Let p = -50 + 48. Let a be (-3 - (-2 - p))*2/(-3). Solve 3*x + a*x + 25 = 0 for x.
-5
Let f = 8 - 8. Suppose -t - t + 16 = f. Let j be 8 + (-4)/8*t. Solve 4 = -j*y - 4 for y.
-2
Let r be (2 + 0)*1/(-4)*-10. Solve -14 = r*z - 39 for z.
5
Let b = 8 - 4. Suppose -2*a - a + b = i, 5*a - 3*i = 16. Suppose -a = -t - t + 3*q, 4*t - 2*q - 12 = 0. Solve -t*j + 2*j + 2 = 0 for j.
1
Suppose 396 = 17*g + 311. Suppose -y = q - 9, 24 = 2*y + 4*q + 2. Solve -y*r + g = -2*r for r.
1
Suppose 39*f - 2*c = 41*f, -3*c = 4*f - 4. Let k be (0 - -2 - -2)*1. Solve f = -k*n - 0 for n.
-1
Let z(k) = -k**2 - 5*k + 14. Let l be z(-7). Let r be (1 - l) + -1 + 4. Suppose -21 = -r*v - 5. Solve 0 = -2*d - 2 + v for d.
1
Suppose 3*j + n = -3*n + 43, -5*j = -2*n - 63. Let p = 13 - j. Solve 2*z + p*z + 2 = 0 for z.
-1
Suppose -64*b + 138 = -502. Solve 5*m - 10 = b for m.
4
Let d(j) = -j + 2. Let g be d(-4). Suppose 7*x = g*x - 16. Let r = -16 - x. Solve 3*b + r*b - 15 = 0 for b.
5
Let m = 27 + -2. Let j be (m/10 - 0)*2. Solve 36 = -j*p + 11 for p.
-5
Let j(c) be the second derivative of c**3/6 + c**2 - 2*c. Let g be j(2). Suppose -3*u = -5*q - 4 + 3, -g*q = u - 6. Solve u*r = -0*r - 8 for r.
-4
Suppose 275*h - 274*h - 4 = 0. Solve g + h = 5 for g.
1
Suppose -95*g + 114*g = 95. Solve -g = -r - 3 for r.
2
Let p = 98 + -91. Solve 5*c + 18 = -p for c.
-5
Suppose -44*i = -37*i - 35. Solve 17 - i = -3*h for h.
-4
Let h(z) = z**3 + z**2 + 2. Let x be h(0). Suppose x*s - j = 8, -5*j - 16 = -4*s - 4*j. Solve 0*v - 20 = s*v for v.
-5
Suppose 0 = 4*a - a - 15. Let i be -50 + 50 + (-2 - -2). Solve 5*w + a = -i for w.
-1
Suppose -101 = -m + 3*p, 4*p = 3*m + 17 -