 c = j - 15. Solve v = 3*i + c*i for i.
0
Suppose -2*w + 20 + 22 = -2*g, 4*w + 2*g = 108. Solve 3*o = -2*o + w for o.
5
Suppose -3*f + 26 = 2*m, -m - 13 = -2*f + 2. Suppose 3*g - n + 6*n = 16, -5*n + 6 = -2*g. Solve f = 3*u + g for u.
2
Let f be (-6)/1*6/(-9). Let v be 4/(f - 2) + 12. Let x = v - 8. Solve 5*c + 9 + x = 0 for c.
-3
Let c = 23 + -32. Let k = c + 14. Let w be (-4)/5*2*-5. Solve 0 = -k*l + 3*l - w for l.
-4
Let h(r) be the first derivative of 2*r**3 + r**2 - 3*r + 5. Let w be h(2). Solve 0 = -0*u + 5*u + w for u.
-5
Let u(s) be the second derivative of -s**5/20 - s**4/6 - s**3/3 + s. Let g be u(-2). Solve -j - g = j for j.
-2
Let c = 9 - 5. Let v(i) = i**3 + 5*i**2 + 4*i + 3. Let l be v(-4). Let h(g) = 8*g - 4. Let p be h(l). Solve -q + p = c*q for q.
4
Let k = -52 - -55. Solve -6*f - 12 = -k*f for f.
-4
Suppose p - 31 = -29. Solve 0 = p*h + 2*h - 16 for h.
4
Let v(t) = t**3 - t**2 - 3*t - 3. Let w be v(-2). Let h(u) = 3*u + 8. Let y(l) = 1. Let q(i) = -h(i) - 4*y(i). Let j be q(w). Solve j = d + 2*d for d.
5
Suppose d - 3 = -11. Let r be (d/(-4) + -10)*-2. Let l = -2 - -4. Solve -l*c + r = -6*c for c.
-4
Let f(q) = q**3 - 10*q**2 + q - 2. Let v be f(10). Solve -v = -0*n - 2*n for n.
4
Suppose 0 = 4*g - 4*o - 36, 0 = -3*g - 2*o + 3 + 4. Let d(k) = -9*k**3 + k. Let w be d(-1). Solve -g*h - w = 2 for h.
-2
Let r be (0 + 1)/(11/77). Solve -r*j + 20 = -2*j for j.
4
Let l(n) be the first derivative of -1/3*n**3 + 6*n - 2 - 2*n**2. Let f be l(-5). Solve -1 = v + f for v.
-2
Let p be 8/(-12) + 4/6. Solve -3*z + 6 = -p*z for z.
2
Let f = -4 - -16. Let i = f - 9. Solve n + i = 8 for n.
5
Let m be 24/(3*(-1)/(-2)). Let w be (4 - 1)/(6/m). Suppose -3*y + 2 = -19. Solve 0 = 5*k + w + y for k.
-3
Let a(q) be the first derivative of -2 - 1/3*q**3 + 2*q - 1/4*q**4 + 1/2*q**2. Let t be a(0). Solve -t*n - 4 = -3*n for n.
4
Suppose 5*m = 2*s - 6 + 26, -3*s - 20 = -5*m. Solve s*g - 15 = -5*g for g.
3
Suppose -6 = 3*y - 4*t + 6, -6 = -2*t. Solve -2*k = -y*k - 10 for k.
5
Suppose -4 = o - 0, -w - 14 = 5*o. Suppose 0*d - 2*d = w. Let t(k) = k**3 + 3*k**2 + k + 4. Let p be t(d). Solve p + 19 = -4*s for s.
-5
Let p(d) = -2*d**3 + d**2. Let b be p(-1). Suppose 5 = g + b. Suppose 11 = 2*y + 5*z, 0*z - 7 = -3*y + g*z. Solve y*r = 4*r for r.
0
Suppose 7*k = 2*k + 25. Suppose -3*g + 2*f + 10 = -k*g, -25 = 2*g - 3*f. Let t be (-1 + 0)/(4/g). Solve -q - t*q - 6 = 0 for q.
-2
Suppose -7*n + n + 36 = 0. Solve 2*a + n = -0 for a.
-3
Suppose -2*v + 47 - 9 = 0. Let h = v + 1. Suppose -4*q = -h, -4*x + 2*x + 4*q = 20. Solve 3 + x = 3*b for b.
1
Suppose 4 = 2*c - 0, -c + 2 = 4*k. Suppose 4*f + 0 + 12 = k. Let p(v) = -v**3 - 4*v**2 - 3*v + 2. Let y be p(f). Solve 3 = y*g - 7 for g.
5
Let m be (4 - 2) + 2 - -2. Let b be -5 - m/(-3) - -11. Solve -15 = -3*y + b*y for y.
-3
Suppose -11 = -3*u + z, 4*u = 8*u + z - 17. Suppose -u*a - a = 0. Suppose a = m + 4*w + 15, 2*w = 4*m - 0*m - 30. Solve 2*h - m*h = -3 for h.
1
Let i = -44 + 44. Let g(y) = 2*y**2 + 5 - 2 - 2 - 2*y. Let k be g(2). Solve i = -3*j - k - 1 for j.
-2
Suppose 3*c - 13 = 2. Suppose -3 = b - 2*b. Suppose -5*j + 32 = b*j. Solve -j*a = c + 3 for a.
-2
Let j be (-12)/30*(-2 + -3)*1. Solve 4*r = j*r - 4 for r.
-2
Suppose 5*r = 5*j, -2*r = -j - 3*j + 6. Let t = 6 + -11. Let v(y) = y**3 + 4*y**2 - 8*y - 3. Let z be v(t). Solve -j = 5*s + z for s.
-3
Suppose -2*f - 4 = -12. Solve 0 = -4*s + 3*s + f for s.
4
Let o(t) = 4*t + 2 - 5*t + 0*t + 2*t. Let k = -1 + 1. Let z be o(k). Solve -z*b - b = 0 for b.
0
Let c(o) = -o**3 - o**2 + 15. Let d be c(0). Solve -6*j = -3*j + d for j.
-5
Let g(x) = x**3 + 5*x**2 - 7*x - 4. Let i be g(-6). Suppose -2*v - i = 2. Let u = v - -6. Solve -u*t = -8*t + 16 for t.
4
Suppose 3*a = 3*c, 3*c - 8 = 5*c - 4*a. Suppose 2*y + z - 2 = 4, 0 = -2*y + c*z - 4. Solve -3*l = -y - 7 for l.
3
Let g(c) = -c**2 - 2*c + 3. Let t be g(-4). Let s = 8 + t. Solve -4*m - 3 = -s*m for m.
-3
Let l be -20 + (-2 + 3 - -2). Let d = l - -20. Solve -d*n + 0 + 3 = 0 for n.
1
Let y(c) = -c**3 + 2*c - 1. Let x be y(-3). Suppose 0 = 3*q + 3*d - 21, 5*q - x = -4*d + 2*d. Let f = 2 + q. Solve 0*r = -f*r + 20 for r.
5
Suppose 10 = 6*f - f. Suppose -3*g + 6 = -3. Solve -f*y + 1 = g for y.
-1
Suppose -3*p + 1 = -2*g, -3*p - 2*p - 4*g - 35 = 0. Let w be 10/3 + p/9. Suppose 0 = -2*t + 1 + 3. Solve -w*l - 10 = t*l for l.
-2
Suppose -5*m - 8 = -2*u, 0 = m + 5*u - 10 - 10. Suppose m*l = -4*l + 60. Solve l + 10 = 5*j for j.
5
Let o be 2*-1 + (-1 - -1). Let z = o + 4. Suppose w - z*w = -3. Solve w*s = -3 + 6 for s.
1
Let c be 0 + (18/3 - 1). Solve -c = -2*k - 3 for k.
1
Let f(i) = -6*i - 3. Let j be f(-3). Let k be (j/2)/((-6)/(-12)). Solve 4*n - k = 1 for n.
4
Suppose 23*i - 22*i - 2 = 0. Solve 7*v - i*v = 5 for v.
1
Suppose 0 = -0*q - 3*q + 9. Suppose -2*x = -0*x + 2. Let d be (0 + 1)/(x/(-5)). Solve d*y - 7 = q for y.
2
Suppose -3*f + 8*f = 20. Let p(m) = -m**2 + m + f*m + 0*m + 1. Let y be p(4). Solve -y*r + 3 = -12 for r.
3
Let x be 6/27 + 133/9. Let q = x + -12. Solve -q*v - 5 = 2*v for v.
-1
Let i(h) = -9*h**2 + h - 1. Let t be i(1). Let p be -3*-1*(-6)/t. Solve q - p = 2 for q.
4
Let j = 9 - 7. Solve -w + j*w + 5 = 0 for w.
-5
Suppose -8 = -2*g - 2*g. Let i = g + -2. Suppose 0 = -i*y + 2*y. Solve -5*k - 10 - 5 = y for k.
-3
Suppose 0*l = l - 29. Let n(a) = -a**3 - 11*a**2 - 16*a + 1. Let h be n(-9). Let g = l + h. Solve 0 = -5*u + 8 + g for u.
4
Let v = -2 - -7. Let j be 2/(-8) + v/4. Solve c + 0 = j for c.
1
Suppose 5*s + 6 = -r, -1 = s + 4. Solve 5*y - 6 = r for y.
5
Suppose 10 + 5 = 2*x + n, 5*x + 3*n = 38. Let z = x - -1. Solve 5*t = t + z for t.
2
Let z be 2/10 + (-42)/(-15). Let y = z - 1. Solve -y*p + 1 = -7 for p.
4
Let f = 5 - 6. Let s be 5/5*f/(-1). Suppose -4*a - a = -25. Solve s = a*n - 4*n for n.
1
Let a(u) = u**2 + u + 1. Let i be a(-3). Solve -16 = -3*g + i*g for g.
-4
Suppose 5*o = -g + 11 + 91, -4*o + 78 = -g. Solve 3*h = -h + o for h.
5
Suppose -3*d - 54 = 3*f + 18, 2*f - 2*d + 68 = 0. Let u be f/(-6) + 9/54. Solve 3*s + 2 = u*s for s.
1
Let r(p) = 3*p - 3. Let o be r(1). Solve w + 5 - 1 = o for w.
-4
Suppose 4*j - 7*j + 6 = 0. Suppose 0 = j*l - 5*l + 15. Suppose 8 = l*o - 22. Solve 0 = -5*k + o - 31 for k.
-5
Suppose 5*q = -3*a + 97, -2*a = -0*a - 5*q - 23. Suppose w + 6 = d, 2*d - 8*w = -3*w + a. Solve -7*k + d*k + 10 = 0 for k.
2
Suppose p = -3*p + 8. Solve 0 = -p*g - 0*g + 8 for g.
4
Let z(i) = -i**2 - 2*i + 12. Let k be z(-4). Solve 0 = t + 1 - k for t.
3
Let y(k) = 1 + 11*k + k**2 - 11*k + 2*k**2. Let h be y(1). Solve h*s + 12 = s for s.
-4
Let t be 6 + -5 + 0 + 1. Let v be 0 + 7 + (-6)/t. Solve 10 = -v*a - 6 for a.
-4
Suppose -2*p = 4*m - 12, 5*m - p - 10 = 3*m. Suppose -m*l + 16 = -4. Solve -7 = 4*n + l for n.
-3
Let s = -3 + 7. Suppose -8*q + 28 = -s*q. Suppose -b + q = 3*w, 4*b + 3*w - 2*w - 17 = 0. Solve -5*p + b = -6 for p.
2
Let p(g) = -2*g + 0 + 3 - 1 + g. Let x be p(-2). Let j be x/10 + (-112)/(-20). Solve -2*f = -j*f for f.
0
Suppose -p = -3*p - 2*s, -3*p + 3 = 2*s. Suppose -6*o + o = 20, 30 = -3*k - p*o. Let m = -1 - k. Solve 0*w - w - m = 0 for w.
-5
Let h be 2/(-7) - (-92)/28. Let t(l) be the third derivative of l**4/24 + l**3/6 + 5*l**2. Let v be t(h). Solve -v*n + 15 = n for n.
3
Suppose -5*f - 42 + 2 = 0. Let w = -5 - f. Suppose k - 1 = -0*k, 0 = -h + 3*k + w. Solve -2 + h = -4*i for i.
-1
Suppose -i + 10 + 0 = 0. Suppose -12*z + i = -7*z. Solve 6 = -z*y + 2 for y.
-2
Let z(m) = m**3 - 6*m**2 + 2. Let i be z(6). Suppose 3 + 5 = i*r. Solve -r*l + 0 = -16 for l.
4
Let w be ((-6)/(-4))/3*32. Suppose -2*v - 2*v + w = 0. Solve -v = 4*y + 8 for y.
-3
Let s = 10 + -4. Let x = s + -4. Let d = 59 + -59. Solve d = -x*w - 0*w - 2 for w.
-1
Let a = -1 - -6. Solve 0 = a*d - d for d.
0
Let x(g) = g**2 + 2*g + 2. Suppose 0 = 8*r - 3*r + 15. Let k be x(r). Solve 0 = 4*m + m + k for m.
-1
Let x(z) = -3*z - 4. Let j be x(-2). Solve l - j = -7 for l.
-5
Let l = -16 - -23. Suppose 2*b - h = 2*h + l, h = 4*b - 9. Solve -b*y + 3*y = -2 for y.
-2
Let p(k) = 2*k. Let b(d) = 9*d. Let g(h) = 5*b(h) - 24*p(h). Let m be g(-1). Solve -x = 4 - m for x.
-1
Suppose 4*k = -3*t - k + 30, -t + 5*k - 10 = 0. Solve 0*s = t*s for s.
0
Let y = 147 - 140. Solve -y*n = -5*n + 6 for n.
-3
Let x = -6 - -6. Solve x = -5*b