 5*j - 28. Let h = j - 6. Solve h = 3*n + 2*n for n.
0
Let n = 13 + -13. Let s be (n/3)/(2 + 0). Solve -u + s*u - 2 = 0 for u.
-2
Let o be (-3)/(-3 - -2) - 2. Let h be 5 - (2 + (1 - o)). Solve 1 + 2 = -h*i for i.
-1
Let p(i) = i**2 + 8*i - 10. Let x be p(-8). Let s(j) = -j - 7. Let f be s(x). Solve -f*y - 3 - 12 = 0 for y.
-5
Let p(h) = -3*h**3. Let a be p(-1). Solve a*g = 7*g - 8 for g.
2
Let n(j) = -2*j - 5. Let a be n(-12). Solve 4*q + 1 + a = 0 for q.
-5
Let o be 3/(-12) - 37/(-4). Suppose -o - 6 = -3*w. Suppose 0 = -b - 4*q + 16, 0 = 4*b + q - 178 + 69. Solve -8 = -w*h - b for h.
-4
Let p be ((-7)/(14/30))/(-1). Solve f + 2*f - p = 0 for f.
5
Let r = -4 - -5. Solve 0*g = g - r for g.
1
Let b(s) = -s**3 + 4*s**2 + s - 2. Let v be b(4). Suppose 4*w - 4 = -v*g, -3*g - 1 = w - 7. Solve -3*o + w*o = -12 for o.
4
Let k be ((5 + 7)/2)/(1 - -2). Solve 0 = k*f + 3 - 1 for f.
-1
Let g(c) be the third derivative of c**4/4 + c**3/6 + 7*c**2. Let f be g(4). Solve -2*s = 3*s + f for s.
-5
Suppose -5*x = 64 + 81. Let g = x - -17. Let k = g - -28. Solve 0 = 5*q - 4 - k for q.
4
Suppose -3*o - 9 = 4*f - 2*f, 5*f + o + 29 = 0. Let q be (-34)/6 + 2/f. Let c be ((-5)/2)/(3/q). Solve -10 = 5*k + c for k.
-3
Let g = -18 + 20. Solve -3*y = -g - 1 for y.
1
Suppose 4*a + 4 = 4*q, -5*q + a + 4 = -9. Suppose 4*v - 13 = -3*y + 17, -y = q*v - 15. Solve -y = -g + 3*g for g.
-3
Suppose 0 = p - 4*p - 6. Let h(o) = -o**2 - 5*o - 1. Let x be h(p). Solve x*c - 4*c = 0 for c.
0
Let n(i) = -i**3 - 2*i**2 + i. Let c be n(1). Let o = c + 6. Let r = -4 + o. Solve 5*k + 1 - 26 = r for k.
5
Suppose -r - 5*v + 23 = 0, -5*r - 5*v = -v - 31. Let w = 8 - r. Solve 3 = w*m - 2 for m.
1
Let h be ((-6)/(-4))/((-9)/(-12)). Suppose 7*g - h*g = 15. Solve g*c + 0 = -3 for c.
-1
Let k be (-21)/14*8/6. Let b be -2 + -2 + 12 - k. Suppose 3*p + 2*p - 10 = 0. Solve 3*h + p*h = b for h.
2
Suppose 5*m = 3*w - 10, -4*m + 5*w - 7 - 14 = 0. Let y(r) = -r**3 - r**2 - r - 1. Let s be y(-1). Solve s*p - m = -p for p.
1
Let x be 4 - -3*(-2)/6. Suppose -4*b = x - 19. Solve -3*p - 2 - b = 0 for p.
-2
Let f = 30 + -8. Let t = 33 - f. Let z = 15 - 6. Solve 4*i - z = t for i.
5
Let h be 4 + (-6)/3 + 10. Suppose 0 = a - 0*a - h. Solve 0 = -3*l - a for l.
-4
Suppose -4*a - 4*r = -4, 0 = 5*a - r - r - 26. Suppose -a + 2 = -y. Suppose -y*d = -7 - 3. Solve -5*p - d - 20 = 0 for p.
-5
Let j be 1*-1 - (-1 + -5). Let l = 32 - 30. Solve -17 = -j*z - l for z.
3
Suppose -4*n + 9 - 85 = 0. Let q = n - -11. Let l be 0 + -2 - 32/q. Solve y - l = 1 for y.
3
Let f(k) = -k**3 + 7*k**2 + 8*k. Suppose -5*x = -6*x + 3. Suppose 5*u - 37 = -4*j, -3 = -6*u + x*u. Let q be f(j). Solve q = -2*i - i + 9 for i.
3
Let w be 1 - -2*6/4. Let o = 0 + -3. Let s = w + o. Solve -2*h + h = -s for h.
1
Let h = 17 + -14. Solve 2*d - d = -h for d.
-3
Let w be (27/(-6))/((-27)/36). Solve -4 - w = 2*v for v.
-5
Let c be (-3)/(-12) + 2/(-8). Suppose -n + 0*n + 5 = c. Suppose n*s - 24 = 2*g, g = 4*s + 3*g - 30. Solve s*t = t for t.
0
Let t be 3*(-1)/2*-2. Let v = t - 2. Solve 3 = -z - v for z.
-4
Let t = 35 - 20. Let p = t + -9. Let z be 3*p/(-9)*-2. Solve 3*x = -x + z for x.
1
Let q(r) = r**3 + 6*r**2 + 6*r + 3. Let k be q(-5). Let g = -2 - k. Solve 0 = 2*o - g*o for o.
0
Let g(r) = r - 9. Let y be g(6). Let q = -11 - -14. Let c = q + y. Solve c = -l - 2 - 3 for l.
-5
Let v be 2/5 + 9/15. Let c = 1 - v. Suppose 3*m + c*m - 9 = 0. Solve -3*d = -6*d - m for d.
-1
Suppose 0 = -2*p - 2*s + 16, 2*p + 0*p - 4*s + 8 = 0. Solve -2*i - p = 2*i for i.
-1
Suppose u - 5*u - 28 = 0. Let h(j) be the third derivative of j**6/120 + j**5/10 - 7*j**4/24 + 2*j**3/3 + j**2. Let s be h(u). Solve 3*k - 2 = s for k.
2
Let a = 49 - 29. Let j be a/6 - (-6)/9. Suppose -j*k = -5*o - 5, o + 3 - 6 = 0. Solve k = -r + 3 for r.
-2
Suppose 0 = -0*u + 3*u + 12. Let l(m) = -1 - 3 - m + 2. Let g be l(u). Solve -g*v + 4*v = 0 for v.
0
Let t = -27 + 29. Let o = 5 + 0. Let y be (-2 - (t - 2)) + o. Solve r = y*r + 10 for r.
-5
Let x = 8 - 2. Let h(a) = 5*a**2 + a + 2. Let s be h(-2). Suppose u - x*u + s = 0. Solve 5*g - 4*g - u = 0 for g.
4
Suppose 2*z - 30 = -z + 5*d, -19 = -5*z - 2*d. Solve -z*i + 2*i + 6 = 0 for i.
2
Suppose -y = 1, -7*y + 9 = 2*j - 2*y. Suppose -2 = 4*v - 2*p, p - 1 = -0*v - v. Let g(f) = -f**3 + f**2. Let a be g(v). Solve 3*t + j + 8 = a for t.
-5
Let n be (-1 - -1 - (4 + -2)) + 4. Solve 3 = -n*m + 13 for m.
5
Let n be 5/(5/(-4)) - -2. Let m be n/(-6) + (-33)/(-9). Solve m*s + 9 - 1 = 0 for s.
-2
Let x be (9/2)/(11/(-2) - -6). Solve -6 = -u - x for u.
-3
Let s = 3 + -9. Let u(f) be the first derivative of -f**3/3 - 5*f**2/2 + 8*f - 1. Let q be u(s). Solve -b + 3 = q*b for b.
1
Suppose -5*k + 10*k - 35 = 0. Let d = 12 - k. Suppose -4*u + d*u - 2 = 0. Solve -3*c = -c + u for c.
-1
Let a(g) = -g**3 + 11*g**2 - 11*g + 10. Let l be a(10). Suppose -2*h = t - 5, l = -h - t - 2*t. Solve -6 = -0*i - h*i for i.
2
Let d(x) = -3*x - 8. Suppose 6 = -4*n + 3*n. Let o be d(n). Suppose 2*l - 44 = -2*l - c, l - 2*c - 2 = 0. Solve l*y - 5*y - o = 0 for y.
2
Let g be 12/30 - (-8)/5. Let d be (6/8)/(3/(-12)). Let l be (-3)/d - (g + -4). Solve 2*v + l*v = 25 for v.
5
Suppose -46 = -10*b - 16. Solve -b = -0*j + 3*j for j.
-1
Let a be ((-1)/2)/((-2)/(-20)). Let c be a + -2 + 2 + -1. Let h(m) = -m**2 - 7*m - 1. Let f be h(c). Solve -5*y - f + 25 = 0 for y.
4
Let x be (-5 + 1)*1/(-2). Suppose -2*k = 3*k - 4*t - 40, x*k - 5*t = 33. Suppose k = r + 3. Solve 4*p + r = 5 for p.
1
Let w(r) = -r**3 - 2*r**2 + 3*r + 3. Suppose x = -s - 0 - 7, 3*x + 12 = 0. Let n be w(s). Let p(v) = v**2 + 5*v + 6. Let c be p(-4). Solve -4 - c = n*i for i.
-2
Let i(d) = d + 10. Let v be i(-5). Solve 0 = -2*p + v*p - 15 for p.
5
Suppose 4*m = -4*c + 24, 3*c + 3*m = -2*m + 22. Solve -c = k - 0*k for k.
-4
Suppose 13*j - 63 - 2 = 0. Solve -j*d - 9 = 6 for d.
-3
Suppose v - 104 = -3*v. Solve 0 = -4*m - 10 + v for m.
4
Let n be -2 + -2 + 0 - 13. Let v = -15 - n. Solve -4*d = v + 2 for d.
-1
Suppose -2*y - 35 = -7*y. Suppose -y = -3*b + 11. Solve -2 = 4*o + b for o.
-2
Let a(d) = d**3 + 4*d**2 + 2*d - 2. Let i be a(-3). Suppose 0 = -2*z + i + 5. Solve z = -r + 1 for r.
-2
Suppose 0 = -4*t + 3*t + 6. Solve 0 = 2*z - 5*z + t for z.
2
Let l be 2*((-2)/4)/(-1). Let c be l + -3 + (-5)/(-1). Suppose 2*y = c*f, 2*y + 2*y = 4*f + 4. Solve h - f*h = 3 for h.
-3
Suppose -2*x = 2*w - 4*x - 8, -2*w = 5*x + 20. Suppose w = -5*k + q + 38, -k - 3*q = 2*q + 8. Let b = -2 + k. Solve 4*a + b + 3 = 0 for a.
-2
Suppose -j - 3 = -2*j. Suppose j*n - 35 - 4 = 0. Let u(y) = y**2 + 3*y + 3. Let g be u(-2). Solve 3*b = -n + g for b.
-4
Let g = 4 + -4. Suppose -s - 1 - 3 = 0, 3*t - 3*s - 51 = g. Solve 2 = -5*f - t for f.
-3
Suppose 0 = -5*d + d + 20. Solve d*a = 4*a for a.
0
Suppose 0 = 4*l - 17 + 5. Suppose 0 = -b + l - 0. Suppose 2*q - 24 = 5*x - x, b*q = -2*x + 4. Solve 2*s - q = 4*s for s.
-2
Let o(p) be the third derivative of -p**6/24 - p**5/30 - p**4/12 - p**3/6 + 5*p**2. Let y be o(-1). Solve h = -h + y for h.
2
Let r = 130 + -125. Solve 6*u = u - r for u.
-1
Let o(b) be the third derivative of b**5/60 - b**4/24 - b**3/3 - b**2. Let x be o(2). Solve -c - 1 + 0 = x for c.
-1
Let d be ((-8)/5 - 0)/(1/(-5)). Solve 0 = 5*o - d + 23 for o.
-3
Let n = 8 + -3. Let t = -3 - -4. Solve -n = 2*x + t for x.
-3
Let t(d) = -d**3 + 8*d**2 - 2*d + 3. Let i be t(8). Let l = -8 - i. Solve -2*c = -l*c + 6 for c.
2
Suppose 0 = 3*b + 1 - 4. Let r = b - 1. Solve l + 3*l - 12 = r for l.
3
Let u = 27 - 21. Solve u = 3*v - v for v.
3
Let n(h) = h - 12. Suppose -c + 9 = -2*i, -4*i - 24 = 6*c - 2*c. Let b(f) = 1. Let a(r) = c*n(r) - 2*b(r). Let q be a(7). Solve -q*o - 3 = -9 for o.
2
Let x(s) = -s - 7. Let d be x(-2). Let c = -1 + -10. Let i = d - c. Solve 0 = 2*p - 5*p + i for p.
2
Let m = -67 + 68. Solve r - m = 1 for r.
2
Let t = 11 - 6. Suppose -5 = -z + n, -n = t*z + 3*n - 34. Solve z*a = a for a.
0
Let x = -34 + 35. Solve -o + x + 4 = 0 for o.
5
Let c(w) = -3*w**3 - 3*w + 0*w + 3 + 4*w**3. Let u be c(2). Suppose y - 16 = u*k - 3*y, -8 = -2*y. Solve k = 6*h - 2*h - 4 for h.
1
Suppose 0 = -3*r, -3*o - 3 = r - 18. Suppose o = z, y + 3*z - 28 = -2*z. Solve f - 2*f = -y for f.
3
Suppose -2*o + 2*a + 10 = 0, -3*o + 7 = 5*a - 0. Solve o = d - 0*d for d.
4
Let l = 