k(f) = 3*f**3 - 16*f**2 - 12*f - 14. Let o(p) = -k(p) + 4*s(p). Let g be o(-7). Solve 3*u + 10 = v, -2*u - 7 = -g for v.
4
Let f(o) = -32*o + 98. Let s be 676/260 - (-4)/10. Let i be f(s). Let x be (-4)/(-6) + 4/(-6). Solve -d + x = i*m - 12, 2*m = 5*d for m.
5
Suppose -204 - 392 = -149*g. Solve -3*z - 3*f = -g*z - 16, -12 = 5*z + 2*f for z.
-4
Let u(c) = -c**3 - 8*c**2 - 10*c - 17. Let t be u(-7). Let r be t/(-18) - ((-8554)/117)/14. Solve -3*m - a + 9 = -4*a, 3*a = -r*m + 31 for m.
5
Let j(b) = 8*b + 1. Let c(o) = o. Let l(f) = 3*c(f) + j(f). Let x be l(1). Solve 0*z - z = r - 3, -4*z + x = -2*r for z.
3
Let p(b) = 33*b**2 - 45*b**3 + 41*b**3 + b - 81*b**2 + 15. Let m be p(-12). Solve -2*i + 12 = m*v, 2 = -2*v + 6 for i.
3
Let n = -99 - -103. Let j be 3*10/n*(-8)/(-12). Suppose p = 3 - 0. Solve j*b = p*q + q + 5, 1 = b + 2*q for b.
1
Suppose 13*u - 130*u + 473 = 122. Solve -5*h - 4*d = -10, 56*h - 2 = 55*h + u*d for h.
2
Let q(r) = -r - 78. Let o be q(-78). Let l = -37 + 39. Suppose 0*g - 2*g = -14. Solve l + 1 = 3*w, o = -4*h - 3*w + g for h.
1
Suppose 0 = -3*j - 4*x + 56, j + 0*j - 17 = -x. Solve 0 = -4*w + 2*h - j, 5*w + 9 = h - 0 for w.
-1
Let y(w) = 28*w - 14. Let r be y(1). Suppose -7*d + r = -6*d - 3*b, -12 = -3*d - b. Let m be (12/12)/((-1)/(-2)). Solve -a - m + 4 = 0, -d*a = -p - 12 for p.
-2
Let c = 7190 + -7189. Solve -15 = -5*p + 5*z, 11*p - 8*p + c = z for p.
-2
Let z be (-9)/((-4)/2 + -1). Solve 4*c - z*n + 1 = 0, -2*c - 3*n + 15 = c for c.
2
Suppose -4*z = -2*d - 12 - 16, -5*d - 10 = 2*z. Solve -z*n - 13 = 4*w - 58, -4*n = 4*w - 40 for w.
5
Suppose -2*p - 174 = -j, 2*j = p + 207 + 132. Let c = 172 - j. Solve 4*s = -3*a + 19 + 4, c*s - 3*a = -7 for s.
2
Let f = 43 + 17. Let a = f - 50. Let k(v) = -v + 14. Let c be k(9). Solve -5*t = c*h + 10, 2*h - 7 = 5*t + a for h.
1
Suppose 3*r + 1894*k - 1898*k = 73, 79 = 2*r - 5*k. Let y(t) = t - 3. Let a be y(5). Let d be 4/(0/a + 1). Solve 4 = b + 4*h + 1, d*h = 3*b + r for b.
-1
Let f be 136/85 - (-2)/5. Let c be (-48)/(-22) + 4/(-22). Let z be 4*-1*(0 - c). Solve -3*o + z = -0*w + f*w, 5*o = 20 for w.
-2
Let j = 1282 + -1282. Solve j = 5*q - 5*m + 5, 11*q - 8*q = 2*m - 5 for q.
-3
Suppose -4*p = 5*g + 2896, -1188 = 4*p + 2*g + 1708. Let b = -720 - p. Solve -3*h + d = -h + 2, h + 2*d - b = 0 for h.
0
Suppose 4*f + 4*w - 232 = 0, 3*w - 6*w = 4*f - 231. Suppose -56*z = -f*z + 45. Solve 0 = c - 2*a - 14, z = 7*c - 2*c - 5*a for c.
4
Suppose 0*i - 2*i + 8 = 0. Let d(n) = n**2 + 6*n. Let m be d(-6). Suppose -2*p + m*p + 6 = 0. Solve -p*x = -x, 12 = i*k - 3*x for k.
3
Let h = 282 - 298. Let z be h/16 + (-30)/(-1) + -4. Solve -t - q = -0*t - 10, 4*t + q - z = 0 for t.
5
Suppose 1224 = 6*f + 228. Let t = -163 + f. Solve 0 = -v - 2*y - 3 + 2, -y - 4 = -t*v for v.
1
Let p = -595 + 646. Suppose -47*m + p*m + 3*a - 123 = 0, 2*m + 5*a = 79. Solve 5*j - 2 = 5*g - m, 7 = 5*g + j for g.
2
Let l be (-37)/5 - -6 - (-3)/(-5). Let i be l - -6 - 10/5. Solve -4*u - 16 = i*d, 2*u + 7 = d + 3 for d.
-2
Suppose 0 = -l - 1, -162*l = -5*g - 159*l + 3. Solve 2*r - 4*j + 2*j + 16 = g, -2*r = -j + 13 for r.
-5
Suppose -9*y + 4*y + 20 = 0. Let l(g) = -5*g - 11. Let j be l(-3). Solve -2*s = -y*w - 6, 15 = -j*w - 4*s + 3 for w.
-2
Suppose 0 = -7*z + 6*z + 5*r + 5, 4 = -z + 2*r. Let i be (5/z)/(-1 + (-3)/(-6)). Solve -p + 4*t + 5 = 0, -i + 2 = -p + t for p.
-3
Let c = -13530 - -13539. Solve -c = -3*q + 4*g, 23*g - 18*g = 2*q - 13 for q.
-1
Let b = 920 + -908. Solve 0 = -2*t, 9*r = b*r + 2*t + 12 for r.
-4
Let p(v) = 6*v - 24. Let o = 105 - 100. Let g be p(o). Solve -3*s + 7 = 4*f, -g*f + 2*f - s - 3 = 0 for f.
-2
Let r(d) = -42*d - 1299. Let a be r(-31). Solve -5*o + a = -3*k - 2, -3*k - 3*o = 21 for k.
-5
Suppose 11 + 16 = w. Let j be 3 + -2*(-4)/(-8). Suppose -j*f = b - 13, 0 = f - 18*b + 19*b - 8. Solve w = -3*s - f*c, 3*s - c = -14 + 5 for s.
-4
Suppose -6 = 665*m - 679*m + 64. Solve -4*u = -60*x + 62*x - 14, 0 = -2*u - m*x + 3 for u.
4
Suppose 4*t - 16 = l - 4, 0 = 2*t - 2*l - 12. Let v be (t*(-5 + 3))/(-2). Solve -5*x + v = i - 0*i, 3*x = -i + 2 for i.
2
Let g(s) = -s**2 - 19*s + 2. Let p(j) = 2*j + 1. Let m be p(-10). Let t be g(m). Solve -5*b = 2*a - 23, -a + 2*b - t = 9 for a.
-1
Let i(k) = -15*k + 1. Let x be i(11). Let l = -161 - x. Solve z = l*w - 16, 0 = 3*z - 0*z + 4*w - 17 for z.
-1
Let l be 6/(0 - (-4)/2). Suppose l*u = 41 + 1. Let t = -3658 - -3663. Solve 4*m = 4*d + m + u, 2*d + t*m = -20 for d.
-5
Let t be 0*-12*7/2520. Let f(k) = -k**2 + 4*k + 3. Let s be f(4). Solve 2*p + t - 6 = 0, -s*v - 2*p = 0 for v.
-2
Let m(u) = -u + 5. Let j be m(5). Suppose j = -d + 3*d + d. Solve 3*f + 11 = 2*c, 0 = -d*c - 2*c + 8 for f.
-1
Let u(a) = a**3 + 3*a**2 - 10*a + 2. Let s be u(-5). Suppose -3*k - s*n = 3*n - 27, 0 = -5*k + n + 17. Solve -3*y = -t + k, 2*y = 7*y - t + 10 for y.
-3
Let p = -167 + 136. Let g = p - -32. Solve -3*k = 2*l + 1, 2*k + 3*l + 5 = g for k.
1
Let j = -243 - -248. Suppose -j*p + 15 = 5*o, -4*o + 37 = -5*p + 88. Solve -2*d + 4*d = -3*k + p, -2*d + 1 = -3*k for k.
1
Let p(y) = y**2 + 7*y + 12. Let i be p(-5). Suppose 0 = 2*v + i, 8*v - 5*v - 2 = -o. Solve 0 = -o*x - f + 15, -5*x - 3*f - f = 0 for x.
4
Let g(s) = -s**3 - 4*s**2 + 20*s - 6. Suppose 0 = -15*m + 6*m - 63. Let p be g(m). Solve 0 = r - 2*r + p, 4*r - 9 = l for l.
-5
Suppose 5*k = -3*g - 24, -8*k - 20 = -3*k + 5*g. Let y be k/8 - 210/(-56). Solve -8 - 8 = 5*s - o, 14 = -y*s + 5*o for s.
-3
Let i be (14/((-672)/(-18))*2)/(3/8). Solve i*a + 6*f - 9*f + 1 = 0, a = 4*f + 7 for a.
-5
Let u be 12/10*5/2. Let q = 244057 - 244049. Solve 0 = -2*g + 5*y - 3, 0 = u*g + g + 4*y - q for g.
1
Suppose -1188 = 16*b + 10156. Let w = 712 + b. Solve -3*k - 7*o + w*o + 15 = 0, -5*k + o + 2 = 0 for k.
1
Let h = -3247 - -3247. Solve h*j - j - 2*l = 5, 0 = 2*j - 4*l - 22 for j.
3
Suppose 2*a - 12 = -3*i + i, 8 = -2*a + 3*i. Let p = 20081 - 20078. Solve -10 = c - 5*x, x - a = -p*c + c for c.
0
Let q = -310 + 379. Let o = q - 64. Solve 2*a = o*f + 5, -7 = 5*f - 5*a + 13 for f.
1
Let w(u) = u**2 - 3*u + 7. Let g be w(5). Let h = g - 12. Suppose -5*f = -3*n, 0 = 4*f + 10*n - 6*n - 32. Solve x + 3*y - 6 = 0, 3*x + f = -h*y + 9 for x.
-3
Let t(v) = -23*v + 51. Let c be t(2). Suppose -4*o + 23 = 3*s - 6*s, 0 = 4*o - c*s - 33. Solve p + 0*u + 3*u = -10, -o*p - 10 = 4*u for p.
5
Let m(a) = -a**2 - 14*a - 21. Let y be m(-8). Suppose -y*s + 9 - 9 = 0. Solve 2*u + s*l + 3*l = -13, 2*l + 12 = -2*u for u.
-5
Let k = -13333 - -13425. Solve 3*r - k = 3*a - 101, -a - 27 = 5*r for a.
-2
Suppose -2024*l + 1935*l + 1424 = 0. Solve -2*a = 4*c - 14, -5*c - 73*a + 71*a + l = 0 for c.
2
Let x = 1552 + -1552. Let l = 192 + -190. Solve 2*h = -2*w, x = l*w - h - 2*h for w.
0
Let o(b) = b**3 - 12*b**2 - 12*b - 16. Suppose 0*r + 7*r = 91. Let f be o(r). Let i be -1*f/(3/4). Solve 3*m - 1 = -a + 5, -3*m + 6 = i*a for a.
0
Suppose 3*v - 66 = -567*o + 566*o, -110 = -5*v - o. Solve 2*h - v = -905*b + 909*b, -3*b - 4 = h for h.
5
Let f = -324 - -325. Solve 2*l + 2*d + 7 + f = 0, l = -3*d - 6 for l.
-3
Suppose 0 = k + 3*k - 68. Suppose -4*d + 1 + 3 = -4*a, -5*a - k = d. Let q be a*6/9*5/(-2). Solve -4*p + 14 = -2*c, c + 0*c = q*p - 16 for c.
-1
Let t(x) be the first derivative of x**4/4 + 3*x**3 + x**2/2 - 49*x + 89. Let n be t(-8). Let a = 34 + -16. Solve 3*s - n*g = -3*g - 3, 4*s = -2*g + a for s.
3
Let w(l) = -l**2 - 8*l + 4. Let v be w(-7). Let f = v - 5. Suppose -f*u - 12 = -8*u. Solve -2*x - 29 = -u*x - 5*m, -x - 24 = -5*m for x.
1
Suppose 447 = -15*z + 642. Solve 4*u + h + 24 = 0, 2*h = 10*u - z*u - 23 for u.
-5
Let m(g) = 1 - g**2 - g - 2 + 0 - 6*g**3. Let u be m(-1). Let o be 2 + 2 + -9 + 240/30. Solve 5*r + 10 = u*c, -4*c + 1 = o*r - 0*c for r.
-1
Suppose 2*d + 776 = -4*r, d + d - 3*r = -811. Let m = -394 - d. Solve -m*k + 4*w = 0, 4*k + 4*w = -k - 18 for k.
-2
Let c(y) = -5*y - 1. Let u = 32 + -33. Let m be c(u). Suppose -m*j + 2*j + 18 = 0. Solve 3*z + 5*q = q - 24, j = -3*q for z.
-4
Suppose -f + 26 = -2*g, -2*g = 3*g + 15. Suppose 0 = 2*p + 3*d, 13*d = 4*p + 9*d - f. Solve -p*r - 5*n = 19, -2*n = r + 4*r for r.
2
Let h(m) = 5*m - 22. Let z be h(6). Suppose -z*j + 17*j = -9. Let i be j/(-2) - (0 + 105/(-10)). Solve i = o - 3*a + a, 0 = 2*o - 3*a - 17 for o.
1
Let k(n) = n**