 54. Let v be l(-18). Let t = 18 - v. Solve j = 3*h - t*h, -3*j - 3*h = 12 for j.
-3
Let q(c) = -c**2 + 5*c + 5. Let n be q(5). Let l = 5004 - 4994. Suppose n*u = 10*u - l. Solve -m + 9 = -3*b + 1, 3*b + 20 = -u*m for m.
-4
Suppose 3*u = -4*g + 1427, -3*u + 975 + 808 = 5*g. Let m = 361 - g. Solve -2*k + 13 = 2*h + 3, 3 = 2*h - m*k for h.
4
Let p = -175 - -175. Suppose 3*w + u = 4, p = -0*w + 5*w - 3*u - 30. Solve w*c + c = -5*z + 7, 4*c = -2*z + 10 for z.
-1
Let s = 2554 + -2541. Solve 0 = -3*d - 3, 0 = -2*b - 4*d - d - s for b.
-4
Let a be -4*(-2 + -2 + (-195)/(-60)). Solve -p = t - 6*p - 5, t - a*p = 1 for t.
-5
Suppose -4*u + 60 = -q, u - 5*q = -9*q + 15. Suppose 5*p - i = 17, -u = -3*p - 6*i + 5*i. Solve m = -3*z - 2*z - 10, 0 = -p*m + 2*z - 18 for m.
-5
Let q be (-3)/(-1*(-3)/(-2)). Suppose -5*m = 2*x - 17, q*m - 2*x + 6*x + 6 = 0. Solve -m*j + f = 8, -4*j - 3*f = -0*f - 5 for j.
-1
Let k = -6259 + 6259. Solve 2*l - d - 1 = 0, k = 3*l + d + 11 - 10 for l.
0
Let a(c) = -c**2 + 15*c - 42. Let o be (48/168)/(2/42) + 5. Let l be a(o). Solve 5*n = -5*z - 5 - 0, 2*z + l = 0 for n.
0
Suppose 0 = -5*h - 306 + 2041. Suppose -9*l - h = -464. Solve -2*o + 7*o + 2*m = -l, -3*o + 17 = -5*m for o.
-1
Suppose 50 = -31*n + 29*n. Let a = n - -30. Let l(g) = -7*g + 2. Let k be l(-4). Solve -a*u + 2 = c - 18, -c = -5*u + k for c.
-5
Let x be (527/51 - 10)*9. Solve -2*f + 5*r - 7 = 0, -4*f + x*r = 186 - 179 for f.
-1
Let j = 26354 - 26336. Let v = -4 - -6. Solve j = -v*g + 4*s + 2, -g + 4*s = 14 for g.
-2
Suppose 0*o - 294 = -46*o - 52*o. Solve 0 = m + 4*n - 2 - 3, 3*m + o*n + 3 = 0 for m.
-3
Let h(c) = -40*c + 5. Let v be h(0). Suppose 0*d + 5*d + 15 = 0. Let y(a) = -a**3 - a**2 + 5*a + 2. Let g be y(d). Solve v*l = 2*i - 18, 2*l = -i + l - g for i.
-1
Let i = 108 - -33. Let r = i + -138. Solve 5*c = r*d, c - d = -4*c for c.
0
Suppose 5*x = -2*f + 393, -2*x - 612 = -3*f - 5*x. Let t = f + -209. Solve -5*b - 21 = -4*p, -p - 3*b - 2*b - 1 = t for p.
4
Let d(j) = 2*j**2 + 27*j - 5. Let l be d(-7). Let x = -92 - l. Let y be x*(-1 - ((-9)/(-2))/(-3)). Solve 2*o = -y*v - o + 8, 5*v - 20 = 4*o for v.
4
Let t(u) = u**3 - 23*u**2 + 21*u + 27. Let f(c) = -c**3 + 6*c**2 - 6*c + 27. Let o be f(5). Let w be t(o). Solve 2*l + 10 = h - 1, -4*h + 35 = -w*l for h.
5
Suppose -2*d + 4*s = 5 + 21, -3*d = 5*s - 5. Let v be 11*(6 - (d + 10)). Solve 5*i - 4*j + v = 0, 2*i - 4*i - 2 = -4*j for i.
-3
Let x = 65 - 54. Suppose 25 = -6*p + x*p. Suppose -p*y - 2*w + 18 = 0, 4*y - w - 19 = 2*w. Solve 3*r + y*t - 17 = 4*r, 0 = 3*r + 5*t for r.
-5
Let m = -134 + 136. Suppose 2*s + 5*n + m = 0, n - 2 + 0 = -s. Solve 2*o = o + s*z + 13, 0 = -4*o + z - 8 for o.
-3
Suppose j = 2*z - 53, 2*z - 73 = 4*j - 7*j. Suppose -6*u - 4 = -2*u, -4*u - z = -5*c. Solve -2*o + 2 = -4*q, 4*q = 4*o - 1 + c for q.
-2
Let a be ((-256)/320 + 8/10)/1. Solve 16*f = 18*f - 4*i - 14, a = 5*f - 4*i - 17 for f.
1
Let j(a) = a**3 + a**2 + 3. Let w be j(0). Suppose -6*k + 3*k - w*l + 6 = 0, 4*k = -2*l + 8. Let n = 3410 - 3406. Solve 3*i - k = -n*r - 3, 0 = -3*i + 3 for r.
-1
Suppose 2*i - 480 = -2*i. Let z = i - 42. Let w be (2 - (-48)/(-28)) + z/21. Solve -u = -h - 0 - w, -5*u - 12 = 3*h for u.
0
Suppose -2*h + 2*u - 76 + 176 = 0, 2*h + u - 115 = 0. Let y = 6 + -4. Suppose y*m - 57 = -h. Solve 4*x = v + 1, 3*x - v - m - 1 = 0 for x.
-1
Let b(k) = k**2 + 11*k + 6. Let h be b(-10). Let c(p) = 3 - p - 37 - 5*p - 4*p. Let j be c(h). Solve 2*r + 4*w = j*w + 8, -r = w - 6 for r.
5
Let j(g) = g**2 + 28*g + 24. Let u(o) = o**2 + 25*o + 24. Let w(n) = 5*j(n) - 6*u(n). Let m be w(-6). Solve -r + x - 25 = -6*r, 4*x = m for r.
5
Let g be 1 + (-6 - -4*(-2 - (-1 - 3))). Solve g*n + 10 = -v, 2*v + 4 = -4*n + 3*v for n.
-2
Let h = -4 - -4. Let d be (h - 0) + 338/((-65)/(-5)). Solve 4*a - 2*g = -d, 0*g + 3*g - 9 = 0 for a.
-5
Suppose -k + 0*k = -283. Suppose k*o - 284*o + 5 = 0. Solve t - 27 = o*s - 3*t, 5*t = -4*s + 3 for s.
-3
Let h(f) = f + 20. Let u be h(-9). Let z be 24/(-16)*(0 - -2)/(-1). Suppose -z*x + 1 = -u. Solve -2*c - 1 = p, x*c + 0*p = p - 11 for c.
-2
Suppose 357 = 21*a - 1239. Suppose -a = -15*f - 16. Solve -4*d = -4*j + 2*j - 12, 0 = -2*j + f for d.
4
Suppose 55*f - 45*f - 30 = 0. Solve -24*m + n + 5 = -27*m, -f*n = 5*m + 11 for m.
-1
Let h = 316 + -314. Suppose 2*l + j - 15 = 0, 25 = 7*j - h*j. Solve 0*v - 25 = -5*v + l*w, 11 = v - 4*w for v.
3
Suppose 0 = 4*h - 5*c - 77, 5*h - 3*c - c = 85. Suppose 7 = 7*a - 9*a - 3*z, 3*z = -9. Solve -6 + a = -q + u, -3*q + u = -h for q.
4
Let t(y) = -13*y - 112. Let i(p) = -37*p - 335. Let l(k) = -4*i(k) + 11*t(k). Let d be l(-21). Solve -7 = -2*s + 5*a + 3, 22 = -2*s - d*a for s.
-5
Let c(o) be the first derivative of o**3/3 + 9*o - 1. Let h(m) = 33*m - 623. Let x be h(19). Let f be c(x). Solve -j + b + 1 = -2*j, -5*j + 5*b + f = 0 for j.
2
Let d(r) = 5*r**2 - 15*r + 50. Let k be d(5). Let z = -92 + k. Solve 4*b = 2*g + z, -g + 0*b + 14 = 4*b for g.
2
Let x(l) = l**2 - 9*l - 8. Let s = -69 - -69. Suppose -z - z + 4*b + 32 = 0, -5*z - 3*b + 41 = s. Let y be x(z). Solve -7 = y*n - i, -n = 2*i + 1 - 5 for n.
-2
Let b(u) = 2*u + 58. Let g be b(21). Let o = 105 - g. Suppose o*y - 7 = s + 4, 5*y - 9 = -s. Solve 0 = 4*i - y*a - 26, -2*a + 9 = 5*i - 1 for i.
4
Let r(k) = k**2 - 6*k - 11. Let f = -58 + 67. Let j be r(f). Solve -4*t = 3*z - z + j, -24 = -2*z + 4*t for z.
2
Let m be (-18)/(-45) + (-18)/(-5). Suppose 1 = u - m*x, -3*u + 3*x = u - 4. Solve z + 2 - u = -w, -19 = -5*w + z for w.
3
Let r(d) = 8*d - 11. Let g be 2/(-2) - ((0 - -1) + 1). Let l be r(g). Let m = l + 35. Solve -u + 5*o - 15 = 15, 2*u + 2*o = m for u.
-5
Suppose 5 + 53 = 12*n + 17*n. Solve 0 = -3*o - n*w + 6, -36*w = -2*o - 35*w + 11 for o.
4
Suppose 6818*r = 6792*r + 104. Solve -5*v = -r*w - 22, 14*w - 13*w = 2*v - 7 for w.
-3
Let s be -1 - (2 - 0)*-6. Let w be (23 + 1206/(-54))/((-60)/(-27) + -2). Solve 9 = o + 4*x, 0 = -2*o - w*x + 2 + s for o.
5
Let o(d) = 4*d + 120. Let v be 27*(3 + -4)*1. Let n be o(v). Solve p - 25 = 5*h, 4*h - 2*p + 14 = -n for h.
-4
Let i = 237 + -140. Suppose 20 = -3*f - f, 340 = 3*t - 2*f. Let y = t - i. Solve -3*j = r - y, 3*r - j = -6*j + 19 for r.
-2
Let i(v) = -v**3 + 5*v**2 - 4*v + 1. Let g be i(4). Let f be 1*2/(2 - g). Solve y + y - 5 = 3*u, -2*u = -f*y + 6 for u.
1
Let v = -2144 - -2177. Solve 8 - 43 = 5*q, -3*b + 3*q + v = 0 for b.
4
Let d(u) = u**2 + 3 - 91*u + 40*u + 47*u. Let a be d(3). Suppose 3*f = -3*q + 18, 4*f + 3*q - 22 = -a. Solve -2*h - g + 1 = -0, -2*h - 2*g = -f for h.
-1
Let d = 20326 - 20322. Solve -d*x - 8 = 5*o, 13*x + 4*o = 10*x - 7 for x.
3
Let f be ((-17)/3)/(8/(-24)). Let k = 138 + -134. Solve -f = 4*z + y, 0 = -5*z - k*y - 27 - 8 for z.
-3
Let q = -2108 - -2113. Solve -s - q*v - 10 = 0, s + 3*v = 2*s - 14 for s.
5
Suppose -2*w = -9*w + 1022. Let o = 147 - w. Solve -2*k + 2*j - o + 5 = 0, 5*k - j + 10 = 0 for k.
-3
Let f be (-54)/(-13) + 396/(-2574). Solve 0 = z + 5*m - 17, 0 = f*z + 6*m - m - 8 for z.
-3
Let j(b) = -2*b**2 + 65*b - 334. Let v be j(26). Solve 4*x + v*k = 0, -9 = -4*x + 8*x + k for x.
-3
Let h(z) = -z**3 - 10*z**2 - 25*z - 142. Let r be h(-9). Solve -3*g + 4*l = -19, 4*l - 23 = -5*g - r for g.
5
Suppose 0 = 4*t - 0*q + 4*q, -25 = -4*t + q. Suppose t*r = -0*r + 25, -5*r = 5*s - 65. Solve -5*g + 3*g + s = 2*u, -2*u - 4*g = -6 for u.
5
Let j(b) = -14*b - 30. Let d be j(-5). Let o = d + -37. Suppose 17 = 4*t - o. Solve -t*r + 10 = 3*l, -4*l - 4*r = -l - 5 for l.
-5
Let v be -19*(-2)/3 + -1*(-7)/21. Solve -v*w - 3*r - 28 = -9*w, 0 = 4*w - 4*r for w.
-4
Let n be ((-15)/(-6))/(2/20). Suppose -5*l = 2*j + 3*j - n, 0 = l + 3*j - 9. Solve 2*v + 4*i = 24, 28 = l*v - 3*i + 7*i for v.
4
Let b(r) = -r**2 + 4*r - 13. Let z be b(-13). Let j be 104/z*(-9)/2. Solve 4*s = -2 - 10, j*n + 2*s = 4 for n.
5
Suppose 0 = 40*y - 55*y + 75. Solve y*o - 16 = -9*b + 12*b, 10 = 2*o for b.
3
Let p be 1 + 2/6*(16 + -10). Suppose 8 = w - 3*m - 3, -p*w - m = -3. Solve w*z + n - 4 = 3*z, z = 5*n - 20 for z.
0
Suppose m + 4 = -m, -2*j + 3*m = 1322. Let n = -655 - j. Solve d - 4*b = -d, 3*d = -3*b + n for d.
2
Suppose -48*g + 6*g - 411 + 1125 = 0. Solve -13*w + 10*w + 2*l = -g, -5*w - l = -11 for w.
3
Let s = 52 - 49. Suppose s = 8*m - 7*m. Suppose 0*i = i + 4*d - 24, 0 = m*i +