. Let r be k(-11). Let v be ((-6)/(-9))/((-2)/r). Solve -s*h + 4 - v = 0 for h.
-2
Let o = 3 - 3. Suppose 0*z + 3*z = 3. Solve o = -5*d + z - 26 for d.
-5
Let j(h) = 2*h**2 + 10*h - 8. Let c be j(-6). Solve -16 = -c*r - 4 for r.
3
Let z(j) = j**2 + 13*j - 30. Let f be z(-15). Solve -c - 2 = -f*c for c.
-2
Let z(j) = -j**2 + 3. Let u be z(0). Suppose u*f = p + 3, 2*f = -5*p + 15 + 4. Solve 2*l + p*l = 0 for l.
0
Suppose 2*o - 8 = -3*x + 4, 0 = -3*x + 2*o. Let z = -7 - -7. Suppose -a = 5*m + a - 98, -4*m + 3*a + 83 = z. Solve 0 = -x*q - 3*q + m for q.
4
Let l be (-12)/(4 - 0) - -7. Solve -6*u = -l*u + 4 for u.
-2
Let q(l) = l**3 + 1. Let h be q(1). Let w = -1 + h. Let g = 1 + w. Solve g*i + 2*i = 0 for i.
0
Let a = 19 - -3. Suppose -3*p + 6*p = -5*n + a, p - 14 = -5*n. Solve -3*v - 2 - p = 0 for v.
-2
Suppose 0 = -9*s + 5*s + 72. Let m = s + -15. Solve m = -4*h + 7 for h.
1
Let g be -4 + (-2 + 4 - -2). Solve 2 + g = -v for v.
-2
Let j(b) = 2*b - 2. Let w be j(2). Solve -w*c = c + 15 for c.
-5
Suppose -h - 4 + 5 = -2*z, 5*h - 35 = -5*z. Suppose a + z*a = 6. Solve 3*n = a*n + 3 for n.
3
Let u(n) = n**2 + 3*n - 7. Let k be u(-5). Suppose -4*q + 25 = -k*q. Solve q = -0*d + 5*d for d.
5
Let f be ((-2)/(-8))/((-2)/(-8)). Let o(w) = 4*w - 1. Let z be o(f). Suppose 0 = 4*u - z*u - 6. Solve -2 = -2*p + u for p.
4
Let k be ((-4)/(-1))/((-12)/(-18)). Suppose 0 = -3*y + k + 9. Suppose -y*v - 4*u = -11, -4 = 4*u - 0. Solve v + 0 = -b for b.
-3
Let q = 8 - 4. Let t = q + -2. Suppose 30 = n + 2*n. Solve -3*p - t*p = n for p.
-2
Let s(m) = -5*m**2 - m**2 + m**3 + m + 1 - 2*m**2 - m**2. Let x be s(9). Solve 0 = -2*b - 0 - x for b.
-5
Let z = -1 + -4. Let a be z + 7 + (2 - 4). Solve -3 = -a*g - g for g.
3
Let b be (-4)/18 + (-25)/9. Let o = b - -3. Suppose -2*h = -o*h + 3*d + 1, -5*h + 6 = -d. Solve 4*y - 5*y = -h for y.
1
Let s be (3/(-4))/((-2)/(-16)). Let i(t) = t**3 - 5*t**2 - 16*t + 7. Let m be i(7). Let l be m/(-3) + 2/s. Solve 3 = -l*f - f for f.
-1
Let s = 7 - 4. Solve 5*o = s - 18 for o.
-3
Suppose -4 - 2 = -g. Suppose -c = -g*c. Solve c = -z - 0 + 2 for z.
2
Let f = 12 + -18. Let b(k) be the third derivative of k**6/120 + k**5/10 + k**4/24 + 7*k**3/6 + k**2. Let g be b(f). Solve -g = v - 2*v for v.
1
Suppose -3*k - 8 = -a, -4*k - 14 = -5*a - 2*k. Solve 7*w - a*w = -5 for w.
-1
Suppose -3*g - 325 + 124 = 0. Let u = g + 94. Let i be u/12 - 2/8. Solve 0*r + i = r for r.
2
Let m(v) = -v**2 - 7*v - 4. Let c be m(-5). Solve 2*p = -p - c for p.
-2
Let p be (-4)/14 + (-37)/(-7). Suppose p*r - 32 = -12. Solve 0 = -5*a + r*a + 3 for a.
3
Suppose -5*j - 3*v = 7 + 8, -20 = -3*j + 4*v. Suppose -4*a + 4*z = 0, j + 1 = -a + 2*z. Solve 2*s - 9 - a = 0 for s.
5
Let d = 10 - 10. Let m be (-1 + 0)*2 + 2. Let i be (-4)/(-3)*9/6. Solve -i*w + d - 6 = m for w.
-3
Let r = 2 + 11. Let x = 19 - r. Solve -3*k = -0*k + x for k.
-2
Let j(y) = -y**3 + 13*y**2 - 11*y - 4. Let q be j(12). Solve d - q = -d for d.
4
Let b = 0 - -8. Suppose 2*p = 0, -b = -4*s + 3*p + 2*p. Solve i + 0 + s = 0 for i.
-2
Suppose -k = -4 - 0. Suppose k*b - 5 - 15 = 0. Solve -13 + 38 = -b*y for y.
-5
Let f = -72 - -80. Solve 0 = 4*z - f for z.
2
Let q be (12/8)/((-3)/4). Let n = q + 7. Solve 0 = -2*a - n + 13 for a.
4
Suppose -2*h - 5*n - 10 = 3*h, -5*h + 2*n + 4 = 0. Solve 0 = -h*v + 2*v - 4 for v.
2
Let t be 2/5 - (858/(-30) + -5). Solve 9 = -5*u + t for u.
5
Let p(v) = v**3 + 3*v**2 - 4. Let s be p(-3). Let g be s/6 + 16/24. Solve -6*x + x + 5 = g for x.
1
Suppose 0 = -2*z + 2*b - 24, -3*z - 5 - 25 = -5*b. Let i be (-14)/105 - 242/z. Solve 4 - i = -4*p for p.
3
Let b(z) be the third derivative of z**4/8 - z**3/6 - 3*z**2. Let t be b(2). Solve u - 6*u - t = 0 for u.
-1
Suppose -2*v - v = 15. Let h = 6 - v. Suppose o + o = c + h, c = 5*o - 26. Solve o*s - 15 = -0*s for s.
3
Suppose 10*w = -5*w + 30. Solve t + w*t = 0 for t.
0
Suppose 2*x + 2 + 0 = 0. Let m = 2 - x. Solve -m = 2*g + 3 for g.
-3
Let r be (10/6)/(2/(-6)). Let g = r - -5. Suppose 5*u - 15 - 5 = g. Solve 2 = u*d - 6*d for d.
-1
Let z be 1*2*(-36)/(-8). Let i(d) = 10 - 7*d**3 + 11*d**2 - 2*d**2 + z*d + 6*d**3. Let k be i(10). Solve k*v = v - 3 for v.
3
Suppose -a = -k + 3, 9 = 3*a + 2*k + k. Suppose a*q - 4*q + 12 = 0. Let d be 1*3 + 2/(-2). Solve -t - d + q = 0 for t.
1
Let i(d) = d**2 + d + 5. Let u be i(-4). Suppose -4 = j + 5*q - 24, -4*j + u = -q. Solve -2*v = -j*v for v.
0
Let d(r) = r**3 + r**2 + 6. Let g be d(0). Let w be 20/12 + (-4)/g. Let j be 7 - w - (0 + 0). Solve j = k - 3*k for k.
-3
Let f(p) = p**3 + 4*p**2 + p + 5. Let h be f(-4). Solve h = d + 4 for d.
-3
Suppose 2*r - 3 + 19 = -4*y, -3*y - 12 = 3*r. Let v be (-9)/(-2)*24/54. Let m(t) = -t - 3. Let l be m(-5). Solve r*o + l*o + v = 0 for o.
-1
Let o(q) be the second derivative of q**5/20 + q**4/4 - q**3/3 + 2*q**2 + 3*q. Let i be o(-4). Let l be (i/6)/((-7)/42). Solve 0 = -l*g + 7*g for g.
0
Let r = 5 - 1. Suppose -2*n - r + 58 = 0. Let s = n - -2. Solve 0 = 5*b + 9 - s for b.
4
Suppose 4*k + 2*y + 2*y = 32, -y = 4. Let b be ((-16)/k)/(2/(-3)). Solve 2*m = -b*m - 4 for m.
-1
Suppose 8 = 4*f - 0. Solve 3 = -f*a + 1 for a.
-1
Let j = -14 - -14. Solve j*l = 2*l + 4 for l.
-2
Suppose -8 - 1 = -3*v. Let u be (v - (-6)/(-2)) + 10. Solve -5*s = -10 - u for s.
4
Suppose -4*x - 2*x = 0. Solve 3*f - 7*f - 12 = x for f.
-3
Let u be 5/((2 + -1)/1). Let k(c) = -c**2 + 4*c + 5. Let f be k(u). Solve f = a + 7 - 2 for a.
-5
Let d(b) = 16*b - 1. Let g be d(1). Suppose g = x + 4*x. Let o = 6 - x. Solve -o*f + 3 = -0 for f.
1
Suppose -46 = -5*l - 11. Solve l - 3 = 4*a for a.
1
Let r be 1/(8/40*(0 - -1)). Solve 3*w - r*w = -6 for w.
3
Suppose -5*r - 4*o + 34 = 0, 0 = 2*r - 5*o - 1 - 6. Suppose 5*b = r + 4. Solve -b*g = g for g.
0
Let h = 0 - -5. Solve h = -0*v - v for v.
-5
Let d = 21 + -21. Solve -v = -d*v for v.
0
Suppose -3*g - g = 2*u + 18, -3*u - 3 = -2*g. Suppose 4*x - c + 12 = -0*c, -4*x - 5*c = -12. Let w be x/u + 26/6. Solve 0 = -0*s + w*s for s.
0
Let h = 7 - 1. Let j be (-1)/(-1 + (-3)/(-4)). Suppose j*g + 2*y = -0*y + 42, -4*y - 20 = -5*g. Solve -h*q = -2*q + g for q.
-2
Let x = -34 - -18. Let w = -10 - x. Solve -k = -w*k + 20 for k.
4
Suppose 0 = -j + 2*a - a + 1, -7 = 2*j - 5*a. Suppose 0 = 7*w - 3*w + 3*y - 57, -j*w + 42 = -2*y. Let s = w + -6. Solve 0 = s*o - 2*o - 16 for o.
4
Suppose -2*h + 5*h = 0. Let d(i) = -8*i**3 - i**2 - i - 1. Let f be d(-1). Solve -2*x + f + 3 = h for x.
5
Let w(t) = t**2 + 4*t. Let u be w(-4). Solve u*j + 6 = 3*j for j.
2
Let c(h) = -2*h - 3. Let y(n) = n**2 - 8*n + 9. Let a be y(6). Let m be c(a). Solve -6 = -m*o - 3 for o.
1
Let l be (-3)/(-2)*(-8)/(-6). Let t(i) = 6*i**2 - i - 1. Let x be t(3). Suppose -4*v + 0*v = -3*r + x, 5 = l*r + 3*v. Solve 0 = m + m - r for m.
5
Let z = -201 + 201. Suppose -h - 12 = -4*h. Solve 5*l + h + 16 = z for l.
-4
Let s = 7 + -5. Let l = 2 + s. Let b be (l + -2)*(-3)/(-2). Solve -d - 1 = b for d.
-4
Let z(t) = -t**2 + 6*t - 6. Let p = -6 + 10. Let r be z(p). Solve -r*i + 6*i = 20 for i.
5
Let y(r) = -r - 2. Let k be y(-3). Let i be -6*(k/1)/(-1). Solve -i*x + 2 = -4*x for x.
1
Let v(k) = -k**2 + 7*k + 1. Let t be v(6). Suppose 6*m - 12 = 2*m. Solve -m*g = -t*g - 20 for g.
-5
Suppose p - 8 = -6. Solve 14 + p = -4*y for y.
-4
Let g(u) be the second derivative of u**4/12 - u**3/2 - u**2 + 2*u. Let y be g(4). Solve 0 = -t + y*t for t.
0
Suppose 0 = 4*x - 21 - 19. Solve -x*z - 2 = -9*z for z.
-2
Suppose 2*f = 11 - 5. Solve 7 = h + f for h.
4
Let f be 6 + (3 - (1 + 2)). Solve -8 = f*j - 2*j for j.
-2
Let t(w) = -w**2 + 3*w + 4. Let m be t(4). Suppose 7*j - 6*j = m. Solve -4*k + 18 + 2 = j for k.
5
Let z = 174 - 172. Let r be 2/(-4)*0/2. Solve r*j + j - z = 0 for j.
2
Suppose 0 = -3*v + 2*v. Let f = -1 + 1. Let a = f + v. Solve a*m + 2*m + 8 = 0 for m.
-4
Suppose 3*s + 4 = 5*v - 7, -4 = 4*s - 4*v. Let r(t) = t**2 - 6*t + 7. Let a be r(6). Solve -a*z = -s*z - 16 for z.
4
Let s(c) = -c**2 + 4*c + 5. Suppose 4*q - 20 + 0 = 0. Let r be s(q). Solve -1 = i - r for i.
-1
Suppose -3*b + 2*b = -2. Solve b*h = 1 - 7 for h.
-3
Let h(n) = -n**3 - 7*n**2 - 4*n + 14. Let b be h(-6). Solve -2 = -b*c + 3*c for c.
-2
Suppose 0 = 4*o - 2*f - 14, 0*o + 5*f = -o - 24. Let n(i) = i + 13. Let a be n(-12). Solve c = o + a for c.
2
Let y be 4/1 - 4/