n = -n + 7. Let h = n - -8. Let x = h + 3. Solve 4*c - 2*y - 12 + x = 0, -3*c = 2*y + 1 for c.
1
Let a = 20 + -3. Let m = a + -12. Suppose -3*d = 5*u - 11, -3*u = 3*d + 2 - m. Solve -p + x + 9 = 0, x - u = -4*p - 3*x for p.
5
Suppose -2*d - 24 = 2*d. Let q be d/(-9) + (-13)/(-3). Suppose -5*h = -0*h - 20. Solve 4*i = -2*g - 2*g - 12, 0 = -q*i - h*g - 12 for i.
0
Suppose -2*d = -s - 6, 0*s - 18 = -5*d + 4*s. Solve 2*a + 20 = 3*n, -d*n - 3 = 4*a + 5 for n.
4
Let x be (-9)/(-2)*(-8)/(-12). Let d be x + 1/2*-6. Solve -4*z + d*t - 23 = 3*t, 3*z - t + 1 = 0 for z.
-2
Suppose -2*z - 4 = -2*u - 12, -2*u = -z + 2. Suppose -s - z = -4*s. Solve 0 = b + 5*k - 0*k, -s*b = 4*k for b.
0
Suppose -3*t + 8 = -7. Let d be 2*-1 + 1 + t. Suppose 0 = 3*m + 6, 2*m = 2*v - 3*m - 14. Solve -v*c = z + 8, 5*c = -d*z - 4 - 16 for c.
-4
Suppose -2*b + 9 = b. Let i(q) = q**2 - 3*q + 3. Let t be i(b). Solve v + 5 = 3*a, -3*v - t = -4*a + 7 for v.
-2
Suppose -k = -1 - 2. Let u be 22/5 + 10/(-25). Suppose -3 - u = -k*s + 2*c, -c = 3*s - 19. Solve -s*l + 2*x + 12 = x, -10 = -2*l + 3*x for l.
2
Let j = -14 - -17. Solve z - j*r + 1 = 5, 4*z = r - 17 for z.
-5
Let n = -127 + 129. Solve 0 = n*o + 3*z - 6, -4*o = -3*z + 4*z + 8 for o.
-3
Let x = -14 - -26. Suppose 4*i - x = -0*i. Solve 4*j + 12 = 2*v, 0 = v + 5 - i for j.
-4
Let d(n) = -13*n - 2*n**2 + 4*n + 2 + 3*n**2. Let s be d(9). Solve -3*x - 2*p = x - 8, 0 = -5*x + s*p + 19 for x.
3
Suppose -2*q = 5*k - 38, 0 = 4*k - 5*k - q + 10. Solve -k + 0 = -3*b, -2*b + 1 = h for h.
-3
Let r(m) = -m**3 - 2*m**2 + m**3 + 5*m**2 - m**3. Let i be r(2). Let p = i - 2. Solve 0 = p*h - 2*s - 18, 3*h - 22 = -s + 3*s for h.
4
Let b be -6*(2 + (-16)/6). Let d = -4 - -3. Let x be d*(-1 - (2 - -2)). Solve -5*m + 2*w - x*w - 14 = 0, -b*m + 2*w = -2 for m.
-1
Suppose -3*d - 34 = -82. Let o = 0 + 3. Solve -u - d = -5*i, -2*i - o*i + 4 = -4*u for i.
4
Let j = -6 - -9. Suppose a - j*a = 0. Solve -6*r = 2*o - 2*r - 14, 5*o + r - 26 = a for o.
5
Let d be (9 - (-2 - -5))*11/22. Solve -d*m + 4*m = v - 4, 0 = -2*v + 6 for m.
-1
Let g be (5 + 0 + 0)*1. Let j(m) = 3*m - 14. Let i be j(6). Solve 0 = i*q - g*q + 4*l + 9, 4*q = 2*l + 22 for q.
5
Suppose 7 + 4 = 3*c - 2*f, -4*c + 3*f + 15 = 0. Suppose 3 = q + 4*r, c*q = 5*q + 3*r - 6. Let w = -10 + 18. Solve -z + 3*i = -w, 2*i = 2*z + q*z + 12 for z.
-4
Suppose -3*y + 2*l = 1, 3*l = -y + 4*y + 6. Solve s + 0*s = y*f + 7, -5*s = 3*f - 17 for f.
-1
Suppose -6*y + 2*y + 16 = 0. Let x be y/2 - 0/2. Let j be (-4)/(-1) + -1 + -1. Solve -j*n = 3*o + 6, 3*n + x = -n - o for n.
0
Let q(u) = -u**3 - 8*u**2 + 7. Let x be q(-8). Let o = x - 2. Solve 23 = o*a - k - 1, 3*a - 24 = 3*k for a.
4
Let j be ((-2)/3)/((-28)/(-15) + -2). Solve -3*l + 2*l + w = -3, -5*l + 15 = j*w for l.
3
Suppose 4*n - 8 = -4*w, 2*n + n = 3*w. Let v = 52 - 49. Let j = v - w. Solve k = 5*i - 2 - 1, -6 = j*k + 3*i for k.
-3
Suppose 4*t - 2*t = 8. Let p = 0 + t. Solve -4*u - p = 3*c, 2*u + 0*c + 2*c = 0 for u.
-4
Let c(g) = 3*g. Suppose 3*r + 2*r - 5 = 0. Let s be c(r). Solve -k + 4*y = 12, -s*k - 3*y - 2 = -k for k.
-4
Let d = 34 + -31. Solve 4*o + 24 = -2*n, -3*n - 19 = -n + d*o for n.
-2
Suppose -38 = -4*q - 5*n, -25 = -7*q + 4*q - 2*n. Suppose 2*m = 13 - q. Solve 22 = 5*r - 3*v, m*r + 14 = 8*r - v for r.
2
Let d(j) = j - 5. Let y be d(8). Let f be 1 + 2/(y - 1). Solve -o = -4*t, o = 5*t - f*o - 7 for t.
-1
Suppose -2*d + 0 + 4 = 0. Suppose -3*n - d*x + 22 = -x, n - 9 = -2*x. Solve k + 4*o - 2 = 0, -2*o + n*o = 0 for k.
2
Let u be -2*5*-1*-2. Let f be ((-42)/(-35))/((-6)/u). Solve -4*a + 14 = -2*z + f*z, 13 = 2*a + 3*z for a.
2
Let v(m) = 2*m**3 + 2*m**2 - 2*m + 1. Let x be v(1). Suppose 0*l + 5*l - 20 = 0. Solve 5*f = 2*k + k - 1, 0 = -l*k + x*f - 6 for k.
-3
Suppose 5*y = -0*y + 40. Suppose a = 3*a - 24. Solve a = -5*u - 4*q - 7, 4*q - y = 4*u for u.
-3
Let z(a) = 13*a. Let x be z(-1). Let b = x + 19. Let c(h) = -h + 5. Let n be c(0). Solve n*k - 3*o = -14, 4*o - b = 3*k + o for k.
-4
Suppose 3*n - 4*n + 5*i + 13 = 0, -5*n = -3*i - 21. Solve -2*l - n*k = l + 12, -5*k = -4*l - 16 for l.
-4
Let g be 26 + (-2)/(-2)*-1. Let f be 0 + -3 - (-1 + -5). Suppose -5 + 13 = -2*c + 3*a, -f*c + a + 2 = 0. Solve 3*h = c*q + 4 + 11, 2*q - 5*h + g = 0 for q.
0
Suppose -5*f = -0*m + 2*m - 28, f + 8 = 3*m. Suppose 4*w - 4*l = -44, -w + 3*l = 4*w + 65. Let d = w - -32. Solve -3*q + 3*c - 16 = q, -d = m*q - 4*c for q.
-4
Let d(q) = 4*q + 17. Let n(m) = -2*m - 9. Let v(j) = -3*d(j) - 5*n(j). Let a be v(-5). Solve c + 2*x + 4 = 0, 3*c - 1 = -a*x - 5 for c.
4
Let v(b) be the second derivative of -b**3/6 + 13*b**2/2 + 3*b. Let p be v(11). Solve p = -5*n - 3*z, 4*n = z - 3*z for n.
2
Let k(m) = -m**3 + 3*m**2 - m. Let s be k(2). Suppose 0 = h - 4*z - 18, -z + 1 = 3*h - 53. Solve 0 = v + v + 2*a - 2, -3*a = -s*v - h for v.
-3
Suppose -57 = -13*c - 18. Suppose 2*k - 14 = -4. Solve 2*w + c*w = -k*x - 10, -3*w = 2*x + 1 for w.
3
Suppose l = -2*l - 4*p + 15, 2*p = -5*l + 11. Let n be 45/10 + l/(-2). Solve -4*b - 2*q = -0*q - 2, -3*b - n*q + 14 = 0 for b.
-2
Suppose -3*t = 5*n + 10, 5 = -2*n - 5. Suppose u = t*a - 26 + 6, -u + 10 = 5*a. Solve 5*f = -a*q - 19, 8 = 3*q + q for f.
-5
Suppose 0 = -2*d + 7*d. Suppose -5*m + 3*n + 15 = 4*n, d = m + n + 1. Suppose m*l - 2*b = 36, -l + 5*b = b - 23. Solve 4*k = 4*p + 8, 3*k - 2 = 2*p + l for k.
5
Let b(d) = -d**3 + 9*d**2 + 10*d + 2. Let m be b(10). Solve 6*c - c - 21 = 4*j, 7 = c + m*j for c.
5
Let j = 14 + -4. Let p(q) = -q**2 + 12*q - 15. Let s be p(j). Solve s*b + 5*t = 15, b + 1 = -2*t + 2 for b.
5
Let k = 26 - 22. Solve 2*u + 4*q = -4 - 6, -5 = -3*u + k*q for u.
-1
Suppose -p - 11 = -2*w + 2*p, -2*p = w + 12. Let v be 2/(-1 - 3/w). Solve 12 = 4*z + 5*d, -v*d + 2 = z - 3*d for z.
-2
Suppose -l = -3*l. Let o = 2 - l. Solve 0 = -v + o*r - 2 - 0, -2*r + 6 = -2*v for v.
-4
Let f be (-34)/(-6) - (-2)/6. Suppose -2*w = -w - f. Solve -5*q - p = -18, 5*p = -q + 4*q + w for q.
3
Suppose -446 = -3*t + x - 131, 2*t + 4*x - 196 = 0. Suppose l + 3*l = t. Solve -g + q = -4*q + l, -3*g = -q + 8 for g.
-1
Suppose -5 = o + 4*g, -2*o - 3*g = o - 3. Solve 4 = 3*i + m - 10, o*i + 2*m = 16 for i.
4
Suppose 14 = 5*m + 4. Suppose 5*y = m*y. Solve y = t + 5, 3*t + 6 = -4*g + t for g.
1
Suppose c = 3*c - 6. Suppose c*p - p = 4. Let h(k) = -k**3 + 6*k**2 + k - 6. Let f be h(6). Solve 5*l - p*w - 5 = -f*w, -5*l + 25 = 2*w for l.
3
Let b be (2/4)/((-1)/(-4)). Suppose -5*x + 2*x = b*g + 2, -4*g = x - 6. Solve 3*w + 15 = 3*p + 6*w, -4*p + g*w = 10 for p.
0
Let i(r) = r - 8. Let a be i(8). Suppose 0 = -5*j - a*j + 30. Suppose 0 = 5*y - 0*y + 5*b - 50, -3*y = -4*b + 5. Solve 2*f - y*z - 12 = j, 3*z - 2 = -2*f for f.
4
Suppose -2*b = -0*b. Suppose 2 - 26 = -4*p + 4*g, b = 5*p + g. Let j = 1 + p. Solve j*c + 4*f = 2, 0 = 4*c - 2*f - 5 - 19 for c.
5
Suppose -2*w = 2*t + w - 18, 4*w + 16 = 0. Solve 3*z = 2*z + 3*k, 4*z + 3*k = t for z.
3
Let a(y) = y - 13. Let f be a(16). Solve 0 = z + z - 3*v, z - 3*v = -f for z.
3
Let k be (0/(8 + -4))/2. Let d be 2 + -1 + 3 - k. Solve -3*x = -2*x + 4*q + 12, d*x + 3*q + 9 = 0 for x.
0
Let j(b) = -b**2 - 12*b - 12. Let k be j(-11). Let x be (-3)/6*k*4. Solve 0 = x*h + 3*y + 5, 5*h - y - 2*y = 19 for h.
2
Suppose 5 = -0*y + 5*y. Suppose y + 3 = 2*j. Solve -4*q - 3 = 2*p - 1, j*p + 1 = -3*q for p.
1
Let o = -56 + 63. Solve -5*f - 5*m - 5 = 0, 3*f + o + 6 = -5*m for f.
4
Let q = 2 + 8. Solve 2*d + d + 5*y = q, 4 = 4*d + 2*y for d.
0
Let n = 0 + 5. Suppose -3 = -4*w + n. Solve -4*c = f - 21, -w*f - 4*c + 31 = f for f.
5
Suppose -2*u = -m + 9 - 53, m = -2*u + 36. Solve -2*i = -4*k + u, -2*i + 0*i = -5*k + 25 for k.
5
Let b(q) = -q**3 - 4*q**2 - 5*q - 2. Let r be b(-3). Solve -3*u - 26 = -r*f - 8*u, -4*f - u + 18 = 0 for f.
4
Suppose -1 = 3*a - 13. Let q be 1/(-1) - -4*a. Solve -q = -u - 5*x, -x - 7 = -u - 4*x for u.
-5
Suppose -42 = -10*f + 3*f. Solve -2*j - 5 = -5*c, -j - 5*c = -f - 14 for j.
5
Let l = -4 - -4. Let g(p) = -p**2. Let a be g(l). Solve i - 2*q = -5, a*q - 20 = -3*i - q for i.
5
Suppose -n + 4 + 3 = -3*p, -4*n = -2*p - 18. Suppose 9 = -n*k - 2*h + 33, k - 1 = 2*h. Solve 2*v - 7 = -l, 3*v - k = l - 2 for l.
3
Let m be 42/(-4)*(-24)/18. Suppose 0*b + b - m = 0. Solve -3*o + 18 = -3*y, -2*y = 3*o - y - b for o.
5
Let h be (