pose -5*s = -y*s. Solve -2*r + s*r = 6 for r.
-3
Let m(n) be the third derivative of -n**5/60 + 3*n**4/8 + n**3/3 - n**2. Let h be m(9). Solve -3*q + 10 + h = 0 for q.
4
Let p = 8 - 4. Suppose -5*f + f + 284 = 0. Suppose -p*k + f = -9. Solve i = 6*i + k for i.
-4
Let j(d) be the second derivative of -d**5/20 - 2*d**4/3 + 3*d**3/2 + d**2 + 5*d. Let a be j(-9). Solve 1 = -a*l + 3 for l.
1
Let x = -139 - -213. Suppose -4*d = -x + 14. Solve -5*o = -d - 0 for o.
3
Let g(p) = -p**2 + 8*p. Let r = -34 - -50. Suppose -5*t + r = -24. Let n be g(t). Solve n = -3*b - b for b.
0
Let t = 28 + -2. Solve -5*f - t = -1 for f.
-5
Suppose -3*k = 2*b - 1, 4*b - k + 6*k - 3 = 0. Let s = b + -2. Solve -10 = 2*j - s for j.
-5
Let u(n) = -n**2 - 9*n + 2. Let t = 12 - 21. Let w be u(t). Solve 0 = -0*r - w*r - 2 for r.
-1
Let s = -3 + -1. Let v be s/(-2) + (-2)/(-2). Solve -v = -3*i + 2*i for i.
3
Let a be -2 + (1 + 0)*2. Solve 2 = -a*y + 2*y for y.
1
Let p = -17 - -14. Let m be (-10)/((-1 - p)*-1). Solve t = -4*t - m for t.
-1
Let k be -12*2/(8/6). Let p be (-4)/(-2) - k/6. Suppose -p*r = -r. Solve r = 2*g - 5*g for g.
0
Suppose 2*n + s + 4 = n, -s - 7 = 2*n. Let z = 9 + n. Solve -b = z - 1 for b.
-5
Suppose 4*b - 5*p + 2 = 5, 3*p = 3*b. Let u(l) = l**3 + 2*l**2 + 2*l - 1. Let j be u(-2). Let z = b - j. Solve 1 = c - z for c.
3
Let q(x) = x + 16. Let i = -13 + 0. Let w be q(i). Solve w*r = 15 - 6 for r.
3
Let w be (-3)/(-6) - (-11)/2. Suppose a - 5*m + m - 6 = 0, 3*m = a - 5. Solve a*s + s = -w for s.
-2
Let u(n) = 19*n + 1. Let q be u(1). Suppose -g + 5*h = g - 2, 14 = 3*g - 2*h. Solve -g*f = -f + q for f.
-4
Let p = -18 - -18. Solve 4*h + p = 4 for h.
1
Let o(j) be the third derivative of j**6/120 + 11*j**5/60 + 11*j**4/24 + 2*j**3 - j**2. Let s be o(-10). Suppose -5 = -s*f + 5. Solve -f*t + 8 = -t for t.
2
Let h = 8 - 22. Let z = -2 - h. Solve 3*m + m = z for m.
3
Suppose -z + 67 = 3*o - 6*z, -o - z + 25 = 0. Suppose n = 4*n - o. Solve n*w - 10 = 3*w for w.
2
Let j = 17 + -16. Suppose 3*x - 5 - j = 0. Solve 1 = z + x for z.
-1
Suppose 0 = -40*k + 36*k + 20. Solve -k*g + 1 = -19 for g.
4
Let l be (-3)/1*24/(-9). Suppose 0*h - 2*h - l = 3*b, 0 = -2*h - 8. Solve b*n - 5 = n for n.
-5
Suppose 0*t - 2*t - 5*r - 9 = 0, 5*r = -5*t. Solve t*m = -m for m.
0
Suppose -3*v + s - 6*s + 43 = 0, 3*v - 46 = -2*s. Suppose -g + v = 3*g. Suppose -g*r + r = -2*i + 9, 5*i + 2*r = -6. Solve 4*b + 20 = -i*b for b.
-5
Let o(m) = m**3 - m**2 + m - 1. Let g be o(1). Suppose g = s + 2*s. Solve 2*f + 3 + 3 = s for f.
-3
Let b be 2/6 - (-207)/27. Let m = b + 0. Solve -4*c + m*c = 16 for c.
4
Suppose -4*a + 33 - 21 = 0. Suppose -3*c + 18 = 3*t, c + 9 = 2*t + 2*c. Suppose -t*n - 3*f = -3, -5*f = 3*n + n. Solve n*z - a*z + 4 = 0 for z.
-2
Let g(y) = -y**3 - 10*y**2 - 26*y - 3. Let u be g(-5). Let m(w) = w**2 + 2*w - 3. Let f be m(-3). Solve f*x = u*x for x.
0
Suppose -4*t + 7 = -29. Let c = t - 5. Suppose 0 = x + c*q, -x + 5*q = 4*q. Solve y + x*y = 3 for y.
3
Suppose -2*b + 0*b - 4 = 5*g, -3*g = -3*b - 6. Suppose g = l - 5. Let z(s) = s - 3. Let c be z(7). Solve x + c*x - l = 0 for x.
1
Suppose 4*l - 140 = -3*l. Solve -7*j - l = -12*j for j.
4
Suppose 0*v + 4*l + 12 = -4*v, 4*v + 6 = -2*l. Solve v = 7*c - 6*c - 3 for c.
3
Let k = 118 + -116. Solve -k*d + 16 = 2*d for d.
4
Let a be (2 + 12/(-15))*5. Let v = a + -4. Solve -v*s = -6 + 14 for s.
-4
Let f(q) = 2*q + 3. Let i be f(-3). Let n = i + 7. Suppose 20 = 4*u + 2*l - 2, n*u - 12 = -4*l. Solve 8 = -4*v - u for v.
-4
Let o be 1*((-2)/7 - 23/(-7)). Solve l - 4*l + o = 0 for l.
1
Let v be ((-3)/(-4))/(5/20). Solve 12 - 3 = -v*a for a.
-3
Suppose -4*a + 23 = 7. Let d = 9 + 3. Suppose 0*p - 3*h = 3*p - d, 12 = 5*p + 3*h. Solve n - 5*n - a = p for n.
-1
Let i(w) = w**2 - 2*w - 3. Let k be i(-4). Let y be 3/2*28/k. Let x(g) = -g**3 + 4*g**2 - 4*g + 3. Let d be x(y). Solve 0 = -d*f + 1 + 2 for f.
1
Let h be (-36)/(-10)*(-30)/(-9). Let i = 32 - h. Suppose -3*f + 4 = -x - 0, -5*x = f + i. Solve k + 1 + 0 = f for k.
-1
Suppose -51 = 3*b - 2*k, -3*b - 3*k = 2*k + 30. Let p = -5 - b. Solve z + p = -4*z for z.
-2
Suppose 5 = -4*c + 25. Suppose 18 = c*g + g. Solve g = -4*y + 3*y for y.
-3
Let x(i) = 2*i - 7. Suppose -2*m = 5*q - 25, 0*q - m - 20 = -4*q. Let v be x(q). Solve 25 = -2*f - v*f for f.
-5
Suppose -2*f + 4 = -6*f. Let h be (-1)/(2/(f + -1)). Solve -11 = -5*v - h for v.
2
Suppose -4*b - 15 = -5*b. Solve -4*z + 7*z - b = 0 for z.
5
Let w = 1 - 1. Let i(u) = w*u + 3*u + 2*u**2 - 2 - 2*u. Let v be i(-2). Solve 2*a - v = 6*a for a.
-1
Suppose 0 = -4*t - 3*x + 12, -t - 9 = -4*t - 2*x. Solve -t*a = -a + 8 for a.
-4
Let c be (1 - (-87)/(-15))*-5. Suppose -g = 3*g - c. Solve 4 = j + g for j.
-2
Let i be (-1 - -2)*(0/5 - 0). Solve i = 4*h + 10 - 22 for h.
3
Let l(i) = -i**3 + 12*i**2 - 12*i + 11. Let d be l(11). Suppose -2*o = -d*o. Solve o*z - 12 = -4*z for z.
3
Let s(q) = -2*q**3 + q**2 + 2*q + 1. Let u be s(-1). Let i = u + -2. Let k = i + 0. Solve k = -4*m + m for m.
0
Let b(v) = 5*v**2 - 2*v + 2. Let a be b(3). Suppose -5*y + 4*o + a = 0, 3*o + 0*o + 17 = y. Solve -y*g = 2 - 17 for g.
3
Let n(h) = -5*h**2 + 20*h + 8. Let c(m) = 2*m**2 - 7*m - 3. Let z(d) = -8*c(d) - 3*n(d). Let t be z(-2). Solve l + t = 2 for l.
-2
Let r(p) = p**2 - 3*p + 4. Let l be r(3). Solve 0*o - 20 = -l*o for o.
5
Suppose 2 + 10 = 2*m. Let r(p) = -p**3 + 3*p**2 + 3. Let o be r(3). Suppose o*g - m = g. Solve -i + 16 = g*i for i.
4
Suppose -h - 3 = 2*h. Let r = 11 - h. Solve 3*g + 0 + r = 0 for g.
-4
Suppose 3*i = -3*w + 12, 5*i = 5*w - 0*i. Let x = -2 + w. Suppose -5*d = -x*d - 5. Solve -6 = 5*s - d for s.
-1
Let w(a) = -a + 1. Let u be w(-3). Solve n = 5*n - u for n.
1
Suppose -5*a + 3*h + 11 + 1 = 0, 2*a + 3*h = 9. Suppose -2*y - p + 22 = -0*y, -a*y - 3*p = -36. Suppose 8*r - y = 3*r. Solve r*b + 3 - 13 = 0 for b.
5
Let y(p) = p + 10. Let x be y(-8). Let i be x/5 + 24/15. Solve i*q = 3*q - 1 for q.
1
Let r be (-1)/1 + 2*1. Let b(c) = 3*c - 14. Let i be b(6). Solve i = 5*u - r for u.
1
Suppose -2*m + 5 = -1. Suppose 1 = 4*c + m*i, -4*c + 4*i + 26 = 2*i. Solve 0 = -w - c*w for w.
0
Let c(b) = -b + 1. Let u(q) = -q + 2. Let m(j) = -3*c(j) + 2*u(j). Let p(t) = t**2 + t. Let x be p(-2). Let w be m(x). Solve -n + w*n = -2 for n.
-1
Suppose -5*f + 165 = -0*f. Suppose -f + 3 = -3*q. Solve m - q = -m for m.
5
Let g = 160 - 291. Let p = -94 - g. Suppose 4*q - 3 - p = 0. Solve v - q = -v for v.
5
Let v be 39/6 - (-3)/(-6). Let z = v - 6. Solve -6*h + h = z for h.
0
Let d = -277 - -194. Let v = -51 - d. Let n be (v/12)/(1/3). Solve 0 = -2*z + 2 - n for z.
-3
Suppose -26 = -i + 5*w, 3*i + 5*w - 13 + 15 = 0. Solve -i*a = -a - 20 for a.
4
Suppose -5*u - j = -0*j - 20, 5*j - 10 = 5*u. Let z = u + 2. Suppose 2*a + 4*r = 0, a + z*r - 1 = 4*r. Solve q - a = 2 for q.
4
Suppose 0 = -2*m + 5 - 1. Suppose 3*g = -m*g - h + 14, -3*g + 5*h - 14 = 0. Solve -3*u + g*u = -5 for u.
5
Suppose 2*a - 2*f - 10 = -0*f, 4*f + 8 = 2*a. Solve -2*w + 0 = -a for w.
3
Let r be 10/(-35) + (-30)/(-7). Suppose -4*d + 9 = r*v - 11, -5*d + 25 = 2*v. Suppose 3*s + s - 12 = v. Solve 0 = -f + 1 - s for f.
-2
Let a = 36 + -29. Let w be -4 - 0 - 1/(-1). Let l = a - w. Solve 0 = -0*v + 2*v - l for v.
5
Let o(q) = q**3 + 3*q**2 - 4*q - 7. Let v be o(-3). Solve -l + v*l = -16 for l.
-4
Let r = 10 + -10. Solve r*a + 20 = 4*a for a.
5
Suppose -2*n + 30 = 5*c, 3*c = -2*n + 5 + 13. Solve 21 = -3*f + c for f.
-5
Let w(z) be the third derivative of 7/24*z**4 + 0*z + 2/3*z**3 + 1/60*z**5 - 2*z**2 + 0. Let s be w(-7). Solve a + 3*a = s for a.
1
Let p be 17/(-17)*((-1)/1 + -1). Let k be (2 + -5)*4/(-6). Solve -o - p - k = 0 for o.
-4
Suppose 3*t + 6 = 3. Let y be (0 + 2)*(2 + t). Solve 2 = y*u - 3*u for u.
-2
Let w(g) = -5 + 3*g**2 - 2*g**2 - 3*g**2 + 6*g + g**2. Let d be w(4). Let l be (0 - 7)*(-3 + 2). Solve d*s = l*s for s.
0
Let u = -5 + 0. Suppose 2*n - 12 = -2*x, -2*n = -3*x - 2*x + 44. Let d = x + u. Solve o = 2*o - d for o.
3
Let l be (-48)/32 + (-14)/(-4). Suppose 2*q - 39 - 25 = 0. Suppose 4*a + 0*a - q = 0. Solve l*c = -2*c - a for c.
-2
Let k be (-3)/(22/(-4) - -4). Solve 5*q = k*q + 3 for q.
1
Let z be -1*3/(12/(-4)). Suppose 0 = h - 2*o + z - 3, -4*h + 5 = -5*o. Solve h = v + 1 + 1 for v.
-2
Let m(b) = -3*b**3 - 5*b**2 - 6