 v(7). Solve z + t - 2 = 0 for z.
-1
Let p(g) be the second derivative of g**4/12 - g**3/3 + g**2/2 - 2*g. Let h be p(1). Solve 0 = -h*z + z - 4 for z.
4
Let a = 3 + -8. Let n = a + 5. Solve n = 2*c - 0 + 4 for c.
-2
Let y be (-2)/(-4)*(2 + -2). Solve y = -4*c + 2 + 14 for c.
4
Suppose 2*i + 36 = 3*d - 0*d, -3*d - 5*i + 15 = 0. Solve -3*p = 2*p + d for p.
-2
Suppose 5 = -3*y + 2*r, r = -0*y - y + 5. Solve y - 3 = q for q.
-2
Suppose 4*h + 86 = 5*p, h + 12 = 3*p - 34. Suppose -3*c + 1 = -p. Suppose -14*g = -16*g. Solve g = f - 0 - c for f.
5
Let o(i) = i**3 - 2*i**2 + i + 1. Let c be o(2). Solve c*r - 10 = r for r.
5
Suppose 0 = 5*q - 4*q. Solve -i - 2 = -q*i for i.
-2
Suppose 6*b - b - 5 = m, 3*m = -4*b + 23. Solve 2*a - 16 = -b*a for a.
4
Let o = -5 - -9. Suppose -o*k + 3*i + 7 = 2*i, -3*i + 13 = 5*k. Solve 4*d + k = -14 for d.
-4
Suppose -5*m + 3*f + 12 = 0, 4 = 4*m + 2*f - 10. Suppose -2*l = -l - m. Solve 0 = 6*v - l*v - 12 for v.
4
Let o(y) = -y - 5. Let j be o(-4). Suppose 0*r + 4*r - 64 = 0. Let c = j + r. Solve -2*x - c = -5*x for x.
5
Let i(f) = -6*f**2 + 2*f + 1. Let h be i(-2). Let y = -41 - h. Let m be 7/y + 14/4. Solve -r + 4 = m*r for r.
1
Let i(t) = -t**3 + 10*t**2 - 8*t - 7. Let a be i(9). Suppose 5*k = 16 - 1. Suppose 0 = 5*v - 5*d + 2 - 22, 0 = v + k*d. Solve 0 = -5*s + a*s + v for s.
1
Suppose 5*r - 4*q - 29 = 0, -r = -5*r + 4*q + 24. Solve -2 = -n - r for n.
-3
Let x(t) = -5*t - 7. Let y be x(5). Let c be 4/(-14) + y/(-14). Solve -2*q - c*q = 4 for q.
-1
Let k = -3 - -5. Let t(g) = g**2 + 2*g - 6. Let x be t(3). Suppose -3*v - v = -20. Solve -k*j + v*j - x = 0 for j.
3
Let o = -56 - -56. Solve o = -s + 1 for s.
1
Let b(y) = -y**3 + 9*y**2 + 10*y - 11. Let m be b(10). Let q = m + 11. Solve q = g + g for g.
0
Suppose -24 = -4*y - 8. Solve -y - 11 = -3*v for v.
5
Suppose -2*g - 4 = 0, a - 16 = -g + 5*g. Solve -a = 3*m + m for m.
-2
Suppose -18*p = -20*p + 10. Solve 5 = -p*w - 0 for w.
-1
Let l be (-5)/(-3) - (-1)/3. Solve 3 = l*d + 5 for d.
-1
Suppose 4*d - 5*v = 3, d + 4*v = 2*d + 2. Let z(b) = b**3 - 6*b**2 + 5*b. Let n be z(5). Solve -m = -n*m - d for m.
2
Let s(c) = 2*c**3 - 3*c**2 + c - 2. Let y be s(2). Suppose 0 = y*h - 8*h + 52. Suppose 5*z - 2*w - h = 0, 5*w + 0*w - 8 = -z. Solve 6*x = z*x for x.
0
Let d(y) = y. Let q be d(3). Let t = q + 1. Solve -1 + t = 3*i for i.
1
Let x(u) = -u**2 - 14*u - 5. Let r be x(-10). Suppose -y + r = 2*p, 24 + 27 = 3*p + y. Solve 5*j - 9 = p for j.
5
Suppose 0 = 7*d - 3*d + 24. Let v be -7*5/(105/d). Solve -v*h + 0*h = -10 for h.
5
Suppose -25 = v + 5*c, 3*v = -3*c - 17 + 2. Solve v = 3*t + t + 16 for t.
-4
Let b(s) = -s**3 + 3*s**2 + 2*s - 2. Let g be b(3). Solve -5*h - g = 1 for h.
-1
Let o = -3 + 4. Let v(j) be the third derivative of j**5/20 - 2*j**2. Let l be v(o). Solve -l*b - 18 = -3 for b.
-5
Suppose 0 = -c - 4*c - h + 11, 0 = -3*c - 5*h + 11. Solve 0*v - 8 = c*v for v.
-4
Let g be (-2)/10 - 78/(-15). Suppose 2*d - 3 = -1. Solve t + g = d for t.
-4
Suppose -4*h + 2*x = 2, 5*h + 3*x + 0*x - 3 = 0. Suppose -6 = -2*z - 2*c, 3*c = 5*z + 1 - 16. Solve h = -0*a - 3*a + z for a.
1
Suppose 0 = -p + 6*p - 15. Suppose -p*j + 10 = 2*j. Solve b + j = 5 for b.
3
Let m(u) = 9*u**2 - 3*u - 2. Let a be m(-2). Suppose 4*d - d = t - 17, -4*t + a = -5*d. Let f be (-2)/d - 2/4. Solve -v - 2*v = f for v.
0
Let u be (2/(-2))/(-5 + (-120)/(-25)). Suppose -5*c = 10, 0 = -4*b - c - 4*c - 2. Solve 3 + b = u*a for a.
1
Suppose -5*d = 23 + 27. Let o be d/(-6) + 6/(-9). Solve -o - 19 = -4*k for k.
5
Suppose -2*x + 2*l = -10, 2*x + x - 4*l - 20 = 0. Solve x = -2*i - 6 for i.
-3
Let h be (-80)/(-8) + (4 - 1). Solve -3 + h = 2*z for z.
5
Suppose 0 = l - 6*l - 20. Let q(f) = -f**2 - 7*f - 6. Let g be q(l). Let p be 3*2/g + 1. Solve -p*u - 3 = u for u.
-1
Suppose -19 = -3*b - 5*y, -b + 4*b + 4*y - 17 = 0. Solve -b*z = -4 - 5 for z.
3
Let k be 1 - 2/((-4)/6). Suppose -2*f = -k*c + 2 - 8, 0 = 2*f - c - 6. Solve -f*m = -7*m + 16 for m.
4
Let o be (0/2 - -10)*(-6)/(-5). Solve -3*x = -o + 3 for x.
3
Let a(n) = -n**3 - 9*n**2 - 4*n. Let y be a(-9). Suppose 15 - y = -3*m. Solve m = 3*l - 5 for l.
4
Suppose 4*d = 4*f - 364, 3*d - 8*d - 5 = 0. Suppose 5*y + 5*a = f, 0 = y + a + 2*a - 14. Let t be (-2*1)/((-1)/2). Solve -t*v - y = -8*v for v.
5
Suppose -4*s = 7*v - 11*v + 12, 2*v - 3*s = 7. Solve 0 = 4*f - v*f for f.
0
Let x = -1 - -10. Let v = x + -8. Let t be (2 - v)*-1*-10. Solve 2*w - t = -3*w for w.
2
Suppose 0 = -k - 3*k + 12. Solve -3*o - k = 6 for o.
-3
Let x = -4 - -5. Let r be (x - 1)/(-2 + -1). Solve r = -w - w for w.
0
Suppose 0*t + 5*t - 25 = 0. Solve -10 = -3*u + t for u.
5
Suppose 4*v - 64 = 2*y, -2*y - 33 = -3*v + 13. Solve -v = -3*r - 3 for r.
5
Suppose o - 12 = -2*o + 3*q, 0 = -2*o + q + 10. Suppose 7*j - 4*j = o. Solve -4 = j*n - 0 for n.
-2
Suppose -4*p + 8 = 0, 3*p + 0 = -5*a + 6. Solve v + 0*v - 5 = a for v.
5
Suppose 3*p - 21 = 69. Let a = 37 - 55. Let o = p + a. Solve 5*d + 2 = o for d.
2
Let l = 2 + -2. Suppose -j = -0*j - 2. Suppose -z + j = -l*z. Solve -7*p - 10 = -z*p for p.
-2
Let z(i) = -i**3 + 3*i**2 + 4*i + 3. Let x be z(-2). Solve x = -5*n - 0*n for n.
-3
Suppose 0*l + 2*l = -4*l. Solve 2*j + j + 6 = l for j.
-2
Let t be 0 - (60/(-2) + -2). Let o(j) = 3*j**2 - 2*j - 3. Let w be o(3). Let b be t/w + 10/45. Solve -f = -b*f for f.
0
Suppose 5*v - 5 = 0, 0*z - 3 = z + 5*v. Let p = 28 + z. Solve -6*x = -2*x - p for x.
5
Suppose -5*s + 2*l = -3*l + 15, 0 = 5*s - 4*l + 10. Solve s*n = -n + 9 for n.
3
Let z be (3/9)/((-2)/(-18)). Solve -f - 4 = -z for f.
-1
Suppose 0 = p - 2*p. Let d be p + 4 + (0 - -1). Solve 12 = -d*t - 8 for t.
-4
Suppose 3*z + 6 = 12. Let a be 1*(0 + -1) - -4. Let l = a - z. Solve -l + 6 = -t for t.
-5
Suppose -2*s = 5 - 11, 3*s - 19 = 5*j. Let g be j/(2/(-3)) + -3. Solve g*r = r for r.
0
Suppose d - 2*d = 0. Suppose 3*w + 5 = -2*w, w = 4*x - 49. Solve -5*q - 2 + x = d for q.
2
Let b(v) = -1 - 2*v**2 - 2*v**2 + 3*v**2 - 7*v. Let r be b(-4). Solve -5 = 2*x - r for x.
3
Suppose -5*n + 4*r = -24, 5*r = -4*n + 2*n + 3. Let x(l) = l + 2. Let a be x(0). Suppose -a*w - 3*w = -5. Solve n*o = w - 9 for o.
-2
Suppose 3*t - 9 = 36. Suppose -4*w = w + t. Let x be 9/3 - w - 2. Solve 0*a - x = a for a.
-4
Let u be 3/3*(-24)/(-2). Let q be (7 + 3/(-3))/2. Solve q*o + 3 = -u for o.
-5
Let d be 0 + (-2)/(-2)*-6. Let h(w) = -w**3 - 6*w**2 - 2*w - 7. Let y be h(d). Solve 4 + 21 = -y*z for z.
-5
Let p = 11 - 7. Solve 0 = -l + p - 3 for l.
1
Let u be ((-8)/(-16))/((-1)/2). Let a(n) = -9*n. Let l be a(-1). Let p = u + l. Solve -p*g = -3*g - 25 for g.
5
Let g = -3 + 5. Solve g*c = 7*c + 5 for c.
-1
Suppose 0 = -3*d - 1 + 22. Solve 0 = -4*b + d + 13 for b.
5
Suppose -2 + 17 = 5*q. Suppose 0 = -q*y + 4*y - 3. Suppose -9 = 2*u + y*r, 3 = r + 6. Solve -3*l + u = -3 for l.
1
Let a(q) = 2*q**3 + 25*q**2 - 13*q + 4. Let z be a(-13). Let p(n) = 9*n + 2. Let b be p(2). Solve m + b = -z*m for m.
-4
Let m(g) = -g**3 + g**2 - 1. Let a be m(1). Let q be -1 - (1*-10 + a). Suppose -5*i = -q*i. Solve -5*f + i*f = 0 for f.
0
Let w = -19 + 24. Solve 0*d + w*d = 5 for d.
1
Let j(f) = -f**3 + 5*f**2 - f - 4. Let v be j(4). Solve v = 5*u - 7 for u.
3
Let c be (-3)/((-3)/(-2) + -3). Let j be -2 - -6 - 3 - 2. Let s = c + j. Solve 0 = 3*x - 2*x + s for x.
-1
Let a = -1 - 14. Let i = -11 - a. Solve b + i*b + 10 = 0 for b.
-2
Let d be (-4)/(-14) + (-66)/(-14). Suppose -d*o + 3*o = -8. Solve -o = -g - 1 for g.
3
Let y(j) be the third derivative of 1/120*j**6 - 1/2*j**3 + 1/24*j**4 - 3*j**2 - 1/12*j**5 + 0 + 0*j. Let o be y(5). Solve 0 = 5*p - o + 17 for p.
-3
Let d = 2 + -4. Let g(y) = y**3 + 5*y**2 + 3*y + 2. Let p be g(d). Solve -q - 3*q = -p for q.
2
Suppose 3*s - 6 = 0, 4*u + 3 = -4*s - 1. Let d(z) = -z**3 - 3*z**2 - z + 1. Let b be d(u). Suppose -b*k + 2 = -14. Solve k*p - 7 = 1 for p.
2
Let f(i) = 2*i + 22. Let g be (-54)/(-126) + (-73)/7. Let p be f(g). Solve 0*k = p*k + 10 for k.
-5
Let w(f) = -f - 3. Let m be w(-6). Suppose 6*c - 3*c - m = 0. Suppose -5*s + 16 = -2*r, 15 = -r + 4*s + 1. Solve -r*v = 1 + c for v.
-1
Let n be 37/7 + 2/(-7). Let m = -2 + n. Suppose -4*b = 2*p + 4, 3*p + 3*b = -p + 17. Solve -h - m*h + p = 0 for h.
2
Let i be 4/(-18) + (-76)/(-18). Suppose 3*c - c - 2 = i*h, 5*h = c - 10. Let w be (h 