3*s + 2*z + 3*z, s = z + 4. Let v be o(s). Solve v*n - 9 - 1 = 0 for n.
2
Let y(r) = -r**3 - 6*r**2 - 5*r - 13. Let t(o) = o**3 + 6*o**2 + 6*o + 14. Let d(w) = -5*t(w) - 6*y(w). Let u be d(-6). Solve 0 = 3*l - l + u for l.
-4
Let p(a) = -a + 10. Let f(v) = v**2 - 2*v. Let o be f(4). Let q be p(o). Solve 0*k = -q*k for k.
0
Let a(q) be the third derivative of q**6/120 + q**5/10 + 5*q**4/24 + q**3/6 + 2*q**2. Let y be a(-5). Let p be 4 + (0/y - -2). Solve 1 = -h + p for h.
5
Suppose 5*l + 25 = 5*c, -3 = c - 4*l - 23. Let z be (c - 1)*-5 + 1. Suppose z*y = 2*y. Solve y = -5*n + 3 + 17 for n.
4
Let t(d) = 2*d + 2. Let m be t(3). Suppose m - 2 = 2*b. Suppose -k - 4*k + 24 = j, -b*k - 4*j = -11. Solve k*g - 2*g - 15 = 0 for g.
5
Let y be (0 + 1)/(2 - 1). Let b = 261 + -256. Solve -b = -u - y for u.
4
Suppose 0 = -p - 0 - 2. Let o be (-4 - -3) + (p - -1). Let l be 1 + (0 - 1*o). Solve 4*d - 11 = -l for d.
2
Suppose 0*w = -2*y + 4*w - 8, -2*y + 3*w = 5. Suppose 7*f - 20 = y*f. Solve -2*c = -4*c + f for c.
2
Let r = 98 - 96. Solve 0 = 2*x + r - 0 for x.
-1
Let o(v) = 7*v - 32. Let u be o(6). Solve 0 = 4*q - u - 2 for q.
3
Let c be (-2)/(-4) - (-13)/(-26). Suppose -8*a + 4*a + 12 = c. Solve a*d + 8 = d for d.
-4
Let o(h) = -3*h**3 - h**2 - 2*h - 1. Let r be o(-1). Let a(f) = -2*f + 3 - f**2 - 1 + 7*f - 5. Let p be a(r). Solve 0*v - 3*v = -p for v.
1
Suppose -3*v - 2*v - 3*o + 20 = 0, 2*o - 4 = -v. Let p be ((-2)/v*0)/(-1). Solve p = 2*x - 5*x for x.
0
Let t = -23 + 35. Solve -4*f = -f - t for f.
4
Let v be 2*2/(8/6). Suppose -v*z + 6 = -0*z. Solve 0 = z*u - 4 + 14 for u.
-5
Suppose -2*a = i + a - 10, 12 = 2*i + 2*a. Suppose -3*v = -18 - 42. Solve -i*x = x + v for x.
-4
Let m be (-1)/((28/(-8))/7). Solve -m*l + 3*l + 1 = 0 for l.
-1
Suppose -8 = i - 26. Suppose -i = -5*p + 2. Solve -5*w + p = -w for w.
1
Suppose 3*m = -g + 11, -2*g + 1 = -m - 0. Let n be ((-6)/(-8))/(m/12). Suppose 1 + n = 3*j - k, 3*k = 6. Solve j*v - 1 = v for v.
1
Suppose 3*l + 10 = 8*l - 5*t, 0 = l + 3*t + 6. Solve l*q = -q for q.
0
Let b be 1/3 + 115/15. Solve m = -m - b for m.
-4
Let w = 4 + -1. Let b be 2/6 - 1/w. Suppose 5*u - 4*h - 8 = b, -3*u - 2*u - 2 = h. Solve u*s + 15 = 5*s for s.
3
Suppose -3*h = -y + 20, 5*h - 3*y + 0*y + 40 = 0. Suppose -27 = 3*k - 0. Let b = h - k. Solve b*t = 2*t for t.
0
Let c = -19 + 22. Solve -c*u + 0 = -9 for u.
3
Let n(t) = 10*t - 8 + 3 - t**2 + 0*t**2. Let q be n(9). Let d = -2 + 7. Solve 4*s - q = d*s for s.
-4
Let f(u) = -u**2 - 8*u + 2. Let b be f(-5). Suppose -5*h = -0*s - s - b, 4*s = 12. Let a(c) = -c**3 + 6*c**2 - 3*c. Let p be a(4). Solve -h*m - p + 0 = 0 for m.
-5
Suppose 5*w - 3*a - 10 = 0, 2*a - 10 = -5*w + 7*a. Solve 0*q - w*q = -4 for q.
2
Suppose 0 = -d - 10 + 10. Solve x + d = -1 for x.
-1
Let n = 37 - 30. Solve -2*h = n - 1 for h.
-3
Let u be (-2)/((-3 - -3) + -1). Solve 3 + 7 = -u*q for q.
-5
Let a be (-38)/4 - 6/12. Let f = 14 + a. Solve 2*t - f*t = -8 for t.
4
Let g be 33/12 - 2/(-8). Let p(d) = -d - 1. Let u be (-2)/(-6) + 44/(-6). Let s be p(u). Solve -5*a + g*a = -s for a.
3
Let s(l) = -l + 1. Suppose m - 4*m - 40 = 2*b, -2*m - 30 = 2*b. Let f be s(m). Let w be (-2 + -1)*(0 + -1). Solve -w*d - 4 = f for d.
-5
Suppose -4 + 13 = 3*n. Let i be 1 + 0 + (5 - n). Let p = 2 + i. Solve 0*j + 5 = p*j for j.
1
Suppose 3*d + 14 = -b, 35 - 8 = 2*b - 5*d. Let l(n) = 8*n**3 + 2*n**2 + n**2 - 5*n**2 - 1 + 2*n. Let z be l(b). Solve -4*a + 1 + z = 0 for a.
2
Let x(s) = -7*s - 6. Let w be x(-5). Suppose 5*q + 4*d - w = 0, -21 = -5*q - 3*d + 7. Suppose -5*o + 5*l = -q, 0*o = o + 3*l - 9. Solve 2*c - o - 1 = 0 for c.
2
Let s = 30 + -20. Suppose -5*c + 17 = b, -3*b - 2*c - 3*c = -21. Solve 4*t + s = -b for t.
-3
Let r be -9 - (-3 + (3 - -2)). Let v = r + 14. Suppose 2*m + 15 = 5*t, m - 9 = -5*t + 6. Solve -v = t*y + 3 for y.
-2
Let v = 8 + -6. Suppose -2 = 4*i - v*i. Let n be (i - 0 - 1) + 5. Solve -n*t = -0*t - 12 for t.
4
Let t(b) = b**2 + 1. Let o be t(-1). Solve -2 + 6 = o*x for x.
2
Let s(o) = 2*o**2 - 8*o + 12. Let i be s(3). Suppose 14 = 5*x + 4. Solve 0 = 4*b + x + i for b.
-2
Suppose 0 = -2*a + t + 2*t + 20, 0 = -2*t - 8. Solve -a*s = -1 + 5 for s.
-1
Let y(o) = -o**3 + 5*o**2 - 2*o. Suppose 3*k - 9 = c, 2*k - 3*c - 3 - 3 = 0. Let q be y(k). Let f be 2/(-3)*60/(-8). Solve -f*v = -2*v - q for v.
4
Let a be (-2)/5 - (-48)/20. Suppose -a*o = -3*o - 2. Let g = 4 - o. Solve 0 = h - 2 + g for h.
-4
Let q = 7 - 9. Let a be (-10 + 1)*q + 0. Solve 4*n = a - 6 for n.
3
Suppose 9*f - 10 = 7*f. Suppose 0 = 3*x + 7 - 16. Solve -23 + x = f*y for y.
-4
Suppose 4*i = -4, -6*a = -4*a - 3*i - 3. Let m = a + 2. Solve m*k = -k + 6 for k.
2
Suppose 21 = 4*s - 19. Suppose -4*d = d - s. Solve 0 = -5*n + 3 + d for n.
1
Suppose 6*i = 2*i + 16. Suppose -3*p - 1 = -16. Suppose z - 7 = -0*r - 5*r, z + p = r. Solve -u = -r*u + i for u.
4
Suppose 5*d = -24 + 89. Solve 0 = d*w - 10*w - 6 for w.
2
Let a(s) = -s**3 - 7*s**2 - 6*s + 8. Let n be a(-7). Let v(k) = 2*k. Let o be v(1). Suppose -n = -o*h + 12. Solve -5*q = h - 6 for q.
-5
Let u be (12/9)/(8/18). Solve -u*p + p + 2 = 0 for p.
1
Let k be (1 - 3)*5/(-2). Solve 4 = k*j - 1 for j.
1
Suppose 0 = -3*d - 1 + 13. Solve 0*m + d = -m for m.
-4
Let q = 0 - -1. Suppose -q + 5 = -2*z + 2*c, -4*z + 2*c - 2 = 0. Solve z = -v - 0 for v.
-1
Let d(c) = 2*c**2 - 4*c - 3. Suppose -x + 0 = -4. Let v be d(x). Let j = v - 8. Solve j - 1 = m for m.
4
Let w(h) = h - 3. Let u be w(3). Let n(r) = -r**2 - 10*r - 10. Let v be n(-6). Let y be 116/v - 2/7. Solve u = m + m - y for m.
4
Let p = 2 + -5. Let g be p/(-6)*(-1 + 5). Solve -3*b - g*b = 15 for b.
-3
Let j = 43 - 41. Solve -j*s = 3*s - 10 for s.
2
Let v = -17 + 11. Let b be 2/v*-3*3. Solve -3*w + b = -0*w for w.
1
Let i = -91 + 89. Let l be 1/2*-1*4. Let x = l - i. Solve -3*k + x*k = 3 for k.
-1
Suppose l = -l + 6. Suppose -l*r + 10 = -2. Suppose 3*w + 2 - r = 5*t, -8 = -4*t. Solve -b = -w*b for b.
0
Let r be (1 - 4)*20/(-30). Solve 0 = -r*m + 6 for m.
3
Let h(s) = -s**3 + 6*s**2 + 8*s - 4. Let a = -18 + 25. Let d be h(a). Solve d*w + w + 16 = 0 for w.
-4
Suppose c = -3*n - 3*c + 28, -4*n + c = -69. Solve 3*t - 7*t + n = 0 for t.
4
Suppose -5*l - 4*m + m = -37, 4*m = 3*l - 28. Solve -2*w - 2*w + l = 0 for w.
2
Let w be 4/(-5)*(-3)/(6/5). Solve w*l + 4 = 6*l for l.
1
Let p = 21 + -11. Solve 0 = 5*h - 3*h + p for h.
-5
Let g = 15 - 12. Solve g*l = -l - 16 for l.
-4
Let g = -18 - -22. Let x be 738/45 - g/10. Solve 3*t + 1 = x for t.
5
Let f = 112 + -100. Solve 0 = 4*v - v + f for v.
-4
Let p(a) = a**3 - 3*a**2 - 5*a + 5. Let x be p(4). Suppose -q = 5*m - 16, 5*q + 3 - 2 = 2*m. Let v = 5 - 5. Solve v = -m*b - 2 - x for b.
-1
Let z(w) = -5*w**3 - w**3 - 3 + 2 + 3*w**3. Let v be z(-1). Solve 0 = f + v*f for f.
0
Suppose 22 - 3 = x - 5*v, -5*v = 10. Suppose -3*l + 6*l - x = 0. Solve -10 = l*t - t for t.
-5
Let s be (3 - 1) + -5 + (7 - -1). Solve -21 + 1 = -s*a for a.
4
Let r(n) be the first derivative of n**4/4 + 2*n**3 - n**2/2 - 4*n - 1. Let g be r(-6). Solve -3*b - g*b = 25 for b.
-5
Let t = 173 - 166. Solve 4*j = t*j for j.
0
Suppose -5 + 17 = 3*o. Suppose 0*n + o = n. Solve 0*u = 2*u + n for u.
-2
Let v(h) = h**3 - h**2 + 2*h - 2. Let x be v(1). Solve x = 2*n - 6 - 0 for n.
3
Let q(x) = 2*x**2 + 3*x - 2. Let o be q(-3). Let z = o - 7. Suppose z = -h + 5*h. Solve h = -2*n + n - 4 for n.
-4
Let x(w) = -12*w**3 + 2*w + 1. Let t be x(-1). Let f = -3 + t. Suppose 3 + 0 = 2*n + o, 3*o + 5 = n. Solve 0*z = -n*z + f for z.
4
Suppose m = 4*m - 12. Let d be (1 + (-1)/3)*3. Let p = 0 + d. Solve -m = p*w - w for w.
-4
Let i(f) be the first derivative of f**4/4 - 7*f**3/3 - 4*f**2 + 5*f + 2. Let w be i(8). Suppose 4*m - 20 = r - 3*r, -m = -w*r - 5. Solve 2*n = -r*n - 4 for n.
-2
Let s be 6*1/(-10)*-5. Suppose 2 - s = -m. Solve u = -6 + m for u.
-5
Let n be -1 - -1*2 - 9. Let q = -6 - n. Suppose -q*j = 3*p - 15, -j + 2*p - 10 = -0*p. Solve j*x = -2*x + 10 for x.
5
Let f(u) = -u**3 - 6*u**2 + 6*u - 2. Let d be f(-7). Suppose 4*h + 5 = d*m, -4*m + 29 = 9. Solve -3*j = 2*j + h for j.
-1
Let d(q) = 0 + 0 - q + 7 + 2*q. Let b be d(-5). Solve -2*o + b = -o for o.
2
Let y = 4 - 0. Suppose 0 = -5*d + 4*k + 20, y*k + 20 = -3*d + 2*d. Suppose 0 = l - 2 - d. Solve l*s = -s + 9 for s.
3
Suppose 20 = -4*h,