 54. Let d be i(19). Solve 1 = d*v + 4*w - 2*w, -v + w - 8 = 0 for v.
-3
Let b = -6 + 11. Let z = b - 3. Suppose -z*y = -3*y + 5. Solve -y*q = -5*h + 5, -2*h + 5 = -h + 3*q for h.
2
Let q = -1 + 6. Solve q*c - 4*i - 17 = 8, -c + 3*i + 5 = 0 for c.
5
Suppose -c = c + 2. Let r(d) = 2*d**3 + 5*d**2 + 2*d - 1. Let h be r(-3). Let u be (c - h/6)*3. Solve 18 = 2*o - u*z, 6 + 5 = o - 3*z for o.
-1
Let l be (3/(-2))/(6/(-8)). Let g be ((-6)/15)/(l/(-10)). Suppose -y - g*r = -6 + 2, -y = -r - 1. Solve 13 = 3*a - 2*c, -3*a + y*c + 23 = -2*c for a.
1
Suppose 2*q = 2*z, 5*z - 35 = -0*q - 2*q. Solve -z*y - 14 = -2*i - 5, -4*i = 12 for y.
-3
Suppose 20 = -d + 23. Solve 27 = 3*x + 5*u - 10*u, 0 = d*u + 9 for x.
4
Suppose -2*y = 4*m + 3*y - 178, 4*m + 3*y - 174 = 0. Let t be 384/m - 2/14. Solve -5*o + 4*w - 2 = t, -o + 3*w = 0 for o.
-3
Let i(s) = -s**3 + 5*s**2 + 6*s - 4. Let w be i(6). Let g be (-8)/(w/6*1). Solve 5*y + g = -3*p + 2, 4*y + 5*p - 5 = 0 for y.
-5
Let u = -14 + 24. Suppose -2*p = -u, 2*p - 26 = -3*n - n. Solve -6*v + 3*v + 27 = n*g, -5*v = 3*g - 34 for v.
5
Let w be ((-4)/5)/((-2)/5). Let r be (15/w)/((-7)/(-14)). Solve -1 = -b - 3*p, 0*p = 5*b + 5*p + r for b.
-5
Let j be (4/10)/((-3)/(-15)). Solve -3*k = 2*k, 4*v + j*k - 12 = 0 for v.
3
Let k(b) = b**2 + 2. Let x(u) = u - 5. Let g be x(7). Let h be k(g). Let i be 4/(16/6)*2. Solve i*t = 5*a - h*a - 11, -3*a + t - 13 = 0 for a.
-5
Suppose 4*o = -22 + 86. Suppose 0 = -3*d + d + o. Solve 5*x = -y + 3*x + d, -4*y = 4*x - 16 for y.
0
Let q be 4/10 + 54/15. Suppose -8 = -3*c + 1. Suppose i = -c*y + 5 - 4, -4*i - 2*y = -14. Solve 2*b - i*r + 8 = -3*b, 4*b = -q*r - 28 for b.
-4
Suppose 2*u - 11 = -3*c + 3, 4*c + 4 = 3*u. Let r(o) = o**3 + 6*o**2 - 9*o - 14. Let h be r(-7). Solve 0 = -h*v - c*v - 5*s + 5, -v + 5*s + 10 = 0 for v.
5
Suppose 3*f - 99 = -5*w + 62, -w = f - 33. Let l = -12 + 19. Suppose 3*k + l - w = 0. Solve -h + a - k = h, -a = h + 7 for h.
-5
Suppose 3*v + 2*v - f = 16, 0 = 3*v + f - 8. Solve -v*k + 4 = k, 0 = 2*s + 3*k - 9 for s.
3
Suppose 0 = 2*p + 5*x - 13, 3*p + 3*x = 4*p - 1. Let d = p + 1. Suppose -f - 3*b = -d, 0 = -f - 4*b + 1 + 4. Solve 0 = f*t - 4*c - 45, -2*c = t - c for t.
5
Suppose 4*h = 3 + 37. Let f = h - 6. Solve -4*d + 5*v = -8, v = -4*d + f*v for d.
-3
Let c(z) = -z**2 - 10*z - 7. Let l be c(-9). Solve 3*n - 2 = -2*b, -2*b + 3*n + l*n - 14 = 0 for b.
-2
Suppose -p + 6 = 3. Suppose 4*z + j - 88 = 0, -3*j = 3*z + 2*j - 66. Solve z = -2*m - g - 3*g, 3*m - p*g = -6 for m.
-5
Suppose -4*n - b + 8 = 0, -n - 3*b = -2*b - 2. Solve -2*y - n*z - 14 = 0, z = -5*y - 0*z - 19 for y.
-3
Let g(t) = -t**3 + 25*t**2 - t + 27. Let o be g(25). Solve -o*k - 5*h = 10, 2*k - 5*h - 22 = 8 for k.
5
Let h = 15 + -12. Let g be (0 + 0)/h + 3. Solve -k + 24 = 5*y, -y - 3*y = g*k - 28 for y.
4
Let x = -57 + 63. Solve -x*m + 2*m = -4*v, -4*v = 16 for m.
-4
Let l = 14 + 4. Solve -2*k = 5*v - 5, 0*v = 3*k - 3*v - l for k.
5
Let a = -17 - -20. Solve 9 = -b - 4*d, -a*b + 0*d = -d + 1 for b.
-1
Let m be ((-22)/(-33))/(2/9). Solve i - m = 3*v - 0*i, -3*v - i = 3 for v.
-1
Let i be (-1)/2 - 22/(-4). Let k = -5 + i. Suppose k*v + 2*v = 18. Solve o - 5 = x, 2*x = o - x - v for o.
3
Let f(a) = -a**3 + 2*a**2 + 2*a + 7. Let i be f(3). Solve -11 = -i*k + k + 5*j, -k + 3 = -j for k.
2
Let l(b) = -b**2 + 6*b - 3. Let h be l(5). Suppose 3*n - 2*k = -1, -6*n - 3*k = -2*n - 10. Let q = h - n. Solve 0 = 3*a + 4*y + 1, -y = -0 + q for a.
1
Let p(b) = b**2 + 9*b - 7. Suppose -12 = -4*g - 52. Let r be p(g). Solve q = -l + 1, -1 + r = q for l.
-1
Suppose 0 = -2*m + 3*g + 16, 0 = -5*m + 3*g + g + 26. Let n = -4 - -4. Let i be (1 + -3)*(-2 + n). Solve -10 = w + i*a - 2, -w + m*a = 2 for w.
-4
Let l be -12*(0 + 1/(-2)). Solve 4*k - l = -a, -3*k = -a - a + 1 for k.
1
Let r(a) = -a**2 - 4*a + 1. Let g be r(-3). Solve -2*d + 3*n - g = -2, 21 = 5*d - n for d.
5
Let b(t) = t**2 + 3*t - 5. Let y be b(-5). Let a be 0/(2 + -5 + 2). Suppose 17*g - 18*g + 31 = a. Solve 4*n + 0*n = 3*v - g, -y*n = -5*v + 45 for n.
-4
Let d = -15 - -15. Suppose -4*u + 3 = m + 13, d = -2*m + 5*u + 19. Solve -m*c + 2*n - 8 - 2 = 0, -4*n + 16 = 0 for c.
-1
Suppose d - 9 = -2*d. Solve -3*h = 6*n - d*n, 2*h - 3*n = 25 for h.
5
Let d(x) = 3*x**2 + 1. Let k be d(2). Solve k = -3*l + 2*z, 8*z - 3*z = -2*l - 15 for l.
-5
Suppose -w = 2, -8 = -5*b - 3*w - 19. Let n be (b - 5)*5/(-10). Solve 6*o - 3*k - 7 = 2*o, -o - 4*k - n = 0 for o.
1
Let y = -82 + 130. Let h = -33 + y. Solve 16 = x - 4*v, v = 2*x + x - h for x.
4
Let j = -5 + -1. Let n be 3 - j/3 - 0. Let g = -2 + n. Solve -5*s = g*d, 0*d + 6 = -3*s - 3*d for s.
3
Suppose 4*v - 16 = -4*k, 0*k = 4*v + 3*k - 15. Let r = v - 1. Let a = 42 + -38. Solve 2*b - r = u + 2, -a*b - 2*u = -16 for b.
3
Let n be (-1 - 0) + (-2)/2. Let h(c) = -c**2 - 4*c - 3. Let l be h(n). Let w be (-7 + l)/((-9)/24). Solve -4*u = 4*s + 2 - 14, 2*u - w = -4*s for u.
-2
Let c = 2 - -3. Let f = 5 + -1. Solve c*m - 2*h = 19, -m + 21 = f*m - 3*h for m.
3
Let a(t) = -8*t + 5. Let r = 9 - 6. Let d(y) = -8*y + 4. Let k(l) = r*a(l) - 4*d(l). Let s be k(2). Solve -2*f + s = -2*v + 3, -3 = -5*f - 4*v for f.
3
Let x(c) = -2*c**2 - 11*c - 5. Let p be x(-5). Suppose -5*t + p*t + 31 = 3*z, -z + 4*t - 18 = 0. Solve 0*f = -z*n + f + 14, -16 = 4*f for n.
5
Let r(y) be the third derivative of 0*y + 1/2*y**3 + 1/8*y**4 + 0 + 2*y**2. Let p be r(7). Solve -3*m + m = -5*v - 5, -4*m = 4*v - p for v.
1
Let v be 3 - 44/16 - (-45)/12. Let k be (-20)/(-6) - (-2)/(-6). Suppose k*b = b + v. Solve -3*r = 5*l + 16, -3*l = 6*r - b*r + 3 for r.
3
Let k be (-12)/(2 + (-2 - -1)). Let j = 41 + k. Solve -2*o - b - 11 = 0, -5*o = 6*b - 2*b + j for o.
-5
Let y = 11 + -38. Let p = y + 31. Solve p*c - 10 = 3*m, 0*c + 12 = -2*m + 4*c for m.
2
Let c be (-100)/(-650) + 3/((-78)/(-152)). Solve 5*w - 4 - c = 0, 0 = -o + w for o.
2
Let o be (4/(-5))/((-4)/30). Let a(b) = b - 5*b + 5 + 3*b + 5. Let w be a(7). Solve 0 = m, -m - m = w*i - o for i.
2
Let l(r) = r**3 + r**2 + r + 4. Let s be l(0). Suppose 3*f = -s*u - f + 32, -3*f - 16 = -5*u. Solve 12 = 2*t - 2*c, 0*t + t - 26 = u*c for t.
1
Let x(f) = f + 10. Suppose 3*h + 3*w = -27, 2*h = 4*h - 4*w. Let o be x(h). Solve o*a + 24 = -3*p, 4*p = a - 3*a - 22 for p.
-4
Suppose -4*f - 12 = -3*b, 6*b - b - 6 = 2*f. Suppose -5 = -t + h, 5 + b = -3*t - h. Solve -2*r = 3*g + 19, -2*r + t*g = 4*g + 24 for r.
-2
Let l be (-1)/(((-2)/1)/2). Suppose -l = -v - 5*j - 3, -2*v + 2*j = -8. Solve -2*z = -5*n - v*z + 11, 4*z = -3*n + 10 for n.
2
Let m(g) = 5 - 1 + g + 5. Let w be m(-6). Suppose 7 = -w*a + 16. Solve -3*n - 3*o + 9 = 0, a*n + 11 = 2*o - 0*o for n.
-1
Let u(o) = -o**3 - 5*o**2 + 4*o - 2. Let t be u(-6). Solve 2*b - 17 = -5*f, t = -5*b - 10 for f.
5
Let x be 1/(14/(-8) - -2). Solve -3*y - 9 = -2*k - k, 7 = -x*y - k for y.
-2
Let p be -1*(-1 + 1 + 0). Suppose 4*a - 20 = -p*a. Suppose 0 = 5*x - 15 - 5. Solve x*s - 2*w = -0*w - 2, -s + a = 5*w for s.
0
Let u(o) = o**2 + 3*o - 8. Let n be u(-5). Solve w = 2*k + 3, -2*k - n*k - 3 = w for w.
1
Suppose -h + 24 = -5*h. Let n(j) = 2*j**2 + 10*j + 6. Let p be n(h). Solve -3*c - p = 3*b, c = -4*c + b for c.
-1
Suppose -5*r - j = 5 - 83, 0 = 3*r - 3*j - 54. Let o = 22 - r. Suppose -2*b = b - o. Solve -4*l + 2*l - 20 = -4*h, b = -5*l - 2*h for l.
-2
Suppose 3*i = 5*s - 59 - 5, 4*i + 87 = 5*s. Let c = -14 - i. Let h be (-1)/((c/(-12))/3). Solve -3*t - 6 = -3*d, 4 = -2*d + h*t + 2 for d.
5
Let q(n) = n - 6. Let b be q(11). Let t = b - 3. Suppose 5*k - t*o = -0*o + 16, -30 = -5*k - 5*o. Solve 3*h = k*p + 6, -2*h + 3 = 5*p - 1 for p.
0
Let l(j) = j**2 + 9*j + 9. Let p be l(-6). Let s(v) = -v**2 - 9*v + 6. Let h be s(p). Solve 2*t = q + h, -5*t + 3 + 2 = 0 for q.
-4
Suppose p = 4*z + 4, 2 = p - 2. Suppose z = 5*y - 161 + 6. Suppose 4*c - y - 17 = 0. Solve c = -3*i - 4*u, 0 = 4*i - u + 5*u + 12 for i.
0
Suppose 5*p = -c - 2*c - 4, -4*p - 16 = -4*c. Solve -4*b - l = -11, 4*b - 2*b + 2*l + c = 0 for b.
4
Suppose -2*q - 40 = -46. Solve -i + 16 = -4*k, -12 = -q*k + 6*k - 4*i for k.
-4
Suppose 5*o = 10 + 90. Solve 0 = -4*y - 4, o + 8 = 5*i - 3*y for i.
5
Let o = 7 - 4. Solve l + 9 = -o*c - 2*c, -5 = -l + 2*c for l.
1
Suppose 5*d = -2*m, 5*m - m = 5*d - 30. Let n = 5 + m. Solve n = 4*s, -2*s = -3*f + 2*s + 9 f