, -2*k - 3*x - i = -1 for k.
1
Let k(x) = -11*x + 25. Let f be k(2). Suppose -4*h + 1 = 13, 2*n - 2*h = 30. Solve -6 = 4*b + t - f*t, -t = 3*b + n for b.
-3
Let s = -164 - -170. Suppose -s*f = f. Solve 2*l + 4 = 3*w, f = 2*w + 7*l - 3*l - 8 for w.
2
Suppose 4*l + 2*d = 10, -4*d = -2*l - d + 17. Solve 3*i = l*x - 23, 12*i - 9*i = -3*x + 12 for x.
5
Suppose 0*x + 65 = 13*x. Solve 3*g = -2*k - 1 + 9, 20 = x*k + 5*g for k.
4
Suppose 0 = 12*c - 9*c - 60. Solve 4*j - 3*r - c = 0, 2*r = 4*j + 4*r - 20 for j.
5
Suppose 61 - 193 = -33*m. Solve 0 = m*i - 20, j + 9 - 24 = -2*i for j.
5
Suppose 28*d - 32*d = -16. Suppose 1 = -k - 3*y, -d*k - 3*y - 1 = -6. Solve 4*r = -f - 29 + 12, -k*f + 4*r = -26 for f.
3
Suppose -3*g - 2*g = 4*k + 1, k = 4*g - 16. Suppose -9 = 2*p + g. Let u be ((-22)/(-4))/(p/(-12)). Solve 2*q = 4*b - 8, 2*q - 3*q + u = 3*b for b.
3
Let o be ((4 - 1) + -2)*4. Let v(w) = 2 - 27*w + 26*w + w**3 - o + 3 + 4*w**2. Let x be v(-4). Solve 4*c = -2*t - 22, -3*c + t - 9 = x for c.
-5
Suppose 5*c + 3*t + 0*t + 20 = 0, -c - 5*t = 4. Let a be c/6*3/(-2). Solve 0 = 5*s - 10*s - 4*d + a, -3*s - 21 = -3*d for s.
-3
Let a = 1250 - 1247. Solve 9 = -a*l + 5*g, -4*l - 12 = 15*g - 13*g for l.
-3
Suppose 5 = -5*p - n, p - 2*n = -0*p + 10. Let x be 1 + p - 1/(-2)*6. Solve -j - 13 = -x*i + 5, 0 = 4*j + 3*i - 4 for j.
-2
Let l be 39/65 - 24/(-10). Suppose -l = -0*n - n. Suppose -n*q = -q - 6. Solve 2*c = -5*t - 5, 4*c = q*t - t + 2 for c.
0
Suppose -177*f = -173*f - 44. Suppose 3*z - h = 13, -5*h + 0*h + f = 4*z. Solve -z*a = 5*u, a - u = -5 - 4 for a.
-5
Let o(a) = a**2 + 2*a - 21. Let n be o(-6). Suppose -50 = -5*w - 5*r, -27 = -5*w + r + 47. Solve -2*z = 3*t + w, -z - 10 = -n*t + 3*z for t.
-2
Let x = 2 - -1. Let z(t) = 3*t + 3. Let i be z(x). Suppose -2*k + 10 = -i. Solve -4*m - 4 = -5*d - 2, -d - k = 3*m for m.
-3
Let a(k) = -2*k**2 + 12*k + 14. Let z be a(7). Solve z*c = j + c + 3, 5*c = -4*j - 11 for j.
-4
Let s = -166 + 171. Solve -4*r - r = -s*w, 5*w - 3*r = -8 for w.
-4
Let q be -2 - ((-13)/3 - 19/(-57)). Solve -3*c - q*g = 5, -5*c - 1 = 2*g + 10 for c.
-3
Suppose 9*r = 4*r - 50. Let i(u) = u**3 + 12*u**2 + 12*u - 10. Let j be i(r). Let f = -49 + j. Solve -5*q + 3*q = 3*k - 11, k + 5*q = f for k.
1
Suppose 2*s = z - 8 - 0, 2*z + 2*s = 10. Let v be ((-3 - -2) + z/4)*2. Solve c - 4*h = -15, -5*c + 11 = -3*h + v for c.
5
Let b = 1920 - 1912. Solve 4*m - f = -b, -f + 5 = -3*m - 0*f for m.
-3
Let j(l) be the first derivative of -l**3/3 - 11*l**2/2 - 20*l - 8. Let z be j(-8). Solve 2*k + 2*a + 2 = 0, 0 = z*k + 5*a + 2 - 1 for k.
-4
Suppose -4*s - 3*o = -5*o + 254, 0 = 5*s + o + 335. Let k = s - -76. Solve -5*l = 3*x - k, 3*l = -5*x + 19 + 3 for x.
5
Let z = 6 + -1. Suppose 0 = 64*n - 457 - 887. Solve 5*y - 2 = -4*h - n, z*h + y = -8 for h.
-1
Let i = 22 - 26. Let l be (2/i)/(3/(-30)). Suppose 4 = -l*t + 14. Solve -c + 3*a - 2*a + 2 = 0, -t*c + 4 = 3*a for c.
2
Let c be -2*(27/6 - 6). Solve 0 - 9 = 3*b - c*h, -3*b + 15 = 5*h for b.
0
Let b(k) = -2*k - 13. Let v be b(-9). Suppose v*m - 22 = -12. Solve 3*y = 7*a - 2*a - 5, m*y = 5*a - 10 for a.
4
Suppose -5*k = -n + 8, 6*k - 4 = 2*k. Suppose 0 = -4*a + 5*s + 30, -a + s = -4*a + n. Solve 3 + a = -2*x - 2*v, 0 = 4*x - 2*v + 4 for x.
-2
Let t = -854 + 854. Solve -14 = s + 2*l - 7, t = -4*s + l - 1 for s.
-1
Suppose -4*z = 2*z - 144. Suppose 2*t = -18 + z. Solve -4*p + 26 = -3*h, h - 2*h - 17 = -t*p for p.
5
Let x be 21 - 4*(-2)/(-4). Suppose -8*l - 78 = -254. Let q = l - 3. Solve -2*s + 0*s = -5*y + q, 0 = 3*s + 2*y - x for s.
3
Let w be 5 + (-1)/(0 + 1). Let p(y) = -3*y**3 + 34*y**2 - 15*y + 58. Let k be p(11). Solve w*v - 2*m = -v + k, -2*v = m - 2 for v.
2
Suppose 72 + 27 = 33*f. Solve 2*l + 3*y + 2*y - 18 = 0, f*l - 2 = 5*y for l.
4
Suppose -32 = m - 9*m. Suppose -m*j = -3*g + 22, 2*g - 20 = 5*j - j. Suppose 22 + 44 = 3*t. Solve g*z + b = -3*z + t, -b - 18 = -3*z for z.
5
Suppose -4 = -3*x + 5. Suppose -x*y - 32 = -7*y. Let n be 38/y + 5/20. Solve -4*s + 1 = -3*s, -5*s = 5*w + n for w.
-2
Let q = -7 + 7. Suppose -13*s = -11*s - 6. Solve 5*b = -y + s, 5*b = -q*y + 5*y - 15 for b.
0
Let x(u) = u + 1. Let j be x(4). Suppose 4*h = j + 11. Solve 0 = -w + 1, -h*w = -0*f - 2*f - 8 for f.
-2
Let f be -1 + 10 + (-4)/(-2). Let d = 66 - 66. Suppose f*t - 6*t = d. Solve t = 4*s + s + h + 18, 5*h - 10 = 0 for s.
-4
Suppose -t + 0*m - 2*m = -2, -2*t + 4*m = -36. Let z = 14 - t. Let q = -16717 + 16731. Solve w + z = b + 2, -3*w = b - q for w.
3
Let p be (0*(-4)/12)/2. Suppose d + 7 = 4*u, -3*d + 5*u = -p*u. Suppose -i = 2*l - 6*i + d, -2*l + 3*i + 5 = 0. Solve -t - t - 2 = 4*a, -l = -a + 3*t for a.
1
Let g = 628 + -623. Solve -4*f - 3*k + 7 - g = 0, 0 = k - 2 for f.
-1
Let w = 142 - 122. Solve -5*l + w = -3*x, 3*l - x - 12 = -3*x for l.
4
Suppose 4*f - 299 = l, -318 = -3*f - 2*l - 91. Let b be 4/(-5)*f/(-30). Solve -b*c + 3*t = t - 4, -t = -3 for c.
5
Let a = -354 - -357. Solve x + 18 = 5*c, -13 + a = -c - 3*x for c.
4
Let r be -3*((-50)/(-15))/(-5). Solve 4*j - 4*d - 6 = 6, r*d = -3*j + 9 for j.
3
Let z be (-2)/3 - 92/(-3). Let t be (10/z)/(2/36). Let a be 14/t + (-8)/(-12). Solve 4*h + 14 = -2*o + 4*o, a*o = -3*h - 15 for h.
-4
Suppose -30 = -5*t + 2*q - 0*q, 19 = t - 3*q. Solve 10 = 5*h, 0*m = -m - t*h + 10 for m.
2
Let u be -6*(8 + 1)/(-18). Solve u*a - 23 = -4*b, 7*b - 5*a - 15 = 3*b for b.
5
Let f = 400 + -400. Solve 0 = o + o, -p + o + 2 = f for p.
2
Suppose 6 - 36 = -5*v. Suppose h + 120 = 9*h. Solve -3*y + h = 0, -y + v*y - 25 = 4*g for g.
0
Suppose -2 - 2 = -2*a. Suppose p + 3*o - 3 = -2*o, 0 = -a*p - 3*o + 6. Solve n - p*w + 4 + 6 = 0, -5*n = 3*w + 14 for n.
-4
Let p be (-16)/(-32) - (-51)/2. Solve -3*y - p = 2*w - 5, w + 18 = -3*y for y.
-5
Let z = -330 + 334. Solve z*b + 5*g - 4 = -12, -b - 3*g - 2 = 0 for b.
-2
Suppose 7*f = 4*f - b + 8, -4*f - 3*b = -14. Let w(r) = -r**3 + 8*r**2 - 2*r + 4. Let c be w(8). Let a = 17 + c. Solve -2*s - 20 = -7*s - f*i, a*s = 2*i for s.
2
Let w = 12 + -7. Suppose 28 = w*r + 8. Solve 3*q - r = c - 5*c, 3*c = q + 3 for q.
0
Let s = 334 + -326. Solve s = 2*i, 5*a - i - i - 2 = 0 for a.
2
Let o be (-2)/(-7) + 2 + 8/(-28). Suppose r + r = 5*g - 2, 5*g + o*r = 18. Solve -f = 5*s - 28, 0*s + g*f + 4 = 2*s for s.
5
Let d(h) = h**3 + 5*h**2 + 2*h - 2. Let l be d(-5). Let g = l - -15. Solve g*o + 3*z = -0*z + 15, 0 = 5*o - 2*z - 25 for o.
5
Suppose -8*h = -4*h. Suppose -3*b = 2*v - 6, 2*b - 4 = -7*v + 3*v. Let u = h + v. Solve 0 = -u*t + 2*t + 4, 3*t = -l - 9 for l.
-3
Let k = 8 + -6. Let d be (1 + 4)*(-1 + 0). Let x = -2 - d. Solve 0 = -x*i + k*n - 3*n - 17, -4*n = -i + 16 for i.
-4
Let f be (-1)/(-3) + 45/27. Let r = f - -1. Suppose -r = -4*k + 1. Solve -3*v - 2 = k, 2*v - 6 = -4*u for u.
2
Let l be 61/5 - (-4)/(-20). Suppose -g + 3*m = l, -2*g + 2*m = -g + 8. Solve i + 4*a = 4, g*i = -i + 4*a + 4 for i.
4
Suppose 2*q + 9*o - 10 = 5*o, -2*o + 14 = 4*q. Suppose 4*x + 3*h - 6 = -x, 5*x - 21 = 2*h. Solve 2*t - 9 = -2*d + q*t, 0 = 3*d - x*t - 15 for d.
4
Suppose 13 = -4*z + 1. Let f(q) = q**2 + 4*q + 3. Let t be f(z). Let p be 0/(4/(-2) - (-2)/2). Solve -3*a + 6 = -3*n - p*n, t = -5*n - 2*a - 31 for n.
-5
Let b(n) = -2*n + 2. Let v be b(8). Let c(o) = o**3 + 11*o**2 + 10*o + 16. Let r be c(-10). Let i = r + v. Solve i*q + 0*q + 2*k = -10, 5*q = 4*k - 25 for q.
-5
Let q = 25 + -12. Suppose -2*p + 215*r - 19 = 210*r, -4*p + 4*r - 8 = 0. Solve -3*l = 5*j - q, -l - 4*j = -p - 13 for l.
-4
Let a be ((-1)/2)/(6/(-12)). Let d = -41 + 43. Solve -4*q - 4 = d*r, 3*q - a = -4*r - 14 for q.
1
Suppose 0 = 8*a - 3*a - 20. Suppose 0 = a*w + 5*s - 36 + 3, 5*w = 5*s - 15. Solve -2*g - w*t = -4, -5 = -3*g - 2*t - 2*t for g.
3
Suppose 13*m = -12*m + 125. Suppose 18 + 2 = 5*x. Solve x*p - 33 = m*s, -5*s + s - 10 = 5*p for p.
2
Suppose s = -s - 5*z + 5, 5*s = 5*z - 5. Solve -5*t - 22 = -4*a, 4*a = -4*t + 4 - s for a.
3
Let d be 40/(-16)*(-2 - 88/10). Suppose -4*v = -0*v + 2*u - 40, 3*u - d = -3*v. Solve 3*c + p - 2*p - v = 0, -2*p - 6 = -2*c for c.
4
Suppose 2*h - 3*a = -2*a - 8, 0 = 4*h + a + 22. Let q(n) = -7 + n + 12 + 6. Let w be q(h). Solve -2*f + 8 = -5*u - w, -3*u - 21 = 3*f for f.
-3
Suppose -5*m - 17 = -i, 2*i + 18*m = 13*m - 11. Solve 5 + 15 = 3*d + 5*z, -4*d + i*z = -18 for d.
5
Let n be (6/12