-4*c + j - 31 = s for c.
-4
Let w(j) = 2*j - 6. Let z be (-2 + 4)/((-4)/(-10)). Let h be w(z). Suppose -h = -3*u + 2. Solve -u*i + 5*a - 5 + 18 = 0, 4*i - 3*a - 19 = 0 for i.
4
Suppose -l = -3 + 11. Let y be l/(-32) - (-15)/4. Solve m - 11 + y = -4*r, -5*m = 2*r + 19 for m.
-5
Let y be (-37)/13 - 8/52. Let v = y + 6. Solve -2*l - 3*q = 7, -v*q = -5*l - 0*q - 28 for l.
-5
Let d = -2 + 3. Let k(o) = 2*o**2 + o**3 + 9 + 6*o - 9*o**2 - 4. Let v be k(6). Solve -4*m = -y - d - 1, -v*m - 2 = y for m.
0
Let w = -6 + 10. Let v be (-6)/(1/(-2)*-4). Let g = v + 7. Solve w*a = -g*l - 12, 3*l + 2*a - 4 + 14 = 0 for l.
-4
Suppose 2 = 2*w, 3*w = -3*a + 5*w - 2. Let t = 2 + a. Solve -t*o + 6 = z + z, 11 = 3*o + z for o.
4
Let l(g) = -g**2 + 7*g - 7. Let t be l(5). Suppose -9 = -3*x + y - 0, -y = 3*x - t. Solve 0 = 3*m + x*a - 13, -a = -0*a - 5 for m.
1
Suppose k + 3*k - 56 = 0. Solve -k = 4*a + 2*i, a = 2*a + 2*i + 8 for a.
-2
Suppose -s - 5 = 3. Let a be 0 - s - (0 + 0). Solve 0 = 2*p - a, 4*r + 5*p - 20 = -0*p for r.
0
Let o(a) = a**2 + 5*a + 4. Let y = -8 - -4. Let d be o(y). Solve 4*i - 5*q - 1 = d, 4 + 3 = -4*i - 3*q for i.
-1
Let k(c) = 0*c - 2*c - c - 1 + 2*c + 18*c**2. Let n be k(-1). Solve w - n = 4*y, 0*y + 12 = 4*w - 4*y for w.
-2
Let t(w) = w**3 - 4*w**2 + 3*w - 4. Let o be t(3). Let j be 4/(-8) - 14/o. Solve x = -x - 2*h + 2, 2 = 2*x + j*h for x.
1
Let i(l) = -l + 11. Let z be -1*-5*(-5 - -4). Let g be i(z). Solve -2*p - s - 2 = 0, g = -s + 5*s for p.
-3
Let g(z) = -7*z - 2. Let t be g(-1). Solve 3*i - t*n - 6 = -2*n, -7 = -i + 2*n for i.
-3
Suppose -4*r - 8 = -4*s, r = 5*r - 3*s + 10. Let n = 3 - r. Let w(u) = -u. Let t be w(0). Solve t*v + d + n = -2*v, -3*v - 2*d = 10 for v.
-4
Suppose -g - 74 = -2*g. Let a be 4/6 - 70/(-21). Suppose 0*n - a*n - 4*j + 92 = 0, 3*n + 4*j = g. Solve 4*m = -3*s + 20, 0 = 3*m + s - n + 3 for m.
5
Let u be 19 - (-6)/(2 - -1). Suppose 2*g = -5*r + u, -3*g - 11 = -4*r + 15. Solve -22 = -4*b + i, -5*b = -r*i - 24 - 11 for b.
5
Suppose 3*b + 0*b - 3*o = 33, 58 = 5*b - 2*o. Solve 2*i + 4*n + 12 = 0, 3*i + n + b = -2*n for i.
-2
Let d(q) be the third derivative of q**6/120 - q**5/60 - 5*q**4/24 + q**3/3 + 5*q**2. Let o be d(3). Solve 5*s - 3*u + o = 0, -u = 2*u + 15 for s.
-4
Let r be (-6)/(-21) + 52/14. Let x be ((-2)/(-8))/((-5)/(-60)). Solve -g + 0*n - 2*n = 0, 0 = -x*g + r*n + 20 for g.
4
Let t be (-2 + 3)*4 - (4 - 2). Solve -2*o + 22 = t*o - y, 3*o = -5*y + 5 for o.
5
Let s = 1 + 1. Let b(h) = -h. Let o(n) = 3*n. Let z(j) = -2*b(j) - o(j). Let u be z(-2). Solve -f + u + 0 = a, s*f = -6 for a.
5
Suppose 4*q + 4*s + 6 = 14, -2*q - 3*s + 6 = 0. Solve -3*r - 2*i + 1 = q, 0 = -2*r - 3*i + 4 for r.
-1
Let c be 20/(-45) - 186/(-54). Solve 2*z = m + 7, -c*z = -m - 2*m - 12 for z.
3
Let u(h) = -h + 2. Let c be u(-2). Solve f - 8 = d - 2*d, 7 = c*f - d for f.
3
Let i(r) = -4*r. Let l be i(2). Let q be (-3)/(l/5 - -1). Solve -u = 3*c + 6, -q*u = c - 0*c - 12 for u.
3
Let r(y) = -3*y**3 - 2*y**2. Let g be r(-2). Let p = g + -11. Solve -5 = -2*n - p*u, -2*n + 5*u + 1 = 6 for n.
0
Let a = 2 - 2. Let c = a + 0. Let o(h) = -h**2 + h + 3. Let f be o(c). Solve f*v + 7 + 2 = -2*x, 4*x - v = 3 for x.
0
Suppose -5*h + 49 - 4 = 0. Let m(l) = l**2 - 6*l - 19. Let f be m(h). Solve 2*a + f = -4*y, 12 = 3*y - 2*a - a for y.
0
Let i be (-6)/27 - (-80)/36. Suppose -b + 22 = 22. Solve b = -i*q + 6*q + 20, -t = -5*q - 30 for t.
5
Let g be -2*(-57)/6 - 0. Let r = g - 17. Solve 6*o - 15 = -3*h + 3*o, -2*o = -r*h + 10 for h.
5
Let t be 0 + 2 + (-2 - -2). Suppose -5 = -t*j + 5. Solve 3*b + 27 = -4*i, 4*b + 29 + 6 = -j*i for b.
-5
Suppose -5*h + o = -2*o + 2, -2*h + o = 0. Let g = h - -3. Suppose 4*x = -d - 12, 0*d - g*x - 24 = -d. Solve 13 = 3*n - n + y, 0 = -d*y + 12 for n.
5
Suppose l = 5*g - 10, -7*g + 3*l + 10 = -2*g. Solve -3*t + g*a + 11 = 0, -3*a = -8*a - 20 for t.
1
Let z = 9 - 1. Suppose -z = -m - m. Solve 5*t - 9 = -3*i, 3*i + 2*i - m*t = 15 for i.
3
Let q be (-1)/(0/(-2) - 1). Let n be (q/(-1))/((-2)/8). Solve 2*h = -n*f - h + 16, 2*f = 2*h - 6 for f.
1
Let d = 1 + -5. Let p(r) = -2*r + 14. Let v(o) = o - 1. Let f(u) = d*v(u) - p(u). Let z be f(-7). Solve -z*a = -a - 3*w - 9, 2*w + 10 = 0 for a.
-2
Let a be (-219)/(-7) - (-2)/(-7). Suppose -a - 54 = -5*g. Solve r - g = l + 3*l, 5*l + r + 10 = 0 for l.
-3
Let x = 9 - 9. Suppose 4*r - 5 - 3 = x. Solve 12 = -5*p - c + 2*c, -r*p - 14 = -5*c for p.
-2
Let l be 5/15 - 14/(-3). Solve -d + 1 = -3, -l*s - 29 = -d for s.
-5
Let z be (5/15)/((-3)/18). Let f be z/(-4) + (-2)/4. Solve f*h - 4*h - 5*x = -30, 4*h = 5*x + 10 for h.
5
Let h(g) = g - 15. Let q(r) = -r + 14. Let v(s) = 3*h(s) + 4*q(s). Let j be v(7). Solve -5*o + 2*l = -o - 4, -5*o = j*l + 8 for o.
0
Let o(x) = -x - 11. Let j be o(-6). Let v = j - -8. Let a = 23 - 8. Solve -c - 3*t = c - 15, v*t = c + a for c.
0
Let i(n) = n**2 + 5*n + 4. Let p be i(-6). Solve 0 = 2*f - 2*l - 3*l + 18, 2*f = -2*l + p for f.
1
Suppose -40 = -7*d - 12. Solve -2*z - 2*f + 12 = 0, -f + 0*f + 15 = d*z for z.
3
Let c be (9 + -8)*(0 + 20/4). Solve -c*u + 3*u - t - 6 = 0, 3*u - 5 = 2*t for u.
-1
Let p(h) = h - 14. Let k be p(16). Solve -5*x + 2*u = -k*x - 3, 5*x = -5*u - 20 for x.
-1
Let d(a) = -a**2 + 6*a - 1. Let q be d(5). Suppose 2*w = 2*z - 10, q*z - 2 = -2*w - 12. Solve z = -5*l - k - k + 8, 2*l + 4*k = 0 for l.
2
Suppose -3*y + 0*a - 12 = -5*a, -4 = 2*y - 2*a. Let p be -2 - 1 - -6*y. Let x = 18 + -9. Solve 0 = 5*t - k - 2, -p*k + 3 + x = 3*t for t.
1
Suppose -5*d + 21 = -x, -2*d + 4*x + 12 = -0*d. Suppose -d*l + 17 = -0*t + 5*t, 4*l = -3*t + 7. Let o = 0 - l. Solve 5*i + 35 = 5*w, -2*w = -i + o*i + 1 for i.
-5
Let n(c) = -c**3 + 12*c**2 - 9*c + 2. Let j be n(11). Suppose 0 = 5*o - r - 15, 2*o + j = 3*o + 4*r. Solve 1 = -g + 2*p - 5, -11 = -o*g + p for g.
4
Suppose 5*a = -5, -5*j + 13 = 2*a - 5*a. Solve -7 = 5*q - 0*q + j*g, 0 = -2*q - 2*g + 2 for q.
-3
Let q = 14 - -6. Solve 5*s - 3*i - q - 2 = 0, -5*s = 3*i - 28 for s.
5
Let g be (2/4)/((-4)/(-72)). Suppose 5*n - 159 + g = 0. Solve 2*o + 2*o = 3*r + 5, o = -5*r + n for o.
5
Let g(x) = x**2 + 7*x + 11. Let w be g(-5). Solve -i = 4*f + 1, -i + f - w = -5 for i.
3
Let g(i) = i**2 - 7*i - 3. Let a be g(8). Solve -2*w = -w + 2*v, 0 = -a*w + v - 11 for w.
-2
Let t = 13 - 9. Suppose k = -4*k. Solve 32 = 4*x - t*z, 4*x - 5*z - 4 - 32 = k for x.
4
Suppose 3 = -3*j - 3. Let u be (-2 + -1)*-3 + j. Let c(k) = 2*k - 5. Let s be c(u). Solve -q = -5*l - s, 3*q - 2*l = 2*q + 6 for q.
4
Suppose -2*n = j + 4, 2*n - 3*j = -j + 8. Solve -2*a - 19 = 5*d, n*d + 2*d = 2*a - 16 for a.
3
Let s(d) be the second derivative of d**4/12 + 4*d**3/3 + 6*d**2 - 7*d. Let j be s(-9). Solve -2*y - 7 = -f, -5*y - 2*f = -f + j for y.
-4
Suppose 2*l + 3 = l. Let y be (-1 + 1)/(l*1). Solve -4*h = 8, g - h - 4 + 5 = y for g.
-3
Suppose 9 = -2*b + 3*u, 2 = -2*b + 5*u - 13. Suppose -6*c + 3*c - 12 = b. Let y = c - -7. Solve y*p + 5*t + 3 = 29, 5*t = 20 for p.
2
Let w = 46 - 16. Solve -3*j = 5*k + w, k - 3*k + 9 = -3*j for k.
-3
Let o be (6/5)/(4/10). Let k be (-5)/o + (-2)/(-3). Let t be 1 + k - 45/(-3). Solve 0 = 5*f + 5*y, -f - 4*y = -2*f + t for f.
3
Suppose 2*b - 10 = -4. Suppose 5*p - 15 = 0, b*c + 5*p - 5 = 22. Solve -c = 5*a + o, 12 = a + 2*a - 3*o for a.
0
Suppose -c - 5 = -0*c. Let i be ((-2)/2 - c)/2. Solve -i*s + 22 = -3*b, 2*b = -3*b - 2*s - 10 for b.
-4
Suppose -4*x = l - 35, 5*l - 3*x = x + 127. Let b be 141/27 + (-6)/l. Solve 3*t - 5 = -5*d - 1, 2*t - b*d + 14 = 0 for t.
-2
Let d = -6 + 13. Let p = d - 4. Solve 16 = p*r - 4*s, 0*s - 2*s - 8 = 3*r for r.
0
Suppose -3*z = -128 - 70. Let l be (-4)/(-8)*z/1. Suppose 0*f + f - 15 = 3*r, l = 3*f - 3*r. Solve 2*o - o + 3 = -3*v, -4*v - f = 3*o for o.
-3
Let t = 2 - -6. Let b(d) = -5*d + d**2 + t*d + 3 + d. Let m be b(-3). Solve -3*u + 0 = 3, m = -g - 4*u - 9 for g.
-5
Suppose -4*g - 2*m + 3*m = -73, -4*g - 3*m = -85. Solve 10*a + 3*q + g = 5*a, -5*a - 7 = -q for a.
-2
Suppose -3*m = m. Solve -5*n + 4*h - 6 = m, 0 = -3*n - 2*n - 4*h + 26 for n.
2
Let b be 1*-2*12/(-4). Let z(g) = g**3 - 8*g**2 + 12*g + 3. Let k be z(b). Solve -3*p + 4*a + 16 = 0, -4*p + 6*p + 5*a = k for p.
4
Let p be (1 + 15/(-10))*-8. Solve p*k + 3*t + 1 = 3, 2*t = 5*k + 9 for k.
-1
Let l be (-3 - -2)/(2/(-4)). Solve 2*