 -17. Let v = z - -15. Solve -4*k - b - 17 = 0, -5*k - 3*b - 11 = v for k.
-3
Suppose 5*z + 5*g = -44 - 21, 4*z = -g - 40. Let v be (-1)/(z/24)*9. Let p be (2 + 10/(-8))*v. Solve -3*y + 8*y + 6 = 3*d, -5*d - y - p = 0 for d.
-3
Let y(o) = 2*o**2 - 2*o - 4. Let c be 1*2*(-3 - -1). Let i be y(c). Suppose 5 = -d, l = 4*d - d + i. Solve -2*b - 6*t = -t - l, -1 = -2*b - t for b.
-2
Let w = -22 - -26. Solve j + 0 - 11 = 2*l, -16 = w*l + 4*j for l.
-5
Let n = -8 + 10. Solve -n*c + s = -0 + 2, s - 2 = 5*c for c.
0
Let d = -91 - -111. Solve 0 = -5*h - 2*y - d, 2*h + y - 6 = -15 for h.
-2
Let h be -2 - (-4 + -3) - -2. Let d = h - 14. Let c = 9 + d. Solve c*p - 4 = 4*q, 2*q + 7 + 3 = 3*p for q.
1
Let s be (-3 - -2)/(1/2). Let v = -1 + s. Let h(j) = -2*j - 2. Let q be h(v). Solve q*y = 2*m + 3 - 5, -5*m = -15 for y.
1
Suppose -2*v - 2*d = 0, -4*d - 8 = v + d. Solve -2*n + 7 = -q, -1 = v*q + 9 for n.
1
Suppose 4*t = 6*t - 8. Solve 3 = d + 4*z, 2*d - 4 = -t*z - 2 for d.
-1
Suppose 2*c + 25 = 7*c. Let s(w) = -5*w + 1. Let r be s(-9). Suppose -3*p = 5*q - 115, q + p = -q + r. Solve -v - q = -c*h, 19 = 3*h - 3*v - 2 for h.
4
Let t be (-6)/4*4/(-3). Let k(d) = d**2 + 2*d + 24. Let n be k(0). Solve h - 2*b + 9 = t*h, 4*h + 5*b = n for h.
1
Let g = 4 - 0. Let r(m) be the second derivative of m**4/12 - m**3/2 - 2*m. Let d be r(g). Solve -5*k + k = 3*f + 16, 0 = d*k - 2*f - 4 for k.
-1
Let m(q) = -4*q + 4. Let l be m(3). Let z = l + 34. Suppose z = 5*p + 1. Solve -4*h = -5*t + 13 + 23, -2*t = p*h + 12 for h.
-4
Let k be (-3)/(15/4)*-5. Let i = -8 + 6. Let p = i + 4. Solve -p*v - 4*c = k, -c = -2*c - 1 for v.
0
Let d = -13 - -18. Suppose -d*c + 18 = -2*l, 16 = 2*c - l - 2*l. Solve c*j + 8 + 4 = 2*y, -2*y = 3*j - 7 for y.
5
Let v(l) be the first derivative of l**3/3 - 11*l**2/2 - 6*l + 4. Let d be v(12). Solve -5*i - 30 = -3*p, -p - 34 = 3*i - d*p for i.
-3
Let m be 0/1 + (0 - -3). Solve 5*z = 0, m*s - z + 6*z = 6 for s.
2
Suppose -11*w = -12*w + 12. Solve -2*g = l + 3*l - w, 0 = -2*g + 3*l - 2 for g.
2
Let b be (1 + -3)/(2/(-74)). Suppose -3*s + b - 5 = 0. Solve w - 4*n = -s, 4*n = 22 - 2 for w.
-3
Let u be -16 - -16 - (1 + 1). Let j = u - -8. Solve o = n + 8, -j = -2*o - 5*n - 18 for o.
4
Let b = 18 + -16. Suppose -22*d + b = -21*d. Solve 5*x + 2*h - 15 = 0, d*x + 4*h = x + 21 for x.
1
Let t(a) = a**3 - 2*a**2 - 3*a - 2. Let r be t(-2). Let p be r*1*(-2)/4. Suppose 3*y - y + i - 13 = 0, -6 = -2*i. Solve 4*s + p = y*d - 7, -4*s = 3*d + 5 for s.
-2
Let w(f) = f + 7. Let y be w(-8). Let g be y/4 - 15/4. Let c be 2/(-8) - 25/g. Solve 5*m + 21 = l, -5*m - 4*l = c + 10 for m.
-4
Suppose 3 = -4*p + 11. Suppose -62 = -4*i + 2*i. Let b = 49 - i. Solve 4*k - p*h - h = -14, -4*k = -5*h + b for k.
-2
Let u(a) = a**2 + 8*a + 4. Let j be u(0). Solve k = z, 0*k - 14 = j*z + 3*k for z.
-2
Suppose 4*x - 5*j - 15 = 0, -x - 2*x - 5*j - 15 = 0. Solve x = -4*b - 3*c + 14, 0 - 2 = -c for b.
2
Suppose -5*j + 5 = 5*u, 0 = -4*j + 5*j + 2*u - 2. Solve 2*b + b - 13 = r, j = 2*b - 2*r - 10 for b.
4
Suppose 4*z - 12*z + 40 = 0. Solve -3*l + 7 = -4*w - 3, -z*w = 2*l + 24 for w.
-4
Suppose 5*a - a - 32 = 0. Let t be 17/(-5) - a/(-20). Let r be 6/t - -1 - -5. Solve s - 4*x = -x - 6, 2*x - 4 = -r*s for s.
0
Suppose 272 = 13*o + 4*o. Let y be (-1)/((-1)/2)*2. Solve 0 = -4*j - k - o, 5*j + 16 = 2*k - y for j.
-4
Let m = -15 + 20. Suppose m = h - 0. Solve -5*t + 5 = -h*s, -3*t - 3*s - 19 = 2*t for t.
-2
Suppose -2*u + 5 = -3. Solve -4*f - 13 = u*n - 1, 4*f - 4*n - 28 = 0 for f.
2
Suppose 12 = 4*b - b. Let i be (10*1/(-3))/((-2)/24). Solve 5*n - 30 = -2*t, 4*t - i = -b*n - n for n.
4
Let f(g) = g**2 + 11*g - 12. Let s be f(-12). Solve -d + 5*y - 12 = 0, 0 = -s*d - d + y for d.
3
Let f(n) = 2*n - 8. Let k be f(6). Solve -2*s - k = -3*x + 5, 3*x - 15 = 0 for s.
3
Let s(i) be the third derivative of -i**6/120 - i**5/12 + i**3/3 + 3*i**2. Let f be s(-5). Let h = 28 - 10. Solve f*a + h = 5*m, 0 = -2*a - 5*m + 7 + 15 for a.
1
Suppose -5*t - 41 = k - 138, 5*t = 3*k + 109. Suppose -t - 20 = -4*a. Let n be 5/(-1)*(-4)/a. Solve -2*o = q + n*q - 11, -3*q - 1 = -o for o.
4
Let t = 5 + -2. Suppose -4*b = -3*b + t. Let y(j) = -j + 1. Let c be y(b). Solve -c*a - n = 25, -2*a = 3*n + 12 + 13 for a.
-5
Suppose 0 = 3*c - x + 4, -x = -5*c + 2*x. Let j = c + 0. Let w(b) = -b + 2. Let k be w(j). Solve 11 = -k*d - 4*v, 3*d - 4*v + 14 = 1 for d.
-3
Suppose 0 = -2*t + 2 + 2. Solve -4*x = t*v - 3*v - 16, 3*v + 15 = x for v.
-4
Let s(k) = k**3 + 9*k**2 - 2*k - 17. Let q be s(-9). Solve -3*d + q + 5 = -3*x, d = 3*x for d.
3
Let u(s) = s - 4. Let v be u(7). Let z = -1 + v. Suppose -z*h + 1 + 3 = 0. Solve -4*d = -t + d + 28, 4*t - 2 = -h*d for t.
3
Suppose 0 = -7*n + 4*n + 12. Suppose 0*x - 2*t - 16 = -n*x, -2*x + 2*t + 12 = 0. Solve 3*j + 15 = 0, -1 + 5 = 3*f - x*j for f.
-2
Let c = 9 - 5. Suppose -5*q + 4*v = 16, 5*q + v + 0 - 4 = 0. Suppose -t - t = q. Solve t = 3*a + 2*w + 7, -2*w + c*w + 12 = -4*a for a.
-5
Suppose -5*c + 5*x = 0, 2*c + 4*x - 12 = -0*c. Solve -5*m = 4*o - c, -4*o = -6*m + 3*m + 14 for m.
2
Let l be 3 - (-1)/(-3)*0. Suppose -2*o + 25 = l*o. Suppose o*n + 2*j - j - 24 = 0, n - j = 0. Solve n*v + 3 = -9, 5*v + 10 = t for t.
-5
Suppose 2*r + 3*k - 2 = -0*r, -r + 3*k = -10. Let j = 16 + r. Solve -2 = -h - a, -5*a + 0*a + j = -5*h for h.
-1
Let c = 4 - -7. Let l = 15 - c. Let b = l - -1. Solve w = 0, 3*g - b*g - w + 2 = 0 for g.
1
Let m = -1 - -21. Suppose -m - 5 = -5*b. Solve -p - 8 = 5*l, 0*l = l - b*p + 12 for l.
-2
Let c be (-2)/(-7) - (-104)/28. Suppose c*k + 3*r - 3 = 0, -3*k = 2*k - r + 1. Solve k = -4*n + 5*b - 3, 2*n = 3*n - 2*b for n.
-2
Let k(g) be the second derivative of -g**3/6 - g**2 + 3*g. Let p be k(-6). Solve 4*r + 21 = -c, -c - 10 = p*c + r for c.
-1
Suppose q - 6 = -q. Solve -20 = 4*u - r - 4*r, -q*u = -4*r + 15 for u.
-5
Suppose -2*j = 4*y + j, 2*y - 4*j - 22 = 0. Solve 5 = -2*h - 4*d + y*d, 2*h + 4*d + 14 = 0 for h.
-1
Let a be 4/(-6) + (-8)/(-3). Let p be 2/(-3) - 6/(-9). Solve -2*j + 4*c = 0, p = j - a*j - 5*c + 7 for j.
2
Let y be 5*(1 - (-1 - -1)). Suppose 0 = -x - 2*a + 10, -3*x - 2*a - y + 19 = 0. Solve 2*g - 5 = 3*u - 0, 0 = 2*u - x*g + 4 for u.
-1
Suppose -t + 6*t = 0. Let k = t + 1. Let o be k/4 + (-11)/(-4). Solve -5*w - 19 = 4*m, -o*w - 5 - 4 = 0 for m.
-1
Suppose 1 - 31 = -5*o. Solve -o*b + 4*b = -3*s - 5, -s - 5*b = 30 for s.
-5
Suppose -3*r - 3 + 78 = 0. Let k = 59 + -42. Solve -3*m - v = 3*v + r, m - k = 5*v for m.
-3
Suppose 3*a - 4*t = -20, -2*a - a - 56 = 5*t. Let c be ((-6)/5)/(4/(-10)). Let m = c - a. Solve -4 = -2*d - v, 17 = 4*d - 4*v - m for d.
4
Let n(s) = -s**3 - 5*s**2 - 5*s + 1. Let y be n(-4). Let p = 138 + -89. Let d = 69 - p. Solve 0 = z - 4*m - 25, -y*z - 4*m = -3*m - d for z.
5
Let j(c) = 26*c**2 - c. Let z be j(1). Solve 5*w + h = 22, -2*w + 0*h + 5*h = -z for w.
5
Let g = 9 - 0. Solve -g - 2 = 3*o + y, 5*o - 3*y - 5 = 0 for o.
-2
Let z be (60/9)/((-2)/(-3)). Let l = -8 + z. Solve -2*m - g + 1 = l*m, 4*m - 3*g + 3 = 0 for m.
0
Suppose 0 = 2*g - 11 + 37. Let n = 21 + g. Solve 3*l = a - n, 2*l + 3 = 3*a - 0 for a.
-1
Let f = 3 - 1. Suppose -f*r - r = -6, t - 11 = -3*r. Suppose 12 = 3*n + n. Solve -t*o = 5*v + 9 - 29, o = n*v + 8 for o.
5
Let s be 34/4 + (-1)/2. Solve d + 15 = -5*j, s*d - 9 = 3*d - 4*j for d.
5
Let s = -1 - -4. Suppose c + 0*a = a + 14, -3*a = 4*c - 56. Let i be (-16)/(-28)*c/4. Solve 0 = -g + 2*z + s, -i*g + 0*g = z + 4 for g.
-1
Suppose j = 2*q + 6, -q + 1 = -2. Let w = 6 + -4. Solve -3*p + n + 19 = 0, -w*n - n = j for p.
5
Suppose 16 = 3*l - 2*w, -w + 1 = 4*l - 2. Solve -3*x - l*x - 2*z = -1, 0 = 5*z - 15 for x.
-1
Suppose 2*v = -2*v + 20. Let n be (-1)/((-4)/6)*-6. Let o = -5 - n. Solve 3*w = a + 1 + 2, o*a - 5 = -v*w for w.
1
Suppose 0 = -v - 0*v + 4. Solve -q + v*q - 3 = 4*d, 2*q + 18 = -4*d for d.
-3
Let x(b) = b**2 + 5*b + 4. Let l be x(5). Let a = l + -24. Solve -5*t = -25, s - 5*t + a = -0*s for s.
-5
Let q be 5/10*(2 - 2). Let o be (q - -1)/(8/40). Solve 0 = 3*h - 12, o*d + 2*h = 6*h + 4 for d.
4
Suppose -o + 15 = -2*s, 0 = -4*o + 2*s - 5*s + 5. Solve o*l - 10 = -5*i, 2*i - 3*l + 21 = -0*i for i.
-3
Let p(m) = 3*m - 6. Let u(i) be the third derivative of i**5/60 + 5*i**4/24 - 2*i**2. Let f be u(-6). Let w be p(f). Solve c + o = 8,