h be (-6)/i*b/6. Solve -3*z - z + 8 = -3*w, h*z - 8 = -4*w for z.
2
Suppose 4*u - 11 = 5. Let d(m) = -5*m**3 + 2*m + 5*m**2 - 2 + 4*m**3 - 2. Let g be d(4). Solve -i + 4*i - t = -u, 0 = 5*t - g for i.
0
Let v = -1 + -1. Let o be -3 - -4 - v - -5. Suppose 2*t + o = 4*t. Solve -h - d - 3 = 0, 0*d + 4*d = t*h + 12 for h.
-3
Let y(i) = -i**3 - 2*i**2 - 2*i. Let n be y(-2). Suppose -q + n*d = -19, 2*q = 4*d + 6 + 28. Solve -4*p - 2*s = -2 + 12, -5*s = q for p.
-1
Let g(u) = -2*u**3 + u**2 + u + 1. Let z be g(-1). Solve -5*x - 15 = b, 23 = -z*b - 2*b + x for b.
-5
Suppose 4*z - 42 = -5*k, -35 = -2*z - 4*k - 11. Let c(m) = -m**2 + 9*m - 3. Let r be c(z). Solve i + 2*i + 9 = -a, 2*i = r*a + 11 for a.
-3
Suppose -5*t - 4*w + 22 = -0*w, 5*t + 2*w - 16 = 0. Solve 0 = -2*u - t*o - o + 16, -16 = -4*u - 2*o for u.
2
Let k = 7 + -5. Suppose -2*i - 4*b - 6 = 0, 0 = 4*b + k + 14. Suppose 0*g = -5*g - 4*f + 12, -i*g + f = -22. Solve l + s - 9 = 0, 8 + g = -2*l + 4*s for l.
4
Suppose 0 = 2*i + 3*i - 10. Let x be (-1)/4 + 3/(-4). Let j = x - -3. Solve 0 = -i*o + 5*u + j, 5*o + 0*o + u = -22 for o.
-4
Let b = 15 + -15. Let z be (-2)/(-2)*(9 + 2). Solve -4*f = -3*p - 15, 5*p + b*f - 2*f = -z for p.
-1
Let a be 17 + -15 + 1 + 1. Solve a*x + 0*x + s = 8, s = 0 for x.
2
Let p(m) = m**2 + 4*m + 5. Let c be p(-4). Solve a - 3*u + 7 = 0, 0 = 6*a - 2*a + c*u - 40 for a.
5
Let q = -5 + 5. Solve 2*r - 2 = 2*a, q = 2*r - 2*a - 3*a + 7 for r.
4
Let w be (21/(-14))/(3/(-16)). Suppose w = -3*x + x, l - 15 = 3*x. Solve l*h - 1 = -3*s + 5, -13 = -4*s + h for s.
3
Let b(q) = -q - 18. Let t be b(-8). Let g = t - -12. Solve -4*o - p = 7, g*o - 3*p + 21 = -0*o for o.
-3
Let v be (0 - 1)/((-4)/52). Let b = 16 - v. Solve -b*h - 3*u - 12 = 0, -2*h - 3*u - 8 = 2*u for h.
-4
Let m be 8 + (-1 + 1 - 6/2). Solve 0 = -2*b + j, 0 = -b + 3*j - m*j for b.
0
Suppose -n = -q - 4, 4*n - 3*n + 2*q = -8. Suppose -5*k + k = n. Solve 4*y + y + 5*v + 25 = k, 4*v - 4 = 4*y for y.
-3
Suppose 2*s + s = 9. Solve 4*k = s*f - 0*f + 35, 5*f + 30 = k for f.
-5
Suppose o - 18 = -3*b, -3*b + 6*b + 5*o = 30. Suppose 4*m - b*a = 0, 3*m + 6*a = 2*a. Solve -3*f = -m*u + 3*u + 12, -3*u - f = 4 for u.
0
Let v(g) = 13*g**2 - g + 1. Let r be v(1). Suppose -y - 2*z - r = 3*z, 0 = 2*y + z - 1. Let c be 22/10 + 52/65. Solve 5*l - y*s + 10 = l, c*l + s = -10 for l.
-3
Suppose 0 = -3*w - 12, -11*w - 28 = -3*t - 7*w. Solve 2*f = t*c + 4, 3*f + f - 2 = 5*c for c.
-2
Let n be -15 + -1 + 4 - -3. Let r = -5 - n. Solve 5*g + 17 = -3*j, -r*j = 4*g + 18 + 2 for g.
-1
Let r(v) = v**2 + 9 - 8 + 2 - 5*v. Let a(t) = -t**3 - 5*t**2 + 4*t - 7. Let o be a(-6). Let c be r(o). Solve 5*f - 5*x - 23 = -4*x, -4*f + 25 = -c*x for f.
4
Suppose -6 = h + 4. Let c be h/(-4) + (-2)/4. Solve c*u = 2*b, u + 3 = -2*b + 9 for u.
2
Let u be (-2 - -4) + 0/((-8)/2). Solve 2*b + n = 2, 0 = -0*b - u*b + n + 10 for b.
3
Let t(c) be the third derivative of 5*c**4/24 + c**3/2 - 11*c**2. Let o be t(3). Solve 0 = -l + p - 5*p + 1, 3*p - o = 5*l for l.
-3
Let b = 23 - 15. Let k be b/(-6)*1*-3. Let z = -17 + 22. Solve -z*y + 3*t = -29, 0*y - 4*y - 4*t + k = 0 for y.
4
Let u be (-23)/(-3) - (-1)/3. Let g be (3/4)/(3/u). Solve -l + 1 = 0, 0 = -g*m + 3*l - 0 - 9 for m.
-3
Let m = 13 - 11. Suppose 3*y = m*o + 2, 5*y + 4*o - 23 + 5 = 0. Solve y*z + z = 3*n, 3*z + 2 = 4*n for z.
2
Let x(g) = -2*g**3 - 3*g**2 + g + 2. Let y be x(-2). Solve 3*s = 5*j - 17, 2*j = -2*s + y + 6 for j.
4
Suppose 4*l - 95 = 5*p, 3*p - 5*p = 6. Suppose -t + l = 5*d, -2*t + 3*t = 5*d - 20. Solve -5*z = -v - 23, -d*v + 0*z - 24 = -3*z for v.
-3
Suppose 2*p = 7 - 3. Suppose 5*r = -4*j + 20, -j - 4*r + p = -3. Solve 3*w - 12 = -w, 4*c + j*w = 7 for c.
-2
Let l be ((-2)/5)/((-6)/60). Let u be (0 - -2) + -2 + l. Let f be (3 - 1)*(2 + 0). Solve 0 = u*i + f*r - 19 + 3, i = -5*r for i.
5
Suppose -3*r + 10 = -5. Let y(g) = g**3 - g - 1. Let k be y(2). Solve 8 = 3*h + s, -2*h = -k*h - 4*s + r for h.
3
Let l(h) = 3*h**2 - h + 1. Let q be l(1). Solve -y - 3*y - 7 = -q*i, 2*y - 2 = -4*i for y.
-1
Let h be (-20)/8*(-12)/15. Solve -3*j = h*j + 25, -4*a = -j - 21 for a.
4
Let o = -95 + 50. Let x = 69 + o. Suppose -3*q + 2 + 4 = 0, 4*f = 4*q. Solve x = 5*n - k + f*k, 6 = 2*n + 4*k for n.
5
Suppose -4*j = -3*j - 3*a - 15, 10 = -4*j - 2*a. Solve 3*i - 4*r = -32, j*r = i + r - 1 for i.
-4
Let o(y) = -y**3 + 8*y**2 - 3. Let z be o(8). Let n(p) = -p**3 - p**2 + 3*p - 4. Let c be n(z). Solve 5*d = 4*q + c, -3 + 13 = -5*d + q for d.
-3
Let n(d) = d + 11. Let c be n(-7). Let i = 6 - c. Solve 5*l + 0*o - 17 = -i*o, -3*l + 4*o = -5 for l.
3
Let b be -6 + 3 - (-3 - 0). Let l be 1/(1/2 - b). Let j be (-61)/(-2) - 1/l. Solve 0 = -4*s - s + x - j, 5*x - 10 = -3*s for s.
-5
Let s be -1*(3 - 20 - 0). Let h = s + -9. Solve 14 = -g + 4*p, 1 - h = -4*g - 5*p for g.
-2
Let j be (-11)/(-4) - (-48)/(-64). Solve -j*u = -x - 9, u - 4*u + 17 = -5*x for x.
-1
Let z = -66 - -116. Let k = z + -35. Solve 0 = 3*m + k, 0*m = -3*l - 5*m - 25 for l.
0
Let k = 4 - -4. Suppose -2*d + k = -10. Suppose -i = 2*i - d. Solve -4*o + 12 = 2*s, i*o + 18 = 7*o - s for o.
4
Let c = -7 + 9. Let s = 15 - c. Solve 5*t + s = 3*q - 2*q, 16 = -2*t + 4*q for t.
-2
Let f = -7 - -11. Solve -4*b + f = -0*a + 5*a, -28 = 4*b - 3*a for b.
-4
Let y(x) = x - 13. Let l be y(9). Let t be l/(-1) + 0 + 2. Let b = t - 4. Solve 40 = -3*w + 5*u, b*u = -w + 6 - 1 for w.
-5
Let q = 25 - -4. Solve 0 = -5*o - 3*h + q, -o + 14 = o + 2*h for o.
4
Let p be 2*(35/(-2))/5. Let u = p - -11. Suppose -5*r = 2*b - 8, -25 = -5*b - 5. Solve r = -2*v + 3*z + u, 0 = -v - v - 2*z + 4 for v.
2
Suppose 0 = w - 5 + 2. Suppose 9 + w = 6*n. Solve -4*k = -f + 13, -n*f + k - 8 = 2*f for f.
-3
Suppose 4*y = -0*y. Suppose -4*j - 4 = -a, -a - 3*j + 72 = 2*a. Suppose -f = 2*h - a, -29 = -f - 0*f - 5*h. Solve 4*s + f = 2*x, 3*x = 5*s - y*x + 16 for s.
-5
Suppose -17 = -2*n - j, -2*j - 9 = j. Let v = -7 + n. Solve v*r + 0*r + s = 14, 2*r + s = 10 for r.
4
Let r be (4/(-5))/((-2)/10). Suppose 1 = 3*f - 5*g, 5*f - 12 = -2*g - 0*g. Solve l = -4*t - 0*l + 4, f*t - r*l = 2 for t.
1
Let r = 83 + -83. Solve r*g + 4*g - 18 = -f, -g + 3 = f for f.
-2
Let b = 33 + -31. Solve 5*w + b*m + 2 = 16, -2*m = -w + 10 for w.
4
Suppose -t + 13*t = 24. Solve 2*h - 6 = y, 0*y = t*y + h - 8 for y.
2
Let l = -7 - -14. Suppose 0 = 2*z - a - 0*a - 4, -4*a - l = -5*z. Solve 3*x = -2*f + z, -4*f + f = -5*x + 24 for f.
-3
Let b(t) = 3*t - 9. Let h be b(4). Solve -h*l + 25 = 2*s, 0 = l + s - 5 - 5 for l.
5
Let u(f) = -2*f + 12. Let w be u(5). Solve 0 = 4*h - 2*h - w*v - 10, -4*h = -2*v - 20 for h.
5
Let o = 30 + -26. Solve y + y + 23 = -5*l, -2*y = -4*l - o for y.
-4
Let q = -74 + 78. Solve 0 = q*n + 2*u - 14, -5*u = 4*n - 0*u - 11 for n.
4
Suppose 0 = 2*u - 4 + 2. Solve 0 = 5*r + 4*p - u, 2*p - 7*p + 20 = 0 for r.
-3
Let i(h) be the second derivative of h**5/5 + h**4/12 - h**3/6 + h**2/2 - 4*h. Let m be i(1). Solve -5*v = -c + 8, -m*c = -0*c + 2*v - 13 for c.
3
Suppose d - 3 - 4 = 0. Let o = 0 + 0. Solve 5*a = 10*a + v + d, o = 4*a + 2*v + 8 for a.
-1
Suppose -3*a = 5*l - 4, -9 + 1 = l + 5*a. Suppose 0 = -5*y + 2*x + 90, 3*x = l*x - 5. Suppose 4*j + 0*j = 16. Solve -4*c + w = 19, 2*c = 4*w - j - y for c.
-4
Let s(p) = -p**2 + 10*p - 6. Let q be s(4). Suppose -4*g = -0*g + 2*i - q, -5*i + 18 = g. Solve a = 5*r - 13, g*a + 17 = 4*r - 0 for r.
2
Let h be (1 - (0 - -1)) + 21 + 4. Solve -5*l = -3*y - 2*y - h, -4*y + l - 5 = 0 for y.
0
Let b(l) = l**2 - 30. Let c be b(0). Let z be ((-8)/12)/(4/c). Solve 0 = 4*g - 2*g + z*i + 10, -10 = 3*g + 5*i for g.
0
Suppose 0 = -2*o - 8*k + 4*k + 22, -o = -3*k + 9. Solve 0*u + u + o*q - 10 = 0, 12 = 4*u - 2*q for u.
4
Let j be (2 + 1 - 1) + 1. Suppose j*s - 24 = -s. Suppose -3*h + s*h = 57. Solve g - 5*m = 4*g - h, 5*g - 2*m = 11 for g.
3
Let k(r) = -r**3 - 10*r**2 - 23*r - 11. Let x be k(-7). Solve 5*i - 5*c = -0*i + 15, -c = -x*i + 7 for i.
2
Suppose -5*i = 4*o + 25 + 11, 5*o - 29 = 3*i. Suppose -5*h + 39 = -11. Let a = i + h. Solve -a*x = 3*g + 3*x - 24, -3*g = 3*x - 18 for g.
3
Let y be (0 + -2)/(-2) - 1. Suppose 5*z - 7 - 3 = y. Suppose z*o = -o. Solve -5*x - b = 0, 3*b + o*b = 15 for x.
-1
Let o(v) = v**2 - 4*v + 3. Let a be o(3). Solve -4*l + 16 = 4*c, a*l = -4*l + 3*c + 16 for l.
4
Let d(m) be t