(d) = d**2 - 4*d - 8. Let f be p(6). Suppose -6*k = -2*k - f. Solve o - 4 = -k for o.
3
Let q be 2/(-8) - 10/(-8). Let h = -9 - -3. Let w be (0 - 1) + (-18)/h. Solve -q = -w*l - 5 for l.
-2
Let v = 1 + -18. Let u = -11 - v. Solve -4*f + u*f + 8 = 0 for f.
-4
Suppose 7*c = 10*c. Let d(n) = n + 2. Let f be d(c). Solve f*p = p + 2 for p.
2
Suppose -2*o = -15 - 11. Suppose -14 = b - 3*b. Solve -4*t = -o - b for t.
5
Suppose -40 = 6*x - 2*x. Let o = 16 + x. Suppose -4*v + 3*v + 2 = 0. Solve 0*n - v*n = o for n.
-3
Let n = 5 + -2. Suppose n*m - 16 = -m. Let d be 1/(-2)*(-40)/m. Solve d*b = b for b.
0
Let r be ((-1)/3)/(2/(-6)). Solve -3 - r = -p for p.
4
Suppose 2*v + 0 - 24 = 0. Solve 3*c + c = v for c.
3
Suppose 3*d - 37 = 4*b + 42, 0 = 4*d - 5*b - 105. Solve -2*z = 3*z - d for z.
5
Let n = -1 - -3. Solve 0 = z + z - n for z.
1
Suppose 3 = -n - 0, n = -v - 3. Let f(h) = -h**2 - 3*h + 1. Let t be f(-3). Solve v = c + 1 + t for c.
-2
Let o(g) = g**3 + 8*g**2 - 11*g - 15. Let x be o(-9). Solve -x*v + 10 = -2 for v.
4
Suppose 8*y - 3*y = 40. Solve -3*w + y = w for w.
2
Suppose 11 = 3*k + 2. Let y be (-2)/4*(k + -13). Suppose -2*s - h - 8 = 3*h, -5*h - y = 5*s. Solve 3*g = -s*g - 25 for g.
-5
Let o = -28 - -32. Solve 0 = o*u - 8 + 28 for u.
-5
Suppose 3 = -0*f + 3*f. Suppose -x + 4*q - f = 2*x, -x + 1 = -q. Solve 0 = -0*g - x*g - 20 for g.
-4
Suppose -4*g - d = -73, -4*g + 15 = -d - 48. Suppose h - g = -4*p, -2*h - 1 = -11. Let n = 3 - p. Solve 2*a - 4 = -n for a.
2
Let v(u) = -2*u - 8. Let x be v(-7). Suppose -2*w + 27 = 3*t, 5*w - x*t = -t + 5. Solve -5*f - w = -8*f for f.
2
Let o = 7 - 4. Let a be 2/(o/(3 - -3)). Suppose 0 = a*w - w - 6. Solve -w = -r - 7 for r.
-5
Let y = -2 - -3. Suppose -5 + 0 = -5*r. Solve p + r = -y for p.
-2
Suppose i + 4*i = 110. Suppose -5*w - 15 = 2*h, -2*w - 8 = -4*h + i. Solve 0 = -0*p - h*p for p.
0
Suppose 0 = 5*p - 2*d - 2, 2*d = p - 2*p - 2. Suppose 0*r - 30 = 2*g + 4*r, -3*r - 9 = 0. Let f = 12 + g. Solve f*v = -3 - p for v.
-1
Suppose 3*k + 2 = -3*p - 4, 0 = -5*k - 3*p - 2. Solve -2*y + y = -k for y.
2
Let k = 11 + -6. Solve -1 + 21 = k*t for t.
4
Suppose -3*z + 6 = 3. Suppose -3 = 4*u + g, 4 = 2*u - g + z. Solve u = 4*v - 1 + 13 for v.
-3
Let c be -1*(-10 - 1) + 4. Solve -3*x + c = 2*x for x.
3
Let w be (-5 - 1)/((-3)/4). Suppose -5*f = -4*f. Solve -3*m + w - 2 = f for m.
2
Let h be 15 - 4 - 0/(-1). Let x = h + -19. Let l = x - -10. Solve -v = -l*v for v.
0
Let p(r) be the third derivative of -r**6/120 + r**5/15 - r**4/8 + r**3/2 + 7*r**2. Let g be p(2). Solve 2 = b + g for b.
-3
Let t be 72/54*6/4. Solve -t*v = -v for v.
0
Suppose 2*y = -2*i + 74, 3*y = -4*i - 2*y + 152. Let p = 5 - 2. Suppose p*b - 3 = 9. Solve b*n = i - 13 for n.
5
Suppose -2*w + 5*w - 6 = 0. Solve 5*d + w + 8 = 0 for d.
-2
Let h(d) = d - 5. Let c be h(8). Suppose 8 - 2 = c*q. Solve 0 = q*b - 6*b + 8 for b.
2
Let p(h) be the second derivative of 3*h - h**3 + 1/12*h**4 + 0 - 5/2*h**2. Let g be p(7). Solve -2*k = g*k for k.
0
Let g(x) = -x**2 + 10*x - 6. Let n = 13 - 21. Let k(i) = i**2 + 6*i - 8. Let m be k(n). Let q be g(m). Solve -8*c = -3*c + q for c.
-2
Let o = -15 - -22. Solve 0 = 5*k - o - 8 for k.
3
Suppose 3*i - f = 0, 4*f + 13 = 2*i - f. Let u(k) = -74*k**3 + k**2. Let h be u(i). Suppose -6*p + 2*p + 5*r = -h, -3*p = 2*r - 85. Solve -4*x + p = -9*x for x.
-5
Let f(b) = -b**3 + 8*b**2 + 3. Let p(y) = 20*y**3 - y**2 + 1. Let k be p(1). Let d be (-5)/k - 33/(-4). Let u be f(d). Solve q + 10 = u*q for q.
5
Suppose -5*s - 7 = -6*s - h, -s - 3*h + 17 = 0. Solve 10 - 8 = -s*u for u.
-1
Let w(a) be the first derivative of a**4/4 - a**3 - 2*a**2 + a - 4. Let q be w(4). Solve r = q - 5 for r.
-4
Suppose 2*r = r + 2. Suppose 1 = -4*v + 3*i - 2, 2*v + r*i - 16 = 0. Solve 4*k - v - 13 = 0 for k.
4
Let t(w) = w**3 + w**2 + 12. Let d be t(0). Let b = 6 - d. Let s be 2/b - 13/(-3). Solve -n + s*n + 3 = 0 for n.
-1
Suppose f + 15 = 3*k, -5*k + 22 = f + 5. Suppose 176 = 3*g + 3*y - y, 0 = -k*g + 4*y + 248. Let d = g - 40. Solve d = -2*b - 2*b for b.
-5
Suppose 0 = -2*y - 5*y. Solve y = -4*o - o + 15 for o.
3
Suppose -2 = -n + 1. Suppose 0*f - n*f = -12. Solve 0 = 3*t + t - f for t.
1
Let w(n) = -n**2 - n + 12. Let q be w(3). Solve 4*r - 17 + 1 = q for r.
4
Let r(m) = -m**2 + 6*m - 5. Let n = 9 - 6. Suppose 8 = c + n. Let t be r(c). Solve -2*h = -t*h + 2 for h.
-1
Suppose 10 = 5*b - 4*p, 3*b - p + 2*p - 23 = 0. Solve 4*x = -6 - b for x.
-3
Let m be 1/(-2)*(9 + -9). Solve m = w - 3*w + 2 for w.
1
Let x(z) = z**2 + 5*z + 3. Let v be x(-2). Let b = v + 7. Solve b*p + 0*p + 20 = 0 for p.
-5
Let x be (0 + (1 - -1))/(-2). Let h be (-1 - 3 - x) + 9. Solve -f = f + h for f.
-3
Let o be ((-15)/3)/((-2)/6). Suppose 4*u - 9 - 7 = 0. Suppose -f = -4*k + 36, 0*k - 2*f - 36 = -u*k. Solve k*b + o = 4*b for b.
-3
Let f(p) = -p**2 - 5*p + 1. Let d be f(-4). Suppose 5*y - 4*l - 23 = 0, -3*y + d*l + 11 = -8. Solve 0*h + 3 = y*h for h.
1
Let b be 0 + 0 - (4 - -6). Let f be b/(-2) - 3 - 1. Let p be (2 + -2 + 0)*f. Solve -4*v = -p*v + 4 for v.
-1
Let y be (-1)/(-4) + (-21)/84. Solve 0*g - 3*g = y for g.
0
Let b be (-6 - -13)*6/14. Solve 0 = -b*a + 6*a for a.
0
Let r = 9 + -11. Let x be (-8)/(-2) + (r - -1). Solve 9 - x = 2*q for q.
3
Let p(y) = -2*y - 9. Let b be p(-6). Let g(m) = 4*m + 2 + 3 - 3*m. Let x be g(-3). Solve b*a - a = x for a.
1
Let a(r) = -r - 4. Let w be a(-8). Solve w = -2*x + 2 for x.
-1
Suppose -3*g = 2*g - 15. Solve 2*o + g = -o for o.
-1
Suppose -l = -4*l + 4*g + 17, 0 = -5*l + 2*g + 19. Solve l = 5*w - 2 for w.
1
Let w = -36 + 39. Solve w*n = -2 + 5 for n.
1
Let z(r) = -r - 26. Let l be z(-29). Solve 3*v = 9 - l for v.
2
Let l = -11 + 5. Let p be 3/2 - l/12. Solve p*t = -11 + 1 for t.
-5
Suppose -5*o + 7 = -8. Let n(f) = f**2 + 4*f + 3. Let c be n(-3). Suppose -w - w = -5*b + 10, c = 2*w - 2*b + 4. Solve o = -w*s - 3*s for s.
-1
Suppose -2 = -2*r - 4. Let y = 14 + -13. Let p be r + (0 + 2)/y. Solve p = g + 5 for g.
-4
Let n = -59 + 61. Solve -p + 4 = n for p.
2
Let a(k) = -89*k**2 + 0*k + 90*k**2 + 4*k. Let w be a(-4). Solve 5 = c - w*c for c.
5
Suppose -5*y + 23 = -22. Let l be (9/(-6))/(y/(-30)). Solve -5*m - l = 20 for m.
-5
Let z(b) = b**3 + b**2 + 2*b + 5. Let c be z(0). Solve -c*x + 7*x = 0 for x.
0
Let q(i) = -i**2 - 11*i + 10. Let z be q(-11). Solve f = 3*f + z for f.
-5
Let f(u) = -u + 5. Let m be f(5). Solve n + 1 = -m*n for n.
-1
Suppose 2*c + 2*c - 4*o = 188, 0 = -4*c - 5*o + 233. Suppose -5*s - c + 122 = 0. Suppose -s + 2 = 4*z + 5*h, -3*h = 12. Solve -v = -z*v - 1 for v.
-1
Let z(p) be the first derivative of p**2/2 + 10*p - 1. Let r be z(-7). Suppose 7 - 1 = 3*k. Solve -2*m = -r*m + k for m.
2
Suppose -2*n + 20 = -0*n + 5*l, -40 = -4*n + l. Let o(f) = f**2 - 11*f + 14. Let k be o(n). Solve k*j - 2*j = 6 for j.
3
Let x be 19/3 - 1/3. Let m be 28/x*54/21. Suppose 4*t - 4 - m = 0. Solve -t*p + 15 = 3 for p.
3
Let s = -11 - -8. Let l be 8 + 1 + s + 2. Solve -a = a - l for a.
4
Suppose -3*d + 122 = 26. Let i = d + -23. Suppose w = 3*x + 11, -w + 5*x + i = -4. Solve a - w = -a for a.
4
Let h be 8/36 + (-32)/(-18). Suppose 0 = u + 2, 2*u = -2*r - 2*u + 12. Suppose -h*q + r = 3*q. Solve 4*o + q = 6 for o.
1
Let v = -50 - -56. Solve -x = -3*x - v for x.
-3
Let m be ((-24)/(-6))/(-3 + 5). Solve -2*l - m*l = -16 for l.
4
Let b(a) = -4*a - 7 + a**2 - 1 + 0*a**2. Let u be b(6). Solve -c + u = 3*c for c.
1
Let t = 11 + -10. Let l be 1 + t*(-6)/(-3). Solve -5*n = 2 + l for n.
-1
Let z(d) = -d**3 + 5*d**2 - 3*d. Let k be z(2). Suppose -k = -p - 3. Suppose 3*w + 5*n - 19 = 0, 4*n = -5*w - n + 25. Solve p*c + w = -6 for c.
-3
Suppose 0 = -l - 5*d + 29, l + 4*d - 13 = 7*d. Let v be 5*1*(-4)/(-5). Solve v*o = -l - 1 for o.
-5
Let s(t) = 8*t**2 - 1. Let b be s(-1). Let u = b - 4. Solve -u*p = -2*p - 2 for p.
2
Suppose 5*g - 29 = 3*g - 5*l, 4 = -3*g + 2*l. Suppose 4*d + 0*d - 52 = -h, -4*d + 40 = -g*h. Solve 4*c - d = -0*c for c.
3
Suppose 3*v - 4 - 11 = 0. Let o(c) = -c**2 - 7*c - 5. Let x be o(-6). Suppose v*n + 5*f + 6 = x, -3*n + 4*f = -18. Solve -3*b - 25 = n*b for b.
-5
Let m(x) = x**3 + 4*x**2 + 2*x - 1. Let l be m(-2). Let w(g) = -g + 1. Let o be w(-3). Suppose -3*j + 23 + 9 = 4*a, -j = -3*a + 11. Solve l*v + j = o*v for v.
4
Let h(d) = -d**3 - 8*d**2