+ 4*l + 8, 2*d - 4*l - 16 = 0 for d.
2
Let l be -1 - (-7 - (-2)/2). Let i(f) = -2*f + f + 10 + 18 - 21. Let p be i(l). Solve -p*v - 10 = -3*o, -4*v - 5*o = 21 - 1 for v.
-5
Let s(h) = h - 3. Let g be s(6). Suppose 0 = g*p - 6. Solve n - p = -i, 4*i + 3 = i for n.
3
Suppose 10*o - 8*o - 44 = 0. Let s = o + -20. Solve 2*d + 2*g = -20, -s*d - 40 = 3*d + 3*g for d.
-5
Suppose -7*n + 3*n = -4. Let u(f) = 3*f**3 + f**2 - f. Let g = 17 - 16. Let w be u(g). Solve -w*h - 5*o = 22, n = -o - 1 for h.
-4
Suppose 21*w + 3 = p + 20*w, -w = p - 3. Solve 2*b - 8 = -r, -4*b = r - p*b - 5 for r.
2
Let t be -4 + 1 + (-7 - -8)*3. Solve 3*g - 5*a = 19, -4*g = -t*g + 2*a - 8 for g.
3
Suppose -26*w + 100 = -6*w. Solve 0 = w*n - 25, 3*m - 3*n = -m - 19 for m.
-1
Let s(k) = -k**2 + k + 25. Let m be s(5). Solve 2*f + 4 = 2*r, f - 18 = m*r - 8 for f.
-5
Let q(m) be the third derivative of -m**6/24 - m**5/60 + m**3/6 - 3*m**2 - 3*m. Let p be q(-1). Solve -k - 3*r = -p*r + 11, -4*r + 16 = 0 for k.
-3
Suppose -2*q = 6 - 16. Suppose -a + 5*a = 8. Let n be (a/3)/((-2)/(-57)). Solve h - 7 = 4*u, -u - n = q*h - 3*u for h.
-5
Suppose -47*c = -57*c + 220. Suppose 3*k + 34 = 4*p + 8, -p + 26 = -4*k. Let r be 3/2*(-64)/k. Solve -2*h + r = -3*d, -d - 3*d = -3*h + c for d.
-4
Let h = -21 + 25. Let n be 4 + 0 - (-7 + 7). Let a be ((-2)/n)/(1/(-16)). Solve 3*r = a*r - 3*p - 18, -4*p = h for r.
3
Let c(q) be the third derivative of q**4/24 + 17*q**3/6 + 3*q**2. Let x be c(-17). Let z be x + 12/3 + 0. Solve -4*w - 6 = w - z*g, 2*g = 4*w + 6 for w.
-2
Let w(i) be the first derivative of -3*i**4/4 - i**2/2 - i + 8. Let g be w(-1). Let c be 12/g + 0 + -1. Solve 0 = -c*b - 3, -b + 11 = -2*v - v for v.
-4
Let z(k) be the second derivative of -k**5/10 + 13*k**4/12 - 2*k**3/3 - 6*k**2 - 11*k - 1. Let t be z(6). Solve 4*n = -3*a + 3, -3*a + 2*n - 4*n - 3 = t for a.
-3
Let n be 1 - (-2 + 1)*2. Let b be n + (4 - (-6)/(-2)). Solve -6*x + 3*x - 2*f + 2 = 0, -b*f + 18 = -x for x.
-2
Let t(b) = b**3 + b**2 + 2. Let h be t(0). Solve -c + 4*s = -7, 1 + 2 = c - h*s for c.
-1
Suppose -5*l = 4*r - 17, 12 = l - 4*r - 1. Let i = 295 + -278. Suppose 0 = -2*v - 0 - 2, l*v + i = 4*q. Solve -q*n = f - 5, 3*n - 2 = f - 1 for n.
1
Let a be 4/(-12)*48/(-4). Suppose r - 3*t - 20 = 0, -3*r + a*r = 2*t + 15. Solve 0 = r*h - 10, 2*h = -g - 3*g - 16 for g.
-5
Let u be (21 + -24)*(-7)/3. Suppose 8 = s + s. Solve 0 = -s*j + j - 6, 2*j = -3*i - u for i.
-1
Let x = 196 + -179. Solve -3*o - x = -4*i + 5*i, i + 5*o = -25 for i.
-5
Let q(u) = -2*u**2 + u + 30. Let z be ((-36)/4)/(-3) + -3. Let w be q(z). Suppose -5*l - w = -10*l. Solve 4*t - 5 = c, -3*c - t - l - 9 = 0 for c.
-5
Suppose 0 = -110*n + 121*n - 154. Solve 4*m + n = -3*w, 3*m + 5*w = 8*m for m.
-2
Let y = 11 + -13. Let g be (-28)/(-2) - (y + 3). Let x(w) = 4*w**3 + w**2. Let k be x(1). Solve -k*r - 2*c = -0*r - 4, -3*c = -2*r + g for r.
2
Let n(q) = -q**2 - 11*q - 4. Let x = -24 + 14. Let r be n(x). Solve 2*g = -5*b, b = -2*g + r*b + 20 for g.
5
Let b(h) = -2*h. Let g be b(-1). Suppose -5*j - 5*n - 190 = 0, 0*n = 4*j + g*n + 146. Let i be 1/(-1)*j/7. Solve 0 = x - 0*p + i*p - 7, 2*x + 3*p = 0 for x.
-3
Let r be 180/((-54)/6)*1/(-1). Solve -3*g + 5*l + 12 = l, -3*l - r = -5*g for g.
4
Let k(d) = d**3 - 8*d**2 - 4*d - 13. Let l be k(9). Suppose 0 = -34*z + l*z - 4. Let t = 4 + z. Solve 2*r + t*s = -4 - 2, -4*r + 4*s = 4 for r.
-2
Let j(w) = 3*w - 1. Let k be j(2). Suppose 3 = -s, 6 = o - s - k. Let g = 12 - o. Solve -6*t + t + 5*i = 0, 3*t + g*i + 35 = 0 for t.
-5
Let t be (-252)/(-72)*4/7. Solve 11 + 2 = 2*y - 5*s, -3*y - t*s = 9 for y.
-1
Let f be (-18)/(-4) - (9 - (-85)/(-10)). Solve 4 = -f*k - 6*r + 3*r, 4 = -r for k.
2
Suppose -z = 8 + 8. Let k be 16/(-12) + z/(-3). Solve 4*o = 3*i + 7, k*o + 2*i - 3 + 1 = 0 for o.
1
Let t = 159 - 167. Let d be (28/t*2)/(-1). Solve 2*r = -j - d - 0, 4*j + 20 = -4*r for r.
-2
Let w be 2/4 - (30/(-12) + 3). Let p be (-22 - -22)/(1 - w). Solve 3*c = -v - p*c + 9, 4*v - c + 16 = 0 for v.
-3
Suppose -t + 23 + 1 = -5*n, 12 = 2*t - n. Solve 0 = 3*w - t*x - 1 + 4, w - 7 = 4*x for w.
-5
Let d = 1 - -1. Suppose -20 - 148 = -12*m. Solve 16 = 5*a - d*v, 2*a + m = 5*a + v for a.
4
Suppose 6*q = -384 + 96. Let a = 58 + q. Solve 0 = -4*x - 8, -5*x = 4*t - 9*t + a for t.
0
Suppose c + 129 = y, 3*y = -2 + 17. Let l be c*(5/(-4) - -1). Suppose -2*x + 11 = x - 2*a, 5*x + 3*a = l. Solve -5*d + 8 - 36 = 3*u, 3*u - x*d - 22 = 0 for u.
-1
Let k be (6/(-8))/3*(-9 - 7). Solve -5*r = 5*g - 3*g - 16, -4*r + 8 = k*g for g.
-2
Suppose -j = 2*j + 3. Let t be 8 + -3 - (-3)/j. Suppose -3*g + 1 = x - 4*g, g + 3 = t*x. Solve -b + x - 8 = 5*u, 18 = -u + 4*b for u.
-2
Let a(i) = 167*i - 498. Let h be a(3). Solve 0 = q - 5*r - 10 - 17, -4*q = r - h for q.
2
Let u = 9 + -1. Suppose 4*n = 4*t - u, -6*t + n + 6 = -t. Suppose 0 = -3*k + 2 + t, 5*m + 5*k = 15. Solve -f - 3*z = -7, f + m*z = -f - 2 for f.
-5
Let d(j) be the first derivative of -j**4/4 + 2*j**3/3 - j**2/2 + 2*j - 30. Let m be d(0). Solve p = r - 7 - 0, 0 = -m*r - 5*p for r.
5
Let w(l) = 7*l + 61. Let c be w(-10). Let z be 102/(-14) + 2/7. Let f = z - c. Solve 0 = 3*o + f*o - 3*k - 14, -2*o + k + 5 = 0 for o.
1
Let l = -111 + 103. Let c be 8*(-4)/l*1. Solve c*t - 11 = 3*u - 0*t, 0 = -4*u + 2*t - 8 for u.
-1
Let j(f) = 46*f**2 - 10*f + 10. Let l be j(1). Solve 4*y - 5*x + l = 16, -3*y - 3*x = 9 for y.
-5
Let c = 1 - -4. Suppose -2*f + 15 = 17. Let g be f/(-3)*-3*-5. Solve -c*r = -2*p - 8, g*p + 0*r = 4*r - 20 for p.
-4
Let j be (0/(-1))/(74/74). Solve j = -5*w + 3*b + 27, w + 2*b = -w - 2 for w.
3
Suppose 14 = 5*p - 1. Suppose 5*q = 4*b + 13, -p*b = -3*q - b + 9. Solve 3*f - q*a = -3, -a + 10 = 4*f - 3*a for f.
4
Let t(s) be the third derivative of 1/2*s**3 + 1/60*s**5 + 0 + s**2 + 0*s + 1/6*s**4. Let y be t(-4). Solve y*j = -l - j + 6, -l + 5*j - 12 = 0 for l.
-2
Let j = -6 + 9. Let k(g) = g**3 + 6*g**2 - 18*g - 12. Let r = -69 - -61. Let n be k(r). Solve q - 2*q - 4*l - n = 0, 4*q - j*l = 22 for q.
4
Let p = -140 + 145. Solve 0 = -5*v + 2*y + 29, p*v + 3*y - 26 = -7 for v.
5
Let a be 6/(-7)*42/(-9). Suppose -9 = -3*f - 5*z, -4*f + 5*f - 3 = a*z. Suppose 0 = -0*u + 2*u - 4. Solve -5*q - 5*m - 21 = -u*q, f*q - 3*m - 3 = 0 for q.
-2
Let m(q) = q**2 + 2*q + 9. Suppose -3*w + 6 = k - 7, 0 = -3*k - 2*w + 4. Let x be m(k). Solve 4*a - 5*t + 1 = -14, a + x = -4*t for a.
-5
Let i(k) = -4*k**3 - 2*k**2 - 3*k. Let j be i(-1). Solve 4*s - o = -0*o + 20, j*o = -5*s for s.
4
Suppose -j + 2*l = 4, -j + 4*l - 1 = 11. Solve 41 = 5*d + j*q, -6*q - 8 = -8*q for d.
5
Let k be (5/((-35)/2))/((-5)/35). Solve l + k*y - 2 = -3*l, 2*l = 5*y - 29 for l.
-2
Suppose k + 2 + 3 = 0, 0 = 2*f + 3*k + 21. Let z be f/3*0*1/3. Solve -3*w + 4*w + 15 = 5*v, -w + v - 3 = z for w.
0
Let p(m) = 2*m - 3. Let i(w) = -w. Let j(f) = 3*i(f) + p(f). Let k be j(-7). Solve 2*l + 3*b = 6 - 3, 4*b - k = 4*l for l.
0
Let t(d) = 2*d**2 + 13*d + 23. Let i be t(-3). Solve 5*x - i + 1 = -4*l, -5*x + 4*l = -9 for x.
1
Let q be 85/(-17)*(1 + 0 - 0). Let z be 4/(q/(20/(-4))). Solve 4*h + 0*s - 15 = s, z*h = 4*s + 12 for h.
4
Suppose -41 + 250 = 19*d. Solve 4*r - x - d - 9 = 0, 2*r + x = 10 for r.
5
Suppose -3*f - 8 = -3*l + 28, 24 = -2*f + 4*l. Let b = f - -14. Solve 3*z = 2*y + b*z + 1, -20 = -5*y - 5*z for y.
1
Let o = 800 + -797. Solve -6 = -o*x - 5*d, -6 = 4*x - 2*d - 14 for x.
2
Suppose 2*h - g = -6*g - 17, 3*h - 5*g - 37 = 0. Suppose -6 = -2*y, 3*t + 2*y = h*y. Solve -4*q - 10 = -2*x, 2*q + 25 = -t*x - x for q.
-5
Suppose -3 = 4*q - s, 11 = 4*s - 1. Suppose -6*z + 5*z + 16 = 0. Let u = -11 + z. Solve 10 - 2 = 2*b, q = a - u*b + 21 for a.
-1
Let w(f) = -f**3 - 2*f**2 - f - 2. Let t be w(-2). Let c = 573 + -528. Suppose 8*g + g - c = t. Solve 0 = -3*l + 5*j - 16, g*j - 43 = -l - 15 for l.
3
Let c be 0/(-1 + 2) + 4. Suppose 0 = -4*d - d + 20. Suppose -i + c*r - d = i, 5*r = -2*i + 14. Solve -i*m = 4*j - 2*j, j = m - 10 for j.
-5
Let c be 5 + -2*1 + 2. Let k(r) = -5*r**2 + 3*r + 4*r**2 + 4 - r**3 - 2*r**2 + r**2. Let a be k(-3). Solve 6 = 5*p - c*u + 11, -u + a = 0 for p.
3
Suppose 0 = -2*r + r + 2. Let x(l) = l + 2. Let v be x(r). Let c(t) = t**3 + 5*t**2 - 7*t - 4. Let i be c(-6). Solve v*y + 0*y - 10 = -i*s, 5*y - s = 23 for y.
4
Suppose -95 = 5*a + 2