 + 16 for z.
-5
Let f = 6 + -3. Let h(y) = -12*y. Let i be h(f). Let g be (-4)/(-2 + i/(-21)). Solve 2*m - 4*r - g = 0, -3*r - 5 = -0*m + 4*m for m.
1
Let v(b) = b**2 + b + 3. Let g be v(-1). Solve 2*x + 4*c = 0, 3 = -g*x - 5*c + 4 for x.
2
Let r(k) = -5 - 8*k + 3 - 5 + 4*k. Let f be r(-5). Suppose 5*x + f = -12, 3*p + 5*x = -16. Solve -c - c - 8 = 0, p*b = 3*c + 3 for b.
-3
Suppose -z = 5*b + 19, 3*z + 4 = 2*b + 32. Let m = 6 - z. Solve 3*u + 4 = -2*k, m*u - 2*k = 2*u + 4 for u.
0
Let w(b) = -b**2 + 6*b - 7. Let d be w(3). Solve 2*k - 15 = -k - 3*o, -d*o + 8 = 0 for k.
1
Let d(c) = -c**3 + 12*c**2. Let j be d(12). Suppose -6 = -2*w - w. Solve -3*m - w*p = -11, 0 = -5*m - p + 23 - j for m.
5
Suppose 3*p = g + 5, 0 = 3*p - 5*g - 0 - 1. Suppose -5*f - 5*i = -f - 89, -p*f = 4*i - 46. Solve u + 0 = -c + 2, 3*c - 2*u - f = 0 for c.
5
Suppose -2 = 4*d + 2*i, -3*i + 2*i - 1 = -5*d. Let c = 0 - 0. Let b = 32 - 30. Solve -3*q + s + c = -4, q + b*s + 1 = d for q.
1
Let q = 39 - 22. Solve -g + 3*y = -q, 2*g - 7 = 3*g + 3*y for g.
5
Let q = 6 - -10. Suppose q = 3*o - 2*k, -3*o - 2*o + 28 = -4*k. Solve i - 3*s - o = 0, 5*s - s = 3*i + 3 for i.
-5
Let y be 15*(-2 + 8/6). Let i(s) = s + 9. Let v be i(-8). Let u be v/5 + 2/y. Solve 0 = -2*j - 2, 2*n + u + 7 = -j for n.
-3
Suppose 3*a = 5*h + 2*a + 4, 2*h + a = 4. Solve h = 2*n + n - s, 4*n + 3*s = -13 for n.
-1
Let t(a) = -a + 1. Let y = 9 + -3. Suppose 4*i + 18 = y. Let n be t(i). Solve n*g + 5*j - 15 = 0, -3*j - 23 = -4*g - 0*j for g.
5
Let o be 2 + -2 - (4 - 6). Suppose 2*v - 11 = o*d + 1, -3*v + 4*d = -20. Solve m + 3 = 2*k - 11, 9 = 5*k + v*m for k.
5
Let d(g) = g**2 - 7*g - 12. Let p = 7 + 3. Let u be d(p). Solve -5*c = q + 2 + u, -3*c = -2*q + 25 for c.
-5
Let j(i) = -2*i + 19. Let z be j(8). Solve 3*q = u + z, -u - 2 - 1 = 2*q for u.
-3
Suppose -8 = -3*o + 5*o, 4*o = -3*n + 29. Suppose -2*r + 6*r = 12. Let z be -2*r/(-18)*n. Solve 4*i = -3*w - 5, 2*i + 0*i + z = w for w.
1
Suppose 4*u = 2*u + 2. Let d = u + 2. Solve d*b - 9 = q - 0*q, -12 = -4*b for q.
0
Suppose -5*t + 2*t = -48. Solve 0 = o + 5*h - t, -4*h + 5 - 1 = 3*o for o.
-4
Suppose -7*s + 2*s = 0. Solve s = 3*y + 5*o - 32, -8 = 3*y - y - 4*o for y.
4
Let a(p) = -p - 1. Let r be a(9). Let j be 4/r - 22/(-5). Solve -5 = 4*m + 2*x + 1, 4*m - 12 = j*x for m.
0
Let w be 8/12 + (-1 - (-174)/9). Solve -y = -6*y - r - 27, 0 = -3*y - 2*r - w for y.
-5
Suppose 0 = -2*t - 2*i + 22, 6*t - 2*i - 32 = 2*t. Solve 4*u - t = -5*z - 39, 3*u + 5*z = -25 for u.
-5
Let w(y) = y + 5. Let k be w(-6). Let q = k + 1. Suppose -2*t - 4 = 3*a, 2*t - 12 = 3*a - 2*a. Solve 0 = v + v + 3*j + 2, -t*j = q for v.
-1
Let m(v) = -v**3 + 5*v**2 - 5*v + 3. Let l be m(3). Let g = 21 + l. Solve 3*b + 3*d + g = 0, -3*b - 35 = -0*d + 5*d for b.
-5
Suppose 4*c - 3 = -19. Let f be c/4*(-1 + -1). Solve -f*r + 4*z + 11 = r, 0 = -r + 5*z + 22 for r.
-3
Let y(j) = -j**2 + 10*j + 11. Let d be y(11). Suppose l - 2 = -d. Solve -2*w - 4*i = -2, 19 = -5*w - 0*i - l*i for w.
-5
Let d = 41 + -39. Solve -p + 17 = 4*g + 38, g = d*p + 6 for g.
-4
Let x be -3 + 0/(-2) + 7. Solve x*t = 2*m - 10, 3*t + 1 = -2*m - 24 for t.
-5
Suppose -2*c + 3 = -1. Suppose -c*p - 5*l = 0, 2*p = -3*p - 5*l. Let f be (-4 - -9)/(0 + 1). Solve 4*v - f*g - 25 = p, 5*v - 2*g - 9 - 18 = 0 for v.
5
Let d(c) = c + 12. Let i be d(-9). Solve -7*h + 9 = -2*h + 3*y, -4*y = i*h - 1 for h.
3
Suppose 0 = -t + 3 - 1. Let l = t + -2. Solve l = 5*y - 2*g, -5*g + 2*g = 2*y for y.
0
Let h = -23 + 27. Solve 4*n = -j - j - 12, 4*n + 4 = -h*j for j.
4
Let l = -22 - -24. Let f be -8*(-1)/l - -6. Solve -5*o = -5*b + f, -10 = -2*o - 2*o - 2*b for o.
1
Suppose -3*o - 3 + 9 = 0. Suppose r - 3*q = -o*r - 9, 2*q = r + 8. Solve -4*y - r*g + 16 = -6*g, -1 = -g for y.
5
Let q = -18 - -21. Solve -5*s - 4*l = -21, -2*s + q*l + 14 = -l for s.
5
Let m = 24 - -7. Solve 5*j = 4*r - 8 - 24, 0 = -5*r + 4*j + m for r.
3
Let c = 1 + 7. Let h = -6 + c. Suppose 2*w - 3*w + 24 = h*o, 0 = 4*o + 5*w - 42. Solve -5*i + n - 1 = 1, 3*n + o = -4*i for i.
-1
Let y(x) = -3 - 2*x - 2*x - 8 + 2. Let d be y(-11). Let t(p) = p**2 - 1. Let q be t(1). Solve q = 4*g - 5*i + d - 4, -2*g = 2*i + 2 for g.
-4
Let d = -97 + 99. Solve -8 = z - d*b, 0 = 5*z + 3*b - 6 - 6 for z.
0
Suppose -5 = -f, 2*l - 6*f = -f - 21. Let m be (-20)/(-8)*l/1. Solve p - 2 = -p - m*u, 0 = -3*u for p.
1
Let r(p) = -p**2 - 5*p + 2. Let h be r(-4). Let g be 3 + (5 - 4/4). Solve 4*x - 3*q = 13, 2*x = -q + h - g for x.
1
Suppose -2*v - 4*d - 20 = -5*v, 2*v - 5*d - 25 = 0. Let r be 40/24*3*1. Suppose -2*c - r + 29 = 0. Solve -3*b - 4 = -v*t - 5*t, 3*t - c = -3*b for t.
2
Suppose 25 = -15*k + 20*k. Solve 0 = 5*d - 10, w = 6*w + k*d - 15 for w.
1
Let w(x) = x - 9. Let c be w(10). Let n be -1 - (2 + -6 - 2). Solve -3*d + n*h = 5, d - h - c = -0*d for d.
5
Let l(c) = -c**3 + 5*c**2 + 8*c - 7. Let m be l(6). Solve 2*s + r = 10 + 2, -m*s + 17 = -4*r for s.
5
Let k = 19 + -13. Suppose -o = -3*a + 17, 4*a - k*o + o = 19. Suppose -2*g = 3*g - 20. Solve 2*l = 4*y + a, -y - 2*y = -g*l + 12 for l.
3
Let b = -2 - -12. Let d(q) = -q**2 + 9*q + 11. Let l be d(b). Solve 3*v - 3*i + 3 = 0, 6*i = v + 3*i - l for v.
-2
Let t be (-95)/(-10) + (-6)/(-4). Suppose -6*a + a - 4*d + t = 0, 5*a - 2*d = 17. Solve 0 = -c - 3*z + 1, -z - 3 = -a*c + z for c.
1
Suppose 4*j - 13 = -5. Let y = 599 + -585. Solve 4*d + y = -3*s, d + 11 = s + j*s for d.
-5
Let j(m) be the third derivative of m**5/20 + m**4/24 + m**3/6 - 3*m**2. Let x be j(-1). Solve 0 = -x*t - i + 9, -2*i = -4*t + 2*i - 4 for t.
2
Let q be ((-24)/(-15))/((-8)/(-20)). Solve 4*z + q = -4*g, -2*g - 2 = z - 1 for g.
0
Suppose 70 = 20*q - 15*q. Let z = q - 12. Solve -z*p - x + 8 = -3*x, 3*x = 0 for p.
4
Let j be (-9)/2*12/(-9). Suppose 0 = -a - a + j. Solve 4*k + 3 = -3*r, -a*r = -2*k - k - 18 for r.
3
Suppose -3*r = -4*r. Solve -g - 1 = v, -5*g + r*v = -4*v + 14 for g.
-2
Let r be (-45)/20*-4*1. Let j = r - 8. Solve -c = -3*c + 2*v + 2, -3*c + 5*v = j for c.
3
Let c(d) = 6*d - 1. Let u be c(2). Solve 0 = -2*l + 5*x - 21, -4*l - 16 = -5*x + u for l.
-3
Let c(r) = -3*r + 17 + r + 3*r. Let l be c(-11). Solve -5*u - 5*g + 19 = -26, u + l = 2*g for u.
4
Let y(p) = -p**3 + 7*p**2 - 4*p - 9. Let b be y(6). Solve -4*l + 5 = -i, -2*i + b*l - 4 = -i for i.
-1
Suppose 20 = 4*u + u. Solve -2 = u*z - 2*i, 0 = 4*i + i - 5 for z.
0
Let i(r) = r**3 - 3*r. Let n be i(2). Solve n*z - 3*v - 11 = 0, -v - 8 = z + 2*v for z.
1
Let i(n) = 3*n - 3. Let x be i(2). Suppose -10*w = -37*w. Solve 0 = 3*q + l + 1, -x = 4*q + 3*l - w for q.
0
Let a(u) = -u**2 - 4*u + 2. Let y be a(-4). Let q = 74 + -69. Solve 15 = -j + q*l + y, -4*l = -4*j - 20 for j.
-3
Let o = 15 - 15. Solve 0 = 3*r - 4*d - 4, -3*r - 4*d - 4 = -o*d for r.
0
Let l = 2 - 2. Suppose 3*h = 3*d - 4*d - 1, l = 3*d - 5*h - 25. Suppose d*r - 70 = 35. Solve -k - k + 2*b = 6, 4*k = -5*b - r for k.
-4
Let z = 6 + -4. Solve 4*n = -12, -2*h - 4*n - z = 20 for h.
-5
Let h = -3 - -3. Suppose 3*s - 8 - 4 = h. Solve -20 = -s*b + 3*w, 4*b - 3*w - 15 = b for b.
5
Suppose 0*j + 11*j = 33. Solve 0*t + t + j*k + 1 = 0, -5*k = 4*t - 3 for t.
2
Let g(k) = -k + 27. Let d be g(24). Solve -4*v = -d*v - 2*o + 11, 0 = -v - 5*o + 24 for v.
-1
Let t(v) = -v**2 - 6*v. Let c be t(-3). Let q = c - 7. Solve -q*a - 3*y + 23 = 0, -3*y + 15 + 4 = a for a.
4
Let t be (10 - 7)/(6/10). Suppose -4*o + 1 = r - 0, 0 = -o - 5*r + t. Solve o = -v - 3*q + 16, 6*v - v - 36 = -4*q for v.
4
Let d(t) = 3*t**3 + 8*t**2 - t. Let v(m) = 4*m**3 + 7*m**2 - m. Let f(s) = -5*d(s) + 6*v(s). Let x be f(1). Solve 2*g = 0, -3*l = 2*l - 5*g - x for l.
2
Let r(x) = x**2 + x - 1. Let u = 4 + -7. Let d be r(u). Solve -c = d*y, 2*c + 0*c - y = 11 for c.
5
Suppose 0*u + 15 = 5*u. Let f be (-1001)/(-78) - (-5)/(-6). Solve f = -u*s, g = -4*s - s - 17 for g.
3
Let f = -3 - 4. Let t = f - -12. Solve 0 = -2*p + t*p + 5*d + 9, 0 = 4*d for p.
-3
Suppose -3 = -3*l + 3. Suppose -3 - 3 = -l*o. Suppose d = -o*d + 68. Solve -7*g + 3*g = 2*s + 14, 3*g = 5*s - d for s.
1
Suppose g - o - 5 = 1, -2*o = g + 3. Suppose g*h = -5*i + 45, -i + 0*i - 5*h = -31. Solve -i*r + r = 3*u - 15, 4*u = -r + 3 for r.
3
Let g be (10/(-8))/((-4)/16). Let p be 4 + g + (-3)/1. Let f be 4/p + (-8)/(-6). Solve f*m - 4*a - 8 = 4*m, 0 = -m - a - 1 f