 u(m) = -5*m + 8. Let j(z) = -z + 1. Let k(b) = -4*j(b) + u(b). Let o be k(2). Let q be (0*o/8)/(-3). Solve -4*h - 5*t + 8 = q, 2*h = -0*h - 5*t + 14 for h.
-3
Suppose -5*b + 15 = q - 8, 0 = 3*q + 2*b - 82. Let n = q + -8. Solve 3*h + 2*h - 18 = -2*k, 4*h - 4*k = n for h.
4
Let z be -2 + 2 + 5 - 0/15. Solve -6*t - 5*y = -t + 45, -3*y = -z*t - 5 for t.
-4
Suppose -49 = -5*b + 16. Let x = -68 - -68. Solve 5*s + x*s + 4*f = -b, -s = -3*f - 5 for s.
-1
Let u(a) = -9*a + 44. Let q be u(5). Suppose -3*g + 9 = -2*g. Let p be (g - 7)/(q/(-12)). Solve -4*i + p = 4*w, -2*w - 4*i = -0*w - 18 for w.
3
Let d be (1 - 1)*1/(-2). Let s = 109 - 209. Let v = 102 + s. Solve -n + v*q - 5*q + 9 = d, -4*q = 2*n - 10 for n.
-3
Suppose -2*b = 5*p - 18, -4 = 3*b - 5*p - 6. Solve -5*u = -3*h - 2, 0*u + b = 4*u for h.
1
Suppose -2*k + 4 = -0*k. Let l(r) = r**2 + r + 2. Let q be l(-2). Solve k*n - 3*m + 7 = 0, -q*n - 3*m - 25 = 2*m for n.
-5
Let l = 143 + -95. Suppose -l*c + 12 = -44*c. Solve -3*i - 2*d + d + 8 = 0, -4*d - 13 = -c*i for i.
3
Suppose -5*a - 153 = 5*c - 523, -4*a = 3*c - 222. Let z = c + -69. Solve -5*r = -z*h - 5, -h + 15 = -4*h for r.
-4
Let j(z) = 44*z + 751. Let a be j(-17). Solve -5*c = -4*x + 14 + 2, -a*c + 20 = 5*x for x.
4
Suppose 5*b + 105 - 20 = 2*s, -s + 41 = -b. Solve 2*a + 3*z - s = 7*a, -4*a + 2*z - 30 = 0 for a.
-5
Let b be (-1)/(-3) + 14/3. Suppose 3 = -j + b. Let v(c) = -c + 8. Let q be v(5). Solve j*m = 2*d + 14, -m + q*d + 12 = d for m.
2
Let p be (-19)/38*(-26 - 0). Suppose 0 = -5*a + 3*c + p, 3 + 7 = 3*a - 4*c. Solve 4*t = 4*y, 0*y + a*y = -4*t - 24 for y.
-4
Suppose -p + 3*c + 7 = 0, 15*p - 4*c + 16 = 20*p. Let n be 6/(-2)*(-1 + 0). Solve n*x + 8 = x + 4*o, p*x - 2 = -o for x.
0
Let p be 5*(78/30 - 2). Solve 0 = -p*u, -3*t - 2*t = 5*u - 15 for t.
3
Let a(w) = 2*w**2 - 22*w + 87. Let b be a(7). Solve b = 4*i + 3*y + 2*y, 5*i - 5 = 5*y for i.
4
Let m be (10/4)/(-5) + (-36)/(-8). Suppose m*u - h + 18 = 6*u, -4*h = -5*u + 71. Suppose 3*w = 21 - 6. Solve -6*r + 3*r = g + u, -5*g = -w for r.
-4
Let g be (-258)/(-66) - 8/(-88). Solve -2*l - 20 = -0*d - 2*d, 2*d = -g*l - 10 for d.
5
Suppose -5*q - 27 = 2*o, 3*q + 2*q + 31 = -o. Let v be (-9)/(-2) - q/14. Let j be 3/6 + 2/(-4) + 0. Solve g + f = -j*f - v, 3*g - 3*f = -3 for g.
-3
Let w(i) = -i + 20. Let k be w(15). Suppose 2 = -a + k. Solve -20 = 3*u - 8*u, a*u - 9 = -3*o for o.
-1
Let g = 151 + -146. Solve 4*s - g*w = -27, 0 = -4*s + w - 3*w - 6 for s.
-3
Let z be (-42)/(-15)*(-4 + -11)/(-3). Suppose 0 = -5*o - 25, 2*p - 9 = p + o. Solve y = v + v + 11, -p*y + 2*v = -z for y.
1
Let j = 196 - 191. Solve -j*b - 6 = -10*b + 2*a, b - 2*a - 6 = 0 for b.
0
Suppose 0 = 152*o - 155*o. Solve 0 = -3*i - 4*l + 14, o*i - 5*i + l = 15 for i.
-2
Suppose -23 + 33 = 2*p. Solve 0 = -5*b - p, 0*d + 4 = -d - 3*b for d.
-1
Let z = 167 - 138. Solve 5*h = y - z, 3*h + 4*y - 31 = 6*h for h.
-5
Let q = 6 - 4. Let k be 9/q - ((-24)/16 - -1). Solve -4*m = -k*h + 1, h - m = 6*h + 19 for h.
-3
Let y(s) = -s**3 - 5*s - s**3 + 4*s - s**2 + 3*s**2. Let z be y(1). Let k be 0/((0 + -2)/z). Solve -4*j = -k*l - 5*l + 5, -2*l + 2 = 4*j for l.
1
Suppose b + 3*b = -80. Suppose -n - 10*n - 187 = 0. Let d = n - b. Solve -4*p + 24 = 4*s, 7*p - d*p = s - 1 for s.
5
Suppose 20*q + 53 = 73. Solve 2*t + 16 = -5*j, -2*j - 5 = 2*t - q for j.
-4
Let u be (-6)/(-15) - (-58)/(-145). Solve -5*l + u = -t - 3, t + 3 = -l for t.
-3
Let j(d) = d**3 + 3*d**2 - 6*d + 4. Let o be j(3). Suppose o = 4*n + 4*a, 2*n - 37 = -3*a - 12. Solve h = n, b + 2*b - 2*h = -1 for b.
3
Let r(w) = 0*w - 3*w - 39 + 25. Let f be r(-5). Let u = f + 5. Solve 3*h - u*h + 1 = 5*n, -5*h - 19 = -2*n for n.
2
Let o(v) = -v**3 - 12*v**2 - 11*v - 14. Let a be 14/(-1) + 6 + -3. Let p be o(a). Let g = p - -16. Solve 15 = -3*d - i - 1, d + 12 = -g*i for d.
-4
Let n = -121 - -10. Let h = n - -116. Solve -u = h*c + 14, 5*c + 7*u + 30 = 2*u for c.
-2
Suppose -12*y + 20 = -10*y. Suppose -5*u + 30 = -2*u. Let a = y - u. Solve a = 5*z + q + 25, -z + 3*q = -2*z - 5 for z.
-5
Suppose 3*v = 3 + 3. Let z be 255/20 - 37/(-148). Solve -3*s - p = 17, 3 + z = -v*s - 3*p for s.
-5
Let p be (33/9 - 4)/(4/(-24)). Solve -3*z + 23 = -2*j + p*z, -5*j + 15 = 2*z for j.
1
Suppose 0 = -4*j - 27 + 363. Let b be ((-2)/6)/((-4)/j). Suppose -5*g + 0 + 15 = 0. Solve -o = g*u - b - 0, -3*o + 10 = -2*u for u.
1
Let r = 15 + -9. Suppose -20 = y - r*y. Let u be 8 - ((-24 - -20) + (10 - 0)). Solve -y*m = -u*a - 18, 2*m - 3 = -0*a - 5*a for m.
4
Let u(p) be the second derivative of -8*p**2 + 0 + 8*p + 1/2*p**3. Let g be u(7). Solve g*w - 3*c = -6*c - 12, 2 = w + 5*c for w.
-3
Let a(l) = l**3 + 9*l**2 + 9*l + 8. Let s be a(-8). Let j = s + -3. Let u = 24 - j. Solve y - 4*b = 10, -4*y - 3*b - u = -10 for y.
-2
Suppose -3*u - v - 3 = 4*v, 5*u - 2*v + 5 = 0. Let s(p) = 9*p**2 - 3*p - 4. Let l be s(u). Solve l*q - 3*t = 3*q + 10, 4*t = 3*q - 6 for q.
2
Suppose 5*l - 3*z - 20 = 0, -2*l + 3*l = -5*z - 24. Let q be 6/3*(l + 1). Solve -5*x = 2*b + 7, -q*x - 3*b + 4 = b for x.
-3
Suppose -11*w = 12 - 56. Solve 3 = -s + w*s, 3*k + 7 = -5*s for k.
-4
Let n(g) be the first derivative of -g**2/2 + 9*g + 1. Let m be n(5). Suppose 3*l + 7 - 38 = 5*d, d = 3*l - 23. Solve p - l = -m*i, -p - 3*p = -5*i + 35 for p.
-5
Suppose -o + 133 - 155 = 0. Let t(i) = i**2 + 20*i - 34. Let h be t(o). Solve -k - h = -z, 5*z - 4*k - 44 = 1 for z.
5
Let s be 10 + -5 + 0 - 5. Solve -4*f + 2*n - 2 = s, -3*n = -f - 4 - 4 for f.
1
Suppose -4 + 12 = -4*n - 5*g, -4*g = -2*n + 22. Solve -b = 3*o - 10, -o = -3*b + n*o - 22 for b.
-2
Let v(b) = 0*b + 0*b - 2*b - 3 - b. Let w be v(-2). Let h = 8 - w. Solve 17 = -h*d + l + 3, -2*d = 4*l - 12 for d.
-2
Let t = -6 - -43. Let r be t/3 + 6/(-18). Let d = r - 10. Solve d*i - l + 10 = -0*l, 0 = -i + 5*l - 5 for i.
-5
Let n = -11 + 12. Let y be n + (-5)/((-10)/4). Suppose 0 = -y*d + 1 + 5. Solve 3*p - d*b + 9 = -3*b, 3*b - 15 = 5*p for p.
-3
Suppose 24*t - 128 = -8. Solve -t*o + q = 18, -3*q + 6 = -6*q for o.
-4
Suppose -7*p + 0*p = -2*p. Solve h - 26 = -5*t - p*t, h = -t + 6 for t.
5
Let n(a) = -a - 2. Let j be n(-5). Let t = -6 + j. Let z be -3 + 2 + (-2 - t). Solve -5*o - 3*l + 17 = z, -o = o + 4*l - 18 for o.
1
Let y be (-2 + 3)*(8 - 8). Let r = 30 - -15. Suppose 4*m + d = 98, 2*d + 9 = 2*m - r. Solve f = a + 2*a - 10, y = -2*a - 3*f + m for a.
5
Let w(d) = d**2 + 8*d + 4. Let l be w(-3). Let t(x) = x**2 + 13*x + 8. Let k be t(l). Let m be 2/(-7) + (-4)/k. Solve 4*c + 4*q + 9 = -7, m = 2*c - q + 2 for c.
-2
Suppose -2*s + 39 = -5*p - 159, -p + s - 42 = 0. Let n = 235 + -178. Let r = p + n. Solve 0 = 4*k + m + r - 0, -23 = 2*k + 5*m for k.
-4
Let g be (68/(-85))/((-28)/105). Solve -g*x - 18 = -3*w, -14*w + 12*w - 4 = 2*x for x.
-4
Suppose -3*w + w - 6 = 0, 2*k + 5*w = -9. Suppose -k*c - 5*c + 24 = 0. Solve 0*p - 16 = -c*p + 5*z, 4*p = 4*z + 16 for p.
2
Let t(d) = 6*d**2 - 4*d**2 + 5*d - 2*d - 16. Let c be t(-5). Solve -5*x + 17 = m, -5*m - c + 0 = -x for x.
4
Let d(c) = c**2 + 53*c + 325. Let b be d(-46). Solve x = b*w + 1 + 11, -2*x + w - 1 = 0 for x.
-3
Let x(a) = a - 3. Let w be 4/(-4)*(1 - 0). Let b(s) = 8*s**2. Let n be b(w). Let k be x(n). Solve 0 = j + k*h + 26, 3*h = -j - 1 - 15 for j.
-1
Let w be 2*(-4 + -3*(-18)/12). Solve -w - 4 = 5*u + 2*x, 3*u + 2 = -x for u.
1
Let l(r) = -2*r**3 - 19*r**2 - 11*r - 7. Let w be l(-9). Suppose -s + 3*m = s + w, -5*s + 3*m = 5. Solve 0 = -5*g - a - 6, -g + 0*g + 3*a = -s for g.
-1
Suppose -54*i + 25*i + 116 = 0. Solve -5*j + 10 = 2*y - i, -j + 12 = 5*y for y.
2
Suppose 7*l - 5*l = -2*k, 3*l + 2*k = 4. Solve -4*o + l*g + 18 - 22 = 0, 0 = -3*o - g - 7 for o.
-2
Let n(w) = -w**2 + 16*w + 2. Let u be n(15). Let p be (-2)/6 + 4/12. Suppose 1 = i - 4. Solve p = -3*k - 5*c - 5, 4*k + i = c - u for k.
-5
Suppose 11 = 3*d - 7. Let v(j) = -16*j - 381. Let c be v(-24). Solve -4*z - 11 = -3*z + 4*l, c*l + d = 0 for z.
-3
Let f(y) = -6 + 4*y + 0 + 3 + 3*y. Let q be f(3). Suppose 28 + 2 = 6*l. Solve 3*k - 3*i = -9, -l*i + q + 5 = 3*k for k.
1
Suppose 5 - 8 = k - 3*w, -2*k - 3*w + 12 = 0. Let p = k - 0. Suppose 45 = 6*y + 21. Solve -p*a - 6 = -3*t, a = y*t - 2*a - 4 for t.
-2
Suppose w - 12 = -7. Solve w*k - 3*z = z + 23, -2 = z for k.
3
Let v be (0 + 32/6)*(-15)/(-10). Suppose 