5. Let o be a/(-10) - k/(-5). Solve 3*g - 1 + o = 3*l, 2*l - 5 = g for l.
3
Let z = -4 + 8. Suppose l = z*l - 12. Let x(n) = -n**3 - 7*n**2 + 252*n + 1312. Let i be x(-5). Solve 12 = k - 2*k - 5*a, -5*k = -l*a + i for k.
-2
Let c be (-20)/(-4) - (0 + 3). Suppose -3*n + 5 + 37 = -c*y, -9 = -3*y. Solve 0*b = 4*b + 2*x - n, x + 17 = 3*b for b.
5
Let a(w) = 3*w - 19. Let u be a(7). Let b(x) = 6*x**u + 12*x**2 - 17*x**2. Let y be b(2). Solve k - 4*h = 8, y*h + 2 - 6 = -2*k for k.
4
Let g be (-10)/(-40) - 297/(-12). Let k be (16/(-10))/(((-40)/g)/4). Solve -z = -d + k, -d + 2*z + 9 = -0*d for d.
-1
Let d(m) = m**3 - 12*m**2 + 6*m + 6. Let i be d(12). Let k = 81 - i. Let q be 2/k - 1 - 32/(-6). Solve 0 = q*h - 2*h - w + 13, 0 = 4*h - 4*w + 28 for h.
-3
Let o = -168 + 168. Let y be 0/6 - (o - 9/3). Solve -u - y = -v, 3*u = 2*v + 5*u + 2 for v.
1
Let u(d) = 5*d**2 - 45*d + 22. Let q be u(9). Suppose -3*n + q = 5*b, -8 + 2 = -3*b. Let s be (-2 + 2)*1/2. Solve 2*m - 2*i = -9 + 3, s = m + n*i + 8 for m.
-4
Let y(g) = 11*g - 81. Let d(j) = -2*j + 1. Let i(k) = -3*d(k) + y(k). Let a be i(6). Solve -5*c = -o + 2*o + a, -3*c + 2*o = 16 for c.
-4
Let u = 18122 + -17927. Solve 4*b - r = 13, 3*b + 199*r = u*r - 14 for b.
2
Suppose 0 = -4*a + 6*a - 3*d - 51, a = d + 27. Let m = a - 18. Suppose p + 3 = 0, -5*p + p - m = 3*z. Solve 0 = 2*u - 2, 2*g - 5*u + z*u + 11 = 0 for g.
-3
Suppose -96 = -5*o - 2*p, -5*p = -o - 2*o + 39. Let f be 30/o*9/5. Suppose -6*k + 7*k - 19 = 0. Solve -2*h + r = -h - f, -3*r = -5*h + k for h.
5
Suppose -276*v = -243*v - 165. Solve -v*t = -5*x, -32*t + 7 = 2*x - 27*t for x.
1
Suppose y + 5*k = 51, 4*y = -7*k + 2*k + 144. Suppose -91 + y = -4*a. Suppose 2*w - 4*d = 30, 2*w + a = w - 4*d. Solve 0 = -2*q, m + 2*q = w*q for m.
0
Let u = 18 + 147. Suppose -u - 285 = -25*g. Solve -h = 3*m + 2*h - g, 5*m - 22 = 3*h for m.
5
Let n(g) = g**2 - 631*g - 2525. Let u be n(-4). Solve -h - 226*y = -223*y + 7, -u = 5*y for h.
2
Suppose -s = 9*l - 14*l - 20, 3*s = -5*l. Solve -4*b = a - 1, -a - s*b = a - 2 for a.
1
Let v = -12839 + 12865. Solve -3*j = 5*h + v, -5 = 2*h + 5*j + 13 for h.
-4
Suppose -9 = 2*l + 1. Let a be (-2)/(-4)*(35 - l). Solve -5*d + 3*d + 18 = -5*m, 0 = 5*d - a for m.
-2
Let w = -3171 + 3175. Solve 1 = f + v, 4 = -5*f + f + w*v for f.
0
Let f be 12*(11/(-2) + 39 + -34). Let y be 4/(-4)*4 - f. Solve -b = 5, -2*b = c + y*b + 18 for c.
2
Suppose 4*f - 2*a - 64 = 2*a, 2*f - 3*a - 28 = 0. Suppose 2*c = 3*o, 0*c + 3*c - 17 = -4*o. Solve 5*m - y = o*y - 25, 0 = -4*m - 5*y - f for m.
-5
Let p(q) = q**2 - 6*q - 19. Let r be p(9). Suppose r*h - 34 - 6 = 0. Let x be (2 - (-9)/(-6))*(5 - -1). Solve x*z + 19 = 2*v, 3*v + 21 = v - h*z for v.
2
Let u = 12 + -7. Let s = 23 + -14. Suppose b - 2*r = -2, 2*b - 14 = -6*r + 4*r. Solve -3*l = -4*p - 3, -s = u*p - 4*l - b for p.
3
Let m = -35474 + 35477. Solve -5*x + 3 = m*t - x, 3*x + 9 = 0 for t.
5
Suppose 4*f = -2*r + 66, -55 = -5*f - 4*r + 32. Let o(j) = j**2 - 205. Let m be o(f). Solve 5*i + 4*q + m = 3*q, -20 = 5*i - 5*q for i.
-4
Suppose -2*u + 120 = 114. Solve 5*w + 6 + 0 = -u*n, 5*n + 4*w = -10 for n.
-2
Let k = 36 - 26. Suppose -k*y = -5*y + 100. Let g be (24/20 + 0)/((-6)/y). Solve g*h = -3*l + 9, -6*h + 3*l + 9 = -4*h for h.
3
Let x be ((-360)/42)/(-10)*42. Suppose -50*f + 28 = -x*f. Solve 0 = -a + f*a - 3*n - 3, 5*a - 2*n - 2 = 0 for a.
0
Suppose 0 = -8310*d + 8274*d + 180. Solve 9*l - 8*l = -2*a - 1, d*l + 11 = -4*a for l.
-3
Let s be (-109)/(-327) - (-1 + 29)*3/(-18). Solve 3*c = o + s, 3*c + 5*o - 7 + 32 = 0 for c.
0
Let m be (-2)/(-10)*405/81. Let w(f) = -f - 30. Let u be w(0). Let i = m - u. Solve i = -t - 2*t - 5*a, 3*t + a + 11 = 0 for t.
-2
Suppose 9*f + 4*f + 669 = 708. Solve 3*o = 4*a - 6, 17*a - 18*a = f*o + 6 for a.
0
Suppose 19*k - 23 = 15*k + n, -2*k + 16 = -2*n. Solve 3 = 4*z - z, 0 = -2*x - k*z + 15 for x.
5
Let u be -10*15/2 - (-1 + -1). Let p = -68 - u. Suppose s + p = -2*s - 5*b, -s = -3*b - 17. Solve -s*k = 4*w + 1 - 2, -k + 17 = 5*w for k.
-3
Suppose 35 = 4*b + 3*n, 5*b + 4*n = 28 + 16. Suppose q = b*q - 21. Let i(y) = -y**2 + 2*y + 4. Let j be i(q). Solve 0 = -o + 5*w - 3, -o - 2 = 2*w + j for o.
-3
Suppose -2*r - 12 = -3*r - 3*l, -r + l = 0. Suppose -o - 3 + 9 = 0. Let i be 4 + 0 + -4 + 6. Solve -r*w = 3*j - i, -j + o*j = 5*w for j.
1
Let q(b) = b**3 + 5*b**2 + 17*b + 54. Let k be q(-4). Suppose -k*o = n + 1 + 1, 2*n + 5*o + 6 = 0. Solve -14 = -5*a + 5*l + 6, l = -a + n for a.
3
Suppose 0 = -3*s - k + 210, 5*s - 2*k - 112 = 227. Suppose -64*y + s*y - 4*i = 41, 2*y + 6 = -4*i. Solve -y*j + 17 = -o, -2*o - 3 = -j - 5 for o.
3
Let c = 119 - 114. Let s = 32 + -30. Let l = -6 + 10. Solve p - 8 = l*q, -13 - c = -s*q - 5*p for q.
-1
Let o be (88/11)/(1 - (-2 - -1)). Suppose o*t - 25 = -f, 6*t - 20 = 4*t + 2*f. Solve 3*u = -h + 2*u + 1, 0 = -2*h + u - t for h.
-2
Let z(x) = 15*x + 4. Let m be z(6). Let v = m + -93. Solve -y + v = o, 5*o + 2*y - 1 = 13 for o.
4
Suppose 17*h + 75 = 2*h. Let t be h*(-1 - (-2)/5). Solve 0 = 5*q - 0*y + 5*y - 15, 0 = -q + t*y - 1 for q.
2
Suppose 2*m - 3*t = 35, 5*m - 77 = 7*t - 3*t. Let j be 4 + -1 - ((m - 2) + -8). Solve 0 = 5*z + 5*h + 15, -3*z + 2*h - 9 + j = 0 for z.
-3
Let x(k) = -k**3 - k**2 - k + 3. Let g be x(0). Suppose a = -4*o - 18, -4*a - 21 = -g*o + 51. Let t = a - -22. Solve 4*s = t*h - h + 21, 6 = -4*h - 2*s for h.
-3
Let f(j) = j - 30. Let c be f(-24). Let y = 60 + c. Solve -4*w - 16 = 3*h, -2*h = -y*h - w - 17 for h.
-4
Let r = -2786 - -2807. Solve -5*d + 4 = -4*m - 3, -5*d = 3*m - r for d.
3
Let j = -6 - -6. Let f = 249 - 242. Let n(z) = -z**3 + 8*z**2 - 4*z - 15. Let v be n(f). Solve w = 1, -4*o + j - v = 2*w for o.
-2
Suppose 0 = 3*a - 5*c + 30 - 147, 0 = -2*a - 4*c + 78. Suppose a*i = 43*i - 20. Let w be 128/40 + (-2)/10. Solve 0 = 2*h - w*x, -8*h + 3*h = -i*x for h.
0
Let a = -20 - -20. Let t be ((-172)/(-16) + -4)*8. Let u = 54 - t. Solve 0 = -3*o + 3*i + 3, a*o - 2*o - i - 13 = u for o.
-4
Let g(f) = 2*f**2 + 67*f + 128. Let p be g(-2). Solve 5*t = 0, -a + t = -p*a for a.
0
Let q = -98 + -64. Let t = q - -167. Solve -5*w + 4*d - 8 = 0, w = t*d + 5 + 6 for w.
-4
Suppose 0*w = w - 4. Let n(f) = 2*f**2 - 7*f - 2. Let p be n(w). Suppose -p*h + 5*s = -9 - 2, -4*h + 15 = -3*s. Solve u = -h*v - 9, 0*v - v = -3*u + 13 for u.
3
Suppose -2469*d + 1170 = -2391*d. Solve 3*o + 4*m = -2*o + 20, d = 3*m for o.
0
Let r be -5 - (-31 + -4 + 5). Suppose -15*g - 130 = -r*g. Solve -g = f - 2*y, 0 = -2*f + 4*f + 3*y - 9 for f.
-3
Let c(r) = r - 4. Let k be c(8). Let p be 12/k + 3 - 4. Let u(w) = w**2 + 3*w - 2. Let y be u(-4). Solve y*f + 5*s - 15 = -p*f, 0 = -3*f + s + 16 for f.
5
Let l be (-1)/(-4) + 96476/1424. Solve -3*b = 66*a - l*a + 15, a = 3 for b.
-3
Let i be (2/(-8)*158)/(2/4). Suppose -5*l + 10 = -2*f - 88, 104 = -2*f + 2*l. Let j = f - i. Solve 5*n - 5*r = j, 2*n - 13 = 3*r + 2 for n.
0
Suppose -5*s - 17 = -62. Let v = 17 + -8. Let r = s - v. Solve 3*g = -r*x - 3*x + 3, 5*x - 1 = -3*g for x.
-1
Suppose -71*k + 66*k + 45*k = 1280. Solve 27*d - 24*d - k = 4*x, -22 = -3*d + 2*x for d.
4
Suppose 6*n = -22*n. Suppose 0 = -6*f + f + 15. Suppose f*x + 2 = 14. Solve k + 5*z + 27 = n, 0 = 5*k - x*z - 4 - 6 for k.
-2
Let i be -34*2/(-3) - 288/(-864). Solve -i = 5*s + 3*f, -s - f = -5*f for s.
-4
Let h(w) = w**2 - 15*w - 99. Let q be h(-5). Let p(u) = 4*u**3 + 9*u**2 - 8*u - 1. Let v be p(q). Solve -5*g = -v*z, -g + z = -3*g - 13 for g.
-4
Let h = -11508 - -11512. Solve -9 = g + 2*g + q, -22 = h*g + 3*q for g.
-1
Let y be 12/(-15)*5/(-1). Let q(j) = -j**2 - 100*j + 3594. Let l be q(-128). Solve d = -5*b - l, -1 = y*b + d + 6 for b.
-3
Let f be -4*(0 + 3/2). Let a be (f/15)/((-6)/180). Suppose 4*g - a = -0. Solve -r - 3 = l, 0 = -g*l + 5*r - 0*r - 25 for l.
-5
Suppose 14*y = 25*y - 22. Suppose -y*n + 5*n + 4*c - 21 = 0, -5*n = -3*c - 6. Solve -n*d - 7 = -5*k, -2*d + 6 - 18 = 4*k for k.
-1
Let m = -15 - -22. Let u be (m - 99/15) + (-279)/(-15). Solve -3*c + 0*c - 18 = 3*y, -4*y - u = -c for c.
-1
Let g = -748 + 758. Suppose g*p = -4 + 24. Solve l = z, 0*l - 5 = p*z - l for z.
-5
Let o(s) = -4 - 4*s - 7*s + 25 + 0*s + 5. Let i be o(2). Solve -5*v - 15 = 3*t - 0*v, i*v = 0 for t.
-5
Suppose 3*y - 5*d = 199, 3*y - 164 = -4*d + 2*d. Let k = 60 - y. 