25 = m + j + 8. Solve 2*c + m = 6*c for c.
5
Suppose -5*x - 4*v + 17 = -10*x, 0 = -x - 5*v + 14. Let f(n) = 2*n**2 + n + 1. Let t be f(x). Solve -3 = t*g + g for g.
-1
Let z = 10 - 4. Let o(r) = r**3 - 6*r**2 + 4. Let v be o(z). Solve 0*a - v*a = 12 for a.
-3
Let k(a) be the third derivative of -5*a**4/24 - a**3/6 - 2*a**2. Let x be k(-1). Solve x = 4*t - 2*t for t.
2
Suppose -5*x - 9 = 1. Suppose -5*p = 8 - 28. Let v = p - x. Solve 3 - v = 3*n for n.
-1
Let a be (-4 + 4)/(3 - 1). Solve 0 = i - 5 - a for i.
5
Let b be (-3 - 10/(-5))*-5. Solve -b*p = -4 - 6 for p.
2
Suppose -5*m + 0*m + 10 = 0. Let z be m + (-2 - 1) - -10. Suppose -v = 5*f + 8 + z, 0 = -v - 3*f - 9. Solve v*h + h = 12 for h.
3
Suppose 3*v = 4*v. Suppose v = 2*i - 6*i + 8. Suppose 27 + 3 = i*m. Solve 3*w - m = -3 for w.
4
Suppose k = -k + 4, -k + 6 = -y. Let w be 21/(-6)*y/7. Solve -s - w*s + 3 = 0 for s.
1
Let y be 2/(-8) + 21/4. Suppose -21 + 1 = 4*m, -5*m - 59 = -2*n. Solve -y*o - 2 = -n for o.
3
Let l(r) = 24*r**2 + 1. Let c be l(-1). Suppose w - c = -4*w. Let a = w - 1. Solve k = a*k + 3 for k.
-1
Let u = -6 + 6. Suppose 0 = 2*a + 10, u = 5*g - g - 3*a - 15. Solve 5*v + g = -25 for v.
-5
Let g = 16 + -6. Suppose -3*s = 5 + 10, 0 = u + 3*s. Suppose 5*p - y - 28 - 2 = 0, -4*y = 20. Solve p*b = g + u for b.
5
Suppose 0 = 3*f + 2*r - 38, 35 + 26 = 5*f + r. Let v(t) = -14*t + 2. Let n(y) = -7*y + 1. Let l(j) = 7*n(j) - 4*v(j). Let g be l(2). Solve -5*q = -f - g for q.
5
Suppose -z = z + 2. Let h = 2 - z. Suppose h*m = -m. Solve m = 3*w - 3 for w.
1
Suppose 0 = 2*o + 3*o - 5*j, 0 = -4*o - j. Solve 8*q - 6*q + 10 = o for q.
-5
Let i(s) = -s**3 + 4*s**2 + 6*s + 1. Let g be i(5). Solve g + 6 = -3*o for o.
-4
Let a(k) = -k**3 - 9*k**2 - 2. Let f be a(-9). Let n be f/(-3) + 26/6. Suppose n*s - 26 = -1. Solve -c + 8 = -s*c for c.
-2
Let c = 3 - -2. Let h = 1 + c. Solve h + 4 = -5*g for g.
-2
Let r(k) = k**2 + 9*k + 2. Let n be r(-9). Solve c - 5 = n*c for c.
-5
Suppose -7 = -3*m + 4*r, -r - 2*r = 3*m. Solve 5*y = m - 26 for y.
-5
Let g(t) = 4*t**2 - 4*t + 4. Let p be g(1). Solve -5*q = 21 + p for q.
-5
Let s(l) = -5*l + 2. Let j be s(-3). Let b(v) = -v**2 - 2 - 4*v + 0*v**2 + 3. Let t be b(-3). Solve -t*o + j = -3 for o.
5
Let z(h) = h - 2. Let l be z(1). Let g be (-33)/(-4) - l/(-4). Let m = -6 + g. Solve -10 = -0*u + m*u for u.
-5
Let k = -50 - -55. Solve k*t - 1 = 9 for t.
2
Let u be 5/(-15) - 7/(-3). Suppose u*z = 4*z. Suppose -2*v + z = -6. Solve 0 = v*t + 2*t + 10 for t.
-2
Suppose -4*z + 90 = -2*r, -2*r = 4*z - 0*r - 110. Solve -z = a + 4*a for a.
-5
Let v = -78 - -80. Solve 0 = -q + 3 + v for q.
5
Let c(m) = -m**3 + 8*m**2 - 7*m - 1. Let x be c(7). Let q = 1 - x. Solve q*r + 6 = -0*r for r.
-3
Let i = -19 + 20. Solve 2*z - i = 3 for z.
2
Suppose z + 3*z = 4*n - 4, -4*n + 4 = -z. Suppose -5*u + z*u = 4*q + 12, -u - 8 = -2*q. Solve 3*y - 25 = -q*y for y.
5
Let t = 21 + -13. Suppose -p + j = -8, -2*p + t = p + j. Suppose 2*v = p*i + 4 - 22, -4*i = -v - 21. Solve 0 = -3*w + w - i for w.
-3
Let x(b) be the third derivative of b**4/4 - b**3/6 - b**2. Let f be x(1). Let r(v) = v**2 - 5*v + 7. Let g be r(f). Solve 3*z = g*z for z.
0
Suppose 2*r - 7 - 13 = 0. Suppose 14 = 3*h - 1. Let k = r - h. Solve -8 - 2 = -k*l for l.
2
Suppose 4*c + 2*k = 4*k - 14, 2*k - 7 = -3*c. Let r be 2 - (c/1)/1. Solve r*d + 2 = -7 for d.
-3
Let g = -28 - -40. Solve 0*d - g = -4*d for d.
3
Let p(r) = -3*r + 1. Let g be p(-1). Suppose g*n - 19 = -7. Solve 2 = n*w - 4 for w.
2
Let y = 14 + -14. Suppose -7*k + 4*k + 3 = y. Solve -4 = u + k for u.
-5
Suppose -10 = 3*x - 5*x. Let c = 6 + -2. Solve -c*n = -3*n - x for n.
5
Let k(r) be the first derivative of -r**2/2 - 6*r + 1. Suppose 5*u = -20 - 10. Let g be k(u). Solve w - 4*w = g for w.
0
Suppose -2 + 6 = u. Suppose 0 = -p + u*p + 126. Let f = p - -81. Solve f - 14 = 5*t for t.
5
Suppose -4*g = -12, 3*g - 14 = -2*p + 19. Suppose -2*b + r = -r + 2, 3*r = p. Solve -b = f - 2*f for f.
3
Let w = -2 - -3. Let y = 84 - 124. Let a be y*(9/15 - w). Solve 0*k + a = 4*k for k.
4
Suppose -4*y + 94 = -y - 5*o, 2*y + 5*o = 46. Suppose -3*v - 4*z + y = 0, -v - v - 3*z = -19. Solve -3*c - v = c for c.
-2
Let t be (-2 - -1)*1*3. Let u be ((-6)/(-8))/(10/80). Let j be (0/2)/(u/t). Solve -3*x + 0*x - 9 = j for x.
-3
Let j(q) = -q**2 - 5*q. Let c be j(-4). Suppose 5*z = -c*p - 7, -2*z = 5*p + 4 - 8. Suppose -15*s + 16 = -74. Solve -s = -p*g + 4 for g.
5
Suppose -7 = -3*s - 1. Suppose -p = 4*p - j - s, -3*p = j + 2. Suppose 2*b - 4*b + 6 = p. Solve -b*t = -4*t for t.
0
Suppose 0 - 3 = -w. Solve 2 + w = a for a.
5
Suppose 10 = -2*p + 7*p. Suppose -p*k = 4*d - 0*d, 2*d - k = 0. Let h(n) = 2*n + 19. Let u be h(-7). Solve -u*s = -d*s - 20 for s.
4
Let y = -30 + 32. Suppose 5*t - 18 = p + 8, 2*p = -2*t + 20. Suppose -2 - t = -l. Solve -l = 5*a + y for a.
-2
Suppose 2*q = p - 0*q - 8, -3*p - 5*q = -35. Solve -3 = -p*l + 13*l for l.
-1
Let u = 22 + -20. Solve u*h - 3 = h for h.
3
Let o(k) be the third derivative of k**6/120 - 2*k**5/15 + k**4/24 - 2*k**3/3 - 4*k**2. Let a be o(8). Suppose 0 = -2*h - a + 8. Solve h*n = n for n.
0
Suppose 0*p - 2 = 2*p. Let l = 1 - p. Suppose -4*o = 2*r - 26, 5*r + l*o - 14 - 19 = 0. Solve 2*i - 6 = r*i for i.
-2
Suppose 0 = -4*p - 13 + 49. Let w = -9 + p. Solve w = r - 6*r + 5 for r.
1
Let x = 15 + -12. Suppose -h = x*q - 2*h - 16, 2*q = -4*h + 6. Solve q*d - 2 - 23 = 0 for d.
5
Let k = 20 - 13. Solve 0 = -11*n + k*n for n.
0
Suppose 5*b - 3*h - 13 = 5, -5*h = 5. Let n be b/9*3 - -2. Suppose 0*q + 3 = q - f, f - 9 = -n*q. Solve 2*j = j + q for j.
3
Suppose 0 = -5*s + 3 + 47. Let t(p) = p**3 - 10*p**2 - 7*p - 2. Let k be t(s). Let a be ((-2)/3)/(4/k). Solve -5*o - a = -2*o for o.
-4
Let x(t) = t - 3. Let s be x(3). Let v = s - 0. Let w = 286 + -283. Solve i + 0*i - w = v for i.
3
Let h(f) = f**3 - 11*f**2 + 24*f + 5. Let b be h(8). Solve -3*p + 1 = -b for p.
2
Let g(w) = w**3 - 4*w**2 - w - 12. Let y be g(5). Solve 0 = f + f - y for f.
4
Suppose -4*i - 2*v = 3*v + 12, -3*i - 4*v = 10. Solve -i*h = h - 3 for h.
1
Suppose -5*t + 8 = -17. Suppose -4*n + 3 = -t. Solve -s = -0 - n for s.
2
Let t be (-4)/(-3)*9/(-6). Let j be t/(-12)*4*6. Solve -q = -j*q - 15 for q.
-5
Suppose -2*k + 3*r = 2 + 4, k + 3*r = 6. Suppose k - 8 = -2*s. Solve 2*z + 2*z - s = 0 for z.
1
Let b = -4 - -13. Suppose 5*q - b = 6. Let j be 8/q + 2/6. Solve j*i + 0*i = -3 for i.
-1
Let p(u) = -u + 2. Let g(r) = -r + 8. Let h be g(6). Let t be p(h). Solve t = d + 1 for d.
-1
Let r = -58 + 94. Suppose 2*j - j - 4*m - r = 0, 92 = 4*j - 3*m. Solve -4*h = h + j for h.
-4
Let g be 0 + (0 - (-2 + 28)). Let v = g - -36. Solve v + 2 = 3*t for t.
4
Let l(o) = -o - 1 - 11 - o. Let m be l(-8). Solve 0 = m*a - 6*a for a.
0
Suppose -2*u = -7 - 1. Suppose -2*n = -u*n - 8. Let i be (-395)/(-20) - 1/n. Solve -t + 6*t = -i for t.
-4
Let d be 2/8 - 69/(-12). Let r(y) = -6*y**2 + 5*y + y**3 - 5*y + 5. Let t be r(d). Solve 2*h - t*h = -3 for h.
1
Let q(x) = x**2. Suppose -5 = 4*h - l + 8, -h = -4*l + 22. Let f be q(h). Let i = f - 0. Solve -i*p + 8 - 24 = 0 for p.
-4
Let x(p) = -p**3 + p. Let g be x(-1). Suppose 0*n + 2*n - 8 = g. Suppose 4*f = 3*f + 3, 0 = -3*l + n*f. Solve -l*o = 4 - 0 for o.
-1
Suppose 0 = 6*i - 2*i. Solve -f + 2 - 3 = i for f.
-1
Let r be (-14)/(-35) + 2/(-5). Solve z + 1 + r = 0 for z.
-1
Let p be (26/(-7) - -2)*105/(-10). Solve -5*y - 2 = p for y.
-4
Suppose 4*s + 3 = 7. Solve -13 + s = -4*d for d.
3
Suppose -3*p + p + 23 = -3*y, 0 = -y - 3. Solve -13 - p = -4*g for g.
5
Let m = 3 - -2. Let l = m - 3. Suppose -4*z - 12 = 0, -l*z = -2*x - 0*z + 16. Solve -x*r - 8 = 7 for r.
-3
Suppose -3 = -a + 2. Suppose 0 = s + 5*z - 11, a*s - z - 9 = -3*z. Suppose -2*i - 5*r = s, r - 2 = -3. Solve x + i = -0*x for x.
-2
Suppose -4*g = -6*g + 14. Let t(z) = -z**3 - 7*z**2 - 5*z + 4. Let n be t(-6). Let y = g + n. Solve y*f - 3*f + 10 = 0 for f.
-5
Let q = -62 - -62. Solve q = f - 2 for f.
2
Suppose 2*w - 43 + 1 = 0. Let l be 36/w - (-2)/7. Solve 5*j + l = -8 for j.
-2
Let i(z) = z + 3. Let m be i(-4). Let t be 5*12/10 + m. Solve -4*b + t - 1 = 0 for b.
1
Let v = 95 - 91. Suppose -2 + 10 = -3*u + 4*l, 0 = 3*u - 3*l + 3. Solve -u = 2*p + v for p.
-4
Let l be (1/(-3))/((-3)/(-90)*-2). Solve -j = -2*j - l 