k.
0
Let c(z) be the third derivative of -z**5/60 - 25*z**4/24 - 11*z**3 + 74*z**2. Let v be c(-22). Solve 5*a = s - 4*s - 16, v = 3*s - 4*a - 2 for s.
-2
Suppose -13*m + 601 = -556. Suppose m*v - 62*v = 54. Let r be -2*1/2 - -10. Solve -v*d + 3*d = 2*t - 3, -5*t = -3*d - r for d.
-3
Suppose 0 = 44*s - 48*s - 48. Let h be 4 + (s/9)/((-1)/(-3)). Let a = 17 + -7. Solve -4*m - 2*v + 16 = h, -2*v + v + a = 3*m for m.
2
Suppose -3*i + 68 - 44 = 4*y, 4*y - 16 = -2*i. Solve 4*u = 4*v + i, 12*u = 10*u - 5*v - 3 for u.
1
Suppose 21*h + 688 = 13*h. Let l = -82 - h. Solve -15 = t - 5*u, -2*t - u + 30 = l*u for t.
5
Let r(t) = -8*t - 453. Let c be r(-57). Let q(k) = -k**2 + 7*k + 20. Let o be q(8). Solve c*j + 4*d = 5*j + 10, 3*j + 3*d - o = 0 for j.
1
Suppose -189*r + 3*k - 54 = -194*r, 2*r = -5*k + 33. Solve 3 = -s + u + r, 0 = s + 3*u - 2 for s.
5
Let p = -2291 - -1545. Let y = p + 749. Solve 4*j = 3*w + 2*w + 20, -10 = -2*j - y*w for j.
5
Let z(s) = -22*s - 37. Let c be z(-2). Let x(y) = -31 - 12*y + 21*y - 26. Let o be x(c). Solve -q - o*a + 9 = -2*a, q - a + 1 = 0 for q.
1
Suppose 3252 + 360 = 43*n. Suppose -11*o - n = -14*o. Solve -5*w + o = -4*h, 5*h - 2 = -3*w - 0*w for h.
-2
Suppose 0 = -2*y - 140 + 152. Suppose y*m = -18 + 54. Solve -3*j = m, -4*d - 2*j = -4*j + 8 for d.
-3
Let z be 14/(-9)*(-18)/(-63) + 2110/90. Solve -4*h = -4*b - 16, -3*b = 4*h - z - 0 for b.
1
Let z = -55 + 55. Let a(h) = -h**2 - 6*h + 5. Let f be a(z). Solve i + p = -2*p + 16, f*i - 25 = -4*p for i.
1
Let y be (12/(-2))/(15/20). Let l be (25/(-20))/(34/y + 4). Solve 2*p - 5*b = -3*p - 25, -b + l = 5*p for p.
0
Suppose 34 - 16 = 9*x. Suppose -b + 11 = 2*f - 19, -x = -b. Solve 4*o = 2*c - 14, 5*o + 2*c = 2*o - f for o.
-4
Let y(n) = -240*n - 960. Let v be y(-4). Solve v = 3*p - r + 1, 2*p - 4*p + 5*r + 8 = 0 for p.
-1
Let o be (-10)/15*(368 - -4). Let n = o - -263. Solve -7*r = -3*z - 2*r + 15, -n = 4*z + 5*r for z.
0
Let p(w) = w**2 + 10*w - 41. Let c be p(-13). Let i be (-8 - c) + (8 - 2). Solve -2*g + 20 = 4*m, m + 4*g - 3*g - 6 = i for m.
4
Let g(h) = -2 + 2*h**2 + 29 - 35*h + 25. Let z be g(16). Solve -4*d - 10 = z*x + 6, -d = 2 for x.
-2
Let q(t) = t**3 + 8*t**2 - 5*t - 15. Let s be q(-8). Suppose -5*h = -s, 5*h - 31 = -2*a - 0*h. Solve a*v = -2*v - 4*j - 9, 0 = 3*j - 12 for v.
-5
Let r = 520 - 389. Let v = -125 + r. Solve -4*p - v*y + 2 = -4*y, -p = -y - 5 for p.
2
Suppose 2*x + 17 = l, 4*x = -11*l + 15*l - 40. Solve 2*h - 5*i = 4*h + 6, 0 = l*h + 5*i + 4 for h.
2
Let m be -3*(-2 - (-3)/3). Let c(f) = -4*f**2 - 6*f - 1. Let l be c(-4). Let q = 41 + l. Solve q = 4*t - m*h - 11, -t = -3*h - 4 - 10 for t.
-1
Suppose -2301 = 18*z - 2301. Solve 4*t + 14 = 2*n - z*n, 5*n - 26 = t for n.
5
Suppose 7*z - 36 + 666 = 0. Let t = 95 + z. Let v(w) = w**2 - 6*w + 7. Let i be v(t). Solve 4 = 3*s + o, i*o + 0*o = 2*s for s.
1
Suppose 2*o + 30 = 8*t, -3*o + 5 = -3*t + t. Solve -3*v - 2*s + 1 = 0, -v - 4*s - 28 = -o*v for v.
3
Let i = 69 - 79. Let g(y) = y**2 + 19*y - 16. Let q be g(-20). Let v be (q + 32/i)/(2/5). Solve 3*m + 6 = -m + 2*o, v*m = -o - 1 for m.
-1
Let r(m) = m**3 + 14*m**2 + 2*m - 119. Let z be r(-13). Solve 0 = -3*x - g - 7, 5*x - 4*g + z = 4*x for x.
-4
Suppose -3*a + 1 = 5*i, 3*a + 103*i = 106*i + 33. Solve x + 2 = 0, -3*b = -5*x + a*x + 1 for b.
1
Suppose 4*v = -4*g + 197 + 11, -3*v + 210 = 4*g. Suppose -5*t = 4*s - g, s + 2*t + 84 = 6*s. Solve 3*o = -2*w + s, -5*w + 3*o = -o - 17 for w.
5
Suppose -4*m + 6*m + 3*u = -2, -4*m + 4*u = 44. Let i = -3 - m. Suppose 9*f = 44700 - 44655. Solve -f*h = i*j + 5, -3*h = 5*j - 2*j + 6 for h.
3
Suppose 19*y - 24*y - 10 = 0. Let n be y*1 - 2/((-4)/18). Suppose 0*f + f - 4*s - 37 = 0, -4*f + 43 = 5*s. Solve 5*l - f = 2*u, -5*u + 2 = -5*l + n for u.
4
Let m = -48 - -48. Let u(p) = -4*p + 4. Let r be u(m). Suppose -s - 3*i + 10 = -r, 3*s - 9 = 2*i. Solve -7*w + 3*v = -3*w + 24, -s*v + 20 = 0 for w.
-3
Suppose -58*f = 34*f. Solve f = -2*i - 2*v - 14, 0*i - 5 = -i + 5*v for i.
-5
Suppose -34*o - 3441 - 2611 = 0. Let g = -176 - o. Solve -3*d = 4*b + 25 - g, -4*b = -4*d - 12 for d.
-5
Let j(w) = 4*w**2 + 76*w + 337. Let m be j(-13). Solve 5*h = a + 19, -m*a + 21 = -24*a + 5*h for a.
1
Suppose 0 = 5*c - 22 - 53. Let h = -12 + c. Suppose -h*v = 5*s - 16, 2*s + 2*v - 7*v + 6 = 0. Solve 5*p + 3*k = k + 29, s*p = -k + 12 for p.
5
Suppose 46*q - 228*q + 8064 = 10*q. Solve -q*w + 39*w - 2*h = -14, 3*w - 2*h + 2 = 0 for w.
2
Let w be (-4 - -7)*-2*1/3. Let d be (-2 - 12/(-4))/(w/(-26)). Suppose -2*z - 12 = -9*j + 4*j, d = 4*j - 5*z. Solve 2*a - 3*k = 20, 5*a + k = -j*k + 8 for a.
4
Let z(k) = 14*k**2 + 701*k + 50. Let j be z(-50). Solve 5*o + 3*d + 6 = j, o + 8*d - 11*d = -12 for o.
-3
Suppose 8*a - 4 = 20. Suppose k - 8 = -k, -a*k + 24 = 4*h. Suppose 5*m = 13 - h. Solve -5*q - 10 = 2*c, -5*q - 8 = c + m for c.
0
Let b = 48 + -25. Suppose 2*h + b = 3*i + 6*h, -2*i + h = -8. Solve i*j + l + l + 18 = 0, 0 = -3*l - 12 for j.
-2
Let p(c) = -10*c + 53. Let x be p(-6). Let o = -111 + x. Solve -6 = r - 2*w, 2*r + 4*w - 6 = o*w for r.
0
Let k(b) = -4*b**3 - 31*b - 30. Let o be k(-1). Solve 5*a + n - 16 = 0, -8*a = -4*a + o*n - 17 for a.
3
Let y be -2 - 2/(-6) - 80/(-3). Suppose 4*b = -3*n + 1, -24*b = -y*b + 4*n + 24. Solve 4*p - 16 = 0, 4*w + w + b*p = 1 for w.
-3
Let x be 0*(-2)/(-24)*-4. Suppose 6 = -l - 3*d, x = -3*l + 3*d - 7*d - 3. Solve 3*f - a - 7 = 0, -2*f = -6*a + l*a for f.
3
Let t be (1 - 7 - -1)/((-8)/8). Let y(a) = a**3 - 17*a**2 - 16*a - 23. Let i be y(18). Solve -4*q - i = t*c, -2*q - 5*c - 9 = -0*q for q.
-2
Let t(n) be the first derivative of -2*n**2 - 21 + 0*n**3 + 1/4*n**4 + 4*n. Let z be t(2). Solve 3*o + 11 = 5*l, z*l - 5*o - 10 = 4 for l.
1
Suppose -18*p - 3311 = -3491. Solve 3*c = 0, -3*c - p = -5*i - 0*c for i.
2
Let b = -6660 - -6663. Solve -b*z - 2*z + 3*a - 14 = 0, 0 = 4*z + 4*a - 8 for z.
-1
Suppose -4*m = 9*b - 5*b - 28, -3*b + 3*m = -39. Suppose -4 - 8 = 4*z - 4*j, b = 2*j. Solve -w + 14 = z*w + t, 4*t = -3*w + 20 for w.
4
Let t be (-8 + 25)/((-17)/(-17)). Solve -4*q = 2*d + 16, 4*d = -8*q + 5*q - t for d.
-2
Let y(g) be the first derivative of -5*g**2/2 - 3*g - 3. Let p be y(-3). Suppose 0 = -l + p*l - 132. Solve 2*r = 4*n + l, 2*n + 5*r = -3*n - 15 for n.
-3
Let v = -2245 - -1559. Let o = 691 + v. Solve -4*c - o*w + 14 = 0, 3*c + c + 4*w - 12 = 0 for c.
1
Let h be -3*(-9)/((-27)/(-22)). Suppose -z = 5*x - 0*z - h, 2*x - 13 = z. Suppose x*c + 5*n - 45 = 0, 4*c - 8 - 4 = 2*n. Solve 5 = -c*p, -w - p - 11 = w for w.
-5
Suppose 5*n = 3*a + 28, 30*n - 3*a = 28*n + 22. Solve -j - 2*k = 11, 3*j + 2*j - 5 = n*k for j.
-1
Suppose -5*x + 3*t - 2*t + 10 = 0, -4*x + 3*t - 3 = 0. Solve -3*u = 4*f + 26, 7 - 2 = -x*f + 5*u for f.
-5
Suppose 0 = -603*r + 565*r + 190. Let q(v) = v**3 - 4*v**2 + 3*v + 4. Let z be q(3). Solve -r*y - 7 = -o, 0 = 4*o + 5*y - y - z for o.
2
Let j(z) = -3*z**3 + 31*z**2 - 41*z + 319. Let o be j(10). Solve -4*u + o = 3*c - 7*u, -4*c = u - 2 for c.
1
Let w be (326/30 - 0) + (-10)/(-75). Suppose w*d = -0*d. Let h(l) = l**2 + 10*l + 14. Let c be h(-9). Solve x + d*x + 3 = -3*q, -c*q - 3*x - 9 = 0 for q.
0
Let l = -12 - -12. Suppose l = -2*f + 4*n - 2, -1 = -f + 3*n - 3. Solve -f = v, v + 1 = -o - 2*o for o.
0
Let l(f) = 207*f - 2275. Let g be l(11). Solve 5*a + g*q = 6, 2*a + 2*q + 10 = 5*a for a.
2
Suppose 0 = -21*j + 29*j. Suppose 4*q - 35 + 43 = j. Let f be 0 + 1 + 3 + q. Solve -c + 7*w = f*w + 18, 4*c - w + 15 = 0 for c.
-3
Let m = 69 - 60. Suppose -5*t = v - 17, -2*v + 12 = 4*t - 10. Solve -g - v = -5*w, 0 = 2*g - 3*g - 3*w + m for g.
3
Suppose -151*d + 208 = -147*d. Suppose 82 = -11*s + d*s. Solve -j = -s*j - 5*i - 6, 0 = 2*j + 4*i for j.
4
Let f(v) = -v - 36. Let d be f(-38). Let n be (7/63*0)/(d + -1). Solve 4*h + 11 = 3*l, 5*h + n*h = 5*l - 15 for h.
-2
Let l = 7441 + -7436. Solve 41 = 3*a - l*z + 1, 25 = a - 4*z for a.
5
Let q(j) = j + 178. Let f be q(0). Let h = -173 + f. Solve 0 = h*t - 2*t - 4*v - 3, -2*v = -t + 3 for t.
-3
Let d = -19480 - -19485. Solve 5*h - 3 + 28 = 0, 5*u = h + d for u.
0
Let m be (0/(-1))/(-6 - (0 + -7)). Let b be m/(2 - 2 - 1 - 2). Solve -r + 0 = 2*z + 1, b = -2*z + 2 for r.
-3
Let m(z) = -z + 1. Let d be m(-3). Let p = 750 + -748. Solve -3*i + 3*t + 6 = -p*t, d*t = -12 for 