cond derivative of -o**3/2 - o**2/2 + o. Let r be f(-2). Solve -13 = r*n - 3 for n.
-2
Suppose 12 - 66 = -2*q. Let v = 40 - q. Solve 0 = -3*y + v - 1 for y.
4
Let u be (2 - 1) + 0 + 1. Suppose 2*l - u = -4*n, -4*n + 5*l + 5 = -9*n. Solve n*z = -3*z - 20 for z.
-4
Suppose 4*o = 2*b + 10, 6 = 2*o + 2*b - 8. Suppose -o*t = -2*t - 68. Let n = t - 22. Solve 3*z = -z - n for z.
-3
Suppose -4*x + 30 = x. Solve 4*v - x = 2 for v.
2
Let m(r) = -1 + r + 2 - 1 + 1. Let q be m(-7). Let w = q + 6. Solve w*d - 5 = -d for d.
5
Suppose -3*j = 4*h - 14, 4*j + 2*h - 10 = h. Suppose j*x = -x. Let d be 2 + (x/(-2))/(-1). Solve 0 + 2 = -d*z for z.
-1
Let j(n) = 2*n**2 + 3*n - 2. Let o be j(-2). Let f be (-1)/((-65)/32 + 2). Let t = -16 + f. Solve -t = -o*z + 4*z for z.
-4
Let p be ((-12)/32)/(1/(-8)). Suppose -4*u + p = -u. Solve 0 = i + u + 3 for i.
-4
Let m be 14/4 + (-2)/4. Suppose m*t = -0*t + 6. Suppose -4*o + w = -3, -4*o - t*w - 1 = 5. Solve r + 4*r - 10 = o for r.
2
Suppose -3*d = 3*a - 21, -2*a - 2 = -12. Solve 0 = d*u + u for u.
0
Let h = -8 + 5. Let m be (h + 1)*(-18)/12. Solve 2*i + 3 = -m for i.
-3
Suppose -3*j - 9 = -3*i, -3*i = -5*j - 0 - 15. Solve k = -i*k for k.
0
Suppose 20 = -2*d + 7*d. Let b = 2 - d. Let p be (b + 2)/(-3) + 9. Solve -2*n - n = -p for n.
3
Suppose 2*g + 2*n = 22, -20 - 24 = -4*g + 2*n. Solve 0 = 5*z - 4 - g for z.
3
Let x(i) = -2*i - 11. Let l be x(-7). Solve 5*q - 13 = -l for q.
2
Let o(g) = g**2 - 7. Let h be o(3). Solve -2*u - h = -0*u for u.
-1
Let q(p) = p**3 + 5*p**2 + 2*p - 3. Let k be q(-4). Solve -k*a - 16 = -6 for a.
-2
Let n(z) = z - 3. Let u be n(7). Solve -u*c + 12 = -c for c.
4
Let c be 2/(-3) - 11/(-3). Solve -3 = -c*f - 12 for f.
-3
Let q(y) = -11*y + 8. Let w be q(0). Solve -w*r - 5 = -3*r for r.
-1
Let y be ((-92)/(-22))/1 - (-4)/(-22). Solve -7 + y = -i for i.
3
Let d = -4 + 6. Let m be (2 - (-2 - -7))*15. Let o be (-3 + 2)/(3/m). Solve -3*a = d*a - o for a.
3
Let f(n) = -n**3 - 3*n**2 - n - 3. Let j be f(-3). Solve 3*w - w - 10 = j for w.
5
Let l = 2 + 1. Let j = 15 - 9. Solve -l*d = -j*d for d.
0
Let u(a) = a - 3. Let y be u(3). Suppose -2*t - 4*j - 8 = 0, y*t + 2*j = 2*t - 10. Solve 0*k = -k - t for k.
-2
Let k(x) = -3*x**2 + 2*x + 1. Let q be k(-2). Let w = q + 22. Solve -27 + w = 4*o for o.
-5
Let a = -73 - -76. Solve -a*v + 2*v = 1 for v.
-1
Let u(h) be the first derivative of -h**2/2 - h - 1. Let p be u(-1). Suppose 4*x = 4*r + 12, 2*r = 3*x + 5*r - 15. Solve 5*b - 7*b - x = p for b.
-2
Suppose 4*t - 44 = -5*x - 17, 0 = 2*t - 2*x. Let w(o) = -o + 4*o**2 - 6*o**3 - 5*o**t + 4 + 10*o**3. Let y be w(4). Solve -z - 2*z = y for z.
0
Suppose -8 = -2*d - 4. Suppose 3*s - 57 = -3*f, 3*f - 4*s - 10 = 19. Suppose 4*q = q - v + 5, 5*q + 3*v - f = 0. Solve 5*g - d*g + 6 = q for g.
-2
Let g = 21 - 16. Solve -w + g*w - 4 = 0 for w.
1
Suppose 7*u = 4*u. Suppose -3 = -z - u. Solve -4*s + z = 11 for s.
-2
Let g be 2 - 2 - (3 + -1). Let r = 0 + 6. Let f = r - g. Solve -f = m - 5*m for m.
2
Let l = -14 + 18. Solve -2 - 10 = l*i for i.
-3
Let f(k) = -k**2 - 9*k. Let i be f(-9). Let c(m) = -m**2 - 7*m - 7. Let h be c(-4). Solve h*g - 4*g = i for g.
0
Let g(f) = f**3 + f**2 - 6*f - 1. Let x be g(-4). Let u = -18 - x. Solve -u + 3 = -2*z for z.
2
Suppose -m + 1 - 5 = 0. Let i(z) = -z**3 - 3*z**2 + 2*z - 4. Let j be i(m). Solve 0 = 5*k - j - 1 for k.
1
Let o = 3 + -3. Suppose 0 = -j - o*j + 1. Let z be -3*6/21*14/(-4). Solve j = x - z for x.
4
Let w be (-6 - -3 - 0)/(-1). Suppose d = w*d - 10. Suppose -1 = 2*l - d. Solve -2*j + 20 = l*j for j.
5
Let j(o) = -2*o**2 + 20*o - 28. Let n be j(8). Solve 0 = -6*a + n*a for a.
0
Suppose 6*v - 3 = 5*v. Solve -a + v = -0 for a.
3
Let p = 1 - -2. Solve p*g + 0 = -3 for g.
-1
Suppose 5*b = 6 + 4. Suppose -z + 6 = 3*j + b, 3*j = 4*z + 29. Solve -17 = j*i - 5 for i.
-4
Suppose 7*i = 10*i. Let l = 10 - -2. Solve i*o - l = 4*o for o.
-3
Suppose 0 = -0*j + 4*j - 4*d - 4, -5 = d. Let y = j - -6. Suppose -5*q + 6*c - 2*c = -35, -y*c = 2*q + 4. Solve -i = -q*i - 8 for i.
-4
Let k(y) = -2*y**2 - 40*y + 2. Let t be k(-20). Solve 0 = -0*n + t*n for n.
0
Let o(d) = -2*d - 17. Let l be o(-10). Solve -l*u + 15 = -0 for u.
5
Suppose -4*l + 2 = -5*d, -4 + 10 = 3*d. Solve 2*k - 1 - l = 0 for k.
2
Let o(u) = u**3 + 5*u**2 + 3*u + 4. Let m be o(-4). Solve m*h = 3*h for h.
0
Suppose 5*q + d = -0*d + 62, 3*q = -2*d + 40. Let o be (-68)/(-18) - (-8)/36. Solve o*b = -0 + q for b.
3
Let g = -99 + 99. Solve g*f = 3*f for f.
0
Suppose -11 = -3*c - 5. Suppose 0*i + 8 = c*i. Solve i*m + 8 = -0 for m.
-2
Let d(a) = 6*a + 48. Let y be d(-8). Solve y = 5*g - 8 + 28 for g.
-4
Let f(z) = -z + 16. Let m be f(13). Suppose 0*d + 12 = -m*d. Let p(r) = -7*r - 3. Let s be p(d). Solve -2*h - 3*h = s for h.
-5
Let r be (9/6 - 2)*4. Let i = 0 - r. Suppose 4*x - 5*t - 23 + i = 0, 12 = 4*t. Solve x = -0*g + 3*g for g.
3
Suppose -a + 10 = -0*c - c, 10 = 4*a + 2*c. Solve -a*z = -z for z.
0
Let y = 59 + -57. Solve -y*b + 0*b + 4 = 0 for b.
2
Let a(f) = f**3 - 6*f**2 + 6*f - 3. Let h be a(5). Suppose 2*z - 14 = -5*v, -h*z - 2*z + 5*v = -28. Solve 2*u = z*u + 15 for u.
-3
Suppose -h + 5 + 6 = 0. Suppose a - h = -q - q, -2*q + 9 = 3*a. Solve -4*v - q = 6 for v.
-3
Let b = 0 + 22. Suppose -h = 3*i - 11, -3*i - 2*i = h - 17. Let n = 15 - 8. Solve n = i*x + b for x.
-5
Let d = 43 + -40. Solve -d*q = q for q.
0
Let f = 11 - -5. Suppose 0*l - 16 = 2*l - 4*y, 4*y = 4*l + f. Solve -i + 6 - 1 = l for i.
5
Suppose -2*s + 5*s = 6. Solve -s*t = -t for t.
0
Suppose 25 = -0*f + 5*f. Solve -17 = f*k - 2 for k.
-3
Suppose -i + 5*i - 14 = -3*c, -4 = -2*i. Solve c*h = 6*h - 16 for h.
4
Let c = 76 + -76. Solve c = 2*j - 3 + 11 for j.
-4
Suppose 80 = 13*o + 15. Suppose 0 = -2*n - 3*n + 75. Suppose -i - 2*i = -n. Solve -o*r = i - 15 for r.
2
Let h(b) = b + 1. Let r = 1 - 2. Let y be h(r). Solve -3*s - 9 = -y*s for s.
-3
Suppose 0 = -5*b + 36 - 26. Solve 5*m = b*m for m.
0
Let m(z) = -z - 7. Let b be m(-6). Let l be (-3)/b*4/(-3). Let w be l + 4 + 4 + 1. Solve 2*p - w*p = 0 for p.
0
Let k = -12 + 18. Suppose -5*i = -3*i - 8. Solve i*x = k*x + 10 for x.
-5
Let y(t) be the second derivative of -t**4/12 - 3*t**3/2 + 2*t**2 - 2*t. Let x be y(-9). Suppose o = -x*o - 5, 0 = h + 3*o + 3. Solve -3*z + z = h for z.
0
Let r be 146/6 - 10/(-15). Suppose 5 = 3*s - r. Solve -6*p - s = -p for p.
-2
Let c be (-2)/(-11) - 100/(-55). Solve c*s = -2*s + 16 for s.
4
Suppose 3*n = 4*o + 33, 5*n + 0*n - 44 = 3*o. Solve -4*t = -13 - n for t.
5
Let t(u) = u**3 - 2*u**2 + 1. Let k be t(-1). Let j be (k + (-12)/(-3))*5. Solve 0 - j = 2*r for r.
-5
Let z be (-3 + 2)*1 - -3. Suppose x - 18 = -4*h, -h - 3*x - 11 = -z*h. Solve 0 = -g + h*g - 12 for g.
3
Suppose 10 + 8 = 3*d. Solve -d*g + g - 5 = 0 for g.
-1
Let z(m) = -m**3 - 6*m**2 - 5*m + 3. Let h be z(-5). Suppose h*g + 2*g - 35 = 0. Solve 5*a + 2 - g = 0 for a.
1
Suppose 0 = -z - 3*z + 8. Let q = -2 + 11. Solve -q = -z*r - r for r.
3
Let j = -13 + 18. Suppose 0 = 2*v + 1 - 5. Solve -v*m + j = 3*m for m.
1
Suppose a - 3 = -0*a. Let h be 1*(a + -1) - -3. Solve h = j - 2*j for j.
-5
Suppose 0 = 7*j - 3*j. Let p(n) = -n**2 + n + 5. Let h(u) = -3*u**2 + 2*u + 11. Let g(z) = -2*h(z) + 5*p(z). Let x be g(j). Solve -5 = 4*w + x for w.
-2
Let s = 2 - 2. Let n(b) be the first derivative of b**2 - 13*b - 3. Let u be n(9). Solve s = -3*w + u*w for w.
0
Let h(b) = -8*b**2 - 2*b - 1. Let k be h(-1). Let r(d) = 3*d - d**3 - 3*d - 7*d**2 - d. Let v be r(k). Solve -15 = 4*i - v*i for i.
5
Let y be 8/(360/63) - 4/10. Solve -y = 4*v - 5 for v.
1
Let b(q) = q**3 - 2*q**2 - 3*q + 10. Let u be b(0). Solve 2*s = -3*s + u for s.
2
Let j be 3 + 0 - (-18)/(-6). Suppose -3*k + 5 + 7 = j. Solve k*y + 0*y = 0 for y.
0
Let o = 29 + -29. Solve 7*l - 2*l = o for l.
0
Suppose 4 = -4*v - 4*y, 23 = 4*v - 2*v - 3*y. Solve 0 = r + 3*r + v for r.
-1
Let r(u) = -2*u**2 + 3*u + 5. Let x be r(-4). Let q be 2/(-8) + x/4. Let d = q - -15. Solve 25 = d*k - 10*k for k.
-5
Suppose 2*h - 8 = 6*h. Let w = 0 - h. Suppose 4*y - 3*y = -w*r + 44, -y = 4*r - 86. Solve 6 - r = -5*o for o.
3
Let t = -3 - -4. Suppose -6 = -5*g - t. Solve -4 = s + g for s.
-5
Let w(k) = -k**3 + 6*k**2 - 7*k + 6. Let i be w(5). Let p = i - -9. Solve -4*y = y + p for y.
-1
Let g(d) = -5*d**3 - d**2. Le