c. Let j = z + 7. Solve 3*x - 6 = j*a + 5, -2*a + x = 5 for a.
-1
Let t = 14 + -39. Let s = -23 - t. Solve g + s*h + 1 = -2*g, -5*h = g - 17 for g.
-3
Suppose 0 = -g - 3*g. Suppose g*c + 4*u = -4*c + 36, -3*c + 20 = -4*u. Suppose -2*a + 12 = -c. Solve w - 1 = -j + 2*j, 2*j - a = -2*w for j.
2
Suppose y + y = -14. Let x = -7 - y. Solve 0 = -5*i - x*m + 5*m, -m - 12 = -4*i for i.
4
Let n = 36 - 34. Suppose -45 = -2*v + 3*f, 4*v - v + 3*f = 60. Solve 0 = -n*m + 7*y - 4*y + v, -18 = -m + 3*y for m.
3
Let c(m) = 4*m**2 + 2*m - 2. Let h be c(2). Let o = -13 + h. Solve 5*g = -o*w + 30, 4*w = -4*g + g + 20 for g.
4
Let v = -10 - -10. Solve 3*h - 5*g - 14 = v, -2*h - 3*g = 3*h - 12 for h.
3
Let i be (-10)/6*-3*9/9. Solve 0 = -2*y - i*b + 35, 0 = -0*y - y + 5*b - 20 for y.
5
Suppose 7 = d + 2*c - 0, -13 = -d + 4*c. Suppose 3*l - 6 = 2*j - 0*j, 2 = l - 4*j. Suppose -3 = -l*p + p. Solve d = 4*i - z, -p*i - 1 = z + 1 for i.
1
Suppose 4*t + 5*b - 16 = 0, -3*t = -0*b + 3*b - 12. Suppose k = -t*k. Solve 0 = -2*a - 5*q + 5, 4*a - q = -k*a + 21 for a.
5
Let v be 28/6 + 4/12. Suppose -v*f - 5*o + 90 = 0, -2 = 2*o - 4. Solve -3*q = -2*s + f, -2*q + 0*q = -2*s + 14 for s.
4
Let a(h) = 16*h**2 - 20*h - 4*h**2 - 1 + 19*h. Let l be a(-1). Solve 0 = -0*i - 4*i + 4*r, 4*i + 2*r = l for i.
2
Let f(y) = -y**2 - 17*y - 50. Let m be f(-13). Solve b = m, j - 3*b = -2*j - 18 for j.
-4
Suppose 0*s = 5*s - 0*s. Solve 24 = 3*m + 3*d, -m + 3*m - d - 4 = s for m.
4
Let g(s) = -s**3 - 5*s + 7*s + 4 + 4*s**2 + 4*s + 3. Let f be g(5). Solve -2*r = 2*m - 4*m - f, 0 = -r + 3*m + 8 for r.
5
Let x be ((-4)/(-4))/(-3 + 2). Let o be 1/(x - (-21)/18). Solve 5*w = m + o, 3*w + 0*w - 5*m - 8 = 0 for w.
1
Let d be (-6)/(-63) - 498/(-63). Solve 0 = 2*i + 5*w - 15 - d, -3*w - 7 = -4*i for i.
4
Suppose 2*d - 4*x = -3*d + 5, d - x = 1. Solve 3*y + y = 5*p + d, -p - 2 = y for p.
-1
Suppose -5*v - 5*k + 24 = -k, -k - 7 = -2*v. Suppose -q = -2*q - v. Let f be 3 + q + (-8)/(-2). Solve 2*y + 2*y + 13 = c, 0 = -f*c - y + 13 for c.
5
Suppose -3*f - 9 - 3 = 0, 5*y - 87 = -2*f. Let q = y + -15. Suppose 0 = 4*r - 3*r - 4. Solve 2*s + 0*v = q*v - 6, r*s - 9 = v for s.
3
Let r be (-3)/((-3)/2 - 0). Let u(a) = a**2 + 6*a - 9. Let c be u(-7). Let o be -1*5*c/1. Solve r*m - 7*m + o = v, -v = -m - 4 for m.
1
Let d = -141 - -141. Solve 5*z = 3*c + 8, c + c + 2*z = d for c.
-1
Suppose 10*j + 1 = 11*j. Solve 2*o - j = -4*i + 1, 0 = 3*o + 3*i for o.
-1
Suppose 0 = 3*j + 3*u - 3, 4*u + 2 = -2*j - 4. Solve 5*b + 2 = -j*p - 8, 14 = -p - 5*b for p.
1
Let f = -6 - -12. Suppose -2 = 2*j - 8. Suppose 1 + 2 = -3*k, j*k = -2*p + 3. Solve -f*z + z + p*m - 27 = 0, 2*z + 10 = m for z.
-3
Let k(v) = -2*v - 6. Let p be k(-5). Solve -4*h = -2*g + p*g + 6, 3*h - g = -17 for h.
-4
Let w = -3 + 8. Suppose w*t - 9 = 2*t. Solve -5*d - 32 = t*v, 4*v + 49 = -5*d + 13 for v.
-4
Suppose 2*z = z - 1. Suppose -a + 3*q = -16, -a + 2*q = -3*a - 8. Let u = a + z. Solve -5*m + 0*n - 3*n = 5, u = -2*m + 4*n - 2 for m.
-1
Suppose -9 = -2*t + d, 3*t + 0*t = 3*d + 18. Let v be (-38)/(-6) - 1/t. Solve q = 0, -u + v*u - 2*q = 0 for u.
0
Let v(z) = -19*z. Let j be v(-1). Suppose j = 3*b + 7. Solve -5*n = i + 3, -3*i + 2 - 11 = b*n for i.
-3
Suppose 0 = 4*n - 0*n - 52. Solve -2*c + 10 = 0, n = -2*a + 4*c - 5 for a.
1
Let z(t) = -t**2 - 3*t + 1. Let m be z(2). Let y be m/(-3) - -4 - -1. Solve 2 - y = 3*h + 4*s, s = -2*h - 4 for h.
-2
Suppose 0 = -d + 43 - 40. Solve 2*m = -d*t + 9, -2*t + 0 = -m + 1 for m.
3
Let p(j) = j. Let h be p(-2). Let c be 800/15 - h/3. Suppose -k + c = 2*k. Solve 5*n + 2*o = -o + 14, 0 = 4*n - o - k for n.
4
Let g be (-4)/5*(-5)/2. Suppose g*z = 7*z - 20. Suppose k + o - z = 0, -4*k + 10 - 2 = -4*o. Solve -4*w = -4*m + 2*m - 10, k*m + 3 = 3*w for m.
3
Let b(k) = -k**3 - 9*k**2 - 11*k - 20. Let x be b(-8). Solve 0 = -5*a + 2*q + 5, 18 = 3*a - a - x*q for a.
-1
Let l(w) = w - 2. Let q be l(3). Let k(u) = -u - 9. Let c be k(-12). Suppose v + 0*v - 28 = 5*t, c*v = 5*t + 34. Solve -3*a = -5*r + v, 2*r - a - 1 = q for r.
3
Let f = 3 - 6. Let y = 8 + f. Solve 5*k - 1 = 2*d - y, 23 = -5*d - 4*k for d.
-3
Suppose -2*k + 14 = 8*m - 3*m, 5*k = 2*m + 6. Solve 4*w = 4*c - 12, -k*w - 4 = -6*c + 3*c for c.
-2
Suppose 4*d + 0*d - 16 = 0. Suppose -2*t = l - 4*l - 16, 4*t = -l + d. Solve -4*x = 4*k, -2*k = t*k - 4 for x.
-1
Let l = -4 + 3. Let a(m) = -5*m**3 - m - 1. Let y be a(l). Solve -y*r - 3 = o - 2*r, 4*r = -2*o - 6 for o.
-3
Suppose -1 = -2*k + 13. Let c(m) = m**3 - 6*m**2 - 7. Let o be c(k). Suppose 0 = 5*v + 12 - o. Solve -5*w - 3*a - 22 = 0, 4*w + 22 = -2*a + v for w.
-2
Suppose -3*f = -5*f + v + 6, -4*v = 0. Let x(i) = -1 + 4*i**2 + 2*i + 0*i**2 - 3*i**2. Let a be x(1). Solve 3*p = -a*m + 4*p - 3, f*p = 9 for m.
0
Let x = -95 - -100. Solve -3*d - d = 2*s + 8, -28 = 2*d - x*s for d.
-4
Let j = 25 - 23. Solve -o = -j*b - 1, o + 5 = -0*o + 5*b for o.
5
Suppose 0 = 4*j + j - 20. Solve -2*z = -4*n + 8, -4*z - j*n = 5 - 13 for z.
0
Let y(z) be the first derivative of -z**4/4 - 5*z**3 - 15*z**2/2 - 12*z + 4. Let m be y(-14). Solve 0 = 4*l + m*d - 2, 0 = 3*l + d - 4 for l.
3
Let m = 0 - -4. Suppose 4*g + g + 128 = -2*s, s = -2*g - 64. Let l = s + 100. Solve -4*r + l = 4*d, m*d = d - 4*r + 31 for d.
5
Let z(l) = l**2 + 8*l - 13. Let b be z(-9). Let t be ((-12)/18)/(b/30). Solve -4*j + 2 = t*n, -2*n = -3*j + 8 + 5 for n.
-2
Suppose 4*a = 3*a + 2. Solve -a*u - 2*t = -2, 0 = -3*u + 2*u - 5*t + 13 for u.
-2
Suppose 4*p + 6 = 7*p. Solve 2*n = 4, p*h - n + 2 = -3*n for h.
-3
Let k(v) = v**2 - 13*v - 27. Let t be k(15). Solve 2*q + q - 10 = 4*o, 7 = 5*q + t*o for q.
2
Let q = -3 - -4. Let p be (-4)/(-1) - (-2 + q). Let c = p + 0. Solve 5*f + 25 + 15 = -c*g, -3*g = f + 18 for g.
-5
Suppose 3*d + 3 = 9. Suppose 0 = -d*q - 2*q + 20. Solve 0 = -c - 2*r + q, 3*c + 4 = -2*r + 19 for c.
5
Let z = -11 - -4. Let k be 4/(-4 - (-9)/3). Let x = k - z. Solve 0 = -4*y + 2*r - 0*r, 0 = -x*y - 3*r for y.
0
Let z(g) = 2*g**2 + 9*g - 1. Let o be z(-7). Let r = -22 + o. Solve -k - 4*k = 4*d + 4, 5*k + 2*d + r = 0 for k.
-4
Suppose 0 = -3*m + 4*m - 3. Suppose 2*p = 2*r + 1 - 37, -p + 42 = m*r. Solve 4*n + q - 20 = 0, -3*n - q = q - r for n.
5
Let h(a) = a**3 + 43. Let c be h(0). Suppose 5*q - c = -5*k - 13, -2*q = 4*k - 14. Solve -q*v = -5 - 0, 0 = m + v - 2 for m.
1
Suppose -2*d - y - 3 = -4*y, 5*d - 2*y = -2. Suppose -2*a - c = -1 - 8, 3*c + 3 = d. Solve 2*z - 6 = -z - 2*o, a*z + 3*o = 11 for z.
4
Let n(a) = -a - 2. Let g be n(-5). Solve -p + 4 = -4*h - 0, -g*p = -3*h - 12 for h.
0
Let f be (-6)/(18/(-15)) + -1. Solve -z = z + f, -5*v = 4*z - 7 for v.
3
Let f be (1/2)/((-2)/44). Let g be f/5 - (-2)/10. Let t be -2 - (-3 + (-2)/g). Solve t = -v + 5*y - 20, v = 4*v + 5*y - 40 for v.
5
Let o(x) = x - 1. Let q be o(5). Suppose 4*p - 2*z = 5 + 19, 0 = q*p - 5*z - 24. Let t = p - 4. Solve t*m + 5*a + 7 = 0, 5*a + 1 + 5 = -m for m.
-1
Let s(n) = n**2 - 6*n - 3. Let f be s(6). Let b = f + 7. Solve 0 = -b*i - g + 19, 3*i + 0*i - g = 16 for i.
5
Suppose r = 4 - 0. Let t = 7 - r. Solve -11 = -2*s - 3*z, 8 - 25 = -t*s - 5*z for s.
4
Let y(d) = -5*d. Let m be y(-4). Let b = m - 12. Solve 5*p + 3*a - b*a - 45 = 0, p - 4*a - 24 = 0 for p.
4
Suppose -77*k + 82*k = 5. Solve 3*u = 3*f + 3, 6*u - k = 3*u + 2*f for u.
-1
Let b be (-2)/(-4) + 54/4. Let k = b - 9. Solve 0 = -k*w + 3*t + 20, -t - 21 = -w + 3*t for w.
1
Let j(l) = 21 - 3*l + 2*l - 22. Let w be j(-5). Let q(n) = 4*n**2 + 2*n + 1. Let k be q(-1). Solve k*r + 4*s - 2 = 0, -4*s - w = -0 for r.
2
Let q(m) = -m**2 + 8*m + 50. Let f be q(12). Solve 2*j = 4*j + 3*y + 13, 0 = 2*j - 2*y - f for j.
-2
Suppose w + 3*w - 24 = 0. Let d be (w/9)/(4/186). Let p be 3 - 2*(-1)/2. Solve 3*l + d = -p*k, -5*l - 13 = -k - 2*k for k.
-4
Let b(k) = k**2 - k. Let m be b(2). Let n be (30/(-20))/(1/(-2)). Suppose 0*d + 2*d = -n*v, -d = v + 1. Solve -4*u + v*u - 8 = -m*h, 5*h - 15 = 4*u for u.
-5
Suppose 5*h - 3*r - 23 = 0, h + 3*r - 2*r - 11 = 0. Solve -3*c + 4*y + h = 2*y, c + 3 = -2*y for c.
1
Let i(t) = -t**2 - 4*t. Let j be i(-4). Let p be (-1 + j)*(-2 + 2). Solve 2*l - 2 = p, 6 = 2*b - l + 5*l for b.
1
Suppose -u = -3*u - 6. Let y = 6 + u. Solve -4 = 4*g, 23 = y*q + 2*q - 3*g for q.
4
Let m be 1*6/3 - 2. Solve -4*f - 3 - 1 = m, -5*l = 5*f + 5 f