+ 2 = u*n for n.
2
Suppose -7*v = -24 - 11. Solve v = 3*m + 2 for m.
1
Let o(p) be the third derivative of -p**5/60 + p**4/6 - p**3/6 - p**2. Let z be o(5). Let a be (4/3)/(z/(-9)). Solve 0 = -5*k + 18 + a for k.
4
Suppose 5*n = 5*h, 3*n - 2 = h + 4. Let g be (0 + 0)/(h + -1). Suppose 0 = 4*w - 4*l + l - 20, -5*l - 10 = -2*w. Solve g = -4*r + w*r - 4 for r.
4
Suppose 2*a - 5 = 3. Solve 2*v = v + a for v.
4
Let q(k) be the first derivative of -k**4/4 - 8*k**3/3 - 13*k**2/2 - 5*k + 5. Let j be q(-6). Solve -v - j = -0 for v.
-1
Let f = -113 - -115. Solve 0 = 3*b - 8 + f for b.
2
Let g be (-7)/(-21) - (32/6)/(-2). Solve 3*o + g + 3 = 0 for o.
-2
Suppose 4 + 4 = -2*i. Let j be 3/i - (-11)/4. Solve 0 = -2*b + j for b.
1
Let h be -4 + (-7)/((-7)/2). Let g(o) = -2*o**3 - 4*o**2 - o + 4. Let w be g(h). Let d be 2/8 - 2/8. Solve -w*p + p - 15 = d for p.
-3
Let t be 4*(15/2 + -5). Solve -4*i + t = i for i.
2
Let r = -31 - -31. Solve 0 = 2*k - r*k for k.
0
Let q(g) = 8 + 0*g - g + 9. Let u be q(11). Solve i = 1 - u for i.
-5
Suppose -3*p - 45 = -8*p. Let a = -8 + p. Solve -q + 0*q = -a for q.
1
Let s = 23 + -19. Solve 0*r = 2*r - s for r.
2
Suppose -4*y = 4*d - 5*y - 22, 0 = -3*y - 6. Solve q + d = 10 for q.
5
Let p = -35 - -52. Let k = p + -5. Solve -4*o + 4 + k = 0 for o.
4
Suppose -3*i = -6, 5*i = 4*q + 40 - 6. Let d = q + 11. Suppose 2*p = 5*p - 9. Solve -2 - p = -d*m for m.
1
Suppose -3*v - 2*p = -12, -5*v - 4*p = 10 - 32. Solve -2*m - v*m = 0 for m.
0
Suppose -2*v + 5*d + 16 - 41 = 0, 5*v + 5*d = 25. Let r = -13 + 18. Solve 0 = q - r - v for q.
5
Let r = 34 - 33. Solve -3*s + 2*s = -r for s.
1
Let l be (-10)/40 - (-450)/8. Suppose -5*n + 2*m = -l, 3*n - m - 36 = m. Solve -4*d = n + 2 for d.
-3
Suppose -6 = -3*q - 0. Let n = 9 + -9. Suppose -2*w + 4 + n = 0. Solve w = q*a - 0 for a.
1
Let m be 24/(-156) - (-106)/13. Let d be m + -8 + (1 - -1). Solve -d*s = -s for s.
0
Let j(d) = -d**2 + 9*d + 5. Let r be j(9). Suppose -2*x - r = -11. Solve 12 - x = -3*f for f.
-3
Suppose -6 = -g - 3. Solve 4*k = g*k for k.
0
Suppose 4*w = 0, -4*g = -3*g + 5*w. Suppose g*h - 60 = -3*h. Let i = -6 + 11. Solve i - h = 3*x for x.
-5
Let y(a) = 2*a - 8. Let q be y(6). Let h be (2 - 0)*10/q. Suppose 0 = -i + h*i. Solve -r = -i*r for r.
0
Suppose -15 = 5*q, -4*w + q + 5 = 2*q. Solve z - 3 = -w*z for z.
1
Let z(b) be the third derivative of b**5/60 - b**4/4 - 5*b**3/6 - b**2. Let c be z(7). Suppose 5*k = d + 3*k - 4, 3*d = -c*k + 4. Solve 2*p = 4 + d for p.
3
Let h be 2*(2 + -1 + 4). Solve 0 = c + 4*c + h for c.
-2
Let j(l) = -l**2 + 10*l + 5. Let y be j(6). Solve 5*g - 4 = -y for g.
-5
Suppose 2*y - 9 = -y. Suppose -y*f + 3*r = -3, -4*f + f + 2*r = -6. Solve f = 5*i + 29 for i.
-5
Suppose 3*o + 2*i + 0*i = 92, -3*o + 5*i = -64. Suppose -5*d = 3 - o, -y - 11 = -3*d. Solve -z - 1 - y = 0 for z.
-5
Let h be 4 + (0 - (3 + -1)). Solve -h*f = 3*f + 25 for f.
-5
Let d = 10 - 8. Suppose 0 = b + 2*b - 12. Solve 6 = b*z - d for z.
2
Let a be ((-2)/2)/(1/(-2)). Suppose -2*r + 5*o = -2 + 4, a*o = 4. Suppose -t + 3 = p - 2, r*p - 2*t = 14. Solve 5 = p*n - 3 for n.
2
Suppose -4*h + 0 = -12. Solve h*s + 2 = -4 for s.
-2
Suppose -a + 6*a + 0*a = 0. Solve a = y - 6*y - 25 for y.
-5
Let h(d) = 2*d. Let j be h(2). Solve 4*f = -8 - j for f.
-3
Let i be (-2 + (-21)/(-9))/(1/27). Solve 3 = 3*y + i for y.
-2
Suppose -3*h = 4*w - h - 26, 4*h = -4. Let x = w + -6. Solve 3*c - 4 = -x for c.
1
Let r be ((-2)/(-5))/(1/25). Let g be (-2 - -2) + (-1 - -5). Suppose -q - r = -3*m, -g*q + 7 = m - 5. Solve 7*t = q*t - 10 for t.
-2
Suppose -4*m - 2 = -6*m. Solve 0 = s - m for s.
1
Let z(k) = -k - 3. Let s be z(-11). Suppose 0 = 4*j - 5*a - 26, 3*a + 0 - 6 = -3*j. Solve s + j = -4*x for x.
-3
Suppose -4*j - 4 = 0, 8*j = -2*l + 5*j + 5. Suppose -2*c - 4*r + 16 = 2*c, c - l*r + 16 = 0. Solve c*u + u = 0 for u.
0
Let w(y) = y**3 - 8*y**2 - 9*y + 11. Let v be w(9). Suppose -5*z = -2*o + 25, 5*o - 11 = -z + v. Solve -4*h + o*h + 5 = 0 for h.
-5
Suppose 7*x = 4*x + 9. Solve -2 = -x*u + 1 for u.
1
Suppose 4*z + 4*i = -4, 2*z = -2*i + i. Solve -h + 3 = z for h.
2
Let c be -4 + (-18)/(-15)*5. Suppose -4*a = -5*a + c. Solve -2*j = -0*j - a for j.
1
Let c(n) = -n**3 + 5*n**2 - 3*n. Let s be c(2). Let z be (4 - 1)*s/9. Let a = 3 - -1. Solve a*v + 2 + z = 0 for v.
-1
Let y(l) be the second derivative of -1/3*l**3 + 3*l - 1/2*l**2 + 0. Let i be y(-3). Solve i*a - 7 = -17 for a.
-2
Suppose 2*u - 6 = -0*u. Suppose 0 = -u*v - 0*v. Solve v*n = 5*n - 15 for n.
3
Let i(f) = -f**3 + f**2 + f + 12. Let z = 2 + -2. Let v be i(z). Let w be (-2 + v)/(1/2). Solve -b + w = 3*b for b.
5
Suppose 4*t + 2*y = 6*y + 76, -27 = -t - 3*y. Let z = t + -11. Solve z = 4*g + 26 for g.
-4
Let s(l) be the first derivative of l**4/4 - 8*l**3/3 + 2*l**2 + 2*l - 1. Let b be s(7). Let x = 27 + b. Solve g + g = x for g.
4
Suppose 0 = -6*c + 10*c. Solve -4*n - 2 + 6 = c for n.
1
Suppose 0 = 5*a - 5, 9 = 5*i - 2*a + a. Solve -i*b = -6*b + 8 for b.
2
Let i = -18 + 18. Solve 0*p - 4*p = i for p.
0
Let f be 2 + 1 + -4 + 4. Let j be 2/(-6) - (-34)/f. Suppose 0*r = -r + j. Solve 2*w = r - 1 for w.
5
Let b be 4/(-10) + (-6)/(-15). Suppose 4 = -a - b. Let f = a - -4. Solve f = 2*s - 3 - 1 for s.
2
Let j(s) = 2*s**2 + 13*s - 11. Let p(o) = -o**2 - 13*o + 12. Let b(h) = -2*j(h) - 3*p(h). Let t be b(11). Solve -3*i = -t*i for i.
0
Suppose -t - 4*t + 10 = 0. Let u(q) = -q**2 - 8*q - 1. Let l = 8 + -15. Let f be u(l). Solve -t*a = f - 2 for a.
-2
Let i(h) = -3*h - 8. Let y be i(-6). Suppose 6 = 3*l, 2*l - y = 5*a - 3*l. Solve -9 + a = 3*z for z.
-3
Let w be 6/(-2) - -2 - -26. Solve -w = 2*c + 3*c for c.
-5
Let r = 45 - 25. Let a be -2 - (-7 + 0/(-2)). Solve -a*t - r = -t for t.
-5
Suppose o - 4 = -3. Solve -2*j + 5 - o = 0 for j.
2
Let b = 8 + 4. Suppose b = 5*x - j + 4, -4*x = -4*j. Solve -x = q + 2 for q.
-4
Suppose -3*i - i - 4 = 0, -3*s = 5*i - 7. Suppose s*z - z = -12, 2*k + 3*z = -8. Solve -k*h = 2*h - 16 for h.
4
Suppose -t + 9 = 4*t - 2*a, -5*t + 3 = -4*a. Let l(j) = -j**2 - 8*j - 12. Let v be l(-6). Let p be (-1)/(-2)*4 - v. Solve t*m = 2*m + p for m.
2
Suppose -21 = -0*z - 3*z. Let p = z + -1. Solve -p + 2 = -2*g for g.
2
Let w be (-18)/(-8) + (-2)/8. Suppose -12 = -p - w*p. Suppose -2*k = -3*k + 1. Solve -p*g + k = 5 for g.
-1
Suppose 5*v - 32 = y + 43, -y = -5. Let b be -1*(-4 - v/(-4)). Solve 3*u - u + 8 = b for u.
-4
Let r be 7/(-28) + 5/4. Let i(v) = 21*v**2. Let m(w) = -22*w**2. Let k(b) = 4*i(b) + 3*m(b). Let g be k(r). Solve -6 = 3*h - g for h.
4
Suppose 2*x + 2 = s, -5*s + 0*x - x - 1 = 0. Let c be 0/(3 + (-1 - s)). Solve 15 = -c*w - 3*w for w.
-5
Let k = 4 - 4. Suppose -3*y = -4 + 1. Solve k = h - y for h.
1
Let f(v) = -3*v**2 + 17*v + 10. Let j be f(6). Let u(t) = t**3 - 5*t**2 - 5*t - 6. Let a be u(6). Solve j*p - 7 - 1 = a for p.
2
Let v be (-16)/((-1 - 0)*2). Suppose 3*w = v*w - 15. Solve -w = 3*i + 3 for i.
-2
Let h be ((-1)/(-4))/(5/40). Solve -h*l - 25 = 3*l for l.
-5
Suppose -4*x - 20 = 4*k, 2*x + 0*x + 4*k + 20 = 0. Suppose 5*f = -x*f - 40. Let z = f + 13. Solve z*u + 1 = -4 for u.
-1
Let f be 5 + 2/(-2) + 1. Solve f*n = 4*n for n.
0
Let n = -2 - 4. Let w(l) = -l**3 - 6*l**2 + 3. Let m be w(n). Solve m*p = 21 - 6 for p.
5
Let g = -14 + 17. Let l be 7 - (2 - -2 - g). Solve l = -3*i - 6 for i.
-4
Let w(z) = 3*z - 1. Let a be w(-1). Let o be 1/(-4) - 17/a. Solve -4 = -o*d + 4 for d.
2
Let g(k) = -k**3 + 7*k**2 - 6. Let w be g(7). Let x = w + 11. Suppose 0 = -3*u + 24 - 0. Solve h = x*h + u for h.
-2
Let p(o) be the second derivative of -o**5/20 - 13*o**4/12 - 7*o**3/3 - 7*o**2 + o. Let y be p(-12). Suppose y = 6*c - c. Solve 0*i - 2*i - c = 0 for i.
-1
Let o(l) = 8*l**2 + l + 1. Let z be o(-1). Solve -z = 4*q + 8 for q.
-4
Let h = -55 + 56. Solve -y - 3 = h for y.
-4
Suppose -10 = 2*m - 5*y - 3, m = -2*y + 10. Suppose 8 = 2*c + 3*o, -m*c + 7*c + 2*o = 22. Solve -1 = 3*r - c for r.
3
Suppose -1 = -8*u + 79. Solve 2*n = -0*n - u for n.
-5
Let d = -1 - -11. Let z be d + (-6)/(6/(-2)). Solve h - z = -2*h for h.
4
Suppose -4*v - 141 = 3*c, -3*c - v + 141 = -6*c. Let n = c - -67. Solve 4*p + p = -n for p.
-4
Let p be (2/4 + -1)*-6. Let i = -1 + p. Let t be i/7 + (-276)/(-14). Solve -2*h - t = 2*h for h.
-5
Suppose -v + 4*j + 4 = 3*v, 3*v + 5*