Solve -6 = -3*k - 5*x, -k - 6 + r = -x for k.
-3
Let g be -6*((-224)/(-12) + -4). Let z = 114 + g. Suppose 6*o = -8 + z. Solve -k - 25 = 5*m + 4*k, -3*m = -o*k - 9 for m.
-1
Let n = 57 + -55. Suppose 3*m - n - 16 = 0. Suppose m*a - 2*a - 2*d = 14, 3 = -d. Solve -4*f + y = -5, 16 = a*f + y + 3*y for f.
2
Let i be 5 - 3/((-3)/(-218)). Let w = 215 + i. Solve -4*d + 28 = 4*y, 0 = w*d - 0*y + y - 11 for d.
4
Suppose -28*v + 17863 = 17751. Solve -5*c + 20 = -5*u, -5*u + 4*u = v*c - 11 for c.
3
Suppose -2*j - n + 6 = 0, -164*n = -4*j - 162*n + 12. Solve -5*z - 2 = -4*m, -z = -4*z + j*m for z.
-2
Let s be 20*1*(-55)/(-110). Let o(u) = u + 10. Let f(b) = -5*b - 1. Let a be f(1). Let z be o(a). Solve -z*g + s = -5*q, -5 = -5*q - 5*g - 15 for q.
-2
Let y(s) = -18*s**2 + 9*s - 6. Let g be y(3). Let r = g - -148. Solve 3 = -x - k, -r = -5*x + 4*k + 5 for x.
0
Let p be (1 - -3)*(-15)/(-2). Let a(n) = 13 - 57 + 2*n + p. Let t be a(8). Solve r - 10 = 2*m, 0 = t*r - 1 - 3 for m.
-4
Suppose 22*g - 23 - 5 = 16. Solve -r = -g*k + r, -21 = -2*k - 5*r for k.
3
Let w(l) = l**3 - 28*l**2 - 94*l + 36. Let y be w(31). Solve 4*x = -y*j - 2, 0 = 4*x - 2*x + 3*j for x.
-3
Suppose 273 = 167*i - 64*i - 242. Solve -46 = n - 2*r - 49, i*r = -5*n + 15 for n.
3
Let f = 32168 + -32160. Solve -10*p - f = -7*p - m, 5*p + 5*m = 0 for p.
-2
Let l be 304/133 + (-10)/35. Solve 0 = -4*a - 2*s - 8, -a + 2 = -l*a - 4*s for a.
-2
Suppose -o = o. Let b = 89 - 87. Suppose o*u + b*u = 0, -2*p + 20 = -3*u. Solve 4*j = j - 5*y + p, -y = -3*j - 20 for j.
-5
Let l be 219/9 + 1/(-3). Let r(s) = -2*s**3 + 16*s**2 - 26*s + 15. Let o be r(6). Solve -o + l = -5*i + 4*y, 3*i + 15 = 3*y for i.
-1
Suppose 2*a - 12*z + 15 = -9*z, -a - 2*z = -10. Suppose a = 39*q - 3*q - 144. Solve -p - 3 = -2*x, -q*x = -5*p + x + 5 for p.
5
Let n = -38 - -41. Let w be 0 + (2/1 - n)*1. Let t be 15 + -12 + (w + 1)*1. Solve -4*q = 3*u - 23, -4*u = -t*u - 1 for q.
5
Let x(g) = -13*g + 81. Let s be (-2 - -4)*(-6)/16*-8. Let q be x(s). Solve -r + 3*a = 8, -2*r + q*a - 4 = 6 for r.
-2
Let c be 2/(-1) + 0 - 1 - 5. Let g(t) = -6*t - 46. Let r be g(c). Solve 5*h + 1 - 6 = 5*n, -n = -r*h + 5 for n.
3
Suppose -3*j - 1160 = -5*y, 5*y + 476 = -j + 56. Let x = j - -400. Solve -2*m = 5*a + 19, -2*a + 3 = x*m - 2 for a.
-5
Let t = 738 - 213. Let i = t + -524. Solve -19 = u - 5*u + x, i = x for u.
5
Let h be (-222)/(-370) + 22/5. Suppose 4*a = 5*o - h, 0 = -5*o + a - 3*a + 35. Solve 2 = 2*p, -o*p + 4*p = -4*m - 13 for m.
-3
Let d(u) = 38*u + 249. Let k be d(-6). Solve -3*p + 4*x - 31 = 0, 10*x + k = -p + 14*x for p.
-5
Suppose 154*j - 7 = 160*j - 19. Solve 5*x + 9 = -r, -5 = j*x - 0*x - r for x.
-2
Let g be (-3)/5*290/(-174). Let w be 21 + -10 + (2 - g). Solve -3*f - f - 2*t - 2 = 0, 4*t - w = 0 for f.
-2
Let m = -116 + 53. Suppose -3*n - 91 = 92. Let b = n - m. Solve b*c - 14 = -0*c - 4*d, 2*c + 3*d - 10 = 0 for c.
-1
Let n = -119 - -125. Solve -3*c = 5*i + c - 12, -i - 2*c + n = 0 for i.
0
Let w(l) = -2*l**3 - 70*l**2 - 68*l + 9. Let m be w(-34). Solve -4*q + 0*x + 4*x = -24, -4*q = x - m for q.
3
Suppose -5*x = -0*v + 3*v - 38, 42 = 2*v - 5*x. Let t(p) = -2*p - 46. Let w be t(v). Let n = -70 - w. Solve s = -3*s + 8, -3*g - n = 2*s for g.
-4
Suppose 5*i - 32 = x, x + 98 = 101. Solve -19 = -3*v - 3*n + 2, 4*v - 3*n = -i for v.
2
Let d = 36 + -31. Suppose -d*b = -33 - 2. Let n be (-3 + 2)/((-1)/2). Solve -3*c = n*q, -q + c + b = -c for q.
3
Let m be (-2)/((-38)/12 + (-360)/(-144)). Solve -2*a + 5*b - 12 = 0, -m*a + 7*b - 1 = 8*b for a.
-1
Suppose -61*f + 3*v - 15 = -64*f, 0 = -5*f - 4*v + 26. Solve 3*c + 6*m - f = 7*m, 0 = -c + 3*m + 18 for c.
0
Suppose -x - 2*y = -87 + 97, -2*y = 10. Suppose -11*b - 12 + 45 = x. Solve 6 = -4*s + 5*l, -3*l = b*s + 2*s + 26 for s.
-4
Suppose 11*n = 6*n - 2*m + 112, 0 = -4*n - 5*m + 76. Solve -4*f = 4*s - n, -1 - 20 = 4*f - 5*s for f.
1
Suppose 0 = 30*q - 71 + 11. Solve r + g = q*r, -g + 6 = 5*r for r.
1
Let s = 304 + -302. Let a be (s - -1)/(-10 - -7 - -4). Solve -4*p + 6 = -a*r - 14, r = p - 6 for r.
-4
Let z = 207 + -93. Let p = -110 + z. Suppose -3*t = -p*d - 2*t + 10, -t + 6 = 4*d. Solve 5*j + d*c - 2 + 8 = 0, 10 = -j + 4*c for j.
-2
Let o = -11911 + 11912. Solve -2*b - p = -o - 3, -5*p + 20 = 4*b for b.
0
Let l = 103 + -99. Suppose -7*t + 2 = -6*t + 3*c, 4*c + 72 = l*t. Solve 0*g = -2*x + 2*g + t, g = -5 for x.
2
Let d = -3397 - -3399. Solve -s - 17 = -5*n, -5*n + 12 = -d*s - 2 for n.
4
Suppose -a = -4 - 5. Suppose -4*l = -a*g + 4*g - 23, 5*l - g = 13. Solve -d - 3*w = -14, -2*d + 2*w = l*d + 14 for d.
-1
Let c = 834 + -831. Suppose 0 = 6*q - 3*q - 30. Suppose 0 = -5*j + c*j + q. Solve -4*b - 1 = 3*m - 9, 5*m = -5*b + j for b.
5
Suppose -v + j - 5 = -2*v, 2*j = 4*v - 2. Let x = v + 0. Suppose -213*r + 220*r = 14. Solve -r = x*h - 2*f + 6, 2*f - 11 = -h for h.
1
Let x(s) = s**3 - 13*s**2 - 26*s - 27. Let o be x(15). Solve 16*h = 11*h + 4*k - o, 0 = 5*h + k + 23 for h.
-5
Let t = -3482 - -3484. Solve t*q + 3*y = 13, -2*y = -2*q - 0*y - 2 for q.
2
Let r be (16/(-52))/(6/(-39)). Solve r*u + 25 = 3*p, -4*u + 5*p = u + 50 for u.
-5
Suppose -18*n + 134 - 550 = -70*n. Solve 5*q = -u - 21, n + 7 = 5*u + q for u.
4
Let m be (-131)/(-19) - (4 - (-390)/(-95)). Solve 5*d - 3*u + 2 = 0, 13 + m = 2*d + 4*u for d.
2
Let x(a) = 2*a**3 + 15*a**2 - 18*a - 51. Let g(h) = h**3 + h - 1. Let b(u) = g(u) - x(u). Let m be b(-16). Solve 0 = -4*f - 5*t - 13, -f - 5 = 5*t - m*t for f.
-2
Suppose -2 = -u + 1. Suppose -t - 2*f - 21 = -5*f, 3*t + 2*f = 14. Solve 0 = 5*h + 5*o - t*o - 15, u = 5*h + o for h.
0
Let s(o) = o**3 - 6*o**2 + 12. Let a be s(6). Let i be -3 + (-5)/((-10)/a). Suppose -2*v = 22 - 54. Solve 5*q = i*d + v, q + d = 2*d + 4 for q.
2
Let u = -12530 - -12540. Solve 5*l - 2*p + 14 = 0, 6 - u = -l - 3*p for l.
-2
Let l = 20 + -17. Suppose u + 0*u - 23 = l*c, 0 = 3*u - 5*c - 81. Suppose 12*w - u = 11*w. Solve 2*b - 3*i + 20 = 0, 4*b - 3*i = -b - w for b.
-4
Let w be (270/(-720))/(1*1/(-16)). Solve o + w = r - 3*r, 15 = 4*o - 5*r for o.
0
Suppose -4*s + 4*z + 32 = -s, 0 = 4*s - 4*z - 36. Let f = 63 - 40. Let c be (-3 - -1)/((13 - 17)/4). Solve -5*k = c*t, t + 4*k + f = s*t for t.
5
Suppose 10*d + 4*u + 16 = 5*d, 3*d - 3*u + 15 = 0. Suppose 0 = 4*g - 2*g. Let o = g - d. Solve o*r - l + 25 = -6*l, -2*l = 10 for r.
0
Suppose b + 9*j - 21 = 4*j, 3*b - j - 31 = 0. Let v be (-1)/(-5) - b/55. Solve 5*i + 5 = -3*d, 2*d + v*d = -i - 8 for i.
2
Let f(z) = -z**3 - 15*z**2 + 31*z - 47. Let j be f(-17). Solve h = -2*k - 2, 10 = -k - 0*h + j*h for k.
-2
Let q(d) = -d + 24. Suppose -9*v + 10*v = 18. Let c be q(v). Solve 0 = i - 2*z + 1, 3 = 3*i - c*i + 2*z for i.
-1
Suppose 640 = 13*c + 3*c. Suppose j = -9*j + c. Solve -18 = j*q - 3*x, -5*q + 1 = -6*q - x for q.
-3
Let m be 2/13 + (5 - 70/455). Solve 10*l = 7*l + c - 9, 4*c = m*l + 8 for l.
-4
Suppose 0 = -43*h + 41*h - 4. Let s(f) = -f**3 + 2*f**2 + 5*f - 1. Let l be s(h). Solve -l*m + 3*n - 19 = 0, -4*n - 15 = 4*m + 13 for m.
-5
Let g = 261 + -257. Suppose -4*x + 14 = 2*s, -3*x = -3*s - x + 13. Solve 5 = -v, -g*v - 30 = -s*h + 15 for h.
5
Suppose 3*h - 432 = -5*d, 4*d - 127 = -h + 8*d. Suppose 17*f - h = -71. Solve 13 = f*j + 5*s, j + 3*s = -3*j + 11 for j.
2
Suppose 4*t - 3*t = 3*s + 10, -4*t + 74 = 5*s. Let p(j) = 4*j + 3. Let k be p(-4). Let b = t + k. Solve 5*m - 16 = 2*m + h, -b*h = m + 8 for m.
4
Let y = -2480 - -2484. Solve -4*k = -4*w + 2 + 14, 10 = -y*k - 2*w for k.
-3
Let u(n) = -144*n + 868. Let g be u(6). Solve -g = 10*k - 5*k + 3*h, -6 = 4*k + h for k.
-2
Let d be (210/(-42))/(2/22). Let q = 57 + d. Let a be (-1)/((-1)/2)*4. Solve -q = -v, p + a = 3*p + 3*v for p.
1
Let c be ((-4)/(-6)*-1)/(2/(-15)). Let i be 27/(-36)*-4 - (-1 - 1/1). Solve c*x + 4*o = i, 5*o = o for x.
1
Suppose 0 = 5*b - 137 + 127. Suppose -2*o + 3*s = -44, 41 + 39 = 4*o - b*s. Solve 0 = -2*w + 4*v - 12, 0 = 4*w - v - 2*v + o for w.
-4
Let w(n) = -n**3 - 13*n**2 + 7*n - 47. Let m be w(-14). Suppose 225 = -36*k + m*k. Solve -3*o + 27 = -3*i, 2*i - o - k = 7*i for i.
-4
Suppose 2 = -4*h - 3*y + 9, 2*y - 2 = -2*h. Solve -h*p + 23*i = 24*i + 6, 2*p - 3*i = 4 for p.
-1
Suppose -8 = -3*l - 2*n, -2*l - 250*n + 255*n = 1. Solve -22 = -4*i + 2*s, 0*i - 2*s = 4*i - l for i.
3
Let c be 36 + -18 + 2*3. Supp