 57. Solve -f = -5*s - z for s.
-3
Let a(p) = -p**2 - 9*p + 13. Let w be a(-10). Let c(b) = 3*b - 2. Let z be c(w). Let l = z - 2. Solve l + 1 = 3*x for x.
2
Let z be (-130)/30 + 3/9. Let h(n) be the third derivative of -n**4/24 - n**2. Let a be h(z). Solve a*c = c - 3 for c.
-1
Let z be (6/(-4))/((-1)/2). Suppose -2 = -2*b - z*g + 1, -3*b = -g + 1. Solve b = 3*c - c for c.
0
Let y be ((-4)/8)/(1/(-10)). Suppose 2*f + 0 = 10. Solve 0*s + y*s = -f for s.
-1
Let s(p) be the third derivative of -p**4/24 - 4*p**3/3 - 3*p**2. Let k be s(-9). Solve 0 = c + k + 4 for c.
-5
Let j = 7 - 7. Suppose 2*s + 2*s = 8. Let b = s - j. Solve -z + 12 = b*z for z.
4
Let g = -111 - -115. Solve -g*c = -3*c + 3 for c.
-3
Suppose 0*m + 4*m = 48. Suppose 3*r - m = r. Solve c = r*c - 5 for c.
1
Let f be (-10)/(-15) - (-7)/3. Suppose -x + 12 = f*c, 8 = 2*c + 3*x - 7. Solve w - 10 = c*w for w.
-5
Let i be (3 + 9/(-3))/(1 + 0). Let d be 16/20*(-25)/(-2). Suppose 3*n = 2 + d. Solve -r = -i + n for r.
-4
Let v(n) = n**3 + 9*n**2 + 7*n - 2. Let d be v(-8). Let y be 6/21 + d/(-21). Solve 4*o + o + 15 = y for o.
-3
Suppose g = -4*m - 4 + 5, 2*g - m - 2 = 0. Solve -2*v - 3 = g for v.
-2
Let s(g) = 41*g - 2. Let q be s(-1). Let z = -30 - q. Solve -z = 4*t + 3 for t.
-4
Suppose -6 + 22 = 2*m - 4*w, m - 5 = w. Let y = 19 + -19. Solve g - m = -y*g for g.
2
Let c = 0 - 1. Let b = -5 - c. Let r be 0*-1*(-2)/b. Solve 0 = -r*k - 3*k + 6 for k.
2
Let z = -3 - -6. Suppose 3 = z*c - 33. Suppose 16 = 3*w - 2. Solve -2*t + w*t = -c for t.
-3
Let y = 3 + 56. Let p = y - 34. Solve t + 4*t - p = 0 for t.
5
Let w(i) = -i**3 - 5*i**2 + 6*i + 5. Let x be w(-6). Suppose 12*u = 4*m + 10*u + 2, 4*m + 5*u = 5. Solve -4*v - 3 - x = m for v.
-2
Let z = 0 - -8. Suppose 0 = -u - 3*r + z + 4, 2*u = -5*r + 20. Solve u = -q + 3 for q.
3
Let p be ((-1)/(-1))/(3/6). Suppose 1 = -p*m + 9. Let o = m + -4. Solve o = -4*i + 2*i - 10 for i.
-5
Suppose -c = -6 - 11. Let a = 22 - c. Solve -a*o - 6 = 9 for o.
-3
Let n(v) = -2*v - 15. Let a(s) = 5*s + 44. Let g(k) = 3*a(k) + 8*n(k). Let j be g(0). Solve 0 = -3*r - 0 - j for r.
-4
Let k(z) = z**3 - 7*z**2 + 2*z + 5. Let t be k(7). Let j = t - 31. Let w = -6 - j. Solve w*u - u - 25 = 0 for u.
5
Let w = 11 - 8. Suppose 4 - 12 = -w*q - 5*x, -x = q - 4. Solve -q = -y - 1 for y.
5
Let i be ((-25)/20)/(2/(-24)). Solve 4*y = -y + i for y.
3
Suppose -5*z - 4*f - 5 = 0, z + 3*f = -z - 9. Let n(m) be the first derivative of -m**4/4 - m**3/3 + m**2 - 3*m - 1. Let r be n(-3). Solve -z*b + 3 = r for b.
-2
Let h(y) = -7*y**2 + 5*y - 10. Let v(c) = 6*c**2 - 4*c + 9. Let j(n) = 5*h(n) + 6*v(n). Let z be j(0). Let r = z + 3. Solve 3*q - r*q - 8 = 0 for q.
-2
Suppose -4*o + 5*b + 31 = 0, -o - 2*o = -2*b - 18. Let g = o + -2. Suppose 4*w - g*z = 2*z + 68, 5*w - 80 = 4*z. Solve -i - 2*i = -w for i.
4
Let c be (-16)/(-6) - (-4)/(-6). Let i(b) = -4 - 2*b + 2*b - c*b. Let t be i(-4). Solve -4*n = t + 8 for n.
-3
Let h = 2 + -1. Let k(a) be the second derivative of a**3/6 + a**2/2 - 11*a. Let p be k(h). Solve -p - 4 = -3*x for x.
2
Suppose -2 = -5*l + 18. Suppose l*s - 2*c - 9 = 45, 0 = 5*s - c - 60. Let v = 11 - s. Solve 4 = -4*h - v for h.
-1
Suppose h + 2*m + 8 = 0, m + 4 = 4*h - 0*m. Solve h = -5*c - 0*c for c.
0
Suppose 5*s - 62 = 43. Suppose 3*f - 7*a - 26 = -3*a, -3*a = -3*f + s. Suppose -3*c + 32 = 5*l, -c = -f*l + 2*c - 4. Solve 0 = -0*b - 2*b - l for b.
-2
Suppose 0 = -2*f - 3*f + 10. Suppose -f*h + 12 = -0*h. Solve 4*k - h*k = 2 for k.
-1
Suppose -l + 2*l = -h + 4, 4*h = l + 11. Suppose -4 = -4*b + h*b. Solve m = -0*m + b for m.
4
Suppose -2*z - 25 = -7*z. Suppose -a + 2 = -3*a + 2*p, -3 = z*a - 3*p. Solve f = -a*f for f.
0
Suppose -3*f + 22 = d - 8, 2*d + 2*f - 40 = 0. Solve -u + d = 2*u for u.
5
Suppose 2*p = -4*k + 26, -4*p + 4*k - 2*k = -2. Let q be (-2)/6 + 214/p. Let d = q - 42. Solve -5*t + 4 - d = 0 for t.
-5
Let x be 242/12 + 2/(-12). Solve 0 = 2*f + 2*f + x for f.
-5
Let d = -7 - -15. Suppose -3*h + 4*a + 0*a + 44 = 0, 77 = 5*h - 3*a. Suppose -5*v - h = -51. Solve -3*x = -d - v for x.
5
Let w be (-81)/(-15) + 6/(-15). Solve 0 = -w*o - 17 + 2 for o.
-3
Suppose 0 = 2*b - 9 + 3. Let t be (-1)/((-52)/16 + b). Solve 0 = t*d - 7 - 9 for d.
4
Let n(i) = 12*i**2 - i - 1. Let o be n(-1). Suppose 0*z - o = -z. Solve 0*w + 4*w + z = 0 for w.
-3
Suppose -6 = -s - 4. Solve -s*n + 0 - 8 = 0 for n.
-4
Let d(m) = -m - 4. Let g be d(-9). Solve 13 - g = 4*p for p.
2
Let i be (-10)/4*(9 + -11). Suppose -2 = y + 5*m, -i*y + 18 = -m + 2. Solve y*h = -0*h + 12 for h.
4
Let y = 20 + -20. Solve -3*r - r - 12 = y for r.
-3
Suppose 3*p - 11 = -0*p - 2*k, 4*p + 4*k = 16. Solve p*v + v = 4 for v.
1
Let q(r) = -7 + 2*r - 5*r + 4*r. Let o be q(8). Solve 0 = z - o for z.
1
Suppose -4*d - 5*b + 3*b + 26 = 0, -5*d + b + 15 = 0. Solve -k - d = -5*k for k.
1
Suppose -4*d + 0*d = 0. Solve -4*z + d*z = -8 for z.
2
Suppose 0 = -2*j + 5*z, -5*j = -9*j - z + 22. Let a be (-2 - -2)/(2*1). Solve a = 3*v - j*v + 4 for v.
2
Suppose 0 = 4*b - 5*s - 25, -25 = -12*b + 11*b + 5*s. Let c(x) = 3 + 10 - x - 1. Let j be c(b). Solve 3*h - j - 3 = 0 for h.
5
Suppose 0 = 5*b + j - 39, -8*j = 3*b - 3*j - 19. Suppose -4*h + 24 = 2*u, 4*h + 0*h + 4 = 5*u. Let x = 2 - 2. Solve h*a + x = -b for a.
-2
Let r(o) be the second derivative of o**5/20 + 7*o**4/12 + 2*o**3/3 - 4*o**2 - 3*o. Let c be r(-6). Solve -c*z = -7*z - 15 for z.
-5
Let l(p) = -2*p**3 + 2*p**2. Let v be l(-1). Solve -6 + 14 = v*o for o.
2
Let t = 143 + -143. Solve t = 2*x + 2 - 4 for x.
1
Suppose -9 = -4*m + 7. Suppose -a - 24 = -3*a. Solve -m*s - a = -s for s.
-4
Let b be 3*3*(-6)/27. Let z be (b + 1 + 0)*2. Let k be 6/3*-1*z. Solve 11 = -5*p - k for p.
-3
Suppose -2*m = 2*m. Let f = 5 + m. Suppose -5*p + 3*p + 14 = 0. Solve f*h - 3 = p for h.
2
Let j = -47 - -49. Solve -j*c = 2*c - 20 for c.
5
Suppose 0 = 3*f + 3*i + 2*i - 20, -5*f - 2*i = -8. Solve f*o - 4*o = -20 for o.
5
Let f be 4/(1*(-3)/(-33)). Suppose f = 6*q - 2*q. Solve q = -3*x - 1 for x.
-4
Let o be 28/6 - (-6)/(-9). Solve o*b + 12 = b for b.
-4
Suppose -11*k + 8 + 47 = 0. Solve 0 = 4*j + k - 1 for j.
-1
Let z = 22 + -18. Solve -z = 5*t + 1 for t.
-1
Let j(g) = -15*g - 3. Let x be j(-2). Let l be 6/x - 141/27. Let w = -5 - l. Solve -b = -w*b - 1 for b.
1
Let c(l) = -5*l**3 + 10*l**2 + 5*l + 4. Let k(p) = 3*p**3 - 5*p**2 - 2*p - 2. Let x(z) = -4*c(z) - 7*k(z). Let q be x(-4). Solve 3*h + q = -6 for h.
-4
Let c be 2/8 - (-3)/(-12). Let o(z) = -z**3 + 3*z**2 + 4*z + 2. Let v = 2 - -2. Let u be o(v). Solve -k + u + 1 = c for k.
3
Let s = -24 - -24. Solve s = -2*x - 0 - 8 for x.
-4
Let y = -5 + 9. Let p(a) = a**3 - 5*a**2 + 7*a - 6. Let k be p(y). Suppose x - k = -x. Solve x*o - 3 = -6 for o.
-1
Let n be (3 - 0)/3*0. Solve -5*v + n*v = 10 for v.
-2
Let h = 14 + -13. Solve -h = o + 1 for o.
-2
Let f(i) = -4*i**2 - i + 2. Let n(d) = -3*d**2 - 2*d + 1. Let a(m) = -2*f(m) + 3*n(m). Let y be a(-3). Solve -4*s + 6 = y for s.
1
Let i be (-6)/(0 - (-4 + 3)). Let y be (-22)/i + (-4)/6. Solve 4*h + 5 = y*h for h.
-5
Let m = -40 + 42. Solve 2*s = -0*s + m for s.
1
Let d be (-40)/(-18) - 10/45. Suppose 0 = -8*v + 5*v. Suppose -d = j + 2*h - v*h, -h = 2. Solve 6 = -j*y - y for y.
-2
Let s = -72 - -72. Let p = -4 + 6. Solve s = -3*m + p*m + 4 for m.
4
Let j = 16 + -9. Let z = j - 7. Solve -8 + z = 4*p for p.
-2
Suppose 2*f - 5*q = f + 70, 3*f - 5*q = 160. Suppose 2*x + f - 123 = 0. Solve 14 - x = -5*g for g.
5
Suppose -5*u = -2*u. Suppose 5*v = -u*v. Solve 0 = -3*q - v*q + 12 for q.
4
Let k = 9 - 5. Solve 8 = k*z - 8 for z.
4
Let r be 0/(3 + -7 + 2). Let c = r + 3. Solve -4 = -w + c*w for w.
-2
Let r(d) = -2*d - 104. Let b be r(0). Let q be b/(-6) + 2/(-6). Solve -5 = -3*z - q for z.
-4
Let a = 4 - 0. Suppose -2 = -2*j - a. Let f be 28/16 - j/4. Solve -10 + f = 4*x for x.
-2
Let h = 28 - 27. Solve -11 - h = 3*c for c.
-4
Suppose -6*z = -4*z - 36. Let u = z + -17. Solve 3*r + u - 16 = 0 for r.
5
Let u(w) = -2*w**2 + 12*w + 23. Let n(q) = -q**2 + 6*q + 12. Let z(s) = -5*n(s) + 3*u(s). Let v be z(7). Let r = 3 + -2. Solve 0 = -3*y - v - r for y.
-1
Let i be ((-3)/(-3))/(1/5). Let u be ((-2)/3)/((-2)/9). Suppose -u = 3*t - 4*z, -2*t + 9 = 4*z - 3*z. Solve -4 = -t*x + i for x.
3
Let d = -26 - -67. Suppose 6*l = -d + 125. 