5. Let f = m - -16. Solve 2*z - 1 - 5 = f*s, 1 = s + 2*z for s.
-1
Let l be (-22)/(-1) + (-4 - -6). Suppose 0 = -4*d - b + l, -3*b - 1 = -2*d - 3. Suppose d*r - 8 = 2. Solve 2*f + c = 0, f + r*c - 1 = -4 for f.
1
Let x = 260 + -257. Solve 5*c - 10 = o, x*o + 14 = -0*o - c for o.
-5
Let h(o) = 0*o**3 - 14 + 3*o**3 + 16 - 2*o**3 + 8*o**2. Let g be h(-8). Solve 3*q + i = 0, 4*q = 5*q + g*i + 5 for q.
1
Suppose -t + 0*a - 15 = 3*a, 0 = 3*t + 4*a + 35. Let z = t + 11. Suppose -y + b = y - 6, -8 = -3*y + z*b. Solve -5*x + 6*p + 2 = 2*p, 2*p + 4 = y*x for x.
2
Let o = -171 + 174. Suppose 5*k - 2*k - 18 = -o*a, -2*a + k + 9 = 0. Solve -x - 8 = -5*t + 5, -15 = -a*t for x.
2
Suppose -4*w + 50 = -3*h, 51*h = -5*w + 52*h + 57. Solve 4*a - 16 = -f, -3*f + a = -7*f - w for f.
-4
Let c(s) = s**2 - 12*s + 2. Let q be c(12). Solve d = 5*t - 1, q*t + 2 = d - 0*d for d.
4
Suppose 5*x + 25 = -5. Let w(m) = -m**3 - 8*m**2 - 15*m - 5. Let p be w(x). Solve -o + 3*i - 11 = 3, 0 = 2*o - i + p for o.
-5
Suppose -5*b - 22 = -32. Let s(y) be the first derivative of -y**2 + 4*y + 1. Let g be s(b). Solve 6 = -2*d + 2*h, -d + g*h = 4*h - 22 for d.
2
Let v be 3/5 + (-13)/(130/(-4)). Solve 0 = t - 2*d - v, 0*d + 13 = 4*t + d for t.
3
Suppose 13*x = 552 - 331. Solve 5*d - 2*k - x = 0, -d + 5*d - 11 = -k for d.
3
Let i = 1 - -7. Suppose 0 = -r + 5*p - i, 6 = -3*r + 4*p + 4. Let a = -5 - -7. Solve a*l = 4*l - 2*h - 4, 0 = -2*l + 4*h + r for l.
3
Suppose 4*f + x = 5*f + 68, 2*f - 4*x = -138. Let q = -66 - f. Solve c - 9 + q = 5*g, -5*c = 3*g - 12 for c.
3
Suppose 28*x - 27*x = 2. Solve 2*u = -3*u, -5*u + x = -z for z.
-2
Let f = 8 + -3. Suppose 13*l - 8*l = 25. Suppose 13*b - l - 21 = 0. Solve 0 = -b*v + 5*s - f, 3*v + v + 3*s = 29 for v.
5
Let a(k) = 6*k**2 - 7*k**2 + 7*k - 1 + 11. Let b = -12 - -20. Let x be a(b). Solve o = -4*y + 19, -5*o = -x*o - y - 5 for o.
3
Let z(b) = -b**2 + 12*b - 19. Let f be z(6). Let y = f + -18. Let o be (3/y)/((-3)/2). Solve -3*m = -3*h - o*m + 14, -4*h + 2*m = -18 for h.
5
Let r be ((-105)/(-56))/((-2)/(-16)). Solve 7*d = 4*d - 2*p - r, 0 = -5*d - 5*p - 30 for d.
-3
Let o(y) = -y**3 - 4*y**2 - 2*y - 6. Let s(b) = -2*b - 4. Let g be s(0). Let j be o(g). Solve 2*p + d = -d, p + 2*d = j for p.
-2
Let f be -2 + (-2 + 1)/(-1). Let m(l) = 2*l**3 + l**2 + 2*l + 2. Let w be m(f). Let h be ((-4)/(-10))/(w/(-50)). Solve 2*i = x + 6 + 2, x - 5*i = -h for x.
0
Let j(a) = -3*a + 29. Let d be j(8). Suppose 0 = -3*p - 5*n + 24, -d*p - 12 = -4*p - 5*n. Solve 2*s - 8*k + 10 = -4*k, 0 = -4*s + p*k - 5 for s.
1
Suppose 2*d - 15 = -3*q - 25, -3*q - 15 = -3*d. Solve d = 3*l + w, 0 = -5*w + 20 for l.
-1
Let r = -117 + 122. Suppose 4*a + 0*l = 3*l - 4, 26 = 5*a + 4*l. Suppose -4*g = -a*g. Solve -c - 3*m = 13, r*c - m - 16 + 1 = g for c.
2
Let h = 44 + -4. Let t(p) = -p + 1. Let b be t(-1). Suppose 0 = i - 2*i + b. Solve 5*z = a + 16, i*a + 3*a - h = -5*z for a.
4
Suppose -5*g = -2*g + 15, g - 15 = -4*a. Solve a*x = -0*x + 5, -3*h + 4*x - 4 = 0 for h.
0
Let m(h) = h**3 - 6*h**2 + 9*h - 5. Let q be m(5). Suppose 0 = q*k - 11*k. Solve 4*w = -5*a + 27, -3*w + 8*w + 4*a - 27 = k for w.
3
Let f(j) = j + 13. Let z be f(-9). Suppose 4 = 2*y - h + 22, -32 = 3*y - z*h. Let p be ((-12)/y)/(3/8). Solve -p*w + 21 = 5*r, -16 = -4*w - 0*w for r.
1
Let f(k) be the first derivative of -k**4/4 - 7*k**3/3 - k**2 - 9*k + 12. Let z be f(-7). Solve z*b + 9 = -5*c + 24, 4*b - 12 = -c for b.
3
Suppose -4*t - 16 = 0, t = -2*o - 3*t + 50. Let h = o - 23. Suppose 2*s = a - h, -10 = -5*a - s + 3*s. Solve 2*v - n + 4*n - 25 = a, -n - 15 = -4*v for v.
5
Suppose -3*c + 4*c + 4 = -3*o, 4*c = 3*o - 1. Let u be (5*-3)/3*c. Let h be (28/u)/(16/40). Solve 2*t + h = 3*l, 2*t - 5 = 7*t for l.
4
Suppose 45 = -6*r + 11*r. Suppose r*m + 24 = 15*m. Solve -m*k - 5*n = -7, k + n + 2 = 4 for k.
3
Let q = 95 + -93. Suppose -q*u - 2*s = -3*u - 2, 0 = 2*u - 3*s + 2. Solve -3*n + 0 = -4*p - 7, u*p - 3*n + 5 = 0 for p.
-1
Suppose -4*q + 12 = 5*f - 3, -3*q - 5*f + 15 = 0. Solve q = -3*g + 15, 5*n - g - 2 + 27 = 0 for n.
-4
Suppose -3*j + 60 = 9*j. Suppose -4 = -j*q + 6. Let w(r) = 3*r**2 - 2. Let z be w(2). Solve -4 = -5*x + q*y, z*y = -4*x + 5*y + 23 for x.
2
Let x(u) = 10*u**3 - 279*u**2 - 26*u - 53. Let o be x(28). Solve -o*q = -9, 5*y = 2*q - 5*q - 1 for y.
-2
Let n be 5 + 504/30 + 4/(-5). Solve 5*g + m = 28 - 13, -n = -4*g + m for g.
4
Suppose -71*q + 164 = 22. Solve -3*f = -q*c - 0*c - 3, 3 = -c + 2*f for c.
3
Let r = 16 + -10. Suppose 0 = -5*y + 4*d + r, -2*d + 1 = -d. Solve 26 = -4*l - 2*q, 3*l + 6*q = y*q - 32 for l.
-4
Suppose -4*l + 5 = 5*c, -5*l - 8 = -4*c - 45. Suppose 4*o - o - 60 = 0. Let m = 23 - o. Solve 0 = -l*z + 2*z + 2*w + 5, 7 = 5*z - m*w for z.
-1
Suppose 0 = -p + t + 3, 49*t = 44*t - 15. Solve p*x - 2*x + 3 = -y, 0 = 2*y - 5*x + 6 for y.
-3
Let i = 52 - 47. Suppose i*d - 3*d = 20. Solve 0 = -3*s - d*n + 5*n + 24, 0 = -4*s + 3*n + 3 for s.
3
Let x be 20/(-50) + (-152)/(-5). Suppose 0 = 3*w - w - x. Suppose 4*c - 1 - w = 0. Solve 0 = -4*g - n - 3, -5*g + n - 9 = c*n for g.
0
Let i(v) = -4*v - 39. Let s be i(-13). Solve 0 = 3*w - 0*w + 2*f - s, -f = -2*w - 3 for w.
1
Suppose 10*k - 5*k + 4*a = 22, -3*k + a + 3 = 0. Solve -5*c = 10, 4*u + k*c + 2 + 14 = 0 for u.
-3
Suppose 5*b - 103 - 7 = 0. Suppose -4*q - 4*h + 6 = -b, 5*q = 5*h + 25. Let a be 0*(q/(-4) - -2). Solve a*g - 5*s = -5*g + 20, 5*g - 8 = 2*s for g.
0
Let x = 8 + -3. Suppose 0 = -0*f + x*f. Suppose -3*l + f*l = 0. Solve -10 = -b + 3*v, l*b + 3*v = -2*b - 16 for b.
-2
Let x be (-44)/(-12)*3*(0 + 1). Suppose -4*y = 3 - x. Solve 4*q - q = y*s - 7, -5*q = -s for s.
5
Let f be ((-1)/(-2))/(2/16). Suppose -x = -4*x. Solve u - f*l = 21, x*l + l = 2*u - 14 for u.
5
Let z(d) = -4*d - 54. Let k be z(-14). Solve -4*w + 2*w + 14 = -4*c, -w - k*c + 3 = 0 for w.
5
Let h = 46 - 25. Let v = -16 + h. Solve w = 3*y - 18, v*w + 18 = 4*y - 17 for y.
5
Suppose 0 = -6*n - 25 - 23. Let u = n - -10. Solve -x + u*x + 5*p - 11 = 0, 0 = -4*x + 2*p for x.
1
Let o(n) = -195*n - 26 + 213*n - 16 - n**2. Let d be o(15). Solve 2*t = 4*m - m - d, 0 = -4*m + 5*t + 4 for m.
1
Suppose -4*g + 80 = -4*a, 0*a = 3*a + 12. Suppose g = -4*w + 40. Solve 3*h + 12 = 3*m, 4*h - m + w = m for h.
1
Suppose -2*r = 2*r - 24. Suppose v = 12 - 2. Let c(n) = -n + 12. Let q be c(v). Solve 5*i - r = -2*p, 0 = -i - i - 3*p - q for i.
2
Let f be 39/26*(-5 + 186/18). Solve 0 = 5*t - t - 2*m + f, -m = -3*t - 8 for t.
-4
Suppose 0*p + 16*p + 96 = 0. Suppose 0 = j + 4*j - 50. Let w = p + j. Solve w*l - s = s + 6, -4*l - 4*s = -24 for l.
3
Let w be 12/(-54) - (-50)/(-18). Let y be (-20)/25*(w + -2). Suppose -t - 15 = -y*t. Solve 5*f + 5*s - 27 = 2*s, -5*s = -t*f - 5 for f.
3
Suppose 0 = 2*j + 8, -2*j - 6 = 5*f + 2*j. Let h be 3 - ((-15)/5 + f). Solve 5*v - 5*l + h*l - 6 = 0, v + 2*l = -1 for v.
1
Let s be (28 - -6) + (-2 - -2). Let p = 36 - s. Solve 3*w + 2*w - p = 3*a, 30 = -5*w - 5*a for w.
-2
Let r(d) = d**3 + 4*d**2 + 5*d - 2. Let u be r(-4). Let w = 0 - u. Solve 2*k - w = -4*s, -s + 1 = -0*s - k for s.
4
Suppose -n + 0 = -4. Let d be 1/((-33)/(-60)) + (-6)/(-33). Let z be ((-4)/(-4) - 1)/(-2). Solve -r + n*r - d*q = z, 3*r = 4*q + 6 for r.
-2
Suppose 2*v + 10 = 0, 0 = 5*l + v + v - 80. Let h be (-6)/9*l/2. Let t = h - -11. Solve -5*j - 12 = -t*f + 3, 3*f - 6 = 0 for j.
-1
Let g = 59 + -49. Suppose -11*j + g + 1 = 0. Solve -5*b = -v + 7, -4*b + 9*v - 6*v + j = 0 for b.
-2
Let v(f) = 3*f**2 + 1. Let h(a) = 5 + a**3 - 3*a**2 - 7*a + a**2 - 3*a**2. Let m be h(6). Let j be v(m). Solve 20 = -w + 5*o, -w - w = o - j for w.
0
Let r(n) = 4*n**3 - 56*n**2 + 4. Let w be r(14). Solve 0 = 5*u + 3*a + 2*a, 8 = 4*u - w*a for u.
1
Suppose -10 = -6*z + z. Suppose -w + 62 = 9. Let k = -32 + w. Solve -5*b + 6 = 3*x, -4*x - k = -z*b - b for b.
3
Suppose 257 - 27 = 46*i. Solve -1 - 1 = -h - 3*s, 8 = 4*h + i*s for h.
2
Suppose -1 = -5*d - 6, -2*w = 5*d - 5. Suppose 10 = f - w. Solve -3*t - 4*m + m = -15, 4*t + 3*m = f for t.
0
Suppose 3*r - 22 - 11 = 3*x, -x = 4*r - 19. Solve r - 2 = 2*h, 2*z - 2 = 3*h for z.
4
Suppose 0*v - 3*v = 0. Suppose v = 5*r - 0*r. Suppose r*q - 3*q + 3 = 0, 4*o - 7 = -3*q. Solve -2*j + 0 = -3*x - o, 0 = -2*j - 2 for x.
-1
Let d be (-5)/(-3) + (-4)/6. Let t(h) = 2*h**3 - h**2 + 1. Let j b