. Let o be h(z). Solve -o - 1 = w for w.
-5
Suppose -n - 3*h = -0*n + 10, -4*n + 4*h - 24 = 0. Let i be (4/n)/((-14)/49). Solve i*m - 5*m + 6 = 0 for m.
2
Let n(b) be the third derivative of b**5/12 + b**4/24 - b**3/6 + b**2. Let r be n(1). Solve 3 + r = 2*w for w.
4
Let p be 0/(-1 - (-2 + 2)). Let s = 33 + -13. Suppose -5*v + 2*x = -23, -5*x = 5*v + 1 - 31. Solve p = t - v*t + s for t.
5
Let h = 7 - 29. Let m be 1 + h*2/(-4). Solve 2*f + 2*f + m = 0 for f.
-3
Suppose 2*k = -5*g + 28, -4 - 24 = -3*g - 4*k. Solve 0 = -g*c - 2 + 14 for c.
3
Suppose -2*y + 14 - 4 = 0. Suppose -40 = -y*o - 0*o. Solve 3*z + o = -z for z.
-2
Let w be (-3)/(-2)*(-80)/(-24). Let c be 69/15 - 3/w. Solve 3 = c*x - x for x.
1
Suppose -9*f = -10*f + 2. Solve -3*m + f = -5*m for m.
-1
Suppose -7*p + 5*p = -4. Solve -p*z + 12 = z for z.
4
Suppose -2*w - 2*w + 20 = 0. Let f(s) = s**2 + 5*s - 2. Let b be f(-6). Suppose w*p = -4*z + 25, -p = p - b*z - 10. Solve 20 = -k + p*k for k.
5
Suppose c - 2*a = -0*c + 12, 2*a = -8. Solve -c*w - 19 = 1 for w.
-5
Let i(p) = -p**2 - 9*p + 26. Let o be i(-11). Solve -o*g = g + 20 for g.
-4
Let n be (5 - 69/21)*7/2. Solve 0*a - n = -2*a for a.
3
Suppose 2*h - 21 = -3*a - h, a - 5*h = 37. Solve -2*s - s = -a for s.
4
Let n = -12 - -20. Solve -j - n = j for j.
-4
Suppose i - 20 = -4*p, -2*p - 2*i = -0*p - 16. Let m be 5/2*(-8)/(-10). Solve -2*o - p = -m for o.
-1
Let i be (2 - 9/(-3)) + 0. Solve -z - i = -2*z for z.
5
Suppose 3*q - 10 = 2, -2*m + 4*q = 16. Suppose c = 4*n - 8, 3*n - 4*n = 3*c - 15. Solve n*v + 0*v = m for v.
0
Let g be (-25)/2*(-8)/5. Let f be 18/4 + 1/(-2). Suppose -f*p + 20 = p. Solve p*x = -x + g for x.
4
Let v be (0/2)/(2 - 1). Suppose 0 = j - 0*t + 2*t + 3, 4*t = 4*j - 36. Let f = j - 2. Solve -4*n + f*n - 3 = v for n.
-3
Suppose 0*v = v. Solve 5*p - 9 - 6 = v for p.
3
Let s(u) = -u**2 + 10*u - 7. Let f be 24/10 - 6/15. Suppose -3*d = f - 29. Let q be s(d). Solve -y - q + 6 = 0 for y.
4
Suppose 6*u = u + 130. Let b = u - 14. Solve 3 - b = 3*d for d.
-3
Let g(y) = -y**3 + 10*y**2 - 15*y - 6. Let v be g(8). Solve -v*j = j - 6 for j.
2
Let a(m) = m + 4. Let f be (-3 - -2)/((-2)/(-4)). Let b be a(f). Solve b*k + 0*k - 10 = 0 for k.
5
Suppose -a - 8 = -2*a + 5*w, -2*a + 3*w + 9 = 0. Suppose -a*g - 15 = -p - 8*g, g - 3 = 3*p. Suppose u + u = p. Solve -i + u = 4 for i.
-4
Let n = 5 - 5. Suppose n = -2*z + 3*z. Suppose -b = -z*b. Solve b = -2*l + 2 + 6 for l.
4
Suppose 6*q - 37 = -4*w + q, -q + 5 = 0. Let v be 0*(-3)/w + -2. Let p be v + 2/2 + 6. Solve p*u - 2*u = 12 for u.
4
Let u(l) = l**3 + 4*l**2 - l + 4. Let y be u(-4). Let o(p) = 2*p - 12. Let i be o(y). Solve 0 = -3*q + q + i for q.
2
Let k = -14 + 35. Suppose -19 = -3*h - 5*s, -4*h - h = 3*s - k. Solve 0*d = -h*d + 15 for d.
5
Suppose 4*c - 20 = 4*w, c + 13 = 6*c - w. Suppose 4*g = -7 - 1, p + c*g + 2 = 0. Solve -l - 3 = p*l for l.
-1
Let j be (-30)/(-9)*6/5. Suppose -6 = j*k + i, 0 = 3*k - 3*i + 4*i + 5. Let v be k/(-2) - 6/(-4). Solve v*t = t for t.
0
Let u(q) = -q**2 - 4*q - 1. Let w be u(-2). Suppose -2*a + 5*l + 11 = -0*l, 0 = w*a - 2*l. Let g be (-80)/(-15) - a/(-6). Solve -g = 3*x + 7 for x.
-4
Let h be 2 - (1 + -3 + -10 + 9). Solve 0 = h*p - 2*p + 9 for p.
-3
Let q(d) = -d**3 + 7*d**2 + 6. Let f = -3 + 10. Let n be q(f). Let c be (-4)/n + (-12)/(-18). Solve -5*t + 2 + 8 = c for t.
2
Let r = -2 - -4. Suppose 4*f - 7*h = -2*h + 6, -12 = -4*f + 2*h. Let g be (64/f + -3)*1. Solve -r = -3*v + g for v.
5
Let a = -5 + 9. Suppose 2*u + l - 3 = 2, -4*l = a. Suppose -u*q = q - 8. Solve -f - q*f = -15 for f.
5
Let m(p) = p + 18. Let x be m(0). Suppose 6*s - 3*s - x = 0. Solve -s*j = -j + 10 for j.
-2
Let j be ((-32)/48)/((-4)/6). Let r be (1 - j)*(-3 - -2). Solve -3*w + 12 = -r for w.
4
Suppose 0 = 34*s - 32*s - 14. Suppose -2*y + 3*a + a = -10, -3*y = -3*a - 12. Solve -s*b = -y*b - 16 for b.
4
Let f = 3 - 3. Suppose 3*q + 5*i - 19 = f, 3*q - 26 + 9 = -4*i. Suppose -q*r - 2*r = 0. Solve r*s - 2*s = 2 for s.
-1
Let n = -16 + 19. Solve 4*s - 4 = n*s for s.
4
Let h = -1 - -3. Suppose 0 = -3*x - 2*w - h - 0, 3 = 3*x + 3*w. Let n = x + 11. Solve -2*t + n*t = 0 for t.
0
Suppose 0 = 8*p - 3*p - 10. Suppose h = -p*h. Suppose h = -3*o - 0*o. Solve -3*s + s + 10 = o for s.
5
Suppose -g - q = 2*g - 20, g + 2*q = 0. Solve 3 - g = d for d.
-5
Let o = 7 - 2. Solve 3*g = o*g for g.
0
Let g be (-81)/(-5) - ((-128)/20)/8. Solve -3*d - 2 = -g for d.
5
Let y(t) = t**3 + 4*t**2 + 4. Let v be y(-4). Solve -2 = -v*q + 2 for q.
1
Let j(z) = 2*z + 8 + 4 - 7 + 0*z. Let q be j(0). Solve 2*r - q = -3*r for r.
1
Let u(q) = -q + 17. Let k be u(7). Suppose 3*t = t + 3*t. Solve 2*s + t*s = k for s.
5
Let b = 14 + -10. Suppose 0 = -5*r + 3*r - b, -v - 1 = 3*r. Solve 1 = v*g - 4 for g.
1
Let t = -148 + 149. Solve 4*v - 5 = -t for v.
1
Let n = 59 - 26. Suppose n = 4*m - 3*h - 43, 0 = 5*m - h - 106. Suppose -5 = -3*r + m. Solve -r + 1 = 4*l for l.
-2
Let x be 7/5 - 2/5. Let r be x*(-2 - -9) + -2. Suppose -2*f + 23 = r. Solve 5*g - f = 11 for g.
4
Suppose 3*s - 79 = 26. Suppose 0 = y - 4*x - s, 0*y - 2*y + 5*x = -55. Solve -2*t - t - y = 0 for t.
-5
Let i(b) = 3*b - 2. Suppose 3*f - 6 - 6 = r, 3*f = 4*r + 12. Let k be i(f). Solve k = 3*c + 22 for c.
-4
Let s(c) = 5*c**3 + 40*c**2 - 13*c + 56. Let y(h) = -h**3 - 10*h**2 + 3*h - 14. Let m(g) = -2*s(g) - 9*y(g). Let a be m(10). Solve -a = 5*w + 1 for w.
-1
Let p(q) = q**2 - 3*q - 10. Let c be p(5). Solve 0*u + 4*u - 8 = c for u.
2
Let z be ((-10)/6)/((-39)/9 - -4). Solve 4*u = 5*u - z for u.
5
Let c(f) be the third derivative of -f**6/120 - 3*f**5/20 + 5*f**3/6 - 3*f**2. Let k be c(-9). Solve 0 = k*r - 15 for r.
3
Suppose 16*p + 30 = 18*p. Suppose 0 = 5*o - 4*z - 43, -z + 19 = 4*o - o. Suppose -2*l - 3*l = 15, -4*x - 5*l = 7. Solve x*j = o*j + p for j.
-3
Suppose -3*m - 2 = -6*m - 4*n, -2*m - 3*n + 1 = 0. Solve 0*j = m*j + 8 for j.
-4
Let h(c) = -c**2 + 3*c + 1. Let b be h(3). Solve y + b + 4 = 0 for y.
-5
Suppose 0 = -5*c - 25 + 145. Suppose -2*i + c = 2*i - 5*n, 2*n + 10 = 2*i. Let b be (-2 - -2) + (i - -3). Solve -a = b*a - 25 for a.
5
Suppose 0*z = 4*z - 8. Let j(s) = -2*s**3 + 4*s - 2*s**2 - 2*s + 3*s**3. Let f be j(z). Solve -11 = f*w + 9 for w.
-5
Let a = 16 + -4. Let c = 32 - a. Let y = -252 - -252. Solve y = 3*z + c - 5 for z.
-5
Let o be (-10)/(((-2)/(-2))/(-1)). Let v = -10 + o. Solve 3*r + 0*r - 6 = v for r.
2
Suppose -3*c = -0 - 6. Solve c*a = 2 - 4 for a.
-1
Let q be ((-60)/25)/((-2)/5). Let s be 4/(-6)*(-63)/q. Solve -5*c - 3 = s for c.
-2
Suppose 12*c = 5*c + 21. Let x be -1 - (-2 - -2) - -1. Solve x = -c*h - 11 + 26 for h.
5
Let x = 164 + -162. Suppose -7 = -g - g + s, 4*s + 22 = 5*g. Solve 0 = x*v + g*v for v.
0
Let v = 14 + -14. Suppose 5*g = 48 - 18. Solve -g*n + n = v for n.
0
Suppose q - 3*q = -20. Let o be (30/45)/(1/3). Let p be q/(0/(-2) + o). Solve -2*t - 9 = -p*t for t.
3
Suppose -2*x - 7 = -x. Let m = x + 11. Solve 1 = m*g + 13 for g.
-3
Suppose -10*o + 4*o = -18. Solve -o*a = -a - 10 for a.
5
Suppose -12 = -b + 4*u, b + 4*u = -u - 15. Let v(k) = -k**2 + 7*k + 5. Let z be v(8). Let o be (z/2)/(2/(-4)). Solve -3*s - 9 + o = b for s.
-2
Let f(a) = a - 14. Let d be f(14). Solve -k + 2*k + 3 = d for k.
-3
Let m be ((-3)/9)/((-4)/24). Suppose 5*o = -4*d + 40, 24 - 3 = 5*d - o. Let t = 9 - d. Solve t = m*k - 2 for k.
3
Suppose 3*o + 8 = 2*o. Let j(h) = h + 10. Let b be j(o). Solve 0*s = b*s + 2 for s.
-1
Let a(b) = b - 1. Let q(g) = 2*g + 6. Let t(i) = i - 7. Let d be t(6). Let o(p) = d*q(p) + 3*a(p). Let h be o(9). Solve 8*f - 3*f - 5 = h for f.
1
Let x(l) be the second derivative of -l**4/12 + l**3 - l**2 + l. Let k be x(5). Solve 2*w - w + k = 0 for w.
-3
Suppose 0 = 4*m - 3 - 17. Let a be 4/m*(-30)/(-12). Solve -a = -2*c - 10 for c.
-4
Let p(n) = -n**3 - 6*n**2 + n + 4. Let m be p(-6). Let h be 36/21 + m/(-7). Suppose -4*z - 3 = -15. Solve h = z*b - 7 for b.
3
Suppose 3*z = 2*q - 7, 2*q - z + 5 = 5*q. Solve q = -6*h + 4*h for h.
-1
Suppose -6*a + 31 = 5*f - 5*a, 0 = f - 2*a - 15. Let q = f + -5. Solve -q*p + 9 = -1 for p.
5
Let p(y) = -y**2 - 10*y - 5. Let q be p(-9). Suppose -q*b + 8 = 2*l, 0 = -3*l + 5*b + 1. Suppose 8 = 4*d + 2*x - 4*x, 4 = 2*d + 3*x. Solve d = l*w - w for w.
2
Let k be -2 - (6/8 - (-45)/(-12)). Solve -k = -4*q +