. Let q be d(k). Solve 0 = -2*f + q*a + 7 - 1, 5*a = -5*f + 30 for f.
5
Let b(w) be the second derivative of -w**4/12 - 4*w**3/3 - 7*w**2/2 + w. Let p be b(-6). Let d = 50 + -22. Solve 4*g - d = -4*l, p*g = l + l for l.
5
Suppose 0 = f - 3 + 2. Let a = f - -5. Solve -6*q = -2*j - 2*q + a, -4*j = q - 3 for j.
1
Suppose 0*k = -3*n - k + 1, 5 = -4*n + 5*k. Solve -m - a + 2 = 2*a, 3*m - 2*a + 16 = n for m.
-4
Let k = -64 + 68. Solve -k = -2*p, 3*i + p = 6*p - 1 for i.
3
Let r be 378/70 - 2/5. Suppose 3*j = 5 + 7. Solve r*h + p = 28, p - 4*p = j*h - 29 for h.
5
Suppose -c = -4*b + 63 + 54, -2*b - 4*c = -54. Suppose 0 = 2*g + 2*g - 2*k - 2, 0 = -3*g - 4*k + b. Solve -13 = -4*m - 3*f, 0 = -g*m + 2*f + 12 + 2 for m.
4
Suppose -7*i + 2*i = -90. Suppose 0 = n + 2, -n + 2*n - i = 4*a. Let q be a*(22/(-10) - -1). Solve -21 = -b + 4*g, 3*b - 2*g - 7 = q for b.
1
Let o(a) = a**3 + 2*a**2 - a + 12. Suppose p = 5*p. Let t be o(p). Solve 2*f - 12 = -3*k - f, 0 = 3*k + 4*f - t for k.
4
Suppose -3 = 3*y - 0*y. Let a be (1 + 7)*(y - -2). Solve -4*j = -g + 11, 4*g + j - 1 = a*g for g.
-1
Let a(b) = -b + 10. Let u be a(7). Suppose -2*o - 8 = -6*o. Solve -5*z - 22 = -o*j, -j = z + u - 0 for z.
-4
Let y be (-2)/6 + (-91)/(-3). Suppose b - 2*n + 3 = 0, -6*b + y = -b + 5*n. Solve 0 = -b*j + 5*p - 11, -2*j = -0*p + 5*p - 1 for j.
-2
Let f(t) = -t + 1. Let b be f(2). Let n(w) = -20*w**3 - w - 1. Let j be n(b). Solve j = -4*r, 4*o - 13 = -3*r - 48 for o.
-5
Suppose -15*i + 5*i = -20. Solve 11 = i*c + 3*n, -3*c = 2*n + 2 - 11 for c.
1
Suppose r = -2*r - 6. Let m = r - -5. Solve m = 4*q + 5*c, -3*c + 4 + 8 = -q for q.
-3
Let z = 12 - 12. Solve z = -0*f - 3*f + 5*t - 24, 0 = -4*f - 4*t for f.
-3
Let y = 36 + -16. Solve -2*m - y = w + 2*m, w - 4*m - 12 = 0 for w.
-4
Suppose -4*h - 2 = -10. Solve q - 9 = h*o, q - 19 = 6*o - 2*o for q.
-1
Suppose -5*k + 240 = -0*k. Suppose -k = -0*d - 2*d. Suppose 0*f + f + 5*g = 27, 0 = 2*f - 4*g + 16. Solve 3*j - f*j = -5*a + d, 3*a + 2*j = 13 for a.
5
Suppose 0 = 6*l - 3*l. Solve l = -g - 1, g + 24 = -5*q + 2*g for q.
-5
Suppose -1 = 3*k - 2*r - 10, 5*k = 2*r + 15. Suppose k*d - 73 = -13. Let j be (6/12)/(2/d). Solve 3*h - 3*t = -9, 3*t + 3 = h + j*t for h.
-1
Let v(y) = -y - 6. Let l be v(-6). Let r = 1 - l. Solve n + r = 0, -3*n + 21 = -5*o + n for o.
-5
Suppose -5*x - 3 = -r + 37, -80 = -3*r + 5*x. Let q(v) = 6*v + 71. Let b be q(-11). Solve -2*t - b*o - 16 - 13 = 0, -r = 4*o for t.
-2
Suppose 3 + 11 = 2*s. Solve 4*f = -0*w - w + 19, -4*f + s = -3*w for w.
3
Let v be ((-84)/(-70))/((-2)/(-5)). Solve 0 = -2*r - 5*b + 19, 0 = v*b - 0 - 9 for r.
2
Suppose 2*c - 3*d + 8*d = 9, -3*d = -c - 1. Let i = c + 9. Suppose -3*j + 2*j = 0. Solve j = -2*z + 3*y + i, 9 = y - 4*y for z.
1
Let h = 66 + -57. Solve -4*u = 5*c + 12, 3*u + c = -c - h for u.
-3
Suppose 0 = -3*j + 5*r - 3, -j - r + 3 = -4. Solve 18 = 5*n + 3*v, 8 = j*n + 4*v - 8 for n.
3
Let w(x) = 3*x - 4. Let f be w(3). Suppose -u + 0 - 1 = 2*l, -f*l + 2*u = -2. Let v = 6 + -3. Solve -5*m + v*m + 3*s + 2 = 0, -5*m + 5*s = l for m.
-2
Suppose -18 = -9*d - 0*d. Suppose 4*j + 0*j - 16 = 0. Suppose 2*t = -i + 5*t + 17, 0 = -4*i + 4*t + 36. Solve -d*o + 14 = i*s, -2*o - j*s + 3 + 9 = 0 for o.
2
Let t = -102 - -105. Solve 2*u = t*n - 12, -n - u = -2*n + 5 for n.
2
Let y = 14 + -14. Solve y = -2*c - x, -2*x + x = c for c.
0
Let m = 7 - 3. Let k be -3 + 2 + (4 - 1). Solve m*b = -2*p - 4, -k = 2*p + 5*b + 2 for p.
-2
Let i = 141 + -136. Solve -2*d + 3 = i*f + 21, -16 = 4*d for f.
-2
Let o(g) = g**3 - 9*g**2 + 9*g + 7. Let n be o(8). Let c be (-1)/(42/n - 3). Solve 0*m - c*m = -2*v - 33, 4*m = -3*v + 8 for v.
-4
Suppose -30 + 5 = -5*l. Suppose z - 27 = -l*x + 4*z, 0 = -5*x - 5*z - 5. Solve -5*g + 28 = q - 0*q, 3*g - x = 4*q for q.
3
Let v be (-6 - -5) + 3*2. Suppose -4*n + 3*n - 11 = -2*l, -17 = l + 4*n. Let f = v - l. Solve -f*c = 4*g - 20, -4 = -5*g + c + 21 for g.
5
Let m(k) = -2*k - 10. Let u be m(-7). Suppose -u*t + 5*t = 0. Solve t = -4*l - w + 9, -l - 3*w + 6 = -2*w for l.
1
Let q be 12 + -1 + (2 - 2). Let v be 17/(-3) - (-3)/(-9). Let f = q + v. Solve 0 = l + f*g - 9, g + 3*g - 10 = 2*l for l.
-1
Let c(t) = -t - 1. Let a be c(-3). Suppose -x = a*x - 33. Solve -3*v + 2*n - 35 = -3*n, 0 = -v - 4*n + x for v.
-5
Suppose -3*y = -35 - 19. Solve -5*r - y = o, -2*o - 3 - 5 = 3*r for r.
-4
Suppose 0 = -4*o + 8 - 4. Solve -3 = z + 2*k, k + 0 = 2*z + o for z.
-1
Let p(i) = 0 - 5*i - 4 + 4*i. Let v be p(-4). Suppose -y - y + 4 = v. Solve 4*n + y*q - 12 = 7*q, -n = 5*q + 22 for n.
-2
Suppose -16 = -4*r, -2*t + 5 = -3*t + 4*r. Solve -2*u - 5*q = 0, u - q - 2*q + t = 0 for u.
-5
Suppose 12 = 3*q - 3*f, 0*q - 18 = -4*q + 5*f. Suppose q*l - 20 = -3*l. Let a be l/18 - 530/(-45). Solve 2*j - 3*z - a = 10, 5*j + 3*z = 13 for j.
5
Suppose 4*q - 16 = -8. Solve 2*z + 3*b - 13 = 0, 2*z + q*z = -5*b + 25 for z.
5
Let p = 28 - 53. Let w = 48 + p. Solve -4*n + w = -3*m, 0*n - 2*n - 3*m + 7 = 0 for n.
5
Let m = 14 + -12. Let r be (-60)/8*m/(-3). Solve r*s - o + 12 = 3*o, 0 = 4*s + o - 3 for s.
0
Let x be 4/(-6)*(-462)/4. Let h = 120 - x. Let a = h - 23. Solve 4*c + 24 = -3*l, c + a = -3*c - 2*l for c.
-3
Suppose 11*d - 112 = 108. Solve -2*h - 3*h = 3*j - d, 2*h = -2*j + 8 for h.
4
Suppose -23 = -2*y - 2*w - 9, 0 = -2*w. Solve 3*s + 2*a = y, -4*s - 3*a + 10 + 1 = 0 for s.
-1
Let d = 4 - 6. Let l be (-6)/4*d - -1. Let b(q) = -5*q - 1. Let t be b(-1). Solve -w - l = -t*w + 5*n, -5 = -3*w + 4*n for w.
3
Let m(b) = -b**3 + 4*b**2 + b. Let z be m(3). Suppose -3*x = 4*r - x - 10, -4*x - z = 0. Solve u = r*a - 13, 4*u + 3 = 3*u - a for u.
-5
Let d = -76 + 106. Suppose 2*k - d = -3*k. Let p be (-10)/(2/k - 1). Solve 4*r = -5*w + p, -3*w - w + 6 = 2*r for w.
-1
Suppose d - 5*g = -12, -4*d = -2*d - g - 3. Solve 0 = 4*k - 2*k + 6, 0 = 2*h - d*k - 11 for h.
1
Suppose 2 = m + 5. Let r = m - -6. Solve 2*z - 5*s = 8, -r*z = -z + 4*s - 8 for z.
4
Suppose -5*b + 11 = 4*i - 2, -i + 3 = b. Suppose 4*t = -t + 25. Solve -o = -i*f, -2*f = f + o - t for f.
1
Suppose -4*o + 3*l = -43, 2*o - 2*l - 5 - 15 = 0. Let u = 32 + -22. Solve -o = 3*w + 2*g, g - 6*g = 3*w + u for w.
-5
Suppose 5*t = 4*t. Suppose -v - v = t. Let j = 24 - 21. Solve 3*n - 3*g + j = -v*g, n - 2*g + 3 = 0 for n.
1
Suppose 7*x + 12 = 11*x. Suppose 4*u - 48 = -2*n, -4*n = x*u - 2*n - 38. Solve -2*w + u = 0, -3*k = 6*w - 3*w - 18 for k.
1
Suppose 3*k - k = 12. Let h = k + -5. Suppose t = 3*o - 2 - h, 0 = t - 5*o + 7. Solve -3 - 5 = -4*z - t*p, -8 = -4*z + 5*p for z.
2
Let o(h) = -5*h + 1. Let n be o(-1). Solve 5*b = -2*u + 17, b = -n*u + 3*u + 6 for b.
3
Let c = 159 + -157. Solve -3*f - 15 = c*f, 0 = 5*d - 2*f + 14 for d.
-4
Let s(i) = -4*i**3 - 2*i**2 + 1. Let q be s(-1). Suppose q*f = 0, -y + 2*y - 16 = -f. Solve 0 = 5*m + p + 21, -5*m + 2*p - y = -2*p for m.
-4
Let n = -9 - -12. Suppose 4*q = 5*v + 1, q - 3*v = -n*q + 7. Solve -q*t + 3*b - 26 = -9, -3*b = 3*t + 18 for t.
-5
Let s = 7 - -6. Solve 0 = p + 3*p + 3*x - 14, -3*p - x = -s for p.
5
Suppose 0 = 3*l + 3*q - 24, -5 = 3*l + 5*q - 35. Solve -c + j = l + 5, 0 = -c - 2*j + 5 for c.
-5
Let f be 5 - (5 - (-1 + 4)). Solve -3*y = -4*v + f*v + 6, 0 = -y + v - 4 for y.
-1
Let z be -5*4/(20/(-5)). Solve -b - 12 = -4*b - 3*l, 0 = -z*b + 3*l + 28 for b.
5
Suppose 4*q - 3*x - 16 = x, -4*q - x = -11. Solve 2*p - 4*y + 16 = 0, 0 = -2*p - 0*p + q*y - 12 for p.
0
Let s(v) be the first derivative of v**3/3 - 5*v**2/2 + 5*v - 10. Let c be 2 + (7 - (-2)/(-1)). Let z be s(c). Solve -4*t = -k - z, -3*t - 5*k = 1 + 2 for t.
4
Let c(r) = r + 9. Let q be c(-5). Let f = -2 - -5. Solve -4*t - 15 = -3*t - f*d, -20 = -t - q*d for t.
0
Let v = -19 + 24. Solve 2*g + g = -v*h, 4*h + 4*g + 8 = 0 for h.
3
Let h = 1 - 1. Let t be (-5*1)/(1/(-2)). Let s(m) = 3*m - 9. Let o be s(4). Solve -k - 5*u + t = h, -u = o*k - 7*k + 19 for k.
5
Suppose -5*x = -3*j + 37, 5*x = j - 39 + 10. Suppose -18 = -j*m + 3*z, -4*z + 8*z = 2*m - 14. Solve -3*b - 3 = 3*c, 4*b - 3 = m*c + 7 for c.
-2
Suppose 0 = -4*r + 8*r - 12. Suppose -2*d = -r - 5. Solve -2*k + k + 2*l = 10, 2*k = -d*l + 12 for k.
-2
Let o be (0 - (-2 - -15))/((-3)/3). Solve -3*g - 2*k + o = 0, -g + 4*g = -4*k + 17 for g.
3
Suppose 2*l = -10 + 36. Solve 0 = 2*n - 3*r - 10, -4*n + 3*r + l = -5*n for n.
-1
Supp