= b. Solve 0 = -o - 1 - p for o.
-3
Let o(d) = -d. Let q be o(4). Let m(k) be the first derivative of k**3/3 + 2*k**2 + 3*k - 3. Let a be m(q). Solve -2*n = -n + a for n.
-3
Let i(o) = o**2 - 2. Let a be i(-2). Let p be (-2 + -1)/(a + -3). Suppose 3*b - z - 12 = z, z = -3*b + p. Solve 12 = b*r + 2 for r.
5
Let n = 12 + -21. Let i = n + 14. Solve -3*p + 8*p - i = 0 for p.
1
Let a = 14 - 2. Let f = a + -7. Solve 4*c = 5*c - f for c.
5
Let j be -2 + 6 - 3 - -5. Solve -j*w + 2*w - 8 = 0 for w.
-2
Let r(y) = y**3 - 7*y**2 + 7*y - 6. Let v be 2*(6/(-3) + 6). Let i = v + -2. Let z be r(i). Solve z*l = -l for l.
0
Let s(n) = 2*n**2 - 22*n + 3. Let j be s(11). Solve -4*g + 5*g = j for g.
3
Let g be 0/17 + (0 - -10). Solve 6*y = y + g for y.
2
Let l(v) = -v**3 + 2*v**2 + 2. Let x(y) = -y**3 + y**2 + 2. Let z(k) = -4*l(k) + 5*x(k). Let g be z(-3). Solve -5 - 3 = -g*q for q.
4
Let c(a) = 3 + 1 + a + 8. Let v be c(-9). Suppose r = 1 + 1. Solve r*b = -v*b - 20 for b.
-4
Suppose 0 = r, -3*r - 2 = -5*b + 18. Solve -b*y = y + 20 for y.
-4
Suppose 18*c = 15*c - 9. Let h = -3 - -6. Let j = h + c. Solve -2*b - b - 9 = j for b.
-3
Let j(s) = s**2 + 4*s - 3. Let l be j(-5). Let z = 6 + l. Let o = 43 - 31. Solve -4*b - o = -z*b for b.
3
Let k = -11 - -11. Solve 4*v + v = k for v.
0
Let m(t) = 5*t - 1. Let x be m(1). Let h be (-2)/(-1)*6/x. Solve h*q + 4 - 19 = 0 for q.
5
Let d = 13 - 8. Suppose -1 + 6 = -4*v - d*c, -5 = -5*v + 5*c. Suppose 0 = b - 3*b + 4. Solve -3*i - b + 8 = v for i.
2
Let t = -2 + 5. Let k be (-62)/(-4) - t/2. Suppose 4*f - 4*a - k = -f, -3*f - a + 22 = 0. Solve -m - f = m for m.
-3
Suppose -4*p = -6*p + 4. Suppose 5*x = p*j + 9, -3*x = -5*j + x + 3. Suppose 3*r = -6*k + 3*k + 9, 0 = k + j*r - 1. Solve -12 = -0*b - k*b for b.
3
Suppose 4*o + 3*s = 0, 3*o + 2*s = -o + 4. Suppose -o*p + 13 = 3*b - p, p = 2*b - 4. Suppose b*h = -4*v + 5*v, 4*v = 5*h. Solve 4*f - 2 + 6 = h for f.
-1
Let i(h) = h**3 - 9*h**2 + 9*h - 2. Let v be i(8). Let l be (-1)/3*0/v. Solve l = -6*a + 3*a + 15 for a.
5
Let m = 4 + -2. Let w be (-1 - -3)/m - 3. Let x be (w/(-3))/((-4)/(-12)). Solve -4*n - x = 2 for n.
-1
Let a(k) be the third derivative of -k**6/120 - k**4/24 + k**3/3 - k**2. Let m be a(0). Suppose o + m*o = 0. Solve -3*h - 2*h = o for h.
0
Let w = -10 + 14. Suppose -3*t = 2*d - 14, 2*t - 1 = 3*d + w. Suppose 6 = 2*f + q, 3*q = 2*f + q - 18. Solve -f = t*k - 1 for k.
-1
Suppose -w = 3*t - 10, -t + 3*t - 10 = w. Suppose 2*h - 4 - 2 = 0. Let v = h + -3. Solve v = -a + t - 1 for a.
3
Suppose 2*n - 4*s = -2*s + 12, 3*s + 20 = 5*n. Let x be (-4)/(-6) + 5 + (-65)/(-15). Solve 3*j + x = n for j.
-3
Let i be (6/(-2) - -6)*4. Suppose 4*r - r - i = 0. Solve -20 = r*o + o for o.
-4
Let i(s) = s - 11. Let d be i(15). Solve -a = d*a - 5 for a.
1
Suppose -5*h = 4*f - 55, -4*h + 10 + 45 = f. Suppose 3*v - 3*c - h = 0, 4*c + 25 = -c. Solve v = 4*s - 3*s - 2 for s.
2
Let k be ((-3)/5 + 14/15)*6. Solve -x + k + 1 = 0 for x.
3
Let r be -3 + 10 + 2 + 3. Let o = 14 - r. Solve 0 = -0*j + o*j + 4 for j.
-2
Let p = -4 - -5. Suppose -2*t + 3 = -p. Solve t*j = -5 + 1 for j.
-2
Suppose 0 = a + 1 - 4. Solve -5 - 1 = -a*u for u.
2
Let d = -27 - -32. Solve d*h = 3 + 7 for h.
2
Let w = 8 - 7. Let c(q) = -q**2 + 4*q - 1. Let t be c(4). Let b = w + t. Solve 3 + b = l for l.
3
Let t(w) = w**2 + 2*w. Let i be t(-3). Solve -i*y + 3 = -0 for y.
1
Let m(n) = n**2 + 5*n - 5. Let h be m(-7). Solve -t = 2*t - h for t.
3
Let z(j) be the third derivative of -5*j**4/24 - j**3/2 + 4*j**2. Let v be z(-5). Solve 4*x - 2 = -v for x.
-5
Let c(p) = -4*p + 23. Let v be c(5). Solve -10 = -a + v*a for a.
-5
Suppose o + 2 = 0, -3*w - 2*w = 5*o. Let f be (-39)/15 + (-4)/10. Let h be f/((-9)/(-6)) + w. Solve -a = -h + 5 for a.
-5
Let u be (3/6)/(5/30). Let y be (-1)/(-4) - (-1)/(-4). Let q = u - y. Solve -2*n = 5 + q for n.
-4
Let l be (-8)/12 + (-94)/(-6). Suppose -c - 5*z + 5 - 10 = 0, -l = -3*c - 5*z. Solve 3*g - 2 = c for g.
4
Let t = -29 + 32. Solve 0 = -a - 2 + t for a.
1
Let r be (-2)/(-13) + (-21)/(-78)*18. Solve r = -4*b - 3 for b.
-2
Suppose -7 = -5*o + 3. Suppose 23 - 11 = 6*j. Solve -4*p + j*p + o = 0 for p.
1
Suppose -9*h = -22*h. Solve -5*y + 2*y + 12 = h for y.
4
Suppose f - 7 = 2. Solve -3*m + 0*m = -f for m.
3
Let j = 2 - 2. Suppose j = 2*k + 2 - 18. Solve 2*w + k = -0*w for w.
-4
Suppose -72 = -8*a + 2*a. Solve 2*z - a = -2*z for z.
3
Suppose 0 = -6*a + 2*a + 12. Let c be (-3 - -2)*(-1 - -1). Suppose c*q - 5*q + 45 = 0. Solve -a*j = -6*j - q for j.
-3
Let v(i) = i + 2. Suppose -4*q + 10 = -6*q - 4*f, 5*f + 20 = 0. Let u be v(q). Solve d = -u + 3 for d.
-2
Let q(b) = b**2 + 11*b - 23. Let u be q(-13). Solve -7 + u = -4*a for a.
1
Let z = 20 + -28. Let f = z + 17. Solve -4*g - 25 = -f*g for g.
5
Let z(x) = -x**2 + 10*x - 3. Suppose -17 = -2*i + 1. Let g be z(i). Solve g*q = q + 20 for q.
4
Let h(t) = 131*t**3 + 2*t**2 + t. Let p be h(-1). Let k = p + 192. Suppose -2 = 5*j - k. Solve -b - j = 2*b for b.
-4
Let t(o) = o**3. Let h be t(0). Suppose 0 = -2*l - h*l - 16. Let z(a) = -a**3 - 8*a**2 - 2*a - 8. Let u be z(l). Solve 0 = 2*k - 4*k + u for k.
4
Suppose 0*m + 2*m = 8. Let c be 10/4 + 2/m. Let k(r) = -r**2 + 2*r + 3. Let d be k(3). Solve d*v = -c*v - 9 for v.
-3
Let y be -2 - (2 - 3 - 4). Solve -i = -y*i for i.
0
Let x = -2 - -4. Let q = x - 2. Solve -2*m - 2 + 8 = q for m.
3
Suppose -5*s = -2*x - 16, -5*s - x + 13 = -9. Let k(l) = -1 + 2*l + 2*l - 4*l + l. Let h be k(s). Solve -h - 12 = -3*n for n.
5
Suppose -36 = -4*k - 4*w - 0*w, 5*w = 4*k - 63. Let d be 9/2 - 6/k. Solve q + 0*q = -d for q.
-4
Suppose -5*h + 42 = -8*h. Let n = 24 + h. Solve -2 + n = 4*b for b.
2
Let g be 2/3 + 9/27. Solve -3*l + 14 + g = 0 for l.
5
Let x(u) = 2*u - 6. Let s be x(5). Solve s = 4*f - 4 for f.
2
Suppose -4*h + 27 = -r, -h + r + 7 + 2 = 0. Solve 0 = -k + 4*k - h for k.
2
Let z(s) = s**3 - 2*s**2 + 3. Let g be z(0). Solve 20 = -2*i - g*i for i.
-4
Let s(p) = p**2 + 4*p + 3. Suppose -2*j = 5*u + 17, 0*u + 5*j = 5*u + 10. Let f be s(u). Let l be 1*1*(0 - f). Solve 0*v - v = l for v.
0
Suppose 0 = -6*q - 65 + 125. Solve -q + 0 = 5*i for i.
-2
Suppose 0 = 3*d + 2*w + 5, -2*w + 0*w - 11 = -3*d. Let o be 2/6 + (-14)/(-3). Let y = d + o. Solve -u + y*u = -5 for u.
-1
Let s(u) = 13*u - 115. Let r be s(9). Let a(t) = t + 2. Let w be a(3). Suppose -4 = -4*j + 6*j - 4*p, -4*j - 5*p + w = 0. Solve j = -r*f + f - 4 for f.
-4
Suppose 2*t + 0*y + 8 = 4*y, -5*t + 2*y = -4. Let r be t/4*(-1 + 11). Suppose a = i + i - 2, 4*a = 5*i - r. Solve -5*f = -a*f for f.
0
Suppose -14 = -3*w - 5. Solve w*z - 18 = -3 for z.
5
Suppose n = 13 - 5. Suppose -6 - 4 = -2*q. Suppose 0 = o - 4*v - 12, 8 = q*o + 4*v - 4. Solve -4*d + n = -o for d.
3
Let c = -6 + 6. Solve -m + c*m = 0 for m.
0
Let y(f) = f**3 - 11*f**2. Let s be y(11). Solve 0 = -s*w - w - 1 for w.
-1
Suppose 0 = 4*y + 2*q - 3 + 1, -12 = 4*q. Solve y = -2*j - 4 for j.
-3
Let c = -23 + 38. Let d = 19 + -12. Solve -d*m + 2*m = c for m.
-3
Let t(r) = -r**3 + 6*r**2 - r + 5. Let l be t(6). Let g be (0 + 1 + l)/(-2). Suppose -5*q - y = -2*q + 4, 3*y + 12 = g. Solve 8 = -4*w - q for w.
-2
Suppose -4*g + 10 = -f, g = 2*f - 3 + 2. Let t be (-1 - 0)*(0 + -15). Solve t - 3 = -g*c for c.
-4
Let a(k) = k**3 + 4*k**2 + 2. Let d be a(-2). Solve 0*l = 2*l - d for l.
5
Let b(t) = -2*t**3 - t**2 - 2*t - 1. Let c(a) = 2*a - 6. Let n be c(4). Suppose -2 = n*d - 0*d. Let f be b(d). Solve -5 = -g + f*g for g.
-5
Let s be (-21)/14*4/(-3). Suppose m + s*m = 60. Solve -4*u + m = u for u.
4
Suppose -3*a + 0 = -3*s + 9, -2*a - 5*s = -15. Solve p - 5 = -a*p for p.
5
Let t = -13 + 30. Solve 5*b = -t + 2 for b.
-3
Suppose -4*y + 5*y - 2 = 0. Suppose -8 = -y*j + 5*x, 0 = x + 4*x. Solve g = 5*g - j for g.
1
Suppose 36 + 124 = 5*y. Suppose 4*t = 5*l + y, -t - 4*l = 4*t + 1. Solve -2*q - t = q for q.
-1
Suppose 2 = 2*o - 4. Let z(k) = 7*k**3 - k**2 + k. Let m = -3 - -4. Let d be z(m). Solve d*l + 20 = o*l for l.
-5
Suppose 6 = 6*q - 3*q. Solve -2 - 8 = -q*g for g.
5
Let p be ((-2)/6)/(1/(-6)). Suppose -6 = -m + p. Suppose 0 = 2*u + 6 - 16. Solve 0 = -w + u*w + m for w.
-2
Let k = 71 - 62. Solve -7*d = -4*d - k for d.
3
Let n = 8 + 7. Solve -2*i = i + n for i.
-5
Let j be ((-8)/3)/((-8)/(-24)). Let k be j - -6 - 14/(-2). S