-j + 9, -21 = -j - n*j - 3*v. Suppose 0 = x - j*x + 6. Solve h - 2*h = -x for h.
3
Suppose -2*c - 3*k = 1 + 6, -4*k - 20 = 0. Solve -2 = -2*n + c for n.
3
Let s(c) = -c**3 + c**2 - c. Let h be s(2). Let t(g) be the second derivative of -2*g**3/3 - 9*g**2/2 - g. Let z be t(h). Solve -5*q + 0*q = z for q.
-3
Let m = 86 - 81. Solve -o = -m*o for o.
0
Let n be (-20)/6*18/(-4). Suppose 2*k + z - n = 6*z, -5*k + 2*z = -6. Suppose -8 = -2*d + 4*g, k*d + 5*d - 5*g = 15. Solve 0 = c + c - d for c.
1
Let k = 7 + 1. Let t = k + -5. Let z = t + -2. Solve -2 = 3*b + z for b.
-1
Let k(h) = 2*h. Let i = -8 - -11. Suppose -2*f - 5*o + 24 = 2*f, 2*o - i = 5*f. Let l be k(f). Solve l + 23 = 5*s for s.
5
Suppose -5*s = -78 + 53. Solve -s*i + 16 = 6 for i.
2
Let a be (-3)/5 + (-22)/5. Let g = 14 - a. Solve 0 = 5*y - 6 - g for y.
5
Suppose 9*x = 2*x. Solve x = 5*t + 4 + 1 for t.
-1
Suppose -o + 13 = o - t, 2*t + 18 = 2*o. Let p = -1 - 2. Let f = 6 + p. Solve f*c = -c - o for c.
-1
Let t = 6 + -4. Let o = t + -8. Let g(c) = -c**3 - 6*c**2 + 3. Let k be g(o). Solve k = s + 2 for s.
1
Let y be 6/21 - (-94)/14. Solve 13 = -5*f - y for f.
-4
Let o(a) = -2*a - 6. Let m be o(-7). Solve -3*d = -5*d - m for d.
-4
Suppose 5*j - 87 = -3*x, 3*j + 5*x - 49 = 16. Solve 0 = 4*o + o + j for o.
-3
Let b(f) = -f + 5 + 0*f - 2. Let q be b(0). Solve 4*u = q*u - 1 for u.
-1
Let z be 3 + (-1 - -1) - -1. Solve 0*j = -j + z for j.
4
Let j be -2 + (5/1)/1. Suppose 0*v = j*v. Let o = v - -4. Solve o*b + 2 = -10 for b.
-3
Suppose -8*n = -12*n - 80. Let z = -20 - n. Solve -2*p + 1 + 1 = z for p.
1
Let m = 76 - 116. Let h = m + 76. Suppose y = 4*y - h. Solve -2 = 5*b - y for b.
2
Suppose 2*x + 2*z + 9 = x, -x - 4*z = 13. Let r = 5 + x. Solve -2*t - 4 = -r*t for t.
-2
Let a be (-3 - -2)*(-1 + 1). Solve b - 5 + 2 = a for b.
3
Suppose 0 = 5*i - 6 - 14. Let r(w) = -3*w + 2*w**2 - 1 - w**2 - i + 9. Let j be r(3). Solve -j*o - o = 5 for o.
-1
Let z(y) = -y + 10. Let l be z(7). Solve -l = -k + 1 for k.
4
Let q(a) be the third derivative of -a**6/120 + a**5/60 + 13*a**3/6 + a**2. Let m be q(0). Solve m = 5*t + 3 for t.
2
Let w = 62 - 54. Solve -w*t + 3*t + 25 = 0 for t.
5
Let f be 2 + -3 + (-9)/(-3). Solve f*a = -3*a + 5 for a.
1
Let g(m) be the second derivative of -m**5/20 - m**4/2 - m**3/3 + 4*m**2 - m. Let i(t) = 4*t + 2. Let d be i(-2). Let w be g(d). Solve 0 = 6*o - o + w for o.
-4
Suppose o = -o + 4. Suppose 5 = -o*d - 13. Let y = d - -9. Solve 5 = -5*c - y*c for c.
-1
Let j = 25 - -3. Suppose 4*r - j = -4*n, 0 = 5*r + 4*n + 6 - 36. Suppose 3*a = -r*a + 30. Solve -2*g + a = g for g.
2
Suppose -k + 0 + 2 = 0. Suppose -2*g = -5*g - 18. Let t be (16/g)/4*-12. Solve k = -2*r - t for r.
-5
Let p be 2/3*(6 - 0). Solve -p*f = f + 5 for f.
-1
Let a = 2 - 3. Let s be -1 + (-2 - (a - 3)). Solve 5 = -3*c - s for c.
-2
Let p(g) = -2*g + 9. Let j(o) = 3*o - 2. Let w be j(-2). Let h be p(w). Solve h = -0*u - 5*u for u.
-5
Let d be -12*2*1/3. Let v be 14/8 - 2/d. Suppose v = t - 1. Solve -t*k = -k for k.
0
Suppose 50 = 18*x - 22. Let q = 1 - 1. Suppose 0*a + 4*a - 20 = q. Solve x*h = a*h for h.
0
Let b be ((-5)/10)/((-1)/(-10)). Let c be b - -12 - (2 - 0). Solve -c = 3*l + 7 for l.
-4
Suppose 4*g = g + 63. Let o = g - 14. Let p = -2 + 4. Solve p*d - o*d = -25 for d.
5
Let u be ((0 - -5) + -1)/2. Suppose u*f = f. Solve 3*c - 4 - 8 = f for c.
4
Let i be 2*(-5)/(-6)*3. Suppose 0 = -5*s + 4*n + 11 + 15, 0 = -4*n - 16. Suppose 0*t - s*t = -8. Solve -t*d + 13 = i for d.
2
Let n = -48 + 53. Solve -3*i + 6 = -n*i for i.
-3
Let s(v) = v + 8. Let z be s(-5). Solve h = -0*h + z for h.
3
Let q be ((-30)/(-8))/((-4)/16). Let h be (-42)/(-15) - 3/q. Suppose 2*i - 4*b + 6 = 0, -h*b + 0*b + 2 = -4*i. Solve -2*d + 1 = -i for d.
1
Let j(g) be the second derivative of -g**3/6 + 2*g**2 + g. Let y be j(4). Solve -x = -y*x + 1 for x.
-1
Let x(r) = -r**3 - 9*r**2 - 9*r - 8. Let d be x(-8). Solve 4*m - 13 - 7 = d for m.
5
Let v be (18/(-8))/((-6)/16). Suppose 2*r = 5*r - v. Let u = r + -2. Solve -w - 2 - 3 = u for w.
-5
Let u = 25 + -23. Solve -3*o - u = 7 for o.
-3
Let k = -14 - -8. Let x = 32 + k. Suppose -2*v + 16 = 5*b, -b - 4*b + 3*v = -x. Solve 0 = h - b for h.
4
Let w(i) = -i**3 + 4*i**2 + 5*i + 4. Let d be (-3)/(9/(-3))*5. Let r be w(d). Solve 2*s - s = r for s.
4
Suppose 5*m + 13 + 2 = 0. Let o = -4 - m. Let n = 4 + o. Solve n*j + 1 = -2 for j.
-1
Let c be (-38)/14 + 4/(-14). Let o = 2 - c. Solve -o*a = -0*a + 5 for a.
-1
Let k = 19 + -13. Let q be (k/4)/((-21)/(-140)). Solve -5*g - 35 = -q for g.
-5
Suppose 5*h - 3 = 7. Suppose -z = h*z. Let l be (1 - 0) + -1 + z. Solve -2*v - 3*v - 25 = l for v.
-5
Let m be 10/8*44/11. Let g(y) = -y**3 + y**2 + 2. Let b = -2 + 0. Let f be g(b). Solve 11 + f = m*o for o.
5
Let x = -117 - -121. Solve -x*m - 3 = -15 for m.
3
Let v(a) = -a - 4. Let i be v(-8). Solve 0 = 3*d + 19 - i for d.
-5
Let d(y) = y. Let l be d(5). Suppose c + l = 12. Let u = c + -4. Solve -2*b - u = b for b.
-1
Suppose -8 = -4*s + 4. Solve 0*v - s*v = 3 for v.
-1
Suppose -a - 5 = 2*v - 0*a, 4*v + 5 = -a. Solve 14*f - 19*f = v for f.
0
Suppose -4*l + o = -2*o - 31, -o - 5 = 0. Solve 1 = l*g + 5 for g.
-1
Let c(j) = j**3 + 6*j**2 - 4*j + 6. Let z be c(-7). Let b = z - -16. Solve 2*g - b = 3 for g.
2
Suppose 4*i = -4*o - 0*i + 36, -30 = -5*o - 2*i. Let p be (-4)/10 - 24/(-10). Suppose p*s - 3*s = 0. Solve s = x + o - 3 for x.
-1
Let h(f) = 5 + f - 1 + 0*f - 2*f. Let j be h(4). Suppose -4*o + 8 = -p + 6*p, j = -4*p - 2*o + 4. Solve 0*n - 3*n + 12 = p for n.
4
Let p = 51 - 11. Suppose -2*q - p = -6*q. Solve s - q = 6*s for s.
-2
Let h = -95 - -101. Solve 0 = 3*c + h + 3 for c.
-3
Let h be 8/(-12) + 68/(-6). Let n = h - -32. Solve n = -3*d - d for d.
-5
Let i be (9 - -3)*2/4. Let f(b) = b - 12. Let m(v) = v - 13. Let t(w) = -3*f(w) + 2*m(w). Let z be t(i). Solve 7*q = z*q for q.
0
Let p be -2 + -1 + 86/2. Let r be (-18)/(-12)*16/3. Let d be (-1)/(-5) - r/p. Solve d = 5*l - 10 - 0 for l.
2
Let t = -18 - -21. Suppose j + 4*j + 60 = 5*i, t*i - 4*j = 39. Solve 3*g = i - 3 for g.
2
Let j be -1*(-2 + 3) - -9. Let q be 6/(-8) + j/(-32). Let r = q - -5. Solve r*v - 3 - 17 = 0 for v.
5
Suppose -2*c = 12 + 78. Let w be c*(-3 + 8/3). Solve -5*b + 5 = -w for b.
4
Suppose 0 = 3*q - 2*o - 24, 5*o = -5*q + 75 - 10. Solve 3*s = s + q for s.
5
Let a(d) = d**3 - 8*d**2 + 6*d - 7. Let r be a(7). Let y be (-52)/r - (-4)/14. Solve -m - y + 5 = 0 for m.
1
Suppose -40 = -6*o + 2*o. Solve 5*u - o = -0 for u.
2
Let t = -6 - -8. Suppose -3*l = 4*a - 6*l + 9, 2*l - 6 = -a. Suppose -2*u + 4 = -o - 3*o, 14 = u + 4*o. Solve a = h + t*h - u for h.
2
Let n = 19 - 9. Let j = -7 + n. Let k(h) = 3*h + 1. Let y be k(j). Solve -q - y = q for q.
-5
Let r(x) = 3*x - 5. Let b be r(5). Let h be 3/12 + (-19)/(-4). Solve -h*y - b = -3*y for y.
-5
Let b = -3 + 5. Suppose 2*v + b*q - 5*q = -13, -2*q + 12 = 2*v. Solve 5*u + v = 16 for u.
3
Suppose -a + 8 = 2*w - w, -2*a + 5*w - 12 = 0. Suppose -2*b = -q, -3*q + q = -4. Let c be (-3)/6*(1 - b). Solve 0 = 4*o - a - c for o.
1
Let o = 28 + -23. Let b be (-8)/40 + 21/o. Solve b = -3*j + 7 for j.
1
Let t be 24/10 + (-4)/10. Let j(h) = 2*h**3 - 2*h + 2. Let d be j(2). Suppose 0*i - 4*a = -2*i, 3*a + 10 = 4*i. Solve -d = -i*m - t for m.
3
Let n = 3 - -1. Solve -n - 16 = 5*r for r.
-4
Suppose -3*p + 1 = 2*k, 5*k - 9 = 3*k + 5*p. Solve -k*y + 20 = 2*y for y.
5
Suppose 3*b - 35 = -11. Suppose 2*m = b - 2. Solve -m*t - 20 = 2*t for t.
-4
Suppose 0 = -3*s + 3. Suppose 2*c = 6*c - 16. Let w be (0/(-3) - c)/(-2). Solve w*l + s = -3 for l.
-2
Suppose 3*c + v + 6 = 3, 2*v - 6 = 0. Suppose 0 = -r - 3*r - 16. Let q = c - r. Solve -q*k = -k - 2 for k.
2
Let p(u) = 7*u**2 - 2*u - 1. Let l be p(-1). Let z = l - 4. Suppose 0 = -5*s + s + z, 0 = 5*r - 2*s - 18. Solve 5 = r*c + c for c.
1
Let n = -26 - -44. Let y = -13 + n. Solve -12 - 8 = y*w for w.
-4
Let y(o) = -o**2 + 1. Let g be y(-2). Let u be (-3)/(-2) + g/(-6). Solve 0 = -0*k - k - u for k.
-2
Suppose -12 = -3*y + 2*y. Suppose 3*p + 12 = 2*p + 5*q, -2*p + 2*q = 0. Suppose p*t = t + y. Solve -5*f + 3*f = -t for f.
3
Let h = 10 - 5. Suppose 5 + h = 2*j. Suppose -2*x - 5 = 3*x - 5*s, 0 = -4*s + 12. Solve j = -3*n - x*n for n.
-1
Suppose -4*u = -0*u - 4. Suppose -4*v + u = -7. Solve 