). Solve -1 = 5*z - c*z for z.
-1
Let z(c) = 2*c**2 + 5*c + 1. Let h be z(-7). Suppose -s + i + 4*i = -10, 4*s + 4*i - h = 0. Solve -3*j - s = 2*j for j.
-3
Let y = -14 + 14. Solve 4*s - 3*s = y for s.
0
Suppose 3*p = 5*j - 8, 5*p = -4*j + j + 32. Suppose p*n - 5*o = -25, -2*n + 4*o = -0*n + 20. Solve 0 = 3*q - n*q for q.
0
Let n be 8/68 + (-574)/(-34). Solve 0 = -3*v - n + 2 for v.
-5
Suppose 0*u - 4*u - 12 = 0. Let b be u - 8/(-2) - 1. Solve 2*j + 1 - 7 = b for j.
3
Let v be 18/4 + 3/2. Solve -3*x - 6 = v for x.
-4
Let g be (-30)/8 - (-2)/(-8). Let v = g + 12. Suppose -z = 5*p - 25, 2*z + v = 6*z - 3*p. Solve z*q = 3*q for q.
0
Suppose -5*u - 10 = -10*u. Solve -4 = -3*a + u for a.
2
Let g = 30 + -27. Solve 0 = -2*c - g + 1 for c.
-1
Let t = 47 + -46. Solve 0 = 2*j - 3 - t for j.
2
Let i = -4 - -3. Suppose -5*o + 2*b = 0, -1 - 22 = -4*o - 3*b. Let y = o + i. Solve -5 = -2*m - y for m.
2
Let k = 7 - 0. Let y(t) = 2*t**2 + 1. Let b be y(1). Solve j - b + k = 0 for j.
-4
Suppose -2 = -4*p - 2*v, -v - 3 = 2*p - 4*v. Solve 4 = k - p for k.
4
Let k be 15 + -7 - (-20)/(-5). Let g = -16 + 30. Suppose 0 = -m - 4*v + g, 0 = -2*m - 0*v - v + 7. Solve -m*j = -3*j + k for j.
4
Let j = -16 - -19. Solve -f = -j*f - 6 for f.
-3
Suppose -5*n + 28 = 4*v, -n = n - 4*v. Solve n = z - 2*z for z.
-4
Let t(m) be the second derivative of 1/20*m**5 + 0 + m + 2*m**2 - 4/3*m**3 - 7/12*m**4. Let u be t(8). Solve 2 = s + u for s.
-2
Suppose 5*w + 0*w - 36 = -b, -2*b = -4*w + 26. Let v be (0 - 3/(-5))*-5. Let o = v + w. Solve o*x = x for x.
0
Suppose -3*k + 6 = -0*k. Suppose -5*y = -k*y - 30. Solve 30 = -4*v + y for v.
-5
Let q(n) = n**3 + 5*n - 4*n - 8*n**2 + 0*n**3. Let x be q(8). Let i = -8 - -12. Solve -i*l = -0*l - x for l.
2
Let m(n) = -n - 11. Let g be m(-13). Suppose -g*q + 5*q = 18. Solve 0 = -q*a + 4*a + 10 for a.
5
Let m(d) = -3*d + 3. Let k be m(1). Solve k = 5*v + 1 - 11 for v.
2
Suppose -u + 5*u + 5*b = 3, -5*u + 4*b + 14 = 0. Suppose -u*x = 2*x - 40. Let i(f) = 5*f**3 - f + 1. Let q be i(1). Solve x + 5 = q*r for r.
3
Suppose 27 = 7*n - 2*n - 4*f, 2*f = -n - 3. Let k(c) = 4*c**2 - 5*c + 4. Let p be k(3). Solve -n*w = -10 + p for w.
-5
Suppose 4*f + 4 = 12. Solve -3*u = -u - f for u.
1
Suppose 4*u + 23 = 5*q, -3 = 2*q + 5*u + 1. Suppose -5*k = q*p + 4, -4*p + k = -3*k - 16. Solve 0 = -m - 0*m - p for m.
-2
Let r = -51 - -6. Let k = -30 - r. Suppose -9*a + 18 = -18. Solve -j - k = -a*j for j.
5
Suppose 0 = 2*k - 0*k. Let m = 0 + -1. Let t be m*(-1 + 2)*k. Solve 2*i + i = t for i.
0
Let b(c) = -2*c - 5. Let s be b(-5). Let y(w) = -w**3 + 4*w**2 - 2*w - 5. Let l be y(3). Let n be (15/6 + -4)*l. Solve s = n*g - 1 for g.
2
Suppose -3*k = 3*u + 6 - 27, u = k + 3. Suppose 0 = y - 3*s + 6, -4*y + 2*s + 41 = 3*s. Solve -j - k*j = -y for j.
3
Let l = 3 - 3. Let m = l - 0. Suppose 0 = t - m*t + 2*u - 13, 5*u = -t + 19. Solve 4*h + t - 1 = 0 for h.
-2
Let m(b) = 5*b - 3. Let g be m(2). Let h = 65 - 62. Solve 2*n + g = -h for n.
-5
Suppose 5*n + 0*k + 3*k + 16 = 0, k + 8 = -3*n. Let y = -2 + 0. Let l = n - y. Solve l = -4*o - 0*o + 12 for o.
3
Suppose -6*d + 7 = 3*x - d, -5*x + 16 = 4*d. Let t = -5 - -4. Let l be (-4 - -4)/(-1 + t). Solve l*v - x*v = 0 for v.
0
Let l(g) = g**2 - 4*g + 4. Let w be l(5). Let f be w/(-2)*4/(-6). Solve f*z = 2 + 1 for z.
1
Let a(l) = -l**3 - 5*l**2 - l - 3. Let q be a(-5). Suppose 4*v + 2 = -q*w, 3*w = 2*w - 5. Solve -v*h + 2 = -4 for h.
3
Let f(n) = -n**3 - 11*n**2 + 11*n - 8. Let h be f(-12). Suppose -4*w + 3*c + 3 = -w, c = 2*w - 2. Solve 3*u = w - h for u.
-1
Suppose 0 = -3*r + 8 + 7. Suppose 0 = -0*g + r*g. Suppose -h + g = -5. Solve 13 - 3 = -h*o for o.
-2
Let d be ((-9)/(-2))/((-2)/(-4)). Let w = -14 + d. Let t be w/(-1) - 6/3. Solve 0*u - t*u = 0 for u.
0
Let n be (-7)/49 + (-200)/(-28). Solve 27 = 5*o + n for o.
4
Let q(o) = -o**3 - 2*o**2 + 9*o - 2. Let f be q(2). Solve i + 2 = -f*i for i.
-2
Suppose -3*p = y, -y - 5*p = 2*y. Let h = y - -1. Solve 4 = b + h for b.
3
Suppose -3*g - 17 = t - 3*t, 5*t - 3*g - 20 = 0. Let r = 3 - t. Solve 2*q + 0 + r = 0 for q.
-1
Suppose 3*a - 2*a = -1. Let q = a - -4. Solve -q*h + 13 = 4 for h.
3
Suppose 6*m - 8 = 4*m. Solve 4*w + m = -12 for w.
-4
Suppose 4*q = 0, 3*c = 8*c + 4*q - 125. Let o = c - 18. Solve o - 27 = -4*v for v.
5
Suppose 0 = 4*q - l + 18, 6 = 5*q - 5*l + 36. Suppose 0 = 4*h - 3*n - 31, 3*h + 4*n - 1 = -9. Let k = h + q. Solve 3*c - c = k for c.
0
Let l = 0 + 3. Solve l*x - 15 + 3 = 0 for x.
4
Suppose 0 = -5*p + 5 + 10. Solve 16 = y + p*y for y.
4
Suppose l - 13 = -3*a, 4*a + 10 = -2*l + 30. Solve -5*f + 14 = l for f.
2
Let o be -1 - 1/((-3)/21). Solve -2*x - o = -0*x for x.
-3
Let q(p) = -p**3 + 8*p**2 - 8*p + 8. Let r be q(7). Suppose -8 = -3*l + r. Solve c - 5 = -l for c.
2
Let x = 7 - 7. Let k be (x + -1 - 2) + 9. Let w be (1*-3)/((-9)/k). Solve -3*h + w*h = 4 for h.
-4
Let r = 9 + -6. Solve 5*h + 7 + r = 0 for h.
-2
Suppose 2 = -2*i - 3*v, -2*v = -2*i - 3 + 11. Let r be 4/8 - (-5)/i. Suppose -r = -5*z + o + 18, -4*z + 28 = 2*o. Solve -6*d + d = z for d.
-1
Let q(a) = -a**3 - 5*a**2 + 10. Let u be q(-5). Solve 6*y - y - u = 0 for y.
2
Suppose -p - p = 0. Let z(o) = 3*o + 50. Let h be z(-14). Solve p = -s - 3*s + h for s.
2
Let k = 138 - 136. Solve -k*s = -4*s + 6 for s.
3
Suppose -2*u = 5*k - 379, 0 = -2*u - 3 + 7. Suppose c = -2*c + k. Solve -w - c = -6*w for w.
5
Let h be (-1 - 2)/(-6*5/40). Suppose -4*g - g + 40 = 5*k, 0 = 4*g + 5*k - 36. Solve -h*a - g = 12 for a.
-4
Suppose 2*z + 16 = -2*z. Suppose u - 6 = -3, 2*u = -2*s + 10. Let l be (-2 - -1)*z/s. Solve -t + 0 = -l for t.
2
Let d(o) = -o**3 - 3*o**2 - o + 2. Let k be d(-2). Suppose -4*b + 2*b + 18 = k. Suppose b + 11 = u. Solve 0*z + 5*z = u for z.
4
Suppose -6 = -g + u, -6 = -u + 4*u. Solve g = w + 9 for w.
-5
Suppose -3*j + 12 = 3. Let x = -3 + j. Suppose d = -x*d. Solve -o + d*o - 5 = 0 for o.
-5
Let u be (-2*4/24)/(3/(-36)). Solve u*d - 3 - 1 = 0 for d.
1
Let w be -1 + -4 + -1*2. Let r = -4 - w. Suppose -3*h - 32 = -7*h. Solve 0 = r*a - 5*a + h for a.
4
Let m be ((-16)/12)/(4/(-6)). Suppose 4 = m*r - 6. Solve -r*i = -0*i for i.
0
Let n be (3/(-6))/(1/(-6)). Let i be -2 + 0 - -2 - 7. Let x = -5 - i. Solve v + x = n*v for v.
1
Let h(w) = -w - 2. Let v be h(-2). Let q = 0 - v. Solve q = u + 4*u + 15 for u.
-3
Let c(w) = w + 6. Let u = -8 - 13. Let t be 132/u + (-4)/(-14). Let o be c(t). Solve o = q + 2 + 3 for q.
-5
Let b(a) = -a**3 - 5*a**2 - 2*a - 4. Let o be b(-4). Let y be 9/(-2)*8/o. Solve y*r - 7*r - 16 = 0 for r.
-4
Let b be 2 - (-1)/((-2)/4). Suppose 4*s - s - 12 = b. Solve s = -3*x - x for x.
-1
Let s be ((-8)/(-3))/(20/30). Suppose 0 = i - 0*i. Solve i = -4*o - 0 - s for o.
-1
Suppose q - 5*q - 4 = -l, 0 = l + 4*q + 4. Suppose l = -d - 4*o + 11, -d + 4*o - 4 = 1. Solve -j = -d*j - 8 for j.
-4
Suppose c = 3*k - 2 - 3, -2*c - 4 = -4*k. Let w = 11 + c. Let l = -8 + 12. Solve -9*i + l*i - w = 0 for i.
-3
Let y be 7/4 - (-1)/4. Let m be (y/(-3))/((-1)/3). Solve 2*r + m*r = 16 for r.
4
Suppose 3 = -2*i - a - 0, -2 = 3*i + a. Let q(s) = 5*s - 1. Let p be q(i). Suppose 4*v - p = -0*h + 3*h, 5*h = -2*v + 2. Solve -b = -h + 2 for b.
-2
Let g be 2/(-3) + (-74)/6. Let o = -9 - g. Solve 8 = -o*v + 2*v for v.
-4
Let x(j) = 2*j - 4. Let v be x(3). Let w(o) = 3*o**2 - 1. Let h be w(1). Solve -v = u + h for u.
-4
Let q be (21 + -9)/(1 - 0). Suppose q = w + 2*x - 15, 65 = 5*w - 4*x. Let b = 2 + w. Solve 3*f - 4 = -b for f.
-5
Let x(k) = k**2 - k + 10. Let y be x(0). Suppose 4*p = 3*n + 30, p - y = -0*p + 2*n. Solve 2*s + 2 = -p for s.
-4
Let s(w) be the third derivative of 0 - 1/2*w**3 + 3*w**2 + 1/60*w**5 + 0*w + 1/24*w**4. Let v be s(-3). Solve 2*l - 3*l = -v for l.
3
Suppose 3*c = 5*c - 4. Let x be 4/c + 0 + 1. Solve -5 = -x*o + 7 for o.
4
Let d = 22 - 20. Solve -9 = d*g + g for g.
-3
Suppose 0 = 2*v + 3*v + 3*l - 48, 0 = -5*v + 4*l + 76. Solve 3*k - v = 7*k for k.
-3
Suppose 12*f = 13*f - 2. Suppose -4*z - 20 = 0, -q + 2*q = -4*z - 13. Let t = q + -5. Solve t*m = -f*m + 8 for m.
2
Let q(i) = 2*i - 3*i + 0*i. Let f(s) = -3*s**2 + 3*s + 3. Let v be f(2). Let j be q(v). Solve -2*p = j*p for p.
0
Let h(l) = 4*l**3 + l**2 + 3*l - 3. Let k be h(1). Solve 0*m = k*m + 10 for m.
-2
Let k(m) = m + 5. Suppose 2*u - 1 - 3 = 0. Let