5, d*m = 15 for k.
5
Let r = 2816 + -2816. Solve r = -f + 4*z + 14, -2*f + 14 = -4*z - 2 for f.
2
Suppose 79 = -3*u - 26. Let x be (20/28)/((-5)/u). Solve -3*l - 13 = -x*g, -13 = -3*g + 2*g - 2*l for g.
5
Let w(r) be the third derivative of -r**5/60 + r**4/12 + 2*r**3/3 - r**2. Let f be w(2). Solve 5*k - 2 = -4*q, 0*q - 3*q + 2 = f*k for k.
2
Let h(a) = -2. Let i(n) = -n + 11. Let k(p) = 5*h(p) + i(p). Let v be k(-2). Solve 0 = 2*f + q + 10, 5*q + 1 = v*f + 16 for f.
-5
Let u(l) = -9*l - 27. Let m be u(-3). Let y(b) = b**2 - 2*b + 20. Let a be y(m). Solve 0 = 2*d - 3*z + a, 4*d + 16 + 20 = 5*z for d.
-4
Suppose -9*r = -2*r. Let v(i) = -8*i - 81. Let d be v(-12). Solve -a + 4*a + 2*g - 7 = r, -3*g - d = -4*a for a.
3
Suppose 6*h - 4*a + 65 = 11*h, -4*h = -4*a - 16. Solve 5*v + 2*m - 10 = 0, -5*v + h*m - 12*m = -10 for v.
2
Suppose -4*n = -n - 5*f - 15, 0 = n + 2*f + 6. Solve 2*b + 2 = 2*d + 4*b, n = -2*d - b + 3 for d.
2
Let f = -9 - -6. Let s be 5*(32/10 + f). Let h = 3 + s. Solve -4*k - h*j = -8, k - j = 5 - 3 for k.
2
Let u(k) = -3*k**2 - 2 - 107*k**3 - 4*k + 3 + 106*k**3. Let m be u(-2). Solve 2*s + 0 - 13 = x, -m*s = -2*x - 30 for x.
-5
Suppose 6*i = 3*i + 15. Let t(q) = 4*q**2 + q - 1. Let d be t(1). Solve -p + d = -2*s, -3*s + 4*p - 16 = -i*s for s.
0
Let c(u) = -u**3 - 18*u**2 - 35*u - 41. Let s be c(-16). Solve -s*o + 33 = -5*d - 3*o, d + 11 = 3*o for d.
-5
Suppose 0 = -0*w + 3*w + 27. Let a = w - -39. Solve -3*n = -4*c - 0*c + 32, -a = -2*c + 5*n for c.
5
Let u be 1 + 4 + 2 - 4. Let x(i) = 2*i**2 - 2*i - 2. Let y be x(u). Let b be y/(-15)*(-9)/3. Solve -j = -6*j + 10, 3 = -z + b*j for z.
1
Suppose 52 = 4*v - 0*v. Let l = 22 - v. Suppose l*r - 2 = 8*r. Solve -y + 3*t + 1 = -4, -6 = r*y + 2*t for y.
-1
Suppose 0 = 2*r - 4*y - 28, -4*y = 3*r + 4 + 4. Let s = -1 - -9. Suppose -r*l + 17 = -5*p, -s = 4*l + 2*p - 18. Solve b + 10 = l*k, 20 = -2*b + 5*k + 2 for b.
-4
Let x = -48 + 50. Solve -2*a = -3*d + 3, 0 = x*a - 7*a for d.
1
Let u be ((-6)/(-6))/(2/(-14)). Let a(k) = -k + 4. Let q be a(u). Let b = 14 - q. Solve -2*s + 3 = -0*m + 3*m, 5*s - 3 = -b*m for s.
0
Let r(s) = s**3 - 3*s**2 - 39*s - 4. Let g be r(8). Solve -g*h = 2*j - h - 13, 6 = j + h for j.
5
Suppose 10*v - 520 = -220. Solve 0 = 4*c + c + 2*d - v, -c + 14 = 2*d for c.
4
Let m(z) = -z + 23. Let d be m(-13). Let c = d - 33. Solve 4*x - 3*t = c + 2, -3*x = 2*t - 25 for x.
5
Let a be -2 + 15 - (4 - 2). Let k = a + 2. Suppose -17*f = -k*f - 16. Solve -2*b = 3*u - 0 + f, b + 1 = -u for u.
-2
Let d be (-6)/(-20)*16 - (-8)/40. Suppose 4*y + 9 = -3*m - d, 4*m - 23 = 3*y. Solve f = -4*v - 11, -m*f + 0*v = 4*v + 14 for f.
-3
Suppose 12*z + 30 = 14*z. Suppose 4*x - 75 = -3*b, 0*x + z = x - 3*b. Let l = 20 - x. Solve 0 = -2*g - 3*t - 17, 5*g + 21 = -t - l for g.
-4
Let i(x) = -x**2. Let h(d) = -2*d**2 + 5*d - 5. Let b(p) = h(p) - i(p). Let j be b(3). Solve 3*a - 5*q - 8 = -4*q, -a + 4*q - j = 0 for a.
3
Suppose 5*s + 5 + 20 = 0, -10 = 3*m + 2*s. Solve m*w - 6 = 3*h - 3*w, 0 = h + 2*w - 10 for h.
2
Let g = 661 + -659. Solve -4*u + 12 = -0*u - g*r, 0 = r + 2 for u.
2
Let s be 10/(-25)*(-25)/2. Let w(f) = f + 3. Let b be w(0). Let x = -1 + b. Solve -x*z + 5*t - 2*t = 5, -s*z = -3*t - 1 for z.
2
Let b = 84 - 75. Let m = -3 - -6. Suppose 2*p - 6 = -z - 0, -3*p = -z - 4. Solve -4 = 3*c + 2*c + m*w, -z*w = -3*c + b for c.
1
Suppose -2*j - 17 = -5*v, -6*j + j - 86 = 2*v. Let p be j/20 - 72/(-15). Let h = -1 - -2. Solve p = 3*y + 3*f - 8, y = -4*f + h for y.
5
Let k(t) = t**3 - t**2 - 15*t - 6. Let b be k(-3). Solve 1 - 5 = -y - b*a, y - 3*a = -8 for y.
-2
Let b be (0 + 6/6)*6. Solve -w = u - 5, u + b*w - 5 = w for u.
5
Let g be -23 - (-5)/(-10)*-4. Let r be ((-4)/(-6))/(2 - (-41)/g). Solve -3*v - r = b + 3, 4*v + 14 = 3*b for v.
-5
Suppose 3*y - q - 15 = 0, q = -2*y - 12 + 22. Solve 5*m = y*r + 30, -6*r - 12 = -3*r for m.
2
Let w(d) be the second derivative of d**2 + 1/6*d**3 + 3*d - 1/12*d**4 + 0. Let c be w(2). Solve 0 = f - 3*u - 11 + 27, -2*u + 8 = c for f.
-4
Let n be ((1 - (-6 + 0)) + -7)/1. Solve 20 = -2*w + 4*k, w = -4*k - n*k + 8 for w.
-4
Suppose 2*t - f = -2*t + 280, 4*f = 5*t - 361. Let n = t + -55. Solve -3*o + 9 = 2*g, g = 4*g + 5*o - n for g.
3
Suppose 13*u - 1709 + 513 = 0. Let h = u + -90. Solve -h*j = -3*i + 10, -5*i - 20 + 5 = 3*j for j.
-5
Suppose -77*w = -5*c - 81*w, -c - 3*w = 0. Solve c*j - 2*s = -4*j + 2, -2*s - 2 = 4*j for j.
0
Let w = 123 - 120. Solve i = f - 4*i - 25, -f - w*i - 15 = 0 for f.
0
Let u be 10/85 + 134/17. Solve -2*y + y - u = -3*k, 3*k - 4 = 2*y for k.
4
Suppose 2*u = 5*s - 19, 4*s - 23 = u - 2*u. Let x be -1 + 4 - (-4)/2. Solve -x*z = 0, 5*c + 3*z - s = -2*z for c.
1
Let b be (60/(-50))/(4/(-10)). Solve -b*q = 4*l - 32, l + 20 = 5*l for q.
4
Suppose -79*z - 22 = -90*z. Solve -3*f + 12 = -3*x, 0*x - 10 = -3*f + z*x for f.
2
Suppose -5*q = -2*v - 106, -q - 171 = 3*v + 5. Let t be 92/(-24) + 4 - v/12. Solve -5*y + t*k + 5 = 0, -y - 3*k + 6*k - 5 = 0 for y.
4
Suppose 0 = -3*g - 3*w + 2 + 1, 4*w = 3*g - 24. Suppose 0 = g*v - 28 - 12. Suppose -b + 2*b - v = 0. Solve 5*x = y + b, -x - 18 = -5*y + 4 for y.
5
Suppose -97*r + 102*r = 20. Solve -2*y = -r*y - 4*j - 28, y - 21 = 5*j for y.
-4
Let p be 38 - (-2 + 3) - 2. Let o = 42 - p. Solve 5*b + 2 = -4*t + 1, b - o = t for b.
3
Let h be 2 - (-2 - -1) - (-182 - -182). Solve 9 = -2*w - h*v, w = v + 2*v + 9 for w.
0
Let p = -1829 - -1836. Solve -2*x = -5*k - 9, -p + 0 = -4*x - k for x.
2
Let b = 2854 - 2849. Let p be (-4)/(-14) + 38/14. Solve p*f - 2*w = f + 8, -b*w - 22 = -3*f for f.
-1
Suppose 5*w = -4*o - 13, 3*w + 0*o + 12 = -o. Suppose 0*l = 4*l - 3*z + 1, -5*l = -5*z. Let x = l - w. Solve 4*j = -x*m + 12, 2*m + 1 = 2*j + 3 for m.
2
Let x = 13 + -8. Let b be 4 - (0/3)/1. Let g(a) = a**2 - 4*a - 10. Let q be g(6). Solve q - b = -x*p + 2*v, -4*v = p + 4 for p.
0
Let w(g) = -g**3 - 7*g**2 + 4*g - 28. Let q be w(-8). Solve -5*p + 30 = -5*a, 0*p + p = -a + q for p.
5
Let v(m) = m**3 - 16*m**2 + 16*m - 11. Let q be v(15). Solve -4*x + 23 = 3*z, 0 = x - 4*z + q + 14 for x.
2
Let a be ((-6)/(-8))/((-1)/(-4)). Suppose 0 = -2*r + 2*x - 14, -2*r = a*x - 1 - 10. Let z = 22 + r. Solve -4*u = z, -3*u + u - 10 = 5*g for g.
0
Let t = 268 + -263. Solve -5*c - 16 = 2*a, -c = -t*a - 11 - 2 for a.
-3
Let l = -23 + 26. Suppose 2*i - r + 0*r = 59, 3*i = 2*r + 91. Let u be (6/9)/(6/i). Solve u*m - 5*w + 2*w + 6 = 0, -l*m - 5*w - 6 = 0 for m.
-2
Let y = -926 + 926. Solve 5*h - 20 = -5*f, 2*f + h - 3*h + 4 = y for f.
1
Suppose 68 + 20 = 4*o. Suppose 5*q - 2*t + 6*t = 21, -4*q + 2*t = -o. Solve -4*c + 0*b = 5*b - q, 19 = 2*c - 3*b for c.
5
Let n = 1669 + -1667. Solve n*d = -3*o + 6, -4*d - 9*o + 12 = -4*o for d.
3
Let b(t) = -t - 5. Let v be b(-12). Let p(q) = 2*q**3 + 2*q**2 + 3*q + 3. Let z be p(-2). Let y = -6 - z. Solve -d + v = 3*w, -y*d - 9 = 4*w - 0*w for w.
4
Let c(b) = -2*b + 6. Let h be c(9). Let n be (3 - 26/8)*h. Suppose 3*g - 2*w = -w + 86, -82 = -n*g - w. Solve 4*d + 0*r + g = -4*r, -2*r = 10 for d.
-2
Suppose 5*s = m + 6, 2*s - 4 = m - 2*s. Suppose 4*z + 90 = 4*b + z, 4*z - 76 = -m*b. Solve 2*x = 3*a + 7, 0 = 2*x + 5*a + b - 4 for x.
-1
Let z be 3990/84*1/(-5)*-2. Solve -t - 3 = -3*k - 2*t, 5*k - 3*t - z = 0 for k.
2
Let q(j) = 27*j - 108. Let x be q(4). Solve 2*a + 2 = -2*m, -a = -3*m - x + 5 for a.
-2
Suppose -19 = -7*w + 16. Suppose 30 - 5 = 5*h. Solve 2*a = -w*t + t + 18, -a = t - h for a.
1
Suppose 2*q - o - 34 = -30, -3 = -3*q + 3*o. Solve 0*n = -4*n + 4*l, -5*n + q*l - 2 = 0 for n.
-1
Let u(o) be the second derivative of o**4/12 - 8*o**3/3 + 5*o**2/2 + 14*o. Let q be u(16). Solve -2*t - q + 15 = 0, t = -2*w - 3 for w.
-4
Let h(w) = -5*w + 4. Let t be h(2). Let o be ((-8)/12)/(2/t). Suppose o*m - 3*k = -2*k + 15, -m + 3*k - 5 = 0. Solve -2*c - 4*q = -22, -2*c - 3*c + m = q for c.
1
Suppose -4*x = -7*x + 6. Suppose 0 = -2*u - 4*c - 25 + 91, -u = -c - 24. Solve u = -5*n + 4*b - x*b, -5*n - 4*b - 21 = 0 for n.
-5
Let a = 237 - 226. Solve -14 = -2*u + u - 2*p, 0 = -4*u + p + a for u.
4
Let q = -46 - -48. Suppose -4*h + 54 = q*l, 2*h - 37 = -l + 2*l. Solve -5*y + z - 20 = 4*z, -4*z = -4*y + h for y.
-1
Let s = -15 - -19. Suppose -4 = v + 4*p + 5, -5*v + 27 = -s*p. Solve 5*t - 10 = 3*c, 6 = 3*t - v*c - 0*c for t.
2
Let k