Let x be b(d). Solve 4 = -l + x for l.
5
Suppose 1 = 2*h - 3. Suppose -10 = h*w - 24. Solve -4*j + w*j = 0 for j.
0
Let t(r) = 24*r + 1. Let d be t(-1). Let q = -16 - d. Let w be 26/q - (-4)/14. Solve 3*s - w = -13 for s.
-3
Let p(m) be the third derivative of m**5/60 - m**4/3 - 5*m**3/2 - 4*m**2. Let h be p(10). Solve 1 = 4*u - h*u for u.
-1
Suppose y = -y - 2*o + 6, 2*o = 5*y - 22. Suppose 0*t + 2 = -t - 4*d, 0 = -y*t - 4*d + 4. Solve 0 = 5*q - t + 7 for q.
-1
Let k(u) be the first derivative of -u**3/3 - 2*u**2 + 1. Let c be k(-3). Suppose b + 2*y + 2 = -b, -b + c*y + 19 = 0. Solve 7 = b*p - 1 for p.
2
Suppose 3*y - 6 = -0*y, -m - y + 2 = 0. Suppose -4*h + 9 = 5*w + 4, 4*w + 2*h - 10 = m. Solve w*d + 0*d - 25 = 0 for d.
5
Suppose -7*a = -5*a - 28. Solve -17*p = -a*p - 3 for p.
1
Let n be 195/(-27) + 4/18. Let s be 5*5 + 5 + n. Suppose -5*j - 3*f = -20, 0*j + f - s = -4*j. Solve 0 = x - 2 + j for x.
-5
Let l = 51 + -45. Solve 0 = -4*z + 2 + l for z.
2
Let f(m) = -4 - m + 1 + 4*m - m. Let b be f(3). Solve 10 = b*g + 2*g for g.
2
Let y = 22 - -8. Suppose -6*d - 42 = -3*f - d, 0 = -2*f + 4*d + y. Solve -3*h + 6*h + f = 0 for h.
-3
Suppose 0 = -3*w + 12 - 6. Solve w*x = 4*x - 10 for x.
5
Let l be (-2)/(-4) - 6/(-4). Solve -2 = -2*u + l for u.
2
Suppose 5*g + 13 = 4*a, a + 2*g = 5*a - 10. Let w = 1 + 3. Solve a*l + 14 = w for l.
-5
Let j be 1*-1 - 7/(-1). Suppose j = -4*v + 6*v. Let h = v - 1. Solve -h*w + 5 - 1 = 0 for w.
2
Suppose -3*p = 2*p - 25. Solve -5 = p*r + 5 for r.
-2
Suppose -3*p = -8*p - 20, 2*u - 22 = 4*p. Suppose -2*c + 2 = -5*v, v + c = -u*v + 1. Suppose v*b - b = 0. Solve 4*q - 2 - 2 = b for q.
1
Suppose -100 = -6*m + 2*m. Suppose -h - 10 = -29. Let l = h - 13. Solve d = l*d + m for d.
-5
Let y = -1 + 4. Suppose 0 = -3*f + 9 - 3. Suppose 2*d - 2 - 2 = -2*t, -2*d = -f*t + 4. Solve y*i - 2*i = t for i.
2
Let i(q) = 3 - 2*q - 5 + 1. Let m be i(-2). Solve 0*d - m*d = 0 for d.
0
Suppose 2*c = -1 + 5. Let f = c - 2. Let g be (f + 1)*-1*-3. Solve -2*p + g = -5 for p.
4
Let u(o) = -o**2 - 3*o + 3. Let n be u(-5). Let f(v) = v**2 + 8*v + 10. Let y be f(n). Suppose 0 = -y*d + 3 - 0. Solve 2*r + 9 = -d for r.
-5
Let v(p) = 5*p - 2. Suppose 0 = 3*s - j - 6, 0*s - 3*j - 2 = -s. Let q be v(s). Let y = -12 - -16. Solve q*x = y*x + 20 for x.
5
Let a = 6 + 13. Let x = a - 5. Let w be (-2)/(-7) + 38/x. Solve -w + 0 = v for v.
-3
Suppose -2*h = -6*h. Let j = h - -2. Let q be 6/(-12)*0/j. Solve 3*c - 16 + 4 = q for c.
4
Suppose -5*z = -0*z + 5*n + 10, 3*z = -n + 2. Solve -q = -z*q - 5 for q.
-5
Let m be (-20)/(-6) + 3/(-9). Suppose -d - 4 = -m*d. Solve -d = -2*u + 6 for u.
4
Let g(t) = -t**3 - 5*t**2 + 8*t + 8. Let c be g(-6). Let d = 1 + -3. Let w be d + -1 + (-1 - c). Solve w = 2*z + 1 - 3 for z.
1
Suppose 17 - 7 = 5*g + 2*f, 4*f + 4 = 2*g. Suppose -g*m + 1 = -3*m. Let j = m + 2. Solve -a - 1 = j for a.
-2
Suppose -4*b = -3*m - 2, -2*m + 2*b = -2*b. Let f = m + 5. Solve -j - 1 = f for j.
-4
Suppose -4*c = 2*k - 2*c - 20, -2*c + 6 = 0. Let y be k/2 + (-3)/6. Solve 2*p = -y*p for p.
0
Let c(h) = -h**2 - 3 - 1 + 8*h - 3. Let a be c(7). Solve s + s - 8 = a for s.
4
Let x be (32/(-12) - -2)*-15. Suppose 0 = 3*l + 2*l - x. Solve 12 - l = 5*j for j.
2
Let x = -7 - -12. Let r be 5 + 4 + -3 + 0. Let z be (0/1)/(4/(-2)). Solve x*q - r - 4 = z for q.
2
Let w be 4*4/((-16)/(-14)). Solve 5*f = 6 + w for f.
4
Suppose 6*f - 7*f + 1 = 0. Solve f = 2*c - 1 for c.
1
Let a(m) = -m**3 - m**2 - 6. Let f be a(0). Let g be ((-4)/f)/(4/18). Let l = 5 - g. Solve -l*r - 2*r + 20 = 0 for r.
5
Let v be (8/(-10))/(1/5). Let f be (2 - 0) + (-3 - v). Solve 0 = f*b - 7*b for b.
0
Let z be (-44)/(-16) + 1/4. Suppose 4*n - 8 = 4*l - z*l, -4*n + 2*l + 4 = 0. Suppose 5 = 4*s - n. Solve -6*k + 20 = -s*k for k.
5
Let p = 0 + 11. Suppose -3*l - 5 + p = 0. Solve -m = l*m - 12 for m.
4
Suppose -n + 2*n = 0. Suppose 4*d = -5*s + 8, 0 = -2*s - 4*d - d - 7. Let j be s*(-1)/((-4)/6). Solve h - 3*h - j = n for h.
-3
Let m(b) = b**3 + 5*b**2 - 1. Let k(t) = t**3 - 3*t**2 + t + 2. Let s be k(2). Suppose s = h - 5*h - 8. Let f be m(h). Solve 3*d + 1 = -f for d.
-4
Let k(y) = 4*y - 4. Let s be k(6). Suppose 0 = 3*x - 5*b - s, b + 4 = -5*x - 0*b. Suppose 3*a - 5*m = -x*m - 5, -3*m = 3*a - 27. Solve a*u = u + 20 for u.
5
Let l = 0 - -2. Let g be l + 0 + (-2 - -3). Suppose -y + w + 10 = -2*w, -4*y - 5*w = -6. Solve g*q - 2*q = y for q.
4
Let p(k) = k + 3. Let z(u) be the first derivative of -u**4/4 - 4*u**3/3 + 3*u**2 + 5*u - 1. Let o be z(-5). Let v be p(o). Solve -v*q + 0 = 3 for q.
-1
Suppose h - 22 = 4*k - 9*k, -3*k = -3*h - 24. Let v be -3 - h - (6 + 0). Let o be (v/(-10))/(4/20). Solve 2*u = -o*u - 25 for u.
-5
Let d(n) = -2*n - 1. Let s be d(0). Let t be (-33)/(-6) + s/2. Solve -14 - 11 = t*w for w.
-5
Let i(t) = -4*t**2 + 3*t**2 + t + 3*t**2 - t**2. Let z be i(-3). Solve -5*h = -z + 26 for h.
-4
Let a be (-4)/(-16) - 25/4. Let w be -4 - (a/3)/2. Let n be (w/(-6))/((-2)/(-4)). Solve f - 3 = -n for f.
2
Let f(k) = k**2 + 4*k + 9. Let g be f(-4). Solve 5*b + 29 = g for b.
-4
Let s = -10 - -14. Let b(p) be the second derivative of -p**5/20 + 5*p**4/12 - p**3/2 - p**2/2 + p. Let l be b(s). Solve 11 = -l*f + 2 for f.
-3
Let g(u) = 4*u**2 - 11 - 3*u**2 - 2*u**2 + 0 - 10*u. Let d be g(-8). Solve -10 = -d*f - 0*f for f.
2
Let w = -5 + 7. Let p(c) = 7*c**2 - c**w + 3*c**2 + 1. Let g be p(1). Solve 6*r - r = g for r.
2
Let p = 8 + -6. Suppose p*m + m = 0. Suppose m = -3*k + 2*k. Solve k = -5*r + 1 - 6 for r.
-1
Let i(f) = -f - 3. Let n be i(-3). Suppose 5*k + w = 17, 3*k + 5*w + 6 - 25 = 0. Suppose k*a = 7 - 1. Solve -a*u + 7*u - 25 = n for u.
5
Let d be 4*-1 + 17 + -9. Solve u - d = -1 for u.
3
Suppose 3*u - 4*u + 12 = 4*n, -2*u - 2*n + 6 = 0. Suppose -5*m - 3*r - 3 = 0, -3*m + 2 = -0*r - 2*r. Let d be (-5)/1*3/(-3). Solve m*t + t - d = u for t.
5
Let i(l) = -l - 2. Let s be i(-2). Let m be 3 + (-12)/(s + -2). Suppose 0 = -5*r + 2*r. Solve r = 2*g - m - 1 for g.
5
Let b be (2/2)/(1/2). Suppose b*h - 2*w - 2*w = 0, -2*h = w. Suppose h = -3*c + 5 - 2. Solve -a - c - 2 = 0 for a.
-3
Let j(k) be the third derivative of k**4/6 - k**3/2 - 3*k**2. Let z be j(2). Solve 0*r = -z*r + 25 for r.
5
Let i(v) = -v**3 + 6*v**2 - 6*v + 4. Let q be i(5). Let n be q/(-2 - -3)*-6. Solve -2*u - u = -n for u.
2
Let s(u) = u**3 - 6*u**2 + 6*u + 7. Let h be s(5). Let b = h - 8. Solve 0 = 4*i - 8 - b for i.
3
Suppose 13 = -4*a + 25. Solve 0 = s - a*s for s.
0
Suppose -17 = -l + 5*i + 2, -23 = -5*l + i. Suppose -6*r - 370 = -5*n - r, -3*n = -l*r - 221. Let q be (-2)/((-5)/(n/6)). Solve -2 + 7 = -q*g for g.
-1
Suppose 3*z - 356 = 4*l, 5*l + 361 = 3*z - 0*l. Let j = z - 79. Let t be j/9 - (-2)/6. Solve -5*i + t*i - 1 = 0 for i.
-1
Suppose 4*p - 7 = -3. Suppose 0 = -5*k + 59 + 26. Solve p = -4*f + k for f.
4
Let b(l) = -l**3 + l**2 + 3*l + 1. Let t be b(-1). Solve t = 2*x - 9 + 1 for x.
4
Suppose 0 = -s - 4 + 1, -m + 14 = 3*s. Solve -m + 3 = -4*l for l.
5
Let k = -9 - -15. Let b be ((-5)/(-2))/(3/k). Suppose -5 = -b*r + 10. Solve -r*u - 20 = 2*u for u.
-4
Let l(o) = o**3 + 6*o**2 - 7*o + 2. Let x be l(-7). Suppose -3*r = -r - x. Let f = 4 - r. Solve 0 = -v - f*v for v.
0
Let o(r) = 8*r + r**2 + 0 - 9 + 2. Suppose 3*x + 27 = -0. Let l be o(x). Solve -2 = -2*t + l for t.
2
Let v be (6 - 0)/((-6)/(-4)). Solve -v*b + 3 = -b for b.
1
Suppose -3*j + 10 = -8*j. Let u = -2 - j. Solve u = 2*m + 2 + 2 for m.
-2
Let s be (-2)/5 - 12/(-30). Suppose s = u - 6 + 1. Solve 0 = 3*g - 4*g + u for g.
5
Let d be (-1)/(2 + (-23)/11). Suppose -5*q + d - 1 = 0. Solve -k = -3*k + q for k.
1
Let c(o) = -o - 6. Let x be c(-9). Suppose 6 = x*j - 3. Suppose -7 = -5*y + j. Solve 1 = -y*m - 3 for m.
-2
Suppose -a + 0*a + 4 = 0. Suppose d + 2 = -0, a*t - d - 6 = 0. Solve 2*r - 5 = -t for r.
2
Let u(i) = -i**3 - 5*i**2 + 6*i + 9. Let c be u(-6). Suppose 0 = m - 4*m + c. Solve 2*a = a - m for a.
-3
Let c(a) = a**3 - 6*a**2 - 9*a + 8. Let j be c(7). Let f be j - (1/(-1) - -2). Let z = f - -12. Solve 7 - 22 = -z*o for o.
3
Suppose -5*t - h + 61 - 17 = 0, 3*h - 4 = t. Solve -15 = -t*w + 5*w for w.
5
Suppose -2*y - 3*y + 10 = 0. Let z(q) = -q**2 - 8*q - 8. Let b be z(-6). Solve b*v = -18 - y for v.
-5
Let p be 6/(-18) + 52/(-6). Let x be (-1 + 4)/(p/(-6)). Solve