= 0 for k.
4
Let o = 51 + -47. Suppose -2*r = 5*s - 5, 0*r - 8 = -r + 3*s. Solve -o*x - h + 20 = r, -5*h = -5*x for x.
3
Let v = 72 + 60. Suppose 0 = -17*r - 5*r + v. Suppose 5*w - 3 = 7. Solve 5*i + r = -w*x, -4*x = x + i + 15 for x.
-3
Suppose -5*f + 2*b + 1 = 0, 0 = -3*f - 0*f - b - 6. Let t = -3467 + 3470. Let n be (f*t)/(-1 - 0/(-4)). Solve -n*d + 13 = -3*k - 5, -27 = -4*d + 5*k for d.
3
Suppose -25*a + 20*a = -10. Solve -a*d + 7*d + 2*j = -10, -5*d = 4*j + 20 for d.
0
Let n(g) = 8*g**2 + 29*g + 5. Let b be n(4). Let v = -247 + b. Solve -2*y + 2*k - 8 = 0, -v*y + 4*k - 18 = -0*y for y.
1
Let t be ((-2 - -2)*1)/(-179 - -182). Solve 0 = 5*g + 3*r - 34, 0 = g + 5*r - 20 - t for g.
5
Suppose 8*c = -0*c. Suppose 0 = 2*j + 3*j - 15. Suppose s + j*a = 16, -18*a + 18 = -2*s - 14*a. Solve c = -i + 1, 6 + s = -2*k - i for k.
-4
Suppose 12*k = 17*k - 4*j, -2*k + 2*j = 3*k. Solve 0 = -5*p - 5*c - 6 + 1, k = -4*p - c - 1 for p.
0
Suppose 0 = 13*j - 7*j - 41*j. Suppose 4*f + 3*n - 19 = 0, -3*f - 9*n = -8*n - 13. Solve j = -i + k + 1 + 1, f*k = i + 4 for i.
4
Let t(y) = 2*y**2 + 7*y + 20. Let a be t(-9). Let d be (-17)/(-102) - a/(-6). Let w be (d/(-6))/((-3)/(-9) + -1). Solve w*o - 18 = 2*m, 0*o + m + 6 = o for o.
2
Suppose -4*s + 10 = -3*g + 2, 2*g = -2*s + 4. Let k be (-4 - -3) + 170 + -3. Let q = -160 + k. Solve -2*z - 11 = -2*t + 3*z, -2*z - q = g for t.
-2
Let v be 3*(-91)/117 - (-26)/6. Solve -m = -v*x - 2, -2*m + 4 = 44*x - 41*x for x.
0
Let g(b) = -3*b**2 - 31*b - 18. Let l be g(-9). Suppose -6 + l = 3*q. Solve -4 = -3*z + 2*n + 6, -2*n = q*z - 4 for z.
2
Suppose 0 = -10*q - 6*q + 48. Let d = 20 - 9. Suppose 4*p - d = 5. Solve p*o - 17 = s + q, -5*s - 4*o = -20 for s.
0
Let l = 4604 - 4601. Solve 5*c - 5 = o, -o - l*c = -0 - 11 for o.
5
Let y be (-34720)/(-2821) + 8/(-26). Solve 2*c = -g, -12 = -10*c + y*c - g for c.
-3
Suppose 22*v - 22 = 0, 4*n = -v + 4 + 73. Solve -4*u - n = 5*x - 10*x, u - 2*x = -7 for u.
-1
Let j(b) be the second derivative of b**4/3 + 8*b**3/3 + 3*b**2 - 94*b. Let k be j(-5). Solve 0 - k = 5*u - 4*r, r = 4 for u.
-2
Let t be (2*1)/(7 + (1 - 7)). Suppose -3*m - t*m = 25. Let q be m/4 + 1 + (-153)/(-36). Solve -q*w + 2*h = 18, 3*h - 5 = w + 2 for w.
-4
Let u(b) = -b**3 + 297*b + 139. Let g be u(-17). Solve -26 = g*y - 0*q + 5*q, -3*y + 4*q + 10 = 0 for y.
-2
Let d be 81/3 + -4 + -1. Suppose 4*s - 2 = 2*u, 9*s - 2*u + 7 = 8*s. Solve 4*c - 8 = -4*b, 0 = -c + 2*b + s*b - d for c.
-2
Let t(o) = -32*o + 1296. Let x be t(40). Suppose 0 = u + u - 40. Solve m - 5*y - x = 0, 2*m + 0*m = -3*y - u for m.
-4
Suppose 35 = 5*j - 4*g, -2*g = 4*j - 0*g - 54. Let w = 424 + -421. Suppose a + 36 = 3*b, w*b + b = 3*a + 48. Solve 4*d = -5*r + j, -2*r = 2*r - b for d.
-1
Suppose -405 + 40 = -5*y. Let m = y + -70. Solve -m*o + 8*u = 4*u - 20, 4*o + 2*u - 12 = 0 for o.
4
Suppose -5766 = -1469*o - 453*o. Let s(x) = x + 4. Let d be s(0). Let w = 7 - d. Solve w*q - 8 = -o*a + q, -2*q = -2*a + 12 for a.
4
Let a(i) = -i**2 - 7*i - 5. Let x be a(-6). Let b be (-1)/(x/(-15)*3). Solve 4*p + 8 = 5*f, 5*p - 4*f + b = f for p.
3
Suppose -6 = 5*a - 3*a. Let m be (-2)/a*(-99)/(-22). Solve m*b - 7 = 2*w, w + 14 = 2*b + 2*w for b.
5
Let u(q) = -177*q - 29 - 9*q**2 + 358*q - 168*q + 2*q**3 - q**3. Let m be u(8). Solve -a = 3*n + 1 - m, n = -a + 4 for a.
1
Let i(b) = b**2 + 41*b + 6. Let k be i(-41). Solve -k*s - 16 = 2*w, -w = 4*s + 14 - 3 for w.
1
Let v be 3 + 8/(-12) - (-8)/12. Suppose 0*f - v = f, 5*l - 3*f = 29. Solve -24 = l*x - 4*z, 0 = 3*x - 5*z + 27 - 5 for x.
-4
Let j(k) = k**2 + k + 4. Let g(c) = -c**3 - 17*c**2 + 38*c - 2. Let p be g(-19). Let q be j(p). Solve 8*h - q = 3*h - 2*t, -2*h + t = 3 for h.
0
Let q = -3 + 1. Let b be (q/(-4))/((-2)/(-52)). Let v = 43333 - 43321. Solve -k + b = 4*p - v, -3*k + 2*p = -5 for k.
5
Suppose 3032*z - 5838 = 3038*z. Let h = -970 - z. Solve -q = -4*y + h*y + 5, 0 = 3*q for y.
5
Suppose h + 3*x - 2 = 0, h - 5*x = 172 - 170. Solve 5*t + 22 = -h*z + 7, -4*z = 2*t + 22 for z.
-5
Suppose 4*x - 838*g - 22 = -840*g, 5*x = -2*g + 24. Let k be (1/2)/(1/10). Solve k*i = -4*m + 15, 0 = 2*m + 3*m + x*i - 6 for m.
0
Suppose 145 = -5*v - 5*h, -5*v + 0*h + 4*h = 163. Let t = v - -31. Let n be 216/42 - ((-2)/(-14) - t). Solve n*p + 20 = -a, -8*p + 3*p + 4*a = 45 for p.
-5
Let f = -8465 - -8468. Solve -2*m = f*n + 3 - 5, 4 = -2*n + 4*m for n.
0
Let d = 4372 - 4368. Solve -4*w + 24 = m, 0 = -0*w + 3*w + d*m - 31 for w.
5
Let f be (-40)/2 + (-3 - 1). Let n = 24 + f. Let j be (n + 1)/(16/272). Solve -j = 5*y + q - 4, -3*y + 9 = -5*q for y.
-2
Let a be (-2)/(8/(-36)) + (-8)/(-4). Solve u + a*g + 4 = 10*g, 0 = g - 1 for u.
-5
Suppose -16 = -4*h + 4*n, 4*h + 3 - 22 = n. Suppose -5*z = -3*z - 4. Suppose 3*v + 30 = 3*g, g - z*v - v = 20. Solve -g*q + 19 + 6 = -5*l, 9 = q - h*l for q.
4
Let m(d) = 6*d + 77. Let u be 8/10*165/(-11). Let z be m(u). Solve -1 = 4*h - 5*v - 6, 0 = -z*h - 4*v - 4 for h.
0
Let c(t) = -t**3 - 8*t**2 - t. Let r be c(-7). Suppose 0 = -25*f - 52*f - 3913 + 294. Let w = r - f. Solve 5*o - 27 = -5*i - 2, -21 = -i - w*o for i.
1
Suppose -55*z = -95*z - 133*z + 519. Solve -z*f + 3*g + 9 = 0, 0 = 6*f - 5*f - 4*g for f.
4
Suppose -226*l + 231 + 803 = -179*l. Solve 6*v + u + 0 = l, u + 6 = v for v.
4
Suppose 9*c - 12*c + 6 = 0. Suppose -c*s - 8*s = -50. Let r(h) = -2*h**3 + 3*h + 3. Let u be r(-2). Solve 0 = 3*v + 3*x + 9, 0 = -v + s*x - x - u for v.
-5
Suppose 348 = 25*x + 248. Solve -25 = -9*d + x*d - w, 30 = 5*d + 2*w for d.
4
Suppose 17*x = 19*x - 2. Suppose 2*z - 3*h + 1 = -x, -2*z + 5*h = 6. Suppose -z*o - 11 = -19. Solve 0 = -5*q - 2*r - 31, -o*q = -r - r + 14 for q.
-5
Let f = -809 + 974. Let h be (-4)/(-30) + 803/f. Solve -4*g - 3 = -3*j, 21 = -h*g - 2*j - 0*j for g.
-3
Let a be 5*(-4)/4*-1. Let t be (-1 + (5 - a))/((-1)/2). Solve c + 8 = t*i - 5*i, -c = -4*i - 20 for i.
-4
Let y be (-84)/16800*20 - (21/(-10) - 1). Solve -5*s = 4*c + 25, -2 = 5*c + y*s + 13 for c.
0
Let z be 66/14 - 4/(-14). Let p be 1064/(-57)*((-132)/(-42) + -4) + 11. Solve -3*s - 5*f - p = -z*s, 5*s = f + 10 for s.
1
Let x be (2/3)/(12 + 12414/(-1035)). Let j = x - 109. Solve 4*t + 10 = -v, 2 = -3*t + 5*v + j for t.
-2
Let r(p) = 2*p**2 - 21*p + 89. Let v be r(6). Solve 5*s + 4*a + v = 0, -4*a = s - 5*a - 2 for s.
-3
Let x = -3798 - -3956. Solve 4*d + x*l + 7 = 155*l, 5*d + 15 = -5*l for d.
2
Suppose 73*n - 48 = 49*n. Suppose 2*d = -3*i - 26 + 48, -n*i - 5*d = 0. Let a(h) = 2*h - 11. Let t be a(8). Solve -5*k = -i, -4*v + 0*v + t*k - 26 = 0 for v.
-4
Let f(j) = -j**3. Let w be f(-1). Let h be ((-18)/(-45))/(14/10 - w). Let k be 30 - (h + 0 + 4). Solve 5*r = -k, 0 = -5*y + 3*r - 0*r - 5 for y.
-4
Let h(x) = -x**2 + 14*x - 22. Let v be h(12). Suppose 3*j = -0*j - 3, -3*j = -4*r + 15. Suppose -r*g - 2 = -11. Solve -v*k = -g*k - 1, 5*a = -k + 24 for a.
5
Suppose 5*x = -6501 + 341. Let z be 2/6 - 50/6. Let w be ((x/21)/z)/((-2)/(-3)). Solve -2*a - w = 2*a - 3*s, -4*s = 5*a - 25 for a.
1
Suppose -39*n + 34*n = -5*g + 55, 0 = 3*n + 24. Solve 4*i = g*i - 4*y, 3*y + 5 = -2*i for i.
-4
Let m be 2/(-4) - (2 + (-75)/10). Suppose -19 - m = -6*o. Suppose -o*s = -x - 13, 2*s = x + 1 + 6. Solve 0 = -0*w - w - 2*q + 3, 2*q - 13 = -s*w for w.
5
Suppose -13*j = -98*j + 454 - 29. Solve j*g - 9 = 2*p + 9, 2*p - 4*g = -16 for p.
-4
Let y(i) = -163*i - 3093. Let m be y(-19). Solve 4 = -4*l + 8*l + m*p, -2*p = -2 for l.
0
Suppose -5*p + 10 = -5*s, 2*s + 2*p - 2 = 2. Let m = -31 - -39. Suppose -w - l = -3, 2*w + s*l - m = -l. Solve 4*f = w*d - 11 - 4, 2 = -2*d for f.
-5
Let k = 2405 - 2403. Let z = 7 - 7. Suppose 3*n + n = z. Solve 3*m + 4*q - 4 - k = n, -m + 2 = -3*q for m.
2
Let f(x) = 3*x + 42. Let n be f(-11). Suppose 0 = 17*r - 20*r + n. Solve 5*w - 25 = -2*d, -2*d = 4*w + r*d - 37 for w.
3
Suppose -14 = -2*v, -5*l + 1848*v + 1 = 1846*v. Solve l*n - h - 10 = 0, -12*h + 9*h - 10 = n for n.
2
Suppose 968*c + 16 = 976*c. Let w = 80 - 56. Solve 2*h - c*a - w = 7*h, 2*h + 4*a + 16 = 0 for h.
-4
Suppose 4*z = -236 + 792. Let h = z - 125. Solve p + 2*i = 7*i + 10, -3*p - i = -h for p.
5
Suppose -o - i + 2 = 1, 12 = 4*o - 4*i. Let x = 859 - 857. Suppose 0 = 4*j - 12, -b = 4*j - x*j - 11. Solve -b*a - 6*q = -3*q + 2, -o*a - 3*q = -1 for a.
-1
Let g = -193 - -167. Let b be 