 + 3 + 13 = 0 for k.
4
Let n = 28 - 24. Solve 6*a - a = 3*s + 1, -n*a + 3*s = 1 for a.
2
Let d be 1 + (-2 - -2)/(-2). Suppose 3 = u - d. Solve -3*z - 5*b + 2 = 10, 0 = 3*z - u*b - 28 for z.
4
Suppose -c + 6*c - 30 = 0. Solve 5*i = -o + 11 - 3, -2*i - 5*o - c = 0 for i.
2
Let f be (28*-1)/(-2 - -1). Let t be 10/4*2/5*5. Solve 0 = t*v - 2*z - 21, -4*v = -0*v + 4*z - f for v.
5
Suppose 0 = -2*s - 12 + 18. Solve s*z + 6 - 21 = -2*m, -2*z = -2*m - 10 for m.
0
Let z be 1*((1 - 3) + 4)*1. Let q = 3 - 0. Solve z*s = -q*a + s + 8, -2*a - 8 = -2*s for a.
1
Let r = 41 + -27. Solve r = 4*t - 2*g, 5*t - 2*g = 8 + 10 for t.
4
Let a be (-1 - -2) + 3 + 2. Solve -6 = 3*b, b + 8 + a = -3*m for m.
-4
Let b = -8 - -33. Suppose -b + 4 = -2*j + 3*x, -5*x = j + 9. Solve 4*l + g + 15 = 0, -l + 3*g - j*g - 12 = 0 for l.
-3
Let q = 75 + -45. Solve 2*d + 5*t + 6 = 21, t = 5*d + q for d.
-5
Suppose 4*k + 1 - 9 = 0. Solve k*t - 4*m + 8 = 0, t + 6*m + 4 = 3*m for t.
-4
Suppose -t - 10 = -6*t. Suppose -10 = -105*d + 104*d. Solve 0*g + d = -3*g - t*m, 2*g + 11 = 3*m for g.
-4
Let h be -4*(-2)/28 - (-2)/(-7). Solve 4*f - 2*o + 6 = h, 4*o + 8 = 3*f - 0*o for f.
-4
Let k be (-3)/2*(3 + -5). Let d be (2 - 0) + 1 - k. Suppose 3*p + d*a + 8 = -5*a, 4*p = -2*a + 8. Solve 5*x - 7 = s, -2*x - p*s - 2 - 4 = 0 for x.
1
Let v = 8 + -2. Suppose h - 3*x + 6*x + v = 0, 4*h - 2*x - 18 = 0. Suppose 2*b = -h*b + 20. Solve -3*j = -b*z, -2*j + 6*j - 3*z = -7 for j.
-4
Let i(w) be the second derivative of -w**3/6 + w. Let h be i(-2). Solve 0 = -j + h, 5*j = -2*f + 4*j + 10 for f.
4
Let b = 6 + -4. Let t be (-3 - -1) + 30/b. Solve 0 = -f + 3*o - 3 - t, 5*f - 4*o + 25 = 0 for f.
-1
Suppose 0 = 5*t + 3*q - 8*q + 170, -t + 2*q = 36. Let x = t + 67. Let l be -3 + 4 + (1 - -13). Solve -4*f = -3*i - 0*i + x, 2*f = -5*i + l for f.
-5
Let l(i) = i**3 - 7*i**2 - 7*i + 3. Let o be l(8). Let a(r) = r**3 - 10*r**2 - 10*r - 6. Let z be a(o). Solve 2*k = -10, -z*k = t - 2*t + 29 for t.
4
Let b be (-48)/(-36) - 4/(-6). Suppose 2*z - 12 = -b*z. Solve 4*r = z*h - 17, 0 + 2 = -4*r - 2*h for r.
-2
Suppose 0 = 3*z - 13 - 5. Let a = -3 - -4. Suppose z - a = p. Solve -3*s = p*t - 7, -8 = -2*s - 4*t - t for s.
-1
Let l = 55 - 53. Solve -l*g - 3*t + 3 = 0, 5*g + 2*t = g + 2 for g.
0
Let l(t) = -t - 11. Let h(q) = -2*q - 21. Let v(i) = -4*h(i) + 7*l(i). Let w be v(-5). Solve -u = -2*m - 4, 3*m - w*u + 6 = 3*u for m.
-2
Let q(h) be the third derivative of h**6/120 + h**5/5 + h**4/24 + 13*h**3/6 - 3*h**2. Let i be q(-12). Solve 4*x + 0*x - 22 = 2*s, s = -i for x.
5
Suppose 3*n - 23 = 28. Suppose -3*u = v + v - n, -20 = -3*u - 5*v. Let w(d) = 2*d - 5. Let z be w(4). Solve -z*c - c + u*o = -16, -3*c + 12 = -o for c.
4
Suppose 4*v - 20 = 4*d, 4*v = 7*v + 5*d + 1. Suppose 0 = -3*p + p - 4*w + 30, p - 4*w + 15 = 0. Solve 2*h = 4*u, p*u - 4*h - 3 - v = 0 for u.
-2
Let z = 0 - -7. Let t(g) = -17*g + 156. Let i be t(9). Solve z*w - 8 = 4*l + i*w, -2*l - 3*w - 19 = 0 for l.
-5
Let z = 15 - 15. Solve -p = -4*c - z*p, 0 = -4*p for c.
0
Let c(o) = 3*o**2 + 32*o - 7. Let s be c(-11). Let h(k) = 6*k**2 + 2*k + 1. Let w be h(-1). Solve -24 = s*v + 3*m - m, -w*v - 21 = -2*m for v.
-5
Suppose 3*d - 3*a = a + 26, -3*a - 19 = -2*d. Let r = -10 - -10. Solve 0 = -2*i - d*q, r = i + i + q + 2 for i.
-2
Let j = 13 + -11. Suppose -3*m = j*i, m + 0 - 8 = 2*i. Solve -z = m*k - 10, 17 = 3*z + 5 for k.
3
Suppose 2*x + 8 = 0, -2*x + 3*x = -4*q + 4. Solve q*a + 4 = 2*j, -a + 3*j - 8 = -0*j for a.
1
Let h(g) = -2*g + 1. Let s be h(-2). Let a be -4 + s + -1 + 0. Solve -b - 4*c - 3 = 0, 4*c - 6 = -a*b + 2*b for b.
-3
Let n(a) = 2*a - 6. Let i be n(4). Solve 3*l = 2*j + 6, -1 = 2*l - i*j - j for l.
4
Let y = -5 + 2. Let v be y/(-2)*(-56)/(-21). Solve -2*d - p = 0, -2*d + v*d = -2*p for d.
0
Suppose -4*c + 4 - 19 = q, -35 = -2*q + 5*c. Solve -x + 4*n = 16, q*n - 15 = 10 for x.
4
Let x = -9 + 10. Let y be x/(4*(-2)/(-24)). Solve l - 3*f - 16 = 0, y*l - f = f + 13 for l.
1
Let s(m) = -m**3 - 13*m**2 - 13*m - 9. Let v be s(-12). Solve -4*c - 8 = -4*x, -19 + 7 = -3*x - v*c for x.
3
Suppose g + 4*z = 19, -2*g = z + 2*z - 18. Let i = 2 + -1. Let k = g - i. Solve 0 = k*d + 5*y + 19, -3*d + 2*y - 5 = -24 for d.
3
Suppose 3 = -2*b + 9. Suppose 3 = b*u + 2*c, 0 = 4*u + 6*c - 2*c. Solve u*f = 2*f, -2*n - 5*f = 2 for n.
-1
Let w = -48 - -48. Solve 2*t - h = -w*h + 10, -3*t + h + 14 = 0 for t.
4
Let l(t) be the second derivative of t**4/12 - 4*t**3/3 + 11*t**2/2 + 4*t. Let o be l(7). Solve o*p + z = -z - 12, 0 = -p - 5*z + 6 for p.
-4
Let l(d) = d + 11. Let n be l(-7). Solve -2*f - 3*v = 4, f = -4*v - n - 8 for f.
4
Let j = 5 - 1. Let l be (-9)/6*10/(-3). Suppose -4*s - 2 = 2*r, -s - 3*s - 37 = -l*r. Solve 2*p = r*w, -5*p - 12 = -j*w - p for w.
-2
Suppose -c + g = -4*g - 40, -2*c + 3*g = -52. Let u be 168/35*c/6. Solve 4*z = q + u - 7, 2*q - 6 = -4*z for z.
2
Suppose 0 = 3*j + c - 4, 3*c - 3 - 9 = 0. Let s = -3 - j. Let k(b) = -b**2 - 7*b + 1. Let q be k(s). Solve 0*d + 33 = 2*m - 5*d, 2*m - d - q = 0 for m.
4
Suppose a - h = -5 + 12, a = 3*h - 1. Solve 4*z = 5*f - a - 21, 0 = -5*z + f - 19 for z.
-3
Let d = -5 - -10. Solve -d*a + 3*p = 5, -a + 0*p - 1 = -p for a.
-1
Let a be (-3 + 2)/((-1)/2). Suppose 0 = 3*q + a*q - 20. Solve -3*s - y = -q, 0 = 2*s + 5*y - 7 for s.
1
Let c = 9 + -4. Suppose -c*a + a - 11 = w, 5*a = 2*w - 30. Suppose -w*h + 3 + 12 = 0. Solve -h = -2*n + 3*m - 4, 3*n - 5*m + 2 = 0 for n.
1
Let k(g) = -g**3 + 2*g - 1. Let s be k(1). Solve -3*d - 4*j + 19 = 0, 5*d = -s*d + j + 1 for d.
1
Suppose -2*h - 1681 = -5*h + 4*i, 5*h = -i + 2840. Let v be (-4)/(-26) - h/(-117). Solve -x + 3*x + 5*l = 1, 9 = -2*x + v*l for x.
-2
Let z(c) = -c**2 + 9*c - 1. Let k be z(5). Solve 5*q + 29 = a, -3*q + 2*a - 4 = k for q.
-5
Suppose -7 = 4*a - 15. Solve 4 = 3*l - a*l - 4*s, -2*s - 12 = -3*l for l.
4
Let w(s) = -s**2 - s + 2. Let u be w(-2). Solve -5*f - 5*a + 0*a + 10 = u, 5*f - 6 = -a for f.
1
Let o be 1/(-12)*-3 + (-22)/(-8). Solve -w - 15 - 5 = -4*u, 0 = -o*u + 15 for w.
0
Suppose -12 = 3*p, -p - 2*p + 3 = 3*s. Let c be 42/12 + (-6)/4. Solve -7 = 3*h - 5*u, -c*u + 4 = s*h - 5 for h.
1
Let u = 36 + -11. Suppose -3*h + 6 = -9. Solve h*w + 11 = -2*z + 36, -u = -3*z - 5*w for z.
0
Suppose 9*m - 11*m = -8. Suppose -m*a - 1 = -13. Suppose -7*x + a*x = 0. Solve x = 3*f + 4*i + 20, f = -3*i - 9 - 6 for f.
0
Suppose 2*d = -d + 12. Suppose 0 = -3*r + 2 + d. Let p be -2 + 2 - (r - 2). Solve -2*t = 3*x - x + 4, -5*t + x + 20 = p for t.
3
Let z = -10 - -20. Solve 2*q + f = 5*f + z, -6 = -3*q - 3*f for q.
3
Let u = 84 - 80. Solve -r + u*k = 2*r + 19, 3*r + 11 = 2*k for r.
-1
Suppose -5*u - 3*p = 18, -1 = -2*p + 7. Let q = 11 + u. Solve 4*z + 4 = -q*b + z, 5*b - z + 12 = 0 for b.
-2
Suppose -3*z = -10 - 11. Let v = z + -3. Let k = 24 + -24. Solve 0*d + 22 = -v*d - 2*x, -3*d - 3*x - 18 = k for d.
-5
Let l = 26 + -24. Solve -4*v = 3*g - 14, -14 + 2 = -l*v + g for v.
5
Let c(b) = -b**3 + 4*b - 3. Let y(f) = 4*f**3 - f**2 - 16*f + 13. Let d(u) = -9*c(u) - 2*y(u). Let s be d(-3). Solve -5*v = -2*a - 5, s*a + 4*v - 7 = 5*a for a.
5
Let p = 2 + 1. Solve k - 2*t - 16 = -2*k, 5*k + p*t + 5 = 0 for k.
2
Let c(f) = -f**3 + 2. Let n be c(0). Solve 0 = -4*q - 4*x + 16 - 4, 14 = 2*q - n*x for q.
5
Suppose 4*y - 33 + 13 = 0. Solve 2*d - 4 = -3*s, -y*d = 2*s - 7 - 14 for s.
-2
Suppose 0 + 2 = -2*j, -4*n - 3*j - 3 = 0. Suppose 2*b - 60 = -5*l, b + 2*l - 15 - 13 = 0. Solve n = -i - 5*o - 14, -4*i + 5*o = i - b for i.
1
Let y(v) = 13*v**3 - 2*v**2 + 1. Let z be y(1). Suppose -2 + z = 5*i. Solve 0*f - i*f + 3 = 3*a, 6 = f + 3*a for f.
-3
Suppose 10*p = -0*p - 7*p. Solve 5*n = -5*h - 30, 5*h + n = -p*n - 10 for h.
-1
Let y(g) = g**3 - 8*g**2 + 7*g + 9. Let s be y(7). Solve 4*v = -u - 13, 5*u + 4*v - s = -26 for u.
-1
Let o be (-2 - -23)/((-6)/(-4)). Let t(g) = g**2 - 4*g - 5. Let l be 8/(-2 - -3) - 3. Let z be t(l). Solve -k = -3*i - z*k, 5*k - o = i for i.
1
Let n be (7 - (-3 + 6))*1. Solve n*i + 4*u = -8, -2*i + 4*u - 9 = u for i.
-3
Let s = -1 + -3. Let p = 8 + s. Solve -2*r = 2*g + 3*r + 28, 3*g = 2*r - p for g.
-4
Let o(h) = 3*h**2 - 41*h - 12. Let n be o(14). Solve 0 = -n*t - 3*q, 3*t + 2 - 7 = -2*q for t.
3
Let s(o) = -3*o - 4. Let t be s(3). Let f = -9 - t. Solve -f = g + 3*b, -g - 2*g + b 