l - 5*k for l.
2
Let g(q) = -6*q + 6*q - 2*q + 15. Let o be g(5). Let t be 2*o - 0/(-9). Solve 5*l + 2*w = -t, -2*l + w + 2*w - 23 = 0 for l.
-4
Let z(m) = 4*m - 29. Let x be z(8). Solve x*h = -j - 6 - 6, 0 = -2*h - 6 for j.
-3
Let r be (5/(-15))/((-20)/180). Solve -5*u + 2*n = -r, 0*u + 3*u + n = 4 for u.
1
Suppose -27739*j + 27747*j = 0. Solve 3*f + 4*v - 78 = -43, j = -2*v + 10 for f.
5
Let b be (-2)/4*(-29 + 35)*44/(-12). Solve 5*c - 16 = -4*j + c, b = -4*j + 5*c for j.
1
Suppose -4*p - 2*b + 864 = 0, -p + b + 4 = -218. Let z = 222 - p. Solve -k - 23 = -f - 4*f, -z = -2*k for f.
5
Let o be ((-8)/10)/((-4)/10). Suppose -2*i + i - 35 = -3*t, -3*t + 37 = -o*i. Let v = t - -4. Solve 4*p - 7 = -v, -p - 2 = -3*g for g.
0
Let l = -14216 - -14228. Solve 0 = 4*a - s + 25, -l*a - 4*s = -13*a - 25 for a.
-5
Suppose 2*q - 4*x = -2, 4 = 2*q - 8*x + 5*x. Solve 0 = -4*h - v + 16, 0*h - 5*h = -v - q for h.
3
Let u(f) = -528*f - 518. Let s be u(-1). Solve 2*h = -s*j + 13*j + 1, -6 = 2*h + 4*j for h.
-1
Let q = 28 + -24. Let a be 58/q + 24/16. Solve 0 = v - 2*w + 1, 0 = 7*v - 3*v - 2*w + a for v.
-5
Suppose 295*j = -129*j + 6360. Solve -5*w + v = -j, -4*w + 4*v = 6*v - 26 for w.
4
Suppose 22*c + 8 = 23*c + u, 4*u + 4 = 2*c. Let j be 9 + 16/24*(-45)/c. Solve 0*v = v + 3*o + j, 0 = 2*v + 4*o + 6 for v.
-1
Suppose -2*a + k + 1 = 0, -36*k + 39*k = 2*a + 5. Solve -8*h + 10*h = 2*y - 12, -5*h - a*y = 9 for h.
-3
Let h = -2304 + 2308. Solve 0 = 4*n + h*d + 4, 0 = -3*n - 5*d - 1 - 2 for n.
-1
Suppose 108*k + 78 = 111*k. Suppose 9*l + 116 = k. Let b(o) = 4*o + 40. Let z be b(l). Solve z = -3*v + 5*u, 0 = 2*v + 4*u - 9*u - 5 for v.
-5
Suppose 84 = -4*x - 11*i, -20*x + 3*i = -23*x - 21. Solve 0 = 15*q - 18*q + 3, 5*t - x = 4*q for t.
1
Let a(r) = -355*r - 701. Let x be a(-2). Solve -3*f + 3*i = x, -5*f = -10*f + 4*i - 13 for f.
-1
Let c(m) = 2*m**2 + 26*m - 37. Let h be c(-21). Suppose h = 14*b - 9. Solve -j + 1 = -3*t + 2*t, 2*t + 4*j - b = 0 for t.
3
Suppose 0 = -9*b + 534 + 1104. Let g = b + -176. Solve -5*k + w - g*w = -15, -2 = -2*k + 2*w for k.
2
Let y = 4094 - 4088. Solve 120*j - 116*j = -12, -3*i = -3*j - y for i.
-1
Let r = -82 + 105. Suppose 0 = 2*b - 21 - r. Suppose -b = -p + 5*o, -2*o + 7*o + 20 = 0. Solve 0 = -5*d + p*k + 1, -2*k - 2*k - 14 = 2*d for d.
-1
Let m(k) = k**3 + 2*k**2 - 392*k + 7. Let l be m(0). Solve -j + 5*g - 5 = 0, 0 = 5*g - l - 3 for j.
5
Let q(f) = -f + 10. Let y be ((-4)/(-12))/(1/21). Let u be q(y). Let j be 5/10*(u + 1). Solve -8 = j*c + 4*l, 0*c + 3*l = 5*c - 19 for c.
2
Let h = 7930 + -7904. Solve 2*q + 5*f = -10, -23*q + h*q - f - 19 = 0 for q.
5
Let o be (9 - 3) + 27/45*-5. Solve 5*a + 2*r = 0, -3*a + 4*r + 11 = o*r for a.
2
Let c be 8/(-20) - 54/(-10). Let z(u) = -u**3 + 5*u**2 - 3*u + 18. Let p be z(c). Solve -3*a = 15, d + d + p*a = -5 for d.
5
Let h(b) = -3*b**2 + 79*b - 280. Let n be h(22). Let i be 26/7 - (-4)/14. Solve 0 = -5*w + 2*y - n, i*y = 2*w - 6*w + 12 for w.
0
Suppose -4*v + 126 - 118 = 0, -5*w + v = -28. Solve 7 = 2*j + o, o = -4*j + 7 + w for j.
3
Let t(x) = -150*x + 905. Let c be t(6). Solve -u - 28 = -c*a, -5*a = u - 0*u - 22 for a.
5
Let a = -20096 - -20100. Solve 0 = -4*m - a*i - 4, -7*m - i = -12*m + 1 for m.
0
Let r(v) = -v**3 - 34*v**2 + 109*v - 37. Let k be r(-37). Solve -2*q = u - 36 + k, 0 = -q - 1 for u.
1
Let d(u) = -49*u - 289. Let s be d(-6). Solve 3*t = -2*z - 13, 15*t = 10*t - s for z.
-5
Let w be ((-84)/9 - 5/3) + 4. Let s be 6/21 + (-47)/w + -5. Solve 0 = -5*u + 2*b - 17, -5 = 5*u + s*b + 8 for u.
-3
Suppose 0 = -23*q + 27*q + 260. Let h = 83 + q. Suppose 4*j - 82 = h. Solve 0 = -u + 5*m + 24, 0 = -2*m - 3*m - j for u.
-1
Suppose 0 = 31*l - 683 + 559. Solve 4 = -2*h + 36*u - 35*u, 23 = -5*h - l*u for h.
-3
Let x be (72600/(-54))/(-2) - (-4)/(-18). Let k be 5*(x/(-10))/(-12). Solve -5*c + 4*v + k = 0, -3*v = -4*c + 2*v + 26 for c.
4
Let u = 8126 + -8124. Let q = 33 - 25. Solve 5*m + 0 - 8 = -l, 2*m = -u*l + q for m.
1
Let n(r) = r**2 + 39*r + 108. Let d be n(-36). Solve -4*k - 4 = -5*l + 24, d = 3*k - 4*l + 22 for k.
-2
Suppose -97*k + 191*k = 104*k - 30. Solve 5*r + 34 = 3*z, -4*r = 2*z + k*z + 5 for z.
3
Suppose 0 = -327*x + 326*x + 508. Let v = x - 506. Solve -c + 4*c - 1 = -v*d, 2*d - c + 11 = 0 for d.
-4
Let g(h) = 4*h**2 + 26*h + 44. Let r be g(-2). Solve -5*a + 5*k - 20 = 10*k, -3*a = k + r for a.
-2
Let r be (90 - 91)/(0 + 2)*0. Solve 4*z - 11 = -3*h, r = 2*z + 2*z - 8 for h.
1
Let o(n) = 54*n - 4. Let f be o(1). Suppose 10*t = -0*t + f. Suppose -58*u + 12 = -55*u. Solve -9 + 1 = u*z + t*j, -2*j = 8 for z.
3
Let i(o) = 2*o**3 + 27*o**2 - 162*o - 2272. Let j be i(-13). Solve j*y = 4*q, -5*y + 25 = 3*q - 4 for q.
3
Let c(m) = -m**2 + 66*m - 557. Let s be c(56). Suppose 3*h = 17 - 2. Solve 2*j = q + 8, -s*q + 3*j + 16 = h*j for q.
2
Let k(r) = -7*r - 28. Let l = -60 + 70. Suppose 3*a - l = 4*m, 0 = -4*m + a - 11 - 3. Let g be k(m). Solve g = 2*p + 4*n - 6, -3*n + 7 = -4*p - 25 for p.
-5
Suppose 0 = 4*w - 10*w + 18. Let v = -4 - w. Let m = 14 + v. Solve 0 = -2*i - m - 1, 5*i = 4*k - 28 for k.
2
Let w(v) = -v**2 + 18*v + 130. Let h be w(39). Let m = -686 - h. Solve 8*c - 3*c - g = -10, 3*c + 6 = m*g for c.
-2
Let o = -118 - -6. Let b = o + 112. Solve -g = s - 3*g + 4, b = -3*s + 3*g for s.
4
Suppose 3*h = -0*h + 5*p + 1, 4*p = 16. Let s(c) = c**2 - 5*c - 1. Let w be s(6). Let b be (16/w)/(h/35). Solve -b = -4*t, t - 3 = 2*f - 3*f for f.
-1
Let m be (125/(-15) + 3)*9/(-4). Let d be (-3 + m)*-2*1/(-2). Solve -2*j - 12 = 2*j - 4*v, 0 = 2*j - 5*v + d for j.
-2
Let m(t) = -t**2 + 58*t - 307. Let l be m(6). Solve l*r + 19 = -3*j, -5*j - 29 = 3*r - 8 for r.
-2
Let x be (-1 - -11)/((-2)/54). Let d be (x/(-50) - 6) + 13/5. Solve -5*h + 4*l = 7, 4*h = d*l - 3*l + 7 for h.
1
Suppose 2*k - 3*m = -0*m - 11, -19 = 4*k - 5*m. Let z be 0/((-4)/k - 5). Solve 4*x - 4*b = z, -4*b + 7*b = -3*x for x.
0
Let g = -91 - -128. Suppose 40*u - 12 = g*u. Solve r + c = -u*c - 15, -35 = -3*r + 5*c for r.
5
Let k(r) = 9*r + 3. Let m be k(-1). Let i be -2 + (2/6 - 82/m). Suppose -15*y + i = -9*y. Solve -4 = 5*q - 4*z - 41, -9 = -3*q - y*z for q.
5
Suppose -3*g = 0, -167 = -4*q - 3*g - 11. Let r = 554 + -517. Let c = q - r. Solve 0 = w + 4*d + 3 - 0, -5*d - c = 3*w for w.
1
Let a = 4579 + -4575. Solve -3*p = -a*u - 21, 29*u - 33*u - 18 = -2*p for p.
3
Suppose -b = 3*a - 11, 0 = -64*a + 66*a - 5*b + 21. Solve -8 = 3*t - g, -4*t + 2*t - 3*g + a = 0 for t.
-2
Let u = -5093 + 5202. Solve -104*l + u*l = 3*v + 35, 0 = 5*l - v - 25 for l.
4
Let a be ((-6)/(-9))/((-4)/(-6))*3. Suppose -a*k = -40 + 31. Solve x - 1 = -4*r + 5, -4*x + 5 = -k*r for x.
2
Let n(h) = -4*h - 140. Let j = 221 - 256. Let q be n(j). Solve -3*f = -2*l - q*l - 7, -7 = -3*l + f for l.
4
Let m = -1 + 4. Suppose 5*x - k - 1 = 0, 2*k - m = -x - 5. Let r = 658 + -653. Solve 0 = r*c - 5*v + 25, -5*c - v - v + 10 = x for c.
0
Suppose 175*b = 170*b + 200. Suppose -10*t + 5*t + b = 0. Solve t = 3*v + 5*j - 0*j, -8 = 5*v + 3*j for v.
-4
Let d(l) = -l**3 - 9*l**2 - 15*l + 4. Let z be d(-9). Let v = 157 - z. Solve -h + 4*f = v, -10 = -f - 5 for h.
2
Let j(n) = 6*n**3 + 8*n**2 + 4*n + 7. Let c be j(-3). Let y = -92 - c. Solve -4*t = w + 4*w - 10, y*w - 6 = 3*t for t.
0
Let g = -435 - -456. Solve -g = -2*c + 5*p, 0*c + 2*p = 6*c - 24 for c.
3
Suppose 0 = k - 5*s + 18, -2*k - 159*s = -161*s + 4. Solve 3*y - 1 = -f, 4*f - 2*f = y + k for f.
1
Suppose 2*w - 34 - 66 = 0. Suppose -4*n - 30 = -w. Suppose -n*j - 15 = 5*h, -3*j - 11 = 4*h - 3*h. Solve 0 = -2*u - h + 11, -5*v + 5 = u for v.
0
Suppose 0 = -3*g + 2*t + 189, g - 63 = -6*t + t. Suppose g*q = 58*q + 20. Let j = 0 + 3. Solve 0 = j*f - 9, f + q + 5 = 3*n for n.
4
Let b(t) = 9*t**2 + 49*t + 81. Let l be b(-3). Solve 12 = -j + 3*k, 19 = 2*j + k + l for j.
0
Suppose -52*b = -119*b + 1474. Solve -c - k = 4, 5*k = -b*c + 26*c - 2 for c.
-2
Suppose 0 = 100*z - 71*z - 116. Solve 5 + z = 3*m + 3*a, 0 = -3*m + a - 3 for m.
0
Let z = 67 + 209. Let f = 281 - z. Solve -9*r - 4*m = -4*r + 21, f*r + 27 = 2*m for r.
-5
Suppose 0 = 3*q - 8*q - 2*x + 371, 5*q + 4*x - 377 = 0. Let o = 18 - q. Let d = o - -57. Solve 0 = 4*s + 12, 4*f - d*s = 5*f + 6 for f.
0
Suppose -4*u - 2*h = -14, 12*u - 3*h = 17*u - 18. Solve -5 = 2*i - 3*y, -4*y + 9 =