 Solve 0 = -2*c + 5 - 1, 4*c - 16 = s*t for t.
-2
Let r = -1 - -42. Let z = r - 29. Let s = z + -8. Solve 5*n + 19 = h, -s*h + 5*n - 13 + 44 = 0 for h.
4
Let u(o) = -3*o**3 - o**2 - o - 1. Let b be u(-1). Suppose -b*s - 539 = -107. Let j be 10/55 - s/22. Solve -a = 2*a + 2*y - j, 4*a = -2*y + 10 for a.
0
Let g(q) = -q**2 - 14*q + 1. Let c be g(-14). Let i be 12/(-24)*(c - 23). Solve 4*z - 4 = 4*f, z + 4*f + 13 = -i for z.
-4
Suppose 2*a = -3*k - 4, k + 12*a + 8 = 8*a. Solve 5*q + i - 16 - 5 = k, -2*i - 13 = -q for q.
5
Let i = -143 + 171. Let r = 43 + -21. Let v = i - r. Solve 0 = t + 5*j + 23, -v*t + j = -2*t - 13 for t.
2
Let x = 4 - 2. Let u(c) = 2*c**3 + 14*c**2 - 17*c + 3. Let q be u(1). Solve -q*f + 3*a + 2 = -2, 0 = x*f + 4*a + 10 for f.
-1
Suppose -27 = -a + 4*x, 3*x - x - 15 = -a. Let y = -2 + a. Suppose 2*w - 4*h - 38 = 0, -2*w + 5*w - 4*h = 63. Solve 5*t = 3*b + y - 2, t = -5*b - w for t.
0
Let o(u) = -u**2 + 4*u - 1. Let k be o(5). Let c = -4 - k. Let y be (176/(-132))/((-24)/9 + 2). Solve 2 = -c*a - 0*v - 2*v, -y*v - 20 = -4*a for a.
3
Let b be (-1*1)/(11/33). Let q(x) = 2*x - 4. Let o be q(5). Let j be (-2 + -2)/(b/o). Solve -3*m + j = -2*f + 4*f, -f = m - 4 for f.
4
Let q be ((-2)/4)/((-5)/10). Let g be (0/(-8))/(-1*q). Solve g = u - p + 4, 0 = u + 6*p - p + 4 for u.
-4
Let h be 6/(-14) + 15/35 + 0. Solve h = c + r + 4, 3*c + 8*r = 4*r - 17 for c.
1
Let u = -236 + 239. Solve 0 = -2*m + 6, 3*g - m = u*m + 3 for g.
5
Let n be 0/(-3 + (0 - -2)). Suppose n = 4*p - 2*p - 30. Let i = p + -13. Solve 3*o = -0*o + c - 15, 5*c = -i*o - 10 for o.
-5
Let d(p) = p**3 - p**2 - p + 2. Let t be d(2). Let z(s) = -4 + 0 - 2*s + 3*s - 7*s - s**2. Let u be z(-2). Solve -3*y - 1 = 4*c, u*c = -0*y - t*y - 4 for c.
2
Suppose -d = -7*d + 12. Suppose 0 = -6*x - d*x + 16. Solve x*s + 2 = -t, 0 = -t - 0*t - s for t.
2
Suppose 8*x + 17 = 57. Solve 0 = -3*a + x*j - 9, -a - 16 = -3*a - 4*j for a.
2
Let n(b) = b + 4. Suppose -34 = 3*a - 37. Let d be n(a). Solve q - 2*y - y = -10, 4*y + 12 = -d*q for q.
-4
Let s be 3/((-3)/5*-1). Suppose -18 = -q + 3*w, -2*q + 2*w + 21 - 5 = 0. Suppose 3 = -q*n + 36. Solve -2*u = c + n, s*c = -4*u - 50 + 13 for u.
-3
Suppose 9*y - 15 = 6*y. Suppose 8 = o + y*u, -2*o - 3 = 3*u - 12. Suppose -c + o = 1. Solve -c*n + 4 = -n, -x = 4*n - 14 for x.
-2
Let f(l) = -2 - 3*l + 16*l - 9*l. Let g be f(2). Solve 4*o = 3*u - 32, 3*o + 5*u - 35 = g*o for o.
-5
Let q(s) = -2*s + 19. Let z be q(3). Solve 0*f + 4*f - 24 = -u, 0 = -3*u + 5*f - z for u.
4
Let k = 29 - -26. Let c = -51 + k. Solve -5*j + 22 = -3*s, s - c*j = -j - 14 for s.
1
Let g = -454 + 454. Solve 1 = -r, 0 = 5*k - r - g*r + 9 for k.
-2
Let f(z) = -z**3 + 8*z**2 + 4*z + 12. Let k be f(7). Suppose -5*d - 234 + k = 0. Let i = -26 - d. Solve -2*l - 18 = -4*c, 4*c - i*l - 17 = -0*c for c.
5
Let q = -1391 + 1397. Solve -3*u + y - q = 2*y, 4*y = 4*u + 8 for u.
-2
Let g be (-27)/(-18) + (2 - (-117)/6). Solve 2*f - 3*u + 4 = 0, -2*f + g = 3*u + 3 for f.
4
Let u(j) = -2*j**3 - 76*j**2 + 3. Let z be u(-38). Solve a = z*x + 1 + 5, -4 = -4*a + 2*x for a.
0
Let x(h) = -h**2 - 7*h + 5. Let l be x(-7). Let a be (-12)/(-8)*42/9. Let o = a - l. Solve -4*f - 12 = -o*u + 2, -2*u - 5*f - 4 = 0 for u.
3
Let g be ((-483)/(-99) - 48/88)*6. Solve a + 4 = -3*n, 4*a = -0*n + 2*n + g for a.
5
Let h(c) = c + 14. Suppose -2*r + 12 = -4*r. Let m be h(r). Suppose -7*a = -3*a - m. Solve -5*w = -0*w + g - 7, 2*w + a*g + 2 = 0 for w.
2
Let h = -32 - -32. Suppose h = -d + 2. Solve 3*a = 5*j - 25, 2*a - d*j - 2*j + 20 = 0 for a.
0
Suppose 2*u + s + 10 = 5*s, u + 4*s = -29. Let b(q) = q + 17. Let d be b(u). Solve 5*w + h = 6*h, -d*h + 12 = -w for w.
4
Suppose 18*g - 13*g - 10 = 0. Suppose 0 = -g*p - 0*p. Solve -3*l - 12 = p, k - 2*l = -4*l - 8 for k.
0
Suppose 0 = -2*z - 10, 2 = 4*k - 5*z - 15. Let q(t) = 3*t + 9. Let p be q(k). Solve 3*a = 5*x - 22, -4*a + 1 = -p*a for x.
5
Let f = -363 - -363. Solve 5*s = -f*d - 3*d - 11, d + 4*s = -13 for d.
3
Let b(n) = n**3 + 11*n**2 + 3*n - 36. Let c be b(-10). Solve 0 = 3*q - 3*h + 27, -5*q + 4*h - c - 6 = 0 for q.
-4
Suppose -180*m = -177*m + 231. Let r = m - -84. Solve 0 = -4*d + 2*d + 3*l + r, 4*l + 14 = -2*d for d.
-1
Let f be (-6)/21 - (-114)/(-42). Let m be (-16)/f + 10/(-30). Solve -2*p + 16 = 5*a - 5*p, 0 = 2*a - m*p + 5 for a.
5
Let l be 48/(-12) + 10 + (-5 - -2). Solve -l = 2*k + 7, 0 = 4*r - 2*k - 10 for r.
0
Let q(o) be the third derivative of -o**6/120 - o**5/30 + o**4/24 - o**3/3 + 9*o**2. Let w be q(-3). Solve -11 = 3*a + 2*b, 4*a + 16 = -w*b + 4 for a.
-5
Let r be 1 - 2/(20/(-12) + 1). Solve -h + 10 = r*q, -2 = 4*h - h - 4*q for h.
2
Suppose -5*y + a + 29 = 0, 16 - 3 = 5*y + 3*a. Solve 2*j + 2*d + 4 = 0, 2*j + 9 = -y*d - 7 for j.
2
Suppose -5*u + 11*t - 15*t = 4, -t - 1 = -4*u. Solve -2*v + 8 = u, h - v = -h - 10 for h.
-3
Suppose -q = -s - 8, 0 = -4*q - 4*s + 7*s + 27. Solve -g - 4*l = 5, 5*g - l = 14 + q for g.
3
Let q(c) = c**2 - 10*c + 11. Let w be q(9). Let n be (-3)/9*6/(-1). Solve 4*s - s + 2 = -w*d, 4*d = n*s + 12 for d.
2
Let g = -1697 + 1702. Let a = 9 + -6. Solve g*l - 4*t = l, -2*l + a*t - 3 = 0 for l.
3
Suppose 4 = l - 3. Let n be 5/(3/(-6)*-2) - 3. Let b = l - n. Solve -b*d = -j - 5, 0 = 5*j - 0*d - d + 25 for j.
-5
Let w(u) = u**2 + 22*u - 2*u + 36 + 0*u**2 + 0*u. Let o be w(-18). Solve -2*m - g - 4 = -4*m, -3*m - 3*g + 24 = o for m.
4
Let o(t) = 2*t - 63. Let b be o(34). Solve -5*k + 5*z = z + 19, -7 = 4*k + b*z for k.
-3
Suppose 2*i = 5*q - 6, 16*i - 15*i - 8 = -3*q. Solve -q*d - 3*c - 3 = 0, 5*d - 4*c - 1 = 3 for d.
0
Let x be 1 - (4*3/6 - 5). Solve 14 = -2*h - 2*l, -5*h - x*l = -3*l + 23 for h.
-4
Suppose -z + 8 = 3. Suppose -4*d - 3*l = -6*d + 18, -z*d - 2*l = -7. Solve d*g + 0 = 5*y - 2, -g = 4*y - 5 for g.
1
Let n be (-27)/(-4) - (0 - 6/24). Suppose -6 = n*l - 8*l. Solve 0 = 4*w - 3*j + l*j + 4, -5*w = -4*j - 26 for w.
2
Let s be (16/12)/(4/9). Let f be (2/3)/(13/39). Solve 0 = 4*u - 2*h - 18, -12 = -f*u - 5*h + s for u.
5
Let h(y) = 0*y**2 - 1 + 2 - 5*y - y**2. Let v be h(-4). Suppose -3*z + 19 = -v. Solve -5*c + z = -4*d, 3 = -d + 1 for c.
0
Suppose -24*v - 25 = -121. Solve -4*c + 36 = v*j, 2*c = 1 + 7 for j.
5
Suppose 6*h - 30*h = -504. Solve -4*j + j + h = 3*w, 4 = 2*w for j.
5
Let g be 0*5/10*1. Let a = -21 - -23. Suppose -a*w = 4*i - 20, 3*w - 7*w = -2*i. Solve g = 5*d - 5*f + 15, i*f - 6 = 5*d + 2*f for d.
0
Suppose 0 = 3*c + 46 - 52. Solve c*v + 0*v + 5 = -i, -5*v = 15 for i.
1
Let j = -1434 + 1436. Solve 3*b + 0 + 19 = -l, -j*b - 30 = 5*l for b.
-5
Suppose 14*k = 3*k - 13*k. Solve 5*z + 2*o = -k*o + 14, -5*o = 15 for z.
4
Suppose 7*p = -4*p. Suppose 150 = 4*h - 5*l, -4*h - 5*l + 43 = -87. Solve -5*n - 3*s + h = p, n = -2*n - 4*s + 32 for n.
4
Let u be 1*(-1 + 5)/4. Let r be 30/10 + -1*u. Solve -2*m = -r*n + 12, 0 = 2*n - 4*n + m + 10 for n.
4
Let h = -3 + 5. Let j = -5 + 9. Suppose 2*p - 20 = -y, -p - j*p = -25. Solve u + h = 2*f, -u + 0*f + y = 4*f for u.
2
Let y = -583 + 586. Solve t + t - 15 = -5*k, 0 = 5*t - y*k + 9 for t.
0
Suppose -14*d + 7 = 203. Let m = -10 - d. Solve -3*v - m*t - 2 = 0, 0 = -0*v - 3*v - 2*t - 4 for v.
-2
Let b(i) = -i**2 - 9*i + 12. Let y = 121 - 131. Let a be b(y). Solve j - 2*s + 8 = -3*j, a*s - 8 = 0 for j.
0
Let o(m) = -m - 12. Let r = 99 + -57. Suppose 0*y - 2*y - 16 = -5*h, -4*y = -5*h + r. Let z be o(y). Solve -q - 16 = 3*b, -3*q + z - 5 = -2*b for b.
-4
Suppose -10*b = -12*b + 8. Solve b = -3*q + 4*j, 3*q - 2*q + j - 8 = 0 for q.
4
Let h(d) = d**2 - 5*d + 6. Suppose -3*i - 4*m + 10 = 0, 5*m - 6 + 22 = i. Let w be h(i). Solve 6 + 2 = 2*p, 2*y = -p + w for y.
4
Suppose -4*q + 3*z - 88 = 7*z, 3*z - 54 = 3*q. Let g(v) = v**2 + 19*v - 16. Let u be g(q). Solve -u = -n - 0*n + a, 26 = 5*n + a for n.
5
Let w(o) = -o**2 - 10*o - 18. Let l = -22 - -15. Let k be w(l). Let n(t) = -t**2 - 4*t - 1. Let m be n(-2). Solve 28 = -b - m*b + k*x, -16 = b - 3*x for b.
-4
Let g(n) = -n**3 + 4*n**2 - n - 4. Suppose -12 = -3*x - x. Let j be g(x). Solve -j*s + 15 = -0*c + 5*c, -2*s + 9 = 3*c for s.
0
Suppose -s + 5*s = s. Suppose -2*n - 3*c + s = -5, -16 = -5*n - 4*c. Solve 0 = 2*y + n*q + 6, y = 2*y + q for y.
3
Let p = 168 + -168. Solve -4*x + 20 = v, 2*x + p*x = 2*v for v.
4
Suppose -30 = 2*b - 5*b. Let y = -8 +