 x = -j + 4*a, -4 = -a for j.
-5
Let c(u) = -172*u - 1200. Let m be c(-7). Solve -13 = m*v + 9*j - 14*j, 5*v + 12 = 2*j for v.
-2
Let n = 164 - 107. Suppose n*p - 46*p - 22 = 0. Let g(a) = -3*a + 6. Let r be g(-4). Solve 3*b - 3*i = r, -i + p*i - 6 = -5*b for b.
2
Let h(a) = 26*a - 25*a - 1 - 1. Let f be h(5). Let c = 1659 - 1656. Solve -f*i = -2*g - 4, 5*i + g - c*g = 0 for i.
-2
Let c = 282 + -248. Suppose -c = -4*p - 2*k, -8*p = -3*p + k - 50. Solve 3*a - a + 6 = 0, -a - p = -2*g for g.
4
Let x be 0 + 1/((-1)/5) + 3. Let s = 63 + -45. Let y be (x - s/(-8))/(4/80). Solve 0 = o + 4, -2*o = -y*r + 24 + 9 for r.
5
Let g(t) = t - 68*t**3 + 2 + 0*t + 69*t**3 + 2 + 4*t**2. Let s be g(-2). Let u be s/3 + 4/6. Solve -2*k - n + 5 = 0, -k = -2*n + u*n - 10 for k.
0
Let w(g) = -2*g**3 - 23*g**2 + 13*g + 17. Let p be w(-12). Solve 0 = -a - 3*c + p, 14*c = 3*a + 16*c - 8 for a.
2
Let k be 1 - 4*2 - (-1233)/137. Solve -5*r + 5*q + 40 = 0, k*r + 4*q + 5 = -q for r.
5
Suppose 29 = -2*v + 3*g, -4*v - 49 = 5*g - 2*g. Suppose 2*y = -y - 3, -2*k = y - 7. Let n be 3/(-12) - v/k. Solve 5*a - 10 = 2*m, 2*m = -n*a + 5*m - 3 for a.
4
Let c = -86 - -106. Let m(p) = -p**2 - p - 18. Let s be m(0). Let b = c + s. Solve l - 14 = 5*j - 40, -3 = -j - b*l for j.
5
Let l(r) = r + 4. Let y be l(-2). Suppose -5*z - 14 = y*h, 0*h + 2*z = -h - 5. Suppose 44 = 26*w - 4*w. Solve 3*s = -2 - 1, -w*b = h*s - 3 for b.
3
Let i = 2380 - 2377. Solve -i*c - 13*l = -16*l + 3, -2*c + 14 = 2*l for c.
3
Suppose 3*i = 14*i - 22. Let q be 25 + -22 - (i - 2)/(-3). Solve -4*t + 1 = 4*w + 5, -2*t - q*w = 3 for t.
0
Let w be (37/(-2))/((-35)/30 + 1). Let r = 113 - w. Solve -5*h - 15 = c, -r*c = -2*h + c - 6 for h.
-3
Suppose 6 = 3*n + 4*c, -68*n + 64*n - 2*c = -8. Solve 2 = 4*f - n*h, -2*f = -3*f + 2*h - 1 for f.
1
Let q be ((-24)/88*2)/((-6)/88). Solve -q*m + 11*m - 3 = -4*o, -2*o - 31 = -5*m for m.
5
Let b(j) = -j**3 + 7*j**2 - 38*j + 209. Let z be b(6). Solve 1 + z = -3*x + d, -d = 5*x + 22 for x.
-5
Suppose -3*h + 3*x - 6 = 0, -2*h + 0 - 14 = -4*x. Solve -2*d - 10 = 4*n, n - h*n = 2*d + 6 for d.
-1
Let k = 73 - 70. Let y be 4/(-1 + k - 0). Suppose -7*w + 4 = y*b - 3*w, 2*b = -5*w + 4. Solve -2*p + 3*j - 2*j - 7 = 0, -b*p - 4*j - 22 = 0 for p.
-5
Let g = 61 + -57. Let c be (-2)/7*-1 - 12/(-7). Solve -j - 3*j = -c*s + 14, -5*j = -g*s + 16 for s.
-1
Let q be 9*(-6 + -1)*(1496/168 + -9). Solve -z + q*z = 5*f + 25, 3*f - 2*z = -10 for f.
0
Suppose 8*n + 861 = -67. Let o = n - -122. Solve -o*k + 4*u = -5*k - 8, 0 = -5*k - 2*u - 26 for k.
-4
Let d be (-2 - 1)/(2 - 99/36). Suppose -v + d*r = 6*r - 27, 2*v - 22 = 4*r. Solve 15 = -h - 5*a, 2*a + v = h - 4*h for h.
-5
Let x be ((-1)/(-2))/(18/(-5292)). Let n = x - -148. Solve f = n, -4*r - f + 6 + 11 = 0 for r.
4
Suppose -2*h + 1 = 17, -8*r - 3*h = -152. Solve -r*m + 5*u = -18*m - 6, 4*m + 3*u - 22 = 0 for m.
4
Let c be ((-26)/(-351))/(2/12) + 496/18. Suppose v - 5*b - 10 = 0, 5*v - 3*v - 4*b - 8 = 0. Solve v = 5*t + 2*j + 30, 2*t - j + c = -5*j for t.
-4
Let w(p) = -4*p + 6*p + p + p + 30. Let y be w(-7). Suppose 4*g - 7 = 13, -y*g = 2*m - 16. Solve -5*q - 3*r + 33 = -r, 5 = -m*q + 5*r for q.
5
Let b = -2168 - -2172. Solve n = 2*j - b, -5*n = -0*n - 3*j + 13 for n.
-2
Let m be (-132)/30 + -4*(-2)/20. Let y(a) = a**2 + 10 + 6*a - 4*a + 4*a + 0*a. Let r be y(m). Solve 5*h = 2*q + 28, 6 = -2*h - 3*q + r for h.
4
Let h = 59 + -57. Suppose 0 = t - w - 4, -5*w = -h*t - 3 + 17. Solve 0 = -3*o - 2*y + 6, t*o - y = 7*o - 17 for o.
4
Let i(o) = 3*o**2 + 25*o - 15. Suppose -2*c = -35 + 53. Let r be i(c). Solve 5 = -3*q - 0*t - t, 0 = -3*t + r for q.
-2
Let g = -99 - -99. Suppose 4*q + 19 = 5*w, w + q + g*q = 11. Let s be 16/7 - (-10)/(-35). Solve z + w = j, -s*j - 21 = 4*z + z for z.
-5
Let o(p) = -7*p - 35. Let y be o(-7). Solve s = 16*c - y*c - 15, s + 2*c = 5 for s.
-5
Let k(b) = -7*b**2 + 108*b + 64. Let l be k(16). Solve l = a - 2*o + o, 3*a = -o - 20 for a.
-5
Suppose u = 3*a - 10, 2*a - u - 12 + 4 = 0. Let q = -162 + 166. Suppose -3*m - 5*j = -1, j - 5 = -m - q. Solve 3*h - a*g - 16 = 0, -h - m*g = -0*g for h.
4
Let h = 98 - 84. Let y be (h/(-4) - -3) + (-6)/(-4). Suppose -5*a - 7 = -4*t, 4 = 3*t - 4*a - y. Solve 4*c + 2*j - 6 = 5*c, -3*c - 12 = -t*j for c.
-2
Suppose -11*g - 2410 = -78. Let u = 213 + g. Solve 2*n = 3*q - 7, 0 = -q - u for n.
-5
Let h be (130/195)/(1/(-2 - -8)). Solve -h*u = a + 7, 7*u = 9*u + 4*a for u.
-2
Let v(d) = -d + 2. Let a be v(-6). Let r be 3/2 - 610/(-20). Suppose r - 37 = -f. Solve -c - 17 = 3*k - a*k, -f*k + 20 = 0 for c.
3
Let y(r) = r**3 + 5*r**2 + 65*r + 430. Let c be y(-6). Solve 5*a - 6 = -3*q - 20, -q = -c*a - 18 for a.
-4
Let p(r) = 6*r + 72. Let l be p(-14). Let j(k) = -k**3 - 11*k**2 + 10*k - 6. Let u be j(l). Let t = -8 + 11. Solve -2*a + a = 4*w - 1, 0 = 3*a - t*w - u for a.
5
Suppose 28 = 193*t - 189*t. Suppose 0 = t*h + 13 - 41. Solve -2*k - 2*b = 0, -5*k + 2*b + 15 = h*b for k.
5
Suppose -n = -3*u - 3, 2*u + 9 + 4 = -3*n. Let f be 704/121 + u/(-11). Solve -3*w - 4*o = -f*w + 4, 0 = -w + 3*o + 3 for w.
0
Let g be (1 + -1)*(2 - 3). Let z(n) = -n**2 + 13*n - 9. Let f be z(12). Suppose f*j = 12*j - 27. Solve -8 = 4*u - g*h + j*h, -28 = 4*u - 2*h for u.
-5
Let v be ((-6)/36*0)/((0 + 1)*2). Solve -5*p + 17 = -w - 13, 4*p - 20 = v for w.
-5
Suppose -m = -2*f - 2*f - 2, -2*f - 12 = 5*m. Let d be (f/(-2))/(7/56). Solve 0 = -4*s + j - d - 14, -s = 2*j for s.
-4
Let w(d) = -36*d + 2307. Let t be w(64). Solve 0 = -k + t*f + 6, 18*f = 22*f + 8 for k.
0
Let j = 7 + -5. Suppose 65 = 5*q + 5*h, -2*h - 11 + 22 = -3*q. Let r be 1*(-2 - -3)*2. Solve q*f = 2*t + j, r*f = -3*f - t - 14 for f.
-2
Suppose 0 = -q + 2*z - 8 + 20, 2*q - 5*z = 19. Suppose 10 = -q*g + 76. Solve g*w - 2 = -2*j, -4*w + 3 = j + 2 for j.
1
Suppose 5*h = m + 10, 81*m = 79*m + 10. Solve h*r = 2*u - 3, 2*r - 77 = 2*u - 79 for u.
0
Suppose -13 = -2*s - 3*w - 0, -5*s - 2*w = -49. Suppose s*x - r = 14*x - 11, -25 = -5*x - 5*r. Solve 4*g = -3*p - 3 + 2, p - 3 = -x*g for p.
-3
Let x = -51 - -34. Let p = x - -47. Let t = p - 30. Solve t = b + 5*q - 22, -4*q = -2*b - 2*b - 32 for b.
-3
Suppose -30*v - 19*v + 441 = 0. Suppose -93 = -24*s - 21. Solve 4*q + 22 = -3*r, -3*q - s*r - v = 9 for q.
-4
Suppose -40 = -4*f + 4*a, a + 9 - 8 = 0. Solve z = -3*g + f, -g + 14 = -4*z + 8*z for z.
3
Let h be (-5)/1*-1 - -1. Suppose -h*t + 17*t = 187. Solve -3*c - 9 = 0, -5*j - c + t = -0*c for j.
4
Let l = 9194 - 9174. Solve 0*g + 5*g = -5*i + l, 4*i - 11 = g for g.
1
Let x = -20301 + 20307. Solve 23 = -4*f - 5*q, q = 2*f - x*f - 11 for f.
-2
Let h = 1103 + -1097. Solve h*k - 5*k - 2 = 5*s, -5*s = 5*k + 20 for s.
-1
Let u = -602 - -605. Solve u*w - z - 6 = 7, w = -5*z - 17 for w.
3
Let s(p) = -240*p - 478. Let w be s(-2). Solve -8*o + 7*o + 1 = -a, 4*a = w*o + 6 for a.
4
Let s(r) = -r**3 + 21*r**2 - 106*r + 28. Let l be s(13). Solve 0 = -l*h - 3*p + 1, h + 11*p = 8*p - 4 for h.
5
Let h be (-264 + (-3 - -2))*(3 - 2). Let n = -261 - h. Solve 4*w = -o - 5, w = -4*o - 1 - n for o.
-1
Let f = -325 + 329. Let j(o) = 12*o - 48. Let z be j(f). Suppose 4*l - 2*l = 5*p, 4*p = -4*l + 56. Solve 3*m - 13 = -d, z = -2*m - 3*d + 8 + l for m.
3
Suppose 0 = -3*n - 17*z + 19*z + 30, 0 = -n - z + 15. Solve -p + 10 = 5*w, 3*p = -2*w + 5 + n for p.
5
Suppose 11*s = 32*s + 25*s. Solve 2*v + 6 = m, 5*m + s - 12 = v for m.
2
Let t be 6 - (-1)/((-218)/22 - -10). Let u be 2 + -2 + 2 - 3. Let k = 4 - u. Solve k*p = -2*o - 11, 0 = -5*o - 5*p - t - 3 for o.
-3
Let x = -5042 + 5047. Solve -x*k + 5 = -5*t, -2*k - 5*t + 48 = 32 for k.
3
Suppose 18*k + 105 = -17*k. Let t be 1 + (8 + k - 4). Solve t*d + 4 = -5*r, r + 3*d = 4*d + 2 for r.
0
Suppose 6*v + 6 = 30. Suppose -v*g + 0*g - 48 = 0. Let q be (-102)/g + (-2)/4. Solve 2*s - 6 = 3*s - w, -2*w + q = 0 for s.
-2
Let i(v) = -78*v + 2267. Let a be i(29). Solve -107*c = -104*c - 2*t + a, 14 = -2*c - 4*t for c.
-3
Let l be 216/(-12) - -34 - 10. Solve -d - 4*q + 8 = -9, -l = -2*d - q for d.
1
Suppose 5*c = -0*c + 75. Let t(r) = -2*r**3 + 3*r**2 + 22*r - 8. Let b be t(4). Suppose -8*q - 13*q + 105 = b. Solve q*w + y = -c, 2 = w + w + 2*y for w.
-4
Let s(p) = -p**3 - 2*p - 4. Suppose t - 6*x - 2 = -4*x, -5*t + x = 8. Let h be s(t). Let i be (h - 7)*6/(0 + 2). Solve -5*d - 