= -j - 3. Let r be n(c). Solve 5*i - 10 = -3*d, r*d + i - 2*i - 16 = 0 for d.
5
Let h(u) = u**2 + 4. Let b be h(0). Suppose -3*y + 10 = b. Solve -5*z - y - 8 = -s, -s = -4*z - 7 for z.
-3
Let g(k) = -k + 8. Let l be g(5). Suppose l*v - 4*h - 5 = 4*v, 3*v - 3*h - 15 = 0. Solve 2*m = d - 1 + 4, -2 = -v*d - 5*m for d.
-1
Let b be 2*5/((-10)/(-4)). Suppose 2*n = b*n - 10. Suppose p = -l + 3, -n*l + 7*p + 33 = 3*p. Solve 0 = 4*g, 2*m + g + l = m for m.
-5
Let g(i) = -11*i - 7. Let w be g(-3). Solve -2*u - 20 = 4*j, -u - 2*u - w = 5*j for j.
-4
Suppose -2*h + 6*h = 24. Solve -5*p + 4*r - 1 = -h*p, 2*p = -3*r + 2 for p.
1
Let r(u) = -u - 4. Let d = 6 - 12. Let j be r(d). Solve -2*h - 6 = j*f - f, 2*h + 6 = 4*f for h.
-3
Let j be (-3 - -3) + 0 + 1. Let y = 11 + -9. Solve 0 = -3*t - n, -y*t + 0 = n + j for t.
1
Let c(b) = b**2 - 5*b - 8. Let h be 10 - 6/(4/2). Let f be c(h). Let k be ((-15)/f)/((-2)/4). Solve 0 = 5*n - 4*q - q + 30, -k*n + q = 14 for n.
-2
Suppose -5*d + 14 = 4*c - 33, 3*d + 15 = 3*c. Solve -3*i = -4*i + 2*b + c, -4*i + 5*b + 26 = 0 for i.
4
Let d = -8 + 12. Solve -2 = n - 5*t + 10, 0 = -d*t + 8 for n.
-2
Let x = -9 - -15. Let o be x/4 - (-4)/8. Solve 33 = -0*z - 5*z - o*i, 5*z + 5*i = -45 for z.
-5
Let h(q) = q**3 + 5*q**2 - q - 1. Let t be h(-5). Let c = t - 9. Let k be c*((-17)/5 + 3). Solve -5*y = l + 20, -k*y - 3*l + 2*l - 11 = 0 for y.
-3
Let t(r) = -r**2 + 5*r + 2. Let l be t(5). Let j = -4 + l. Let b = 1 - j. Solve b*m = -4*i + 9, -2*i - 5 + 2 = -m for m.
3
Let y(n) = -n + 6. Let x be y(-9). Solve 5*m = v - x, m = 2*v - 7*v - 29 for m.
-4
Let k(o) = o**2 + 5*o - 30. Let g be k(-9). Solve 2*b = 3*n - g*n - 11, -2*n - 3*b - 4 = 0 for n.
-5
Suppose 0 = 3*o + 3*w - 6, 2*o + 0*w - 10 = 4*w. Let s(n) = n - 2. Let d be s(2). Suppose d = -4*z + z + 15. Solve -c + 1 - o = -4*y, 0 = -z*c + y - 10 for c.
-2
Suppose -d - 4*q = -q - 2, -4*q + 8 = 4*d. Solve -d*w - 23 = 3*r, -r = -5*r - 3*w - 32 for r.
-5
Let w(q) = -3 + 0*q - 3 - q. Let y be w(-6). Let j be (1 + y)/((-2)/(-4)). Solve 0 = 4*b - 0*m + 2*m + j, -12 = -b - 3*m for b.
-3
Let f(v) = -1 - v + 4 - 6. Let d be f(-6). Solve -2*a - m - 1 = 0, -4*m + 17 = -d*a - 12 for a.
-3
Let x be (-2)/(-5) + 65/25. Let h(k) = k**3 + 4*k**2 - 7*k - 5. Let n be h(-5). Let t = n - x. Solve -t*j = -3*w + 10, -3*j + 4*j = 5*w - 19 for w.
4
Let u be (2/(-3))/(3/(-9)). Suppose 1 = 2*w - 9. Let l(n) = -n**3 + 4*n**2 + 6*n - 1. Let k be l(w). Solve -2*b = -a - 8, -3*a = 4*b - u*a - k for b.
2
Suppose c = -c + 6. Suppose -d + 10 = -c. Solve -3 = -3*h + 2*u + 15, -u + d = 4*h for h.
4
Let k(z) = z**2 - z - 2. Let u be k(2). Suppose u = 2*d + 1 - 5. Solve 16 = -4*c - 2*b, 5*c = 4*b - d - 5 for c.
-3
Let z(o) = -o**3 - 18*o**2 - 45*o + 5. Let a be z(-15). Solve -a*f + 0*s + 3*s = -10, -4*f - 2*s = 14 for f.
-1
Let u(d) be the first derivative of -d**3/3 + 9*d**2/2 - 16*d - 11. Let r be u(6). Solve -2*n + 3*v = -r + 10, 2*n + 12 = 4*v for n.
2
Let s be (61 + 2)/(-3) + 1. Let n be (-8)/s*(-3 + 28). Solve 0 = -2*h - n, u - 13 = 3*h - 3 for u.
-5
Let t be ((-4)/6)/(3/(-9)). Solve -10 = -5*i - 2*f + 11, t*i - 12 = f for i.
5
Suppose -30 = -3*v - 9. Solve -3*b - v = -s - 0*b, -2*b - 6 = -2*s for s.
1
Suppose 4*k - 12 = k. Suppose -2 = -k*l + 3*l. Solve 2 = -a - t - l, 14 = -4*a - 3*t for a.
-2
Let y be -1 - 0 - (-45)/1. Suppose 2*w + 2*w = y. Suppose 4 = 5*u - w. Solve u*t - 2*m + 10 = -13, -4*m = -5*t - 41 for t.
-5
Let a be ((-18)/10)/((-66)/110). Solve 5*q - 2*k = 3*q + 2, -a*q + 2*k + 7 = 0 for q.
5
Let l = -7 + 16. Let f = -14 + 8. Let r = f + l. Solve -32 = 4*x - r*i, -x + 3*i = -2*x + 7 for x.
-5
Suppose -r = -8*j + 5*j - 7, 5*r - 5 = 5*j. Let b be 16 - (2 - (-2 - j)). Suppose 4*g = g. Solve -3*p - b = 0, g*p + 4*p = -y - 19 for y.
1
Suppose 2*q = -3*q + 10. Suppose q*d = 3 - 1. Suppose 0*s + 24 = s + 3*c, 0 = -s + 2*c + 14. Solve 2*p - 2 = -4*l - s, 3*l - d = 5*p for p.
-2
Let p(s) = s**2 + 2*s - 1. Let j be p(-3). Suppose -j*b = b - 42. Let t be 10/b + 4/14. Solve -4*q - q - 3*w = -5, -t = -q - 5*w for q.
1
Suppose 2*y - 42 = -y + 4*g, 0 = -y + 5*g + 14. Let x = y - 10. Solve 5*u = -4*z + 6*z + 17, 5*z - x*u = 0 for z.
4
Let m(z) = 10*z**2 + z + 1. Let x be m(-1). Solve -n + 6 = -4*i - x, 4*i + 16 = 5*n for i.
-4
Let y(i) = i**3 - 3*i**2 + 5*i - 3. Let r be y(2). Solve 3 + 24 = 3*j + r*o, -4*j - 9 = -5*o for j.
4
Let x(v) = 2*v - 20. Let n be x(13). Solve -2*y + 17 = 5*k - n*y, 3 = -3*k - 2*y for k.
1
Suppose 0 = 5*f - 32 + 7. Solve 5*p + 2*o = -23, -2*p - 35 = f*o - 9 for p.
-3
Suppose 5*x = 15 + 10. Let u(f) be the first derivative of f**3/3 - 3*f**2/2 + 2*f - 1. Let y be u(2). Solve 2*d + 3*l - 19 = y, -11 - x = 2*d - 4*l for d.
2
Let u(z) be the first derivative of -z**2/2 - 4*z - 4. Let a be u(-4). Solve 9 = 5*v - 2*x, a*x + 6 = 2*x for v.
3
Let a be (-1)/(-4) + (-14)/(-8). Suppose 2*v + 8 = -4*t - 22, 0 = -3*v - t - 30. Let z be (-86)/(-18) - 2/v. Solve -5*n = j - 7, n - z*n = 2*j - a for j.
-3
Suppose -29 = 4*h + 3. Let z = h + 12. Solve 0 = o - 5*i + 4, 0 = -o - 2*i - 0*i - z for o.
-4
Let t be ((-4)/(-6))/(2/9). Let p(o) = -o**3 - 3*o**2 - o - 2. Let n be p(-3). Let q = t - n. Solve 0 = 2*g - 6, r + q = -0*g - g for r.
-5
Suppose 5 = -k + v + 2*v, 8 = 4*k - 5*v. Let t = 3 + 0. Let p(z) = z**2 + 2*z. Let y be p(-3). Solve -4*c - 11 = t*u, -k = -y*u + c + 7 for u.
3
Let n be -3 - 3/(9/(-24)). Solve 4*t - 3*p = -n, -5*t + 5*p - 5 = -0*p for t.
-2
Let m be 8 + (0 - 2/2). Suppose -2*u - u - 6 = 0. Let h = m + u. Solve -h*r = -y + 21, 0*r + r - y + 5 = 0 for r.
-4
Let n = 5 + 2. Let c = 9 - n. Let d = 7 - c. Solve 4*m + s = d*s - 24, 0 = m + s - 4 for m.
-1
Let p = -1 - -21. Solve p = 5*g + o, 2*g - 4*o - 35 = o for g.
5
Let u(l) = l**3 - 7*l**2 + l - 3. Let c be u(7). Suppose 0 = -c*w + 8 + 12. Solve 0 = -2*n - 4, 5*n + 0 = -w*p - 25 for p.
-3
Let p be (9 + 5)/((-4)/(-4)). Solve 4*o + 3*q = p, -4*q + 2*q = -5*o + 29 for o.
5
Let b = -15 + 9. Let t be (-14)/b + 1/(-3). Let n be ((-3)/(-1))/((-3)/(-5)). Solve -8 = n*h - t*m, -3 = 3*m - 0*m for h.
-2
Suppose 2*o - 25 = -21. Solve -9 = -o*f - g + 2*g, f + g = -3 for f.
2
Let o(p) = -p + 2. Let c be o(0). Let m = -1 - -6. Solve 3*b = v - m, c*b - 4*b + 4*v = -10 for b.
-3
Suppose -23*s + 0*s = -368. Suppose -1 = 5*k - 3*w, 7 = 5*k + 5*w - 8. Suppose 0 = d + 4*d. Solve 4*m - 5*j = -4*j - k, d = m + 5*j + s for m.
-1
Let j be (-6 + 0)*(7/2)/(-7). Solve -2*v = -j*m + 21, 3*m - 4*v - 18 = 9 for m.
5
Let t = -2 + 7. Suppose 0 = t*a - 0*a - 10. Suppose -v + 3*v - 6 = a*d, 4*d - 8 = 0. Solve -v*g = -5*w, 0 = 2*g - 4*w - 4 + 2 for g.
-1
Suppose -25*f - 20 = -30*f. Solve f*a - 9 = m, -2*a = -m - 3*m - 22 for m.
-5
Suppose -4*h + 16 - 8 = 0. Solve 2*c - 2 = -l, -h*c = l + 4*l - 2 for c.
1
Let v(a) = a**3 - a**2 - 4*a. Let w be v(3). Let l = -1 + w. Solve -4*r = -i - 2*r + 4, 4*i + 36 = -l*r for i.
-4
Suppose -29*l = -37*l + 296. Solve 0*i = 5*w - i - 15, 0 = -3*w - 5*i + l for w.
4
Suppose 4*o + 12 = -16. Let h be (-4)/(-14) - 19/o. Solve -h*s + 3 = -j - 4*j, -3*s - j = -3 for s.
1
Let i = 21 + -19. Suppose -i*d = 5*f - 7*d - 20, -4*f - d + 36 = 0. Solve -3*k + 0*r = r + 2, f = 4*k + 4*r for k.
-2
Let o(x) = -8 + x**2 + 114*x - 114*x. Let p be o(4). Let y be 3/2*(-4)/(-2). Solve 0 = -4*z - 3*j - 17, -y*z - 5*j = -p*z + 5 for z.
-2
Suppose -2*n = -5*i + 1 + 3, 2*n = -5*i + 16. Solve -i*a - a + 3*l = -18, -2*a + 8 = 2*l for a.
5
Suppose -p = d - 5, d + 0*d = p - 5. Suppose d = -c - 3*c. Suppose c*u = -3*u + 12. Solve u*v + i - 18 = -i, -3*v + i = -11 for v.
4
Let k = 102 + -54. Suppose 4*g + 0*g - k = 0. Solve -p + 0 + 9 = -3*n, 4*p = -g for n.
-4
Suppose -h = -4*h + 39. Let j = h + -21. Let t = -4 - j. Solve 2*p - 24 = -t*a, 0 = 4*p - a - 3 - 0 for p.
2
Let z be -3*-1*4/6. Suppose z*g + g - 9 = 0. Solve -3*u + y + 9 = 0, u - 2*y - g = -y for u.
3
Let h be 1*(1/(-1) - -14). Let i = -2 + 4. Suppose 3*m + k - i = h, -4*m + 20 = -5*k. Solve -4*s + s + z = 3, m = -5*s - 3*z for s.
-1
Let l(j) = 7*j**3 + j - 1. Let f(w) = w**2 - 2*w + 1. Let k be f(2). Let d be l(k). Solve 3*q = 4*c + 6, 2*q - c + 10 = d*q for q.
2
Let d(k) = 3*k + 7. Let n(o) = -o - 1. Let l(a) = -d(a) - 2*n(a). Let m be l(-9). Solve -z - 4 = 4*x, m = 3*x + 3*z - 2 for x.
-2
Suppose -2*t + 10 = -0*t. So