- 22 for z.
1
Let s(b) = 3*b**2 + 8*b - 5. Let a be s(-4). Solve -19 = -w - 3*t, 2*w + t - 2 - a = 0 for w.
4
Let n(f) = f**2 - f - 2. Let b be n(-3). Suppose 0*x - b = -5*x. Solve q + 10 - 1 = x*y, 0 = y - 5*q - 18 for y.
3
Let r be (-34)/(-153) - (-284)/18. Solve 5*c + k = 3*k + r, 3*c = 4*k + 4 for c.
4
Suppose 2*a = a + 4. Suppose 0*w - 4*w + 12 = 0. Suppose 2*s - 76 = -2*g, 187 = 5*s + 3*g + g. Solve a*n + s = -w*x, -2*n - 3*x - 20 = -n for n.
-5
Let t(i) = 4*i - 17. Let r be t(5). Solve -r*w = -5*d + 24, -w - 2*d + 21 = -6*w for w.
-3
Let s(g) = -g - 3. Let c be s(7). Let j be 3/15 - 18/c. Solve -u + 3*i - 3 = 4*i, -3*u + j*i = 4 for u.
-2
Suppose 4*v - 11 = -3. Let z be v*3/(-6)*-16. Suppose -p - 3*p + z = 0. Solve p*f - y = -6, 4 = f - 0*y - 3*y for f.
-2
Suppose 14 = -3*t + 5*t. Suppose -w + 5*g = 5 - 17, 2*g - 2 = -3*w. Solve -2*d - 3*b = t, -3*d + w*b + 9 = -0*b for d.
1
Suppose 2*y = -3*a - 2, 4 = -y + a - 4*a. Suppose p = 6*p - o - 11, 0 = y*p + o - 10. Solve -5*f + 3*n = 0, p*f - n - 29 = -5*n for f.
3
Suppose -y - y = -8. Solve -18 = -3*b + 3*m, 0*m - 8 = -4*b - y*m for b.
4
Let i(v) = -1. Let x(j) = j**2 - 9*j - 6. Let c(a) = -6*i(a) - x(a). Let z be c(10). Solve w = z*o + 4, w = -5*o + 5 - 1 for o.
0
Let o = -108 + 123. Solve 0*r + 2*r + 23 = 5*w, 5*r = -2*w + o for w.
5
Let p(j) = j**2 - 2*j - 6. Let u be p(6). Let r = 1 - -2. Let y be (-2)/r + 12/u. Solve -x - 3*w + 4 = -5*x, y = -2*w for x.
-1
Let x = 3 + -7. Let k be 12/(-2)*6/x. Let a = k - 6. Solve o + a*n = -8, 0 = 3*o + 6*n - n + 8 for o.
4
Let f(u) = -2*u + 16. Let x be f(7). Solve x*g - n = 5, 13 = 3*g - 2*g + 3*n for g.
4
Let n = 3 - 3. Suppose -u - 3*j + 14 + 0 = n, u + 5*j = 22. Solve -2*x + u = 4*w, 0 = -7*x + 4*x + 5*w - 30 for x.
-5
Let l(o) = 3*o + 22. Let k be l(-10). Suppose 8*m + 55 = 3*m. Let j = k - m. Solve 2*r + 3*i + 10 = 4*i, -3*i + 21 = -j*r for r.
-3
Let m = -5 - -10. Suppose u - 2*q - 7 = -2*u, m*q - 14 = -3*u. Solve 4*f = 2*y + y + u, -3*f = y + 1 for f.
0
Let l = -101 + 106. Solve 0 = -l*m + 2*m, t = -5*m - 1 for t.
-1
Let p = -7 + 11. Suppose -15 = -p*i - 3. Solve -2*h + i = -2*v + h, -4*h - 19 = 5*v for v.
-3
Let f(p) = -p**3 + 2*p**2 + p + 1. Let b be f(2). Solve 5*o - o = -5*m + 14, o - b = -m for o.
1
Let h be (10/(-8))/(2/(-40)). Solve -h = 3*l + 4*x, -4*l = -x - 2*x for l.
-3
Let o(p) = -p**3 + 7*p**2 - 6*p + 3. Let i be o(6). Suppose -4*c + 0*c + 28 = -3*x, -i*c - 5*x = 8. Solve -2*s - 4*f - c = 0, 0*s - s = -3*f - 13 for s.
4
Let y = 12 + -7. Suppose -5*w = -y*g + 10, 5 = 4*g - 3*w - 5. Solve 2*z + 1 = -3*r + 6, 4*z + g*r = 8 for z.
1
Suppose 0 = -10*c + 3*c + 14. Solve 0*s - 8 = 4*x - 2*s, -5*s + 4 = -c*x for x.
-2
Suppose 5 = 3*x - 1. Solve 2*u = -u - x*b + 18, -2*u = 4*b - 20 for u.
4
Let o(r) = r + 5. Let d be o(-8). Let g be d/(-15) - (-48)/10. Solve -4*n = -4*j - 16, 3*n = -3*j - g - 1 for j.
-3
Let l(f) = -2*f**2 - 5*f + 3. Let i be l(-3). Solve i = -2*h - 2*v, -3*h = 2*h - 2*v + 14 for h.
-2
Let j = 37 - 35. Solve -2*d - 2*i = -12, -3*d - j*i + 21 = 2*i for d.
3
Let k = 11 + -8. Solve -5*m + 5*t - k*t + 1 = 0, 0 = 2*m - 3*t + 4 for m.
1
Let g be 172/14 - 6/21. Suppose -2*o + n + 3 = 0, -3*o + 5*o + g = 4*n. Let y = o + 0. Solve y*t + 5*p + 4 = 0, 7*p - 2*p = 0 for t.
-1
Let c be (-4)/18 + (-141)/54*-2. Solve 3*y - 2*y + 3*o + 7 = 0, 0 = -4*y - c*o - 14 for y.
-1
Let x(n) = n**2 - 5*n + 5. Let s be x(5). Solve 2*k + 5*l + 14 = -0, -2*l = s*k - 7 for k.
3
Let i = 1 - 0. Let f be 6*i*(-4)/(-6). Suppose 4*o = o. Solve -3*q + 20 = -f*g, -5*g + o*g + 6 = 4*q for g.
-2
Let m be 6*1/2 - 1. Suppose 0 = -5*b + b + 40. Let k = b + -7. Solve k*y = -5*h - 27, -4*y + 2*h - m - 8 = 0 for y.
-4
Suppose 4*c = -c + 20. Solve h - 4 = -z, -z + c*h = -0*h + 6 for z.
2
Suppose 5*b = 5*a + 90, 5*a + 3*b - 13 + 103 = 0. Let l = -14 - a. Solve -7 = v + v - u, 0 = v - 3*u - l for v.
-5
Let a = -1 - -6. Solve -2*m - 10 = 4*b, -4*m + a*b = -15 - 4 for m.
1
Suppose 0 = 9*g + 7 - 34. Solve -g*a + q = -2*q, 35 = -2*a - 5*q for a.
-5
Let b(g) = g**2 - 14*g + 2. Suppose 0 = -0*p - 5*p + 70. Let y be b(p). Solve 0 = -4*c + r - 3 - y, 2*c - 5*r = 11 for c.
-2
Let p(i) = -i - 17. Let r be p(-20). Solve b = 3*f + 15, -r*b + b = 5*f + 25 for f.
-5
Suppose 3*s = c - 2, 3 = 2*c + 5*s - 12. Solve 0 = -l - 3*o + 2*o - 1, o + 13 = -c*l for l.
-3
Let n(y) be the third derivative of -y**4/12 + 7*y**3/6 - y**2. Let k be n(9). Let z = 16 + k. Solve -2*i - 6 = -2*w, -i - 2*i - z*w = 17 for i.
-4
Let a = 18 + -15. Solve 3*g - 3*u = -12 - a, 5*g + u + 25 = 0 for g.
-5
Let n(m) = m**3 - 14*m**2 + 15*m - 22. Let g be n(13). Solve g*t + 5 = -3*x, 0*t + 5*t - 3*x - 14 = 0 for t.
1
Let s(u) = -u. Let j be s(-2). Let x(i) = 3*i + 4. Let q be x(j). Solve q = 2*r, 2*v - 7*v - r = -20 for v.
3
Let s(h) = 4*h - 4*h - 7 - h. Let l be s(-7). Solve 4*f + 2*g - 22 = 0, -4*g + 1 + 19 = l for f.
3
Suppose -3*s - 10 = -8*s. Solve -3*i + 3 = 3*o + s*i, -3*i - 5 = -5*o for o.
1
Suppose -4*m = -m + 9. Let i = 0 - 2. Let b be 14*m/(i + -1). Solve -24 = -5*x - f, 5*f + b = 2*x + f for x.
5
Let r = 2 + 1. Suppose r*u = 2*u + 4. Suppose -3*f = 5*q - 105, -u*q + f = -28 - 39. Solve q = 4*x + 2*m, 2*m - 2 = 3*x + x for x.
2
Suppose l - 3*z = -5, -5*l - 2*z = -14 - 29. Let n be (l/(-5) + 1)*-10. Solve -2*i + 4 = -2*p, 3*p + 8 = -n*i - p for i.
0
Let f = 2 + -2. Suppose f*a + 12 = 3*a. Solve 15 - 4 = -5*s - 4*j, -a*j = -4 for s.
-3
Let h be -6*((-4)/1 - 11/(-3)). Solve -h*y - f = -y + 2, -4*y + 5*f = -19 for y.
1
Let d = 15 + -10. Let i be -3 + (1 - 0) - -18. Suppose -u + d*u = i. Solve -36 = -u*k - 5*o, k = 3*o + 2*o - 16 for k.
4
Suppose 4*j = -1 + 9. Suppose z - 4 = -0*z. Let p be 1/1 - (-7 + z). Solve -f + p = 5*x + 2*f, 4*x = -2*f + j for x.
-1
Suppose 0 = -f - 3*f. Let u be 0/1 - f/4. Suppose -y - 2*z + 19 = -z, -z = u. Solve -d + 1 - 5 = -l, 3*l - y = -4*d for l.
5
Let n = 21 - 14. Let a = -5 + n. Solve 3 = 3*b - 4*d + a*d, 4*b - 4*d = 0 for b.
3
Let j(c) = c + 2. Let f be j(-2). Suppose 12 = 2*s - f*s. Let g = s - 5. Solve g = 5*h - 19, 3*h - 24 = -3*n for n.
4
Let d(t) be the second derivative of -t**3/6 - 7*t**2/2 - 9*t. Let g be d(-12). Solve -o = -5*l + 8, -4*o - 28 = -g*l - 11 for o.
-3
Let w = -55 + 59. Solve 0 = -w*z - 5*x + 21, -2*z + 6*z - 16 = -4*x for z.
-1
Let j be (-2)/5 - 51/(-15). Solve 5*y = 0, j*y = -0*d + 2*d - 10 for d.
5
Let f be 16/24 - (-13)/3. Suppose b = 3*o, f*o + 2*b = 7*b. Solve 10 = 5*c + 3*k - o*k, c - k + 6 = 0 for c.
-1
Let o(b) = 1 - 2 + 2*b + 0 - 2. Let s be o(4). Solve -5*w = -5*l - 10, s*l + 11 = 3*w + w for l.
-3
Let s(r) = r**2 + r - 3. Let q be s(0). Let a = 9 + q. Let i be ((-10)/3)/((-2)/a). Solve -2*c - 3*h - 4 = 0, -6*h + i = -5*c - 2*h for c.
-2
Let d be (-33)/(-3) + -6 - (0 - -1). Solve c = j + d*j + 25, 3*c = -4*j - 20 for j.
-5
Suppose -10 = -y - 6. Let n(z) = 3*z**2 + 1. Let q(j) = -2*j**3 - 2*j**2 - j. Let d be q(-1). Let x be n(d). Solve i = t + 7, x*i + y*t - 2 = 2 for i.
4
Suppose -a + 4*a = 174. Let p be a/18 + 16/(-72). Suppose p = 2*x - 7. Solve b - d - 13 = 3*b, -3*d - 35 = x*b for b.
-4
Let h be -1 + -2 + 1 + 3. Let a be h - (2 + -3 + 2). Let k be 2 + (6 + a)/(-3). Solve 0 = 4*m - u + 2, k = m + 3*m - 2*u for m.
-1
Suppose -4 = 4*p + 12. Let l be p/18 - 94/(-18). Suppose -6*w - 15 = -7*w. Solve 0 = l*f - 2*u + 3, -4*u - w = 4*f - 7 for f.
-1
Let n = -5 + 7. Suppose -5*g - 47 = -n. Let t be (-8)/36 - 29/g. Solve 0*o - 5*o = 3*q - 34, -4*o + 29 = t*q for q.
3
Let o be 40/7 + 6/21. Let d(v) = v - 3. Let b be d(o). Solve -4*z = -4*t + 12, -5*t = -b*z - 23 + 6 for t.
4
Let z = 6 - 4. Suppose -4*o - 5*h = 6 + 4, z*h + 4 = -o. Let v = -5 + 9. Solve 2*m + 12 = v*k, 0 = 4*m + k - o*k - 12 for m.
2
Suppose 4*f + 22 = 7*f + d, 5*f - 10 = 5*d. Suppose 20 = 5*k, 2*x + 3*x + 2*k - 83 = 0. Let s be x/9 - (-1)/3. Solve -2*l + 3*c = -13, s*c - f + 3 = -l for l.
5
Suppose k - 4 = -5*u, u - 5*k + 20 = -2*u. Suppose -2*a + 5 + 1 = u. Let h be (-73)/(-5) - (-6)/15. Solve -2*t + h = t - 3*b, -4*b - 15 = -a*t for t.
5
Suppose 4*h = -2*p, 2*h - 3*h = -p + 9. Suppose 9 = 3*d - p. Solve -d*l + 2 + 5 = t, 3*l = 2*t - 1 for t.
2
Let l be (-5)/2*(-2 - 0). Solve 31 = -l*q - 3*r, 3*q + 0*r - 4*r = -7 for q.
-5
Let t be (-206)/(-6) + (-7)/21. Suppose -3*n + 39 = -3*w, 0