c be (1/3 + -1)*-9. Suppose 4*v - 3*k = -k + c, -2*v = -3*k - 9. Solve -3*j + 6 - 18 = v for j.
-4
Suppose 4*b + 4*x + 4 = 2*b, 4*b = 2*x + 12. Suppose 0 = 3*n - 0 - 12. Let t be n/14 + (-2)/7. Solve -z + 1 - b = t for z.
-1
Let r = -34 + 22. Let x be (r/2)/3 - -7. Solve 0 = -x*b - 3 + 13 for b.
2
Let s be ((-6)/7)/((-3)/21). Suppose 2*u + 4*n - 18 = -3*u, -10 = -5*n. Solve -u*m = m + s for m.
-2
Let t be (-1)/2*9*-2. Let r = t - 5. Suppose 16 = r*l - 4*g, -3*g = 4*l - g + 8. Solve -5*w + l*w = 0 for w.
0
Let c(y) = -y**2 + 5*y + 2. Let t be c(5). Solve l - t = -7 for l.
-5
Let c = 15 - 10. Suppose -l - 2 = -3*l + 2*s, -4*l + 5*s = -c. Solve i + l*i - 3 = 0 for i.
3
Let m(o) be the first derivative of 11*o**3/3 + 3*o**2/2 + 2*o - 2. Let i be m(-2). Suppose -i = -7*z + 3*z. Solve -2*n + 0*n = -z for n.
5
Let v(u) = -u**2 + 8*u + 9. Let s be v(9). Solve s = -5*b - 3 - 7 for b.
-2
Let c(z) = 2*z - 8. Let t(w) = -w**3 + 7*w**2 + 8*w + 6. Let x be t(8). Let q be c(x). Solve -1 = f - q for f.
3
Suppose 2*s = 3 - 1. Suppose -s = 4*d - 9. Suppose -2*k = d*a - 8, -2 = -3*k + 2*a + 25. Solve k*r - 5 = 2*r for r.
1
Let r = -2 + -1. Let m = -1 - r. Suppose -n = 4*n - 60. Solve -2*x = n - m for x.
-5
Suppose 0 = -7*c + 25*c - 144. Let s(m) = -m - 2. Let r be s(-6). Suppose 5*j - 11 = r. Solve 4 = j*z - c for z.
4
Let h = 93 + -93. Solve h*l - 5 = -l for l.
5
Suppose -2*l = -5*n - 2, 0 = -2*l + 4*n - 2 + 4. Let s = l - 0. Solve -s - 5 = -3*k for k.
2
Let o(z) = z - 19. Let h be o(21). Solve h*i = 4*i - 4 for i.
2
Suppose 0 = 2*f - 4*x + 12, -4*f + 3*x = x + 12. Let a(w) = w**2 + w - 2. Let r be a(f). Suppose -4*o = 2*o. Solve -2*m + r*m = o for m.
0
Let c be (-1 - (-15)/3)*5. Suppose -3*y = 1 + c. Let o = -4 - y. Solve -2 - 13 = o*r for r.
-5
Let u(k) = -k**2 + 6*k - 6. Let c be u(4). Suppose z = -c*z. Solve z = -5*q - 16 + 1 for q.
-3
Let m(p) = -p**2 + 2*p**2 - 2*p + 3 - p. Let x be m(3). Suppose -1 = -26*w - 1. Solve x*d + 0 + 3 = w for d.
-1
Suppose 0 = 8*q - 27 - 13. Solve 3 = -q*m - 2 for m.
-1
Let w(j) = -j**3 + 6*j**2 + j - 3. Let d(t) = 7*t**2 - t. Let v be d(1). Let p be w(v). Suppose p*x - 10 = -2*c - 1, -5*c + 16 = x. Solve c*n - 5 = 4*n for n.
-5
Suppose 5*l + 2*n - 28 = -6, -n = -4*l + 15. Solve l*k = -10 + 2 for k.
-2
Let w = 7 + 2. Let o = w + -9. Solve o = 4*u + 16 for u.
-4
Suppose -4*l - 4 = 0, 0 = -x - x + 3*l + 13. Solve -u - 16 = -x*u for u.
4
Suppose 3*i = n + 10, 8*i + 2*n = 3*i + 2. Solve -m - i = -3*m for m.
1
Let n(i) = -i + 1. Let m be n(-4). Suppose 4*x = 3*x - m. Let j = x + 7. Solve -j*a - 12 = -5*a for a.
4
Suppose -c = 3*k + 2 - 4, -5*k + 2*c - 4 = 0. Suppose 0 = -k*d - 4*d. Solve 2*g - 12 + 4 = d for g.
4
Let v = 24 + -15. Let k = v + -4. Solve k*d = 2*d - 15 for d.
-5
Let t be -3 - -4 - -1 - -3. Solve 0 = t*b - 0*b for b.
0
Let k be (-6)/24*8*-1. Suppose 0 = -k*i - 3*i. Solve 3*l + 4 + 2 = i for l.
-2
Let v(y) = y**3 - 7*y**2 - 7*y - 3. Let q be ((-36)/(-21))/(2/21). Suppose -2 = 2*l - q. Let j be v(l). Solve -4*a + 3 = -j for a.
2
Let p = 2 - 3. Let u be (-10)/6 - p/(-3). Let k be u - (1 + -2 - 6). Solve 16 - 41 = k*w for w.
-5
Suppose 2*d - 44 = 4*c, -5*d + c = -3*c - 80. Suppose -2*f - d = -6*f. Solve 0 = -3*v + 2*v - f for v.
-3
Let f = 22 + -19. Solve -9 = 4*i + f for i.
-3
Let w be (-2)/6 + 35/15. Suppose -w*d - 2*d = -20. Let l be (-1)/2*1*-10. Solve d*j + l = -0*j for j.
-1
Let t(o) = o - 2. Let v be t(4). Suppose -c = -4*c + 6. Suppose c*j + 0*j = 4*g + 24, j - 17 = 3*g. Solve v + j = -2*h for h.
-2
Let x(j) = j**2 + 3*j + 3. Let y be x(-5). Let o = -9 + y. Let p be o + -1 + 2 + -2. Solve p = -4*h - 5 for h.
-2
Let v(j) = -j + 18. Let d be v(15). Solve -2*l - d + 13 = 0 for l.
5
Suppose 2*s = -2 - 0. Let t be (-10)/(-2) - (s - -1). Let i(z) = z**2 - 3*z - 7. Let b be i(t). Solve 3*y = -b - 3 for y.
-2
Suppose -5*g = 25 - 0. Let l be (-2)/(-2)*(-2 - g). Solve -l = o - 7 for o.
4
Let u(x) = -x**2 - 4*x - 5. Let d(b) = -b**2 - 5*b - 6. Let n(a) = -5*d(a) + 6*u(a). Let y be n(0). Solve y = 5*r + 27 - 2 for r.
-5
Let u(p) = -p**3 - 5*p**2 - 6*p. Let t be u(-4). Let a = 1 - -4. Suppose -f - 3*f - t = 2*b, -5*f - a = 5*b. Solve -b*m - m = 12 for m.
-4
Let j(r) = r**3 - r + 7. Let g be j(0). Suppose w - g = 5*o, 0*w - 2*o + 6 = 4*w. Solve 0*n - 8 = -w*n for n.
4
Suppose -3*z = -2*m, -2*m + z + 3*z - 2 = 0. Solve 0 = m*k - 13 + 4 for k.
3
Let b(o) = o**3 - 6*o**2 - 7*o - 2. Let s be b(7). Let u = s + 7. Solve -u*j + 4 + 1 = 0 for j.
1
Let f be 1*3 + (0 - 0). Suppose -f*y + 0 = -21. Let v = 680 - 679. Solve -4*q + y = -v for q.
2
Let c = -16 + 16. Solve -4*o + c*o - 4 = 0 for o.
-1
Let x(z) = z**2 - 3*z - 5. Let n be x(5). Suppose -4*t + w = -20, -n*t + w - 2*w = -25. Suppose t - 1 = 2*r. Solve r = k - 2 for k.
4
Let b = -2 + 4. Let w(n) = -4 - n - b + 1 + 1. Let p be w(-6). Solve -6 + p = -q for q.
4
Let g = 21 + -19. Suppose g*t - 12 = -2*c, 0 = 3*c - 8*c + 5*t. Solve h + c*h - 20 = 0 for h.
5
Suppose 0 = 3*a + a. Suppose -3*h - 2*h = -75. Solve a = z + 2*z - h for z.
5
Let p be 0/3*2/4. Let a = 2 + p. Solve -a*l = -l - 3 for l.
3
Let w be ((-24)/(-16))/((-6)/(-8)). Solve 2*i = -w*i for i.
0
Let z be (-150)/(-24) - 1/4. Solve 2*q + z = 5*q for q.
2
Let s = -3 + 9. Suppose -6 = 3*k - s*k. Solve 3 = -k*x - 5 for x.
-4
Suppose 3*p = h - 15, -h - p = 4*h - 11. Suppose 0 = -5*n + 19 + 6, 5*l - n - 10 = 0. Suppose l*m = m + 14. Solve m*j - 20 = h*j for j.
5
Let d = 9 + -6. Let z = 5 + d. Solve j = -j + z for j.
4
Suppose 2*j - 2 = 2*l, -j - 4*l = -0*l + 4. Solve j = -2*n + 2 for n.
1
Let t = -10 - -10. Suppose -5*m + 0*m = 4*r + 26, -2*m - 2*r = 12. Let o = t - m. Solve 2*s = -o*s + 16 for s.
4
Let p(f) be the third derivative of -7*f**6/120 + f**5/30 + f**4/12 + f**3/6 - f**2. Let t be p(-1). Solve -2*d - t = 2*d for d.
-2
Let d(s) = s**3 + 2*s**2. Let w(a) = -2*a**2 + a. Let k be w(1). Let r be d(k). Solve 0 = x - r + 3 for x.
-2
Let r be -1 - ((-2)/1 - 3). Suppose a - 2 = 2*k + 6*a, -r*a = -2*k + 16. Solve 6 = -k*i + i for i.
-2
Let p(q) = -q - 10. Let o be p(-13). Solve 0 = -o*c - 3 - 6 for c.
-3
Let f be (0 - (0 + 0)) + 1. Let x(m) be the third derivative of -m**6/120 + m**3/6 + 3*m**2. Let s be x(f). Solve s*k + 8 = 4*k for k.
2
Let j(y) = y - 2. Suppose b = 3 + 1. Let c be j(b). Let n = 0 - -3. Solve 0 = -n*r + 2*r - c for r.
-2
Let j be (-2 - 2)/8 - 18/(-4). Solve p - j = -1 for p.
3
Let a(z) = 4*z**3 + z**2 - 2*z + 1. Suppose 14 = 4*o - 2*d, 3*o = 4*o + 4*d + 19. Let b be a(o). Suppose b*j = j + 12. Solve 5 = -j*h - h for h.
-1
Suppose w - 3*w + 10 = 0. Solve 6 = w*v - 9 for v.
3
Let f be (-58)/7 + (-8)/(-28). Let s = f - -10. Solve 3*p = s*p - 3 for p.
-3
Suppose d + 6 = 2*d. Let c(r) = -5*r - 3. Let x(a) = -19*a - 11. Let b(k) = 22*c(k) - 6*x(k). Let j be b(5). Solve t = d*t - j for t.
4
Let d(o) = o**2. Let u be (-12)/4*2/3. Let z = u - 1. Let k be d(z). Solve 4*i = i + k for i.
3
Let p(x) = 10*x**2 + x + 1. Let g be p(-1). Suppose -2*w + 5*y = -g, -2*w - w + 4*y = -8. Solve -5*h + 0*h + 20 = w for h.
4
Let a be 3/((-9)/(-240)*4). Solve 0 = -0*g - 5*g - a for g.
-4
Let k(d) = d**3 + 2*d**2 - 6*d + 11. Let f be k(-4). Solve 0 = -7*u + f*u - 4 for u.
-1
Suppose 2*i + i + 7 = 4*k, 5*k - 23 = -i. Let f be i + 0 + (-1 - -1). Solve -f*x + 4*x = 5 for x.
5
Let c be (2/(-2))/((-1)/3). Solve -c = 3*g - 0*g for g.
-1
Let q be (-94)/(-8) + (-5)/(-21 - -1). Solve 0*s - 4*s = q for s.
-3
Let o = 5 - 2. Suppose -m + o = v - 8, -5*m = -v - 1. Solve v - 29 = 5*c for c.
-4
Let p = 6 + 10. Suppose -3*d + 16 = -4*f, 4*f + p = -3*d + 5*d. Solve 3*c + 4 + 2 = d for c.
-2
Suppose -30 = -3*o - 3*o. Solve o*b - b + 16 = 0 for b.
-4
Let o be (4/(-8))/((-2)/16). Suppose r = -r + o. Solve 0 = -r*k - 3*k - 10 for k.
-2
Suppose 4*h - s - 4 = 0, 4*h - 2*s - 8 = -h. Solve -3*p + 5 - 2 = h for p.
1
Suppose -20 = -z + 4*u, 3*z = u - 0*u + 5. Suppose -f + 2*f - 55 = z. Suppose 2*v = f - 21. Solve 5*b - v = -2 for b.
3
Suppose -4*j - 22 = -x - 0*j, x + 2*j + 2 = 0. Solve u + x = -2*u for u.
-2
Let j be ((-6)/4)/(6/(-28)). Let w(x) = x**2 - 8*x + 9. Let s be w(j). Solve s*g + 7 + 1 = 0 for g.
-4
Let z(o) be the first derivative of o**3/3 - 3*o**2 - 3*o - 2. Let y be z(8). Solve -y - 7 = 4*p for p.
-5
Suppose 14 - 14 = 5*c. Solve 4*b = -c*b + 12 f