for k.
1
Let u(z) = z - 3. Let f be u(-1). Let k be (f + 8 + -4)/(-1 + 0). Solve -i + k*i - 2 = m, 4*m = -3*i - 5 for i.
-3
Suppose -538*j = -562*j. Solve 2*p = 5*m - 2, p - 15*m + 13*m = j for p.
4
Suppose 5*w - 4*f = 287, 51 = -0*w + w - 4*f. Let d = w + -53. Solve 0 = -c - y + 9, 1 = 3*c - y - d for c.
4
Suppose 12*m = 3*m - 18. Let s be 2/(-3)*((-15)/6 + m). Solve 3*a = s*d + 6*a - 3, 2*d - 3*a - 12 = 0 for d.
3
Suppose 430*g = 2259 + 1181. Solve g = -7*x + 2*x + 2*a, 2*x - 2*a = -8 for x.
0
Let d(y) = 24*y - 285. Let n be d(12). Let a = -4 - -13. Suppose -a + 18 = n*q. Solve u = q*u - 2*x, 0 = -u + 5*x + 12 for u.
-3
Let v(r) = -r**3 - 2*r**2 + r + 144. Let x be v(0). Suppose 123*z = 111*z + x. Solve -u + 0*q = q + 2, 2*q + z = -4*u for u.
-4
Suppose a - 3037 = -5*b, -614 = -b - 5*a + 7*a. Let k = b - 608. Solve 0 = -2*q - 3*z + 17, -13 = 2*q - k*z - 3*z for q.
1
Let g be 4*(3/2 - 1). Let y(c) = 3*c**3 + 15*c**2 + 7*c + 37. Let z be y(-5). Solve -m - 2*m + 2*p = -z, -5*m + 2*p = g for m.
-2
Let w be 33/(-5)*(24/84 - 41/21). Solve 4*b = 0, -5*i + b = w - 1 for i.
-2
Suppose -5*s + 10*s + u = 17, 0 = u - 2. Solve -s*i - 3*o = -o - 20, -16 = i - 5*o for i.
4
Suppose 0 = -2760*d + 2744*d + 96. Suppose p - 13 = 3*b, -p - 3*b = -3*p + 17. Solve -8 = -p*u - 4*x, 0 = -d*u + 4*u - x + 2 for u.
0
Let c(o) = -11*o + 60. Let p = 84 - 82. Suppose -4*s = p*w - 2 - 28, 0 = 4*s - 2*w - 10. Let u be c(s). Solve u = -4*z - z, -4*q + 4*z = -12 for q.
2
Let g(z) = 4*z**3 + 17*z**2 - 18*z - 13. Let b be g(-5). Solve 0 = -2*p - 0*t - b*t, 5*p - 4*t = 0 for p.
0
Suppose -8 = -3*s - 0*s + 2*j, -4*j - 4 = -4*s. Let m(r) = 0*r - 5*r - 3*r**2 + 4*r**2 - 6. Let c be m(s). Solve -3*g - 7 + 21 = y, c = 2*y - 10 for g.
3
Suppose 9*b - 27 = -3*b + 3*b. Solve b*a + 2 = -2*w, -6*a = 2*w - a - 2 for w.
-4
Let v(h) = 90*h + 363. Let f be v(-4). Solve -11 - 13 = f*q - 5*t, q = 2*t - 9 for q.
-3
Let b be (87/(-4))/(162/(-1728)). Let o = b + -227. Solve -j - 14 - 11 = 5*l, -l - o*j - 29 = 0 for l.
-4
Let c(n) = 12*n + 106 - 13*n - 104. Let j be c(-1). Solve 0*k + 4*w = -3*k + 13, 4*w + 5 = j*k for k.
3
Let m = -384 + 384. Solve 29*s - 31*s + 8 = 0, m = 5*n + 2*s - 33 for n.
5
Let k(a) = -a**3 - 6*a**2 - 11*a - 7. Let n = 196 - 201. Let l be k(n). Solve -8*x + 3*x + f = l, -2*x - 4*f = 18 for x.
-5
Suppose 29*h + 1260 = 35*h. Suppose -30*l = -0*l - h. Solve -5*y = -c + l + 9, c + 5 = -2*y for y.
-3
Let b(a) = -a**2 + 12. Let x be b(0). Let m be (-4)/(x/6) - 2/(-1). Solve 4*d = -4*j - 36, m = d - 4*j - 4 - 7 for d.
-5
Let a be 18 + 16/((-32)/10). Solve -w = -2*o - 10, a*o = 12*o - 3*w - 5 for o.
-5
Let v(k) = k**3 + 4*k**2 + k + 33. Let p be v(-5). Let c be 2/(-5) + (-135)/(-25). Suppose -3*d + c = -28. Solve -p*f + a + 21 = 3*a, -d = -f - 2*a for f.
5
Let g(w) = -w**2 - 14*w - 20. Let c(l) = -l**3 + 2*l**2 + 29. Let s be c(4). Let d be g(s). Solve 3*f = n - d, 5*n - 6 = -f - 21 for n.
-2
Let n(p) = -9*p + 3. Let w be n(-1). Suppose 13*d + w = 19*d. Solve -2*g + g + d = 0, -13 = -5*a - 4*g for a.
1
Suppose -11*d + 64 = 31. Suppose 0 = -5*g + 2*i + 4 + 6, d*g - 6 = -2*i. Solve g*x + 17 = -5*q, -2*x = -5*q - 26 - 7 for q.
-5
Let k be 6/10 + (-31131)/135. Let v = k + 235. Solve 5*f = -2*g - 0*g - 12, -v*g + 20 = 0 for f.
-4
Suppose -43 = -73*o + 103. Let w be 1/(-4) + 26/8. Suppose 0 = -g - 3*d + o*d - 1, -17 = -4*g + w*d. Solve -2*q + 22 = 3*u, 2*q + g = 2*u + 4 for u.
4
Suppose -9*h = 9*h. Suppose h = -33*y + 12*y + 84. Solve 0*n + 7 = 3*t + 5*n, -2*t + y = 3*n for t.
-1
Let h(i) = -4*i + 1 - 6*i + 17*i + 0*i. Let q be h(0). Solve -v - 4*w - q = -17, 2*v = -3*w + 17 for v.
4
Let u(j) = -15*j**2 - 108*j - 7. Let y be u(-7). Let v = 23 + -20. Suppose 1 = -t + 4. Solve -v*g = 2*n + 21 - 5, -4*n - y = -t*g for n.
-5
Suppose -2*r + 7 = 5*j, 4*j + 11 = 9*j + r. Suppose 4*o - 8 = -2*w, o = j*w - 2*o - 21. Let y = 2035 - 2030. Solve -3*u - 11 = -y*a, u + 35 = 5*a + w*u for a.
4
Let q(c) = -c**3 + 14*c**2 - 46*c + 60. Let h be q(10). Solve 0 = 4*g + 4*u - h*u + 24, -2*g - 4*u = 20 for g.
-2
Let p(k) = 14*k**3 - k**2 + 3*k - 1. Suppose -11*a = -8*a - 3. Let t be p(a). Solve -2*s + 3*n = 7, 6*s - s - n - t = 0 for s.
4
Suppose 5*g = -2*z - 20, 9*g = -3*z + 4*g - 20. Let r = -56530 - -56532. Solve 0 = -5*x - 3*o - 3, -4*x - o + 3*o + r = z for x.
0
Suppose -162 = -10*f + 978. Let i = f + -112. Solve -i*k = -2*n, 0*n = -n + 3*k - 8 for n.
4
Let k be 81/(-15) - 6/10. Suppose -10 = 129*c - 130*c. Let b = c + k. Solve w - 4 = 3*y, 4 = -5*w + b*y + 13 for w.
1
Let p(v) = -17*v - 152. Let k be p(-23). Let l = 241 - k. Solve -8 = 3*q + 4*r, q - l*r = -4*q + 30 for q.
4
Let q be (-5)/(((-3630)/88)/33). Suppose 0 = 5*s - 3*s - 40. Solve s = q*d - g, 4*d - 20 = -0*g + 3*g for d.
5
Let c(b) = -b**2 - 37*b - 128. Let i be c(-4). Solve -5*n + 10 = 0, i*h - 6*n + 2 = -3*n for h.
1
Let s = -12 + 12. Suppose 14*x = 15*x - 7. Suppose 2*r + x = t, 6*t = 4*t + 5*r + 15. Solve -t*v + q - 13 = s, 0*q = -v - 3*q + 7 for v.
-2
Suppose 0 = -2*b + 1 + 13. Let w be 4/b*(-70)/(-5 + -5). Let f = -6 + 8. Solve -2 = 3*k - 5*k - f*h, -w*h + 20 = 0 for k.
-4
Suppose -2*a + 72 = a. Let j(g) = g**3 - 32*g**2 + g - 32. Let l be j(32). Suppose -15*u + 3*u + a = l. Solve 4*q - 2*h = h + 9, 5*h - u = q for q.
3
Let y be -6*3/6 - (-2 - 41). Let i(x) = x**2 - 44*x - y*x + 7 + 78*x. Let s be i(5). Solve -5*p - 2*h = -3*h + 29, 0 = -s*p - h - 6 for p.
-5
Let q(j) = j**2 + 10*j + 1. Let x be q(-10). Let n be -9*(0 - 3/9). Suppose n*k = 3*w + 3, -2*w + 4*k - 7 + 3 = 0. Solve -g = b - w - 3, -5*g - x = b for g.
-1
Let t(d) be the second derivative of d**4/12 - 9*d**3/2 + 73*d**2/2 - 99*d. Let i be t(24). Solve -4*j - h - 5 = -0, 2*j - i = 3*h for j.
-1
Let m = 2265 + -2260. Solve 10 = 2*h, m*x - h = -12 - 8 for x.
-3
Let i(b) be the first derivative of 12 - 1/3*b**3 - 3*b - 4*b**2. Let r be i(-6). Solve 2*w + 4*n = w + 16, -r = -3*w + n for w.
4
Let s be (-6)/9 - (-4)/(-3). Let q be -3*(s + 8/6). Let w be 4 + (2 + -2)/7. Solve -b + 1 = 0, w*v + q*b = b + 1 for v.
0
Let g be (-11 - (-20)/5)*(-9)/(-3). Let x be (g/6 - -2)*-2. Suppose 3*h = s + 10, x*s = 2*h + 1 + 4. Solve m + h = 5*o, 3*m + 12 = 2*o - 3 for o.
0
Let r = -6161 - -6164. Solve o = -3*i + 30 - 10, -4*o + r*i + 5 = 0 for o.
5
Suppose 0 = 300*l - 275*l - 100. Solve 5*y = -4*j + 17, -6*y - l*j + 14 = -4*y for y.
1
Let q be 3*(-3)/15 - 18/(-30). Let i be (-2 - q)*(0 + -1). Solve 3*x - 12 = -i*w + 7, 0 = 5*x + 5*w - 40 for x.
3
Let n be 1056/(-1232) - ((-4)/14)/((-12)/(-1002)). Suppose -10 - 8 = -m - 4*y, 3*m = -2*y + 14. Solve -2*r + m*j = 3*r - n, -4*r - 3*j + 23 = 0 for r.
5
Suppose 3*q - 5*m = 21, 5*m = 47 - 47. Let v be -2 - (1 - (0 - -5)). Solve 5*o = -v*h + q, -4*o + h = 5*h - 8 for o.
1
Let p = -486 - -334. Let b = -152 - p. Solve b = 4*k + 20, k = 2*o + 3*k + 16 for o.
-3
Suppose 0 = u + 5*b - 2, -70*b + 68*b - 10 = -5*u. Solve -u*l - f = 3*f + 4, 0 = -l + 5*f - 2 for l.
-2
Suppose 20 = -4*l, 8*l - 25 = -5*q + 11*l. Suppose 0 = -4*n + x, 0*x = -q*n - 4*x. Solve -3*d + 3*h - 9 = n, 2*d + d + 3*h = -15 for d.
-4
Suppose 4*x + 5*h = 9*x + 2490, 0 = -5*h. Let p = x + 502. Solve -2*b - 8 = -2*a, -4*a + 8 + p = -2*b for b.
-2
Let x = 35 - 31. Suppose 2 - 12 = -4*n + 2*k, -5*n - x*k - 20 = 0. Let c be (-36)/(-48) + (15/(-4))/5. Solve 6*g - 3*g + 4*d = n, c = 2*g + d for g.
0
Let r be 2 + 1092/16 - (-2)/(-8). Let l = r + -65. Suppose -10 = -2*f, t + 2*f - 18 + l = 0. Solve 4*c = 5*q - 6, t*c - q = -0*q + 1 for c.
1
Let f = 73 + -127. Let y be (7/(-2))/((f/(-84))/9). Let i = y - -49. Solve -3*t = 4*h - i*h + 3, -2*t + 12 = -2*h for t.
3
Let l = 4423 - 4422. Solve -l = 2*s + 8*v - 7*v, 30 = -5*s + 3*v for s.
-3
Let n be (35 - 31) + (340/(-2))/2. Let w be n/(-45) + 2/10. Solve 3*f + 1 = -w*g - 8, 12 = -3*f - g for f.
-5
Let z = 1402 + -1372. Solve -5*p = t + 24, p - 6*p - z = -5*t for t.
1
Suppose -3*t - 27 + 97 = 5*b, 2*b = -3*t + 19. Suppose 0 = -11*s + 71 + b. Solve -45 = 3*p - s*p - 4*n, -5*p + 35 = 2*n for p.
5
Suppose 0 = 26*q + 90 + 66. Let a be (15 - (q - -14)) + 3. Solve -3*b + 1 - a = 0, -5*o - 4*b + 8 = 0 for o.
4
Let l be 3/(3 - 12/8). Let q be 1*(2 - 10)/l. Let r be 1/(-4) + (-17)/q. Solve 3*m + 6 = 5*u - r*u, -2*u + 10 = -4*m for m.
-1
Suppose o + o - 6 = 0. Let 