*h - 2*d = -b, -4*d - 12 = 5*h for h.
-4
Let s = -7 + 9. Solve 3*j = -s*j, 2*d - 4 = -5*j for d.
2
Let o be 1/(0 - (1 - 0)). Let i be 6/(-24) + o/(-4). Let k be -1*((i - 3) + -1). Solve v = k*v - l - 12, 3*v = 2*l + 15 for v.
3
Suppose -j - 2*j = -6. Suppose 0 = 3*c - 4*a - 43, -5 = -c + j*a + 12. Solve -2*f = -5*h + c, -2*f + 2*h - 8 = f for f.
-2
Suppose -7 + 37 = 5*n + 2*v, -5*n = 5*v - 45. Solve -4*z + 0*j - 24 = -n*j, -5*z - 4*j = 3 for z.
-3
Let o(d) = d**2 + d - 2. Let a be o(0). Let l = 3 - a. Solve -l*v + 23 = m, -3*v + v + 16 = -3*m for v.
5
Let p(r) = -r + 11. Let u be p(8). Solve -f + u = -4*i, -6*i + 7 = -3*f - 2*i for f.
-5
Let i be -1 + (-4 - -3) - -4. Suppose -2*z + 72 = 3*t, -3*t + 4*z + 24 = -2*t. Solve -i*g = -5*a + t, 5*g - 9 = -4*a - 3 for g.
-2
Let t(c) = c - 2. Let l be t(4). Suppose -v - 2 = -5. Suppose -v*d - 24 = -3*k, d - 4*d = -2*k + 20. Solve l*i - 11 = -i + k*z, 14 = 2*i + 4*z for i.
5
Suppose 45 = 2*c + 3*c. Let o = 9 - c. Suppose o*n - 3*n = -12. Solve 16 = -4*f + n*z, -2*f - 3*z - 8 = -0*z for f.
-4
Let l = 89 + -84. Solve j + 3*t + 14 = -j, 2*j = l*t + 18 for j.
-1
Let k be 4 - 1*(1 - 2). Solve -6 + 31 = -k*b, -3*j - 37 = 5*b for j.
-4
Let v = 8 + -4. Let j = 2 - -3. Let w be 12/(-7)*35/(-2). Solve v*i + j = -5*s, s + w = -4*s + i for s.
-5
Let c be 3/4*(5 + -1). Solve -2*h = -4*y, 0 = y + c*h - h - 10 for y.
2
Suppose 6*o = 61 + 71. Solve -o = -4*d + 4*x - 5*x, -3*d = -4*x - 7 for d.
5
Suppose 5*s - 59 = -19. Suppose k + 5*u - 22 = 0, -4*k - s = -u - 3*u. Solve k*y = 2, 4*i + 2*y - 3 - 7 = 0 for i.
2
Let a be 1/(((-3)/(-39))/1). Let p = 13 - a. Solve p = t - 4*t - 5*r - 10, t - 3*r - 6 = 0 for t.
0
Suppose r = -4*p, 0 = -2*r - 2*p - p - 20. Let s = -8 - r. Solve -w + 10 = -5*l - 12, 0 = 3*l + 2*w + s for l.
-4
Let d be (-35)/21*3/(-1). Solve -3*w + 7 + 9 = -v, 0 = -w + d for v.
-1
Let a(z) = -z**3 - 20*z**2 + 21*z + 3. Let u be a(-21). Solve h - 3*k + 17 = -0*k, -4*k = u*h - 1 for h.
-5
Suppose x + 4*r - 4 = 0, r + 0*r - 16 = -4*x. Solve -4*j = -4*l + 8, 0 = -2*l + x*j - 3*j + 5 for l.
3
Let d = -9 + 13. Suppose 6 = -t + d*t. Solve 5*r - r = -2*k, t*r + 12 = 2*k for k.
4
Let a be 2/8 - (-17)/(-4). Let b(s) = -s**2 - 5*s - 1. Let k be b(a). Let y(x) = -x + 2. Let z be y(-4). Solve -2*f = -n - 6, 4*f - k*n - 8 - z = 0 for f.
2
Suppose -2*m - 2*m = -2*y + 36, y + m - 9 = 0. Solve t + 4 = -4*f, -2*t - y + 4 = -2*f for f.
0
Let n(z) = -z + 11. Suppose -7*o = -3*o + 12. Let m be 0 - (-6 - o) - -6. Let r be n(m). Solve 4*i = t - 1 - 0, 0 = 4*t - r*i - 18 for t.
5
Let r be (-6 - -11) + (-2)/2. Solve 0*z + 17 = -b + r*z, 19 = -3*b + 4*z for b.
-1
Let d = -90 + 92. Solve 0 = -d*o + 4*w + 8, 0 = 2*o + 5*w + 25 - 6 for o.
-2
Let j(k) = k + 1. Let i be j(1). Let x be ((-6)/6)/(i/(-10)). Solve 4*v + 1 = 17, -n + x*v - 16 = 0 for n.
4
Suppose -35*p + 39*p = 16. Solve -2*n - 33 = p*g - 9, -18 = 2*g + 4*n for g.
-5
Let n(z) = -z - 3. Let i be n(-3). Let m = 0 - i. Solve -5*a = 5, m*b = b + a - 4 for b.
5
Suppose -n = -3*w - 6, -w + 3*w = -3*n + 7. Let b be (2/(-6))/(n/(-45)). Solve -5*g = -3*q + b*q - 3, -2*g = 4*q + 2 for q.
-1
Let d(k) be the first derivative of k**4/4 - k**3 + k**2 + 2*k + 5. Let i be d(2). Let s = -1 - -4. Solve -z + 3*z - i*h = -2, -s*h = 0 for z.
-1
Let s(u) = 13*u**2 - 24*u + 15. Let z(o) = 9*o**2 - 16*o + 10. Let t(n) = 5*s(n) - 7*z(n). Let r be t(6). Solve 4*k + r = -3*a, -3*a - 18 = -2*a + 3*k for a.
-3
Let g = -51 - -51. Solve g = -l - 3*v, 3*v = 3 - 0 for l.
-3
Let v be (5 + 1)*1/2. Let k(n) = n**3 - 3*n**2 + n - 3. Let i be k(v). Suppose 2*g + i*g - 10 = 0. Solve -11 = g*j - 3*l, -j - 3 = -2*l + 2 for j.
-1
Let q = -23 - -26. Solve -o = -5*v + q, 12 = 4*v - 5*o - 3 for v.
0
Let p be 51/12 + 3/(-12). Solve 3*n + 3*f - 24 = 0, 4*f - 23 = -p*n + 3*n for n.
3
Suppose -23*x + 21*x = -10. Solve x*b - 2 = -4*l - 0, 4*l = -4*b for b.
2
Suppose 2*m + 3*m - 10 = 0. Solve f + m = n, 3*n - 3*f = -2*f for n.
-1
Let y be (-3)/2 - 3/(-6). Let j = y + 16. Solve 7*k - 15 = 2*i + 2*k, -2*i - 5*k + j = 0 for i.
0
Let c = 9 + -7. Suppose -t + c = -4. Solve t = -3*f - r, -2*f - 2*r - 11 = r for f.
-1
Suppose -5*w - 2*s = -0*s - 57, 4*s - 15 = -w. Solve -8*x = -4*x - 5*t - w, 4*x - 14 = 2*t for x.
4
Let s = 8 + -8. Suppose s = -g - 2*g + 6. Solve 0*v - 5*v + 8 = -g*b, 5*v = -4*b - 16 for b.
-4
Let c = 27 + -20. Solve -4*y + c = -y + 2*b, -2 = -b for y.
1
Suppose 2*a = s + 4 + 2, -a + 4*s - 11 = 0. Solve -w - 5*f = -10, 0 = a*w - 2*f - 2*f + 37 for w.
-5
Suppose 0 = -61*w + 56*w + 10. Solve -m + 5*m = -5*s - 3, -w = m for s.
1
Let z(h) = -h**2 - 10*h + 13. Let t be z(-11). Suppose 4*g = 4, -t*g + 9 = 2*f + 3*g. Solve 0*n + 5*n + y + 1 = 0, -2 = -n + f*y for n.
0
Let q(l) = -l**3 - l**2 - 3*l - 2. Let y be q(-2). Suppose -c + y = 1. Solve h + c = b, -7*h = -3*h - 5*b + 33 for h.
-2
Suppose 4*w + 16 = 5*j, -j + 3*w + 12 = -2*j. Suppose 5*l = -j*l + 10. Solve -2*a + 4 = -2*k, -l*k + 2*a = -2*a + 8 for k.
0
Suppose 25 = q - 6*q. Let k be ((-5 - -2) + 2)*q. Solve -k*s - 2*a + 5 = 0, -2*s - a = -s + 2 for s.
3
Let s(p) = p**3 + 12*p**2 + p + 15. Let n be s(-12). Let l = -36 - -81. Solve -n*w + 5*v = w + l, -w + 3*v - 20 = 0 for w.
-5
Suppose -43 = -5*y + 17. Suppose -y - 3 = -c. Let i = c + -10. Solve i*v - v = -5*j + 6, 2*v - 4 = -3*j for v.
-1
Let s = 21 - 13. Suppose -4*m = -s*m. Solve -r + 5*i + 3 = m, 4*r - 3*i + 4 = i for r.
-2
Let d(x) = x - 6. Let a be d(10). Solve n + a*f = -3 + 21, 4*n - 4 = f for n.
2
Let h(j) = -j**3 + 4*j**2 - j - 1. Let c be h(3). Solve -t - 4*o - 5 = 0, 0 = -0*t + t + 3*o + c for t.
-5
Let u be (-6)/(-1) + 3/(-1). Let v = 1 + 3. Solve -j + 2*x - v = j, -u*x + 6 = -5*j for j.
0
Let i(n) = n**2 + 7*n + 12. Let w be i(-4). Solve 2*g - 6 = 0, 5*g - 17 = -w*h + h for h.
-2
Let h be (1 + 1)/((-4)/(-10)). Let s be 1 - ((2 - h) + -1). Solve s*n + 2*f + f = -22, -2*f + 12 = -2*n for n.
-5
Suppose 2*w - 6 = -0. Solve 0 = a + w*a, 3*p + 5*a - 15 = 0 for p.
5
Let c(f) = -f**3 - 13*f**2 + 14*f + 3. Let o be c(-14). Solve 0 = 2*h + 4*j - 8, -h + o - 2 = -j for h.
2
Suppose 0 = -3*i + 3*a + 2 + 1, 2 = 2*a. Let p be -1 + i - (1 - 13). Solve -5*r + o = 6*o - 25, 5*r + 2*o - p = 0 for r.
1
Suppose -17*m + 19*m = 16. Suppose -z + 3*o - 1 + 4 = 0, 0 = -2*z + 2*o + 6. Solve -2*u + z*u - 4*i = -m, -4*u = i + 15 for u.
-4
Let l be 316/16 - 1/(-4). Let c be (-1)/(1/(-2)) + 0. Let v(k) = 2*k**3 - 2*k**2 - 2*k. Let p be v(c). Solve 0 = -5*y + l, p*q - y = y - 16 for q.
-2
Suppose -8*u - 112 = -24*u. Solve 5*z + 13 = -4*g, 6*g + z - u = 2*g for g.
3
Let s = -14 + 21. Suppose -4*q + 23 = s. Solve -q*w + 4*g = -22 + 6, w + 3*g + 4 = 0 for w.
2
Let w(q) = q**2 - 5*q + 6. Let l be w(3). Solve l*b - 8 = 4*b, 3*r - b + 10 = 0 for r.
-4
Let p = -15 - -16. Suppose -5*z = -9 - p. Solve 4*h - 4*g = -24, -z*g + 15 = -h - 4*h for h.
-1
Let m(t) = -t - 1. Let a be m(-6). Suppose -2*z + 5 + a = 0. Let b = -3 + z. Solve 4*s - b*u + 4 = 0, -6*u = -2*s - u - 2 for s.
-1
Let b = 78 - 46. Let d be ((-2)/4)/((-4)/b). Solve 0 = d*y - h + 26 - 7, -5*h = -y for y.
-5
Let d = -11 - -21. Solve 2 + d = -3*j, -3*j = -4*q + 28 for q.
4
Suppose 5*p - 2*p = 0. Suppose 3*i - 3*t + 3 + 0 = p, 4*t = -4. Let k = 10 + i. Solve 4*y - 2*a - 12 = 4, a = -2*y + k for y.
4
Suppose 0*o - 3*d + 32 = 4*o, 5*d = -5*o + 45. Suppose -8*j + 3*j + 20 = 0. Solve 0*v + 2*v = j*c - 10, 0 = -o*v + 5*c for v.
5
Let u(a) = a + 5. Let i be -7 + -1 - 4/(-2). Let v be u(i). Let f be (0 - v)/(-1) - -16. Solve 3*b + f = -0*c + 3*c, b = -2*c + 7 for b.
-1
Suppose -2*c - 5*r + 3*r = -128, -r = -3*c + 172. Let f = c + -15. Suppose -y = 2*y - 6, 0 = 4*x - 2*y - f. Solve 3*j - x = 0, 0*j = 2*w + 2*j for w.
-4
Let q(i) = i**3 - i**2 - 4*i + 5. Let m be q(0). Solve 5*k + 2*v = 4, 5*k + 5*v + 0*v + m = 0 for k.
2
Suppose -2*c = 6 - 2, -t + 4*c + 6 = 0. Let w be t*(0/(-1) + -2). Solve -2*f = 4, -4*b + 8*f + 28 = w*f for b.
5
Let z be 16/10 + (-2 - 96/(-40)). Solve 3*w + z*a + 4 = -0*a, 8 = -4*w - 2*a for w.
-4
Let w(k) = -1 + 5*k**2 + 4*k + 0*k**2 + 0*k**2. Let o be w(-3). Let h = 62 - o. Solve 4*u - 3*i = 1 + 4, 3*u + 3*i = h for u.
5
Suppose -11*t + 4*t = 0. Solve 4 = -2*g + 2*w, 5*g + 2*w + 7 - 32 = t for g.
3
Let k be ((-4)/(-8))/((-2)/16). Let s(b) = b**2 + 3*b + 1. Let h be s