 = -3*k - a*h for k.
3
Let h(k) = k**3 - 55*k**2 + 573*k + 57. Let z be h(14). Solve 7*d = -0*d + 2*g + z, -3*g = 12 for d.
5
Let w be -1 + 0 + 3*-3. Let q = -2069 + 2084. Let c = q + w. Solve c*o + x = 4*x + 25, x = -5*o + 25 for o.
5
Let k = -26 + 31. Suppose -14 = h + p, 0*h - 34 = 2*h + k*p. Let u be 3/(-6)*h/2. Solve u*a + j = -8, -4*a + 2*j = -4 - 2 for a.
-1
Let h(q) = 3*q**2 + q + 6. Let l be h(0). Suppose -l*p = 6*p - 8*p. Let o be 2 - ((0 - -2) + -12). Solve j - 3*w = -2*j - o, p = 2*j - 3*w + 9 for j.
-3
Suppose -3*o - 74 = -83. Solve -6*k + 3*k - 15 = 5*m, 0 = -m - o*k - 3 for m.
-3
Let l be (-6)/4*12/(-9). Suppose 2*j = -i + 5, 3*i = -2*j - 0*i + 7. Suppose -2*p - 40 = -5*u - 23, -u = -j*p + 3. Solve 9 + 1 = u*m, m - l = -5*o for o.
0
Let y = 33 - 16. Suppose -f - 6 = -y. Suppose 0 = 3*l + m - 9, 0 = -3*l - 6*m + 3*m + 9. Solve 2 = -4*j + 3*t, 0 = -l*j - 2*t + 1 - f for j.
-2
Let n be 8 + ((-3)/(-2))/((-3)/8). Solve -2*s - n = 0, -12 = 15*g - 20*g + s for g.
2
Suppose 0*o = 4*g + 4*o - 92, -2*g + 32 = -5*o. Let b be (-2)/4 - 296/16. Let v = b + g. Solve 0 = h + v*f - 8, -2*f + 16 = -h - 2*h for h.
-2
Let x = 197 + -170. Let l = x - 24. Solve l*q - 32 = -3*n - n, 2*n - 30 = -5*q for q.
4
Suppose -6*k + 50 = -4. Let p(y) = -k*y**2 - 24*y**2 + 45*y**2. Let j be p(1). Solve 0 + 3 = 3*b - 4*n, -4*n = j for b.
-3
Let v(j) = j**3 - 38*j**2 + 36*j + 39. Let s be v(37). Solve -5*d - s*a = -219 + 232, -d + 5*a = -19 for d.
-1
Let x(m) = -m**3 + 7*m**2 + 15*m - 1. Let f be x(-2). Let h = 30 - 25. Solve y + f = h*g + 4, y + 4*g - 8 = 0 for y.
4
Let w(m) = -31*m**2 - 649*m + 46. Let n be w(-21). Solve 4*z - 8 = -n*v, 21*v - z + 6 = 24*v for v.
2
Let g be ((-78)/(-91))/(11/(-14) - -1). Suppose c + 10 = g*t, 0 = 3*c + 10 - 4. Solve 5*r - 2*q + 15 = 0, -2*r - t*q + q - 6 = 0 for r.
-3
Let v = 195 - 123. Let z = 34 - v. Let m be 4 + 0 + z/19. Solve 0*d - m*d = l - 1, d + 7 = 2*l for d.
-1
Suppose -5*a + 22 = z, -3*a + z - 22 = -32. Solve 7 = 3*g + a*d + 19, -3*g - 3*d = 9 for g.
0
Suppose -3*n + 9*k - 14*k + 17 = 0, 17 = 5*n - 3*k. Solve 3*a - 5*o - 21 = 0, -4*a - n*o + 0*o - 4 = 0 for a.
2
Suppose 15*p + 34 = 17*p. Suppose 4*x - p = -5. Suppose 3*n = -x*a + 63, -3*a = 5*n - 3*n - 47. Solve 5*d - 5*m = 10, n = -4*d - 0*m - 2*m for d.
-2
Suppose 3*n = -224 - 178. Let t = 139 + n. Solve 2*x + 2*x = t*c + 26, 0 = c + 2*x - 6 for c.
-2
Let u = -952 - -954. Let n(f) = -f**2 - 7*f - 6. Let h be n(-6). Solve h = -i + d - 1 - 4, -2*i - u*d = -2 for i.
-2
Let j be (2/(-4) - 3)*-2. Suppose j*x - 11 = 6*x - 5*b, b - 31 = -5*x. Solve -5*g - x = -3*i - g, 3*g + 4 = 2*i for i.
2
Let v(p) = p + 6. Let k be v(-3). Let u = -26908 - -26911. Solve -s + u = 3*d, -2*d + 7*d = k*s + 19 for d.
2
Suppose -697*k = -688*k - 108. Let v be (-36)/(-16) + k/(-48). Solve -3*y - 3*n + 18 - 3 = 0, v*n = 4 for y.
3
Suppose 0 = -15*n + 17 + 118. Suppose 12*o - 39 = n. Let b(c) = 2*c**3 - 3*c**2 + 2*c + 2. Let a be b(2). Solve -j - 2*h + a = 3*j, j + 20 = o*h for j.
0
Suppose 3*z = -y + 1, 3*y + 20 = 2*z + 111. Solve -2*s + 11 - 26 = -r, 3*r = 2*s + y for r.
5
Let o(j) = -194*j - 1162. Let p be o(-6). Solve 11*s - 4 = 9*s + p*l, 5*l = 2*s + 5 for s.
5
Let v(l) = -6*l**2 - 59*l - 142. Let b be v(-5). Solve 73*s - k + 9 = 71*s, -b*s - 3*k = 0 for s.
-3
Suppose 4*j - 3 = 3*j. Suppose -7 + j = -2*b. Let w(t) = -13*t**2 + 3141*t - 1924. Let q be w(241). Solve 18 = 3*u + q*z, -4*u - 2 = -4*z + b for u.
2
Let z(n) = -n**2 + 10*n - 29. Let b be z(4). Let r = b - -7. Solve -r*l + w + 2 = -2*w, 2*w + 12 = -4*l for l.
-2
Let s be (-2440)/(-35) - 6/(-21). Let c = 92 - s. Solve r + 9 = 3*f - f, f = 4*r + c for f.
2
Let k(i) = 2*i**2 + 34*i + 6. Let v be k(-17). Suppose -4*x - w + v = 1, -5*w = 3*x + 9. Solve 5*j - 5*p + 11 = x*j, 2*j - 26 = -5*p for j.
3
Let d(m) = 86*m - 1192. Let z be d(14). Solve -13 = 2*h + 5*u, 34*h - 4*u - z = 36*h for h.
-4
Suppose -24 - 36 = -3*y. Suppose -4*p = 4*v - y, 5*p - p + 4 = 0. Solve s + k + v = 0, 0*s = -5*s + 5*k for s.
-3
Let h(u) = u**2 + 37*u - 714. Let d be h(14). Solve d = 4*f + s + 11, 3*f - 9 = -5*s + 4 for f.
-4
Suppose -5*j = -10*j, 5*s - 4*j = 10. Let a be 2/14*399/38*10. Solve -4*f + 18 = s*m, -4*f - 4*m + 1 + a = 0 for f.
5
Suppose -245*y + 247*y - 2*j - 10 = 0, 3*j = 18. Solve -5*t = -5*d - 30, -3*t + 2*d + 28 = y for t.
5
Suppose -721 = 62*q - 1155. Suppose 0 = 5*y - y - 20. Solve 2*x - 4 = -0, q = -y*h - 4*x for h.
-3
Let d(p) = 6*p + 44. Let a(u) = 2*u + 17. Let q be -8 - (2 - -2 - 0)*1. Let i be a(q). Let f be d(i). Solve 4*c - 20 = -c + 2*b, -f*c - 3*b = 11 for c.
2
Let u = 11 + -7. Let r(b) = 2*b**2 + 79*b - 205. Let k be r(-42). Suppose k*y = 3*q + 16, 9*q - 10*q - 12 = -3*y. Solve -5*g = -y, -g + u = -i - 0*g for i.
-3
Let r = 11944 - 11942. Solve 2*o - 4*y - 114 = -88, -5*o + 25 = -r*y for o.
3
Suppose 0*t - 5*t = -620. Let w = t + -121. Solve -4*u - 2 = -3*n, 4*u - 6*u + 2 = -w*n for n.
-2
Suppose -u + 97 = 93. Suppose 0 = -2*n + 10 - 2. Suppose n*i + u*y = 12, i - 2*y - 8 = -5. Solve -15 = -i*p + 5*s, -2*p - 3*p = -4*s - 25 for p.
5
Suppose 0 = b - 29*b + 84. Suppose 0*l - b*l = 2*y - 12, -4*l + 16 = -2*y. Solve -2*o - 1 = -3*o + 4*w, -19 = -3*o - l*w for o.
5
Let b(x) = 4*x**2 + 5*x - 4. Let q be b(1). Let d(v) = -11*v**2 - 67*v + 1. Let z be d(-6). Solve z = y - 5*k, y + 5 = -q*k + 2 for y.
2
Let i be 189/45 + 4/(-20). Let p be (-21)/(-6) - 2/i. Solve 0 = p*s + 1 + 2, -3*l = 2*s + 2 for l.
0
Let k(c) = -3*c**2 + 57*c - 142. Let v be k(16). Solve -4*y + 3*l + 1 = 0, y - l - v = -1 for y.
-2
Let v(o) = o**3 + 19*o**2 + 79*o + 18. Let g be v(-13). Solve 7*r + 3*l = 11*r + 20, -3*r - 15 = g*l for r.
-5
Let o(k) = 8*k - 1. Let s be o(2). Let j be ((-12)/s)/((-2)/10). Let a = -1816 - -1822. Solve -j*x + 3*g = a, 3*g - 1 = 3*x + 5 for x.
0
Suppose -h + 2*s + 8 = 0, -2*h = -4*h + 2*s + 8. Let t = -5 + 10. Let o = 41 + -30. Solve 24 = 2*l + t*x - o, h = -4*l + 5*x - 5 for l.
5
Suppose 93*b - 1099 = -102*b + 38*b. Solve b*l - 9*l - 4*u = 6, 12 = -4*l + 5*u for l.
-3
Suppose 0 = -5*k - 485*r + 483*r + 16, -3*r + 24 = -k. Solve 5*t - 5 = 4*a - 6, t + 1 = k for a.
-1
Let g = 104 + -26. Let r = 81 - g. Solve s - 5*y + 4 = -15, 0 = -r*s - 5*y + 3 for s.
-4
Let p = 96 + -51. Suppose 0 = 42*q - 37*q + p. Let t(o) = -2*o - 13. Let k be t(q). Solve -5*y + k*v + 15 = 0, y + 4*v + 4 + 3 = 0 for y.
1
Let l be (-11 + (6 - 5))*-4. Suppose -43*s = -l*s - 123. Solve 3*d - 19 = v, 3*v + v = 5*d - s for v.
-4
Suppose 0 = 4*h + 2*k - 20, 10 = 2*h - 6*k + 3*k. Suppose -3*w - 22 = -17*g + 13*g, -g - h*w = 6. Let i = 6 - 4. Solve -3*f - 3 = m, -g*f = -m - i - 1 for f.
0
Let s = -18419 + 18421. Solve -5*t + 10 = -5*w, 4 = 3*t - s*w + 2 for t.
-2
Suppose 3*x - 14 = -w, -12 = -3*w + 2356*x - 2355*x. Solve -3*f - 16 = -2*k, 4*k = w*k + 5*f + 18 for k.
2
Let v(x) = 3*x**3 - x**2 + 5*x - 5. Let l be v(2). Let o be (2 - -7) + -30 + l. Let z be (-1 + 0 + -2)*-1. Solve 3*s = z*d, 0*s + o = 3*d + s for d.
1
Let d(h) = -13*h - 256. Let c(p) = -5*p - 85. Let l(j) = -11*c(j) + 4*d(j). Let i be l(36). Solve -s + i = 4*w, 4*s = 2*s + 3*w - 17 for s.
-1
Suppose 14958 = 996*b - 98*b + 3284. Let v be 1 - (4/(-2))/(-2). Solve -w - 2*q = w - 10, v = 5*w + 2*q - b for w.
1
Let x be 161/46*(-10)/(-7). Suppose -4*c = -h + 16, c - 2 = -7. Let o(q) = -3*q - 4. Let n be o(h). Solve 3*s + 4*k + x = -23, 3*k - n = 5*s for s.
-4
Let s = 10622 - 10622. Solve -9*n = -4*u - 6*n - 19, 5*u - 4*n + 25 = s for u.
-1
Let h = -1815 - -1819. Let v be -15*((-1)/(-1))/(-1). Solve 2 = -2*a - 3*w - 5, -h*a = 5*w + v for a.
-5
Let z = -1541 + 1558. Solve 0 = 2*h - c - 11, z = -h + 3*c - 7*c for h.
3
Let b(z) = z**2 - 25*z + 154. Let h be b(16). Suppose 0 = -5*p + h, 5*p - 26 = -4*f - 8. Solve o - 2 = 5*o + n, -4 = f*n for o.
0
Suppose -5*h = 4*q - 21, 0 = 3*q - 0*q - h - 11. Suppose q = v - 1. Let p = -53 - -77. Solve -4*j + p - 3 = u, v*u - 41 = -4*j for u.
5
Let h = -6140 - -6171. Solve h*i - 33*i + 5 = 3*t, 2*i - 1 = t for i.
1
Let f = 540 + -831. Let u = f + 295. Solve 3*w - 4*y + 16 = 35, -u*w = y for w.
1
Suppose -15*r + 799 = -3*r + 439. Solve 0 = 5*k - 2*i + r, k = i + 4*i - 29 for k.
-4
Let h = -57 + 77. Let k be 3/(-1) - ((-2 - 1) + -2). Suppose 0 = -k*a - 2*y + 14, -a - 4*y + 8 + 8 = 0. Solve