 5*l - 35, l = -u*i - 3*i - 15 for i.
-2
Let w(m) be the second derivative of -m**3/6 - 4*m**2 - 2*m. Let t be w(-13). Solve -2*y + 15 = b - 6*y, 0 = b + y + t for b.
-1
Let y be (4/(-10))/(5/25). Let m(j) = 4*j**2 + 4*j + 4. Let x be m(y). Solve -u - 4*p = 3*u - x, -5*p = -3*u + 1 for u.
2
Let t be (-2)/6 + 8/6. Let q be (0 + 4)/(t + 0). Let j(o) = -o + 2. Let i be j(-2). Solve -2*p + 3 + 5 = -i*x, 4 = -q*x + 3*p for x.
-4
Suppose -2*j - 2*j + 49 = -5*l, 2*j - 37 = 5*l. Suppose -3*u + 0 = -j. Solve 2*h + 7 = -3*z + 2*z, -u*z - 8 = h for h.
-2
Let b be -1 + 2*(-1)/(-2). Suppose -i - i = b. Solve 2*m + 8 - 4 = -2*k, i = -5*k + 2*m + 18 for k.
2
Suppose -2*t = -5*i + 3*t + 15, 0 = 2*i - 3*t - 7. Let v be 1 + (2 - -2)/4. Solve 4*s + 11 = -3*o, 4 = -v*o - 0*s - i*s for o.
3
Let u(a) = a**2 + 5*a + 3. Let k be u(-5). Let x = 4 + -3. Let p be x*(2 - 0) + 0. Solve -r - k = 3*c + p*r, -2*c - 5 = -r for c.
-2
Let g(t) = -t**3 - 2*t**2 - 1. Let p be g(-2). Suppose -5*y + 3 = -17. Let d = y + p. Solve 0 = 5*o + 3*x + 22, -o - 2*x - 18 = d*o for o.
-5
Suppose -2*w = -3*n - 12, -3*n - 2*n = -w + 13. Suppose k = -4*v - k + 14, w*v - k - 3 = 0. Solve 4*j = -2*z + 18, -3*z - 3 = v*z - 2*j for z.
1
Let v(p) = -p - 3. Let h be v(-7). Solve 0 = -3*r - h*t, 3*r - 5*r + t = 0 for r.
0
Let k = 11 - 1. Solve -2*v - 33 = 5*y, 4*y + k + 2 = 2*v for y.
-5
Suppose -l + 0 = -5. Let i = -3 - -14. Solve 0 = -4*r - q - 12, -7 - i = l*r + 2*q for r.
-2
Let i(y) = 5*y**2 + 0*y**3 + 6*y + y**3 - 4*y - 6. Let t be i(-4). Solve 0 = t*k + 2, -3*w + 6 = k - 5 for w.
4
Let j(g) = -g - 1. Let z be j(-2). Suppose 1 = -h - z. Let c be ((2 - 0) + -2)/h. Solve 3*b - 3*q = c, -5*b - 2 = -0*q - 3*q for b.
-1
Let w be 10/((-2)/(-8)*2). Let y(r) = -r**3 + 2*r**2 + 3*r + 3. Let t be y(3). Solve 2*m = -2*m - w, 20 = t*k - m for k.
5
Let p(o) be the third derivative of o**5/60 + o**4/3 + 7*o**3/6 - 2*o**2. Let t be p(-9). Solve -4*m + t = 2*k - k, -5*m = -3*k - 3 for k.
4
Let y = -5 - -9. Suppose -y*c = c + 25. Let f be (c/(-15))/(2/18). Solve -b - f*n - 2 = 0, 4*b + n = -7 - 12 for b.
-5
Let m be 1/6 + ((-46)/(-12) - 0). Let j = 11 - 8. Suppose -26 - 1 = -3*h + j*k, 4*h = -4*k - 4. Solve -3*s = -c + 2 + h, -5*s - 3 = -m*c for c.
-3
Let z = 45 + -23. Let i be (z/2)/(1/4). Suppose 0 = -6*j + 2*j + i. Solve -n - 2*n + g = j, -3*n + 4*g = 26 for n.
-2
Suppose -r = -3*r + 6. Let c(d) = 3*d**2 - 2*d - 1. Let m be c(-1). Solve 3*h - m*w + 29 = 0, 0 = -r*h - 0*h - 4*w + 11 for h.
-3
Let h = 2 + -1. Let a(i) = -i + 3. Let t be a(-8). Let s = 1 + t. Solve -3*l + 3*j = -s, -3*j = l + 15 + h for l.
-1
Let w(j) = -j**2 + 4*j - 2. Let u be w(7). Let g = -19 - u. Solve -4*q - r - 10 = 11, -g*r = q + 24 for q.
-4
Let q be 2/(-8)*(0 - 0). Solve q = 4*n - f, 3*n = f + 2*f for n.
0
Suppose 3*v - 2 - 4 = 0. Solve v*l - l = 5*z + 6, 3*z - l = -4 for z.
-1
Let z(b) = -6*b. Let o be z(-2). Let a be (-8)/(2 - (-8)/(-3)). Let g(u) = 2*u**2 - 3*u + 2. Let k be g(2). Solve -8 = 5*w + a, -2*w - o = k*v for v.
-1
Suppose y = -3*y. Suppose -i + 4*i - 18 = y. Solve -2*v - 3*h - 19 = -i*v, 4*h + 15 = -5*v for v.
1
Suppose -v - 3*v - 26 = 3*t, 4*t - v = -60. Let d = t + 20. Solve -4*a - k = 15, 3*a = d*a + 5*k + 24 for a.
-3
Let y = -5 - -10. Suppose 0 = -y*l + 2*r + 49, -r - 43 = -5*l + 3*r. Solve -5*p + 3*u = -l, p + 4*u = -2 - 5 for p.
1
Let u = -47 - -68. Let m = u + -9. Solve -2*v = -4*c - 14, 0*c = -4*c - m for v.
1
Let i be (0 - 1)*(-8)/4. Suppose 3*o + 5 = k, 2*o + 5 = 2*k + o. Solve k*z = -r - 1, i*r - 3 = -z + 2*z for r.
1
Suppose 4 = -3*a + 4*z - 8*z, 0 = 4*z + 16. Solve -5*p - 29 = -2*b, 0*p = -a*b + p + 13 for b.
2
Suppose 4*i - 3*r = 18, -i + 8 = -3*r + 4*r. Suppose 0 = i*x - 3*x. Solve -2*p - 4*k + 8 + 2 = x, 4*p = 5*k - 6 for p.
1
Let i(g) = -2*g + 10. Let y be i(3). Solve -3*t = 2*m - 7, -y*t + 3*m + 12 = 31 for t.
-1
Let m = -2 + -1. Let y = m + 8. Solve -y*n - j - 13 = 2*j, 4*n + 8 = -3*j for n.
-5
Suppose 0 = 7*r - 3*r. Solve r*p = 4*p + 2*z - 4, -5*z = 4*p - 10 for p.
0
Let x = 13 + -10. Solve 0 = 4*h + x*j + 2*j - 37, -4*h = -4*j + 8 for h.
3
Let k be ((-3 - -2) + 2)*(12 + -9). Solve 2*q - k*q + 20 = -5*l, -5*l = -5*q + 20 for q.
0
Let m(u) = u**2 - 2*u - 5. Let i be m(5). Let p = 8 + -1. Let g(a) = -a**2 + 7*a + 2. Let s be g(p). Solve 5*x = s*t - 6*t - 18, 0 = -5*t - i for x.
-2
Let d = 14 + -9. Suppose -2*h + v + 2*v = -26, 0 = -d*h + 5*v + 55. Solve 10 = 5*i - 2*c, 2*c + 3 = -4*i - h for i.
0
Let w be 2 - 1 - 16/(-4). Let m = -8 - -3. Let h be m/(40/6)*-4. Solve 5*z = -2*l - w, -5 = l + 3*z - h for l.
-5
Let y be (55/(-20) - -2)*-4. Solve 3*t - s + 16 = 0, -y*t = -5*s + 21 + 11 for t.
-4
Suppose -2*n - n + 23 = -4*p, -28 = -4*n + 4*p. Solve -3*m = n*v + 14, 0 = m + 5*v + 6 + 12 for m.
2
Let u = 16 + -3. Suppose 3*p - 3*a = 18, -5*p + 37 - u = a. Solve 0*o - 3*o = -p*g, 4*o = -3*g for g.
0
Let a = -6 - -9. Solve 2*c - 4*x - 18 = x, 12 = -a*x for c.
-1
Let t = 1 + 3. Solve 3*b + 5*k + 1 = 0, 4*b - t*k + 7*k = -5 for b.
-2
Suppose -w = -5*w. Suppose -2*c + w = -8. Solve 0 = -c*y - 2*g - 18, -3*y + g = 2*y + 5 for y.
-2
Let y be (-3)/(-2*(-3)/(-6)). Suppose 1 - 7 = -y*z. Solve t - z*q + 6*q = -14, 10 = -2*t - 2*q for t.
-2
Let n(z) = 2*z - 5. Let w be n(4). Suppose 5*j + 2*m = 15, j + w*m = -2*j + 9. Solve -j*r = -2*h + 17, -4*h + 0*r = -3*r - 25 for h.
4
Suppose u - 2*i = i + 6, 2*i - 7 = -3*u. Let l be 8 + 2/((-2)/u). Solve -g - 2*o - 2 = 0, -l*g - 17 - 5 = -2*o for g.
-4
Let t = 26 + -14. Solve -2*a = 4*j + 16, 3*a = -a - 4*j - t for a.
2
Suppose 2*t - 17 = 3*w, -t + 2*w = 2*t - 13. Suppose 0 = 5*p - 14 - 11. Let i(q) = -q**2 + 7*q + 2. Let r be i(7). Solve -r*l - 3*o - p = t, l - o = 7 for l.
3
Let m be 74/8 + (-2)/8. Let n(c) = c - 29. Let y be n(29). Solve -m = -3*s - l, -4*s = -y*s + 4*l - 12 for s.
3
Suppose 3*j + 2 = 4*j. Suppose 0 + 8 = j*c. Solve c*b + b = 4*n + 17, -3*n - 19 = -5*b for n.
2
Let q(g) = 3*g**2 - 5*g + 8. Let a be q(3). Solve -3*u - w + a = 0, -2*w = 5*u - 0*u - 35 for u.
5
Let z be (-2 - -2)/(10/5). Let d(w) = w - 5. Let r be d(6). Let p be (12*r)/(9/30). Solve 4*s + z = 4*y - p, 2*y + s - 5 = 0 for y.
5
Suppose r - 6*r = -z - 20, -20 = -3*r - z. Solve -r*s + 6*c - 20 = 4*c, 2*s = -c + 1 for s.
-2
Suppose 2*a = -5*q + 23, 5*q + 4*a - 35 = -a. Solve -8*m - 3*r - 4 = -3*m, -2*m - q*r = -2 for m.
-2
Suppose 0 = -2*l - 7 + 17. Suppose -l*i + 19 = -4*k - 26, 2*k = 3*i - 25. Solve 5*r = 10, 3*r + 6 = 2*w - i*w for w.
-4
Let s(o) = o**2 - 2*o + 1. Let a be s(3). Solve t = -3*g - 4 - 7, -4*t + a*g + 20 = 0 for t.
1
Let k(y) = 2*y**3 - 2*y + 1. Let z be k(1). Suppose s + 2*f = 9 - z, -2*s = -2*f + 2. Solve 0 = s*p - 4*j + 4, -3*p - 3*j = -p - 17 for p.
4
Let f(w) be the third derivative of -w**6/120 - w**5/60 + w**4/6 + w**3 + 3*w**2. Let p be f(-4). Solve 5*a - 15 + p = -4*i, 13 = -2*i - 3*a for i.
-2
Let d = 3 - 2. Suppose -4*f + 40 = -20. Suppose f = 5*o - 10. Solve 0 = o*h - 3*y - 15, h - y - 2 - d = 0 for h.
3
Let s(n) = -2*n + 22. Let y(m) = -3*m + 22. Let r(l) = -6*s(l) + 5*y(l). Let j be r(-9). Solve 4*d = 4*i - 0*i + 20, 0 = j*i - d + 9 for i.
-1
Suppose 4*x + 9 = -7. Suppose 4*y + 3*m - 2*m = 45, 2*y + 2*m = 24. Let t = y + x. Solve -3*p = -t*p + 3*l + 18, -4*p - l + 10 = 0 for p.
3
Let x be (-2 - (2 + 0)) + 4. Suppose 5*n - 54 + 4 = 0. Suppose -4*t + n = t. Solve -2*s = -x*s - t*p + 6, 0 = -2*s + p - 4 for s.
-1
Suppose 4*o = -4*r - 4, -4*r = -o - 9*r - 9. Let j = o + -4. Let y(n) = n + 3. Let i be y(j). Solve -4*t = -i*k + k - 16, -29 = -5*t + k for t.
5
Suppose 2 = 3*a - 4*y, -2*a - 4 = -3*a - 2*y. Solve 0 = 3*h - 4*x + 7, -a*x - 13 = -3*h - 3*x for h.
3
Let r be 2/9 + (-364)/(-63). Solve 0 = -2*a - 2, 2*p - 5 = -r*a + a for p.
5
Suppose 0 = z - 5*v + 3, -5*z + 5 + 0 = -5*v. Solve -3*m - 3 = -5*r, 2*m = -3*r - z*m + 25 for r.
3
Let o = 9 + -4. Solve 32 = p - o*p + 4*m, 5*p = -3*m - 16 for p.
-5
Let d = 47 - 22. Suppose 5*b - 40 = 3*t, 2*b = -t + 4*t + d. Let a = -5 + 15. Solve 2*r + a = 4*r + 5*n, -b*n = 4*r for r.
-5
Suppose -3*n - 3*n = -66. Solve -5*g + n = p, 4*p = 2 + 2 for g.
2
Suppose -2*f + 3*f = 5*z - 7, -2*z - 3*f + 13 = 0. Solve -3*k = -t + 2*k - 15, z*t - 2*k = -6 for t.
0
Let x = 44 + -41. Solve -2 = -x*u + j, 14 = -5*u - 5*j - 16 for u.
-1
Suppose 0 = a 