2 + 19*k**3/6 - 25*k**2. Let y be g(8). Solve 18 - 4 = -y*o + 5*b, -3*b = 5*o - 22 for o.
2
Suppose 3*h + 8 = 4*h. Let x = h + 9. Suppose 4*r + 206 = 222. Solve 0 = -2*z - r*w - 26, 5*z + x = -w - 12 for z.
-5
Suppose 2*t - 4*a = 14, 0*a = -3*t - a + 7. Solve 4*o - 5*g - 35 = -o, -13 = -t*o + g for o.
3
Let m be 52/14 - (-8)/28. Suppose -11 = -5*t + m. Solve 2*x - 4*q - 2 = 0, -t*q = 2*x + 4 + 8 for x.
-3
Suppose -2*g + 3 = -17. Suppose 3*d = -2*d + g. Suppose -1 = -i + 4. Solve 3*m = -i*a - 19, 3*a = -d*m - 0*m - 11 for m.
2
Suppose -4*w = -3*m + 3 + 1, -2*w + 4*m - 12 = 0. Solve 5*k - 22 = -2*p, 0 = -2*k - p - w + 11 for k.
4
Let i be 4 + (3 + 1)/(-4). Suppose 0 = -3*b + 9*b - 60. Let l = b - 5. Solve 6 = l*q - i*s, 4*q - 3 = 3*s + 3 for q.
0
Suppose -5 = -4*g - 3*s - 0, 40 = 5*g - 3*s. Let n(r) = -2*r - 4. Let j be n(-4). Let u be ((-8)/j)/(2/(-4)). Solve -f + 0*b - b = -1, g*f + u*b = 3 for f.
-1
Let v(i) = i**2 + i - 7. Suppose -4*g + 16 = 4. Let j be v(g). Solve 3*w = -4*q - 4 + 11, -j*w - 4*q = -9 for w.
1
Suppose 187 - 166 = 7*h. Solve -h*m + 12 = -3*c, m = c + 3*m + 1 for c.
-3
Suppose 0 = -3*x - 11 + 38. Let k = 20 + -16. Let m = k - -5. Solve 0 = -w + 4*w - 5*v - x, -4*v + m = 3*w for w.
3
Let x be 632/88 - 7 - 42/(-11). Solve -q = -5*z + 7, -4*q + 0*q = 4*z + x for q.
-2
Let t(l) = -l**3 - 19*l**2 - 35*l - 13. Let k be t(-17). Solve -5*i - f = k*f + 45, -2*i - 30 = 5*f for i.
-5
Let w be 2/(4 - (-162)/(-45)). Solve 4*y - 2 = -2*m - 0, m + w = y for y.
2
Suppose -25 = -4*l - 3*c - 0*c, 4*l - c - 29 = 0. Suppose -o + 72 = -4*x, 2 = -o - 3*x + 46. Let w = o - 53. Solve 2*t = -t + 3*i - 6, -w*t - l = -4*i for t.
-1
Suppose 4*v - 15 = -9*y + 6*y, 2*v - 3 = 3*y. Solve 5*b + 37 = v*c - 7*c, -5*b - 34 = 3*c for b.
-5
Let o(r) = 10 + r - r**2 + 4*r + 0*r**2. Let j be o(6). Suppose f = 5*q - 4, -q + f + 0*f + j = 0. Solve -g + 0*a - 14 = 3*a, q = 2*g + a + 8 for g.
-2
Suppose 0 = 2*a, 3*o + 3*a = 4*o. Suppose o = -4*v + 14 - 2. Solve 4*q = 3*x + v, -5*x + 0 = -3*q + 5 for x.
-1
Suppose 4*l + 115 - 123 = 0. Solve 2*d - 6 = -5*z + d, 4*d = 2*z + l for z.
1
Let s(c) = -c**3 + 3*c**2 + 5*c - 7. Let t be s(3). Suppose -t + 11 = f. Solve -2*u = -2*r, 0 = -f*r + u - 4*u + 30 for r.
5
Suppose 47 + 17 = -2*s + 4*a, -2*s - 5*a - 100 = 0. Let r = s - -44. Solve 5*z + 3*k + 0*k = 11, 0 = -r*z + 5*k + 31 for z.
4
Let k = -11 + 11. Suppose -5*v = -0 - k. Solve v*l - 4*l - 3*o = -11, -o - 9 = -5*l for l.
2
Let u = -56 - -82. Let t be (-4)/u - (-56)/26. Suppose 5 = 4*n + 3*d, -4*n - 3*d + 7 = n. Solve -4*c + 20 = 0, -c = -t*k - n*k - 17 for k.
-3
Let h(u) = 5*u**2 + 4*u + 3. Let o be h(-3). Suppose 2*t - 2*w - 5 = 9, 4*t - o = 2*w. Solve -37 = -5*d - 3*v, -d - 2*v + t = -2 for d.
5
Let z(u) = u**3 - 5*u**2 - 11*u + 34. Let n be z(6). Solve d + 2*j = 15, -d - n*j = j - 30 for d.
5
Suppose -i - 4*y + 60 = 3*i, 3*y - 19 = -i. Let l(z) = -z**2 + 8*z - 7. Let s be l(6). Suppose -s*v + 7 = -3. Solve -2*k - v*k - i = -o, -14 = 5*k + o for k.
-3
Suppose 0 = -q + 5*s + 8, -82 = -4*q + 10*s - 15*s. Solve 3*v + 3*o - q = o, o + 1 = v for v.
4
Let u = -91 + 93. Solve 0*l - u*l - 2*c = 4, 0 = -4*l + 3*c - 29 for l.
-5
Let m be (-32)/(-3)*(-2)/(10/15). Let t be 5/(-3 - 100/m). Solve -5*h - t = 4*c, 5 - 4 = 3*c - 4*h for c.
-5
Let g be 36/(-10)*340/(-136). Solve 5*m - m - 12 = 0, g = 3*c + 3*m for c.
0
Let d(u) = u**2 + 3. Let n be d(0). Let k(v) = v - 4. Let l be k(n). Let i be l*(-2)/(-6)*-6. Solve 2*w - 4*j = -2, -j + 3*j = i for w.
1
Let c(w) = w**2 + 33*w - 32. Let d be c(-34). Solve d*p + 2*r = 0, p + 5*r = -3*p - 2 for p.
2
Let k be 63/2*4/6. Let y = 52 + -48. Solve -k = 5*j - 4*b, 2*j + y*b + 11 + 3 = 0 for j.
-5
Suppose 0 = 3*n + n - v + 4, 3*n - 5*v + 20 = 0. Solve 1 = -2*q - b, n = -q + 5*b - 2 - 15 for q.
-2
Suppose -33*v = -22*v. Solve -d - 4*f + 21 = -v*d, -5*f = 3*d - 35 for d.
5
Suppose 5*g - v = 7, g + v - 6 = -1. Solve 5*j = -3*z - 25, -3*j - j = -g*z - 2 for z.
-5
Let a be 0*(-2)/4*1. Suppose 0 = -q + 2*x + 11, -102*q + x = -107*q + 22. Solve -q*m + 0*m = -4*g + 14, -m - g - 1 = a for m.
-2
Let h(b) = 2*b + 18. Let s(v) = 1. Let n(r) = -h(r) + 10*s(r). Let q be n(5). Let w be q/(-4) - (-1)/(-2). Solve -w*f - 8 = -4, -2 = -3*k + 5*f for k.
-1
Suppose -d - 6*d = 27*d. Solve -5*c - 5*n = d, -c + 5 = c + 3*n for c.
-5
Let i = 18 + -13. Let o be 2/((-8)/12) + 2. Let v(s) = -s**3 + s**2 - s - 1. Let j be v(o). Solve -j*x - g = -0*x, i*g - 8 = -2*x for x.
-1
Let f be ((-20)/10)/(-2 + 4). Let r be (-45)/(-10) + f/2. Solve 4 = -r*i - 5*p, -2 - 3 = 5*i + p for i.
-1
Let h(o) = -15*o + 54. Let b be h(2). Solve 3*i - d - b = 2*d, 0 = -2*i + 4*d + 22 for i.
5
Let w(n) = 33*n + 99. Let l be w(-3). Solve -p - 5*o + 16 = l, 3 = 4*p + 4*o - 13 for p.
1
Suppose 3*b = 131 - 113. Solve 5*a - b*a - 1 = 0, -9 = -4*u - 3*a for u.
3
Suppose -y = -2*k - 13, -y = 3*k + 3 + 4. Solve -y*a + 5 = 5*x, -2*x + 5*a + 16 = -0*a for x.
3
Let h = 66 + -52. Suppose -5*y - 2*f - 6 = 0, 18 = 4*y - 8*y + 5*f. Let g be (-8)/(1/2*y). Solve h = -g*n + 3*n - 2*v, 0 = -2*n + 2*v - 14 for n.
-4
Let c = 622 - 617. Solve -6*l - 3*f - 25 = -l, 0 = -l + f - c for l.
-5
Suppose -105 = -296*w + 275*w. Solve 3*d - w = k, -4*k - 4 = 3*d + 16 for d.
0
Let s(k) = -k**3 - k**2 - 9*k + 4. Let a be s(0). Solve 2*p + 4*v + 4 = 0, 0 = -4*p + a*v - 2*v + 2 for p.
0
Suppose 5*f + 4*m - 16 = 5*m, 2*m = 8. Suppose 0 = -z + 2*v + 10, v + 11 = 2*z - 0*v. Solve r - 11 = -f*q, -6*r + 6 = -z*r for q.
2
Let f be (-188)/(-12) - 4/6. Let s be 66/f + (-3)/(-5). Solve 2*z - 7*z + y = 6, z - s*y - 18 = 0 for z.
-2
Suppose -4*p = 5*x - 11, 4*p = -2 - 2. Solve -3*d + 7 = 4*k - 7, -d = x*k - 8 for k.
2
Suppose -7*h + 30 = -2*h. Let z(w) = w**2 - 8*w + 12. Let l be z(h). Solve -d - 4*t + l - 3 = 0, 3*d + 4*t = -9 for d.
-3
Suppose 0 = -3*v - 3*v - 6. Let w(q) = -4*q - 2. Let k be w(v). Solve 0 = 8*o - 3*o - k*i + 16, 5*o + 18 = i for o.
-4
Suppose -3*l = 44*l - 470. Solve h = b - 4, -5*b = -3*h - 0*h - l for h.
-5
Let l = -43 - -49. Suppose l - 3 = a. Solve 5*r + 35 = -5*w, r + 0*w = a*w + 9 for r.
-3
Suppose -2*t = -0*t + 4. Let y = t - -2. Let k be (7 - (1 + 5))*(-4)/(-2). Solve -d = -o, o + k*o + 5*d + 40 = y for o.
-5
Let x(s) = s**3 - 14*s**2 - 15*s + 5. Let o be x(15). Suppose -o*i + 7 = -3. Let j be 1 + 0 - 3/(-1). Solve 10 = i*q, 13 + 0 = j*f + 5*q for f.
-3
Let g(a) = a**3 + 34*a**2 + 34*a + 34. Let m be g(-33). Solve z - 3 = 2*d, d + 3*z - m = 6*z for d.
-2
Let p(g) = -5*g + 16. Let n be p(-3). Solve 5*l - 4*x - 7 = -42, -2*l = -5*x + n for l.
-3
Let j(d) = -d**3 + 7*d**2 + 5*d - 15. Let x be j(7). Solve -g - l = 2*l - 5, 0 = -4*g - 3*l + x for g.
5
Let p(u) = u**2 - 10*u - 8. Let y be p(11). Let l(i) = -i**2 + 4*i - 3. Let r be l(y). Solve q - 5*b = -r*q - 23, 2*b = q + 11 for q.
-3
Suppose -5 = -y + 3*v, -10*y - 4*v + 2 = -7*y. Solve 0*m + y*l = -m - 1, 5*m + l = 22 for m.
5
Let n = -1188 + 1193. Let d = -1 - -5. Solve 6 = -y - n*m, -4*m = -0*y - d*y for y.
-1
Suppose -3 = 2*v - 5. Suppose 4*t = -4*z + 60, -8 + 20 = 5*t - 2*z. Solve 3*l - 5 + v = -2*x, 4*l - t = -2*x for l.
2
Let j = 1731 - 1720. Solve -6*f + j = -f + i, -2*f - 5*i + 9 = 0 for f.
2
Suppose -3 = -4*g - 3*a + 9, 2*a = 5*g - 15. Let m be (g/4)/((-9)/(-24)). Solve -6 = -h + 2*s, 2*h - 9 = -m*s - 21 for h.
-2
Let h(g) = -g**2 + 32*g + 38. Let m be h(33). Solve 4*b + 2*c + 12 = 0, -m*c = 5*b - 4*c + 15 for b.
-3
Suppose -3*k - 188 = -50*k. Solve k*o - 3*o + 4*x = 15, -2*o = 3*x - 10 for o.
-1
Suppose -11*d = 16 - 38. Solve -d*b - 1 = -5*y, y - 7 = -4*y + 4*b for y.
-1
Let q be 6*((-4)/(-36))/1*6. Let n(u) = u. Let z be n(1). Let p(k) = 2*k + 1. Let h be p(z). Solve 5*d + 9 = q*t, -4*d + h*t - 1 = -6*d for d.
-1
Suppose -10*p + 26*p = 336. Suppose -p*c + 10*c = -55. Let t(n) = n**2 + n + 1. Let j be t(-2). Solve -j*u - 2*i + 1 = 0, -u + c = -2*u + 2*i for u.
-1
Suppose 0 = 2*i + 2, -150 = -2*t - 2*i - 52. Suppose -t = -2*x + 4*r, 2*x + 0*x + 5*r - 50 = 0. Solve -j - 8 = -k, k - 3*k + x = -5*j for j.
-3
Let h be (-440)/(-108) + (-32)/432. Solve 4*j - h*c = j - 15, -4*j = -4*c + 20 for j.
-5
Let i be (-4)/12*3*-1. Let g be (i/(-2))/((-2)/128). Let h be (-5)/((-2 - -3)*-1). Solve -5*x - 4*s - 7 = -2*s, 4*x + g = h*s for x.
-3
Let m = -25 - -28. Solve 6 = -4*