 n = -10 + 12. Solve -n*c = -c + 2 for c.
-2
Let v be -3 + 3 + 0/(-1). Suppose b - 2*b = v. Let t be (-4)/10*(-10 + b). Solve t*d = d - 9 for d.
-3
Suppose h - 1 + 7 = 3*y, 9 = -h + 4*y. Suppose -k - s + h = 0, -14 = -k - 5*s - 3. Suppose -2 = -3*f + k. Solve f = t + 5 for t.
-4
Suppose 3*x = x + 5*u - 12, -2*x = 4*u - 24. Solve -3 + x = -s for s.
-1
Suppose 3*u + 11 + 4 = 0. Suppose -5*a = -a - 28. Let c = a + u. Solve -c*f = -5*f for f.
0
Suppose -17*m = 8*m - 27*m. Let r = 15 + -9. Suppose 75 = 5*j + 5*c, 4*c + 24 + r = 2*j. Solve m*a = -5*a + j for a.
3
Let y(t) = t**2 - 3*t + 5. Let o be y(4). Let n = 18 - o. Solve 4*c = -n + 25 for c.
4
Let a(c) be the second derivative of 0 - c + 0*c**2 - 1/12*c**4 + 11/6*c**3. Let j be a(11). Solve j*f + 8 = -2*f for f.
-4
Let s(u) = u**3 - 6*u**2 + 6*u + 5. Let r be s(5). Let o be (-2)/(-8) - (-15)/4. Suppose 3*t - 4 = -f, -o*t + 5*t + 20 = 5*f. Solve 6 = -f*g - r for g.
-4
Let d(k) = -k**2 - 1. Let s(w) = -w**2 - 9*w + 6. Let m(n) = 2*d(n) - s(n). Let p be m(8). Suppose 0 = -4*o - p*o. Solve o = -f - 2 for f.
-2
Let q = 22 + -8. Let a(l) = -l**3 + 15*l**2 - 14*l + 4. Let z be a(q). Solve 0 = z*j + 5 + 11 for j.
-4
Let b(h) = -h**2 + 8*h - 8. Let u be b(8). Let f be (-3)/(-2) - 4/u. Let i be 0*f*1/4. Solve i*l + 4*l = 0 for l.
0
Let l = -7 - -4. Let z be 42/(6/l) + 0. Let v = -14 - z. Solve 0 = 2*f + v - 1 for f.
-3
Let l = 29 + -19. Solve l = -h + 3*h for h.
5
Let p(r) be the third derivative of -r**5/60 + r**4/4 - 5*r**3/6 - 3*r**2. Let g be p(4). Solve 6*n = 3*n - g for n.
-1
Let t = 23 + -20. Suppose 3*u - 2*p = -2*u, 4*u - p - t = 0. Suppose y = -4*o + 5, -3*o + 5*y = -0*o + 2. Solve o = 3*n - u for n.
1
Let q = 3 + 0. Let a(x) = -7*x**2 - 3*x + 4*x + 2*x + 3*x + x**q. Let k be a(6). Solve -4 = -4*l - k for l.
1
Let z be (-39)/(-15) + (-10)/(-25). Suppose r - 1 = -3*l, -4*r = 4*l + l - 11. Solve j - r = -z*j for j.
1
Let d = -4 + 7. Let s be (-6)/(-3)*2*1. Suppose 5*f - 4*a = 92, 5*f - a - a - 86 = 0. Solve -d*c + s = f for c.
-4
Suppose -5*u + 12 + 19 = i, 4*u = 2*i + 8. Solve 14 + i = -4*h for h.
-5
Suppose 1 = 2*g + 3, 3*g - 5 = -2*k. Solve k*z + 8 = 2*z for z.
-4
Let v = 90 + -77. Solve -12*a - 5 = -v*a for a.
5
Let n be 18/(-2)*(-3)/9. Suppose -n*g = 2*g - 30. Let o(r) = r**2 - 5*r - 2. Let s be o(g). Solve 3 = -a + s*a for a.
1
Suppose 8*c - 12 = 20. Solve p = -c*p for p.
0
Let i(o) = -o**3 + 6*o**2 + 8*o. Let f be i(6). Suppose -q + 5*q - f = 4*a, 4*q + a = 38. Solve 0*j + 2*j + q = 0 for j.
-5
Let p(u) = -u**2 - 8*u - 7. Let j = -13 - -6. Let i be p(j). Solve 0 = -2*a - i*a + 2 for a.
1
Let x = -2 + 2. Let q = 0 + x. Solve q*n + 12 = -3*n for n.
-4
Suppose -2*x + 6 = -x. Suppose -2*h + 2 = -f - 0, 2*f + h - x = 0. Suppose 3*m = f*g + 8, 5*m - 1 - 11 = 3*g. Solve m*i = 5*i + 15 for i.
-3
Suppose 6 = 5*b - 2*b. Suppose -b*h + 12 = -s, h = -2*s + s. Let j be (h/(-10))/(1/(-20)). Solve j = y - 3*y for y.
-4
Let x be (-1 + 2)*(5 + -1). Let t(k) be the third derivative of k**5/60 - 5*k**4/24 + 2*k**3/3 + k**2. Let c be t(x). Solve -2 = h - c for h.
-2
Suppose 0*j - 4*j = -16. Suppose 8 = -j*l + 28. Let s be -1 + -2 + (-6)/(-2). Solve s - 10 = -l*u for u.
2
Suppose 0 = -5*c - 9 + 44. Let q(l) = l**3 - l**2 - l + 4. Let z be q(0). Suppose 0 = -3*o - 6 + 3, -5*o = z*g - c. Solve -g*a + 2 = -4 for a.
2
Suppose -3*u + 9 = 2*p, -15 = -0*p - 2*p - 5*u. Solve z + 4*z + 5 = p for z.
-1
Let c be ((-256)/40 - (-4)/10)*-1. Solve -c*t - 10 = -t for t.
-2
Suppose 2*b - 12 = -2*b, 0 = -4*r + 4*b. Solve -r*h - 1 = 2 for h.
-1
Suppose 0 = 4*t - 12, s = 4*s + t - 51. Solve 0 = 2*j + 2*j + s for j.
-4
Let z be (-3 + (-2 - -6))*0. Suppose 0 = -5*l, 12 + 0 = 4*n + 3*l. Solve z*x - 15 = n*x for x.
-5
Suppose 12 = 3*p + 3*x, 4*p - 7 - 9 = 2*x. Suppose -y = y - 140. Suppose 4*z - y = -5*t, -t + 32 = 3*z - z. Solve -s - z = -p*s for s.
5
Let y(n) = n**3 + 6*n**2. Let u be y(-6). Let d(z) be the third derivative of -z**6/30 + z**4/12 + z**3/6 - 2*z**2. Let t be d(-1). Solve 3*l + u = t for l.
1
Let p be (10 + -14)/(-1 - 1). Solve m + 6 = -p*m for m.
-2
Let m = -3 + 5. Solve 4 - 12 = -m*g for g.
4
Let o be 3/(-8) + (-3 - 179/(-8)). Solve 5*m = o + 6 for m.
5
Let c be 2/(-12) - (-76)/24. Let l be -3*(-1)/6*14. Solve 4*d = -l + c for d.
-1
Let f(b) = 14*b**2 - 23*b - 23. Let y(a) = 5*a**2 - 8*a - 8. Let g(n) = -6*f(n) + 17*y(n). Let i be g(-3). Solve -8 = i*s + 2 for s.
-2
Let t = 104 + -100. Solve 0 = -t*c + 1 - 17 for c.
-4
Suppose -5*s = 2*p - 33, 2*p + 2*p = 5*s - 9. Suppose 0 = p*c - 3*m - 1, 0 = -3*c - m + 2*m + 7. Solve -4 - c = 2*n for n.
-4
Let c(u) = -u. Let b(s) = s**2 - 9*s - 1. Let a(w) = -b(w) + 6*c(w). Let o be a(3). Suppose 2*m - m = o. Solve 5*i - m = -6 for i.
-1
Let p = -1 + 2. Let v be p*3/3 + 8. Suppose -11 = -3*g + 4. Solve 2*y - g*y - v = 0 for y.
-3
Let c be 27/6*(-8)/(-3). Solve -c = -j - 2*j for j.
4
Suppose 0 = 5*m - 4*m + 2*x + 2, 0 = 5*m - 2*x - 50. Solve -3*n - 2 + m = 0 for n.
2
Let d(i) = i - 11. Let x be d(7). Let z be 3 + (x - (-3 - -1)). Suppose -o + 12 = -z. Solve -o = -4*l - 33 for l.
-5
Let w be (2/(-4))/(2/(-8)). Let a(k) = 2*k - 1. Let l = 16 + -14. Let h be a(l). Solve -h*m - 8 = -w for m.
-2
Let k(p) = p**2 + 4*p - 9. Let f be k(-6). Solve 5*q - 22 = f for q.
5
Let l = -4 - -14. Solve 0*w - l = -5*w for w.
2
Let a = 25 + -15. Suppose -2*w = -4*z + 3*w + 60, z + 5*w = -10. Solve -5*o + z = -a*o for o.
-2
Suppose -4*a - a = -3*n - 9, -15 = -4*a + 5*n. Solve 0 = -g + 4 - a for g.
4
Let p = -37 + 57. Let v be 35/p - 2/(-8). Solve -v*n = -3*n - 3 for n.
-3
Let w = -3 - -5. Let q = 11 - 11. Solve v + 3 + w = q for v.
-5
Let t = -10 - -16. Let k = 8 - t. Solve -4*h + k*h = 0 for h.
0
Let h(u) = 3*u**2. Let p be h(1). Let q(d) = -d + 5. Let l be q(p). Suppose l*g = 5*z - 44, 4*g = 3*z - 20 + 2. Solve -5*o = -15 - z for o.
5
Suppose -v - 3*v - 23 = -5*g, -2*g + 2 = 2*v. Solve 5*y = g - 8 for y.
-1
Let g(d) = 5*d**3 + 11*d**2 + 3*d + 2. Let r(c) = -3*c**3 - 7*c**2 - 2*c - 1. Let n(y) = 5*g(y) + 8*r(y). Let k be n(0). Solve 3 = -5*x + k*x for x.
-1
Let g = 156 + -147. Solve -3*w + g = -0*w for w.
3
Suppose -p = 5*r - 20, -4*p - 2*r + 5 + 3 = 0. Suppose 3*y - 12 = -3*c, 2*c + 4*y - 6 = 8. Solve l = -p*l + c for l.
1
Let d(z) = 2*z + 16. Let b be d(-6). Solve -b*y = -28 + 8 for y.
5
Suppose 0*j = -j. Suppose 10 = 10*q - 5*q. Solve j*a - q = -a for a.
2
Suppose 5 = -8*p + 13*p. Solve 0*x + x = p for x.
1
Suppose -2*q + 4 = -a - 4, -2*q + 5*a = 0. Solve -3*x - q = -17 for x.
4
Suppose -2*b + 20 = 2*b. Let f(y) = 2*y - 1. Let w be f(3). Let a = b - w. Solve a = 7*r - 6*r + 1 for r.
-1
Let f be 16/56 - 24/(-14). Solve -y - 3 + f = 0 for y.
-1
Let z(s) = -2*s - 4. Let l(o) = -o**3 - 7*o**2 - o - 10. Let u be l(-7). Let b be z(u). Let p be 2 + (-6)/b + 1. Solve -y - y - 6 = p for y.
-3
Suppose 2*h + 19 - 69 = 0. Suppose -5*x + a + h = 0, -x + a + 0*a + 9 = 0. Suppose 0 = 5*f + 14 - 39. Solve -1 = -f*w + x for w.
1
Let c(z) = 5*z**3 + 1 + 5*z**2 - 4*z**2 - 2*z**2 - z. Let r be c(1). Solve -20 = -r*i - 4 for i.
4
Let l(g) = -g**2 + 2*g + 1. Let r be l(4). Let c = -1 - r. Suppose -f = -c*f. Solve f*h = h for h.
0
Let m be (21/(-6) - -3)*0. Suppose 0 = b + 4*z + 10, m*b - 4*b = -4*z - 20. Solve -b = -2*x + 2 for x.
2
Suppose 3*o + 3 = 2*u - 13, 0 = -5*u - 2*o + 2. Solve -u*s + 6*s = 0 for s.
0
Suppose 0 = -2*r - 12 + 30. Let t = r - 1. Let c be (0 - (-8 + 2)) + 2. Solve 4*n = c*n - t for n.
2
Suppose 3*r + 6 = 2*r. Let c be 4/(-6) + (-16)/r. Suppose c*t - 5 = -3*x - 1, 2*t - 4 = 5*x. Solve -3*w + x*w = 0 for w.
0
Let j = -23 + 33. Suppose 0*g + 4*q = -5*g + 28, j = 5*q. Suppose 24 = t - 5*b, 5*t + 4*b = -0*t + g. Solve c = -t*c + 25 for c.
5
Suppose 3*v = -v - 12. Let s = 14 + -22. Let c = v - s. Solve c*y + 11 - 31 = 0 for y.
4
Let m(z) = 12*z - 6. Let g be m(-6). Let s be (2/(-6))/(2/g). Let u(h) = h**2 - 7*h + 3. Let f be u(7). Solve 0 = 2*p + f - s for p.
5
Let s(n) be the second derivative of -n**3/3 - 2*n**2 - 10*n. Let l be s(-4). Solve p = -l*p - 15 for p.
-3
Let v be 8*(0 - -3)/(-3). Let b be ((-2)/1 - v) + -3. Solve -2*y = -3*y - b for y.
-3
Let g = -21 - -29. Suppose 0 = -4*n + g. Solve 0 = -n*l - 2*l for l.
0
Let m(v) be the second derivative of -v**3/6 - 5*v**2/2 + 2*v. Let f be m(-5). 