e -4*m = -t*l + l - 3, 4*m = -4*l for l.
-1
Suppose -10*v + 3*g = -8*v + 4, 2*v + 5*g = 28. Solve -6 = -4*p - p + 4*d, 0 = -3*p + v*d + 2 for p.
2
Let v = 136 + -127. Suppose n - 2 = v. Solve 4*y = -p + 15, -4*y - 5*p + n = -0*y for y.
4
Let p(n) = -60*n**3 + n. Let x be p(-1). Suppose -35*u - 2*u = -2*u - 1925. Let a = x - u. Solve 0 = -j - a*w + 4 + 13, -j + 2 = -w for j.
5
Let o(d) = -4*d - 23. Let m be o(-8). Let b(y) = 2*y**2 + 4*y + 3. Let v be b(-1). Let i be 7 + m/(-2 - v). Solve 0 = -i*a - 0*a + 3*z - 12, 0 = z for a.
-3
Suppose -f + 29 = 3*d, -5*d - 4*f + 8*f = -71. Let v(l) = l - 11. Let r be v(d). Suppose r = -21*y + 26*y - 95. Solve -2*h + 3*m = 2*h - y, -2*h = -m - 9 for h.
4
Let k = 94 + -28. Let o = k - 72. Let u(h) = -3*h - 1. Let i be u(o). Solve 3*y + 4*q = i, -4*y + 18 = 3*q - 0*q for y.
3
Let i = 47 - 51. Let v be (6/i)/((-12)/(-80)). Let a be (v/(-25))/(4/40). Solve a*c + 5*h = -12, 0*c + h = -c - 3 for c.
-3
Suppose 534*j = -98*j - 4295 + 13775. Solve m + 15 = 3*b, -3*b + 8*m - 12*m + j = 0 for b.
5
Suppose -12 = 4*b, 2*b = 3*r + 12 - 18. Suppose r = 32*u + 8*u - 80. Solve -5*c - 35 = 4*v - u*v, -40 = 5*c + 3*v for c.
-5
Suppose -6*d = d. Suppose 4*q = -d*q + 12. Solve -3*f = q*i + 6, 3*f - 19 = i - 5 for f.
3
Suppose -j - 1 = -y + 16, -j + 73 = 5*y. Let l = -323714 + 323724. Solve -5*q = -2*w + y, 3 = 2*q + 3*w - l for q.
-1
Let v(c) = -c**2 - 9*c - 10. Let a be v(-7). Let p be (-3)/(-1) + (5 - 4). Let j be (4/4)/(2/p). Solve -16 = -4*x + 2*l - l, -x + a = j*l for x.
4
Suppose -6*l = -4*l. Let d = 13205 - 13203. Solve -d*j + l*f + 3*f = -3, -5*f - 12 = -j for j.
-3
Let c = -57521 - -57528. Suppose -4*q - 5*a = -31, 4*a + 7 = -2*q + 27. Solve -q*y + 5*g = c, 4*y + g - 1 = 5*y for y.
2
Suppose 0 = 192*u - 189*u + 849. Let c = u + 285. Solve y - c = -3*q, 1 = -4*y + q - 4*q for y.
-1
Let o = -68 + 73. Suppose -4*u + 12 = -2*x, -5 = o*x - 3*u + 4. Suppose x = -0*g - 3*g. Solve 0 = b + p + 6, 3*p + g*p = b - 2 for b.
-4
Let z be (0 + -1)/(12*23/(-1104)). Solve -2*l = -z*x - 14, 34*l - 9 = 2*x + 31*l for x.
-3
Let b(m) = -7*m + 42. Let x be b(10). Let i = -23 - x. Solve 17 = 3*y + 4*z, -y + 0*y + 13 = i*z for y.
3
Suppose 3*d + 118 - 106 = -2*q, -5*q + 33 = -3*d. Solve q*x - 20*u + 24*u = -11, -u = 4*x + 6 for x.
-1
Let o(f) = -f - 9. Let d be o(-12). Suppose 5*c - 4 - 32 = 4*v, c - d*v - 16 = 0. Let p be -1 + (2 + 4)/2. Solve 4*z = l - 1, -p*l - c = -5*z + l for z.
-1
Let q = -132 - -104. Let o = 28 + q. Let c = -1 + 4. Solve 3 = 3*s - 0*b + c*b, o = 2*s + 5*b + 10 for s.
5
Suppose 3*x - 4*c = 38, 7*x - 2*c - 14 = 8*x. Solve 5*d = 15, d - 10 = -x*n + 3 for n.
5
Suppose -8*l + 171 = -1421. Let x = l + -194. Solve 0 = -3*q + 4*r + 6, 0*q - 2 = -q + x*r for q.
2
Let r be (4/84*6)/(8/140). Solve 2*w + 6 = r*y + 4*w, 4*y = 3*w - 9 for y.
0
Suppose -55*b + 60*b + 10 = 4*o + 35, 3*o = 0. Solve 0 = -f + 4*g - 6, -b*f - 2*g + 3 + 11 = 0 for f.
2
Suppose 5*q - 4*v - 50 = 0, -q + 296*v + 10 = 298*v. Suppose 8 = -4*s - 4*u, -3 + 2 = 3*s - 2*u. Let t = s + 4. Solve i + 3*p = q, -t = -3*p + 3 for i.
4
Suppose 29*x - 22*x = 0. Suppose x = -c + 6*k - 2*k, -5*c + 15 = -5*k. Solve d - 7 = 4*i, -i - 3*i = c for d.
3
Suppose 3*o + 155 = -b, b - 3*b = 10. Let d = 70 + o. Suppose -2 = -5*q + 3. Solve -d = -5*r + z, -r + 2*z = -q - 3 for r.
4
Let p be (-196 - -196) + (-1)/((-1)/7). Solve -3*s = n - p, -5*n + 0 = s - 7 for n.
1
Let z be (-1788)/2235 - 34/(-5). Solve -m = h, 0 = -10*m + z*m - h + 3 for m.
1
Suppose 0 = 2*w - 2 - 2. Suppose 0 = -20*y - 88 + 128. Solve 0 = -w*n - 5*i + 14, -3*n + 2*i = -y - 0 for n.
2
Let c(z) be the third derivative of z**6/120 - z**5/30 + z**4/12 + z**3/2 + 6*z**2 + 5*z. Let v be c(3). Solve 3*u = 4*t - t + v, 10 = 3*u + t for u.
4
Let t be ((-3185)/52)/(-35) - 2/(-8). Solve 12 = -4*g, 2*g + t = -5*v + 4*v for v.
4
Let p = 87 - 108. Let y be ((-77)/p - 4)/((-1)/12). Suppose 13 + 3 = y*t. Solve 5*x - t*f = -6, -10 = -2*f - 2 for x.
2
Let t be 2/(-4) - 92/8. Let o = t + 20. Let d be o + 0*(-1)/5. Solve 0 = 5*f + 2*k - 10, -4*f - k + d = 3*k for f.
2
Let l be ((-1200)/(-32))/25*(-8)/(-6). Solve -3*y = 3*m + 3, -3*y + 206*m = 204*m - l for y.
0
Let q(x) be the first derivative of x**2 - 8*x + 159. Let j be q(6). Solve -3*t + j*k - 10 = 0, -5*t + 10 = 5*k - 20 for t.
2
Let r(y) = y - 7. Let i be r(3). Let o be (2 - 29/i)*(-12)/3. Let d = 54 + o. Solve -4*g - s = -2*s - d, -2*g = 2*s - 16 for g.
5
Let p(z) = -2*z - 7. Let o be p(-6). Suppose -3*y = -4*b + 796, 2*y + 5*b + 441 = -128. Let j = -269 - y. Solve o*t + 8 = 3*i, -5*t + 0 = j*i + 2 for i.
1
Suppose 0 = 3*i - 5*t - 235, 5*i + 2*t - 290 - 81 = 0. Suppose -7*p = 18*p - i. Solve p*r - 4*x + 1 = -0, -6 = 2*r - 4*x for r.
5
Suppose -5*o + 88 = 3*h, 197*o + h = 190*o + 104. Solve -3*c - 5*x = 9, -4*c + 2*x = -0*c - o for c.
2
Let b(v) = v**3 - 23*v**2 + 10*v - 226. Let g be b(23). Let d = 32 - 10. Let x be (-7 - -1)*4/(-6). Solve -3*m = g*t - d, -x*m + 9 + 19 = 5*t for m.
2
Let j be -3 + (-26)/(-117) + (-7826)/(-18). Suppose c + 429 - j = 0. Solve -v + 3*v - c = -d, 3*d + 3*v - 6 = 0 for d.
1
Let o be 42/28 + (-1)/(-2). Solve n = -k, -3*k = -o*n + 2*k - 28 for n.
-4
Let l(q) = -6*q + 2. Let t be l(-1). Suppose o = -o + t. Let g be 22/8 - 1*o/(-16). Solve -3*c = g*b + 3, 3*b + 2*b - 1 = c for b.
0
Let d be (4/(-70))/((-2)/(-10))*(-848 + 834). Solve 0*g + g = n + d, 5 = n + 2*g for n.
-1
Let u = 19308 + -19304. Suppose -7*a = -6*a. Solve -4*i + 17 = -i + k, i + u*k - 13 = a for i.
5
Let f(o) = -8*o**3 - 119 + 118 + o**2 + 2*o**2. Let q be f(1). Let h be (q/(-15))/((3 + -2)/15). Solve m = -2*b - h, 3*m - 19 + 2 = b for b.
-5
Let w = 123 - 121. Let a(x) = -3*x - 15. Let z be a(-6). Suppose z*f - 9 = 3. Solve 0*g + g + 3*d - 4 = 0, -2*g - w*d = f for g.
-5
Suppose y - 5*y = -8. Let z(k) = 3*k + 1. Let f be z(1). Solve -2*q + 2*r + y = -f*q, -21 = q - 4*r for q.
-5
Suppose 5*s = -5*m + 5, 6*m - 4*m - 12 = -4*s. Let d = s - 2. Suppose -3*y + 6 = -d. Solve 2*v - 24 = -4*i, -3*i + 27 - 6 = y*v for v.
2
Let s = -134 - -114. Let p be (6/(-4))/(15/s + 0). Solve 3 = 5*h - p, 3*h = -3*y + 6 for y.
1
Let r(v) = -v**2 + 10*v + 818. Let i be r(34). Solve i*b = -5*k - 9 - 12, 16 = -4*k - 2*b for k.
-5
Let w = 1071 + -1067. Solve 5*i - 3*i - 4 = 4*o, -w*i - 4*o = -20 for i.
4
Let q be ((-5)/(-2))/((-20)/(-48)). Suppose 5*o = -q + 16. Suppose 0 = -r + o + 2. Solve -2*k - 3*k = -b, 0 = -r*b - k for b.
0
Let y = 49 + -44. Let n = -18 - 123. Let z = 141 + n. Solve -y*b + 3*g - 4*g - 15 = z, 0 = 2*b - 5*g - 21 for b.
-2
Suppose 0 = -6*h - 46 - 38. Let f be 1/((-7)/h) + 2. Solve -f*i = i - 4*j + 20, -3*i + 3*j = 15 for i.
0
Let l = 5 - 1. Suppose 0 = 5*q - 2*p - 53, -332 + 314 = -3*p. Solve l*h + 16 = n, 4*h - h + q = n for h.
-3
Let l(h) = -3*h**2 + 14*h + 10. Let p be l(5). Let c be p + (-2 - -1) - (5 - 6). Solve -3*x + c*x = 4*s - 6, 2*x - 9 = -s for s.
3
Let z = -10 - -22. Let u = 9101 - 9097. Solve -12 = -u*x, -3*k + 2*x + z = x for k.
5
Suppose 0 = -7*q + 6*q + 3. Let h = 44 + q. Suppose -9*v = -h - 7. Solve -3*f = -3*w - v, 4*f - 14 + 0 = -2*w for f.
3
Let v be 6*5/30 + -4 + 1. Let q(w) = -w**3 - 2*w**2 - w + 3. Let u be q(v). Solve -j - 2*j = 6, u*j = -a - 13 for a.
-3
Let u be (-1176)/(-198) - 11/((-1815)/10). Solve 8*g - 2*h = 3*g + 24, -3*g = 3*h - u for g.
4
Let h(o) = o**2 + 37*o - 74. Let n be h(-39). Solve 10*j + 5*f = 6*j + 18, -10 = -n*j - f for j.
2
Suppose -16*y + 7 - 7 = -0. Solve y = -v + 5*l - 23, -4*v - 1 = 4*l - 5 for v.
-3
Suppose 0 = 65*p - 1323 - 1342. Solve 0 = 2*n - 10, -5*d - p*n = -39*n - 20 for d.
2
Suppose 50 - 10 = 20*t. Solve -5*y - 7 = t*n, 3*y + 5 = -4*n + 2*n for n.
-1
Suppose 354*r - 349*r - 13 = 2*n, 2*n = -5*r + 37. Solve -2*q - 2*x = -4, 19 = -3*q + r*q + 5*x for q.
-3
Let c(n) = -5*n - 30. Let w be c(-7). Suppose 0 = j - 2*a, -3*a = -419*j + 419*j. Solve g - 9 + j = -w*b, -g + 3 = 2*b for b.
2
Suppose -817 - 1199 = -322*w + 238. Let u = 11 - 8. Solve 4*n - u*l - w = -42, -3*n - 10 = l for n.
-5
Let l(q) = 1263*q - 17 - 636*q - q**2 - 647*q. Suppose -76 = 6*z - 2*z. Let o be l(z). Solve -5*t + o*r = 14, -t = 6*r - r - 8 for t.
-2
Suppose 81*a - 116 = 46. Solve -9*o - 5*c = -o + 7, a*o - 3*c = 11 for o.
1
Suppose -231*m + 223*m + 40 = 0. Suppose 2*c