 k.
3
Let o be (4 - 40/12)*6. Let z(y) = -y**3 + 4*y**2 + 7*y - 7. Let k be z(o). Solve 3*s - 3*i - k = -0*i, -4*s = 5*i + 17 for s.
2
Let i(s) = -4*s**3 - 5 + 6*s**2 + 23*s - 9 + 3*s**3 - 14*s. Let k be i(7). Solve k = -2*q + 2*a + 8, -4 = -q + 4*a + 6 for q.
2
Let i(y) = y**2 + 9*y + 2. Let z be i(-8). Let p be (z/(-9))/((-2)/(-21)). Suppose 3*u - p*u = -36. Solve 2*g + 0*s + u = 3*s, 20 = 5*g + s for g.
3
Let y be (-7)/(-42) + (-173)/(-6). Let f = y + -20. Suppose -3 = -2*z + f. Solve 5*n + z*u = u - 45, -2*n + 12 = -4*u for n.
-4
Let x(w) = -2*w + 4. Let t be x(0). Let f be 4*t/16 - -8. Solve 4*m + h = -7, 4*h + f = 2*m - 1 for m.
-1
Let j be ((-145)/20)/(-2*(-2)/(-16)). Solve -5*t + j = -3*u + 2, -15 = 3*u - t for u.
-4
Let u(j) = -j**3 + 7*j**2 + 19*j + 7. Let x be u(9). Solve 4*y - p = x, 0 = 4*y + 3*p - 2*p - 24 for y.
5
Suppose y - 2*y = -79. Let x = 79 - y. Solve -2*m - 14 = 3*l, -3*l + 2*m - 10 = -x*l for l.
-4
Suppose -b - 4*b + 5 = 0. Let z be 35 - (0/b + -2). Let i = -5 + 9. Solve 5*x - z = -i*c, 8 = 2*x + c - 5 for x.
5
Let x be (11/4 + -4)*-4. Suppose -2*y = x*j - 32, -6*y + y = 5*j - 50. Solve -2*p + 3 - 5 = 2*c, -c + 4*p - y = 0 for c.
-2
Let v(c) = c + 1. Let k be v(-3). Let h(a) = 2*a**2 + 2*a - 2. Let b be h(k). Let r be 1/2*-2*-6. Solve -l - b*f - r = 0, -4*l - 1 = -2*f + 13 for l.
-4
Suppose 5*i - 6 = -3*g + 9, 3*g + 2*i - 6 = 0. Suppose -18*k + 23*k - 25 = 0. Solve -2*n + k*n + 4*a = g, -4*a = 0 for n.
0
Suppose 2 = -11*t + 57. Solve 12 = 4*m + 5*q, -3*q - 2 = m - t for m.
3
Let z(k) = -k**2 + 4*k + 67. Let d be z(10). Solve u = -3*x - 19, -2*u = -0*x - 3*x - d for u.
-4
Suppose -4*k - 15 = -4*v + k, 5*k = -5*v + 30. Suppose 2*u = 2*c - 2, u + 5*c - v = -2*u. Solve o + 5*z = 13, u = o - 3*z + 2 + 1 for o.
3
Let j(v) = -v**3 - 3*v**2 + 3*v - 8. Let z be j(-5). Let m = 5 + 22. Let w = z - m. Solve -5*o + 20 = w, -8 = 2*p - o - 0*o for p.
-2
Suppose -8 = 3*m - 26. Suppose -5 + 35 = -5*b + 2*q, 0 = -5*q - 25. Let v = b - -8. Solve r + m*c = c - 15, v = r - 5*c - 5 for r.
-5
Suppose 4*k - 9 = 3*k. Let o be 11 + (1 - -7)/(-1). Solve -4*c - 3*s = c + 21, 5*c - o*s + k = 0 for c.
-3
Let f(s) = -s**3 - 15*s**2 - 16*s - 25. Let k be f(-14). Solve 0 = x - n - n + 7, -k*x + 11 = 2*n for x.
1
Suppose -3*x + 6*x - 9 = 0. Let w(r) = -116*r - 1039. Let n be w(-9). Solve 0*g + 4*t = 5*g - 4, -x*g - n = 5*t for g.
0
Suppose -3*g + 18 = 6. Solve 0 = 3*s - 7*w + 2*w + 34, g*w - 11 = -3*s for s.
-3
Let o be 4 + -1*(-1)/(-1) + 0. Solve 0 = -o*k - 4*p - p + 7, 0 = -4*k - 3*p + 13 for k.
4
Suppose 2*z + 132 = 3*t - 274, -t = -5*z - 157. Suppose 0*i = -6*i + t. Solve -4*p + 0*v = v + 3, -p + 4*v - i = 0 for p.
-2
Suppose 2*y + 63 = 5*n, 4*n - 3*n = 5*y + 31. Solve -r = 4*j - 5, 0 = 14*j - n*j - 4*r + 1 for j.
1
Suppose -5*z - 2*f = -147, -4*z = -0*z - 4*f - 112. Suppose -26*u - 12 = -z*u. Solve 3*m - 30 = u*i + i, 3*i + 4*m = 11 for i.
-3
Let i(w) = -w**3 + 8*w**2 + 33*w + 18. Let d be i(11). Solve -2*c - 2*h - d = 2*c, -5*h - 5 = 0 for c.
-4
Let s(u) = 9*u - 176. Let m be s(20). Solve -5*a + 4 + 16 = 2*b, 3*b - 16 = -m*a for a.
4
Suppose 0 = 2*i - 4*i + 54. Let m = i + -27. Solve m*u - 3 = u + 4*v, -v = -2*u - 6 for u.
-3
Let c be 1 - -4*(-4)/(-8). Let o = 3 - 0. Let b be -4 + o/1 - -5. Solve c*l - 3*m + 15 = 0, -b*l - 2 - 3 = m for l.
-2
Suppose 4 - 5 = t. Let v be t - -4 - 20/(-10). Solve 4*y = -v*b - 1 + 8, -1 = b for y.
3
Let m = 304 - 205. Let d = -80 + m. Suppose 0*u + 42 = 2*u - 5*h, 2*h - 21 = -u. Solve 0*j - 3*j + d = -2*c, 0 = -2*j + 3*c + u for j.
3
Suppose -2*f + 35 = -5*l, -f + 2*l + 5 = -2*f. Suppose 3*k - f*g = 37, -2*k + 11 = -3*k - 3*g. Solve -6 = 3*h, -k*b - 4*h + 0*h = -4 for b.
3
Suppose -5*a = 2*z - 0*a + 9, -12 = 4*a. Solve -f = -z*f + 2, d - f = -5 for d.
-4
Suppose -p = 6*p. Suppose 2*s + n - 14 - 16 = p, n = s - 21. Solve 5*b + 8 = f, -5*f - b + s = -3*b for f.
3
Suppose 0 = -0*a + a. Suppose 2*f - 4*w - 6 = 0, a*f = -4*f - w + 39. Let m(r) = r + 15. Let v be m(-11). Solve -p = -j + 4, -v*j + 2*p + f = -j for j.
1
Let i be (12 - 1) + (1 - -3 - 10). Solve 5*w + 17 = -5*q + 2*w, -5*q + i*w + 15 = 0 for q.
-1
Let p(c) = -11*c - 1. Let f be p(-1). Suppose -3*q - f = -8*q. Solve 10 = -q*y + d, 3*y + 15 = -0*y - 3*d for y.
-5
Let f = 612 - 609. Solve 0 = u - 2*u + 3*k, 14 = -f*u - 5*k for u.
-3
Let f(d) = -d - 11. Let n = -4 - 7. Let j be f(n). Suppose -4*b - b + 15 = j. Solve -2*z = t + 2*t + 2, -2*t - b = z for t.
-4
Let n be ((-24)/(-16))/(-2*2/(-8)). Let c = -23 - -27. Solve i - 6*i = n*h - 21, -2 = 5*h - c*i for h.
2
Let a be 4/12 + 16/6. Suppose -a*d = -d + 20. Let n(g) = -g - 8. Let r be n(d). Solve -o = u - r, 5*u - 2*o - 8 = -5*o for u.
1
Suppose 0 = -25*h + 676 + 249. Solve -5*f + 3*w - h = 0, 6 = -2*f + w - 8 for f.
-5
Suppose -26*p + 24*p = -16. Suppose -3*s - 2*s = -15. Suppose -s*t + p*t = 60. Solve -q + t = 2*r, 5*r - q - 19 = -3 for r.
4
Suppose 0 = 6*v - 3*v - 9*v. Solve -k + 0*j + j + 8 = 0, -5*k - 3*j = v for k.
3
Let x(c) = -c**2 + 6*c - 4. Let o be x(3). Suppose 5 = 5*q - o. Let w be 4*-1 - (-10 + 6). Solve w = -q*m + b + 5, b + 23 = 5*m + 9 for m.
3
Let m = -1497 - -1501. Solve 19 = -3*b + 3*j + 2*j, 0 = 2*b + m*j - 2 for b.
-3
Suppose 2*t - 12 = 6*t. Let s be (t/(-4))/(5/20). Solve -6 = -2*b - 4*z, 0*b - s*b = -4*z + 31 for b.
-5
Let x(d) be the second derivative of d**4/12 + 4*d**3/3 + 5*d**2 + 3*d. Let h be 14*(3 - 28/8). Let a be x(h). Solve 0 = 4*g + 8, 4*n - a*g + 4*g = 10 for n.
3
Let q be ((-35)/10 - -6)/((-20)/(-16)). Solve -2*a - q*a - 4 = -u, 3*a = u - 2 for u.
-4
Suppose 7*z - 10*z = 7*z. Solve z = -4*v + 3*c - 3, -4*c + 20 = 5*v - 3*c for v.
3
Let c(n) = 0*n + 22*n - 2*n**2 - 3 - 7*n. Let b be c(7). Solve 3*h = b*w - 8, -4*w - 5*h + 7 + 1 = 0 for w.
2
Let h = 28 - 21. Let q(g) = -g**2 + 7*g + 2. Let l be q(h). Solve -s + w + 16 = 5*w, l*s + 3*w - 12 = 0 for s.
0
Suppose 37 - 7 = 6*d. Let q = 28 - 9. Solve q = -2*x - 5*y, 5*y + d = -x - 17 for x.
3
Let d(o) = o**3 - 8*o**2 + 9*o - 12. Let p = 10 - 3. Let a be d(p). Solve -a*x - 4*u - 27 = x, 5*u + 20 = -x for x.
-5
Suppose -3 = -4*q + 3*d, d = -5*q - 0*q - 1. Let s(g) = -g**3 + 2*g + 7. Let n be s(q). Solve 0 = -3*m + 5*y - 11, n*m - 32 = 3*m - 5*y for m.
3
Let j(u) = -u**3 - 2*u**2 + 9*u + 7. Let n be j(-4). Solve 4*l - 4*z = 8, -n*z - 4 - 2 = -4*l for l.
0
Let q = -18 - -31. Let j = -11 + q. Suppose 5*z = 2*k + 10, j*z - 4*z + 4 = -k. Solve -z*a - 3*a = s + 26, 2*a = -3*s - 13 for a.
-5
Let y(t) = 6*t**3 + t. Let s be y(-1). Let j(u) = u. Let m be j(s). Let q(h) = h + 11. Let x be q(m). Solve 5*b + 1 = -x*n, 0*n = -n - 4*b - 3 for n.
1
Let j(q) = -2*q**3 - 6*q**2 - q + 2. Let p be ((-70)/22 - -3) + 31/(-11). Let u be j(p). Solve u*k + 2*n = -11, -4*k - 3*n - 19 + 6 = 0 for k.
-1
Let l = 10 - 3. Suppose -g + 2*g - 2*w - 7 = 0, -g - 5*w = l. Let k(p) = -3*p. Let a be k(-1). Solve 3*t + 4 - 1 = 5*h, -5*h = g*t + a for h.
0
Let z(r) = -5*r**3 - r**2 - r - 1. Let y be z(-1). Solve 0 = y*v + 18 - 2, -4*v = 5*d + 26 for d.
-2
Let j(o) = o**3 - 16*o**2 - 38*o + 44. Let d be j(18). Suppose 0 = 25*t - 27*t + d. Solve -i = -3*m + t, -4*m - i = -3*m - 8 for m.
3
Let x = 11 + -9. Suppose 3*p - 3*d - 27 = 0, -4*d = -x*p - 0*p + 26. Solve p*v = 25, -3*b - 5*v + 29 = -7*b for b.
-1
Let k(y) = -y**3 + 2*y**2 - 1. Let f be k(1). Let h be f + (-27)/(2 - 5). Suppose 0 = -4*d + 25 - h. Solve 0 = -d*x - 4*t + 5*t - 1, -4*t = -20 for x.
1
Suppose x + 1 = 7. Let q = 13 - x. Let j = -60 - -65. Solve -w + q = 5*y, -j*y - 5 = -10*y for w.
2
Let i be (3 - 3)*(-5)/15. Suppose 4*c - 18 - 22 = i. Let l be 0 + -3 + c + -2. Solve 0 = -5*d - 5*y - 10, -l*d + 0*y + 4*y = -8 for d.
0
Let q(k) = -6 + 12*k - 10 + 7 + k**2. Let h be q(-13). Solve -5*m - 2*x = -2*m + 21, -4*m + h*x = 8 for m.
-5
Let p(m) = -m**3 - 16*m**2 - 28*m + 5. Let a be p(-14). Solve a*n - i + 18 = 0, i - 5 = -2*n - 8 for n.
-3
Suppose 556 = 15*x - 449. Suppose -x = -6*c - 49. Solve 5*h - 28 = -3*f, -c*f = -0*f - 3*h + 12 for f.
1
Suppose 90*t + 56 = 83*t. Let x(y) be the first derivative of y**2/2 + 11*y - 1. Let r be x(t). Solve 2*c = -r*o - 15, c - 6*c = o + 18 for c.
-3
Suppose -2*a = -a. Suppose a = 4*i - 19 - 9. Solve -d + i = -3*d - l, -4*d - 29 = 5*l for d.
-1
Let t(g) = g**3 + g**2 - g - 1. L