 Solve -m = -2*l - w*d, -l = -2*d + 3 - 4 for l.
5
Let c(a) = a**3 - 8*a**2 - 80*a - 67. Let t be c(-5). Solve -33*s = -28*s - 2*x + 11, -t = 4*x for s.
-3
Suppose -3*w + 23 - 14 = 0. Suppose c + 2*c + w*s = -3, -5*c - 4*s = 1. Solve -4*f = 2*k - 0*k + 10, -c*f - 7 = k for k.
-1
Let g(b) be the second derivative of -7*b**3/6 - 5*b**2 + 12*b + 2. Let z be g(-2). Solve z*t + 5*d = -t + 25, -4*t + 18 = 3*d for t.
3
Let c be 13/3 - 250/300*(-8)/(-20). Suppose -3*y + 7 + 8 = 0. Solve -c*w = -t - w, y = t + 2*w for t.
3
Suppose -18 = 4*j - 7*j. Let o be (-1775)/(-150) - (-1)/j. Solve z - 3 = -3*f, 2*f + 0*f = -4*z + o for f.
0
Let k = 12803 + -12800. Solve -2*h - 22 = -4*m, k*h + 24 - 1 = 4*m for h.
-1
Let m(x) = x - 5. Let w = -6 - 62. Let t = -59 - w. Let b be m(t). Solve a - b*a + 10 = -r, 5*r + 4*a - 7 = 0 for r.
-1
Suppose -5*g + 1395*x = 1392*x - 18, 0 = -2*g - 2*x + 4. Solve -33*f + 37*f = -m - 15, 4*m + g*f = -21 for m.
-3
Suppose -67*k = -64*k - 9. Let b = -3 - -7. Suppose -5*h + c + 25 = -c, -5*h = b*c + 5. Solve -k*d - 22 = -4*w - 2, -h*w + 15 = -d for d.
0
Let w be 33/(100/80 - 2/(-8)). Solve w*x + 3*q - 17 = 17*x, -q = 1 for x.
4
Let w = -289 - -50. Let v = w - -243. Solve -4*y + 2*l - 11 = 9, -2*y + v*l - 22 = 0 for y.
-3
Let i(p) = -5*p - 42. Let d be i(-10). Suppose 0 = -d*q + 20 + 20. Solve 5*k = q*a - 25, 5*k = -4*a + 13 - 2 for a.
4
Suppose u = -11 + 16. Let p be (2/u)/((-5)/(-225)*9). Solve -v - 24 = -4*y, 0*v + p*v + y = -3 for v.
-4
Let p = 15 - 12. Suppose p*g + 2*i = 0, -2*g = 4*i - 0*i. Solve -5*r - 4*b - 21 = g, -5*r = b + 2*b + 22 for r.
-5
Let a = 85 + 105. Let k = a - 163. Solve 2*d + 3*r - 9 = 9, 5*d - k = -3*r for d.
3
Suppose r = 3*o + 6, r + 12 = -o - 2*r. Let u be 255/(-21) + o/(-21). Let t be u/(4/(-2)) + -1. Solve -t*v = -3*m - 10, 4*v - 15 = -m + 2*v for m.
5
Let i(y) = -24*y + 218. Let r be i(9). Suppose -3*f = 3*s - 12, r*s + 10*f = 15*f + 15. Solve 4*p - 7 = -3*d, s*p + 4*d + 0*d = 10 for p.
-2
Suppose 149 - 167 = -9*b. Suppose 0*t + 10 = -5*t, -2*o - t + b = 0. Solve 0 = 3*a - 4*r - 6, -3*r - 1 = -3*a + o for a.
-2
Let w = 37590 - 37475. Solve 5*l - 2*f - 20 = 0, -l - w = f - 112 for l.
2
Let m(o) = -o**2 - 7*o - 5. Let b be m(-5). Suppose 0 = -4*a + b*a - 2. Solve 4*g + 3*z - 11 = 0, 0*g + 22 = -a*g + 4*z for g.
-1
Let c = -525 - -319. Let u = -136 - c. Suppose 0 = 3*x - 3*t + 5*t - u, 4*t = 2*x - 68. Solve -w + 5*r = -2*w - 15, 0 = 2*w - 4*r - x for w.
5
Let o(a) = -a**3 + 13*a**2 + 7*a - 225. Let z be o(12). Solve 166*g - 165*g = j + z, 0 = -4*j - 2*g for j.
-1
Let t = -419 + 386. Let l(g) = g**3 + 33*g**2 + g + 37. Let n be l(t). Solve -v - 16 = 4*w, -w - 6*v + 3*v - n = 0 for w.
-4
Let b = 11581 - 11577. Solve -b*c - 2*i = -10, -25*c + 22*c + i = -5 for c.
2
Let b(n) = -144*n**2 - 433*n + 1. Let k be b(-3). Solve 3*v = k*y - 7, -3*y + 2*v = 6*v + 26 for y.
-2
Let d = -5556 + 5560. Solve 5*h - 1 = -d*x, 3 = x + 5*h - 1 for x.
-1
Suppose 4*q - 2 = 14. Let f(i) = i**2 - 3*i + 16. Let u be f(0). Suppose u = 2*a - 6. Solve 2*s + 3*s - 3 = -4*c, -3*s + q*c = a for s.
-1
Let m = 4882 - 4882. Solve 4*d - 5*s + 4 = 0, m = 5*d - 4*s - s for d.
4
Let d(i) = i**2 + 9*i + 24. Let u be d(-4). Suppose -3*b = -c - 8, 12 = 4*b - u*c - 4. Solve -4*p = 4*r, -7 - 8 = -3*p + b*r for p.
3
Let h be (-4)/((-60)/25) - 727/(-3). Let b = -227 + h. Solve 0*x + 16 = -5*a - x, -4*a - 5*x = b for a.
-3
Suppose 0 = -56500*k + 56514*k - 210. Solve 11 + k = l - 4*n, 0 = 3*l - 3*n - 24 for l.
2
Let r be (-198)/(-24) - (-2)/(-8). Suppose -70 = -5*u - 35. Suppose -49 - u = -14*m. Solve 0 = -m*t + 3*l - r*l - 21, t + 4*l = -8 for t.
-4
Suppose -9*t + 13*t = -4*b + 4, -2*t + 3*b + 27 = 0. Solve 2*p = 2*q + t, 7*q + 3 = 6*q - 5*p for q.
-3
Let i be (72/(-10))/(1/40*-6). Let o = i + -24. Solve 5*p - x + o = 0, -p + x = -4*x for p.
-5
Let d be (7 - 180/27)/(2/24). Suppose -8*l - 2*g + 8 = -4*l, -d*l + 18 = -3*g. Solve 5*k = 4*p + 13, 3*p - l*k = -k - 8 for p.
-2
Suppose -5253 = 33*t + 18*t. Let v = 106 + t. Solve 5*d = d - 5*o + 4, o = -v*d - 8 for d.
-4
Let k(i) = 3*i + 146. Let s be k(0). Suppose -216 = -5*r - s. Solve -5*t = 3*m - r, m = 4*t - 0 - 1 for t.
1
Let x be 3 + 1 - 52/(-4). Let g = x - 12. Solve -t - 2*l = -l, 0 = 5*l - g for t.
-1
Suppose -40 = -5*b - i, b + 6*i - 4*i = 17. Suppose -24 = -d - b*d. Solve 4*v + 10 = 5*k, 3*v + 6 = d*k + 4*v for k.
2
Let f = 75 - -37. Let v = 2028 - 2137. Let z = f + v. Solve 2*y + 4*x = -x, 5*y = -z*x + 19 for y.
5
Let m be (99/(-24))/(-11) - (-13)/8. Solve 0 = -x + 1, -3*i + 20 = m*i + 5*x for i.
3
Let u = -870 + 876. Solve -u = -2*m + 3*j, -2*m - 3*j = 7 + 11 for m.
-3
Let x be (-2)/(-4)*(2/(-1) + 3 - 1). Solve -3*l - 12 + 0 = x, 0 = -2*s + 2*l + 16 for s.
4
Suppose -7 - 10 = -3*o + 2*g, -5*o + 3 = 3*g. Let d(x) = 11*x - 2. Let r be d(o). Let m = -29 + r. Solve -v = 3*p - 5, 2*p + 1 = -p + m*v for p.
1
Let z = 5428 - 5426. Solve k = -3*a + 14, a + z*a = 3*k - 6 for k.
5
Suppose -2*z + 2 = 2*j, 16 = 3*j + 28. Solve -4*d - 6*p + 4*p - 6 = 0, -3*d + z*p + 2 = 0 for d.
-1
Let l(v) = 31*v + 30 + 1 - 55*v + 29*v. Let d be l(-5). Solve 2*o - 9 = d*r - r, -5*r + o - 12 = 0 for r.
-3
Let q = 35 + 104. Suppose -184 = -9*f - q. Let p be 4/6*(11 + 1). Solve 10 = -3*v + 3*h - p*h, -2*v = f*h + 10 for v.
0
Let u be 4/10 + (6 - (132/(-20) - -9)). Solve 0 = 4*d - 12*g + 11*g - 19, -5*d + u*g + 10 = 0 for d.
6
Suppose 0 = 4*z - 3*r - 1, 130*r + 36 = 4*z + 134*r. Solve 5*i - 4*i = z*c + 13, 4*c + 5*i = -31 for c.
-4
Suppose -8*l = -3*t - 6*l + 79, 4*t - 3*l - 107 = 0. Solve 3*k = 2*b + 16, 4*k + b - 4*b = t for k.
2
Suppose 173 + 52 = 66*h - 501. Solve 5*q = -20, h*b - 13*b + 26 = -5*q for b.
3
Let v = 4061 + -4044. Let f = 72 - 51. Solve 0 = -3*z - 3*b + f, -5*z + b + 6 = -v for z.
5
Suppose 0*n = -3*n + 9. Suppose 31*u - 5*f + 25 = 33*u, f - 5 = 0. Solve x = u, 0 = g + g - n*x - 8 for g.
4
Suppose 2*f = 4*f - 6. Suppose 0 = 23*t - 11*t - 60. Solve t*r - 5*a = -45, -r + f*a = 7*a - 16 for r.
-4
Let y(v) = v**2 + 13*v + 24. Let t be y(-2). Suppose -t*f + 38 - 22 = 0. Solve d - f = -r, -2*r - r = -15 for d.
3
Let q(k) = k**3 + 12*k**2 + 34*k + 266. Let x be q(-11). Solve -x + 0 = -5*w + 3*l, -2*w + 3 = l for w.
2
Let o = 91 + -84. Suppose o*s = 127 - 57. Solve 8*u - x = 3*u + 11, -3*u = -4*x - s for u.
2
Let d(w) = -12*w**2 - 29*w - 10. Let z(r) = -r - 3. Let q(b) = d(b) - 2*z(b). Let j be q(-2). Solve 0 = o + 3*m - 17, -2*o + 28 = j*o + 2*m for o.
5
Suppose 0 = t + 26 - 22, 5*y = t - 56. Suppose 0 = -a - 1, 2*a - 6*a - 12 = -4*p. Let b be ((-81)/y - 6)/(p/8). Solve -r + 1 = -2*z, b*r + 16 = r - 2*z for r.
-5
Suppose 105 = 1859*v - 1838*v. Solve 6 = -3*k, -6*k + 13 = -5*i - v*k for i.
-3
Let b = -205877 + 205892. Let f = -2 - -7. Solve 0 = f*j, 3*u = -4*j + j - b for u.
-5
Suppose -18 - 17 = -7*b. Solve 3*u + 7 = r, 2*u = 7*u + b for r.
4
Suppose 450 = 5*u - 5*i, -4*u + 21*i = 23*i - 360. Solve -5*h = -v + 8, 89*h - 2*v + 5 = u*h for h.
-1
Suppose g + 35 = 39. Suppose -s + g = 0, 3*q - 5*s + 11 = 27. Suppose 6*c = 2*c + b + 13, 0 = c - 2*b - q. Solve -c*a - 3*w + 6 = 0, a - 5*a + 12 = 4*w for a.
3
Suppose -7*i = -222 + 187. Solve -4*f + 2*p + 16 = 30, -i*p + 2 = f for f.
-3
Let a be 1/((10/(-24))/(-5)). Let b be 2/9 - 2254/(-63). Suppose 0 = 31*h - b*h + 25. Solve -2*u + h = -3*f, 4*u - a - 6 = -2*f for f.
1
Let o = 562 + -562. Suppose o = 5*l - z - 13, l + 3*z + 3 = -4. Solve -p - 1 = -l*w, 2*w - 2 = 2*p - 6 for p.
5
Let z be (0 - 2/4)/(4*(-12)/864). Solve 0*l = 2*l - 5*y + z, y = -5*l + 18 for l.
3
Let o be 64714/(-1235)*5/(-2). Solve -5 = h + o*f - 127*f, 0 = 5*h - 5*f for h.
-1
Suppose -z = -6*z - 2*u + 20, -2*z + 2*u - 6 = 0. Suppose 5*j - z*b - 8 = 0, 5*j - 3*b - 7 = -0*j. Solve -3*x - 8 = -4*m, 2*m + x - 22 = -j*x for m.
5
Let g be (-12)/(108/(-15)) - (-7)/3. Suppose -g*l = -8, 8*v - 6*v - 2*l = 8. Solve -3*o - 2*k + 4*k - 11 = 0, 0 = -o + 3*k - v for o.
-3
Suppose -8*x + 345 + 959 = 0. Let o = x - 159. Solve -25 = -5*j - 4*s + s, o*s = -5*j + 25 for j.
5
Let r = 464 - 460. Suppose 32 = 10*b - 248. Solve 4*t + 5*g + b = -13, -r*g = t + 24 for t.
-4
Let q be 16/(-3) - (-12508)/354. Solve -13 = -2*s - 16*c + 17*c, -3*s + q = -5*c for s.
5
Suppose 0 = -266*n + 263*n - f + 13, n = -2*f + 16. Solve -55*g + 51*