, 0 = 4*v + a + 82. Let r = v + 35. Solve 6 = -4*k - r for k.
-5
Let f = 33 - 31. Solve f*z + 3*z + 20 = 0 for z.
-4
Let c be (-7 - -3) + 5 + 2. Solve -l = c + 2 for l.
-5
Suppose -3*i - 2*i - 5*m = 5, 5*i - 35 = 5*m. Solve 2 = -i*n - 4 for n.
-2
Suppose x = -0*x + 10. Let y be (-82)/(-10) + (-2)/x. Solve -y = -l - 3*l for l.
2
Suppose 5*c = 22 + 3. Solve 0*v = v + c for v.
-5
Suppose -3*t - 15 = -0*t, -3*t = -2*x + 41. Suppose 1 = 2*j - x. Suppose -5*m + 3*c + 18 = -0*m, -4*c + 2 = 2*m. Solve -m*u + j*u = -16 for u.
-4
Let a = -3 - -6. Let i(s) = 7*s**2 + 3*s - 16. Let m(w) = 3*w**2 + 2*w - 8. Let j(u) = 4*i(u) - 9*m(u). Let t be j(7). Solve 0*k = -a*k - t for k.
-5
Let s = -12 - -12. Solve s = -4*t - 2 + 6 for t.
1
Let r be 6 + 2/(4/(-6)). Suppose -m - r*m = 0. Solve -y + 0*y = m for y.
0
Let t(w) = -31*w + 1. Let j be t(3). Suppose -2*g + 0*p = -p - 1, -9 = 3*p. Let u be j/(-24) - g/6. Solve u*a - 1 = 3 for a.
1
Suppose l - 5*l + 3*m = -18, 5*m = 3*l - 8. Suppose 3*w = 2*f - 14, -5*f + 16 = 2*w - 0. Let o = l - f. Solve j - o*j = 1 for j.
-1
Let a be ((-2)/(-6))/(-1)*-12. Solve -12 = -a*w + w for w.
4
Let h(y) = y**3 - 7*y**2 + 3. Let b be h(7). Solve 8*m = b*m for m.
0
Let p be (8/(-20))/(2/(-30)). Let b be (9/p)/(1/2). Solve -b*a - 2*a = 0 for a.
0
Let x(o) = o**3 + o**2 + 6. Let u be x(0). Suppose 11 = -3*n + 5*m, -3*n - 3*m + 18 = -n. Let q be ((-2)/(-6) - 0)/(4/36). Solve -n*r - q = u for r.
-3
Suppose x + 2*x + 3 = 0. Let b(g) = -9*g. Let l be b(x). Solve 0 = -3*d - 6 - l for d.
-5
Let o(c) = -c**2 + 8*c - 8. Let j be o(6). Let h(f) = -f + 3. Let a be h(3). Solve a = x - 1 - j for x.
5
Suppose -2*d = -3*d. Suppose 7 + 3 = 5*c. Solve 0 = -d*h - c*h - 6 for h.
-3
Let v(j) = j**3 + 4*j**2 - 2*j - 6. Let w be v(-4). Solve w*t = -3*t - 10 for t.
-2
Suppose 4*f + 2 = m - 0*m, -4*m = 5*f - 8. Let j be m - ((-4)/1 + 3). Suppose 3*v - 12 = -0. Solve c = v - j for c.
1
Suppose -z = -6*z + 4*z. Solve z = 4*o + 7 + 5 for o.
-3
Let v be 32/4 + (-2 - -2). Let h(q) = q**3 - 9*q**2 + 5*q + 4. Let w be h(v). Let t = w + 36. Solve -2*d - 2*d = -t for d.
4
Let u(j) = -j**3 + 2*j**2 - 2*j + 1. Let b be u(1). Suppose i + 2*z - 11 = 0, 3*i + 3*z - 24 = -b*z. Solve t - i = -3 for t.
2
Let h = -28 + 29. Solve 2*f - 3*f = -h for f.
1
Let w = -92 + 98. Solve 25 = -n + w*n for n.
5
Let q(n) = -n**2 - 8*n + 5. Let j be q(-8). Solve s - 1 + j = 0 for s.
-4
Let q = -1 + 1. Suppose 4*v = -q*v. Suppose -4*j + 2 = -3*t - 2, 24 = 2*t + 4*j. Solve -2*l - 2*l - t = v for l.
-1
Let d(i) = -i - 15. Let s be d(-7). Let y be (s/(-1))/(0 - -1). Suppose -7 = 3*o - 4*o. Solve -o - y = 3*n for n.
-5
Suppose 4*f - 36 = -0*f. Suppose -w = 2*w - f. Let h = w + -3. Solve -4*k = -h*k for k.
0
Let i(u) be the third derivative of u**6/120 + u**5/12 + u**4/6 + u**3/3 - u**2. Let z be i(-4). Suppose 1 = n - z. Solve 1 + n = m for m.
4
Suppose -r = -5*f + 4*r, -3*r + 3 = -2*f. Solve 2*y - f*y = -5 for y.
5
Suppose -14*u - 2 = -16*u. Solve -f = -0*f + u for f.
-1
Let i be 24/20 - 1/5. Let k = i - -3. Solve -k*l - 12 = -l for l.
-4
Suppose 0*b - 3*b + 3*z - 3 = 0, 1 = 3*b + z. Solve x - 5 + 4 = b for x.
1
Suppose 0 = 2*k - 0*k. Solve k*t + 4 = t for t.
4
Suppose 0 = 4*d - y - 37 - 44, 0 = -4*d - y + 79. Let c be (-72)/(-30)*5/2. Let t be (1/3)/(2/12). Solve -d = t*h - c*h for h.
5
Suppose o - 7 = 2*f - 17, -f + o = -4. Solve -f*r + 9*r - 3 = 0 for r.
1
Suppose 15 + 10 = 5*b. Suppose 0 = -c + 3*t + 11, -b*t = -0*c + 4*c + 7. Solve -i - c*i = 0 for i.
0
Suppose -4*v - 6 = -4*b + 6, 0 = 5*v + 5*b - 15. Let m(t) = -t + 3. Let j be m(3). Solve -r + j*r = v for r.
0
Let k = -3 + -2. Let a = -3 - k. Solve b - 2 = a for b.
4
Let d(o) = 4*o - 3. Let h be d(7). Let s(r) = r**3 + 3*r**2 + 4. Let k be s(-3). Solve 9*v - k*v = h for v.
5
Let n(o) = o**2 - 4*o. Let h be n(5). Let p(t) = -3*t**3 + 2*t**2 - 1. Let b be p(-1). Suppose h*a - 3*i = -b*i + 3, -5*i - 6 = 4*a. Solve -3*f - 16 = -a for f.
-5
Let z = 2 + 0. Let p(h) = 2*h**2 - 3*h + 1. Let c be p(z). Suppose 4*n + d - 20 = 3*d, -c*n = d - 5. Solve -n*u = -u for u.
0
Let i = -9 - -18. Let t be (-30)/9*i/(-5). Solve 2*p - 5*p + t = 0 for p.
2
Suppose 7*x = 2*x + 35. Solve -2*t + x = -3 for t.
5
Suppose -s + 16 = 2*s - l, -8 = 2*l. Suppose s*z - 15 - 9 = 0. Solve -12 = z*h - 2*h for h.
-3
Let p(n) = 2*n**2 + 4*n - 4. Let t be p(4). Let w be 15/6*t/5. Suppose -5*c + k = -w, -c - 28 = -6*c - k. Solve c*a + 20 = 5 for a.
-3
Suppose 1 = -t - 6. Let a = t - -10. Let g = 1 - -1. Solve 0 = -g*n + a*n + 1 for n.
-1
Let q = 4 + 3. Let y = -4 + q. Solve -1 = -y*j + 5 for j.
2
Let v = 5 - -1. Suppose -5*i + i = 2*z + 2, 5*z = 4*i + 37. Let w be i/v - (-2)/4. Solve w = 2*y + 3*y - 10 for y.
2
Suppose -4*h + h = -3*z, -2*h + 5*z = 6. Let v(t) = -2*t - 10. Let c be v(-7). Let a be 3 + -3 + 0 + c. Solve -a*w = -h*w for w.
0
Suppose 0 = -5*u + 18 + 2. Suppose 0 = -t + 3*t + 5*q - 57, -4*t + 84 = u*q. Solve -4*d = t - 0 for d.
-4
Suppose -7*w + 4*w = 3*p - 9, 2*w - 2*p - 2 = 0. Solve -2 = r + w for r.
-4
Suppose 5 = 2*m + 17. Let u(q) = q + 12. Let v be u(m). Solve a = v*a for a.
0
Suppose -4*d + 4*q + 6 = -22, 5*d - q - 15 = 0. Solve 0 = -d*s + 3*s for s.
0
Let h = -31 - 154. Let t be (-6)/21 - h/35. Solve -z = -t*z - 4 for z.
-1
Let m be 2/4 + 20/(-8). Let j = 5 + m. Solve 2*i = -j*i + 5 for i.
1
Suppose -4*c = 2*h + 6, 3*h - 11 = 5*c + 13. Solve -h*o - 12 = -0*o for o.
-4
Let m(h) = h**2 - 3*h - 7. Let i be m(5). Solve -i = 2*x + 1 for x.
-2
Let z = -7 - -16. Let b = z - 6. Solve -r - 20 = b*r for r.
-5
Let u be -2 - -4*(-10)/(-4). Solve m + u = -m for m.
-4
Let n be (48/40)/(2/35). Solve -3*z + 6 = n for z.
-5
Let o(d) = -d**3 + 6*d**2 + 7*d + 6. Suppose -q - 17 = -2*q. Suppose 11 = 4*a - q. Let i be o(a). Solve 0 = 4*t - 7*t - i for t.
-2
Let l = -11 + 18. Let r be (6/l)/((-2)/(-14)). Suppose -r = 2*t - 14. Solve -i = t*i + 25 for i.
-5
Let x be (-4)/(-8) - 3/6. Solve -b - b = x for b.
0
Let r = -81 - -96. Solve 0 = y + 2*y + r for y.
-5
Let u be 0*(-2)/(-4)*1. Suppose 5*t - t - 12 = u. Solve -17 = -5*o + t for o.
4
Suppose -7*f = -2*f - 25. Let r(c) = c**2 - 8*c + 5. Let g be r(8). Suppose k - g*v = -0*k + 26, 2*k + 4*v + 18 = 0. Solve -k = f*d - 16 for d.
3
Suppose 2*w = w. Let x be w + (-2 - -3) - 5. Let m be (-3)/6*x/1. Solve 2*c - m = 2 for c.
2
Let n = 3 - 1. Solve n*y - 7 = -1 for y.
3
Let b = 35 + -37. Suppose 2*i = 7*i - 5. Let r be i/4*b*0. Solve -d + r = 3 for d.
-3
Suppose -3*n = -12*n + 90. Solve -p = 4*p - n for p.
2
Suppose -2*b = 1 + 1. Let v be (-3 - b)*1 + 0. Let c be -14*(-2)/4 + v. Solve c*n = -11 + 1 for n.
-2
Let x(u) = -u**3 - 14*u**2 - 3*u - 12. Let l be x(-14). Let d = l + -26. Solve d + 11 = -5*n for n.
-3
Suppose -3*z = z + t - 3, z + 3*t + 13 = 0. Solve 0 = z*v + 6 + 4 for v.
-5
Let v be (-8)/(-3) + (-2)/3. Let s = 19 - 17. Let k = s + 14. Solve v*w + 2*w = k for w.
4
Let r be 8/12 + 248/6. Let c(p) = 31*p**3 + 2*p**2 - 1. Let l be c(-1). Let v = r + l. Solve 3*q + q = -v for q.
-3
Suppose 0*n + 5*n + 3*u - 50 = 0, 0 = 3*u. Let z = -10 + n. Solve i = -z*i for i.
0
Let d = 10 - 2. Let u = -6 + d. Solve 3*j = u*j + 4 for j.
4
Suppose -23 - 1 = -6*b. Solve -5*i = -b - 1 for i.
1
Suppose -2 - 4 = 2*q, -5*q = x + 13. Suppose 4*z - 4 = x*z. Solve -z*s = 3 + 7 for s.
-5
Let l = -23 - -33. Suppose 0 = -4*j - 3*y + l, -j + 2*y = 4*j - 24. Suppose -j*n = n. Solve -m - 3*m - 20 = n for m.
-5
Let l = -44 + 44. Solve 3*f - 4*f = l for f.
0
Suppose 0*b + 3*b = 18. Suppose -4*f + 3*n = -2*f - b, 0 = 3*f - 2*n - 4. Solve f*w = -w for w.
0
Let d(c) = c**3 + 16*c**2 + 29*c + 15. Let q be d(-14). Solve i - 3 = -q for i.
2
Let r be (-58)/(-4) + (-2)/(-4). Suppose 2*b + 3*b = r. Solve 0 = -2*v + b*v for v.
0
Let u be (-30)/(-10) - (1 - (-1 - 1)). Let y = -1 + 1. Let f be y/2*(-2)/(-4). Solve f = -4*h - 4 - u for h.
-1
Let b(j) = j**3 - 6*j**2 + 4*j + 7. Let u be b(5). Let p be 0 + 2*(-1 + u). Solve -p*o - 6 = -2 for o.
-2
Let r be (3 - 3)/(2 - (-1 + 1)). Solve x + 3*x + 16 = r for x.
-4
Let o = -27 + 27. Suppose 4*g = y + 17, 3*y = 3*g - 2*g - 18. Solve o = -g*i + i for i.
0
Suppose 0 = -4*b - 14 + 34. Suppose -5*t + 13 = 2*h, t - 4 - b = -2*h. Let o be -3 + 6 + (2 - t). Solve l = -o*l for l.
0
Let c(n) be the second derivative of n**4/12 - n**2 - n