0 for u.
4
Let z(k) be the third derivative of -7*k**4/24 + 6*k**2. Let c be z(-1). Solve 3 - c = -2*g for g.
2
Let j(v) be the third derivative of -v**4/8 - 2*v**3/3 - 3*v**2. Let c be j(-8). Solve -3*d + c = d for d.
5
Let g(a) = a - 1. Let x(z) = 10*z - 12. Let y(t) = -18*g(t) + 2*x(t). Let k be y(5). Solve k*o = 2*o for o.
0
Let x(f) be the third derivative of -f**5/60 + f**4/8 - f**3/6 - 6*f**2. Let m be x(1). Solve 3*k - m = 2 for k.
1
Let g(p) = 3*p**2 + 19*p + 6. Let v be g(-6). Solve v = 3*y - 6*y + 9 for y.
3
Suppose 0*b + 5 = -b. Let v be (6/b)/(4/(-10)). Suppose y + v*y + 10 = -5*d, d = 5*y - 2. Solve y*a = -2*a for a.
0
Let r be 32/6 + (-4)/12. Solve r - 8 = -3*w for w.
1
Suppose -18 = -6*g + 90. Solve -3 + g = 3*d for d.
5
Suppose 0 = j + 4*f - 28, -3*j + 0*f + 28 = -2*f. Let b = j + -3. Solve b*w = 4*w for w.
0
Suppose 121 = -3*k + 130. Solve 3*p - k = 4*p for p.
-3
Let d(w) = -2*w - 4. Let o be d(-3). Let s(y) = -y - 5. Let n be s(-5). Suppose n = -o*m + 5*m - 2*q - 16, 3*q = -3*m - 9. Solve 3*b - 20 = -m*b for b.
4
Suppose 6 = 5*s - 19. Let a be (s/(-5))/((-2)/14). Suppose 1 - a = -3*u. Solve -p - u*p = -3 for p.
1
Let n be -8 + 9 - 1*-4. Solve 1 = n*v + 11 for v.
-2
Suppose 2 = 4*x + 6. Let k(w) = 4*w**2 - 2*w - 1. Let t be k(x). Suppose -2*s + t + 2 = -j, -3*s + 7 = -5*j. Solve -3*z - j = -4 for z.
1
Let z(k) = -k**2 - 4*k - 3. Let o be z(-2). Suppose -2*n - 2*j + j - o = 0, 2*n = -4*j - 10. Let s be -1 - 0/n - -4. Solve -a = -s*a + 10 for a.
5
Suppose -6*k + 11 + 85 = 0. Solve -4*n + k = -8*n for n.
-4
Let d be 1/5 - (-1)/((-15)/(-57)). Solve s = d*s + 15 for s.
-5
Let k(y) = -y**3 + 5*y**2 - 4*y + 2. Let v be k(4). Suppose 2*o + 5*n - 19 = 4*o, 7 = -o + v*n. Solve 5*l + 2 = -o for l.
-1
Let p = 29 - 17. Solve -3 = -3*d - p for d.
-3
Let x(j) = -j**2 - j + 6. Let p be x(2). Solve -g + 0*g + 2 = p for g.
2
Let a be (-1)/(1/(92/(-4))). Solve a = -5*l + 3 for l.
-4
Let r be (-19)/(-3) - 6/(-9). Let t = r - 5. Let s(y) = y**2 - 7*y + 8. Let n be s(6). Solve 0 = -t*x + 3*x + n for x.
-2
Let s(g) = -3*g + 4. Let u be s(-4). Suppose p + 5*c = -u, 5*p - 2*c = -1 + 29. Solve 0 = p*h + h for h.
0
Let o = -1 - -3. Suppose -f = -o*w - 2, -3*w = -f + 3*f - 4. Solve 0*k - f*k - 8 = 0 for k.
-4
Let n be 2 - (1 + -1)*(4 + -3). Solve 0 = -2*w - n*w + 12 for w.
3
Suppose 2*c - 5*x + 25 = 0, -3*x + 5 = -2*x. Solve c = -4*v - 21 + 5 for v.
-4
Suppose x + 661 = p + 6*x, -4*p - x + 2587 = 0. Let n be p/10 - 2/(-5). Let d be (-2)/6 - n/(-15). Solve 0 = 4*w - 0 + d for w.
-1
Let a be 6/(-4) - (-14)/4. Suppose 0 = -0*h + h + m - 5, -5*m = -3*h - 9. Suppose 4*s + 2 = -h*u, 5*u + s = -6 + 19. Solve 0 = -b - u - a for b.
-5
Let i(l) = l**3 - l**2 - 3*l - 4. Let o = 3 + 0. Let p be i(o). Suppose 5*m = -j - 7, -p*j + 28 = -3*j - 4*m. Solve -4*r + 2*r = j for r.
-4
Suppose 20 = -2*d - 2*d - 5*w, 4*d - 2*w - 8 = 0. Let p(l) = l - 4. Let m be p(5). Solve -2*a + m + 5 = d for a.
3
Let a = -1 + 1. Suppose 0 = 4*c - a - 4. Solve -3*t = -c + 16 for t.
-5
Let z = 22 - 16. Solve z*l = l for l.
0
Let q = -5 + 11. Solve 2*k = q*k - 20 for k.
5
Suppose 42 = -2*t + 5*t. Suppose 45 = 4*r - x - 4*x, r - 4*x - t = 0. Solve -l - l + r = 0 for l.
5
Suppose f = -4*f - 15, 5*f + 11 = -2*h. Solve 5 - 1 = -h*d for d.
-2
Let u = -13 - -18. Solve 5 = -u*q - 0 for q.
-1
Let r be (-2)/(-14) + 170/35. Solve 5*p + 5 + r = 0 for p.
-2
Let j be (-5)/3*-3 - 3. Solve 0 = 2*a - a + j for a.
-2
Let d be (-19)/(-7) + (-4)/(-14). Suppose -5*p - g = 3, -5*g - 9 = -4*p - 2*g. Solve d*n + 2*n - 10 = p for n.
2
Suppose -16*o + 0*o + 80 = 0. Solve 0 = -o*v + 16 + 4 for v.
4
Suppose 0 = -2*u + 4*u. Suppose 5*g - 6*g = u. Solve -4 = -g*x - x for x.
4
Let t(w) = -w**3 + 6*w**2 - 4*w - 5. Let n be t(5). Let r be 6/8 - (-39)/12. Suppose z = 4 + r. Solve 2*l - z = -n*l for l.
4
Let i be 2*(-4)/4*8. Let j be 7*(2 + i/28). Solve 8*h = 3*h - j for h.
-2
Let a(h) = h + 2. Let s be a(6). Solve 4*r + 0 = s for r.
2
Let z(a) = a**2 + 10*a - 9. Let v be z(-11). Solve -v*n - 3*n + 10 = 0 for n.
2
Suppose 2*k = 3*j - 31, -2*k - 48 = -4*j - k. Solve 0 = -3*w + j - 1 for w.
4
Let r be (8/6)/((-8)/(-84)). Let m be r/3 + 2/6. Suppose -m*i + 2*b = -8, 3*i - 7 = -2*i + 3*b. Solve i*d + 3 = d for d.
-3
Suppose 4 = -4*i + 3*l, -1 = 3*i - 2*i + l. Let w = i - -21. Solve 0*m + w = 5*m for m.
4
Let l(g) = 0 + 6*g + 9 + g**3 + 4*g + 7*g**2 - 3*g. Let r be l(-6). Solve -4*n = -n + r for n.
-1
Let h(j) = j**2 - 7*j + 6. Let w = -1 + 7. Let s be h(w). Solve -n - 3*n = s for n.
0
Let f be (-2 - -1)/(2/(-4)). Solve f = 3*v - 7 for v.
3
Suppose l = -2*s + 14, -4*l = -s - l - 7. Let r(i) = -i + 18. Let d be r(7). Solve 2*q + s = d for q.
3
Suppose -27 = -4*a - 7. Suppose -4*x + 3*x = f - 11, -4*x = -a*f + 73. Solve -3*l - f = 2 for l.
-5
Let j(f) = f - 29. Let g(o) = 14. Let h(q) = -5*g(q) - 2*j(q). Let u be h(-8). Solve -z + 12 = -u*z for z.
-4
Let t(q) be the second derivative of -q**4/12 - q**3/3 - q**2/2 - 3*q. Let s be t(-1). Suppose s = -6*h + 2*h. Solve -p + 1 = -h for p.
1
Let y be 0/((8/2)/(-2)). Suppose -4*p + 48 = s, -5*s - 12 = -p - s. Solve -4*n = -y*n + p for n.
-3
Let m(z) = 3*z**2 - z - 1. Suppose -h - 1 = 4*j - 2, -5*h = j - 24. Let p be m(j). Solve -2*v = p*v for v.
0
Let o(q) = -3*q**2 + q - 2. Let g(k) = k**2 - k. Let t(c) = -2*g(c) - o(c). Let l be t(0). Solve -l*u + 4 - 2 = 0 for u.
1
Suppose 4*h + 0*h + 25 = t, 13 = t + 2*h. Let q = 19 - t. Solve 20 = q*z + 2*z for z.
5
Suppose -5*h = -2*h + 3*u - 6, 5*u = 5*h - 30. Suppose 0 = -2*k + 8 + h. Solve 0 = -w - 3 + k for w.
3
Let w be (-1)/(1 - (-10)/(-8)). Let q = -2 - -7. Solve -q*v = -w - 6 for v.
2
Let a(h) = h + 2. Let u be a(2). Suppose 0 = -u*d + 58 - 14. Solve 3*l = -d + 2 for l.
-3
Suppose 0 = 4*l - 0*l - 112. Solve -l + 8 = 5*m for m.
-4
Suppose 3*j = -3*y + 42, 0 = -j + 9 - 4. Suppose -5*q - h = -67 - 18, -5*h + y = -q. Solve -5*x + x = -q for x.
4
Suppose c = 2*c - 2. Solve -u + c*u = 5 for u.
5
Suppose -2*p + 31 - 11 = 0. Let a be -1 + (-5)/(p/(-42)). Solve a = 2*c + 2*c for c.
5
Let s be (4/(-2) - -2)/(2/1). Solve y + 3 - 4 = s for y.
1
Let j = 6 - -7. Let f be (-2 + j)/((-4)/4). Let u = -6 - f. Solve -2*d = -d + u for d.
-5
Let s be -3 + 2 - (-2 + -1). Suppose 3 = -s*w + 5. Solve -a = 2 - w for a.
-1
Suppose 4*l = 2*h - 18, 3*l + l = -8. Solve 2*o - h*o = -3 for o.
1
Suppose 2*p + 4 - 8 = -3*o, -3*p + 5*o = -6. Solve -4*j + 10 = p for j.
2
Let r(o) = 3*o**2 + 5*o - 4. Let k be r(1). Solve k*z + 6 = z for z.
-2
Let w(k) be the first derivative of k**2/2 + 8*k + 3. Let t be w(-6). Let l be (t + 1)*(-6)/(-9). Solve 0 = l*c + 2*c - 12 for c.
3
Suppose 0*t = -3*u - 3*t + 60, 2*u - 3*t - 20 = 0. Solve -h + u = -5*h for h.
-4
Suppose -5*y - 25 = 0, 5*i - 95 = -2*y + 5*y. Suppose 2*u - i = -2*u. Solve 0*o + o - u = 0 for o.
4
Let v(c) = -c**3 + 23*c**2. Let k be v(23). Solve 0 = 5*n - k*n for n.
0
Suppose -4*p + 2 + 6 = 0. Solve p*b = -0*b + 10 for b.
5
Suppose -4*h + h = 4*w - 9, 5*h - 15 = -3*w. Solve -2*o + 5*o + h = 0 for o.
-1
Suppose -10 = 2*d - 4*d. Solve -d = -3*r + 1 for r.
2
Let l(z) = -2*z**3 - z**2 - 2*z - 1. Let p be l(-1). Let o(x) = -x**2 + 8*x - 9. Let k be o(6). Solve -k*i + p = -2*i for i.
2
Let q be (-98)/(-34) + (-20)/(-170). Solve 0*o - 6 = q*o for o.
-2
Let k be 1*2 + 0/(-2). Suppose 3*n + 24 = -n. Let s be n*(k + (-15)/6). Solve -s*t + 22 = 7 for t.
5
Suppose -x + 21 = 2*x. Let z = -3 + x. Let p = 0 + 0. Solve -f - 3*f + z = p for f.
1
Suppose 0 = 4*w - w - 9. Solve -s - w = 2 for s.
-5
Let l(y) = -y**3 + 4*y + 3. Let q be l(-2). Let n(s) = -s**2 + 6*s + 1. Let t be n(5). Let v be t/9*3*2. Solve q = -v*f - 5 for f.
-2
Let p = 1 - 1. Let w be (0 + p)/((-14)/(-7)). Solve -3 = -w*x - 3*x for x.
1
Let p(d) = -d**2 + 4*d + 7. Let c be p(5). Suppose 10 = c*f - f. Solve -y = 4*y - f for y.
2
Suppose 5*v + 80 - 95 = 0. Solve 0*a - v = a for a.
-3
Suppose -h = 2*q - 54, -3*q + 84 = q - 4*h. Solve 4*p + p = -q for p.
-5
Let u = 27 + -23. Solve 0 = -8*q + 4*q - u for q.
-1
Let j(y) = 2*y - 13. Let n be j(9). Suppose -4*l = -20, 0 = c + 4*l - 14 - 16. Solve -n*i + 3*i + c = 0 for i.
5
Let m(f) = f**3 - f**2 + 15. Let r be m(0). Let w = -10 + r. Solve -5 - w = 5*g for g.
-2
Suppose -2*w = -7*w - 30. Let a be 44/7 + 2/(-7). Let l = a - w. 