for k.
-1
Suppose 3*x - 5*n + 3*n = -194, 4*x + 5*n = -297. Let b = x - -68. Solve b = -3*m + 6*m for m.
0
Let s = 142 - 137. Solve -y = -2*y + s for y.
5
Suppose 0 = -5*z + 2*y + 14, 7*z = 4*z - 2*y + 2. Suppose 0 = -3*w + 20 - 2. Let x = -6 + w. Solve x + 2 = z*o for o.
1
Let a be 264/(-165)*(-5)/4. Solve 4*w - a = 6 for w.
2
Let y be 8 + -3 + -1 + 3 + -26. Let t = y - -19. Solve t*x - 2 = 2*x for x.
-1
Let p(l) = l**2 - 10*l + 17. Let s(w) = -4*w**2 + 40*w - 68. Let h(o) = -9*p(o) - 2*s(o). Let x be h(7). Solve -10 = 3*t - x for t.
-2
Suppose -5*r - 300 = -25*r. Solve r = 5*t - 0 for t.
3
Suppose -6*k + 21 = -15. Solve 0 = -k*i + 7*i + 3 for i.
-3
Let d(a) = -a**2 + 5*a - 35. Let h be d(10). Let u = -73 - h. Solve 0 = 2*o - 5*o - u for o.
-4
Suppose -4*h - 2 = -10. Solve 32*l - h = 33*l for l.
-2
Let h = -73 + 77. Suppose -h*w = -4*f - 8, w + 6*f = f - 10. Solve w*b + 2*b = -2 for b.
-1
Let n be ((-126)/35)/(-3)*(-5)/(-3). Solve -n = 3*c + 13 for c.
-5
Let t be 60/100 - (-37)/5. Let c be t/(-12) - (-22)/6. Solve -2*a + a = -c for a.
3
Let i = -1355 - -1365. Solve -i*q - 10 = -5*q for q.
-2
Let f(u) = 8*u + 5. Let j(d) = -d. Let g(k) = f(k) + 4*j(k). Let h be g(-5). Let t = h - -15. Solve 0 = -3*r - t - 3 for r.
-1
Let d be (4 + 11)/(-5) - -5. Let y = 4 + d. Solve y*j + 10 = j for j.
-2
Let b = 683 - 680. Solve 7*o - b + 10 = 0 for o.
-1
Suppose 5*w - 29*m = -25*m + 27, 0 = -m - 3. Solve 2*l = -w*l - 20 for l.
-4
Let u(y) = y**3 - 8*y**2 + 8*y - 4. Let i = -72 + 79. Let p be u(i). Solve 0*z = -3*z - p for z.
-1
Suppose -7*b = 9*b - 160. Solve 2*k = -6 + b for k.
2
Suppose 0 = 7*h - 41 - 15. Suppose h = 42*o - 38*o. Solve -3*w = o*w + 15 for w.
-3
Let s be ((-2)/(-6))/((-22)/(-1056)). Solve s*z - 21*z + 5 = 0 for z.
1
Let n(i) = -2*i**2 - 5*i - 8. Let r(t) = t**2 + 2*t + 4. Let p(s) = 3*n(s) + 7*r(s). Let x be p(0). Let z = x - -2. Solve 0 = -z*h + 4*h + 6 for h.
3
Suppose 0*c + 3*c = -5*w - 18, c + 8 = -w. Let z be 2/c - 2/(-11). Solve 4*g + 0*g + 12 = z for g.
-3
Let v be (-33)/(-5) - ((-24)/10 + 2). Solve 9*a + v*a = -a for a.
0
Let b(y) = 29*y**3 - 20*y - 20. Let l(f) = 10*f**3 - 7*f - 7. Let t(n) = 6*b(n) - 17*l(n). Let w be t(-1). Let k = w + 7. Solve u + 2 = k for u.
1
Let w(h) = -h. Let u(o) = o - 7. Let m(g) = -u(g) - 2*w(g). Let a be m(-5). Solve -a*y = -3 - 1 for y.
2
Let b(a) = a**2 - 14*a + 7. Let h be b(14). Suppose -h = -2*r + r + m, 5*m + 26 = 2*r. Solve -4*l + r = -13 for l.
4
Let w = -9 - -9. Suppose 4*t + 2*c + 15 = 5*c, -9 = 2*t - c. Let r be (w/t)/((-9)/3). Solve -o = -r*o + 3 for o.
-3
Suppose -16*i - 9 = -89. Let p(c) = 3*c**2 - 1. Let v be p(1). Solve -5 - i = -v*b for b.
5
Suppose -2 - 13 = 3*o, o + 2 = -g. Suppose 0 = i - 5*m - 9, -5*m + 2 = 4*i - 9. Solve h - i = g*h for h.
-2
Suppose 0 = -4*j - 4*d - 20, -3 = 4*j + d + 2. Let l(x) = -x**2 - 3*x + 4. Let u be l(-3). Let m = -317 + 325. Solve j*b - u*b = m for b.
-2
Let z(i) = i - 4. Let r be z(18). Suppose 4 = -4*v - 2*g, 0 = -v + 5*g - r + 35. Solve -11 = 4*t + v for t.
-3
Suppose x + 2*x - 2 = 2*h, -5*x = -3*h - 1. Let j = h - -5. Let a be 23/3 + j/(-6). Solve g - 3*g = a for g.
-4
Let o be (-5)/(-7) + (-20)/(-70). Suppose 4*v - 5 = -o. Solve -v + 4 = 3*l for l.
1
Suppose 7 = 5*n + 2*p, -5*p + 2 - 10 = 4*n. Solve -n*z = -z + 8 for z.
-4
Let w(r) = r**3 + 3*r**2 - 54*r + 5. Let s be w(-9). Solve -k + s = -0 for k.
5
Let x be (2/(-3))/((-3)/9). Let n(t) be the third derivative of -t**5/60 + 5*t**4/24 - t**3/2 - 251*t**2. Let h be n(x). Solve 4*g + h = -13 for g.
-4
Suppose 0 = -4*b + w + 85, -b = 5*w + 6 - 1. Solve 2*h = -2*h - b for h.
-5
Let z be 6 + ((-4 - -9) + -5 - -4). Solve 5*d - 3*d - z = 0 for d.
5
Suppose 3*x = -0*x - 18. Let j be 45/12 + x/8. Suppose m + j = 5. Solve 15 = -m*h - 3*h for h.
-3
Let j(u) = u**3 + 21*u**2 + 43*u + 103. Let o be j(-19). Solve -57 = o*z - 25 for z.
-4
Let f be -2 + 6 + (-20 - -20). Solve 4*c - f*c = 5*c for c.
0
Let w(c) = -2*c + 2. Let n = 14 - 13. Let u be w(n). Solve u + 3 = m for m.
3
Let n(l) = 4*l**2 + 46*l + 22. Let s be n(-11). Solve h = -s*h + 2 for h.
2
Let p(k) = -k**2 + 13*k + 5. Let t be p(12). Suppose 0 = 5*h - 32 + t. Suppose -5*m = -4*m. Solve m = -0*i + 3*i - h for i.
1
Let q(z) be the first derivative of -z**2/2 + 10*z - 4. Let u be q(8). Let i(c) = 2*c**3 - c**2 + c. Let n be i(1). Solve u*w - n = -6 for w.
-2
Let j be 2976/320 - (-3)/(-10). Solve 24 = -j*d + d for d.
-3
Suppose 0*b - 4*b + 12 = 0. Suppose -c + 115 - 116 = 0. Let t be 2 - c/3*b. Solve -2*p + 7 = -t for p.
5
Suppose -3*i + 82 - 22 = 2*c, 0 = -5*c - 2*i + 128. Solve -c*t + 29*t - 25 = 0 for t.
5
Suppose -300 = -15*m - 90. Solve -10*n + 12 = -m*n for n.
-3
Suppose 3*w + 74 - 2 = 0. Let l = -22 - w. Solve l + 8 = -2*m for m.
-5
Let r = -363 - -363. Solve -6*p = -r*p for p.
0
Let d be (-6)/24 + 18/8. Let o be ((-6)/(-9))/(5/15). Solve -d*g = -0*g - o for g.
1
Let l(y) = 10*y + 142. Let d be l(-14). Solve 3*v = 2*v - d for v.
-2
Let m be -62 - (-9)/((-45)/10). Let f = m + 68. Solve -b = b - f for b.
2
Let r(h) = h**3 - 3*h**2 + h + 1. Let s be r(5). Let w = s - 26. Suppose -6*l = -9*l + w. Solve 0 = b + b + l for b.
-5
Let a be (2 - (-21)/(-6))*(-17 - -15). Solve 6*v + a = 5*v for v.
-3
Let o(q) = 9*q**2 - 11*q**2 - 2*q + 5 + 3*q**2. Let p be o(3). Solve y = 3*y + p for y.
-4
Let z be (1/(-8))/((-1)/8). Let d = z - -1. Suppose -4*o + 37 = d*x + 3*x, 0 = -5*o - 4*x + 35. Solve -o*w + 2*w = 0 for w.
0
Let v(a) = -2*a + 12. Suppose -s - 5 = -5*x, 3*x - 3*s = 2*s - 19. Suppose x*t - 3 = 9. Let g be v(t). Solve -c + 2*c = g for c.
0
Let l(f) = 2*f - 3. Let m be l(5). Solve -d + m*d = 24 for d.
4
Suppose 27*b = 4*b + 69. Suppose f = b*g - 19, 4*g - 30 = 5*f + 10. Solve -4*x = -g*x + 5 for x.
5
Suppose 14*h + 17 - 59 = 0. Solve -5*g - 2 = h for g.
-1
Let a(p) = -p**3 - 88*p**2 + 73*p - 1421. Let z be a(-89). Let r be -1 - (-1 - -2 - 3). Solve 5 = z*g - r for g.
2
Suppose 0*y - 3*y = 12. Let h = 132 - 116. Let q = h + y. Solve -4*p = -p + q for p.
-4
Let o(f) be the second derivative of -f**5/10 + 5*f**4/3 + f**3/6 - 5*f**2 - 16*f. Let z be o(10). Solve 2 = -z*x + 2*x for x.
1
Let g = -1 + 4. Suppose m - 63 = -3*s, 5*m - 2*s = -4*s + 289. Suppose 10*r - m = 143. Solve -g*p = 2*p - r for p.
4
Suppose -2*h + 2*i + 10 = 0, 5*h - 2*i - 9 - 7 = 0. Solve -h*s - 2 - 8 = 0 for s.
-5
Let v = 214 - 214. Solve v = -2*s - 0 + 2 for s.
1
Let h(b) = -b**3 + 6*b**2 + b - 3. Let g be h(6). Suppose w = -2*c + 4, 4*c + 0*c - 6 = -g*w. Solve -c*s = s for s.
0
Suppose -4*t - 4*f - 16 = 0, t - f = -6*f - 24. Suppose -8*j = t - 9. Solve -o = -4 - j for o.
5
Let z be 4/(-14) + (-602)/(-49) + -6. Solve -10*j = -7*j + z for j.
-2
Let n(a) = a**2 - 3*a + 4. Let v be n(3). Let t = 13 + v. Suppose 0 = -4*g + 8*g - y - t, g - 20 = -5*y. Solve -x + 0*x = g for x.
-5
Suppose 3*k = -q + 7, 0*q + q + 2*k - 5 = 0. Suppose -5*h = 5*s + 5, q = 3*s + h + 2. Solve -1 = -b - s for b.
1
Suppose -3*w = 4*n - 6, -n = -4*w - 3 - 8. Let z be (n/3 - -3)/2. Suppose 3*p - z*y - 9 = -5*y, 0 = -2*p - 5*y. Solve -8 = p*t - t for t.
-2
Suppose -4*k = 3*a + 28, 44 = -4*a - 0*a - 4*k. Let x = a + 21. Let r = 9 - x. Solve -r*f + 0*f = 0 for f.
0
Suppose 4*j - 18 = x, -5*j + 21 = -x - x. Suppose 3*n - 12 = 0, 8 = -2*b - 2*b - 3*n. Let i be 9/5*b/(-1). Solve o = -x*o - i for o.
-3
Let t(h) = -h - 7. Let u(z) = -9*z - 1. Let p be u(-1). Let c(w) = -w**3 + 7*w**2 + 8*w - 7. Let g be c(p). Let a be t(g). Solve -i + 1 - 5 = a for i.
-4
Let y(u) = -u**2 - u - 1. Let v(n) = n**3 + 9*n + 3. Let o(b) = -v(b) - 5*y(b). Let d be o(4). Suppose -3*t + d*t = 0. Solve t = 3*c - 2 - 1 for c.
1
Suppose -i + 5 = q, 3*q + 5 = -i + 16. Solve -2 - i = -4*t for t.
1
Let o = -204 - -204. Solve o = 3*h - 3 - 0 for h.
1
Let s = -79 + 53. Let r = -22 - s. Solve x - 2*x + r = 0 for x.
4
Let p = -248 - -248. Let v be -1 - 3*(0 + -1). Suppose -3*x - v*x + 20 = p. Solve 0 = m + x*m - 10 for m.
2
Let s be 8/6 + (-4)/(-6). Let z(p) be the third derivative of p**5/60 - 7*p**3/6 - 16*p**2. Let o be z(-5). Solve -s = -5*j + o for j.
4
Suppose -145 = -3*c + 17. Let w = 67 - c. Solve w = -3*l + 28 for l.
5
Let y(k) = -2*k**3 + 46*k**2 - 44*k + 20. Let m be y(22). Solve 4*a + a = m for a.
4
Let q(f) = -10*f + 1. Let b(y) = 10*y - 1. Let d(v) 