. Let j be h(2). Let v = 6 + j. Solve 0 = v*t - c - 13, 2*t + 4*c + 12 = 6*t for t.
5
Let v(c) be the third derivative of c**5/15 - c**4/24 - 3*c**2. Let n be v(-1). Suppose -4*m + 3 = -n. Solve -4*w - k + 5 = -m*w, 0 = 4*w + 4*k - 4 for w.
4
Let l(j) = -6*j**2 + j. Let m be l(1). Let n be 1*13 - (-6 - m). Solve i + 0*u = -3*u - n, -2*i + u = 0 for i.
-2
Suppose -5*p = -c + 14, -3*p + 0*p = -2*c + 35. Solve c = -3*u - 5*f, f + 0*f = -2 for u.
-3
Let a be (-4)/(-4)*(-1 + 1). Solve 2*f + 2*v + 16 = a, 0 = 3*f + 3*v - 6*v for f.
-4
Suppose -3 = l + 2, -4*q = 4*l - 28. Solve 20 = -0*k - 2*k + 5*i, 3*k - 3*i = -q for k.
0
Let q(w) = w**2 + 4*w - 8. Let o be q(-6). Solve 0 = -4*c - o*j, 0*j - j = 5*c - 20 for c.
5
Let s(a) = -a**2 + 3*a - 4. Let u be s(5). Let q be (-94)/u - (-4)/14. Let v = q + -2. Solve -2*t + 0 = v*j + 21, -2*j + 2*t - 14 = 0 for j.
-5
Let w = -4 + 6. Let o be -4 - -9 - w/2. Let m be (-6)/30 + 48/15. Solve 4 = 4*p - o*c, m*c + 1 = -p - 10 for p.
-2
Suppose -4*x - 3 = -7. Solve -4*a + 5*g = -x, -5*a + 5*g + 3 = -2 for a.
4
Suppose 2*n + 6 = 66. Let b be (8/6)/(20/n). Solve -8 = -2*i, 0 = b*x + 5*i - 18 + 2 for x.
-2
Suppose 0 = -o + 4*k - 1, 3*o - 30 = -0*o + k. Solve 4*v - 8 = -4*y, 0*v + 4*v - o = -y for v.
3
Let q = 15 + -8. Let l = 10 - q. Solve 0*w = -2*w + 8, 14 = -f + l*w for f.
-2
Suppose -c - t + 64 = 4*c, 3*c - 36 = -3*t. Let h be 4/(5/(-2) - -2). Let f = c + h. Solve -15 = -5*l + 3*l - 5*y, -l + f*y - 15 = 0 for l.
0
Let v be 0*1/(-1 - -2). Suppose -5*k = 4*n - 10*k - 11, v = -2*k + 2. Solve c + 14 = 3*l + n, -2*l = -2*c - 4 for l.
4
Suppose -l - 5*w = -12, -4*w = l - 0*l - 10. Solve -5*y - 25 = -l*v, -5*y + 0*y - 25 = -3*v for y.
-5
Suppose 5*s - t = 140, 15 = s - 3*t + 1. Suppose -4*b - 3 = m - s, 5*b - 19 = m. Let p = -1 + m. Solve -i = 5*u + 16, -p*i - 3 + 1 = -u for u.
-3
Let t be 1 - ((-2 - 0) + -2). Suppose -t*d + 13 = -2*c - 1, c - 19 = -4*d. Solve -3*b - 10 = d*j, -4*b - 4*j = -2*b + 8 for b.
-2
Suppose 0 = 2*r + 11 - 75. Suppose -4*x = -2*g + r, 0*x - 3*x - 4 = g. Suppose -5*f = -27 - g. Solve 3*m + c - f = 3*c, 9 = m - 2*c for m.
-1
Suppose 2*q - 6 = -q. Suppose -q*r + 87 = r. Solve g + 6 = 2*a, 2*g = g - 5*a + r for g.
4
Let h = 44 - 42. Solve 30 = -4*j + b + 11, 0 = 5*j + h*b + 27 for j.
-5
Suppose -g - 4*h = -21, 2*g + 4*h = 3*g + 11. Solve -20 = -4*a, -g*a = -5*y - 4*a - 5 for y.
0
Let v = 3 - 3. Suppose v = -5*j + 5*o + 65, o - 2*o + 27 = 3*j. Solve s + 5 = z, 4*z - 25 = -s - j for z.
4
Let r = -8 - -8. Suppose -m - 4*m + 20 = r. Let s be ((-2)/m)/(1/(-10)). Solve -g = g - y, 2*g = s*y for g.
0
Let x be 11/3 + 2/(-3). Suppose 0 = 5*r - x*r. Suppose r = -4*q - 3*o + o, -3*q = -o. Solve 2*l = 4*s + 6, -3*l + l - s - 14 = q for l.
-5
Suppose 3*y + 3*u = 9, -5*y + 2*y + 16 = -4*u. Solve r - w + y = -2*w, 4*r = -2*w - 6 for r.
1
Suppose c = -b - 2*b - 10, 2*c + 3*b = -5. Solve 2*p - 2*y + 2 = 3*p, c*p = y - 23 for p.
-4
Let h be 42/(-14) - (-1 + -6). Let a(s) = -s**3 + 3*s**2 + 5*s - 4. Let n be a(h). Solve 13 = -n*w + 2*w + 5*d, 4*w + 4*d = 8 for w.
-1
Let l be 0 - 12/(-2) - 1. Suppose 8 = -l*j + 7*j. Solve -2*s + 20 = 3*f, 12 = j*f + f - 2*s for f.
4
Let n be 34 + (-9)/2 + 21/14. Solve -5*b - n = 3*a, 2*b + a - 3 = 3*b for b.
-5
Suppose 5*j - j - 8 = 0. Let u(x) = j + x**2 - x**3 - 3*x**3 + x**3 - x + 2*x**3. Let g be u(0). Solve 4*r = -5*h - 24, 4*r = -g*h + h - 8 for r.
-1
Let x be 0/(-4 - -3) + 2. Suppose -2*r - r + 9 = 0. Let k(t) = -t**2 - 5*t + 4. Let o be k(-5). Solve 0 = 4*y - r*f + 11, -3*f - 5 = x*y - o for y.
-2
Let n be (4 - 2)*10/4. Suppose -3*r + 1 + n = 0. Let s(t) = 3*t**2 - t + 1. Let w be s(1). Solve 0 = w*f + g + 7, 3*f - 2*g + 17 = r*g for f.
-3
Let i(a) = -a**2 - 1. Let j(l) = l**3 + 3*l - 3. Let f(s) = 3*i(s) - j(s). Let m be f(-2). Solve m*z = -4*q, 0 = -2*z - 0*q + 5*q for z.
0
Let f(i) = i - i + 1 + i. Let v(a) = a**2 + 4*a + 6. Let m(q) = -5*f(q) + v(q). Let b be m(2). Solve 2*t - 8*p = -b*p + 12, -3*p = -2*t + 8 for t.
1
Let a be 1/(-10)*-2 + 238/35. Solve 3*n - 4*i = i + a, n - 4*i = 0 for n.
4
Let w = 1 - 5. Suppose 5*n = -4*f + 16, 7*n - 3*f = 4*n + 15. Let l = w + n. Solve 2*s = 4*i - l*s + 12, -3*i + 1 = -4*s for i.
-5
Suppose -15 = -0*s - 5*s. Let m(l) = -l**2 - 4*l + 5. Let k be m(-5). Let c be 1 + k + (-4)/4. Solve 2*x + 3*x + 4*b - s = c, 4*x + 3*b = 3 for x.
3
Suppose -4*u + 6 + 2 = 0. Solve -16 = 4*p - 5*j + 19, -u*p + 5 = 5*j for p.
-5
Suppose -31 = -5*t - 11. Suppose -t*a = -12 + 4. Solve 0 = -0*l - a*l - 2*p + 14, 4*l = 5*p - 17 for l.
2
Let j be (2 - 0) + 5/(-1). Let x be 2 - (0 - -2) - j. Solve 5*r - 2 = -p - 0*p, -x*r - 4 = -2*p for p.
2
Let c be (-33)/(-1) + (-7 - -5). Solve -5*v + 37 = 4*l, -l - l = 5*v - c for l.
3
Let h(f) = 16*f**2 + 9*f - 4. Let p(l) = -4*l**2 - 2*l + 1. Let q(g) = -2*h(g) - 9*p(g). Let o be q(-1). Solve 4*w - 3*t - 5 = 0, -o*t + 12 = 4*w + t for w.
2
Let r be 10/(-45) - (-266)/63. Let h = 6 - 2. Solve -2*x + 7 + 3 = -r*u, -h*u - 13 = x for u.
-3
Suppose 21*l = 4*l. Solve -h - 3*h - 2*f - 20 = l, 3*h = -4*f - 25 for h.
-3
Suppose 5*r = 7*r. Suppose -3 = -v - r. Solve 5*t - 2*o = -6, v*o + 20 = -5*t - 2*o for t.
-2
Suppose 5*x - 6 = 6*x. Let r = 16 + x. Solve q + 4*q = -3*p - 10, r = -3*q - p for q.
-5
Let k be -2*(15/2)/5. Let c be (k/(-3) - 0)*5. Solve 4*l = -2*i - 20, -3*l - c*i = -8 + 37 for l.
-3
Suppose 13 + 1 = o + r, -5*r + 43 = 2*o. Suppose y + 5*u = -y + 6, -o = -3*y - 3*u. Solve q + 15 = x + 3*q, -4*q + 35 = y*x for x.
5
Let s be 111/15 + (-4)/10. Let z = 2 - 0. Suppose -20 = -7*n + z*n. Solve -n*d = 4*c + 12, 3*d + s = -4*c - 2 for d.
-3
Let o be (-38)/(-14) - 6/(-21). Suppose -u + 2 = -2*p + o*u, -p + 5*u = 1. Let q be (p + 6/(-9))*-3. Solve s = q*s + 3*h + 5, h = 4*s + 9 for s.
-2
Let q(k) = -3*k**2 - 9*k - 1. Let i(w) = w**2 + 4*w + 1. Let f(n) = -5*i(n) - 2*q(n). Let a be f(4). Solve -4*b + 6*b - a*y = 8, 5*b - 3*y = 1 for b.
-1
Let s(j) = 65*j**2 + 2*j - 1. Let a be s(1). Let o = -107 + a. Let m = -23 - o. Solve -i + d = 6*d - m, 8 = 2*d for i.
-2
Suppose m + 4*o - 2 = 7, 4*o - 10 = -2*m. Let x be 4/((-2)/(-2))*m. Suppose -z - x*z = -65. Solve -3*d + 8 = -5*g - 21, z = -d - 4*g for d.
3
Suppose 2*d - 4 = d. Let a(s) = s + 3. Suppose r + 3*z = -6, 0*r - 4*r = 3*z + 6. Let w be a(r). Solve 3*b - d*f + 6 = 0, w*b - 3*f - 4 = 5*b for b.
-2
Let g(h) = h - 1. Let w(a) = 14*a. Let c(u) = g(u) - w(u). Let r be c(-1). Suppose -7*v + 4*v = -m - 6, -4*m + 12 = 0. Solve 8 = 4*p - x, 6*x + r = v*x for p.
1
Let a be 1 + (-1 - -1)*-1. Let h(v) = 2*v + 10 + 0*v**3 - v**3 - v**2 + 9*v**2 - 3*v. Let k be h(8). Solve a + 9 = 4*g - i, k*g - i = 6 for g.
2
Let u = 18 - 24. Let s be -3 - (-3 - u/(-3)). Solve 0 = -q + s*x - 4, 3*q - 2*x - 10 = -7*x for q.
0
Let f = -18 + 18. Solve 0 - 10 = -q + 2*o, -5*q + 5*o + 35 = f for q.
4
Suppose -4*g + 7 = b - 5*g, 3*b + 2*g + 4 = 0. Let k be 16 + 0 - (-4 + b). Solve 0 = 4*d - y - 6, -6*d + k = -2*d + 5*y for d.
2
Let v = -2 - -2. Suppose v = -5*q - 2*t - 7 + 57, t = 4*q - 27. Suppose -1 = 5*b - 2*l - q, 0 = 5*b + l - 19. Solve g + 2*g + 2*n = -22, 5*n + 13 = b*g for g.
-4
Let h(p) = -p + 16. Let j be h(11). Let c(u) = u**2 - 7*u + 6. Let d be c(6). Let w = 6 - d. Solve w = -i + 4*a - 1, -3*a = -j*i - 18 for i.
-3
Let l = 159 + -156. Solve 4*g = 2*w + 12, 30 = 5*g + l*w - 7 for g.
5
Let w be (5/(-4))/(-1)*4. Solve 2*u - 8 = w*g, 5*u - 5*g = 9 + 11 for u.
4
Let r = 0 - -2. Suppose 3*s - r*n + 28 = 0, 2*n = 5*n - 15. Let h(o) = o**2 + 5*o - 1. Let g be h(s). Solve 25 = -g*q, 4*a + 4*q + 36 = 4 for a.
-3
Let k = 40 - 35. Solve l + 3*l = d - 20, -k*d + 28 = -2*l for l.
-4
Let x be ((-55)/(-5) - -5) + 2. Solve 2*b + 12 = -3*t + 5*b, 0 = 3*t + 3*b - x for t.
1
Let g = 12 - 4. Let b = -5 + g. Solve s - 9 = -b*k - 0, -3*k + 9 = 0 for s.
0
Suppose -4*l - 3*q = -7*q + 4, 0 = -3*l + 2*q - 2. Solve -5*i + 8 = -w + 3*w, 2*w - 4*i - 8 = l for w.
4
Let l be (-1)/((-11)/2 + 5). Solve -l*s = 3*u - 0*s + 17, 22 = -2*u - 4*s for u.
-3
Let g(s) = -2*s**2 + 5*s + 1. Let p(c) = -3*c**2 + 5*c + 2. Let a(q) = -4*g(q) + 3*p(q). Let l be a(-5). Solve 4*o = -f - 2, 0 = 2*o - 4*f - l - 6 for o.
0
Suppose 0*f - 16 = -3*f + 5*u, 4*f = -2*u + 56. Solve 3 = -w - i - i, -2*i = -2*w + f for w.
3
Let j = -2 - -6. Suppose -h + 70 = 4*h + 