Solve -4*n + 40 = k for n.
6
Suppose -3*r + 31 = -4*m, 2*m - m + 37 = 4*r. Suppose 0 = 541*t - 532*t - 54. Solve -r*i = -t*i for i.
0
Suppose 0 = -8*m + 7 - 23. Let d be (2 + 1)*(m + 52/12). Solve d*h - 12 = 3*h for h.
3
Let m = -3800 - -3809. Solve m*c = -9*c - 2*c for c.
0
Suppose 4*f = -3*f + 7. Let d(t) = -10*t - 9. Let b(l) = 3*l + 1. Let n(r) = 6*b(r) + d(r). Let s be n(f). Solve 0 = s*g - 2 + 7 for g.
-1
Let o(n) = n**3 + n**2 - n + 2. Let c(p) = 4*p**3 + 8*p**2 - 6*p + 10. Let u(k) = -c(k) + 5*o(k). Let l be u(3). Solve 6*a - l = 7*a for a.
-3
Let f be 13*-1*((-12)/(-16)*-12 - -8). Solve f*l - 93 = -171 for l.
-6
Let i(s) = s**2 - 8*s + 1. Let r be i(8). Let x be 0*r/2*-1. Let j be ((-10)/16)/(269/(-2152)). Solve x = -j*m - 12 - 3 for m.
-3
Let v(l) be the second derivative of l**4/12 - 2*l**3/3 - l**2 - l. Suppose 0 = -10*j + 20 + 30. Let c be v(j). Solve 0 = -r + c*r + 2 for r.
-1
Let m be 6/42 - 264/(-14). Suppose m*l - 14*l + 80 = 0. Let k = l - -18. Solve -5*f + k = -3 for f.
1
Let x = 5 + -6. Let s(g) = -g - 1. Let q be s(x). Suppose -18*y + 5*y + 39 = q. Solve -5*h - 10 = -y*h for h.
-5
Let u be (-5 - 0 - -3)*1. Let a(o) = -28*o - 47. Let z be a(u). Solve 6*n + 3 = z*n for n.
1
Let j(h) = 3*h**2 + 62*h + 42. Let b be j(-20). Suppose y + 11 = -3*t, -5*y - b*t = -4*t - 30. Solve -33 + 13 = y*l for l.
-5
Let n(m) = -15*m + 1814. Let g be n(115). Solve -140 = -61*a + g*a for a.
-5
Let i = -1063 + 1071. Solve 23 - 31 = i*p for p.
-1
Suppose -4*b + 2*z = z - 1489, 4*b - 1510 = -2*z. Solve -363*h + 11 = -b*h for h.
-1
Let n = -18 - -49. Let x(b) = -b**3 + 3*b**2 + 2*b + 45. Let q be x(5). Suppose 4*m - 2*m - 47 = 5*c, 5 = -c. Solve -q*h = n - m for h.
-4
Let f(w) = -10*w**3 - w**2 - 4*w + 5. Let u be f(1). Let n be 2/(u/(-295)) + (-6)/(-2). Suppose 8*s = -14 + n. Solve -3*h - 9 = s for h.
-5
Let c = -2456 - -2485. Solve -14*o = c + 13 for o.
-3
Let q = 1 + 439. Suppose -2*l + q = 20*l. Let i(w) = 7*w**2 + w. Let t be i(-1). Solve -m = -t*m + l for m.
4
Let m = 276 + -325. Let l be (-19)/(-95) - m/5. Solve 7 = -3*g + l for g.
1
Suppose 9 = 4*d - 11. Suppose -3*i + 4*s - 61 + 351 = 0, -4*s + 368 = 4*i. Suppose 30 = 2*n + 4*a, 51 + i = d*n - 4*a. Solve 0 = -f - 4*f - n for f.
-5
Let y(s) = 6*s - 5*s + s - 21 - 10. Suppose 2*q + 10*f = 11*f + 38, -4 = 2*f. Let g be y(q). Solve -g - 1 = -3*u for u.
2
Suppose t - i = -3*t + 1977, 3*i + 519 = t. Solve 0 = -120*u - t - 348 for u.
-7
Let m(s) = -51*s - 293. Let t(d) = -2*d**2 + 38*d + 78. Let c be t(21). Let y be m(c). Solve y = -4*f - 7 for f.
-5
Let y be 4/18 - (-18 - 520/(-72)). Solve y*s = -11 - 55 for s.
-6
Let s(i) = 2*i + 1581 - 9*i - 1532. Let y be s(7). Solve v + 5 = -y for v.
-5
Let g be 7/((-28)/(-44)) + -2. Suppose -175 = -g*l - 67. Solve -3*t = 3*t - l for t.
2
Let v(s) = -2*s**2 - 14*s - 11. Let k be -3 + 8/2 + -6. Let i be v(k). Suppose 6*j + 6 = i*j. Solve 0 = -2*l - j*l + 12 for l.
3
Let f(h) = -12*h - 75. Let n be f(-6). Let v be n/6 - 45/(-30). Let r = 27 + -16. Solve 5*i = -r + v for i.
-2
Suppose 8*t + 18*t - 52 = 0. Suppose 2*j - t*p = -0*p + 36, -9 = -3*p. Solve 13 = -2*i + j for i.
4
Let r be 2/(-17) - (-206)/17. Let d(f) = -f + 16. Let q be d(r). Suppose 48*p - 52*p = -12. Solve q*c = -p + 7 for c.
1
Let l(a) = 13*a**2 + 2*a + 7. Let x be l(0). Solve -14*s = -21 + x for s.
1
Suppose -3*s + 13 = -2*b, 4*b + 11 = 5*s - 2*s. Suppose 0 = 4*t - 2*a - 12 - 20, -3*t + s*a = -38. Solve 4*p = p - t for p.
-2
Suppose 16*c + 40*c = 896. Solve -14*y + 2 - c = 0 for y.
-1
Let q(n) = -n**2 - 12*n - 31. Let a = -515 + 511. Let o be q(a). Solve 5*h - o = -6 for h.
-1
Suppose 17204 = -29*d - 5*d. Let f = -501 - d. Solve f = 13*r - 8*r for r.
1
Let z be 2/8 + (-2850)/24*1/(-5). Solve -11*v - 20 - z = 0 for v.
-4
Let l(k) = 2*k**3 - 78*k**2 - 5*k + 195. Let q be l(39). Solve q = 8*u - 34 + 18 for u.
2
Let l(s) = 5*s**2 - 4*s - 3. Let n be l(-2). Let d be (110/n + -4)/((-1)/(-30)). Suppose -7*h + 3*h + d = 0. Solve h*k = 6*k - 12 for k.
4
Suppose 5*s - 205 = -8*s - 127. Let i be (10/4)/((-1)/(-2)). Suppose -5*q + i*n = -10, 2*q + 0*n - 6 = n. Solve -h + q = s for h.
-2
Suppose 0 = 28*b - 24*b - s - 11, -5 = -b + s. Suppose 0 = 11*h - b*h - 8*h. Solve h = 8*r - 2 - 30 for r.
4
Let k(b) = b**3 - 10*b**2 - 11*b - 20. Let h be k(12). Let d = -6 + h. Let u = -120 + d. Solve -3*t = -5*t - u for t.
-5
Let a(d) = -32*d + 66. Suppose -3*m + 12 = h - 5, 5*h = 2*m. Let i be a(h). Solve i*p - 30 + 38 = 0 for p.
-4
Let j be (-15 - 102/(-12))*(-3 + -15). Solve 366 = -69*x - j for x.
-7
Suppose 4*h - 10*h = 4020. Let j = h + 673. Solve -j*s + 13 = 4 for s.
3
Suppose -27*w + 26*w + 910 = 0. Suppose -12*u - 14*u + w = 0. Solve k = 8*k + u for k.
-5
Let a(j) = 7*j - 45. Let k(q) = -7*q + 45. Let g(t) = 4*a(t) + 3*k(t). Let z be g(7). Solve -8*b + 10*b = z for b.
2
Let h = -81 - -86. Suppose 5*d = 2*b + 12, 0*b + 4*d = h*b - 4. Solve b*l - 2 - 2 = 0 for l.
1
Let x = 10 - 1. Let b(k) = k**2 - 22*k + 120. Let u be b(x). Suppose -3*w + 6 = -8*w - 2*v, 3*w = -3*v - 9. Solve -u*i + 6 + 6 = w for i.
4
Suppose 0 = -3*s - 5*g + 30, 2*g - 9 = -5*s + 22. Let d(p) = 3*p - p + p + 12 - 5*p. Let l be d(s). Solve 3*y - 2*y + l = 0 for y.
-2
Let l(g) = 2*g**3 + 30*g**2 - 19*g - 266. Let o be l(-15). Solve -26*f = -o*f - 14 for f.
2
Let w = -370 - -370. Suppose w = -2*b + 57 - 45. Solve b*l + 5 = 5*l for l.
-5
Let n(v) = 2*v**3 + 7*v**2 - 3*v - 4. Let b be n(-4). Let j be 4*3 + (b/8 - 0). Solve j = -4*d + 7 for d.
-1
Suppose -g = -3*d + 2, -2*g = -6*g - 8. Suppose -5*z - 14 + 89 = d. Let y = z - 13. Solve y*i + 3*i - 15 = 0 for i.
3
Let l(q) be the first derivative of -q**3/3 - 7*q**2/2 + 67*q - 5. Let m be l(-10). Solve -m*c = -35*c - 8 for c.
4
Let b(z) be the second derivative of z**4/4 - 43*z**3/3 - 25*z**2/2 + 57*z. Let j be b(29). Solve j*r - 5*r = 0 for r.
0
Let b be (-12)/9 - (-272)/6. Let a be (-708)/18 - 1/(-3). Let u = a + b. Solve -u + 1 = -4*r for r.
1
Let f be (-3)/((2 - -1)/(-6)). Let u(s) = 4*s - 60. Suppose 0 = -21*k + 32*k - 165. Let h be u(k). Solve -j - j + f = h for j.
3
Let q(l) = -l**2 + 3*l - 1. Let h(f) = -37*f + 12. Let s(g) = -h(g) + 3*q(g). Let u be s(15). Solve 6*k - 2*k = u for k.
0
Let q be ((-4)/5)/(1/(-15)). Let z be 176 + -179 - (-1 - 6). Solve z = -4*m - q for m.
-4
Let y(g) = -g**3 + 16*g**2 + 22*g - 5. Let s be y(17). Suppose -85*t = -s*t - 15. Solve 0 = t*x + 7 - 1 for x.
-2
Let h be (4 - (-65)/(-15))*0. Suppose 2*l + r = 24 + 29, h = -3*l + 3*r + 66. Let p be 0/(5*-1*10/l). Solve 0 = -2*u - p + 10 for u.
5
Suppose 4*c - 3*t - 85 = 9*c, 0 = c - 4*t - 6. Let v(i) = 5*i + 60. Let q be v(c). Let y(a) = a**2 + 9*a + 4. Let p be y(q). Solve p = -5*h - 1 for h.
-3
Let j(k) = k**2 - 8. Let s be j(-3). Let y be s + 0 - -1 - -3. Suppose 2*m = -3*z + 31, -y*z - 14 - 21 = -m. Solve m = -2*i + 6*i for i.
5
Let q = -6 + 26. Suppose -3*i + 5 - q = 0. Let a be (66/(-12) - i)/(2/(-8)). Solve 0*u = u + a for u.
-2
Let g(q) = 824*q + 5717. Let t be g(-7). Suppose 5*c - 56 = 3*l, -c + 0*c - 84 = 5*l. Let w be l/t - (-52)/6. Solve f - 4 + w = 0 for f.
-5
Let q(c) = -c**2 + 4*c. Let g be q(4). Suppose g*p + 140 = 5*p. Let r be 32/112 - 206/p*-2. Solve m = -4*m + r for m.
3
Let r(j) = 33*j + 368. Let z be r(-11). Let p be (-6 - 0) + (162/6 - z). Solve 9*d = p*d - 35 for d.
5
Suppose 113 = 19*t - 419. Solve -24*l - 148 = -t for l.
-5
Let y be ((-2)/10)/((-3)/45). Suppose y*x = -4*w, 7*x = 8*x + 4*w. Solve -3*g = -15 - x for g.
5
Let d(u) = 2*u**2 + 2*u - 21. Let t be d(5). Suppose -17*g + t + 148 = 0. Solve 4*o + g = -1 for o.
-3
Let i(z) = 4*z**2 + 65*z - 39. Let u(h) = 4*h**2 + 64*h - 38. Let c(x) = 2*i(x) - 3*u(x). Let j be c(-16). Solve -6*t + j = -4*t for t.
2
Suppose 2*r = 84 + 24. Suppose -r = -4*f - 38. Solve -5*l + 5 = -f*l for l.
5
Let s = 699 + -697. Let k = -7 + 7. Solve -2*i - s*i = k for i.
0
Let b = 74 - 73. Suppose 4*t = 289 - b. Let j be (-7 + 1)/1*(-48)/t. Solve 0*h = -j*h for h.
0
Suppose 4*d - 24 = 4*c + 68, -2*c = d - 35. Suppose 18 = 9*t - d. Solve -3*s + t = -4 for s.
3
Suppose 15*i + 9916 - 103996 = 0. Solve 6277*a - i*a = 10 for a.
2
Let h(y) = -11*y + 2*y - 192 - 91. Let t be h(-32). Solve 0 = 2*x - t*x - 0*x for x.
0
Suppose -14*g + 35 = 49. Let n be ((-2)/g - (-2 - -1)) + -1. 