 + 6. Let s be u(z). Solve -w = -s*c - 4 - 5, 0 = -c + w - 1 for c.
-2
Let m(s) = -2*s + 6. Let x be m(6). Let v = 7 + x. Solve -w = -2*i - i + 11, -i - v = 2*w for w.
-2
Let m = -6 - -8. Suppose -m*l = -5*l + 12. Solve -7 = 3*a - i, -5*a - 32 = l*i + 8 for a.
-4
Let w = -16 - -19. Solve w*d = 3*n + 4*d - 1, -3*d = -12 for n.
-1
Let z(l) = l + 6. Suppose -2*d + 3*r - 17 = 0, -8*d + r = -3*d + 23. Let i be z(d). Solve 9 = 3*b + 4*j, -2*b - 3*j + i = -4 for b.
3
Let c = 7 - 7. Let x be (c - (-2 - 4))/2. Solve -2*o = -3 - x, b - 4*o = -16 for b.
-4
Suppose 4*i = 2*u + 14, 7*i - 3*i - 49 = -5*u. Solve 1 = 3*a - d, 0 = -a + 3*d - i*d - 3 for a.
0
Let t(b) = -b**3 - 3*b**2 - 2*b - 4. Let z be t(-3). Solve 3*a - 3 = 0, 0*j + 2*a + 2 = -z*j for j.
-2
Let r be (-2)/((-20)/15) + (-2)/(-4). Solve r*l - 44 + 19 = 5*m, -3*m = 15 for l.
0
Suppose -c + 4 = -0*c. Suppose 2*p + 3*b = -30 + 7, c*p + 11 = b. Let h(m) = m**2 + 4*m + 6. Let i be h(p). Solve 3*z - 12 = 5*x, -z - i - 1 = 2*x for z.
-1
Suppose -6 = -2*q - 5*c, 4*c - 9 = -2*q - q. Suppose -7*p + 2*p + q*h + 21 = 0, 3*p - 5 = -2*h. Solve 5 + 1 = p*f + 3*b, -3*b = 9 for f.
5
Suppose 5*p - 5 = 0, -4*h + 0*p + 9 = p. Solve u = h*u - 4, u = l + 2 for l.
2
Suppose q + 1 = 5. Let v(x) be the third derivative of -x**5/60 - 7*x**4/24 - 5*x**3/6 - x**2. Let h be v(-5). Solve -17 = -3*u - 2*y, q*u - h*y = -7 - 1 for u.
3
Let v be (1 - (-4 + 5))/(-2) - -2. Let p(s) = -s**3 - 3*s**2 - s - 3. Let d be p(-3). Solve -n - 2 = -v*i, 0 = -d*n - 2*n + 5*i - 4 for n.
-2
Let j = -19 - -21. Solve j*h + 27 = 5*c, -4*c + 0 = -5*h - 25 for h.
-1
Suppose 12 = -0*v - 3*v, -6 = 2*f + 3*v. Solve 4*h = 2*x - f*x + 11, -14 = -3*h + 5*x for h.
3
Let g(i) = i**3 - 9*i**2 + 8*i + 2. Let z be g(6). Let d be z/(-6) - (-2)/6. Solve -4*f - f + 5*u - d = 0, 2*f + 2 = 4*u for f.
-3
Suppose 0 = h + 2*k - 0 - 4, k - 1 = 0. Solve 4*p + b = -b, -b = h for p.
1
Let f(p) = 16*p**2 - 4*p + 4. Let g be f(1). Let k = 3 + -4. Let q = k - -1. Solve -2*z + 3*z - g = -5*b, -5*z - 5*b = q for z.
-4
Let c be 5/(20/16)*1. Suppose 2*t - 2 = 6. Let h = t + -1. Solve -10 - 26 = -4*a + c*n, 2*n = h*a - 23 for a.
5
Let z be ((-5)/(245/14))/((-2)/14). Solve 5*c - 10 = -z*x, 5*c + 12 - 32 = -4*x for c.
0
Suppose 2*x = x + 76. Let w be (-2)/9 - x/(-18). Solve -1 = -3*u - r + 1, 24 = w*u - 4*r for u.
2
Let m be 18/4 - (-15)/10. Let y be (-1)/(2/m) + 4. Solve 3*v = 2*u + y, 2*v - 2*u - 2*u = -2 for v.
1
Suppose i - 15 = -3*g, i - 2*g + 10 = 6*i. Suppose 0 = 5*w - i*w - 30. Let c(r) = r + 26. Let m be c(0). Solve -5*u = 4*q - m, 4*u + w = 3*q + 2 for q.
4
Let h(m) = -m**2 + 12*m + 3. Let u be h(12). Solve -4*q - 2 = -y, -u*y = -2*q - 0*q - 6 for q.
0
Let l = 33 + -6. Let j = l - 22. Solve 0 = -4*h - j*d + 3*d, 2*h + 2*d + 2 = 0 for h.
1
Let t be 2/(-3)*(-15)/2. Suppose 2*h - 2 = t*m - 8, 0 = h - 5*m + 8. Suppose 0*w = h*w. Solve 4*o + 2*g - 1 + 11 = 0, g + 1 = w for o.
-2
Suppose 0 = -0*x + x + 5. Let y = 0 - x. Let t(a) = 2*a - 5. Let u be t(y). Solve 0 = u*o + 25, -4*o - 3 = -m + 12 for m.
-5
Suppose 0 = w - 2*w. Let y be 9*3 + (-1 - w). Solve 5*s + y = -2*q, 0 = -s - 2 - 2 for q.
-3
Let y = 1 + 26. Solve 0 = 4*m - m + 5*u + y, -6 = 2*u for m.
-4
Let m = 8 + -3. Suppose m*y = 15 + 10. Solve b - y = -f, 3*b + 2*f = -0*b + 12 for b.
2
Suppose -121 + 136 = 5*h. Solve -4 = x + 4*x + 4*u, -3*x + h*u + 3 = 0 for x.
0
Let p(w) be the second derivative of w**3/6 + 5*w**2/2 - 2*w. Let y(l) = l + 2. Let b be y(-7). Let f be p(b). Solve -a - 5*j + 12 = -f*a, -j = -5*a + 8 for a.
2
Let h(l) = -l**3 + 3*l**2 + 2*l + 1. Let n be h(3). Let r = n - 1. Solve -4*y + x = -2 - r, 0 = -4*y + 2*x + 8 for y.
2
Let n(h) = 7*h - 6. Let q be n(4). Let m(f) = -2*f - 26. Let x be m(-15). Solve -3*l + 4*r = 4, -l - r - q = x*l for l.
-4
Suppose 0 = -105*c + 108*c - 15. Solve c*z = 2*x - 17, z + 12 = -3*x - 4*z for x.
1
Let b be 1/(1/4) + 1. Solve d + 5*t = -b, 3*d + 2*t - t + 1 = 0 for d.
0
Let b(y) = -y**2 + 9*y - 16. Let w be b(3). Solve w*a - a = -r + 4, 5*a = -4*r + 19 for r.
1
Suppose 3*o + 7 = -2*x, -5*o + 3*o - 1 = 5*x. Let d be (2 - -1)/o*-14. Solve 4*n = g + d, -n + 4*g - 2 = g for n.
4
Suppose -2*a - 3 = 3*o, a + 2*o - 1 = -4. Suppose 2*s - 7 = 4*y - 1, s = -2*y + a. Solve -4*w + y*w = -2*q - 14, 2*w = 4*q + 4 for w.
4
Suppose 4*x = -0*x + 12. Suppose -x*c = -2*c. Suppose c = -4*z - 0*z + 96. Solve 0 = 5*y + 2*u - 3*u + z, 5*y = -u - 26 for y.
-5
Let y(u) = u**2 - 14*u + 16. Let n be y(13). Solve -9 + n = i - 3*o, i - 15 = -4*o for i.
3
Let s(r) = r + 10. Let b(i) be the second derivative of i**3/3 + 7*i**2/2 - 4*i. Let c be b(-7). Let n be s(c). Solve -25 = 5*z, -k - n*z = -z + 5 for k.
5
Suppose 0 = v - 5*d + 25, -4 = v + 5*d - 29. Suppose -3*x = -6 - v. Solve -x*j = -0*r - r - 9, -r = -4*j + 17 for j.
4
Suppose 2*h = -6, 8*p + 3*h - 21 = 3*p. Solve -p*q = o - 2*q - 20, 0 = -3*o + 4*q - 20 for o.
0
Suppose 3*h - 4 - 2 = 0. Suppose -h*c = -0*c + 6. Let u = 5 + c. Solve -6 - 6 = b - 4*x, u*x = 3*b + 16 for b.
-4
Let f(w) = -w**3 + 5*w**2 - 3*w + 6. Let o be f(4). Let n(d) = d**3 - d**2 - 4*d + 3. Let j be n(0). Solve 0*s + o = -g + j*s, 12 = -4*g - 2*s for g.
-4
Let x(y) = y**3 - 9*y**2 - 10*y + 4. Let h be x(10). Let s = 6 + 26. Solve -2*d + m + 2 + 11 = 0, 0 = h*d - 4*m - s for d.
5
Suppose -8 = 3*w + w. Let a be (-195)/26*w/3. Solve -14 = a*n + 4*g, n + 3*n + 3*g + 11 = 0 for n.
-2
Let t be 6 - 2/4*0. Suppose -r = -p - 12, -2*p + 6 = r - t. Suppose -3*i - 25 = -8*i. Solve -3*y + 4 = i*a, -3*a - 5*y = -0*y - r for a.
-1
Let s(k) = -k**3 - 13*k**2 - 12*k + 5. Let o be s(-12). Solve 2*w = o*i + 28, -3*w + i + 13 = -3 for w.
4
Suppose -4*a = 3 - 11. Let d = a + 0. Solve 4*l + 9 = -3*j, 3*j + 0 = d*l + 9 for j.
1
Let t = 40 - 30. Solve -3*r + 2*p = -8*r + 1, -2*r = 4*p - t for r.
-1
Let y be (1 - -1)*(2 + 0). Let f(h) = -7*h - 37. Let k be f(-6). Solve 40 = 5*c - k*j, -4*c = j - y - 3 for c.
3
Suppose 0 = o - 2*o - 1. Let d be 3/(o - -2) + -1. Suppose 3*v = -2*v + 5, 5*i - 27 = 3*v. Solve -5*a + 3*y - i = 7, -2*y = -d for a.
-2
Let w = -7 + 10. Let m be (-8)/w*(-18)/12. Solve -m*q + 32 = -4*t, 3*t + 5*q - q = -3 for t.
-5
Suppose n = k + 6, -8 = -0*k + 2*k. Solve 11 = 5*y + n*w, -4*w + 6*w = 2*y - 10 for y.
3
Let o be 4/(-10) + (-27)/(-5). Solve 2*v + 4*m = -0*v, 0 = o*v - 4*m + 28 for v.
-4
Suppose 0 = 9*u - 6*u - 5*i + 14, 5*u + 5*i - 30 = 0. Solve z - 11 = -5*m + 3, -m - u = -z for m.
2
Let s(t) = 2*t**3 - 9*t**2 - 4*t + 1. Let g be s(5). Solve q - 2*y = g*q - 5, 5*y = 25 for q.
-1
Let o be 14/(-49) - 186/(-14). Let i = o - 2. Let c be (-5)/2*(-4)/5. Solve -d + 2*z + 9 = 0, 0 = d + z + c*z + i for d.
1
Suppose -2*s - 28 = -3*r, 2*r - r - 11 = s. Let i = 10 - r. Solve -n - 2*n - 40 = 5*x, -x + 15 = -i*n for x.
-5
Let c be ((-22)/(-14) - 1) + (-85)/(-35). Solve 5*w - 37 = 3*u - 0*u, c*u = -5*w + 13 for w.
5
Suppose 0 = -3*o + o - 12. Let p be 3/(-9)*(o + -3). Solve 0 = d + p*w - 2, 3*d = -5*w + 6 for d.
2
Suppose -j = 6 + 1. Let b = 11 + j. Suppose -4*u + 16 = b. Solve r - 9 = -u*c + 4, -2*r + 3*c = 19 for r.
-2
Suppose -13 = -4*t - u, 2*u = 5*t + 7*u - 35. Suppose 2*d + o = t + 1, -2*o - 4 = -d. Solve -2*k - d = 4*p, -2*k + 7*k - 34 = 3*p for k.
5
Let h(n) be the first derivative of -n**4 + n - 1. Let k be h(-1). Let x be (1 - -1)*k/2. Solve 2*l - 24 = -x*c, -2*c - 1 = -l - 7 for l.
2
Suppose 0 = 11*r - 16*r + 10. Solve 2*a - 13 = -r*a + s, -4*a - 17 = 5*s for a.
2
Let i(l) = l**3 - 7*l**2 - 5*l - 17. Let d be i(8). Solve 0 = -4*x + 5*m - d, 0 = -x - 3*x - 3*m + 17 for x.
2
Suppose 0 = i - 5*z + 20, -15 = 5*i + 2*z + 4. Let k be (-40)/i + (3 - 1). Let b be 3/(-2 + 3/1). Solve 0*t = b*t + 2*v + k, -25 = -2*t + 5*v for t.
0
Suppose 0 = -5*l - 0*c + 5*c + 15, 0 = -3*l + 5*c + 15. Suppose -2*d = -l*d - 6. Solve -t - 20 = -g + 4*g, -d*g - 35 = 4*t for t.
-5
Suppose 2*i - 7 = -3. Let a = -64 - -41. Let f = a + 33. Solve 4*c + f = i*r - c, -c + 11 = -3*r for r.
-5
Let z be 12/30 - (-23)/5. Solve 0 = -x + 3*f - 11, -4*x - z*f + f + 4 = 0 for x.
-2
Suppose 3*m - 14 - 9 = -s, -m + 3*s = -1. Solve -7 = -3*f + u + m, 0 = -5*f + 5*u + 40 for f.
3
Let i(p) = p**3 + 19. Let q be i(0). Let l = 24 - q. Solve -b + 5 = 0, -l*b = 2*g + 8 - 39 for g.
3
Suppose 3*p = -3*o - 21 - 6, 4*p + 1 = 3*o. Let 