se 2*b + 0 = 8. Solve 0 = 4*v - b*k + 20, 4*v + 2*k = -1 - 1 for v.
-2
Let n = 8 + -5. Suppose a = 4*a - 6. Solve a*f + 10 = -5*q, 4*f - n*q + 20 - 52 = 0 for f.
5
Let a(x) = 2*x + 2. Suppose 0 = -5*m + 4 + 1. Let u be a(m). Solve 0 = -2*c + 6, u = 4*f + 4*c - 0 for f.
-2
Suppose 0 = 4*k - 0*k - 8. Suppose k*a + 0*a = 4*u - 24, 3*u - 25 = 5*a. Solve 0 = -h + 3*g + 9, -u*h - 5 - 18 = 2*g for h.
-3
Suppose 8 = 2*b - 4*b, 2*m + b = 2. Suppose 5*i = 2*g - 25, 5*i = m*g + 4 - 29. Solve g*d + 2*d - 26 = -4*w, -w + 29 = 5*d for w.
4
Suppose -o - 25 = -5*b, -7*o + 3*o = -2*b + 10. Solve 2*u - 5*u + 2*q + 14 = o, -5*u + 4*q = -26 for u.
2
Let o be ((-1)/(-3))/(1*4/48). Solve -o*z + 2*h - 10 = 0, 3*h + 3 = -z - 3 for z.
-3
Suppose b - 14 = 2*b. Let n = 28 + b. Let q be 38/n + (-2)/(-7). Solve 4*t - q = y, -3*y - 8 = -4*t - 7*y for t.
1
Suppose 2*r = -2*r + 44. Let j = -6 + r. Solve -4*k + 37 = j*w, -6*w + 2*w = 3*k - 29 for k.
3
Let f be (4*(-1 + (-4)/(-16)))/(-1). Solve -5*v = -25, -8*y + f*y = 5*v - 5 for y.
-4
Let f(z) be the second derivative of z**5/20 - 5*z**4/12 + 2*z**3/3 + 2*z**2 + 5*z. Let n be f(4). Solve g + n*q = q - 20, -5*q = g + 30 for g.
-5
Let d be 2/(-1) - 6/(-1). Suppose w - 66 = 2*n, -6*n + 4*n = -d*w + 234. Suppose 0 = -v - v + w. Solve g = 5*k + v, -4*k = g + 8 + 9 for g.
3
Let b = -16 - -10. Let p be 0*(0 + 3/b). Suppose m - 2*m = p. Solve f - 3*v + 13 = -m*f, 3*v - 17 = 5*f for f.
-1
Let z(o) = -5 + 4 + 3 - 3 - 14*o**3 - 2*o. Let n be z(-1). Suppose 5*u + 3*c = 3*u + 13, 2*u + 5*c = n. Solve u = 4*d - 3*v, d + 5*v - 9 = -2 for d.
2
Let v(x) = -x**3 - x**2 + x + 3. Let h be v(0). Suppose -m = 2*m - h, 5*z = 4*m + 36. Solve 0 = -g + w - z, -g = 2*g - 5*w + 34 for g.
-3
Let v(s) be the second derivative of -s**3/6 - s**2 + 6*s. Let g be v(-5). Let x(f) = f + 10. Let w be x(-7). Solve -g*d - 5 = 2*b, -w*d + 3*b - 2*b = 2 for d.
-1
Let t = -12 - -15. Suppose -5*y = 5*i - 2*i + 16, -4*i + 5*y = -37. Solve 3*s = -i*x, -t*x - 5 - 5 = s for x.
-5
Let p(u) = u**2 - 2*u - 4. Suppose -7*a = -3*a - 16. Let k be p(a). Solve 2*t + k*w = 16, -3*t - 1 + 21 = 4*w for t.
4
Let r be 5/4 + 33/44. Solve -w + 19 = -3*s, -s = -r*s - 4*w + 11 for s.
-5
Let y(a) be the third derivative of a**4/24 - 7*a**3/6 + a**2. Let n be y(11). Solve -p = 0, 5*p + 1 = w - n for w.
5
Let r(x) = -3*x + 2. Let b(m) = -m + 1. Let d(p) = -4*b(p) + 2*r(p). Let c be d(1). Let y = 0 - c. Solve 5*g - w + 0 = -6, -2*g + y = 4*w for g.
-1
Suppose 4 = -3*i + 2*i. Let c be i/2 - (1 - 6). Solve -4*a - 1 = y + 10, c*y + 1 = 4*a for a.
-2
Let l(r) = 8*r**2 - r + 1. Suppose 7 - 8 = -g. Let c be l(g). Solve -5*h + c = -4*s - 32, 3*s + 4*h = 1 for s.
-5
Let b = -29 - -40. Solve -b = 4*j - 3*r - 0*r, 5*r = 5*j + 10 for j.
-5
Let v(y) = 2*y**2 + y + 1. Let z be v(-1). Suppose 11 = 2*m - i, 0*m - z*m - 4 = 4*i. Suppose 3*r = m*r - 5. Solve -c + r*o + 29 = 0, 3*o + 2 = 3*c - 25 for c.
4
Suppose 5*g = p - 28, 0*g - 4*g = -3*p + 29. Suppose p*f - 80 = -26. Solve h - 2 = 3*h, -4*c = 2*h - f for c.
5
Let s(w) = -w + 11. Let r be s(9). Solve h - 3*h - 10 = -r*m, 0 = h + 3*m - 11 for h.
-1
Suppose 0 = -0*i - 3*i + 36. Suppose 3*t - 9 = 4*h, 4*h - t + i = 3*t. Suppose -3*q + 2 = -4. Solve q*r = 3*p - 3, -p = -h*p + 4*r + 13 for p.
-1
Let a = 4 + -3. Let g(m) = -15*m + 5. Let p(q) = 8*q - 3. Let y(d) = -3*g(d) - 5*p(d). Let t be y(a). Solve t*k + 3*x - 6 = 4, 2*k + 3*x = 4 for k.
2
Let l = -9 + 11. Suppose 2*p + 15 = 3*v, l*v + 1 = -2*p + 11. Solve 5*x - 14 = -2*h, p = 3*h + 2 + 7 for x.
4
Suppose 17*k + 30 = 27*k. Solve 2*i + k*i - 2*o = 12, 3*o = -3 for i.
2
Let i be 5 + (-9)/(-3 - -6). Let p = 4 - i. Solve 10 = -5*s + 2*r + 3*r, 5*s + p*r = -24 for s.
-4
Let n(y) = y + 14. Let x be n(-12). Suppose 0 = -x*z + 7*z - 15. Solve 5*d = -2*v + 12, z*v + 3*d = 7*d - 5 for v.
1
Suppose -9 = -3*s - b + 7, -16 = -2*s - 2*b. Solve -3*o + x = -2*o, -5 = -o - s*x for o.
1
Suppose 2*y + 2*y + 5*a = 15, -9 = -3*y - 3*a. Solve -2*h - 19 = -7*h - w, -4*h + 2*w + 4 = y for h.
3
Let i be (2 + (-15)/9)*15. Let p be -1 + (-1)/(-1) + 2. Suppose 3*v = -4*f - 2*v - 6, -2*f + p*v = -6. Solve -i*z + 10 = 0, 3 = -u + 2*z + f for u.
2
Let h = -6 - -6. Suppose h*x + 5*x = 0. Solve -3*c + x*c = 3*u - 27, -3*u + 2*c + 7 = 0 for u.
5
Let p be (4/3)/(6/9). Let u be 6*((-2)/p)/(-2). Solve -4*w - 2*q = 12, 0*w + u*q = -2*w - 6 for w.
-3
Suppose 0 = 7*o + 9 - 51. Suppose 4*u + 0*a + a = 29, -5*a = -2*u - 13. Solve -u*j = 2*q - j + o, 0 = 4*j + 8 for q.
2
Let m = 46 + -25. Let a be (-1 - 1) + m + -14. Solve -5*i + b = -3*b + 36, -2*b - 12 = a*i for i.
-4
Let u(r) = -r**3 - 7*r**2 - 5*r + 1. Let l be u(-6). Let q = l + 7. Let a be ((-2)/(-8))/((-52)/(-48) - 1). Solve q*d + 3 = -a*j, 2*d + 10 - 1 = 3*j for d.
-3
Let z = -30 + -3. Let l be 1*z/(-9)*3. Solve i + 3*u = l, -u = 4*i + 2*u - 17 for i.
2
Let s(o) be the third derivative of -o**6/120 + o**5/30 - o**3/6 - 5*o**2. Let i be s(1). Solve 5*z = -2*y + 17, 2*z + 3*z - 15 = i for y.
1
Let r(f) = f**2 - 5*f - 4. Let y be 5/2 + (-4)/(-8). Suppose -s + y = -2*s. Let x be r(s). Solve 5*g = -3*w - 0*w - x, 0 = -4*w + 5*g + 20 for w.
0
Let q = -2 - -2. Let l = -2 + q. Let h be 3/(l + 43/20). Solve 5*p + 2*w + 0*w + h = 0, -16 = 4*p + w for p.
-4
Let k = -100 + 103. Solve k*p - 3*w - 3 = 3, 5*w = -3*p - 26 for p.
-2
Suppose 0 = 3*i - 3*n - 15, 2*n = -3*n - 10. Suppose -20 = -m - i*m. Suppose -m*f + 16 = -f. Solve 5*d - f*x + 0*x + 20 = 0, -2*d - 8 = 5*x for d.
-4
Let j = -4 - -16. Let n = j + -8. Let k = -3 - -10. Solve d = 5*l + k, 3*d - 1 = -n*l + 1 for d.
2
Suppose 2*f + 2*f + 2 = 3*d, 3 = 2*d - f. Suppose -4*s + 16 = 4*g, 3*s - 4*g - 2 - 3 = 0. Solve 0 = -4*n - s*w - 0*w + 16, d*w - 6 = 2*n for n.
1
Let d be 0/(1*2/2). Let s(v) = v**2 + v + 7. Let h be s(d). Suppose -2*m = -h*m + 30. Solve 2*f + 2 = 0, -3*a - f - 19 = -m for a.
-4
Let b(c) be the first derivative of c**2/2 - 4*c + 1. Let m be b(6). Let l = 1 + 0. Solve -3*y = m*z + l, -y - z - 22 = 4*z for y.
3
Suppose 0*w + 36 = 5*w + 3*t, -16 = -4*w + 4*t. Solve w = 3*v - 8*v + g, -3 = -3*g for v.
-1
Let r(c) = c**2 - 1. Let q be r(1). Suppose q = -2*i + 7 - 3. Let h(l) = -l + 5. Let p be h(-4). Solve -2*o = -5*y - p, -4*y + i*o = 3*o + 15 for y.
-3
Let u be 225/10 - 1/2. Solve -5*i + 4*d + 5 - u = 0, -4*i - 2*d = -2 for i.
-1
Let z(v) = v - 3. Suppose 0 = 4*j - 3*r - 18, -j = 4*j + r - 13. Let d be z(j). Solve 2*u + m - 5 = d, -u = -3*u + 4*m + 10 for u.
3
Suppose -8 = -3*l + 1. Suppose 5*c - 35 = -5*f, -l*f + f = 4*c - 32. Solve 7 = -g - 3*j, c*j = 4*j - 20 for g.
5
Let x(z) = -z - 14. Let n be x(-9). Let i = 9 + n. Solve -w = -5*l + 1 - 3, -5*l - i = -2*w for w.
2
Let s(m) = m**3 - 7*m**2 + 8*m - 8. Let q be s(6). Let j(g) = 1 + 4*g - 2*g - 3*g. Let w be j(-2). Solve -k - w*k = -3*c - 1, q = -k + 5*c for k.
1
Let p be ((-4)/12)/(2/(-12)). Solve -p*y - t + 5 = -4*t, 1 = -t for y.
1
Let o = 8 - 6. Let s(u) = u - 4. Let r be s(6). Suppose 0*c - 5*c = -3*d + 30, -r*d - 2*c = -36. Solve 5*a = -2*g - d, 4*g = o*a - 3 + 9 for g.
0
Suppose 4*i = -3*i + 21. Solve i*b - 9 = 6*b, 0 = 5*p - 2*b + 4 for p.
-2
Let z be (-2)/(-8) + (-2)/8. Let s = 0 - z. Let l(k) = k**3 + 5*k**2 - 16*k - 12. Let a be l(-7). Solve y = a*r + 5, s - 3 = y + 2*r for y.
1
Let v(h) = 5*h**2 - 2*h + 1. Let p(y) = -y - 2. Let l be p(-5). Suppose 5*x - l = 2. Let f be v(x). Solve -s = -5*d - 4, -s = -f*d + 5*d + 2 for d.
-1
Let n be (-3)/(-4) + (-18)/24. Solve 6*a + 5*p - 23 = 5*a, n = 5*a - p - 11 for a.
3
Let t be ((-6)/4)/(3 + (-49)/14). Solve 4*p - 2*o = 2, -4*p + 6*o - t*o + 1 = 0 for p.
1
Let h(d) = -2*d - 37. Let o be h(-21). Solve 3*b + 20 - 6 = t, -o*b + 5*t = 40 for b.
-3
Suppose -7*b + 3 = 4*q - 10*b, -2*q + 3*b - 3 = 0. Suppose 0 = -4*m - 10*r + 5*r + 80, 2*r + 80 = 4*m. Solve -16 = 4*f - p, -5*f - m = p - q*p for f.
-4
Let c(n) = n + 12. Let q be c(-9). Let u be (2 - 1)*(1 - -4). Suppose 2 = -5*v - p + 19, -u*v + 4*p = -32. Solve 2*k - 12 = -q*a + v*k, 5*a + 4*k = -2 for a.
2
Suppose g = 2*g - 3. Let b = 2 + g. Solve b*s - 30 = 5*t, -1 = s - 6 for t.
-1
Let w be 67/5 - (-6)/(-15). Let y = w - 13. Solve 3*c - 9 = 0, y*a + 3*a + c = -6 for a.
-3
Let u = 0 + 2. Suppose 0 = -4*k + m + 4*m - 16, -4*k + 4*m = 16. Let h = 10 + k. Solve -u*s + z - h = -17, -2*z 