= -z**3 - 13*z**2 + 2. Let y be o(-13). Solve 3*w + 3*t - 5 = 4, y*t = 2 for w.
2
Suppose 0 = -y + 10 - 7. Solve y*r - 2*r + 6 = -3*l, 3*l + 3*r = 0 for l.
-3
Let d = -14 - -17. Let p = 4 + -4. Solve 1 = -b - p*t - 4*t, d*b + 14 = -t for b.
-5
Let v be 1 + (1 - -4 - 6). Solve v = -h - f, 6*h + 4*f - 5 = h for h.
5
Suppose -5*l + 12 = l. Let f(u) = u + 7. Let r be f(-5). Suppose 4*z - r*q - 110 = 0, -3*z + 142 = 2*z - q. Solve 4*s = -3*v - z, l*s + v = -9 - 4 for s.
-5
Let r be 2/((-14)/4 - -4). Solve r*t - w - 17 = 0, -5*w - 28 = -4*t - 7 for t.
4
Let r(p) = -p + 9. Suppose 2*m + 4 = 2*a, -m - m + 26 = 3*a. Let b be r(a). Let v = 2 + 0. Solve -v*d = -y + 1 - 0, 30 = -b*y - 5*d for y.
-5
Let l = -2 - -4. Let d be (1/(-2))/(1/l). Let h be 1/d - (-6 + 3). Solve -h*o - 4*r = 3*o + 15, o - 3*r = -3 for o.
-3
Let n be 1 - (-2*1)/(-2). Let m = n - -5. Suppose 0 = m*f - 2*f - 5*p + 11, -3*p = f - 15. Solve -5 = -4*c + 3*t, -3*t - 15 = f*c + t for c.
-1
Suppose 2*y + 39 - 16 = -3*m, 5*m = 5*y + 20. Suppose 3*a - 61 = -c - 8, 2*a + 2*c = 38. Let s = a - y. Solve 4*t + 6 = -2*x, 5*x - s = 4*t + x for t.
-3
Let d(z) = 7 + z**2 - 10 + 7 + 5*z. Let v be d(-5). Solve -2*q - 6 = 4*i - 0*q, -q + 3 = -v*i for i.
-1
Let q = -12 + 14. Solve -2*w - q = 6, -5*m = -2*w - 18 for m.
2
Suppose 42 = 5*q - 2*q. Suppose 0 = -2*p + q - 6. Solve -p*z - 4*m - 29 = z, -2*z - 9 = -m for z.
-5
Let c(f) = f**2 - 9*f + 16. Let m be c(7). Solve -d + 1 = 0, -m*d + 5*d - 3 = q for q.
0
Let o be (-4)/(-8)*(29 - (-9)/(-3)). Let a = -3 + 1. Let t = 3 + a. Solve o = 5*n + 2*z, 0*n - 2*z + t = n for n.
3
Let o(p) = -p**3 + 7*p**2 + 9*p - 6. Let b be o(8). Suppose 0 = -b*k - k + 9. Solve k*f - 13 = -0*m + 2*m, 19 = -f - 4*m for f.
1
Let f be 36/15 - 14/35. Solve -f*v - 6 = -4*d, -2*v = -5*v + 2*d + 7 for v.
5
Let r = 9 + -6. Solve 0 = -o - 5*n + 11, 2*o + r*n + 3 - 4 = 0 for o.
-4
Suppose 1 = 3*p - 4*r, 4*p = 3*r + 5 + 1. Solve -4*q - 5*a + 5 = -8, q = p*a - 18 for q.
-3
Let o = 11 - 5. Suppose -3*k = -o*k + 6. Solve k*u = -4*l + 3*l, 0 = -4*u - l + 2 for u.
1
Let l be (0 + -3)*(-1 + 0). Suppose 0 = l*k - 2*k - 60. Let m be (3/(-2))/((-18)/k). Solve 0 = -5*z - 4*q + m*q + 26, 5*z + 4*q = 21 for z.
5
Let f(v) = -6*v - 8. Let l be f(-8). Suppose 0 = -0*i + 3*i - 5*t - l, -3*t + 34 = 4*i. Let y = i + -3. Solve y = 4*j + d, -d + 2*d - 10 = -5*j for j.
3
Let h(d) = -3*d**2 + 16*d + 17. Let r(p) = 2*p**2 - 11*p - 11. Let b(o) = -5*h(o) - 8*r(o). Let t be b(8). Solve -5 = -y - 3*x, -2*y + t*x = -y + 13 for y.
-4
Let j(b) = -2 - 5*b + 3*b - b**2 + 7*b. Let p be j(3). Let n = -1 + p. Solve n*i = 5*w - 22, -5*w + w - 5*i + 25 = 0 for w.
5
Let c(o) = -2*o**2 - 26*o + 4. Let z be c(-13). Let y be 10/3 - (-2)/(-6). Solve -33 = -5*w - z*q, -5*w - y*q = -22 - 9 for w.
5
Let o be (-2)/(-3)*75/10. Suppose o*h + 0*h = -r + 31, 11 = r + h. Let q = 10 - r. Solve -2*z = -q*a + 20, z - 2*a - 2*a = -18 for z.
-2
Let t = -10 - -20. Let j(p) = -p + 12. Let a be j(t). Solve 2*i + 2 = -4*s, 4*s - a*s + 5*i - 11 = 0 for s.
-2
Suppose 4*x - 22 = -2*k - 0*k, -5*x + 23 = -2*k. Solve 3*b = -5*g + 21, -x*b - 3*g = -8 - 11 for b.
2
Let i be 12 + 6/((-30)/25). Solve 0 = 2*f + 4*n - i - 9, f + n = 4 for f.
0
Let w be 2/(4 - (-15)/(-4)). Solve -4*g + 0 + 4 = -4*t, 4*t = 3*g - w for t.
-5
Let x be (-1 + -1)/(1/(175/(-14))). Solve -3*w + i - 20 = 0, -2*i = 4*w - 3*i + x for w.
-5
Let c = 124 - 119. Let a(r) = r**3 - 7*r**2 + r - 7. Let q be a(7). Let w = 5 - q. Solve 12 = c*v - x, -4*x + 20 = w*v - 9*x for v.
2
Let p(c) = 2*c - 13. Let r be p(9). Suppose 0*j = -2*j - 3*v + 7, -r*j = 3*v - 22. Suppose 5*d = d. Solve -j*b + u = -3*u - 8, d = -b + u + 2 for b.
0
Suppose -16 = b + 5*j, 6 = 4*b + 3*j + 2. Suppose -2*o - 10 = -b*o. Solve -w = -m + 4*m + 5, o*w - 3*m - 29 = 0 for w.
4
Let j(h) = -h**3 - 8*h**2 + 14*h + 15. Let k be j(-9). Let x = -28 - k. Suppose -4 - 14 = -y. Solve 0 = -q - 2, y + 6 = -4*z - x*q for z.
-5
Let a = -3 - -4. Let f = -1 + a. Let w = 14 - 10. Solve f = -2*b + 3*x - w, b - x + 0 = -1 for b.
1
Let r = 2 - 6. Let q = -3 + 3. Let y = q - r. Solve y*c - 1 = 5*o + 20, -3*o - 17 = 2*c for c.
-1
Suppose 4*q - 14 - 10 = -2*o, 3*q - o = 23. Solve 3*i + q = -2*b - 2, 5*i + 3*b + 14 = 0 for i.
-1
Let x be (-30)/35*21/(-6). Solve 0 = x*h - 4*o - 22, -3*h + 2*o = -h - 12 for h.
2
Let a = 26 - 20. Solve -2*g + 26 = 4*t, 2*g + 4*t - a = 5*t for g.
5
Suppose -4*k - 9 = 19. Let z = -5 - k. Solve 0 = -t + 4, -3*d - z*t - 8 + 1 = 0 for d.
-5
Let p be (1 - 7)*(0 + (-4)/4). Suppose -2*s - 3*s = -15. Suppose -s*b + 5 = -1. Solve b*v + 3*u + 27 = 5*v, p = 2*v + u for v.
5
Suppose 0 = 2*q - 15 + 7. Let a be (4/5)/(4/10). Solve q*b + 8 = -a*s, -5*s - 20 = -0*s - 4*b for s.
-4
Suppose 3*m - 2*m = 0. Suppose -3*k + 20 = k. Suppose l + k = 2*l. Solve -l*n - 5*f + 5 = m, -5*f - 34 + 9 = -n for n.
5
Let d be -6*(-1)/(-4)*-2. Suppose 2 + 2 = 2*y. Let o be (-1)/y + (-1)/(-2). Solve -d*b - s - 2 - 8 = o, 5*b - s = -14 for b.
-3
Let c = -6 - -12. Suppose -c - 24 = 5*h. Let x = 14 + h. Solve 0 = -2*d + b - 2, 2*d = -5*b - 18 - x for d.
-3
Let b be (-1)/(-5) - (-56)/(-100)*-5. Let l be (-34)/(-10) - 6/15. Let p(q) = -q**3 + 4*q**2 - q. Let z be p(l). Solve 5*m = i + z + 7, 4*i + 6 = -b*m for m.
2
Suppose 0 = -2*o - 2*o + 8. Suppose 2*q - 5 = 1. Suppose f + 0*f = -3*m + 1, -q*f + 9 = 3*m. Solve o*d + d = -c - 10, 0 = -f*c + 3*d + 35 for c.
5
Let a(s) = s**3 - 4*s**2 - 6*s + 5. Let r be a(5). Suppose -h = -r*h - 5. Solve 12 = 2*n - 5*m, h*n + 2*m - 6*m - 13 = 0 for n.
1
Suppose -4*w + 5*i + 4 = 0, -w + 2*i + i + 1 = 0. Let h(m) = m**2 + 4*m + 3. Let t be h(-5). Solve -3*q + 8 = -2*j + w, -q = 5*j - t for q.
3
Let k(h) = h**2 + 5*h. Let p be k(-6). Let a = -1 + 9. Suppose 2 = 5*i - a. Solve p*y = y + 15, 4*y = -i*f + 6 for f.
-3
Let w = 6 + -4. Let x = w - -1. Solve 3*k + l = -19, -3*k - x*l = 13 + 14 for k.
-5
Suppose -o = 4*o + 20. Let q = 11 - 17. Let p = o - q. Solve -3*x + 4*t + 19 = 0, p*x + 2*t + 12 = 4*x for x.
5
Let k(d) = -d - d**3 - 1 - 1 + 4*d**3 + 3. Let i be k(1). Solve -3*h + 5 = a, -i*a + 5*h + 14 = -1 for a.
5
Suppose -5*a = 5*u - 10, 4 = -2*u - 0. Solve a*z - 3*z - 2*c = 8, 1 = 5*z + 3*c for z.
2
Suppose -28 = d - 8*d. Solve 0 = -2*a + 5*f - 25, 0 = -d*a - f - 3*f + 20 for a.
0
Suppose -4*w = j - 14, -2*w + 5 = 3*j + 3. Let k = 17 - w. Suppose -5*x - 3 + k = 0. Solve x*m + 5*s = -29, -19 = -m + 4*s - 1 for m.
-2
Let l be 2/7 + 33/7. Let h(s) = s + 13. Let m be h(-9). Suppose m*t - 2 = 2. Solve t = g + 3*v, -2*v + l = -4*g - 5 for g.
-2
Let j(c) be the first derivative of 3*c**3 + c**2 - c + 1. Let g be j(-2). Solve h - 7 = -2*t, h + h - 5*t + g = 0 for h.
-3
Let r = 9 - 7. Suppose -8 = r*i - 16. Solve -i*n - 7 = 3*s + 5, -2*n = -2*s - 8 for n.
0
Let v = 20 - 6. Suppose 3*l + p = -0*l + v, -4*l + 20 = p. Let q be l/(-4)*16/(-12). Solve 4*g - 5*f = -15, -3*g - 20 = q*f + 3*f for g.
-5
Let z(c) = c + 45. Let j be z(0). Let y be (1 - (-1 - -1))*27. Let t = j - y. Solve -4*w - 3*i + 14 + 7 = 0, -4*w - 2*i = -t for w.
3
Let i(d) be the first derivative of d**4/4 - 2*d**3 - 4*d**2 + 9*d - 2. Let b be i(7). Let p = b + 7. Solve 3*v - p = -5*o, 3 + 0 = v - 5*o for v.
3
Let v(u) = 8*u + 1. Let p(i) = -i**2 + 10*i - 8. Let j be p(9). Let y be v(j). Solve -4*r + 3*z - 5 = 0, z = -r - 3*r - y for r.
-2
Suppose 0 = 4*m - 3*s - 5, 0 + 3 = m + s. Solve 3*a - 11 = m*g, 11 = 4*g + 4*a - 17 for g.
2
Let n be ((-6)/(-5))/((-14)/35). Let r be 6/(-9) - 8/n. Suppose -2*y - y = -12. Solve -4*b = -r*j + 4*j + y, 16 = -4*j for b.
1
Let b(l) = -l - 1. Let a be b(-5). Let i be (-2 - -2) + (8 - 0). Let o = 13 - i. Solve 4*w - o*k - a = 5*w, 0 = 2*w - 3*k - 5 for w.
1
Suppose -t = t. Solve t = -3*j + 3*v + 2*v + 28, 27 = 2*j - 5*v for j.
1
Suppose -10 = -5*t, -4*x - t + 28 = 3*t. Solve 3*j = -3*r - 15, 6*j - 25 = 2*j + x*r for j.
0
Let z be 42/11 + -2*(-3)/33. Suppose -t = -3, -38 = 2*h - 6*h - 2*t. Solve z*p + 4*a - h = 0, 0 = 5*p + 2*a - 0 - 4 for p.
0
Let x be (2 - -1) + 5/(-5). Solve 6 = -g - 2*n, -4*n = -x*g - 2 - 2 for g.
-4
Let x = 0 - -2. Let t(c) = -c**2 + 13*c + 16. Let y be t(14). Solve -6 = y*a + 2*i, x*a - 3*i = i for a.
-2
Let y be (13/26)/((-2)/(-8)). Suppose -a = -0*a + 3. Let h = y - a. Solve -k = -h*o + 4*k + 40, -5*o = 5*k for o.
4