lve 2*a - c + 6 = -0*a, 2*a + n = 2*c for a.
-3
Let o(a) = -a**2 - 14*a. Let v be o(-14). Solve 2*h = r - 6, r + r - 4 = v for h.
-2
Let q = 18 - 12. Let f be (3 + q)*8/2. Suppose 4*b = 4*s + f, 2*b - 5*s - 6 = -0*b. Solve -y + 3*i = 3*y + b, 16 = -y + 5*i for y.
-1
Let l be (-938)/(-12) + (-1)/6. Let j = -66 + l. Solve 5*o - 6 = -3*u + j, -2*o = 3*u - 9 for o.
3
Let r(g) = g + 2. Suppose -16 + 8 = -4*z. Let n be r(z). Solve 3*b + 2 = n*d, 0*b = b - 2*d for b.
-2
Suppose -3*d + 18 = 2*z, 2*z - d = 7 - 5. Solve -3*o - 3 = z*a, 6*a + 9 = o + 5*a for o.
4
Let z = 132 - 207. Let t be (-56)/(-30) - 10/z. Suppose r = -k + 1, 0*r = -4*r + t*k + 22. Solve -2*d + 4*f - r = 0, 0 = -d + 3*d - 3*f + 5 for d.
-4
Let p(g) be the second derivative of -9*g**5/20 - g**4/4 - g**3/3 + 2*g. Let t be p(-1). Solve -7 = -5*c + 5*r + 3, c = 4*r + t for c.
0
Suppose 5*t = 2*t - 57. Let j = -12 - t. Suppose 0*a = 3*a - 27. Solve -a = 3*w + 5*k + j, -8 = -w + k for w.
3
Suppose -5*l = -3*l. Let f(n) = -4*n - 85. Let q be f(-22). Solve 3*r - 4*r - 2*w + 7 = l, q*r - w - 14 = 0 for r.
5
Suppose -4 = -12*d + 44. Solve -3*g = -4*k + 9, 2*g - 3*k - 5 = -d*k for g.
1
Suppose -56 = -15*k - 11. Solve -4*t + a = 3, 3*t - 9 = -4*a + k for t.
0
Let o = 82 + -75. Suppose -5 = 5*m, -13*m = 3*s - 8*m - o. Solve -3*h = -4*l - 11, -10 - 11 = -l - s*h for l.
1
Let o = 40 - 62. Let s be o/(-11) + (2 - 0). Solve 0*g - 2 = g + s*i, -3*g - i = -5 for g.
2
Let s = 729 - 729. Solve -5*r + s + 5 = 3*z, 4*r = -3*z + 4 for z.
0
Suppose u - 12 = 3. Let s = 2 - u. Let f = -13 - s. Solve 0 = -2*o - x - 5, f*o - 3*x - 3 = 3*o for o.
-4
Let x = 36 + -69. Let n be x/(-9) - (-2 + (-15)/(-9)). Solve d = -n*w - 21, -5*w - 2 = 5*d + 28 for d.
-1
Let y = -101 + 101. Solve y*u = 5*c - 2*u, -5*c - 3*u = 0 for c.
0
Let u be 1 - 4 - (-4)/1. Let g be -4*-5*1/(-10). Let a be (u*-14 - g)/(-2). Solve 2*o + k - 13 = a*k, -21 = -5*o + k for o.
4
Let q = 14 + -20. Let d(w) = w**2 + 2*w - 19. Let i be d(q). Solve -i*k + 0*k + 25 = 0, -5 = 5*o + k for o.
-2
Suppose -5 = -2*d + 1. Let w be (-2 + 3)/(-1) - 2. Let r be 138/18 - 1/w. Solve -3*a = 4*v - 22, a - d*a = v - r for v.
4
Let y be (-141)/(-12) - (-3)/(-4). Suppose 3*u - y = -t + 2*u, -t + 21 = 3*u. Let r = -3 + t. Solve -r*l + 5*q = 9, l - 2 = 2*q - 5 for l.
-3
Let j(v) = v + 1. Let b(c) = c**2 + 9*c + 28. Let l(a) = b(a) + 5*j(a). Let g be l(-11). Solve 5 = -2*s + s + 2*r, g = r for s.
-5
Let y be (-352)/(-56) - (8/(-28))/(-1). Solve -u - 2*a + 3 = 0, 4*a = -4*u + 18 - y for u.
3
Let u be 10 - (2/(-14) + 3350/469). Solve u*h = -4*c - 11, 0*h + 37 = -5*c + 4*h for c.
-5
Suppose 0 = 3*b + 2*o + 2*o - 23, 3*b - 4*o + 17 = 0. Let g be (0 - b)/((-4)/16). Solve g*m + y - 12 = 0, m = -3*m + 3*y - 4 for m.
2
Suppose -8*x + 10 = -6*x. Let j(k) = k**2 + 6*k - 1. Let r be j(-7). Suppose 0 = -q - 1 + r. Solve 4*i = q*o - 5, 0 = o - 5*o + x*i - 5 for o.
5
Let v(l) = -l**3 - 13*l**2 + 2*l + 38. Let q be v(-13). Solve -2*p - z + q = -0, 16 = 5*p - z for p.
4
Let j be (1*(-55)/(-11))/1. Solve 0*w = -j*w - 3*x + 22, 28 = 4*w + 5*x for w.
2
Let u be -11 + 310/24 + (-2)/(-24). Let b(t) = 3*t**2 + 2*t - 1. Let d be b(-2). Suppose g + 1 - d = 0. Solve -7*v - h = -u*v - g, -h = -v for v.
1
Let l = 22 + -20. Suppose -13 = l*d + 13. Let j = d + 14. Solve 5*f = 0, -3*x + f = -11 - j for x.
4
Let t be -7 - -2 - (-72)/(-2). Let a = -38 - t. Solve -f + 11 = -a*c, -3*f - f + 3*c = -17 for f.
2
Let r(p) = p**2 - 7*p + 16. Let l be r(6). Suppose 0 = -v + 5*x - 20, x + 20 = -5*v + l*v. Solve -v*d = 3*b + 8, 5*b - d = d + 28 for b.
4
Let m(k) = 0*k - 1 - 4*k**3 - 2*k + 2*k**3. Let p be m(-1). Solve -f - 6 = 3*q, -p*f - 5*q = 2*f + 10 for f.
0
Suppose 3 = z, 4*u - 9*z - 26 = -11*z. Solve 0 = -u*o + d - 3*d + 17, -2*d + 5 = o for o.
3
Let l(p) = 2*p**2 + 39*p + 24. Let t be l(-19). Solve 3*s - 12 = t*w, -s + w - 9 = -11 for s.
-1
Suppose -a - 4*i - 10 = 0, 25*a + 2*i + 12 = 28*a. Solve -3*w = -d + 6, -a*w + 4*d + 0 = 4 for w.
-2
Suppose 74 + 52 = 7*v. Suppose 0*t - v = -6*t. Solve -2*d - 3*y + 7 = -8*y, -2*d = 5*y + t for d.
1
Let d be ((-20)/45)/((-46)/207). Suppose 2*s + 0*o = -o + 2, 0 = 2*o + 4. Solve x = s*b + b + 5, d*b = -4 for x.
-1
Let l be (-134)/(-10) + -3 + 12/(-30). Suppose -j + l = j + 4*u, -5*j + 2*u + 25 = 0. Solve 2*z + 3 = -5*q + j, -q - 2 = z for q.
2
Suppose 122*h - 117*h = -70. Let o = -1 + -13. Let t = h - o. Solve r - 3 = -3*s - r, -s + r - 4 = t for s.
-1
Let d(l) = -l**2 - 9*l + 1. Let i be d(-9). Let g = -23 + 24. Let m = i + g. Solve -b - 2*z = -6*b - 4, 4*b - m*z + 4 = 0 for b.
0
Let q(z) = z + 2. Let b(o) be the second derivative of o**3/6 - 7*o**2/2 - 5*o. Let k be b(5). Let m be q(k). Solve 2*u - 3*h - 1 + 0 = m, -2*u = 2*h + 4 for u.
-1
Let i be 63/24 + 1 + 33/88. Solve 4 = 2*q - q, i*q - 26 = -2*n for n.
5
Let g = 124 + -92. Let l = -22 + g. Let y = 5 - 0. Solve -y*h + 4*w = -37, 5*w - l = -3*h - 2*h for h.
5
Suppose 0 = -54*c + 55*c + 3*b + 5, 0 = c - 2*b - 10. Solve -f + 3 = g, 5*f - 17 = -4*g - c for g.
2
Suppose -2*m = -3*r + 8*r + 62, -25 = 2*r + m. Suppose -2*p = -5*g + 72, 3*g + 5*p + 2 = 39. Let o = r + g. Solve 3*w - o*j - 20 = 0, -w - j - 8 = 2*j for w.
4
Let q = 21 + -3. Suppose 2*t + 4 = 3*w, -3*w + 4*t - 1 = -15. Let m be 0/((-12)/3 - w). Solve -3*a - u = 5 + 5, m = -5*a - 2*u - q for a.
-2
Let m be (-4)/(-2)*3*(-17)/(-6). Solve -2*r + 5 + 18 = 3*o, -5*o + m = -2*r for r.
4
Let a = -94 - -96. Solve a*v = s - 1, s = -v - 3*v - 5 for s.
-1
Suppose -u + 5*u - 2*g - 10 = 0, -3*g - 11 = -4*u. Suppose u*a = -4, 21 + 7 = 2*s - a. Solve -4*i = -4, -m - 5*i = 3 - s for m.
5
Let v be 869/13 + ((-24)/(-39))/4. Let t = v + -64. Solve -4*p - 5*k = -18 - 5, -5*p + 19 = t*k for p.
2
Suppose -2*o = 5*k - 24 - 16, -62 = -5*o - 3*k. Solve 5*c - c + p + o = 0, -5*p = -3*c - 19 for c.
-3
Let c(i) = 2*i**2 - 6 - 3*i**2 + 2*i**2 + i + 8. Let x be c(-1). Solve -5 = x*v - 0*v - l, -2*l - 25 = 3*v for v.
-5
Let u(b) = -4*b - 87. Let j be u(-24). Solve 0 = -5*h - 5*r + 35, 0 = 5*h - 5*r - 6 - j for h.
5
Suppose 0 = -3*x + 274 - 262. Solve -3*m - 7 = 2*t - t, -2*m + 12 = x*t for m.
-4
Suppose a + 4*s = 1 + 11, 2*a - 27 = -5*s. Solve -m = -4*g + 4, 2*m = -2*g - 2*g + a for m.
4
Let r be (-3 + (-18)/(-4))*2. Let c(g) = -2*g + 1. Let x be c(-2). Suppose x*l - 4 = 3*l. Solve 0 = -l*s + 4*s + r*b - 20, -b = -5*s + 16 for s.
4
Let y = -2 - -14. Suppose z - y = -0*z. Suppose 2*m + 1 = -4*u + 39, 0 = 4*m - z. Solve w = -w + u, -4*v = 4*w for v.
-4
Suppose 0 = -3*p + 4*o + 92, -4*o = 5*p - 136 + 36. Solve -5*k = -2*n - p, 2*k = -3*n - k + 6 for n.
-2
Let w be (1 - 80/(-44)) + (-16)/(-88). Solve 0 = -w*c + 5*o - 8*o - 15, -o = -4*c for c.
-1
Let g = 17 + -11. Let b be (-3 + -3)*(-2)/g. Suppose -n - b*n = -3*h + 3, -3*n = 4*h - 32. Solve -4*k + 7 + 8 = -h*c, -3*k = 3*c + 9 for k.
0
Let w(q) = 2*q**3 + 12*q**2 + 7*q + 14. Let h be w(-6). Let r = -40 + 70. Let a = h + r. Solve -4*s = 3*i + 32, -32 = a*s + 4*i - 6 for s.
-5
Let t(z) = -5*z**2 - 18*z - 17. Let k(a) = -a**2 - a. Let y(b) = 4*k(b) - t(b). Let g be y(-13). Solve -3*s + 12 = 0, g*h + 7 = 5*s - 21 for h.
-2
Suppose 2*q - 26 = -4*h, 0 = -4*q + 3*q + 5*h - 15. Suppose -12 = -2*r + 12*z - 10*z, 5*r - 26 = 4*z. Solve -2 + 8 = -r*v + 3*j, -q*v + 4 = 2*j for v.
0
Suppose 0 = -5*d - 4*v + 40 - 15, -v - 5 = -d. Solve -j + 0*j = -4*w - 18, 0 = 2*j - d*w - 24 for j.
2
Let q(a) = -a**2 - 4*a + 7. Let j be q(-5). Suppose j*v - 7 = -p, 0 = -v + 4*p + 4 + 4. Suppose 4*m = 3*m. Solve z = -5*n - z + 29, m = -v*n + 3*z + 14 for n.
5
Let h(z) = -8*z + 13. Let j be h(3). Let v = j + 16. Solve 2*m + 3 = -2*r + v*m, 0 = -2*r + 5*m - 1 for r.
-3
Suppose d - 6*d = -15. Suppose d*y + 3*y - 18 = 0. Suppose 4*g = -y*k - 1 + 22, 2*g + 4*k = 18. Solve -r - 1 = -h + 5, -h + 10 = -g*r for h.
4
Let l(o) = -3*o**2 + 4*o**3 + 5*o**2 - 3*o**3. Let i be l(-2). Suppose i = -p - 3*p. Solve 2*r = -5*x - 14 - 4, p = 3*x + 4*r + 22 for x.
-2
Suppose -5*m - 2*g + 132 = 0, -236*g + 231*g = 2*m - 57. Solve 0 = 4*t - o - 19, t + 2*o + m = 6*t for t.
4
Let z(r) = -r**2 + 15*r + 20. Let q(p) = p**3 + 17*p**2 - 2*p - 18. Let t be q(-17). Let n be z(t). Solve 4 + 6 = -3*a + 2*m, n*a + 15 = 3*m for a.
0
Suppose 0 = 2*g, 4 = 2*y + 53*g - 50*g. Solve -5*h + 33 = 4*q, -10 = 5*q