) + 2. Solve d = -4*h + 7, 0 = -x*d - 3*h + 10 + 2 for d.
3
Suppose k + 3*b = 26 + 1, -147 = -5*k - 3*b. Let l be k/5*(-1)/(-2). Let d(g) = g + 2. Let x be d(l). Solve -2*h + 5 = 2*t - 3*t, -x*h + 5 = -5*t for t.
3
Suppose 8*d - 10 = 6. Solve -d*z + 5*z + 2*x = 8, 3*z + 3*x - 9 = 0 for z.
2
Suppose 4*l + 18 - 6 = 0. Let i be ((-32)/(-12))/((-2)/l). Let p = -28 - -43. Solve i*y - 3*y + 12 = -3*w, -4*w = y + p for w.
-3
Let f be 5 - 2 - (0 - -1). Solve 8*o + 31 = 3*o - f*k, -19 = 2*o + 3*k for o.
-5
Let z(w) be the second derivative of w**4/12 + w**3 + 2*w**2 + 2*w. Let x be z(-6). Solve x*h + 3*i = 31, -3*h + 5*i = h + 9 for h.
4
Let h(s) = s**3 - 3*s**2 - 6*s + 8. Let l(u) = -u**3 - 4*u**2 - u. Let b be l(-4). Let f be h(b). Solve f = -2*v - 2*v + 3*j + 2, -j = 3*v - 8 for v.
2
Let t(i) = -i**2 + 2*i + 26. Let d be t(6). Solve 0 = -3*l + n + 9, -5*l + d*n - n = -15 for l.
3
Let v be (-6)/(-4)*228/18. Suppose v = 5*b + 4. Solve 4*u = b*f, 0*f + u = -2*f for f.
0
Suppose -m + 3*y = -6*m + 30, 0 = m - 3*y + 12. Solve m*w + 3*i - 2 = -i, -3*w - 3*i = -3 for w.
2
Let s(x) = x**2 - x - 2. Let v be s(-2). Suppose 48 + 64 = 4*i. Suppose -v*k + 6*k = i. Solve -b = -3*n - 10, -k = 9*n - 4*n - b for n.
-2
Suppose 0 = 5*j + i - 21, 0*j + 2*j - 3*i - 5 = 0. Let v = 16 - 10. Suppose 0 = -2*m + 3 + 1. Solve j*u - 3*p + m*p = v, -p = -u for u.
2
Let j be ((-1)/(-2))/(3/12). Solve k - 5*m - 20 = 0, j + 23 = -4*k - m for k.
-5
Let n(l) = 9*l**2 - 3*l + 1. Let w be n(2). Let x = -11 + w. Suppose 0*d - 5*d = -x. Solve 0 = 3*t - 3*q - 9, t = d*q - 4 + 1 for t.
5
Let f be 6*3/6*1. Suppose -2*k + 22 + 18 = 5*c, -33 = -3*c - f*k. Suppose 2*g + 2*x = -c, 5*g + x + 2 - 7 = 0. Solve 2*l + 16 + 6 = -4*z, -23 = g*z + 5*l for z.
-4
Let d(g) = -2*g**3 - 18*g**2 - 5*g - 20. Let y be d(-9). Solve -5 = 2*c - 2*n + 3*n, 0 = -5*c + 5*n + y for c.
0
Let n be (2/(-6))/((-14)/924). Let y be 70/n + (-22)/121. Solve 2 = -y*c - 2*w - 4, -5*c = w + 17 for c.
-4
Let k = 2 - 1. Let d(c) = -c - 3. Let t be d(-5). Suppose -k = -v + t. Solve -v*l = 3*g - 30, 2*g - 8 = -4*l + 22 for l.
5
Let y(l) = l - 10. Let p be y(12). Solve c + 4*q = p, 4*q - 3 = 1 for c.
-2
Let s = -3 + -4. Let d(i) = -2*i - 8. Let g be d(s). Solve 0 = 4*m + 3*a + 32, 0 = 2*a - g*a - 16 for m.
-5
Suppose -5*x + 3*o - 2 = 0, -3*x + 3 = 2*o - 11. Solve 2 = x*q - q, 3*q + 9 = -5*s for s.
-3
Suppose 0 = -2*i + 6 - 0. Suppose -3*v + 2*b - 6 = 0, v + b + i = 6. Let u = v - -4. Solve 2*p = -2*o - u, -4*p + 3*p = 2*o for p.
-4
Suppose 0 = -4*z + 3*i - 6, 0*z + 4 = -5*z + 2*i. Solve 2*j + 4 = -5*d + 16, -d + 2*j = z for d.
2
Suppose -2*z = b + 2, -b + 3*z - 9 = -4*b. Let q = -4 + b. Solve -m = -3*m - w, -q*m - 5*w = 12 for m.
2
Suppose 7 = 4*o - 1, 3*k + o - 8 = 0. Let l(m) = m**2 + 24*m - 23. Let y be l(-25). Solve -3*d + 12 = 0, k*d - 7 = -3*q - y*d for q.
-3
Suppose 2*v - 5 = 11. Let c = -4 + v. Solve -20 = -c*g - z, 12 = 6*g - g - 2*z for g.
4
Let v be (8/6)/((-1)/3). Let s = -4 - v. Let x = 2 + s. Solve 5*q + d + 1 = -0, 11 = -3*q + x*d for q.
-1
Suppose 0*d + 2*d = 8. Solve -2 = 2*o, 0*o = -2*j - d*o - 10 for j.
-3
Let k(n) = -n + 14. Let d be k(6). Suppose 4 + d = a. Solve 0 = -3*b - 3*x - a, 4 - 16 = 5*b + x for b.
-2
Suppose 2*b + 25 = 5*r, 3*r - 13 = -2*b + 2. Let c = 5 + -5. Let s = c + 0. Solve -5*l - 2*z + 15 + r = 0, s = -4*z + 20 for l.
2
Let v be (-22)/(-18) + 10/(-45). Suppose 0 = -5*j - 2*x + 21, x - 4 = -v. Solve b + j = 0, -2*u - 5*b - 15 = 2*u for u.
0
Let n(s) = -2*s**3 + 4*s**2 - 4*s + 2. Let v be n(2). Let o = -4 - v. Solve -3*y = 4*q + q - o, -4*y = -3*q + 7 for q.
1
Let a(p) = p + 4. Let u = 18 + -20. Let r be a(u). Let s(x) = -x**3 - 4*x**2 + 5*x + 4. Let i be s(-5). Solve 0 = -n + 3*o - 9, 0 = r*n + 2*o - o + i for n.
-3
Suppose -5*q + 21 = -4*q. Suppose -4*g - 2*z = -3*z - 7, -5*g + 2*z + 8 = 0. Let y = g + 2. Solve -5*x + c + q = 5*c, -8 = -y*x - c for x.
1
Suppose 0 = -3*m + 4*u + 108, 2*m + 3*u - 7*u = 76. Solve 4*y + m = -4*p, -y - 4*p - 2 - 18 = 0 for y.
-4
Suppose 19 = 5*p + x, -4*x = -2*p + x + 13. Let v be 215/7 - (-34)/119. Solve 5*s = -25, z + p*s - 7 + v = 0 for z.
-4
Let u = 29 - 18. Let t = u - 11. Solve t*s - 4*s = 0, 2*h + 8 = 3*s for h.
-4
Let h be 3 + -6 + (13 - 0). Solve 0 = -4*y + 5*b + 2, 5*y = b + h + 3 for y.
3
Suppose -8*v = -3*v. Let t(q) be the first derivative of -q**2/2 + 11*q + 2. Let m be t(8). Solve -2*w + 1 = -3*k, v = -k + m*w - 6 + 1 for k.
1
Let t(i) = -i + 10. Let d be t(7). Let o(f) = -3*f - 1. Let h be o(d). Let y = -6 - h. Solve y*n + n + q - 10 = 0, -4 = -2*n - 2*q for n.
2
Suppose -c + 0*c = 0. Suppose -2*i + 6 + 26 = c. Solve -2*d + 3*z - 6 = i, 6 = 2*d + 4*z for d.
-5
Let z be 0 + -1 - (-3 - -3). Let n be (z - -2)/(1/3). Solve 4*y = -n*x + 26, -4*x + 32 - 14 = 2*y for y.
5
Suppose 0*r - 3*r - 12 = 0. Let a(n) = n + 6. Let v be a(r). Let w be -1 + 2 + 2/v. Solve w*g + 1 = -1, 4*l + 11 = -3*g for l.
-2
Let v = 6 - -19. Suppose o - v = 6*o. Let q = o + 8. Solve q*f - 4 = -3*r + 5, -2*r = -f + 6 for f.
4
Let p(k) = k**2 - 10*k - 4. Let w be p(10). Let x = 8 - w. Solve -4*q + x = -z, 2*q - 2*z + 3 = 3*q for q.
3
Let m = -2 - -5. Suppose 9 + m = d. Suppose 3*s + 5 = i + 21, 4*i - 11 = -3*s. Solve -4*p + 1 = 3*t, 7 + d = 3*t - s*p for t.
3
Suppose 15 + 5 = 5*v. Solve -v*y = -y + 2*q + 5, -3*y + 3*q = 15 for y.
-3
Let m(q) = 3*q + 1. Let i be m(1). Suppose 2*s + 2*r - 16 = 0, -5*s - i*r + 30 = -r. Solve -j + 5*y + 12 = 0, -4*y + 2*y = -s*j - 3 for j.
-3
Let j be (1 - 0)/((-5)/(-20)). Solve -p + 3 = -3*m, -j*m = 4*p + m - 12 for p.
3
Let q = 167 - 153. Solve -4*h + 12 = -2*t + 4*t, -t + q = 4*h for h.
4
Suppose -2*n + 6*n - 4*i + 4 = 0, -5*n = 3*i - 27. Solve 2*c = -4*q, n*c - 5 = -4*q + 3*q for q.
-1
Let y be -10 - -3*(-3)/9. Let i = y + 15. Solve i*s = -3*l - 2 + 12, 5*s + l = 18 for s.
4
Let j(n) = -3 + 4 + n - 3*n. Suppose 5*s = 3*g + 23, 2*g - 14 = 4*g - 3*s. Let z be j(g). Solve -t - 1 = -5*y + z, -4*t = -y - 3 for t.
1
Let u(t) = t**3 - t**2 - 2. Let v be u(2). Suppose v*c - 18 = -c. Solve -j = 3*o + 8, -5*j - c = o + 20 for o.
-1
Let m(p) = p. Suppose 3*c = 5*c - 16. Let y be m(c). Solve y = -2*v + 2*h, -3*v - 2*h + 2 = 9 for v.
-3
Suppose -2*n + 12 = -96. Let s be 1068/n + (-6)/(-27). Solve -5*y - s = a, -4*a + 4*y + 15 = -5*a for a.
5
Let c = -4 + -5. Let w(t) = -3*t - 12. Let u be w(c). Let p = u + -11. Solve 0*y - 3*o - 4 = 4*y, -2*y - p*o = -8 for y.
-4
Suppose -4*r - 5*w + 0*w = 3, 3*r + 2*w = 3. Suppose -6 - 6 = -3*k + 3*p, -k = -r*p - 8. Solve -3*z + 2 = 2*q - 7*q, 0 = 2*q - 4*z - k for q.
-1
Let s(w) = w**2 + 3*w - 23. Let k be s(-7). Let t = -6 - -22. Solve t = -3*l - k*g, 0 = -4*g + 5 - 25 for l.
3
Let q = -4 - -9. Solve 0 = 2*d - 3*b + q, 0 = d + d + 2*b - 20 for d.
5
Let j(d) = d**3 - 6*d**2 + 3*d + 2. Let w = 5 + 1. Let p be j(w). Let v = 135 - 132. Solve -4*c - 4 = -v*c - i, 5*c = 3*i - p for c.
-4
Let b(q) = -q**2 + 8*q - 10. Let l be b(7). Let h be (4/l)/(4/(-6)). Let m be 1/(-2) + (-10)/(-4). Solve -2*c = -h*i, -2*c + 2*i - m = -c for c.
2
Let w be (-4)/(6/(-1 - (-52)/(-8))). Let l = -1 - -1. Suppose l*q - 12 = -4*q. Solve 0 = -w*h + q*j - j + 18, j - 6 = -5*h for h.
2
Let t(k) = -2*k + 12. Let y(x) = -x**2 + 6*x + 1. Let l be y(5). Let s be t(l). Solve -4*q = s, -4*h = -5*q - 2 + 10 for h.
-2
Let b be 5 - (-4 - -13) - -7. Solve b*w - 3*y + 16 = 2*y, 2*w - 3*y + 10 = 0 for w.
-2
Suppose -z - 8 = -5*z. Let j = -11 - -5. Let h be (-15)/j + (-1)/2. Solve -4*v + 2 = -4*c - z, -h = 4*c - 3*v for c.
1
Let r be 2/(5*3/(-6))*-20. Solve -10 = 4*z + 4*x - 2, 2*z + 5*x + r = 0 for z.
2
Suppose -4*y + 51 + 9 = 0. Solve 5*b - 2*r = y, 0 = -2*b + 5*r + 18 + 9 for b.
1
Suppose -8 - 1 = -3*z. Suppose 4*h = 3*p - 4, -3*p = -0*h - 2*h + 4. Let a = h + 6. Solve 0*o = 2*w + 2*o + 14, -a*w + z*o = -11 for w.
-2
Let d = 31 + -27. Let z(h) = -h**2 + 7*h + 5. Let o be z(7). Solve -d*w + 2*w = 4*i - 22, o*w - 28 = -i for w.
5
Suppose -g = 3*g - 2*l - 2, 7 = 3*g + 4*l. Let c(q) = 12*q - 1. Let s be c(g). Solve 0 = -4*z - 5*p + 32, 3*p + 2*p - s = 3*z for z.
3
Suppose 3*l = -2*s + 17, 3*s - 29 = -5*l - 0*s. Suppose 0*b - 3*b - 40 = -5*w, -4*b = 0. Suppose 3*y = l*y - w. Solve -2*z + 8 = y*f - f, 8 = 3*f + 2*z for f.
0
Suppose 6*a - 2*a - 240 = 0. Suppose 5*n + 4*p