 - 14*s + 8 for s.
-2
Let m be 8 + (-11)/(11/3). Solve 0 = -m*c + 31 - 11 for c.
4
Let y be -4 + -1 - (-2 - 2 - 1). Solve 4*m + y*m + 16 = 0 for m.
-4
Let v = 20 - 13. Suppose 0 = 2*c - 6, 3*t + 2*c - 21 = -0*c. Suppose 0 = -t*z - 5*b + 15, 2*z + 5*b - 10 = b. Solve -z = 3*o - v for o.
2
Let q = 6 + 14. Suppose -8 = 2*v, -v - 16 = 5*d + 3*v. Solve d*a + q = -5*a for a.
-4
Let m = -47 - -55. Let a(h) = 4*h - 30. Let w be a(m). Solve -v = w*v for v.
0
Let q(l) = l - 2. Let i = -10 - -1. Let u be q(i). Let b = -11 - u. Solve b*x - x = -5 for x.
5
Let d = -748 - -762. Solve d*w = 20*w + 12 for w.
-2
Suppose -8 - 8 = -4*t. Suppose 0 = -n + 3*y - 4*y + 9, y + 41 = t*n. Let c = n + -8. Solve -c*v + 2 = -2 for v.
2
Let w be -9 + ((-2)/(-1) - 0). Let y be (-150)/w - (-20)/35. Suppose -2*a + t + y = 2*a, -3*a = -2*t - 19. Solve -v = 4*v - a for v.
1
Suppose 388 = 2*c - 5*c + 4*g, -5*g - 104 = c. Let y = -124 - c. Solve y = -2*p + 3 + 3 for p.
3
Let m = 72 + -87. Let t(g) = -g - 3. Let d be t(-5). Let b be ((-5)/m)/(d/30). Solve 2 - 17 = b*u for u.
-3
Suppose -4*c + 14 = -3*p, p + 6*c - c = 27. Suppose p*l + 6*j - 16 = 2*j, l - j = 2. Solve -3*s = -l*s + 2 for s.
2
Suppose -4*l + 0*k + 32 = 4*k, l + 4*k = 20. Solve -2 + 10 = -l*q for q.
-2
Let v be 1872/260*(10 - 0). Solve v*g = 73*g + 3 for g.
-3
Let m(w) = -6*w**3 - w**2 - w - 1. Let u be m(-1). Suppose 0*b - 2*h = u*b - 23, -4*h + 1 = -5*b. Solve q = b*q - 4 for q.
2
Let g(o) = o**3 + 2*o**2 + 2*o + 7. Let b be g(0). Solve b*r + 16 = 3*r for r.
-4
Let o(r) = -2*r**2 + 4*r - 14. Let d be o(-6). Let v = d - -110. Suppose q + 0 = 2*z - 5, 0 = -4*z - 2*q + 6. Solve v = z*k - 3*k for k.
0
Let p = -173 + 179. Solve 0 = p*o + 3*o for o.
0
Let z = 729 + -724. Solve 15 = -z*p + 2*p for p.
-5
Suppose 0 = 598*t - 592*t - 132. Solve -6*x - t = -34 for x.
2
Suppose -v - 3*i - 22 = -5*v, -4*v = 5*i - 6. Suppose -v*q - f + 2*f + 6 = 0, 0 = -4*q + 3*f + 2. Solve 3*g = -q*g + 15 for g.
3
Let w(k) = k**3 + k**2 - 7*k. Let x be w(-3). Suppose -5*b + 10 = -5*c, 0*b - 46 = -x*b - 5*c. Solve r + 4 = b for r.
3
Let g be 5 + (9/(-7) - 20/(-70)). Solve -6*v = -g*v + v for v.
0
Suppose 2*a + 3*u - 9 = 0, -a + 1 = 5*u + 14. Solve a*r + 20 = 7*r for r.
-4
Suppose 22*j = 3*d + 21*j - 560, d - 5*j - 210 = 0. Solve -2 = -184*b + d*b for b.
-2
Suppose -29*v + 10 = -27*v. Solve v*x + 0*x - 5 = 0 for x.
1
Let n be 3 - (-5 + (-45)/(-10))*-2. Let w = 1 - -2. Solve -w*k - n = -k for k.
-1
Suppose 9*d = 4*d. Suppose -23 = -4*b - 5*w - d, -3*w + 19 = 5*b. Solve -b*c - 12 = c for c.
-4
Let u(o) = o**2 - o - 3. Let k be u(5). Let r be ((-9)/2)/(9/(-12)). Let v = r + -5. Solve -4*q + v = k for q.
-4
Let u(m) be the second derivative of -1/6*m**3 + 13/2*m**2 + 0 + 6*m. Let l be u(11). Solve w - 4 = l*w for w.
-4
Let j(z) = z**3 + 18*z**2 - z - 17. Let p = -54 + 36. Let l be j(p). Solve -5*g = 16 - l for g.
-3
Let t be 76/10 - 32/(-80). Let u(i) = 0*i + 2*i - 17 - t. Let n be u(17). Solve -n = 2*h - 3 for h.
-3
Suppose 28 = -10*h + 12*h. Suppose 7*i - 2*b - 21 = 2*i, -2*b + h = 2*i. Solve 23 - 3 = -i*s for s.
-4
Let v(x) = -25*x + 154. Let f be v(6). Solve 6*t = 8*t - f for t.
2
Let s be (2 - 11) + (-16 - -51). Solve 25*g = s*g - 5 for g.
5
Let y be ((-64)/(-40))/((-4)/(-10)). Let q be y/8*(1 + -1). Suppose -5*d = -q*d. Solve -h = -d*h + 4 for h.
-4
Suppose 76 = 15*c + 16. Solve c*p = -3 - 13 for p.
-4
Let w = 28 - 24. Solve -3*l = w*l - 5*l for l.
0
Let j = 46 - 42. Let c be j*-1*(-1)/4. Solve 4 = x - c for x.
5
Let k(s) be the third derivative of s**4/6 - s**3 - 16*s**2. Let a be k(2). Solve -3 = w + a*w for w.
-1
Let x be 4328/36 - (-4)/(-18). Suppose -5*k - 6*g = -g - x, 3*g = -4*k + 92. Solve 0 = -2*s - 3*s - k for s.
-4
Let w be (16/(-2))/((-8)/12). Let d = -706 + 709. Solve d*y + 0 - w = 0 for y.
4
Suppose 0 = 2*i - 3*i + 6. Suppose -14*t + 804 = 664. Solve t*z = i*z for z.
0
Suppose -8*n - 4 = -4*n, 4*u + 4*n = 12. Solve 3*s + u = 1 for s.
-1
Let n be 8 + 42/(-35)*25/(-10). Solve n*m - 40 = 3*m for m.
5
Let m = 8 + -4. Let q be (-4)/(m/(1*-2)). Let r = -183 + 186. Solve r*t + 1 = q*t for t.
-1
Let d(x) = x**2 + 12*x + 27. Let i be d(-9). Suppose -40*y + 43*y - 15 = i. Solve -u + 12 = -y*u for u.
-3
Let l(b) be the third derivative of -3*b**2 - 5/6*b**3 + 1/120*b**6 + 0*b + 0 + 1/10*b**5 + 1/24*b**4. Let z be l(-5). Solve 0 = 4*i - z + 3 for i.
3
Suppose -5*r + 2*r = 0. Suppose 4 = -r*f + f - b, 2*b = -2*f + 16. Solve -2*h = 2 + f for h.
-4
Let m = -5 - -9. Suppose 3*r = 3*f + 33, -8*f = -3*f + 20. Suppose -2*d - 15 = -r*d. Solve m*w - d*w = 0 for w.
0
Let j = 115 - 54. Let s = -49 + j. Solve -s = -0*i + 3*i for i.
-4
Let y(i) = i**3 - i**2 - 3*i - 3. Let g be y(3). Suppose 8*o + 38*o - 13*o - 99 = 0. Solve -g*n = -o*n for n.
0
Suppose -4*n - 5*t + 11 + 24 = 0, -3 = -t. Solve 0 = -0*m + n*m - 5 for m.
1
Let l(q) = q**3 + 8*q**2 - 5*q - 23. Let g be l(-5). Let r = 79 - g. Suppose -24 = -3*m - 6. Solve 0 = o + r*o + m for o.
-2
Let v = 1206 + -1183. Solve -16 = -v*k + 15*k for k.
2
Let j be (-2 - -2)/(2 - -1). Let t(s) = -s**3 + 2*s**2 + 2*s + 3. Let d be t(3). Suppose -4*v + 24 = -d*v. Solve j = -3*f + v for f.
2
Let f be (-5)/(-3 + -2) - -13. Suppose -2*v + f = 6. Solve 0 = -v*l + 8 + 8 for l.
4
Suppose -3*k = 2*y + y - 6, 0 = 2*k + 5*y - 1. Suppose -5*g = -q - 3*q - 17, -q + k*g - 13 = 0. Suppose q*i = -b, -5*i = 5*b - 7 - 3. Solve b*x + 8 = -4 for x.
-3
Let f(j) = 23*j. Let d be f(0). Let c = 22 - 15. Solve 3*z - 8 - c = d for z.
5
Let r = 1908 + -1902. Solve 0 = -0*x - r*x + x for x.
0
Let s = -90 + 94. Suppose s*r + 4*q - 132 = 0, 4*r - 8*r + 132 = -2*q. Solve 0 = 5*k + 8 - r for k.
5
Let b(p) = 11*p - 123. Let t be b(12). Solve -10*q + t*q = -3 for q.
3
Suppose 2*a + a = 30. Suppose -5*u + 2*u = -2*p - 20, 4*u - 36 = 5*p. Let f be (p/(-10))/((-1)/(-10)). Solve -2*m - a = -f*m for m.
5
Let c = 61 - 47. Let h be c/(-49) + 48/21. Solve k + 1 = h for k.
1
Let g be (8 - 3) + 8 - 8. Solve -2*n = -11 + g for n.
3
Let o be (-12)/(1 - -3) - 1. Let d(q) = -6*q - 5. Let z be d(o). Let v = z - 8. Solve -1 + v = 5*c for c.
2
Suppose 6*z - 3*z = 4*d - 4, 16 = -2*d - 3*z. Let g be (-12)/9*3/d. Suppose -36 + 4 = -g*a. Solve a + 9 = -5*k for k.
-5
Let t(n) = -69*n - 181. Let b be t(-4). Solve b*w = 98*w - 6 for w.
2
Let d(m) = 3*m**2 - 2*m - 67. Let h be d(8). Solve h*v + 24 = 103*v for v.
-4
Let u be ((-174)/29)/(2*(-2)/6). Solve 0 = -3*s - 6 + u for s.
1
Suppose 4*l - 4 = 4*s - 0*s, 1 = 3*l - 4*s. Suppose 5*u - l = -4*f + 2, u = -f. Suppose -6 = -3*v - g, -g + 0*g = -u*v + 18. Solve -v*x = -x for x.
0
Let l = -20 + 28. Let w = -6 + l. Suppose 0 = -5*a - z + 7, -w*z = 2*a - 0*a + 2. Solve -a*v + 5 = -v for v.
5
Suppose 0 = -20*k + 52 + 28. Solve z = -0*z + k*z for z.
0
Let k(m) be the first derivative of -m**5/60 - m**4/4 + 3*m**3 + 4. Let z(i) be the third derivative of k(i). Let b be z(-4). Solve b*o + 1 = 3 for o.
1
Let b(h) = -6*h**2 + 102*h + 17. Let p be b(17). Solve -2*i - 9 = -p for i.
4
Let r be 1/2 - 94/(-4). Let v = r + -16. Solve 3*x - v = -x for x.
2
Let k(y) = -y**3 + 7*y**2 - 4*y - 4. Let n be k(4). Let r = -13 + n. Let w be r*(-2 + 0)/(-6). Solve x = -0*x - w for x.
-5
Let j = -69 - -71. Solve -b = j*b - 12 for b.
4
Let b(z) = 4*z - 23. Let w be b(6). Let u(c) = 9*c - 7. Let n be u(w). Solve l - n = 1 for l.
3
Suppose 4*c = 3*o - 27, 1 - 19 = c + 3*o. Let s = -4 - c. Suppose k = 5, -8 = s*q - 3*q - 2*k. Solve -n + 1 + q = 0 for n.
2
Let o(n) = -10 + n**3 + 21 - 2*n**2 + 2*n - 13. Let k be o(2). Suppose -4*v = -4*q, -5*v + 2 = -q - 6. Solve -q*x + 4*x + k = 0 for x.
-1
Suppose 7824*a = 7832*a - 624. Solve a - 98 = 4*j for j.
-5
Suppose 60 = 7*s - 206. Solve s*h = 42*h + 16 for h.
-4
Let h = 57 + 0. Solve h*p = 58*p - 5 for p.
5
Let k(f) = f**3 - f**2 + f - 1. Let r(m) = -m**3 + 7*m**2 + 9*m - 6. Let b be r(8). Let q be k(b). Solve 0 = -q*c + 10 for c.
2
Let d(q) = -q**2 - 7*q + 3. Let o be d(-7). Let s be 1/o*0/(-1). Let w be (-2)/(0 - -2) - -5. Solve -8 = w*n - s*n for n.
-2
Let a(i) = 13*i - 18. Let d be a(-4). Let k = d + 73. Solve -b - 6 = -k*b for b.
3
Let b be 0 + 35 + 2 + -9. Solve b*l = -18 - 66 for l.
-3
Let a = 18 + 0. Suppose 3*q - a = -3. Solve -q*v = -3*v + 6 for v.
-3
Suppose 161 = -3*j - 70. Let g be 140/j - (-2)/