.
-2
Let n(v) = 13*v + v**2 - 6*v + 4 + v**2. Let s be n(-4). Suppose -2*k - 2*k + 8 = 0. Solve 5*c + 4*m = c + s, 5*c + k*m = 13 for c.
3
Let j = -19 + 20. Let h(g) = g - 4. Let l be h(7). Solve -j = -z - 2*o, l*z + 2*o = 1 + 2 for z.
1
Suppose 0 = -2*c + 6 - 2. Let f = -2 + c. Solve -m - 22 = 5*q, f = -5*m - 0*q + 4*q + 35 for m.
3
Let b = 81 + -76. Solve 0 = -n + 1, -5*n + n - b = -3*k for k.
3
Let s be ((-6)/(-9))/((-4)/6). Let p = 4 - s. Solve 14 = p*o + 5*l + 4, -3*l + 16 = -2*o for o.
-2
Let s(v) = -v**2 + 5*v - 1. Let a be s(3). Let j = a + -2. Suppose 2*p = -3*b + 15, 3*b = -j*p + 20 - 2. Solve -y - 2 = -b*y - 3*t, -12 = -4*y - 2*t for y.
4
Let a(k) = -7*k - 1. Let v be a(-2). Solve 4*p = 5*i - 3, 4*i + 1 = v for p.
3
Let u be 4 - ((0 - -1) + 1). Let m = 7 + -4. Suppose 0 = 2*x + m - 7. Solve -u*c = -f - x*f - 14, 0 = 4*f + 2*c for f.
-2
Let y = 10 + -19. Let a = -6 - y. Suppose s = -a*s + 20. Solve -s*b + k = -4*k - 15, -4*k - 17 = -5*b for b.
5
Let l(x) be the third derivative of -3/8*x**4 - 2*x**2 + 5/6*x**3 - 1/6*x**5 + 0*x - 1/120*x**6 + 0. Let r be l(-9). Solve -4 = r*k + 1, 5*h - 24 = -k for h.
5
Let o = 11 + -2. Suppose -3*t - o = -6*t. Solve 0 = t*m + 4*b - 2, 2*b = 2*m - b + 10 for m.
-2
Let w(q) = q + 10. Let c be w(0). Let b = c + -3. Suppose -12 = 4*k - b*k. Solve k*g + 1 = -5*t - 22, 0 = -4*t - 3*g - 18 for t.
-3
Let r be 8/3 + 20/(-30). Solve 2*q - q + 4*c = -r, 4*q = 3*c - 8 for q.
-2
Let s = 17 - 15. Suppose -t + s*t - 5 = 0. Solve 0 = t*b - 4*d - 41, 0*d = b + 2*d + 3 for b.
5
Suppose -2*x - 4 = 2. Suppose 0 = -2*o + 34 + 6. Let f = o + x. Solve -f = -u - 4*i, 5 = 5*i - 10 for u.
5
Suppose 3*w - 2*w = 0. Suppose 2*s = 5*a + 10, -2*s + w*a + 10 = -3*a. Let v be ((-2)/4)/(4/(-40)). Solve 1 = -b + 2*d, v*b - s*d = -0*b + 10 for b.
5
Suppose 8*u - 3*u + 10 = -5*n, -8 = -2*n + u. Solve n*h = -0*b + 4*b + 14, 5*b + 10 = h for h.
5
Let u(x) = 2*x**2 - 4*x + 3. Let o be u(3). Let i = o - 7. Solve 0 = 3*k + 4*s, -i*k + k = 4*s for k.
0
Let r = 63 + -59. Solve -3*l - l + 4*q = -32, -q + 12 = r*l for l.
4
Suppose -3*s = 5*h - 4, -3*h = -3*s + 4*s. Suppose f + s*f + 7 = 5*k, 5*f + 5 = 5*k. Solve 5*x + 2*l - 7 = -2*l, x - k*l = 9 for x.
3
Suppose 4*m - 28 = 20. Let g be 4/(-6) + 44/m. Solve -s = -5*t - 19, s + 5 = -g*t - 0*s for t.
-3
Let c be (1 - 1) + (1 - 7). Let n be -6*(3/c + 0). Let d = 3 - n. Solve r + 5*m + 6 = d, -6 + 14 = -3*r - 5*m for r.
-1
Let l be (30/8)/(3/8). Suppose 4*u - 2 = l. Solve -7 = -u*h - v, v - 3*v = h + 1 for h.
3
Suppose r = -3*r. Solve -5*x + 4*t - 19 = 0, r*t + 4*t + 11 = -5*x for x.
-3
Let n be (-3 - -2)*(-3 - -2). Suppose v + 35 = 5*g, 0*g = 3*g - 5*v - 43. Solve 2*m - n = -3*a, 0 = m - 3*a - 8 - g for m.
5
Suppose 2*v - 20 = -4*w, -2*w = -5*w + 15. Suppose 22 = 3*f + 7. Solve v = i + f*q + 12, 24 = 5*i + 3*q - 6*q for i.
3
Suppose 0 = 4*d - 11 - 9. Suppose 0*n = d*n - 20. Solve -3*t = -n*t + 2*q - 2, 4*t + 5*q = 31 for t.
4
Suppose -59 = -3*w - 5*t, -t = -5*w + t + 88. Let y = 14 + 8. Let r = w + y. Solve -s + 3*s + 4*z - 14 = 0, 5*z - r = 5*s for s.
-3
Suppose 0 = -2*h + 2 + 4. Suppose q + 4*q = -h*s - 7, 0 = 4*s + 2*q - 14. Solve -3*r + 10 = 5*d, -2*d + 3*r = d - s for d.
2
Suppose 0 = 4*x - 3 - 5. Suppose 14 + x = 4*h. Solve -7*a - i = -2*a - h, 5*i + 1 = -4*a for a.
1
Let k be 29*(0 + -1 - -2). Let f = k + -15. Let y = 5 - 3. Solve -5*o - b - 13 = 0, b - f = y*o + 2*o for o.
-3
Let w = -24 - -28. Solve 3*i - w*a + 0 = -8, -4*i = 2*a + 18 for i.
-4
Suppose 2*h - 3*m = 0, -2*h - 2*m + m = 0. Solve -3*g + 4*s - 16 = 0, 4*g = -h*g - 5*s - 11 for g.
-4
Let x = 12 + -9. Solve -4*k - m = -3*m, -26 = x*k + 5*m for k.
-2
Let z(d) = d**2 - 22*d - 19. Let u be z(23). Solve 5*j + 1 = 2*t + 23, -u*j = 3*t - 13 for j.
4
Suppose -3*l - 15 = -24. Solve -5*o - i - 2*i = -4, o = l*i - 10 for o.
-1
Let r(g) = -6*g - 4. Let m(b) = 5*b + 4. Let w(k) = 5*m(k) + 4*r(k). Let o be w(-4). Solve -3*y - 2*a = -o*y + 25, 0 = 3*y - 2*a + 5 for y.
-5
Let n = 8 - 3. Solve -5*u = -4*w - 28, -2*u = n*w - u + 6 for w.
-2
Let u(j) = 6*j**2 + 10*j + 12. Let v be u(-3). Solve 0*o + 17 = 3*o - p, 0 = -4*o + 4*p + v for o.
4
Suppose -d - 19 = -51. Suppose -4*z + 0*b - 4*b - d = 0, -4*z = 5*b + 36. Let t = 0 - z. Solve -2*h - 9 = t*w - h, 2*w + 21 = 5*h for w.
-3
Suppose 6 = -3*w, 4*r - 4 = -4*w + 4. Let j = 8 - 5. Suppose -5*g + z = -17 - 8, -2*g + 10 = -j*z. Solve -10 = g*i - y + 3*y, -3*y = -2*i - r for i.
-2
Let b = 7 - 7. Solve b = -4*w + 2*u - 8, 0 = -5*w + 5*u - 3 - 2 for w.
-3
Let o(b) = 3*b**3 - 2*b**2 + 1. Let m be o(1). Solve 0 = 2*g - 4*s + 4, -4*g - m*s + 4*s = -10 for g.
4
Let o = -47 - -52. Solve 5*d = -4*r + o, -6*d = 5*r - d for r.
-5
Let g be (-6)/12 - (-5)/2. Solve -w + 0*w - 4*l = -1, -8 = -2*w - g*l for w.
5
Let t = 28 + -24. Let d be (1 + 0 - 0)*2. Suppose -2*p + 12 = d*r, -2*p + 8 = 4*r - 20. Solve -t*c - r + 28 = -4*k, 2*c + 5 = -3*k for c.
2
Suppose 2*w - 36 = -10*w. Solve 9 = -p + 3*q, w*p + 2*q + 11 = -2*p for p.
-3
Let y = 19 + -18. Solve a = 3*k + y, 0*a - 14 = -2*k - 3*a for k.
1
Let s(v) = -v + 7. Let r be s(3). Solve l + 0*a = -r*a + 9, 3*a - 6 = -l for l.
-3
Let v(u) = 10*u**2 - 4*u + 4. Let k be v(1). Solve 0 = -2*d + 2*r - 1 + 7, -4*d + 2*r = -k for d.
2
Let d be (-2)/(-3) - 150/(-18). Solve -u + 4*v = 16, u = v - 2*v + d for u.
4
Suppose g + 12 = 3*g. Let c be (-175)/21 + (-4)/g. Let q be (-42)/c - 6/9. Solve 0*m - 4*x = -2*m - 22, q*m = 2*x - 26 for m.
-5
Let w = -23 - -24. Let f(m) = 6*m**2 - 2*m + 1. Let l be f(w). Suppose -23 = -2*a + 29. Solve 4*o = 4*j - 0*o + 4, 2*j - a = -l*o for j.
3
Let m = 9 + -5. Suppose 0*y + 16 = m*y. Let w be 54/y + (-2)/(-4). Solve -4*a - q - 2 = w, 2*q + 8 = -2*a for a.
-4
Let o = -8 + 0. Let h be 2/o + 126/24. Let l(m) = 6*m**2 + m - 1. Let g be l(-1). Solve 0*y = y - g*s + 8, -5*s = h*y - 10 for y.
0
Let z be 0/(2/2) + 2. Let m = 0 + z. Let v = -3 - -6. Solve 9 = q + 2*l, m*q - l + 2*l = v for q.
-1
Suppose -20 = 3*h - 32. Solve -2*n - 3*i + 1 = 0, -3*n + h*i + 32 = n for n.
5
Suppose 0*s + s = 0. Solve b + 4 = f, 3*b + b - 2*f + 18 = s for b.
-5
Suppose 5 = -h + 17. Solve -2*q = 2*q - h, o + 12 = 3*q for o.
-3
Suppose -2 = 8*c - 34. Solve -3*k - 17 = -5*m, k + 12 = -3*k - c*m for k.
-4
Let v(a) = a - 9. Let r be v(14). Let s = -38 - -54. Suppose 4*q - 16 = s. Solve -4*z - r*b + 26 = 0, 0 = 3*z - q*z + b + 18 for z.
4
Let n(h) = -2*h + 0 - 1 - 5. Let p be n(-4). Suppose -3*y - p*y = -40. Solve -2*a + 2*u = 7*u + 14, -2*u - y = 2*a for a.
-2
Let v = -15 + 24. Suppose v*z - 5*z - 8 = 0. Solve -19 = -z*p - 5*d, 4*d - 9 = 3*p - d for p.
2
Suppose 0*o = o + 5. Let s be (4/o)/(6/(-15)). Solve 3*g + 4*h = 4, -g = -h + 2*h - s for g.
4
Suppose x = 2 - 0. Solve 0 = -5*y - 2*m - 13, 3*m + x = -y + 2*m for y.
-3
Let f(z) = z**2 + z + 6. Let n be f(0). Let u = n - 6. Suppose u = -k + 3 + 1. Solve x + b = -4, 0*x - k*b + 2 = -2*x for x.
-3
Suppose -12 = -4*h + 4*v + v, -2*h - 5*v = 24. Let y be h/6 + 3/9. Solve y = -5*o + 2*c - 6, 5*c + 10 + 4 = -2*o for o.
-2
Let p(o) be the first derivative of -o**2/2 + 4*o - 1. Let a be p(2). Solve -w + 0*h - h = -7, 14 = -a*w + 5*h for w.
3
Suppose 5*f - 55 = -0*f. Solve 2*t = -4*y + f - 1, 4*y + 4*t = 12 for y.
2
Let p = 21 - 18. Solve q - 4*a + p = 0, 0 = 5*q - 0*a - 3*a - 2 for q.
1
Let p(y) be the first derivative of -y**4/4 + 2*y**3 + 7*y**2/2 + 2*y + 1. Let b be p(7). Solve -2*a + 22 = -4*t, b*a - t = t + 16 for a.
5
Suppose 2*h = 4*o - 62, h + 5 - 19 = -o. Let p(w) = w**3 + 7*w**2 + 6*w + 4. Let j be p(-6). Let y = -1 + j. Solve o = 5*t + y*z, -6*t + 3*z - 15 = -t for t.
0
Suppose 3*g - 2*m + 13 = 0, 4*g = m + m - 14. Let s be 3/((-6)/(-16)) + g. Solve -s + 1 = a - 3*p, 3*a = -3*p - 6 for a.
-3
Suppose 5*l - 16 = -3*y, l + 0*l = 5*y - 8. Suppose g - 3*q = 7 + 3, 0 = y*g + q - 55. Solve -g = -5*v + 4*k + k, -5 = 3*v + 2*k for v.
1
Suppose -23 = -3*i + 2*w, i - 7*w + 4*w - 17 = 0. Solve -6 = 3*x + n, -i + 13 = 4*x - 4*n for x.
-1
Suppose -4*q + 18 = -2*l - 0*l, -5*q + 30 = -4*l. Suppose -q*s + 4*c + 13 = -13, -5*s + 80 = -5*c. Let a = 6 + s. Solve 2*b = -3*n - 19, n = 6*n + a for b.
-2
Suppose -2*x = 6, i + x = -2*x + 10. Solve -3*y - 2*q = y - 26, 3*q - i = -2*y for y.
5
Suppose 4 = -4*z - 4. Let y = -15 - -19. Let d be 1 + y/z