- 16, -g*l - 4*k - 8 = 0 for l.
4
Let p(u) be the third derivative of 5*u**4/24 + 2*u**2. Let w be p(1). Suppose -w*i = -1 - 9. Solve i*h + 4*q - 22 = -h, 0 = 2*h - 2*q + 4 for h.
2
Suppose 2*x - 7 - 33 = -4*l, 2*x + 2*l - 30 = 0. Suppose -8 = -5*j + 2. Solve 3*d + 1 = j*d + o, 0 = 2*d + o - x for d.
3
Let l = -15 - -46. Let j = 51 - l. Solve 3*b = -2*r + 12, 2*r - b - 4*b = -j for r.
0
Let a(t) = -t + 10. Let j be a(7). Let v = j + -4. Let d be -1 + (v + 1 - -1). Solve 5*u = 5*w - 5, d*u = -w - 2*u + 10 for w.
4
Let w be (-10)/((-480)/(-18)) - (-3)/8. Solve 3*t = -w*h - h + 11, -3*t = 4*h - 26 for t.
2
Suppose 0 = -5*u + 6*u. Solve u = -0*x + 4*x - 3*h + 24, -x = 5*h - 17 for x.
-3
Let g = 6 + -2. Let l be -3 - -10 - (-1 + -1). Suppose p - g*y - 1 = l, -y = -5*p + 50. Solve 6 = -2*c - 3*h - p, 16 = -4*c - 2*h for c.
-2
Let f = 18 - 10. Solve 2 + f = 5*j, -4*l - j = -6 for l.
1
Let w(a) = 4*a - 3. Let k be w(2). Let y be 6925/275 + (-4)/22. Solve 4*c + 1 = -2*o + 3, -k*o - y = 0 for c.
3
Let c(i) = i**2 + 3*i + 2. Let s(a) = -a**3 - 8*a**2 - a - 11. Let g be s(-8). Let z be c(g). Solve 0 = -y + p, 5*y - z*p + 1 = -2 for y.
-1
Suppose -w = -5*w. Suppose 3*p + 2*p - 20 = w. Solve 2 = 3*g + 5*m, -5*g - p*m = 1 - 0 for g.
-1
Let b(g) = g + 4. Let m be b(-4). Let l(u) = -u**3 - 17*u**2 - 17*u - 12. Let o be l(-16). Solve -y - 7 = y - c, m = -o*y + c - 13 for y.
-3
Let w(s) = -s**3 - 3*s**2 + 3*s. Let q be w(-4). Let i = q + -2. Solve 0 = -i*a + 2, -2*b + 4*b - 15 = -5*a for b.
5
Let b(q) = -q. Let i be b(-8). Suppose 0 = l - 4*o + i, 0 = 2*l - 5*o + 6 + 4. Let z be 8 - ((l - 3) + 6). Solve -18 = 4*a + 2*k, 0 = z*a - k - 0*k + 26 for a.
-5
Let r(l) = 3*l + 9. Let z be r(-6). Let d be 0 - (z*1)/3. Let m = -3 + d. Solve -3*k + 3*p = -27, m = -7*k + 2*k - 2*p + 10 for k.
4
Suppose 4*f - 5*a - 2 = -2*a, 0 = 5*f + a - 12. Let w be (-10)/(-4)*(2 - -50). Suppose 4*i = -i + w. Solve -5*j - g = g - i, f*j = -g + 11 for j.
4
Let n(q) = -q**2 + 4*q + 2. Let o(w) = -w + 14. Let j be o(10). Let x be n(j). Solve -5*u - x = 3*f - 6, 4*f - 2 = -5*u for f.
-2
Let o = 3 - 4. Let x be (0 + -2 + 2)/o. Solve 2*a + 3*p + 3 = a, x = a - 5*p - 13 for a.
3
Let t = 8 + -8. Suppose -19 - 5 = -4*n. Solve t = -5*u - 4*v + 4, -2*v - 4 = 3*u - n*v for u.
0
Let h(r) = 4*r - 8. Let s be h(3). Solve -3*z = -2*x + 4, 5*z + s = -6 for x.
-1
Let n(g) = 2*g**2 - 3*g + 2. Let l be n(2). Solve -6*j = z - l*j - 10, 3*z - 5*j + 3 = 0 for z.
4
Suppose 4*m + 9 = -7. Let v(r) = -r**3 - 4*r**2 - 4*r. Let s be v(m). Solve -u - 7 = -3*l + 5, 0 = 4*l + 4*u - s for l.
4
Let c(i) = i**2 - 17*i - 34. Let u be c(19). Solve t + 3*t + u*k = -16, t + 4*k = -1 for t.
-5
Let g(k) = -2*k**2 + 0 + 5*k - 2 + 3*k**2 + 4. Let x be g(-5). Solve -3*o - o = -h + 7, -o - x*h - 4 = 0 for o.
-2
Suppose 0 = -4*d + 3*d + 8. Suppose d + 2 = 5*l. Solve 2*w - 2*p = -l, 3*p = -4*w + 2*p + 1 for w.
0
Suppose 5*s - 7*s - 2 = 0. Let o be 0/s*(-16)/(-16). Solve -2*z + t - 5 = 3*z, o = 2*z + t + 9 for z.
-2
Let o = -35 - -41. Solve -y + 5*f = 20, -10 = -5*y - 4*f + o for y.
0
Let i be 5*(-2)/(-3)*18/15. Solve i*r + 5*y + 11 + 5 = 0, -3*r - 4*y = 13 for r.
1
Let y(v) = 5*v**2 - 3*v + 1. Let u be y(1). Suppose u*z + 0*z = 6. Solve -3*w + 3*g + 3 + 3 = 0, -w + 2 = z*g for w.
2
Let d be 6 + (3 - 3)*1. Solve 2*g + 5*i - d = 0, -5*g + 3*i = i + 14 for g.
-2
Suppose 0*t + 2 = t. Let f(d) = d**3 - 6*d**2 - 6*d - 6. Let r be f(7). Solve t*x = 5*s + 30, -3*x = -0*x + 4*s + r for x.
5
Let r(b) = -b - 8. Let u be r(-12). Solve 5*z - 2*d - 20 = 0, z - 5*d = -d + u for z.
4
Suppose -4*p = 5 + 3. Let j be (-3)/p*(-20)/(-6). Suppose 5*g = -2*m + 29, 0*m + j = -g + 5*m. Solve 5 = 2*v + t, -2*v = g*t - 2*t - 11 for v.
1
Suppose -x = -5, -3*g + 24 = 4*x - 20. Let m = 110 + -107. Solve 4*p + 15 + 1 = -4*c, 2*p = -m*c - g for p.
-4
Let m = -2 - -2. Suppose -2*z = -6 - m. Suppose 2*u + 13 - 2 = 3*o, -z*o + 3*u = -12. Solve -5*n + o*h = -0*h + 5, -5*n - 2*h = -20 for n.
2
Let v = -16 + 19. Solve 4*y + 5 = 5*o - 8, -1 = v*o + 2*y for o.
1
Suppose 2*b - 32 = 18. Suppose -4*n + g + b = 0, 28 = 2*n - 5*g - 7. Suppose -w - 9 = -n*f, 3*f = -3*w - 2*w + 39. Solve h = z + 7, h = -3*z - 3 - w for z.
-4
Let h(m) be the third derivative of -m**5/60 + m**4/24 + 2*m**2. Let g be h(0). Solve -4*j + 3 = o, o - 2*o - j = g for o.
-1
Suppose 0 = 3*k + k + 28. Let s = -15 - -11. Let a = s - k. Solve -2*z + 12 = -a*u, -5*u + 3*z = -0*u + 19 for u.
-2
Suppose 0 = -n - 4*n - 50. Let m = -3 - n. Let o be (-2)/7 + 2/m. Solve 3*u + d - 4 = 0, -2*u + 5*d - d - 2 = o for u.
1
Let c(j) = -j**2 + 3*j - 3. Let a be c(3). Let t = 5 + a. Let w = 2 - t. Solve w = 2*u - 5*l + 3 + 7, 5*u = -l + 29 for u.
5
Let q = -13 - -18. Let y be 4/(-8) - 22/(-4). Solve -5*o = 3*a + 2 + q, -y*o + 9 = -a for o.
1
Suppose 0 = -5*n - 1 + 6, 0 = 2*b - 2*n - 2. Let y be 52/6 - b/(-6). Solve 0 = 3*m - 2*d - y + 3, -m + 3*d = -9 for m.
0
Let o = -9 + 6. Let x(h) = h**2 + 3*h + 1. Let p be x(o). Let n = 17 - p. Solve 0 = 4*k + 4*f - n, -4*k - f + 6 = f for k.
-1
Let m be (-444)/(-156) + (-2)/(-13). Solve 3 = -0*c + m*c, 4*c = 5*k - 6 for k.
2
Suppose 4 = -l + s - 0, -3*l - 30 = 3*s. Let i = -3 - l. Solve 5*f = -5*w, f = 2*f - i*w - 25 for f.
5
Let i(f) = f. Let w be i(-7). Let r = -5 - w. Solve -v - 1 = -r, -4*v + 16 = -3*z for z.
-4
Let p = 36 + 0. Suppose -2*k + p = 12. Solve 4*i - 12 = 0, 0 = -5*s - i - k for s.
-3
Let i(z) = -z**3 - 6*z**2 - 3*z - 7. Let k be i(-6). Suppose -k = -5*x + 14. Solve -14 = j - 2*d - 3*d, x*d = -j + 16 for j.
1
Let h be 12/(-8) - 13/(-2). Solve -3*l - 16 = -4*p, 5*p + 0*l + 15 = -h*l for p.
1
Suppose 0*g = -3*g, -5*g - 25 = -5*m. Let o be (-2)/(-3) - 11/3. Let q = o + m. Solve -4*f + 5*x = 5, q*x - 12 = 3*f - 3 for f.
-5
Suppose k - 26 = -4*d + 23, 0 = -5*k - 15. Solve d = 2*x - 5*y, -5 = 2*y - 3 for x.
4
Let i(m) = -m + 2. Suppose 5*g = -5*s + 1 - 11, 4*s = -3*g - 6. Let z be i(s). Solve 2*v = -0*v - 3*j - 19, -16 = 3*v + z*j for v.
-2
Let u(q) = -5*q + 10*q**2 - 7*q**2 + 3 - 2 + 2. Let w be u(3). Solve 7*z - w = 2*z, -2 = -2*k + 2*z for k.
4
Let z = -11 - -19. Let j(p) = p**3 - 3*p**2 + 3*p - 3. Let f be j(3). Let g(b) = -b**2 + 7*b + 5. Let m be g(f). Solve -a = 2*l + l + m, 4*a - z = l for l.
-4
Let g = -63 + 68. Solve -5 = -3*u + g*u + y, -4*u + y - 25 = 0 for u.
-5
Let l = -2 + 8. Let y be (-1)/3 - (-32)/l. Let n = -8 - -14. Solve -y*f + 3*q = n, -2*q = 5*f - q + 18 for f.
-3
Let a be (-108)/8*(-4)/6. Suppose -2*i + 3*i + n - 5 = 0, -4*n = -5*i + 25. Let x = i + a. Solve -3*o + x = 3*r - o, -r - 5*o = -22 for r.
2
Let x be 2 + (-9 - 1) + -1. Let g = 14 + x. Suppose -37 = -3*t - 7. Solve 3*w - 2*w = g*u - 16, t = -w + 3*u for w.
-1
Let z be (-1)/(-2) + (-12)/(-24). Solve -3*s - z = -0*h + 2*h, 0 = h - 3*s - 13 for h.
4
Suppose 5*f = 10, -6 = 2*q - 4*q + 2*f. Solve -5*b + 5 = q*n, 2*n = -3*b - 3 + 1 for n.
5
Suppose -18 = t - 7*t. Solve -4*s = 5*x - 30, -t*s = 3*x + 2*x - 25 for s.
5
Suppose 2*u = 12 - 4. Suppose -u = -2*j - 0. Suppose 3*l = -j*l + 20. Solve -l*v = -t, -3*v = 4*t - 4*v - 15 for t.
4
Suppose -5*l = -5*k + 10, -12 = -4*k + l + 2. Let i be (k/(-2) - -1) + 4. Solve v = -3*z + 18, 4*v + 22 = 5*z + i*v for z.
5
Suppose -2*u = -8 + 2. Solve 3*h + u*f = 7*h, 4*f = 5*h for h.
0
Let c = 12 - 6. Let j = -1 + -1. Let q be 5/(-3)*(j + -1). Solve 2*d = -x - c, q*x + 3*d - 2*d = -12 for x.
-2
Let f be (1 + 27/3)/2. Suppose -1 = -d - 2, -15 = -2*t - d. Let w = t - f. Solve 2*o - 2*s + 1 = -w, 0 = 3*o - s - 4 for o.
3
Suppose 0 = -2*b - 5*c - 13, b = c + 3*c. Let l(m) = -m**3 - 4*m**2 - 2*m - 5. Let t be l(b). Solve t*v + 2*o + 16 = 0, -4*v + 0*o = -o + 14 for v.
-4
Suppose 0 = z - 0*z + 2*d - 16, -4*z + 34 = 2*d. Solve 3*q - q + 8 = 3*j, 0 = 2*q + 4*j - z for q.
-1
Let s(w) = -w**2 - 8*w + 3. Let v be s(-8). Let i be (((-27)/3)/v)/(-3). Solve 2*q - i = -2*q + d, -q + 16 = 5*d for q.
1
Suppose 3*i = 4*b + 4, -4*i + 5*b = 4*b - 1. Let c = 10 + i. Solve c = 4*t - j, 0 = 3*t - j - 6 - 1 for t.
3
Let f(b) = -2*b**2 - 17*b - 1. Let c be f(-6). Solve -4*s = -3*l + 1, -3*l + c - 10 = 5*s for l.
3
Suppose 0 = 3*b + 2*b - 15. Suppose b*t = 7*t - 8. Solve 2 = -2*g - j, 3 = -t*g - g - 5*j for g.
-1
Let l be ((-6)/4)/(((-9)/10)/3). Solve 3 = -n - 4*v - 1, l*n + v + 20 = 0 for