l for l.
-3
Let h = -896 + 903. Solve 3*b = 3*f - h*f + 5, -4*b = -12 for f.
-1
Let m(s) = -37*s + 11. Let b be m(-5). Let n be b/20 + ((-16)/(-4))/20. Solve -3*r + 15 = -c, 0*c = -4*r - 2*c + n for r.
4
Let v be (-2)/(-6) + (2 - 32/(-3)). Let k be ((-2)/(-5))/(-1)*-45. Suppose 0 = -5*a - a + k. Solve -4*d + v = a*h, -d - 4*h + 6*h = -6 for d.
4
Suppose -24 = 2*c - 5*x - 3, 0 = x - 5. Solve 3*t - 2 = -4*q + 1, -2*t + c*q = -16 for t.
5
Suppose -2*s + 10 + 0 = 0. Suppose -4*y = -s*g - 31, 0 = -y + 3*g + g + 16. Solve 5*x = y*o, 4*x + 4*o - 2*o + 26 = 0 for x.
-4
Let j(r) = -r**2 - 3*r + 2. Let g be (5/2 - 3)*-18. Suppose -t = -4*h - 17, -h + g = 5*t + 29. Let w be j(t). Solve -w*y + 10 = 0, -2*y - 4 = 2*u - 4*y for u.
3
Let u(s) = -57*s - 625. Let h be u(-11). Solve 3*m + 13 = 2*m - 5*a, -h*m + 3*a + 13 = 0 for m.
2
Let c(o) = -o**3 - 11*o**2 + 13*o + 6. Let a be c(-12). Let z be ((-16)/a)/(8/48). Suppose -7*n + 11*n = z. Solve -2*s = -n*j - 2, -4*s - 3*j = -2*j - 22 for s.
5
Suppose 4*m = 9*m - 240. Let f = 57 - m. Solve 6*q - 2*q - f = 3*p, -5*p = 5*q - 20 for q.
3
Let w = 322 + -454. Let k be w/(-36) - (-4)/(-6). Solve -k*o - 2*y + 11 = 0, -5*o + 3*y = -25 - 6 for o.
5
Let p(j) = -9*j - 4. Let l(k) = -2*k - 24. Let g be l(-11). Let v be p(g). Solve -o - 4*i = -23, 3*o - 38 + v = -3*i for o.
3
Suppose -5*n + 100 - 60 = 0. Solve i = -3*d - 1, 0 = n*d - 4*d - i - 8 for d.
1
Let k = 499 + -498. Solve -g = -1, 4*v - 7 = -2*g - k for v.
1
Let c be 0 + (-9 + 4 + -1 - -11). Solve r - 22 + 2 = 4*p, 25 = -c*p + 2*r for p.
-5
Let a(m) be the first derivative of m**2 + 16*m + 2. Let g be a(-6). Solve 3*b = g*j - 3, -2*b - 2 = -4*j - 4 for j.
-3
Let w = 10 + -12. Let i = w - -2. Suppose -2*v - 6 = r - 3*r, -v + 3*r - 9 = i. Solve v*g - 2*n = 4*g + 2, 2*n = 4*g - 18 for g.
2
Let p = -59 + 83. Suppose -8*m + 0*m = -p. Let n be (0 + 4)*10/2. Solve 25 = 5*v - d, -m*v + d = -7*v + n for v.
5
Let y = -540 + 545. Suppose -1 + 7 = 3*q + 2*h, 0 = -2*q - 4*h - 4. Solve -4*c + 5*u - 2*u = 3, 5*c + y = q*u for c.
3
Suppose 2*h - 161 = -3*q - 58, -4*q + 134 = 2*h. Suppose 3*a + 4*p - q = 0, a - 27 = -3*p - 10. Solve -r + 7*l - 3*l - 11 = 0, r + a*l = 7 for r.
-3
Suppose -7*n + 3 = -6*n. Suppose -j + 2*j - m + n = 0, -5*j + 25 = 3*m. Suppose -s + 37 = -5*l, 5*s - j*l - 81 = -11. Solve 3*i = -s, -i = p + i + 9 for p.
-1
Let y = 53 + -50. Suppose q - 3*u - 1 = -10, y*q = 3*u - 9. Solve q = 4*l - 3*d - 19, -3*l - d = 2*l - 19 for l.
4
Suppose -d = 2*d - 60. Let g be (45/25)/(12/d). Solve -g*m = -2*y + m, -y - m = 3 for y.
-2
Suppose 3*a = 161 + 163. Let y = -98 + a. Solve 2*c + y = 5*x - 2*c, -2*x + 4*c + 16 = 0 for x.
-2
Suppose 5*s + 2*v - 15 = 0, -s - v - 1 = -7. Solve 2*i + 4 = 3*k, -i + 4 + s = 2*k for k.
2
Let i be (-8)/6 - (-6)/18. Let h be (0/(i + -4))/(-2). Solve 3*b - 5*j - 3 = h, b = 3*b - 4*j - 4 for b.
-4
Let c be 2 - (-6)/((-6)/(-2)). Suppose 0 = -c*a - 2*h - 16, -5*a + 2*h = h + 6. Let k be (1 - 1)*a/4. Solve -r - 2*d - 5 = -k*d, -r + d + 1 = 0 for r.
-1
Let o be 218*(3 + (126/4)/(-9)). Let d = -109 - o. Solve 5*x + 5*h = h - 17, d = 3*x - h for x.
-1
Let q be 80 + -74 + -3 + 0. Solve 3*y + n + 4 + 14 = 0, -q*n = -4*y - 11 for y.
-5
Let s be (-14)/21 - 19/3. Let b(l) = -2*l - 11. Let c be b(s). Solve -5*j + 13 = -c*n - 3, -2 = j + 2*n for j.
2
Let o be (-58)/(-18) + (-9)/(486/12). Solve 2*g + 4 = 0, 5*l + 2*g = -2*g - o for l.
1
Let m be 1/(-5) - (-16)/5. Suppose 3*n - 7*n + g = -30, 5*g = -4*n + 42. Solve 0 = -m*h + 3*f + 2*f + 10, 2*h - 4*f - n = 0 for h.
0
Let d(t) = t**3 + 8*t**2 + t + 8. Let z = -24 + 16. Let b be d(z). Let r be b/(-1) - 2/(-1). Solve 0 = 3*j + r*j - 5*a + 20, -5*j + 2*a - 17 = 0 for j.
-3
Let r(i) = 3*i**2 + 23*i + 44. Let n be r(-3). Let h be (-14)/(-6) - 6/(-9). Let x be (5/h)/((-4)/(-36)). Solve 3*a - x = 0, 6 + 0 = -g + n*a for g.
4
Suppose -3*c - c - y = -14, 2*y = -c. Solve -3*b + 1 = 5*p - 3, 0 = -2*p + c for b.
-2
Let r(o) = -o**3 - 7*o**2 + 18*o + 3. Let z be r(-9). Solve 5*q - 2*g = 9, -z = -3*q - g + 9 for q.
3
Let l = -45 + 42. Let s(n) = -n**2 - 5*n - 1. Let x be s(l). Solve a - 1 = 1, x*f + 3*a + 9 = 0 for f.
-3
Suppose 2*b + 2*a = b + 16, 4*a = 20. Solve -5*m + 3*y + 11 = b*y, -y = 3*m - 9 for m.
4
Suppose -m + 219 = 8*j - 3*j, -16 = -4*m. Solve 0 = -s - 3*t + 5, -39*t - 4 = -j*t for s.
2
Let b be (6 + -126)/(-2 - -1). Suppose 2*s - b = -32. Suppose -5*l + l + s = 0. Solve -5*d = 4*v, d = -0*d - 3*v - l for d.
4
Suppose -2*g + 3 = -1. Suppose 3*z - 14 = -g. Let a = -416 - -419. Solve -4*x + 20 = -4*h, a*h - 3 + 4 = -z*x for h.
-3
Suppose -4*m + 15 = l + 7, 5*m - 10 = -3*l. Solve 2*w - o - 10 = 0, 6 = -3*o - l*o for w.
4
Let n(z) = z**3 - 9*z**2 + 9*z - 5. Let s be n(8). Suppose 0 = s*g + 3*j - 15, 6*g = 3*g + 2*j. Solve o = -q - q + 12, 0 = -4*o + g*q + 8 for o.
4
Suppose 103*t = 101*t + 18. Suppose t*j + 15 = 87. Solve 4*g + u = g - j, 3*g - 4*u - 2 = 0 for g.
-2
Suppose 4*h = 9 + 71. Let n(k) = 18*k - 180. Let p be n(9). Let y = p + h. Solve 0 = 2*f - 4, 2*c = -c - y*f + 10 for c.
2
Suppose -4*m = -3*l - 1, 2*m + 12 - 5 = 3*l. Solve -2*c + 4 = -8*z + 11*z, -3*c = -l*z + 32 for c.
-4
Let i(q) = q**3 + 6*q**2 - 10*q - 28. Let d be i(-7). Let s(j) = -j**2 - 7*j. Let v be s(d). Solve -2*o - 2*t + 14 = 0, v = -o + 2*o - t + 3 for o.
2
Let u be ((-14)/91)/((-9)/117). Let c = 22 + -12. Solve 0 = t + u*x - c, -4*t = -2*t - 5*x + 7 for t.
4
Let v(o) = 135*o - 133. Let d be v(1). Solve -b + l = -l - 4, -2 = d*l for b.
2
Let j(c) = -16*c + 146. Let m be j(9). Solve 0 = -r + 2*z - 6, r - m*r = -z + 1 for r.
4
Suppose 2*y = 3*u - 8*u - 15, -3*y = 2*u + 6. Suppose 0 = -216*j + 458 + 190. Solve n + 2*n - 9 = y, 5*t + j*n - 34 = 0 for t.
5
Suppose -2*r + 20 = 4*a, -3*r + 2*a + 0*a = -6. Solve -s = j - r*s + 1, 4*s + 4 = 4*j for j.
2
Suppose 3*s + s = 4. Let r be 2/3*-3 + 35/s. Solve 0*q = -2*q - 5*y - r, -2*q + 3*y = -7 for q.
-4
Let p = -1186 - -1190. Solve 3*h - f = -16, 3*h + 2*h - p*f = -36 for h.
-4
Suppose -5 = m - 4*t, 2*m = 3*m + t + 10. Let l be m/(18/(-4)) + 2/2. Solve 7*d + 3 = r + l*d, -4*d - 4 = 0 for r.
-1
Let u be (2 - -6)/(2*1). Suppose -2*o - 2*o - 32 = -u*a, a = 4*o + 17. Let p be (9/12)/(a/80). Solve 3*f = 4*f + 5, b - p = 2*f for b.
2
Let q(v) = -3*v - 2. Let d(m) = -m**2 - 3*m - 2. Let s(b) = -3*d(b) + 4*q(b). Let n be s(2). Solve -3*x + 3*j = 0, x - 2*j - 5 = -n for x.
-1
Suppose -3*a + 5 = -4. Suppose -a*j + 19 = 4. Suppose -4*v + 5 = -5*i - 35, -j*v - 5*i + 5 = 0. Solve -4*d = 4*n, -4*d - n - 16 = -v*n for d.
-2
Suppose -12*a = -20*a - 8. Let c be (-1)/a + (-2 - -2) + 2. Solve 0 = -3*q, -q = o - c*q for o.
0
Suppose 2*m - 40 = -w, m - 4*w = 3*m - 52. Suppose -3*v - v = 24. Let u = v + m. Solve -3*t + 7*i = 2*i - 17, -4*t - 4*i + u = 0 for t.
4
Suppose g + 48 = 4*f, -f + 40 = -5*g + 9. Suppose 0*m + 84 = -2*m - 4*o, -3*o - 46 = m. Let t = m - -39. Solve 15 = 4*n - u, -3*u = -t*n + 6 + f for n.
4
Suppose 10*f + 2 = 22. Solve -q = -z + 2, -f*z - 2 = -3*z + 4*q for z.
2
Suppose 0 = -3*i + 5*i - 16. Suppose -3*k + 3*s = 0, k + i = -3*s + 24. Solve -5*b - k = -4*x, 3*b + 31 = -5*x - 1 for b.
-4
Suppose 0 = -i + 3*i + 2, -3*a + 17 = -5*i. Let l be (4 + -5)/(5 + (-44)/8). Solve -l*o - 4*k - a = 0, -2*o = -5*o - k - 6 for o.
-2
Suppose 28*o = 23*o. Solve 0 = -4*g + 4*s, 5*g - 2*s + 1 + 2 = o for g.
-1
Suppose 5*l - 4*v - 129 = 0, -4*v = 5*l + v - 165. Solve -3*n - 8 = -2*z + 9, 3*n = 5*z - l for z.
4
Let a = 41 - 26. Let x be (-4)/(-14) - 104/(-28). Suppose -p = -x*p + a. Solve 5*w + 5*k + 25 = w, p*k = -5*w - 30 for w.
-5
Suppose 1 = -2*r + 9. Let w = 11 - r. Suppose -w*m = -19 + 5. Solve -m*n + 0*n = 3*z + 15, 5*z - n + 12 = 0 for z.
-3
Let r(f) = -f + 15. Let u be r(10). Solve -5*p - u*x = 5, -26 = -4*p + 4*x + 2 for p.
3
Let x be 9*(1 - (-6)/(-9)). Suppose -j + 0 = -x. Suppose 0 = -3*s - j*w - 3, -5*s + w = -3*s - 1. Solve t = 4*p - 3, -t + s*t - 2*p + 9 = 0 for t.
5
Let u = -15 - -40. Let i = -14 + u. Solve 0*h + h = x - 3, h - 5*x + i = 0 for h.
-1
Suppose 0 = 58*g - 65*g + 56. Solve g = 2*k - r, 5*r + 18 = 3*k - 8 for k.
2
Suppose -t - h = -5 - 0, 3*h = 5*t - 25. Solve -s - 3*m = 3*s - 3, 5*s = -t*m for s.
3
Suppose -6*l = 5*l - 0*l. Solve -3*s - 12 = -z, 5*z + 4*s - 3*s + 4 = l for z.
0
Let r be 3*(-6)/13