4
Let o(m) be the third derivative of -m**4/24 - m**3/6 - 7*m**2. Let k be o(-4). Solve -5*u + 4 = -4*t, -3 = -3*u + k*t - 0 for u.
0
Let b(a) = 9*a + 28. Let q be b(-3). Solve -5*t = -3*y - q - 5, 3*y = -3*t + 18 for t.
3
Let a be (-66)/14 + 4/(-14). Let t = a - -7. Solve t*m - 2*v - 9 = -1, v = -3*m for m.
1
Let p be 60/14 + (-8)/28. Suppose -p*m + 2*m = -2. Solve u - 20 + m = 4*x, -x - 4 = 0 for u.
3
Let p(k) = -2*k**2 - 2*k + 1. Let n be p(-2). Let b be (-9)/(-2) + n/(-6). Let c be (-2)/6 - 1/(-3). Solve 4*j - z - 16 = c, b*j + 9*z - 4*z - 20 = 0 for j.
4
Let t be (-62)/(-3) + (-1)/(-3). Let i be t*-1*(-1)/3. Let l(q) = -q**3 + 8*q**2 - 7*q + 4. Let w be l(i). Solve -2*a + 6 = 4*p - 2, -w*p + a = -2 for p.
1
Suppose -4*y = -5*f - 71, 24 + 19 = -5*f - 3*y. Let x = 0 - 8. Let w = x - f. Solve -g + w*n = g + 2, -4*n = -8 for g.
2
Suppose -2*t + 7 - 1 = -4*x, -3*x - 3*t = -9. Solve x = -3*h - 2*z + 12 - 1, h + 4*z = 7 for h.
3
Let z(j) = -j**2 + 5*j - 4. Let s(y) = -y - 1. Let v be s(-4). Let l be z(v). Solve -7*b + 4*n = -l*b, 5*n - 45 = -5*b for b.
4
Suppose -s - 3 = -0. Let x be 11*s*(-4)/6. Solve -5*c = z + 10, c + 7*z - x = 2*z for c.
-3
Let u be 4/10 + (-115)/(-25). Suppose 3*f = 4*w - 23, -u*w - 10 = 6*f - 2*f. Solve -3*y + 2*y + 5*p + 18 = 0, w*y + 5*p + 9 = 0 for y.
3
Suppose 0 = 5*l + 4*u - 23, l + 31 = 5*l - u. Suppose l*w = 4*w + 18. Solve -3*n + 4*k + w = -2, n - 5*k + 1 = 0 for n.
4
Let m(u) = -u**3 + 6*u**2 + 8*u + 8. Let j be 1*(-6 + 3 + 10). Let s be m(j). Solve v + 7 = -3*b, s = -5*v + 3*b + 2*b for v.
-4
Suppose 0 = -6*q + 3*q. Suppose -i - 2*i = 0. Suppose i*h + h = q. Solve 0 = -h*s - s - 3*z - 5, 3*s = -z - 7 for s.
-2
Suppose 3*n + 5 = 65. Solve y - 3*w = -14, -5*w = -w - n for y.
1
Suppose -2*n + 3*b - 3 = 0, 0 = 4*n + 5*b - 3*b - 2. Solve -7*f = 4*s - 3*f - 8, -s + f + 8 = n for s.
5
Suppose 0 = -4*v + 19 + 1. Solve v*h = -4*p - 1, h + 2 = 5*p + 4*h for p.
1
Suppose 0 = -5*h + 11 + 9. Solve 0*a = -2*c - 3*a + 18, -h*c + 16 = a for c.
3
Let x be (27/(-12))/((-2)/(-8)). Let o(q) = -q**2 - 10*q - 5. Let c be o(x). Solve 2*m - 2*g = 8, -22 = -5*m + c*g - g for m.
5
Suppose -9 + 34 = 5*l. Solve 12 + 0 = -l*j + u, 0 = -4*j + 4*u for j.
-3
Let y = -9 + 15. Suppose 0 = -5*w + 4*h + 60, y*w - 3*h = w + 55. Suppose -p + w = -0*p. Solve 2*v = -b, 0*v + 2*v + p = -3*b for b.
-4
Let y(f) = f**2 - 3*f - 6. Let z be y(-2). Solve 0 = -2*d - q + 5, 5*d - 5*q - 31 = z for d.
4
Let i be ((-40)/30)/((-4)/6). Solve 5*p = -5*v + 20, -i*p + 5*v - 16 = -3*p for p.
1
Let o = 46 + -44. Solve o*u + 1 = 5*d - 6, u = 3*d - 4 for u.
-1
Let n = 57 + -53. Solve -4*u + 16 = -n*q, 30 = -3*u + 8*u + 5*q for u.
5
Let z = 8 - -7. Solve 5*d = -4*g - z, -5*d + 3 = -5*g + 18 for d.
-3
Let x(y) = -9*y**2 - y. Let o be x(1). Let f = o + 12. Solve c - 28 = -5*w, 4*w - 1 = f*c + 13 for w.
5
Let l = -18 + 13. Let d be 3/(l + 2)*-9. Suppose 3*n + d = -0*n + 3*t, 4*n = -t + 13. Solve n*m - a = 4*m + 3, m + 3*a = -4 for m.
-1
Let i be 4/(-6) + (-48)/(-18). Solve -5*q = -y + i*y - 23, 0 = 5*y - 2*q + 20 for y.
-2
Let l(p) = -2*p + 44. Let q be l(22). Solve q = 3*r + d - 7, 2*d = -5*r + 4*r + 9 for r.
1
Suppose 3*h = -3*o, 3*h + 12 = -o + 4*o. Solve 3*m = 3*p + 9, -3*p - o*m + 15 = 3*m for p.
0
Let g(r) = r**3 - 9*r**2 + 9*r - 3. Let x be (3/6)/((-1)/(-16)). Let l be g(x). Solve -4*s - n + 2*n = 16, -s = -l*n + 23 for s.
-3
Let m = 14 - 15. Let z be m/5 + 7/35. Solve 2*w - 4 = 2*x + 6, 3*x + 2*w = z for x.
-2
Let a be 6/4*8/3. Solve -2*l = a*u + 4, -5*u = -4*l + 6 - 1 for l.
0
Let v = -1 + 6. Let d = -4 + v. Suppose d = -x + 5. Solve -x*l + 12 = -s - 4, 3*l - 5*s - 29 = 0 for l.
3
Let s(h) be the first derivative of -3*h**2/2 + h - 1. Let n be s(3). Let a = -5 - n. Solve -4*v - o = -a, -2 = 4*o + 2 for v.
1
Let o(k) = 3*k - 15. Let z be o(7). Solve -2*d - z = -a, -20 = 5*a - 0 for d.
-5
Let o = 32 + -20. Let j = 1 + 4. Let q = j + 3. Solve 4*n - o = h, -n - 3*h - q = -6*h for n.
4
Let x = -19 + 10. Let m = 0 - x. Suppose j + 4 = m. Solve 2*a - a = j*t + 10, 5*t - 4*a = -25 for t.
-1
Let o be (-14)/(-12) + 3*(-8)/144. Let x be (1 - 0)*(0 + 3). Solve x*y - 8*y = -4*l + 4, l - o = -4*y for l.
1
Suppose 0 = 3*t + 2*w - 0*w - 29, -3*t - 4*w + 31 = 0. Let j = -90 - -91. Solve -j = -4*v - 2*r + t, 3*r - 13 = -5*v for v.
2
Let m = 4 - 0. Solve -4*t + 8 = 3*h, -4*t - 3*h - 8 = -m*h for t.
-1
Let r = -22 + 32. Solve 2*i = -r, 4*l - 4*i = 17 - 5 for l.
-2
Suppose 0*j + 2*j + 12 = 0. Let z(l) = -4*l - 7. Let w be z(j). Let r = -15 - -32. Solve 6*h - 2*h = b + r, 4*b + h = w for b.
3
Suppose -i + 3*i = 14. Solve 0 = -a + h + 5, a - 2*a = 5*h + i for a.
3
Let u = -3 + 3. Suppose 0 = 4*l - u*l. Solve 4*r = -2*g, l*r + 3*g = -2*r for r.
0
Suppose 0*w - 33 = -4*w + 5*k, 2*w + 3*k = -11. Suppose -w*n + 7 = 1. Solve 3*x - 3 = -0*s + n*s, x + 5*s = 7 for x.
2
Let n(h) = -h**3 + 8*h**2 - 6*h - 2. Let w = -3 - -10. Let y be n(w). Solve -y*k - 8 = -2*m, 4*m + 4*k = 2*m - 10 for m.
-1
Suppose -7 = -4*z - 5*q, -5*z - 4 = -q - 20. Suppose 0 = a + 4*a - 10. Suppose a*w - 7*w + 15 = 0. Solve v = y - w, z*y - 1 = -0*v - v for y.
1
Let c = -24 + 26. Solve -5*x + 22 = -c*d, d - 4*x + 15 = 2*d for d.
-1
Suppose -j - 4*j + 15 = 0. Let t be (0 - 2) + j + -6. Let x = -3 - t. Solve -y = -3*s - s + 5, -x*s + 4 = -2*y for y.
-1
Let s be 1/((-55)/(-25) - 2). Solve -3*b - s*o + 31 = 0, b = -3*b + 5*o - 17 for b.
2
Let a(x) = 7*x + 1. Let b be a(1). Suppose -3*r - 2*r = 0. Suppose c - 5*c = r. Solve c = 2*f + 4*t - b, -t + 1 = -0 for f.
2
Let n(j) = -2*j - 3. Let l be n(0). Let q be (4/(-6))/(l/9). Let u = 5 - 1. Solve -5*b - q*c - 31 = 0, 0 = -u*b + 4*c - 8 - 0 for b.
-5
Let g be ((-75)/6 + 4)*-4. Solve -4*c - n + 17 = 0, g = 4*n + 14 for c.
3
Let m(d) = 2*d**2 + 2*d + 2. Let s(x) = x - 7. Let n be s(5). Let l be m(n). Let r be (-2)/l + 32/6. Solve 0 = -3*o - r*w - 4 + 14, -3*w - 5 = 4*o for o.
-5
Suppose 3*j = 54 + 66. Suppose i + 3*i - j = 0. Suppose -2*p - 3*p + i = 0. Solve -4*s + 9*r - 22 = 4*r, -p*s + 4*r - 14 = 0 for s.
-3
Suppose -6 + 8 = d. Solve 35 = -4*b + 2*k + 9, 2*b = -d*k + 2 for b.
-4
Let v(b) = -b**3 - 2*b - 7*b**2 - 2*b**2 + 13 + 3*b. Let k = -7 + -2. Let l be v(k). Solve 10 = 2*f, -n + 32 = -l*n + 4*f for n.
-4
Suppose 2*i + 25 = -5*y, -10 = -5*y + 10*i - 5*i. Let f = y + 7. Solve 3*c + f*v - 27 = -5, -2*v = -2*c - 4 for c.
2
Suppose 11 = 4*x + 7. Solve -5*g = 5*o, 5*o - x + 5 = -4*g for g.
4
Suppose 6*u = -2*u + 64. Solve 4*b + 12 = -3*o - 8, 0 = 4*b - 4*o - u for b.
-2
Suppose 1 = 2*j - 5. Solve v - 2*r = -0*r - 2, v + 3*r = j for v.
0
Let v be ((-3)/2)/((-3)/8). Suppose 5*m + v*c - 16 = 0, m - 3*c = -5*c + 8. Solve 2*y = 2*p - 8, 23 = -m*p + 4*p + 3*y for p.
5
Let q be 0/(-1 + 2) - 0. Let s(m) = m**3 - 13*m**2 + 12*m + 1. Let a be s(12). Solve p = -n - q*n - 3, 0 = n + 5*p - a for n.
-4
Let x be -1 + -2 + 2 + 3. Solve -4*p + p = -2*v + 1, 6 = x*p for v.
5
Suppose 2*n - 44 = -3*g, 0 = -3*g + 4*g - 5*n + 8. Let f(o) = o**3 - 12*o**2 + 5. Let m be f(g). Solve 5*d + r + 17 + 1 = 0, r = m*d + 12 for d.
-3
Let u = -3 - 6. Let l = 25 + u. Let n = 3 - -6. Solve -3*j = 5*c + j + n, -l = 4*c + j for c.
-5
Suppose -4*f - 3*h - 1 = 0, -3*f + f = -3*h - 13. Suppose -3*w - 19 = -2*t, 0 = 4*t - f*t + 5*w + 5. Solve 5*d + 0*d - 10 = t*o, d = 2*o for o.
2
Suppose 15 = 2*g + 5. Solve 0 = -m - g*t + 29, t + 5 = 5*m - 10 for m.
4
Suppose -2 = -0*x - x. Suppose x*v = -v + 9. Suppose -3*l + v*n + 23 = l, 3 = -3*n. Solve -f + 6*f - 4*b - 35 = 0, l*f - 3*b = 30 for f.
3
Let w(a) = 2*a**3 - 19*a**2 - 10*a + 20. Let x be w(10). Solve 4*o = r - x, -r - 3*r + 12 = o for o.
-4
Suppose -3*f = -8*f - 115. Let p(o) = o**2 + 9*o + 9. Let m be p(-6). Let h = m - f. Solve q + 5*d + h = 3*q, 5*q - 3*d - 16 = 0 for q.
2
Let t be (-3 - -3 - 1) + 3. Suppose 2*q - 2 = t*n - 4, -q - 3 = -3*n. Solve q*s + 21 = 4*d - 3*s, -12 = 4*s for d.
3
Let c be -1 - (-2 + 2) - -4. Suppose -3*w = c*x + 3, w + 9 = -2*w. Solve -2*i = -x*h - h + 1, -4*h + 5*i = 8 for h.
3
Let p be (-4)/(5/(-4) - -1). Let n = -8 + p. Solve -2*q = -3*w + 6*w + 10, q + n = -3*w for w.
-2
Let m = 5 - 9. Let l = -2 - m. Let p(a) = -8*a - 3. Let k be p(-2). Solve -f + 2 = -3*w + k, 3*f - 2*w - l = 0 for f.
4
Let b(a) = -a**2 - a + 8. Let v be b(0). Let q be (-1