 for k.
1
Let y be (-10 + 28/(5 - 1))*(-12)/9. Solve -v = -5, 0 = 2*m - y*v - 14 + 30 for m.
2
Let b = 40 - 44. Let o be (5/(-20))/(b/112). Suppose -8 = -o*p + 5*p. Solve -2 = -l - p*a + 15, -a + 3 = -l for l.
1
Let r = -56 + 124. Let l = r - 37. Suppose -30*g + l*g = 10. Solve 3*z + 7 = 4*y, -z - g = -y - 3*z for y.
4
Let y = 124 - 94. Let q = 37 - y. Solve -o + 2 + q = -2*c, 0 = -2*c + 5*o - 5 for c.
-5
Suppose 4*h = -3*t - 45, -h = t - 3*h + 15. Let n(q) = q**2 + 18*q + 48. Let f be n(t). Solve 0*o = f*o + 4*v - 8, 18 = 5*o + 2*v for o.
4
Let u(c) = c**3 + 6*c**2 - 19*c - 22. Let b = -107 + 99. Let s be u(b). Solve 5*a - 25 = 0, 4*n - s*n - 3*a + 15 = 0 for n.
0
Let h(k) = 3*k**3 - 137*k**2 - 42*k - 139. Let t be h(46). Solve 0 = f - 2*z + 15, 10*z - 14*z + t = -5*f for f.
-5
Suppose 0 = -18*d + 6*d + 120. Suppose d*a - 96 = -6*a. Solve -4*u + a*r - 32 = 3*r, 0 = 4*u - 5*r + 40 for u.
-5
Let w = 1487 - 1482. Let n = 2 + 14. Solve w*y + 6 - n = -4*k, 0 = -5*y - 10 for k.
5
Let f be 4*6*(-6)/(-36) + -9 + 15. Solve 5 = -5*w - 2*i, -5*w + 5 - f = i for w.
-1
Let z be -12*(-22)/(-264) + -1 + 11. Solve 2*u = -4*a - 3*u + z, 4*u - 28 = 2*a for a.
-4
Let w = 29 + -20. Let p be (-12)/(-270)*w*(-175)/(-1). Let a be (p/(-15) + 4)/(3/(-45)). Solve -s - 8*o = -4*o - 5, -2*s - 3*o + a = 0 for s.
5
Let d = 19899 - 19897. Solve -4 = i - 4*b, -d*i - 8*b = -10*b - 4 for i.
4
Let f(l) = -l**3 - 11*l**2 + 14*l + 28. Let k = 41 - 43. Let w be k/14*-2 - (-688)/(-56). Let d be f(w). Solve 1 = -2*m - d*x - 1, 2*m - 4*x = -2 for m.
-1
Let x be (2/9)/(1740/108 - 16). Solve -2*a - v - x = 0, a + 35*v - 39*v = -1 for a.
-1
Suppose 9*k = -6*k + 850 - 820. Solve k*z = 3*q - 2, -4*q + 5 + 1 = -z for z.
2
Let c(w) = 9*w - 267. Let b be c(33). Let l be 25/1 - (b/6 - 3). Solve l = -5*z + 2*t, 4*z - 1 + 5 = -2*t for z.
-3
Suppose 10*b = 14*b - 12, -317 = 5*d - 4*b. Suppose -2*p - 24 = 68. Let y = p - d. Solve -5*h - 25 = 5*k, 4*k = 4*h - 3 + y for h.
-4
Let x(o) = -8*o**3 + 26*o**2 - 8*o + 6. Let h be x(3). Solve 3*f + 6 = 3*v - 3, h = -4*v + f + 15 for v.
4
Suppose -f + 5*f = 2*a - 18, -5*a - 4*f + 3 = 0. Suppose a*q + 132 + 57 = 0. Let l = 63 + q. Solve 2*s = 3*h - l*s - 14, -8 = 2*s for h.
2
Let l be (-3171)/(-91) + 2/(-52)*-4. Suppose -4*g + l = 5*i, -2*i + 1 = -7*g + 6*g. Solve i*w - w = 5*k - 16, -5*k + 3*w = -19 for k.
2
Let s(r) = -26*r + 494. Let d(p) = p - 17. Let z(f) = 117*d(f) + 4*s(f). Let y = 27 + -26. Let q be z(y). Solve q = -a - 5*w - 23, 0*a = -3*a + 4*w + 7 for a.
-3
Let g = 6378 - 6375. Solve 3*x = -d + 4, -3*d - x + 1 = -g*x for d.
1
Suppose 0 = -f + 4*f - 81. Let g be (-10)/3*f/(-18). Suppose 0 = g*q - 15 - 5. Solve 3*s + 3*m = m - 10, -2*s + q*m = -4 for s.
-2
Let v(p) = -p**3 + 6*p**2 + 18*p + 14. Let j be v(8). Suppose -10*s + j - 10 = 0. Solve 3*b + t = -20, -3*b - 40 = s*b + 3*t for b.
-5
Let w = 25 - 0. Suppose -2*f = 4*c + 30 - 40, -5*f = -5*c - w. Solve -3*n - 10 = 3*k - 2*k, 4*k + 5*n + 19 = c for k.
-1
Suppose 5*b + g = 20, 39*b - 35*b = 4*g + 40. Suppose 21 = 3*h + 3*l, -b*l + 15 = 6*h - 5*h. Solve k - u + 1 = 3*u, 5 = -5*k + h*u for k.
-1
Suppose 0 = -5*x - 3*l + 62, -125*x + 128*x - 72 = 4*l. Solve -4*i + 4*y = -0*i + x, y + 20 = -3*i for i.
-6
Let r be 407/74 + (-5)/2. Suppose -24 = -r*v - 38*x + 35*x, 5*v = 2*x + 19. Solve 3*z - 1 = -4*c + 13, c - v = 0 for z.
-2
Suppose -56 + 105 = -22*g + 313. Solve -6*a - o = -11*a + g, 4*o = -4*a for a.
2
Suppose 187 + 4 - 7 = 23*r. Solve 5*x + 468 = 4*u + 448, 2*x = 2*u - r for u.
0
Let y(f) = -f**3 - 3*f**2 + f - 1. Let d be y(-3). Let r be (5/d)/((-4)/16). Let c be (-4)/2 - 610/(-61). Solve 5*k = 4*z + 2 - c, 26 = r*z + 3*k for z.
4
Suppose 80*c + 103 = 4*t + 83*c, -109 = -4*t - c. Solve 4*m - t = v - 33, -4*v - 5*m - 1 = 0 for v.
1
Let y be (-2)/9 + 2068/396. Solve -3*a + 5*a + 16 = 2*b, -y*a - 10 = b for b.
5
Suppose -2*b + 35 = 3*w, 2*b + 565 = -w + 590. Solve -4*x - 2*o + b = 0, 3*x = -3*o + 3 + 6 for x.
2
Suppose -117 = -146*b + 137*b. Solve -x = -5*a + 2, 16*a - 3 = b*a for x.
3
Let a(u) = -48*u - 99. Let p be a(-10). Let v = 384 - p. Solve b + 3 = 3*b - 3*l, -v*b = -5*l - 4 for b.
3
Suppose -3*z = 3*a, 5*a - 235 + 200 = 2*z. Solve 35 - 34 = -v - p, a*v + 5 = 4*p for v.
-1
Suppose 5*q - a - 31 = 0, -5*q - a - 17 + 36 = 0. Solve 17 = 5*s + t, -q*s + 6*t = 2*t - 32 for s.
4
Let f be (-4)/10*(-10)/2. Suppose -y - 5*c = -8, -4*c = 4*y - 5*c - 11. Suppose 23*q = 24*q - y. Solve -2*v - 12 = -0*t - f*t, -q*t + 2*v + 17 = 0 for t.
5
Suppose -35*l = -38*l + 9. Suppose 4 = g + 2, -5*b - l*g = 394. Let r = 80 + b. Solve 2*t = 5*n + 21, r = -2*t + 3*t + n for t.
3
Let h = 5 + -13. Let k be (-7)/((-84)/h) + (-79)/3. Let b = -25 - k. Solve 2 + b = -n + 2*r, -3*r + 20 = 2*n for n.
4
Let z = 2 + -2. Suppose 472 = 12*y + 436. Let i = 14 - 11. Solve -3*s + 19 = -z*s + 5*l, -y = -i*s + 3*l for s.
3
Suppose 0 = -6*d + 677 + 469. Let u = d + -188. Solve u*f + 9 = -5*x + 2*f, 0 = -x - 5*f + 3 for x.
-2
Suppose -34*a + 952 = -0*a. Solve -5 = -4*u - 3*g - 9, -3*u = -4*g + a for u.
-4
Let p(k) = -k**2 + 6*k + 2. Suppose 14 = 5*t - 11. Suppose 4*m - 28 = 4*b - 0*b, -t*m = -3*b - 31. Let q be p(m). Solve -s = q - 2, i + s = -3 for i.
2
Let k(g) = 15*g + 20. Let a be k(-1). Solve -3*n - 2*c = -16, -a*n - 2*c = -6*n for n.
4
Let y(k) = 6*k**3 - 15*k**2 + k + 13. Let c be y(4). Suppose 0 = 11*h - c - 59. Solve -2*u = 2*i - 10, 0*u + u - h = -4*i for u.
0
Suppose 735*h = 727*h + 16. Solve -22*s + i + 37 = -26*s, 0 = h*s + 5*i + 41 for s.
-8
Let f be 7 + (66*-1)/6 + 6. Suppose f*k + 80 = 6*k. Suppose -o + 22 = o. Solve 4*m - 5*t = k, 0 = 2*m + 5*t + 1 - o for m.
5
Suppose 0 = 49*k + 13*k - 1612. Solve 0 = 4*p + 16, -3*g + 3*p - 8*p = k for g.
-2
Let d(j) = -916*j + 6441. Let g be d(7). Solve -2*f + a + g - 21 = 0, f - 2*a - 10 = 0 for f.
2
Let t be 4/14 - ((-552)/28 + 0). Suppose 0 = -s - 9*s + t. Suppose -2 = -3*c + 13. Solve c = -o + 3*a - s, o - 5*a = -9 for o.
-4
Suppose p - 5*i - 5 = 0, -5*p + 5 = -497*i + 492*i. Let n(l) = 2*l - 5. Let j be n(4). Solve j*m - 22 = 5*t, p = -m + 3*t - 0 + 14 for m.
-1
Let z be (-1*(-2)/(-6))/((-4)/(-1956)). Let b = z + 171. Solve 2*d + 4*y = -b, 4*d = -2*y - 2*y - 12 for d.
-2
Let o(m) = -m**2 + 29*m - 75. Let f be o(3). Solve 5*h = -c - 15 + 4, -5 = c + f*h for c.
4
Suppose 97*t - 330 = 94*t. Let r be 420/t - (1 + 13/(-11)). Solve p - 3*l = 5, 0*l = r*l + 4 for p.
2
Suppose 0 = 3*l + 3*o + 7 - 1, -l + 2*o + 4 = 0. Suppose -5*z = -2*q + 6 - 5, -3*z + 3 = l. Solve -5*a = -5*c + 10, -q*c + 17 = 3*a - 7 for a.
3
Suppose -5*h - 228 + 253 = 0. Solve 21*i = 23*i - 4*z - 20, h*z + 7 = -2*i for i.
4
Let p = -17148 - -17160. Solve -3*o + 3*u = -p, -5*u + 6*u = -4 for o.
0
Let d(f) = -13*f**3 + 51*f**2 + 5*f + 16. Let r be d(4). Solve 33*z - 37*z - 4*w = r, 0 = -2*w - 4 for z.
-3
Suppose -3*j - j = 0. Suppose 1 = -l + 5, j = -5*q + 2*l + 2. Let s be (-6 + 13)/21*1*6. Solve -s*i - 2 = -q*b - 0, -2*b + 6 = -4*i for b.
-1
Suppose -2394 = -7*f - 12*f. Suppose 3 = -41*k + f. Solve -k*j + 14 = -2*m + 4*m, -j + 10 = 2*m for j.
2
Suppose 0 = -5*a, 1292 = -j + 5*j + 4*a. Let n = j + -321. Solve 1 = n*k - l + 8, -14 = 3*k - 5*l for k.
-3
Suppose -4*z = 2*r - 12, -4*z = -3*z - 3*r + 4. Let w be (2 - 5)*8*7/(-42). Solve -w*k + 2*k - 2 = l, z = -2*k + 4*l for k.
-1
Let u = -58 - -33. Let k = 54 + u. Suppose -5*t = 5*r - 11 - k, 3*r - 6 = 3*t. Solve -r*d = 1 - 26, 0 = 4*m - 3*d + 15 for m.
0
Let x = -235 - -179. Let o be (2/x + 10/35)*12. Solve -a = -4*a - o*l, 0 = 5*a - 3*l + 24 for a.
-3
Let u be 132/297 - ((-1)/3 - 87/27). Solve 3*l + 3*p = -27, 6*l - u*l - 4*p - 12 = 0 for l.
-4
Let s be -9 - -9 - 70/(-2). Let r(f) = 118*f - 349. Let p be r(3). Solve 5*j = p*l + s, -j - 18 = 3*l + l for j.
2
Let n be 4/(((-2)/9)/(-2)). Let o = -5391 - -5424. Let a = n - o. Solve 3*s + a*y + 26 = -2*y, -2*y - 10 = s for s.
-2
Suppose -171*a + 29 = -318 + 5. Solve 0 = a*h - l + 44 - 40, -h - 11 = -5*l for h.
-1
Let l be 10/(-6) - ((-24)/9 + 3). Let f be (-3 - l) + 9 + -5. Suppose -3*w + 75 = -3*i, w - 2*w + 25 = -f*i. Solve -b - 14 = 5*c, -4*b = 4*c + w - 1 for c.
-2
Suppose -71*y + 145*y = 75*y - 3. Solve a - u - 10 = 0, -y*a + 20 = 53*u - 54*u for a.
5
Let a = -9566 - -9568. Solve 0 = 2*s + 2*x - a, -18*s + 21*s = 3*