 -8*g + n*g for g.
0
Suppose 5*z = -2*p, -3*z = 4*p - z. Let x(b) = -b + 4. Let c be x(p). Let k = -10 + 14. Solve -c*r - 8 = k for r.
-3
Suppose -2*x - 2*j - 7 + 3 = 0, 4*x = -3*j - 10. Let b be 2 - 3 - (-2 - -3). Let u = b - x. Solve 6*c = u*c + 20 for c.
5
Let q be (1 - -1) + (-1 - -4). Let b = 9 - 5. Suppose b*j + j = q. Solve 5*u + j = -4 for u.
-1
Let v(u) = u**2 - 5*u + 6. Let h be v(4). Let n(d) = d**2 - 4*d + 4. Let y be n(4). Solve -h*k - y = -0 for k.
-2
Let j be 8/3*36/16. Let k(w) = 6*w**3 - 2*w**2 + 2. Let f be k(3). Let h be f/10 + j/15. Solve 6*g = g + h for g.
3
Suppose -22 = 4*p - 2*p. Let o = -9 - p. Solve t + o = -1 for t.
-3
Let i(z) = -z**2 - 8*z - 7. Let k be i(-7). Suppose k = -5*w - 5 + 20. Solve -4 = -w*s + 5 for s.
3
Let o(l) = 5*l**3 - 2*l**2 + l. Let d be o(1). Let w(v) = v**2 - v. Let j be w(-1). Suppose b = d*z + 20, -b + j*z + 0*z = -10. Solve b = f - 0 + 2 for f.
-2
Let l = 15 + 9. Solve -l = 5*s - 4 for s.
-4
Let s be 12 + 0*(1 - 2). Solve a = -2*a + s for a.
4
Suppose 0 = 2*x - 7*x - 20, -3*f - x = 16. Let o be f + 2 + 1 + 1. Solve -4*m = -o*m + 8 for m.
-2
Let s = 4 - 4. Suppose 0*l - 2*l = s. Solve l = -2*x - 2 - 0 for x.
-1
Let v = 47 + -30. Let j = v - 13. Let n = -1 + 1. Solve 3*a + a - j = n for a.
1
Suppose -z - 3*z - 4 = 0. Let x(i) = -4*i - 1. Let j be x(z). Solve -3*u + 0 = -j for u.
1
Let j = -9 - -11. Solve 0*g + g = j for g.
2
Let z(l) = l**2 - 6*l + 1. Let n be z(6). Solve -d + 2 = n for d.
1
Let b(k) = k**2 + 7*k - 1. Let r be b(-7). Let t be (5/(-1))/r*4. Solve -3*w - 2*w - t = 0 for w.
-4
Let h(i) = 2*i - 7. Let m = 8 + -5. Suppose -13 = -m*s + 11. Let c be h(s). Solve 4*k - 15 = c*k for k.
-3
Let y = 13 - 10. Solve -y*x + 2*x = 1 for x.
-1
Suppose -w - 2*l - 1 = 0, w - 3*l = -6*l - 4. Suppose 1 = w*c - 4. Let g be -5 + 5 - c*-2. Solve -3*n = g - 5 for n.
1
Let w be 2/(-18) - (16/18 - 2). Solve -16 = -3*f - w for f.
5
Suppose 3*d = 2*m + 6, 2*m = -d - 2*m + 2. Let t = -7 - 3. Let h = t - -16. Solve z - h = -d for z.
4
Let q be -1 + -4 + 2*1. Let j(h) = -h**2 - 2*h + 4. Let a be j(q). Suppose c - 13 = -3*l, 6*c - c - 17 = l. Solve f - a = -l for f.
-2
Suppose -14 = 134*s - 141*s. Solve -4 - 2 = -s*v for v.
3
Let n be ((-51)/(-34))/((-6)/(-8)). Solve n*f - 7*f = -15 for f.
3
Let g be -1 - -31*1*1. Suppose 3*o - g = -4*t, -2*o + t + 6 + 3 = 0. Let w be (-10)/45 + 4/18. Solve -o = 3*k - w*k for k.
-2
Let c(l) = -2*l**2 + 3*l + 4. Let m be c(0). Solve m - 9 = z for z.
-5
Suppose 2*k = 5*n - 10, n - k - 2 = -0. Let l(i) = -7 - 3*i + 4*i + n*i - 4*i. Let v be l(-8). Solve 0 = 2*w - 3*w + v for w.
1
Let w(v) be the third derivative of -v**4/24 - 11*v**3/6 - v**2. Let m be w(0). Let r be m/(-2) + (-12)/8. Solve -r*g - 17 = -5 for g.
-3
Let y = 0 + -11. Let d = y - -13. Solve -3 = d*i + i for i.
-1
Suppose 0 = -5*x + 3*x, -4*j = -5*x - 80. Suppose -5*y + 60 = -j. Solve -2*d - 2*d - y = 0 for d.
-4
Let r(g) = 23*g**3 + 13*g**2 - 9*g + 2. Let b(f) = 11*f**3 + 6*f**2 - 4*f + 1. Let m(j) = -13*b(j) + 6*r(j). Let x be m(-1). Solve 0 = 4*n - 2*n - x for n.
3
Suppose -u = -0 - 5. Suppose 5*z - z - 13 = h, -u*h + 5*z - 5 = 0. Solve 5 = h*g - 7 for g.
4
Let c = 50 - 25. Solve -w + 6*w = c for w.
5
Suppose c - 8 + 4 = 0. Suppose 22 = c*q + 2. Solve -3*r - 8 = -q*r for r.
4
Let f = 20 + -23. Let z = 3 - f. Solve -g = -z*g - 25 for g.
-5
Let w = 11 + -11. Suppose w = g + 10 + 1. Let p be g/4*28/(-7). Solve -3 + p = 2*b for b.
4
Let f(t) = 2*t - 6. Let j be f(5). Suppose 4 = j*v + 2*z - 8, z = -4*v + 16. Suppose 5*r + y = -v, -10 = -3*r + y + y. Solve r*d = -d + 3 for d.
3
Let k(t) = t**3 - 2*t**2 - 3*t + 4. Let i be k(3). Solve i = 5*u - 3*u for u.
2
Let q = -10 + 15. Let p be -1*1*(-5 + 2). Solve c + q = p for c.
-2
Suppose -2*s = -3*s + 5. Solve 0 = 5*d + 20 - s for d.
-3
Let a = 8 + -6. Let k be 8/6*12/8. Let u = a - k. Solve u = -5*v + 2*v for v.
0
Let x(a) = a**3 - 4*a**2 - 6*a + 4. Let c be x(5). Let k be c/3 - 7/(-3). Solve k*p = -0*p + 8 for p.
4
Let k(w) = -2*w - 6. Let b be k(-4). Let n = 4 - 4. Solve -2*t - b = -n for t.
-1
Suppose -p + 3*i + i = -14, -3*i = -p + 12. Suppose -5*g = -2*g + p. Let m be (6/4)/((-1)/g). Solve -3*o + m = -0*o for o.
1
Let v(p) = p + 4. Let o be v(-3). Let t be (-2 - (-2 + 0))*o. Let r be 0/1 - (-9 + t). Solve 4 - r = i for i.
-5
Suppose 5*x = -2*z + 23, -x - 2*z = -4*z - 7. Solve 0 = -0*s + x*s + 20 for s.
-4
Suppose 26 - 2 = 4*d. Let z be (5 + -7)/((-4)/d). Solve -10 = -z*t - 2*t for t.
2
Let v be 3/3 + (-8)/(-2). Solve 0 = -v*b - 0*b + 25 for b.
5
Suppose 5*t - 13 = 22. Suppose -4*n + 57 = -5*i + 14, 2*i = 4*n - 22. Let r = t + i. Solve r = -3*g + 4*g - 3 for g.
3
Let l be (2 - (-6)/(-3))/1. Let t = l - -6. Let s = t - 4. Solve s*i - 9 = -3 for i.
3
Suppose -1 = -5*g + 19. Solve 0*q = -2*q + g for q.
2
Let z = 6 + -1. Solve u = -4*u + z for u.
1
Suppose -14*g = -17*g + 5*g. Solve g = -5*k + 2 + 3 for k.
1
Let w(t) = -t + 1. Let q(b) = -b**2 + 5*b + 1. Let j be q(6). Let g be w(j). Solve g*l - 2*l = 0 for l.
0
Suppose 0 = 4*q + 3*y + 4, 5*q + 0 + 6 = -4*y. Solve -w - 1 = -q for w.
1
Suppose 4*d - 11 = -3. Suppose -r = 3*f + f - 9, 8 = d*f. Let q be (-3)/(-6) - r/2. Solve q*g = -0*g - 8 for g.
-2
Let w(d) = -3*d - 7. Let j(h) = 5*h + 14. Let a(k) = -6*j(k) - 11*w(k). Let l be a(3). Solve l*m + 4 = -0*m for m.
-2
Suppose 34 = 4*j + 10. Solve 0 = -j*r + 4*r for r.
0
Let x(g) = -g**2 + 5*g + 3. Let p be x(5). Suppose 2*n + 1 = -a, 3*n + 3 + p = 0. Let i be 12 - ((-1)/1 - -1). Solve 0 = -a*k - 0 - i for k.
-4
Let d = 28 + -8. Suppose 3*u - d = 28. Solve -u = -4*w - 0 for w.
4
Let l(j) = -17*j**3 + 3*j**2 + j - 2. Let w be l(2). Let u be w/(-5) + (-5)/(-25). Solve -u = 5*n - 0*n for n.
-5
Let b(r) = r - 2. Let x be b(5). Suppose 4*h = x*h. Let s be h/(4/(-1 + -1)). Solve 0 = 3*q - s + 9 for q.
-3
Suppose 5*v + 28 = -3*t, 18 = 2*t - 5*v + v. Let r = t - -3. Solve -4*y + 6 = -r*y for y.
3
Suppose -4 = 4*c + 5*t, -c - 7*t + 2*t = 16. Suppose -3*x + 5*o - 9 = -6*x, c*x + o = 12. Solve -x*d = -4*d + 1 for d.
1
Let h be (1 - (-4)/(-5)) + 266/70. Solve 0*t + 16 = -h*t for t.
-4
Let t = 0 - 0. Solve -4*w + 0*w + 8 = t for w.
2
Let x = -5 + 8. Suppose -2*v + 3 + 3 = 0. Let l = v - x. Solve l = -h + 4*h + 3 for h.
-1
Suppose -5*j - 6 = -16. Solve -6 = 2*u - j for u.
-2
Let t be (0*(-3)/6)/1. Solve -2*g + 4*g - 2 = t for g.
1
Suppose 11 = 4*p + v, 5*p + 5*v - 15 = 4*v. Suppose 6 = -2*y, 2*y + 11 = -s - p*s. Let c be s + (-9)/(-5 + 2). Solve c*o + 3 = 3*o for o.
3
Suppose -5*f + 24 = 9. Let r(j) be the third derivative of j**5/30 - j**4/6 + j**3/6 - j**2. Let h be r(f). Solve -13 = -5*i + h for i.
4
Suppose -5*g = 4*j - 8, 0 = 2*g - 3*j + 2 - 19. Solve -g*a + 1 = -11 for a.
3
Suppose 2 = -h + 5. Suppose 4*v = 3*v + h. Solve -v*s = -s + 10 for s.
-5
Suppose -5*y + 7*y = 3*u + 25, 10 = -3*y - 5*u. Let z(c) = c**3 + 4*c**2 - 6*c + 7. Let v be z(-5). Solve 2*f + v = y*f for f.
4
Let z(c) = c + 8. Let p be z(6). Let l be 18/(-63) + 130/p. Let g be -5*1*4/(-10). Solve m = -g*m + l for m.
3
Let w = -5 + 6. Let m be 1 - (1 - w - 1). Suppose 0 = 2*z - 10, -2*i = -z + 3 - m. Solve -i = 2*r - r for r.
-2
Suppose 0 = -0*j - 2*j + 4*o + 38, -5*o - 80 = -5*j. Let d = 17 - j. Solve 0 = -4*q - d for q.
-1
Let t = -7 - -11. Solve -3 = -t*m - 7 for m.
-1
Suppose -3*z = 2*z. Solve z = -3*g - 1 - 5 for g.
-2
Let x = 2 + 13. Solve x = -4*c + 7*c for c.
5
Suppose -19*n = -21*n + 8. Solve n*w - 11 - 1 = 0 for w.
3
Suppose d = -0*d - 5*t - 24, t = -5*d. Suppose 5*l + g + 2*g = -3, d = -g. Solve l*a = -2*a for a.
0
Let n = 1 - 1. Suppose n = -3*o + o + 4. Suppose -o*i - 5 = -3*u, 17 = -i + 5*i + 3*u. Solve i*g = -g - 12 for g.
-4
Suppose -3*o + 28 = -0*o - 4*r, 5 = -5*r. Suppose -2*f + p = 2*p - 4, -4*f + o = 3*p. Solve f*n - 2 = -4 for n.
-1
Let o = -4 + 6. Suppose -2*g - 2 = 5*c, -4*c + 0*c + o*g + 2 = 0. Solve 0 = -2*m - c*m + 8 for m.
4
Let t = -14 + 23. Suppose 1 + t = 2*g + 5*x, -4*x = -3*g + 15. Solve -1 = -g*k - 21 for k.
-4
Let s be 1/4 - 5/4. Let k(g) = -2*g - 2*g**3 - g**2 + 3*g**2 + 3*g. Let h be k(s). Solve -v + 2*v = -h for v.
-3
Suppose -5*n + d + 19 = 0, -20 = -n - 3*n + 2*d. Solve 0 = -2*g - n*g + 5 for g.
1
Suppose c + 9 = 4*c. Suppose -c*s = 4*a - 1, 2*a + 2*s + 22 = 5*a. Let i be 25*a/(-10)*