olve -2*h = -4*n, -3*h + m*n = h for h.
0
Let w(h) be the third derivative of h**6/120 - h**5/30 - h**4/6 + h**3 + h**2. Let f be w(4). Solve q + 1 = 2*c - 2*q, q = 5*c - f for c.
5
Let b be (-16)/6*(-9)/6. Suppose 7*o = b*o. Suppose -4*i = -o*i. Solve i*q - 1 = -q - 4*j, -2 = -2*q - j for q.
1
Let s(i) = -i**2 - 5*i + 1. Let c be s(-4). Suppose c = f + 3. Solve f*u + 14 = 4*o, 3*u - 2*u + 3*o - 13 = 0 for u.
1
Let b = 18 - 13. Solve 0 = -f + 3*a + 5 + b, -5*f + a - 20 = 0 for f.
-5
Suppose -1 = 2*o + 1. Let h be (o/(-3))/(2/6). Let c be 3 - -1 - 0/h. Solve l + 2*l + 9 = 4*m, -c*l - m = 12 for l.
-3
Let l = -3 - -3. Solve 0 = 5*y - j - l*j + 1, -2*j = -3*y - 2 for y.
0
Suppose -5*o + 3*t = -3*o - 13, 5*o + 3*t = 1. Solve -o*p - 4 = r + 1, 0 = 2*r - 6 for p.
-4
Let m be (-1 - 14)*4/10. Let p = 39 + m. Solve -2*w = 5*y + p, 0*y = 3*y - 4*w - 1 for y.
-5
Suppose 4*u - 14 = -2. Suppose u = -4*h + 19. Solve -h*b + 8 = -3*j, 0*b + b = -1 for j.
-4
Let q(l) = l - 2. Let i be q(4). Solve 3*w + 15 + i = h, h - 21 = 4*w for w.
-4
Let o = 3 - -4. Let p be o + (3 + 1)/(-2). Solve 2*v + 4 = -2*s - v, -4*v = -p*s + 36 for s.
4
Let g = 9 + -4. Let p = -5 - -5. Solve -2*o = -i + 14, 2*i + p*i + g*o + 17 = 0 for i.
4
Let z(l) = -l**3 - 2*l**2 - 3*l. Let s be z(-2). Let i(y) = y**2 + 15*y - 4. Let f be i(-15). Let m be (-2)/3*6/f. Solve -2*a = s, 2 = -2*x + 3*a + m for x.
-5
Let j(l) = l**3 - l - 3. Let r be j(2). Solve -4*w + 5*y + 25 = 0, 0 = -0*w + r*w + 4*y + 20 for w.
0
Let f = -3 - -7. Suppose 2*w - 8 = 0, -83 = -5*b + 2*w + 89. Let y be 6/(-27) + 440/b. Solve -f*m - y = -5*d, -5*d - 10 + 32 = m for d.
4
Let u(f) = -f - 5. Let t be u(-6). Let q = 1 - t. Solve 4*v + m + 1 = 0, v = m - q*m + 6 for v.
1
Let m(t) = -t + 5. Let b be m(-10). Suppose -20 = 5*s, -l = 4*s + s + b. Solve 4*j - l*k = 3, -5 = -j + 4*k + 4 for j.
-3
Let i(v) = v + 20. Let f be (-104)/10 + (-10)/(-25). Let g be i(f). Solve -2*t - 17 = -3*h, -g = -4*h + 3*h + 5*t for h.
5
Let q be -9*-1*(-2)/(-6). Suppose -5*i + 0*i = -2*c - 1, -3*i + 9 = q*c. Solve -1 + 4 = -5*d + c*p, -2*p + 9 = d for d.
1
Let x be (2 + -1 - 2)*-4. Let h be 2/6*(23 - 20). Solve 0 = x*z - 4, 3*d + 4*z + h = 2 for d.
-1
Let c = 3 + 1. Suppose -4*s = -c*b - 28 - 0, 0 = -3*b - 9. Let v(p) = p**2 - 2*p - 5. Let x be v(s). Solve -3*r + 3*j = 21, x*r - 4*j + 17 = -7 for r.
-4
Let g be ((-12)/9)/(2/(-9)). Let f(u) = -u**3 + 7*u**2 - 4*u - 7. Let r be f(g). Let o be (-1)/r - 16/(-5). Solve 0*l - 9 = -2*l + o*z, -3*z - 6 = -3*l for l.
-3
Suppose 15 = 4*a - a. Suppose -o = -a + 1, -4*n = -3*o. Suppose 0*z + n*z = 0. Solve z = 2*c - t + 5*t + 4, 0 = -3*c - 5*t - 5 for c.
0
Let o(s) = -6*s - 45. Let y be o(-11). Solve -2*f - 4*p + p + y = 0, -4*p = -20 for f.
3
Suppose -41 + 16 = -5*b. Solve -b*j + 5*r = -5, 3*r + 0 = -j + 1 for j.
1
Suppose 4*l = p - 51, -4*p + 73 + 63 = l. Suppose 59 = 4*q + 2*d - p, -3*q - 2*d = -69. Solve -3*n - 5*m = -7*n - 45, 0 = -5*m + q for n.
-5
Let k = -14 - -16. Suppose -5*i + 8 = -4*d - i, 4*d = k*i. Solve 0 = -5*w + 4*a + d, w + 0*w = -3*a + 8 for w.
2
Let z(n) = n**2 - 3*n - 7. Let g be z(5). Suppose 28 = 5*i - 3*i. Let d = -14 + i. Solve 0*l = -4*l + k, g*k - 12 = d for l.
1
Suppose 0 - 4 = -j. Let z = -4 - -6. Solve 0 = z*r + w - 2 - 2, w = -j*r + 4 for r.
0
Let h be -6*1/(0 + -2). Suppose s = -4*s + 25. Solve -2*a = 3*r - h*a - 5, -s = -r + 2*a for r.
1
Let h(u) be the second derivative of -u**5/20 - u**4/6 - 2*u**2 + u. Let g be h(-3). Suppose -21 - 6 = -3*d. Solve -f + d = 4*f + 4*q, 4*f = -g*q for f.
5
Let p = 3 - 3. Suppose -3*a + 6*a - 15 = p. Solve -10 = -a*c + 3*c, -3*z + 2*c + 5 = 0 for z.
5
Suppose -15 = 3*a, -3*c + 27 = -0*c - 3*a. Solve -5*z = -0*r + c*r - 13, -3*z = 5*r for z.
5
Let m(d) = 2*d - 5. Let u be m(4). Let o = 19 + -13. Solve 0 = -u*k - o - 0, 5*p = k + 17 for p.
3
Let f = 127 + -114. Solve -x + u + 3 = x, -2*u - f = 3*x for x.
-1
Let k = 132 + -128. Solve -k*o = 4*g - 8, -o + 10 = g + 4*g for o.
0
Let c be 6/(-4)*8/(-6). Let r be -10*-2*2/10. Suppose -c*f + 2*a + 10 = r, -2*a = 2*f - 10. Solve -p = -0*p - f*t + 7, -5*p + t + 22 = 0 for p.
5
Let b(u) = -u**3 - 5*u**2 - 14. Let s be b(-6). Solve 0 = -a - 4*k - 12, 5*k + s = -3*a - 0*k for a.
-4
Let a be (2/(-6))/((-16)/96). Solve -2*v = -b - 9, -3*v + 0*v = a*b - 17 for v.
5
Let p(j) = j - 2. Let g be p(1). Let y = g - -3. Solve 0 = -y*f + 2*q + 2, -4*f + 3*q + 4 - 3 = 0 for f.
-2
Let m(f) = 0*f**3 + 2*f + 2*f**3 - f**3 + 2*f - 4*f**2. Let r be m(3). Let n be ((-3)/3)/(r/(-9)). Solve 2*v = -0*d + 3*d + 19, -3*d - n*v + 6 = 0 for d.
-3
Suppose 2*p + 4*u = 52, 1 = 2*p - u - 46. Solve -4*y - 6*z = -4*z - 4, 5*z = 4*y + p for y.
-1
Let k(h) = -3*h + 2. Let y be k(-4). Let f = y - 14. Solve -6*n = -2*n + 2*u - 8, f = -n - 5*u + 11 for n.
1
Suppose 137 = -5*s + u, s - 2*s - 5*u - 43 = 0. Let l = -25 - s. Solve -6*c + 3*c - 8 = 4*q, -l*c + 4 = -2*q for c.
0
Suppose 12 = -4*k, -5*k - 36 = -3*p - 3*k. Suppose -2*a + p = 8. Suppose s = 1 + a. Solve -s*i - 2*u + 4 = 0, -u = -2*i + 2 + 2 for i.
2
Suppose 3*a + a = -8. Let t be (-35)/a*(-4)/(-5). Solve -2*p + 8 = -u, 0*p + t = 4*p - u for p.
3
Suppose 14 = -3*u - 5*t, 3*t + 2 = -8*u + 3*u. Let c = 4 - u. Let b be ((-72)/21)/((-1)/7). Solve -4*w = 4*z - b, -5*w + 5*z - c*z + 14 = 0 for w.
4
Suppose 5*t - 30 = -t. Let b = -1 + 12. Solve 3*c - k - b = -3*k, 4*k = 3*c - t for c.
3
Suppose -4*o + 6 = -2. Suppose -o*x = -5*x + 9. Solve 3*i - 18 = 2*d, x*i + 2*i - 26 = 2*d for i.
4
Suppose -4*l = -6*l + 4. Solve 0*g = -d + l*g - 8, 12 = -5*d - 4*g for d.
-4
Suppose 0 = -a, 3*k = 5*a - 7 - 20. Let h be (-6 + 1)/(3/k). Solve 0 = 3*v + 4*r + h, r - 11 = 3*v + 4 for v.
-5
Let x(z) = 2*z**2 + 10*z + 14. Let a be x(-6). Let j = a - 26. Solve j = n - 4*p + 21, n = p - 3*p + 3 for n.
-5
Let k(y) = 5*y + 2. Let c be k(2). Suppose -5*x + 3 = -c. Solve o = -5*q + x*q + 11, -3*o = 2*q - 17 for o.
3
Let m(n) = n**2 + 4*n + 5. Let f be m(-4). Solve -2*l = -5*c + 5, -3*c + 17 = -f*l + l for l.
-5
Let b be (4/(-14))/(1/(-7)). Solve g - 4*p = p + 10, 4*g + p = -b for g.
0
Let g(b) = 4*b. Let v be g(-5). Let n be v/(-6) - 7/21. Solve 0 = -n*l + a + 12, -4*l = -3*l + a - 4 for l.
4
Let j(k) = -k + 20. Let g = -3 - -3. Let v be j(g). Suppose -r + 11 = 4*w - v, 3*r + 5*w = 72. Solve -4*d + 5*u = r + 12, -1 = d + u for d.
-4
Suppose 0*r + 8 = -2*r. Let f be (r/(-10))/(2/20). Let u be (5 - 87/6)*-2. Solve -s = -2*s + f, -3*z + u = s for z.
5
Let y be 12/(-9)*(-6)/4. Solve y*d - 4*x = 14, d + 0*x - 5*x = 22 for d.
-3
Let z be 12/10*105/42. Solve 4*q - 2 = z*i, -3*i + i = -4*q for q.
-1
Let b be 17 + 0 + 1/(10/40). Solve -5*j - 2*a - 23 = 0, 0 = -2*j - 2*j + a - b for j.
-5
Let w = 11 - 1. Suppose -k + 0 = -w. Suppose -k = p - 3*p. Solve -5*t = 4*g - 7, p*g + 0*t - t - 16 = 0 for g.
3
Let u = -4 + 19. Suppose -y = -0*y - 2. Solve -5*z = -y*k - u, -7 + 1 = -k - 2*z for k.
0
Let h(d) = d**3 + 10*d**2 + 8*d - 4. Let s be h(-9). Solve -4*b + 15 = s*y, y + 0 - 3 = 3*b for y.
3
Suppose 9 = 3*n + f, n = -2*n - 4*f. Solve -2 = 2*x + a, -3*x - 3 = -n*a + a for x.
-1
Let v be 12/28 - 22/(-14). Solve -b + 1 - v = 0, -3*b = n - 1 for n.
4
Suppose 3 - 13 = -2*d. Solve -d*j = -0*k - k + 16, -k - 4*j - 20 = 0 for k.
-4
Let q = 3 + 0. Solve -3*t + k = 4 - 1, q*t + 3*k = -3 for t.
-1
Suppose 7*u - 3*u = 12. Solve -f = -3*h + 15, u*h - f - 2*f - 15 = 0 for h.
5
Suppose -h + 18 = -0*h - 5*g, 0 = -5*h + 4*g + 27. Let d be (-39)/(-2)*(-4)/(-6). Suppose -h*i - d = -4*i. Solve 0 = b - 4*n - 13, 4*b - 2*n = n + i for b.
1
Let i be (-59 - 1)*22/(-44). Solve -4*b = -3*x + 11, -5*x + 3*b = 6*b + i for x.
-3
Let q(r) = 3*r**2 + 6*r + 3. Let g = 4 + -2. Let u(m) = -m**2 - m. Let z(n) = g*u(n) + q(n). Let l be z(-4). Solve -i + k = l + 3, 5*i - 4*k + 28 = 0 for i.
-4
Suppose -y = -z + 2 + 1, 5*z - 12 = 4*y. Suppose -3*w = 15, z = -2*s - 0*s + 2*w + 14. Let l = 2 - 2. Solve u = -4*t - l*t + 8, 4*t = -s*u + 12 for u.
4
Let u = -154 - -154. Solve k + 3*y + 9 = u, -1 = 4*k - 4*y - 29 for k.
3
Let x = 6 + -2. Let n be 8/(-12)*(-18)/x. Solve 4*f + o = -2, -o = -n*f - 0*f + 2 for f.
0
Suppose -6*h + 14*h - 40 = 0. Solve -4*t - 4*a = -2*a + 6, -h*t = -5*a + 45 for t.
-4
Let f be ((-8)/(-20))/(2/10). Suppose 2*p + 6 = f*h - 0*h, -5*h = -4*p - 17. Solve