Let x be w(8). Solve m - x + 8 = u for m.
-5
Suppose -3*d = f - 16, -d - 2*f - 3 = -0*d. Suppose 4*h - 7 = 9. Let n = d - h. Solve -2*o - n = 1 for o.
-2
Let r = 2 + -3. Let t = r + 5. Solve t*w - 3 = 3*w for w.
3
Let h be 7*(3 + (-3)/(-7)). Suppose -4*t = -h + 8. Solve 5*v + t = 4*v for v.
-4
Let x(u) = -u**3 - 4*u**2 + 3*u - 7. Let p be x(-5). Let y be ((-4)/(-5))/(2/5). Suppose -4*q + y*q + 14 = 0. Solve -4*k + p = q for k.
-1
Suppose 0 = -2*n + 5 - 1. Suppose -n*g - 1 + 5 = 0. Solve -o - g = 1 for o.
-3
Suppose 3*b + 6 = 0, 3*v + v = -2*b + 12. Solve -3*s - v - 2 = 0 for s.
-2
Let z be (-1)/(-3)*(2 + -2). Suppose z = -0*k - k + 5. Suppose k*x = 3*h + 2*h - 10, -2*h - 8 = 4*x. Solve -3 = -p - h for p.
3
Suppose 5*v = 5*d - 15, 2*v + 0*v = -d + 6. Suppose -2*j = -j + l - 4, 5*l = -4*j + 18. Solve -d = 6*z - j*z for z.
-1
Let u(x) = -x + 10. Let w be u(-10). Solve 2*l - w = -2*l for l.
5
Let j be (-8)/24 - 34/6. Let t = j - -10. Solve 6*x - t*x = 8 for x.
4
Let o(z) be the second derivative of -z**5/20 + z**4/3 - z**3/6 - z**2/2 + 7*z. Let y be o(3). Solve -1 - y = 3*g for g.
-2
Let n be -3 + (-7)/((-14)/12). Suppose n - 10 = -3*g + x, 2*x = 10. Suppose -2*z + 3 = 5*l - 1, -5*l = g*z - 8. Solve -2 = 4*p + z for p.
-1
Let r(n) = -n**3 - 7*n**2 - 5*n - 10. Let j be r(-7). Solve 0 = -3*p - 2*p - j for p.
-5
Suppose h = 2*h + 11. Let p = h - -14. Solve -p*j = j + 16 for j.
-4
Let u = 14 - -3. Solve -4*i = 5 - u for i.
3
Let b(o) = -o**3 + 5*o**2 - 5*o + 4. Let g be b(4). Let r(s) = 15*s. Let h be r(1). Suppose -4*a = a - h. Solve g = i - a for i.
3
Let r be (-4)/10 - (-264)/(-15). Let z be r/(-4) + (-1)/(-2). Solve -z*v - 16 = -v for v.
-4
Let y(z) = -z**2 - 6*z + 2. Let q be y(-6). Suppose q*d + 3*a - a + 8 = 0, -25 = 5*a. Solve 1 = -s - d for s.
-2
Suppose -w - 10 = -4*w - 4*n, -2*w + 14 = -n. Suppose 0 = -5*y + 2*y + w. Let x be y/(-8) + 51/12. Solve b = -b - x for b.
-2
Let i(h) = 2*h**2 + h + h**3 + 0*h + 2 + 2*h**2. Let p be i(-4). Let r be ((p + 1)/(-1))/1. Solve -r = -3*x + 2 for x.
1
Suppose 5*u = -5*q + 51 + 29, -u - 6 = -q. Solve -q*y + 7*y = 0 for y.
0
Let f(x) be the second derivative of x**4/12 + x**2/2 + x. Let u be f(2). Let s(z) = -z**2 + 5*z + 3. Let q be s(u). Solve m = -q*m for m.
0
Let h(z) = z**2 - 2*z + 1. Let d be h(3). Solve -s = s - d for s.
2
Suppose 3 = -5*i - 4*x + 11, 4*x = 5*i + 8. Suppose 4*b - 1 = h, -h + 8 + 0 = 5*b. Suppose 2*u = -h*u + 15. Solve u*o + i - 3 = 0 for o.
1
Suppose -u = -2*t + 2, 3*u - 5*u + 23 = 5*t. Let g be (-5 - -10) + -1 - 2. Solve v = g - t for v.
-1
Let u be 1 + 0 + 21/7. Suppose -4*o + 2*a + 29 = -75, 3*o = -u*a + 67. Solve -f = 4*f + o for f.
-5
Let q be (-24)/(-14) - 2/(-7). Let n be (1 + -1)/(4 + -3). Suppose -5*i - g + 24 = n, 3*i = 3*g + 18 - 0. Solve -i*c + q*c - 15 = 0 for c.
-5
Let c be -4*(-2)/(-4) - -6. Solve -c = -h + 3*h for h.
-2
Suppose -2*k = -4*r - 16, 0*k + 16 = -2*k - 4*r. Let d be 3/9*-2*-6. Solve -4 = -d*g - k for g.
1
Let q(u) = u - 12. Let j be q(10). Let d(x) = x**2 - x - 1. Let y be d(j). Suppose 2*h + 3 = y*h. Solve 2*v + h = -9 for v.
-5
Suppose 5*v + 23 + 24 = 2*a, 2*a = -v + 29. Suppose 5*j - 2*k + 8 = 0, -3*j + k = -3*k + a. Solve -2*i - i - 6 = j for i.
-2
Let n be 4/6 - 50/(-6). Suppose -13 = -2*t - 3*h, 5*t = -h + 4 + n. Solve 4*k = t*k - 6 for k.
-3
Let z(f) = -f**3 - 3*f**2 + f + 3. Let t be z(-3). Solve 2*a + t*a = 2 for a.
1
Suppose 0 = 3*b + 2*b + n + 17, 5*n + 25 = -5*b. Let f = 6 + b. Suppose 0 = 3*w - 15, f - 1 = -2*t + 2*w. Solve -2*v + t*v = 0 for v.
0
Suppose -9 = -4*n + n. Suppose 2*y - q = -3*q + 10, -n = -q. Solve 3*c = -5 + y for c.
-1
Let i = 24 - 14. Let d(b) = -3*b**3 - b**2 - b - 1. Let j be d(-1). Suppose -5 = j*n - 11. Solve -n*s + i = 1 for s.
3
Let u(c) = -c + 1. Let j(s) = -2*s - 3. Let d(f) = j(f) - 3*u(f). Let z be d(11). Solve 0*n - n = z for n.
-5
Suppose 0 = -0*c + 2*c - 6. Solve 5 + 10 = -c*j for j.
-5
Suppose d - 2*y + 6 = 0, 0 = 7*d - 2*d + 5*y. Let n be d/6*0*1. Suppose n = c - 7 - 3. Solve 0 = 5*s + c + 5 for s.
-3
Let d = -101 - -105. Suppose 5*l - 4*l - 3*b = 25, 4*b = -2*l. Suppose -2*m = l, -3*k + 2*m + 8 = 4*m. Solve y - d*y = -k for y.
2
Suppose f + 2*j - 21 = 0, 0 = -f - 3*j + 8 + 15. Suppose -5*b - f = -267. Suppose -5*y - b = -2*c, 5*c + 2*y + 38 = 134. Solve -7*g + 3*g = -c for g.
5
Suppose 0 = 3*o - 7 + 1. Suppose -12 = 4*h - 5*y, 0*h = 4*h + 2*y + 12. Let f(w) = w + 7. Let p be f(h). Solve -o*m = -6*m - p for m.
-1
Let z = -78 + 83. Solve 5*i + 0 - z = 0 for i.
1
Let f = 124 + -124. Solve f*d - 3*d = 9 for d.
-3
Let w be -12*((-35)/(-20))/(-7). Solve w*p - 3 + 9 = 0 for p.
-2
Let u be 3/6*-2 + -4. Let q = u + 11. Solve -q*l - 15 = -11*l for l.
3
Let d = 4 + -1. Solve k + d*k = -12 for k.
-3
Let z(v) = 2*v**3 + 7*v**2 + 4*v + 6. Let w be z(-3). Let i = 5 + -3. Solve w = d - i for d.
5
Let y(q) = 2*q - 7. Let u be y(6). Let w = 10 - u. Suppose -4 = -x - 0. Solve -w + 21 = x*h for h.
4
Let u be (-44)/36 + (-2)/(-9). Let t = u + 3. Solve 5*s - 9 = t*s for s.
3
Suppose 2*y - 4*g = -6, 17 + 4 = 4*y + 3*g. Solve 0 = -y*w - 4 + 1 for w.
-1
Suppose 5*n - d = 89, 5*n - 4*d = -41 + 127. Suppose -6 = 3*o - n. Solve 2*w - o = 4 for w.
4
Suppose 2*s - 16 = -4. Solve -4*d + 10 + s = 0 for d.
4
Suppose 6 = -2*m + 5*m. Solve -4 = -m*n + 6*n for n.
-1
Let a(s) be the second derivative of -s**3/6 + 3*s**2 - 4*s. Let l be (1/(-2))/(-1)*0. Let v be a(l). Solve -2*y = y - v for y.
2
Let k(f) be the first derivative of -5*f**2/2 - 4*f - 1. Let a be (6/(-3) + -8)/2. Let c be k(a). Solve 4 = 5*x - c for x.
5
Suppose 3*d - 29 = 3*t - 5, -d - 2*t = -2. Suppose -d = -y - 3. Solve 0 - 6 = y*j for j.
-2
Suppose 4*s = o + 9, 4*s - 5*o = -2*o + 11. Let k(l) = 5 - 3*l + 0*l - 2*l + l**s. Let c be k(4). Solve -q + 6 - c = 0 for q.
5
Let b = 165 + -155. Solve -12 + b = i for i.
-2
Suppose -q = -2*j + 21, -7*q = -3*j - 3*q + 44. Solve -6 = -10*p + j*p for p.
3
Suppose -16*l - 1 = -13*l + 2*b, 4*b = -l - 17. Let m(v) = v**3 + 6*v**2 + 4*v + 3. Let u be m(-5). Solve u = 7*a - l*a for a.
2
Suppose 7 = n + 2*r, -5*n - 5*r + 25 = -n. Suppose j = f + n*j - 9, -2*j + 2 = 0. Solve 0 = -3*o - 7 - f for o.
-4
Let p be 3*(-3)/(-9)*-3. Suppose 4*t - 6*t + 4 = 0. Let j be (0/t)/(6/p). Solve o + 3*o = j for o.
0
Let n = 7 - 1. Suppose 0 = -2*o - 0*o + n. Let u(y) = y**2 + 7*y + 2. Let g be u(-7). Solve -i = -o*i + g for i.
1
Let i(l) = -4*l**2 - 3*l**2 - 3 + 6*l + 6*l**2. Let v be i(5). Solve 14 = 3*r + v for r.
4
Let j = 1 + -1. Let k(n) = -n + 4. Let a be k(j). Solve 3 = -a*w - 1 for w.
-1
Let y be 3/2*(-180)/(-54). Solve b + y = -0*b for b.
-5
Let c(n) be the third derivative of n**4/12 - n**3/3 - 2*n**2. Let m be c(5). Solve m*s = 3*s + 20 for s.
4
Let p = 27 + -11. Let z(y) = 7*y + 1. Let d be z(3). Let m = d - p. Solve o + 10 = m*o for o.
2
Suppose -10 = -2*j - v - v, 2*j = -3*v + 11. Solve -t = -j*t + 15 for t.
5
Let s be (-186)/(-26) + (-2)/13. Solve 4 = -r + s for r.
3
Suppose 2 = 2*f - 22. Suppose -3*x - f = 4*d, 0 = -3*d + d + 3*x + 12. Solve 5*y + d*y = 5 for y.
1
Suppose 35 = 2*q + 3*z, 4*q + 4*z = -35 + 95. Solve q*h - 5*h - 15 = 0 for h.
3
Let c be 0 - (-3 - 0) - -2. Solve -c*f - 9 - 6 = 0 for f.
-3
Let t(q) = -q**3 + 2*q**2 + 2*q + 1. Let l be t(-1). Solve -1 = -3*v + l for v.
1
Suppose 111 - 30 = 3*m. Let n(s) = s + 14. Let y be n(-10). Suppose 3*q + y*f - m + 8 = 0, 0 = q - 5*f. Solve -q*r = -3*r for r.
0
Suppose -v + 5*v = -8, -2*k - 5*v = -2. Let l be 9/k + 3/2. Let m be -1 - (2 - (0 + l)). Solve m = -5*c + 4 + 1 for c.
1
Let b be 12/(-9)*(-6)/2. Let v be 54/7 + b/14. Let f be (-1 - -2) + (-4 - -11) + -8. Solve f = -5*g - 7 - v for g.
-3
Suppose -3*z - 2*z - 5*u + 5 = 0, z - 11 = 4*u. Solve 2*l - l = -z for l.
-3
Let r(f) = -3*f**2 - 14*f + 6. Let q be r(-5). Solve -3*u - 8 = q for u.
-3
Suppose 12 = 15*x - 13*x. Solve 31 = 5*v + x for v.
5
Let o be (2 - (-2 - -4))/2. Let r = 4 - o. Let h = 18 - r. Solve -3*z + 5 = h for z.
-3
Suppose 0 = -17*c + 18*c - 12. Solve n + 3*n - c = 0 for n.
3
Suppose -5*b - 20 = 3*c, -3*b - 12 = -0*b. Solve -4*q + 9 + 3 = c for q.
3
Suppose 3 = 3*a - 3. Let u be a + 2*(0 - 1). Solve u*j - 1 = j for j.
-1
Suppose -4*h + 3*j - 3 = 0, -5*h = j + 8 + 10. Let u be h/(-3)*(-3)/(-1). Solve -5*g = -u*g for g.
0
Let h(