pose -37 = -c - f. Solve 0 = -10*k + d*k - c for k.
-2
Let a(y) = y**2 + 8*y + 10. Let l be a(-7). Suppose 0 = -4*c + l*c - 2*i + 10, -25 = -5*i. Let o be 3/(-18)*-10*3. Solve o*n + 5 = -c for n.
-1
Suppose 19 = -5*b + 4. Let j(y) = -5*y - 3. Let d be j(b). Let z be d/3 + 1 + 0. Solve 0 = 4*i - z*i for i.
0
Let h(r) = -r**3 + 2*r - 1. Let j be h(1). Let u = j - -5. Solve u*t - 4 = t for t.
1
Let p(g) = -3*g**2 + 2*g**3 - g**3 - 2*g**2 + 2. Let n be p(5). Let o = -31 + 51. Solve -7*f + n*f = o for f.
-4
Suppose 0 = 4*l - 4*b + 44, 0*l + 49 = -4*l + 3*b. Let r be (l/(-4))/(0 - -1). Solve r*h + 1 = -7 for h.
-2
Suppose d + 0*d = 5. Let z(c) = 5*c**2 + 6. Let r(y) = 6*y**2 + y + 7. Let n(u) = d*z(u) - 4*r(u). Let b be n(4). Solve -b*s = -0*s - 10 for s.
5
Suppose -5*k + 418 = -3*k. Let t = k - 141. Suppose -2*r + 24 = -3*c, 0 = -3*r - 2*c - 19 + t. Solve -3*j + 0 = -r for j.
5
Suppose -1 = 2*k - 11. Suppose k*f - 74 = -24. Solve -4*n - f = -2*n for n.
-5
Let i(l) = l**2 + 2*l + 3. Let g be (3/(-3))/((-1)/(-2)). Let o be i(g). Solve -4*y = 1 + o for y.
-1
Suppose -30 = -3*p + 2*a, 4*a + 36 = -0*p + 4*p. Suppose -3*z = 5*w - 21, p + 0 = -4*z. Solve 0 = 2*j + j + w for j.
-2
Let c(o) = o**3 + o**2 + o + 9. Let m be 6/(-27) - (-2)/9. Let h be c(m). Suppose h = 2*g - g. Solve -g = -5*r + 2*r for r.
3
Let s(f) = -f**3 + 2*f**2 + 3*f. Let w be s(3). Solve 1 + w = -o for o.
-1
Let s(v) = 8*v - 55. Let p be s(8). Solve 2*a + 1 + p = 0 for a.
-5
Let j be (13 + -9 - 4)/(2 + -1). Solve -5*m + j = 5 for m.
-1
Let d(u) = u + 14. Let o be d(-8). Suppose 3*f = o*f. Solve f*s - 8 = 4*s for s.
-2
Let m(z) = -z**3 + 7*z**2 + 2*z + 3. Let b be m(7). Let y(s) = s**2 + 3*s - 3. Let q be y(-5). Let v = -4 + q. Solve -2 = -v*f - b for f.
-5
Let x = 48 - 47. Solve -3*k - x + 4 = 0 for k.
1
Suppose s - 12 = -10. Solve -2*j = s*j - 8 for j.
2
Let u(k) = k**3 + 8*k**2 + 6*k - 6. Let f be u(-7). Let y be (2 + -39 - 0)*f. Let t = -22 - y. Solve -3*q + 0*q = -t for q.
5
Let j = -5 - -5. Solve -2*t - 10 + 2 = j for t.
-4
Suppose -k + 2*t - 3 = 0, 4*t = -5 + 9. Let x be k - (-7)/((-14)/(-12)). Solve x*g - 4 = 1 for g.
1
Suppose -h + 1 = -14. Let a(x) = -x**3 + 2. Let k be a(0). Let v = 133 + -128. Solve -h = -v*i + k*i for i.
5
Let l(v) = -3*v**3 + 2*v**2 + 2*v + 1. Let q be l(-1). Let d = q + 0. Solve -14 = d*i - 6 for i.
-2
Let w(f) = f**3 - 7*f**2 + 5*f + 2. Let o be w(6). Let u be (6/o)/(27/(-90)). Solve u*c = 3*c + 6 for c.
3
Let z = 11 - 9. Solve 0 = -2*j - z*j for j.
0
Let s be 27/7 + 5/35. Suppose -2*r + s*n = 0, -3*r - n = 3*n - 10. Solve -1 + r = a for a.
1
Let g(w) = w**2 - 3*w - 7. Let r be g(6). Let s = r - 7. Solve -s*c - 6 = 10 for c.
-4
Let o be 39/(-52)*(0 - 4). Solve -c + 2 = -o for c.
5
Let c(m) = m**2 - 9*m. Let p be c(9). Suppose p = 5*a - 15, -1 = l - 3*a + 3. Solve l*g = g + 20 for g.
5
Let i(t) = 5*t**2 + 2*t + 1. Let j be i(-1). Suppose 5*l - 9 - 6 = 0, -l = -j*o + 53. Solve 0 = 4*y - o + 2 for y.
3
Let f(y) = y + 2. Let k be f(-2). Let a = k + 3. Solve 13 = -a*s + 1 for s.
-4
Let i be -1 + 2 + (3 - 2). Let p be (6/3)/(i/3). Let u = 7 + -5. Solve -p*k = -u*k - 5 for k.
5
Suppose -3*w - 1 + 10 = 0, -2*y = w - 7. Suppose 0 = -y*r - r + 45. Suppose j = -0*j + 2*v + r, -j + 12 = -5*v. Solve -3*z = j - 5 for z.
-4
Suppose -3*s + s + 32 = 0. Solve s - 41 = 5*a for a.
-5
Let r(a) = -4 + a + 2 - 2*a**3 - a**2 + a**3 + 4. Let q be r(0). Solve 3*w = 2*w + q for w.
2
Let l = 8 + -6. Let n be 3 + l + 1/(-1). Let w be n/3*12/8. Solve -w = -0*i + i for i.
-2
Let w(j) = -j**3 + 4*j**2 - 5*j + 5. Let d be w(2). Solve -d*b = 2*b + 5 for b.
-1
Let s = 52 + -47. Solve -s*k + 3*k = -2 for k.
1
Let w be 4 + -3 - (-1 + -6). Let t = w - 5. Let z = -1 - -4. Solve -t*d = -12 - z for d.
5
Let y(o) be the third derivative of o**6/120 - o**5/5 - 13*o**4/24 + o**3/2 + 3*o**2. Let a be y(13). Solve f - 6 = a*f for f.
-3
Let u be 2/(-7) + (-74)/(-14). Let x(q) = q**3 + 6*q**2 - 6*q + 9. Let i be x(-7). Suppose 3 = -3*n + y + i*y, -y = -u. Solve 2*o = n*o - 2 for o.
1
Suppose 2*x - x - 2 = 0. Solve -m = -0 - x for m.
2
Suppose 2*q = 5*q + m, -19 = -4*q + 5*m. Solve 2*n - 1 - q = 0 for n.
1
Suppose v = 2 - 0. Let t be v/5 + 13/5. Solve t = 2*a - 1 for a.
2
Let r be -2*(-1 + (-21)/(-6)). Let j = -2 - r. Solve -j - 2 = -g for g.
5
Let v(h) = -h**2 + 6*h + 5. Let p be v(6). Suppose p*u + 0*q + 5*q - 5 = 0, 0 = -4*u + 3*q - 3. Suppose 3*a + u = 6. Solve -f - 9 = a*f for f.
-3
Let g = -27 + 31. Solve -18 = -g*b - 2 for b.
4
Let b = -5 + 3. Let c(f) = 2*f**2 + 2*f - 2. Let l be c(b). Let z = 19 - 19. Solve z = 5*n - l*n + 12 for n.
-4
Suppose -f + 1 = 3*g - 5*f, -g - 13 = -4*f. Suppose -5*j + 6 = k - g, -8 = -2*k - j. Solve w + 0 = k for w.
3
Suppose 45 = 3*n - 3*q, q - 33 = 5*n - 92. Let j = -11 + n. Solve i = -j*i - 5 for i.
-5
Let l(q) = -q**2 - 6*q - 3. Let k be l(-2). Suppose 2*y + k*j = 4*y - 4, -4*y + 8 = 2*j. Let z = 4 + y. Solve -o + 15 = -z*o for o.
-3
Let u = 1 - 1. Suppose u = -y + 15 - 6. Solve 4*v + y = 29 for v.
5
Let s(q) = -11*q - 35. Let d(j) = 0*j + j + 6*j + 0*j + 23. Let g(y) = -8*d(y) - 5*s(y). Let h be g(-9). Solve -4*c + 3*c - 5 = h for c.
-5
Let z be ((-8)/(-10))/((-6)/(-30)). Suppose -4*v - 76 = -z*g - 0*g, 2*v = 5*g - 92. Solve g = -3*c + 6 for c.
-4
Suppose 2*t + 3*t = 35. Suppose 5*r = t*r - 12. Solve r + 19 = -5*v for v.
-5
Suppose -3*o + 16 = -7*o. Let k be (-8 - 0)*3/o. Solve -k*d - 16 = -2*d for d.
-4
Let k be (-6)/(-15) - 18/(-5). Let r = 11 - 7. Suppose 20 = r*d - k. Solve 0 = -3*f + d + 6 for f.
4
Let f(z) = z + 3. Let n(g) = g**3 - 4*g**2 + 2*g. Let w be n(3). Let i be f(w). Solve -x - 3*x + 8 = i for x.
2
Let k(x) = -x**2 + 16*x - 41. Let b be k(12). Solve 2*y + 3 + b = 0 for y.
-5
Let z = 14 + -11. Solve -z*s + 5 + 1 = 0 for s.
2
Suppose h - 4 = 3*h. Let k be ((-2)/3)/(h/9). Solve 16 = k*u + 1 for u.
5
Let u(v) = v**2 + 4*v - 3. Let r be u(3). Suppose b - r = -12. Solve 4*m - b*m - 8 = 0 for m.
-4
Let z(b) = b**3 - 5*b**2 + 3*b + 7. Let n be z(5). Let a be 4/12 + n/6. Suppose 8 = 2*c - a. Solve -2*o + c*o + 20 = 0 for o.
-5
Let l = 6 - 44. Let w be l/(-8) - 1/(-4). Solve -2*z + w = -z for z.
5
Suppose -4*g = -8 - 16. Solve g*z - 10 = 4*z for z.
5
Suppose 2*v - 472 = -5*k, v = 4*k - 363 - 25. Let s(q) = q - 1. Let m be s(5). Suppose -5*r = 5*j - 100, -2*j + m*r = -7*j + k. Solve u - j = 5*u for u.
-4
Let d(c) = c**3 - 2*c. Let v be d(2). Solve -f - v + 0 = 0 for f.
-4
Let b(o) = -o**2 + 17*o - 12. Let t be b(16). Solve -2*k - 4 = -t*k for k.
2
Let p(t) = -t**2 - 3*t. Suppose -4*s + 2*g = 13 - 3, -3*s + 4*g = 10. Let q be p(s). Let j be 0 - (-4)/(0 + q). Solve -12 = 2*o - j for o.
-5
Let p be ((-2)/3)/(4/30). Let q = p - -8. Solve -q*n + 1 = -8 for n.
3
Let h = -2 + 4. Suppose -8*v + 3*v - h*q = 12, -v = -4*q - 2. Let i be v/(-4) - 15/(-2). Solve -i = 4*u + 4 for u.
-3
Let y = -12 + 2. Let a = -23 - y. Let c = 18 + a. Solve 2*l + c = 1 for l.
-2
Let s = 9 + -4. Let t = -13 - -6. Let x = t + 9. Solve s*v + x = -3 for v.
-1
Suppose 5 = 3*m - 1. Suppose -4*r + 36 = 2*p, -4 = 5*r - 19. Solve 0 = m*s + s - p for s.
4
Suppose -2*u - 2*u = 4*w + 12, u = 3*w + 9. Solve 16 = -4*q - u for q.
-4
Suppose -3*q + 6 = -0*q. Let r = q + 2. Solve r*s = 2*s + 8 for s.
4
Let a(z) = -z**3 + 4*z**2 - z - 1. Let m be a(3). Suppose -50 = -5*b + 3*b. Suppose -5*f = 3*t - b - 10, -5*f + 65 = m*t. Solve -3 = -3*q - t for q.
-4
Let r = 96 + -62. Let f be 1/2 + r/4. Let s = -3 - -13. Solve -4*o + s = -f*o for o.
-2
Let p(j) = j + 10. Let b be p(-6). Solve 4*o - 6*o = -b for o.
2
Let x be (-138)/(-7) - (-2)/7. Let g = -14 + x. Solve 0 = k - g*k + 15 for k.
3
Suppose -5*t + t = -2*m + 16, m = -t + 14. Solve -4*q - m = -q for q.
-4
Let k be 0/(-1)*(1 - 2). Let i = k - 0. Solve -3*b - 12 = -i for b.
-4
Suppose -v + 9 = -4*q - 7, 2*v - 10 = -3*q. Suppose h + 3*t + 10 = 0, 4*h - 6*h + t + 8 = 0. Solve -v = -h*f + 2 for f.
5
Let h(v) be the first derivative of v**3/3 - 3*v + 4. Let a be h(3). Solve 0*b - 3*b = a for b.
-2
Let q be (6/12)/((-1)/(-4)). Solve q*l = -l for l.
0
Let q = -11 + 13. Solve -2*o + q = -0*o for o.
1
Let p be 4 - ((0 - 0) + -1). Suppose -p*m + 17 = -n, -2*m + 4*m + 7 = 5*n. Let l be (16/24)/(1/3). Solve -2*d - m = l for d.
-3
Suppose 3*p - 12 = -p. Suppose 0*a - 3*