+ 6 = 0 for k.
-2
Let n = -29 - -33. Solve -2*v - 16 = -n*i, -4*i + 0 = -8 for v.
-4
Suppose 12 - 28 = -2*j. Suppose -4*u - 4*i - 16 = 0, -2*u + j = -5*u - 2*i. Solve 2*k + u*z = z + 3, 13 = 2*k - 3*z for k.
-1
Let a = -45 + 45. Solve -2 = -m, -2*z - 2*z - 5*m + 10 = a for z.
0
Let u be ((-54)/72)/(3/(-8)). Solve u = t, 4*p = -2*t + t + 6 for p.
1
Suppose -10*g + 157 = -73. Solve -3*n + d = 2 + 10, d + g = -4*n for n.
-5
Let f be (-2 - -13 - 3) + -5. Let w = -1 - -3. Solve 0 = -f*d - 3*y - 6, 18 = -5*d + y - w*y for d.
-4
Let d(w) = 5 - 2*w - 3*w + w + 3*w. Let j be d(3). Solve 2*g = -v + 10, -5*v + 0*g - j*g + 10 = 0 for v.
0
Suppose 0 = -5*q - 3*q + 16. Suppose q*v + 2 = 2*k, 4*v + 0*k = -4*k + 20. Solve -3*i + 14 - 2 = 0, y - 13 = -v*i for y.
5
Let d = -26 + 61. Suppose 38*j = 33*j + 25. Solve 2*c - 4*c = -5*h + d, -h - j*c - 20 = 0 for h.
5
Suppose -5*b = -4*w - 106, w - 3*w = -2*b + 44. Solve x - 4*x - l = -10, -5*x = l - b for x.
4
Let z be -3 + 10 + (1 - 4). Solve 0 = 2*m + j - z, -3*m + 0 + 8 = 2*j for m.
0
Let v = -2 - -4. Suppose -q + 2 = 5*j, q = -v*q - 2*j + 6. Let p be (q - 2) + 2*2. Solve 4*g = -d - 10, -p*d + g = -d - 9 for d.
2
Let m(o) = -o**3 - 4*o**2 - 2*o + 3. Let l be m(-4). Let f = l + -2. Solve 3*q + 0*q = i - 18, 0 = -3*i + f for q.
-5
Let n = 48 + -23. Suppose 0 = 4*l + 3*w - 7 - 24, -5*l - 5*w + 45 = 0. Let r = 0 + l. Solve -n = -5*s + 5*b, -2*s - 2*s + 12 = r*b for s.
4
Let u(f) = f**3 + 10*f**2 + 10*f + 11. Suppose -2*y + 5*d = 3, 4*y - d = d - 30. Let r be u(y). Solve -4*h - z = -7, -4*h - 2 = -r*z - 0 for h.
1
Let h be 12/9 + 2/3. Solve 3*k - 4 - h = -r, -5*k = -5 for r.
3
Let f be 0*-2*2/(-4). Solve -5*a + 2*l - 11 = f, -a - l + 1 - 6 = 0 for a.
-3
Let b(r) = 2*r - 37. Let q be b(21). Solve -5*g = 2*f + 9, 0*g + 5*f = 5*g - q for g.
-1
Let z(p) = p + 6. Let q(x) = 2*x + 10. Let w be q(-7). Let r be z(w). Solve -13 = 2*n - 6*a + 3*a, 0 = -r*a + 10 for n.
1
Let v be (-63)/(-7) + -3 + -1. Solve c = -v*w + 19, 4*c + 16 = 4*w + 5*c for w.
3
Let b = 9 - -6. Solve -5*x + 5 = n - 2, -b = -3*x + 3*n for x.
2
Let y(h) = -h + 1. Let f(m) = m + 3. Let r(q) = f(q) - y(q). Let d be r(2). Solve -4*p - 7 = -5*z, 3*p + 4*z = d*p + 6 for p.
2
Suppose 2*k = k + 35. Suppose 3*g = 5*r + 7, -5*r + k - 6 = g. Suppose 0 = -0*h + 2*h + 2*y - 4, h - y = 2. Solve -5*j = h*x + g - 4, j = x + 6 for x.
-5
Suppose 4*w - 4*p = -3*p + 83, 5*w = 5*p + 115. Suppose -4*f - d - w = 4*d, 4 = 3*f - d. Solve 0 = -k - 5*i + 26, -4*k + 4*i - 13 - 3 = f for k.
1
Let n = 15 - 7. Suppose 0 = -n*z + 4*z. Solve g = f - z*g + 6, -g = -5*f - 18 for f.
-3
Suppose 5*p = -17 - 8, 4*o = 5*p + 57. Solve 0 = f + 4*g + 22, 3*f = 4*f - 2*g - o for f.
-2
Let v be 15/(-3) + 3/3. Let k = 8 + v. Solve -3*n = -k*d - 10, -4*n = d + 2*d + 20 for n.
-2
Let r = -28 - -20. Let w(o) = -o**2 - 7*o + 8. Let z be w(r). Let x be (-2)/((0 - -1)*-1). Solve x*n + n - 4*k + 15 = z, n = -2*k - 5 for n.
-5
Suppose -18*i - 48 = -21*i. Let a(c) = 2*c - 4. Let g be a(4). Suppose 2*t = 3*z - 0 + 1, -g*z = -5*t + 20. Solve -4*f + 4*j = i, 2*j = -2*j + t for f.
-2
Let m be -3 - (1 - (-3 - -1)). Let a be 3/6 + (-33)/m. Solve -a*w + 3*w - h = 6, 4*h - 4 = 2*w for w.
-2
Let p be -2 + 2 - -10 - -2. Let y be (-8)/p - (-2)/3. Solve i + 2 = -5*o - 2, y = o - 3*i - 12 for o.
0
Let g = 19 + -16. Solve 12 = -g*p + h, 4*p + 5*h + 0*h = -35 for p.
-5
Let b(w) = 2*w**2 - 1. Suppose -g = -5*z + 1 + 8, 5*z - 13 = 2*g. Let x be b(z). Let o = x + 1. Solve -5*c + 31 = -c - 3*j, -2 = 2*c + o*j for c.
4
Suppose q - 4*q = 0. Suppose q = -p + s + 9, 5*p + s = 4*s + 37. Let d(a) = -2*a - 3. Let w be d(-3). Solve p - 1 = z, v = -w*z + 14 for v.
2
Let d(f) be the third derivative of -f**6/120 - f**5/12 + 5*f**3/6 + f**2. Let r be d(-5). Solve -2*m - 8 = -i - 3*i, -r = -3*i + 2*m for i.
3
Let m(y) = -y**3 + 10*y**2 - 6*y + 4. Suppose 0 = 4*v + 19 - 55. Let k be m(v). Solve 5*l = -5*o + 6 - k, -o + l = -3 for o.
-1
Suppose 0 = 8*p - 12*p. Solve -2*i - 6 = -p*i, -4*i = -5*c + 12 for c.
0
Let j = -3 - -3. Suppose -35*t + 28*t = -35. Solve -t*p + j*y + 13 = -3*y, 5*p = -4*y + 41 for p.
5
Let h be 3 + (-2 - -15 - 2). Solve -h = 3*k + 4*u, 3*k - 27 = 4*u - 1 for k.
2
Suppose -4*h = -7*h + 48. Suppose -d - 4*o = -h, -5*o + 19 + 0 = d. Solve 0 = -u - d*c + 13, 5*u - 4*u - 5*c + 5 = 0 for u.
5
Let p(g) = g + 1. Let t be -1 + 1 - (-2 - 0). Let u be p(t). Suppose 13*r - 72 = -5*r. Solve 0 = -x - r*d + 4 - 21, -24 = -u*x + 3*d for x.
3
Let l = -42 + 44. Solve -12 = l*n + 4*p, -p - 5 = -0*p for n.
4
Suppose 6*v - 75 = v. Let y = v - 21. Let k be y/(-5)*30/9. Solve 4*a - 17 = -k*g + 7, -3*a + 10 = -5*g for a.
5
Let c(l) = l**3 + 8*l**2 - 8*l + 11. Let b be c(-9). Solve 2*f + 12 = b*r - 0*f, -5*r - 2*f - 5 = 0 for r.
1
Suppose 0 = 2*p - 3*p. Suppose 2*n - 2*l - 6 = 4*n, -3*n - 2*l - 4 = p. Solve n*i = 5*h + 2 + 12, 2 = 4*h + 5*i for h.
-2
Let b = 6 - 4. Solve -3*m + b*x = -2, 3*m - 7*m = x + 1 for m.
0
Let o = 1 + -2. Let i = 1 + o. Solve -5*c - 2*s + 7 = i, -c + 4 = -0*c + 3*s for c.
1
Suppose -3*q - x + 104 = -6*x, 0 = 5*q + 5*x - 120. Solve -2*h + q = -3*s + 3*h, -4*s = 2*h - 6 for s.
-1
Let k(i) = -i**3 - 12*i**2 + i + 12. Let r be k(-12). Suppose 5*n - 2*n + 5*j - 5 = 0, -3*n - 4*j + 4 = r. Solve n = -2*b + g + 11, -5*b - 7 + 2 = 4*g for b.
3
Let f = 7 - 7. Solve f = -2*g + 4*h - 2, 2*g + 5 = -h + 13 for g.
3
Let b be (-10*(-3)/(-3))/(-2). Solve -13 = -3*l - b*y, l = -5*y + 1 + 10 for l.
1
Let b = -5 + 13. Let l = -5 + b. Suppose l*n - 66 = -0*n. Solve -2*a - 2*a = -2*r - n, 5*r = -2*a - 7 for a.
4
Suppose 4*q + 36 = 5*f, -3*f - 4 = 3*q + q. Solve -3*n - 5*z + 2 = -10, -2*n - f*z + 10 = 0 for n.
-1
Let n(q) = 7*q - 3. Let o = 6 - 3. Let d be n(o). Suppose -v + 18 = 4*w, -3*v + 5*w + 0*w = -20. Solve 2*x + 0*x + v = 5*z, -2*z + d = 2*x for z.
4
Let z = 3 - -27. Let b = z - 13. Solve 3*r - b = 5*y, 3*y + 0*r + 3*r - 9 = 0 for y.
-1
Let x(j) = 3*j + j**2 - 2*j**2 + 2*j - 1. Let l be x(2). Solve -2*r + 0 - 2 = 0, -4*o + 3*r - l = 0 for o.
-2
Suppose -2*p = -6*p. Suppose -4*m - 21 = -m. Let s be 6 + 2 + m + 2. Solve -a = -p - 1, -s*b = -3*a + 3 for b.
0
Let h(f) = 4*f**2 - f + 2. Let b be h(1). Solve -5*v = b*i, 2*v - i + 10 = -2 for v.
-4
Suppose 0*l = -6*l + 132. Let x = 25 - l. Solve 3*j - b = 10, -2*b = 3*j - 1 + x for j.
2
Let f be (9/(-3))/(3/(-9)). Let a = 11 - f. Solve a*d = 2*q - 16, 5*d + q = -q - 12 for d.
-4
Let c be (-64)/(-12)*15/4. Solve 0 = -4*h - 3*d + 27, 5*d = -5*h + 4*d + c for h.
3
Let a be (-6)/21 - 684/(-42). Suppose 0 = -3*l - 3*i + a - 1, 4*l + i - 20 = 0. Solve 0 = 5*c + 5*h + 15, h = -4*c - 13 - l for c.
-5
Suppose 0 = 7*c - 3*c - 128. Let v = -30 + c. Solve -3*g - v*g + 27 = 4*d, -18 = -5*d - g for d.
3
Suppose 4*p + 38 = 5*t - 40, 2*p = -4*t + 52. Suppose -3*g + 3*y + t = 7*y, 3*g - 3*y = 0. Solve 4*r = g*j - 16, 0*j - 2 = 2*j + 5*r for j.
4
Let o = 7 - 13. Suppose z = 0, 0 = -2*k - 0*k + 5*z + 32. Let u be 3*(k/o)/(-4). Solve 0 = -5*s - 3*t - 2*t + 20, -5*s = -u*t - 20 for s.
4
Let v = -12 - -3. Let g be 38/(-9) + (-2)/v. Let r(n) = n**3 + 6*n**2 + 2*n + 3. Let p be r(g). Solve 2*j - 6*j - p = 5*q, -9 = 5*j - 2*q for j.
-3
Let o = 18 - 15. Suppose -s - 8 = -o*s. Solve 0 = 5*x - m - 2*m - 8, s = -4*m for x.
1
Suppose 0 = j + 1 - 3. Solve j*v + 26 = 3*h + h, -4*v + 3 = 3*h for v.
-3
Let d = 9 - 12. Let i be (d/2)/((-2)/4). Solve -2*y = 5*o + 1, 2*o = 5*o - i*y - 12 for o.
1
Let f(w) = -w**3 - 13 + 6*w - 6*w**2 + 0*w**2 + 8. Let u be f(-7). Solve 7*c + 8 = h + 4*c, u*h + 4*c + 24 = 0 for h.
-4
Let x(y) = 5*y - 16. Let g be x(7). Suppose 4 = 21*t - g*t. Solve 5*k = -3*r + 12, -t*k = -4*r - 2 - 8 for k.
3
Let w = -6 - -10. Suppose -20 = -d - 4*d. Solve y = d, -4*y + w - 8 = 4*x for x.
-5
Let h be -9 - (1/(-1) + 1). Let x = -6 - h. Let k be 5 + (-102)/(-42) + (-6)/14. Solve 2 = 4*q + 3*d, k = -5*q + x*d - 2*d for q.
-1
Let c be (-3 - -2) + 1*4. Suppose -c - 6 = -3*b. Suppose 5*r = -3*w + 12, -2*w + 1 = r - 0*r. Solve 9 = r*q, b*u - 6*u - q = -9 for u.
2
Let x(u) = u**3 - 6*u**2 - 10*u. Let c be x(8). Let y = c - 29. Solve i - 3*t + 1 = -2*t, y = -3*i - t for i.
-5
Suppose -5*i + 8 = -i, 0 = -4*l - 4*i + 28. Let d be 6/(2 + 1) - -1. Solve 3*n = l*m + 4 - 8, d*n + 8 = m for m.
-1
Suppose 5*b = 2*j + 288, -b -