for k.
4
Let z = -180 + 171. Let t be (3/9)/((-1)/z). Solve t*f + 5*u + 28 = 5, -f - 3*u = 13 for f.
-1
Suppose 53 - 147 = -44*i + 82. Let p be 4 + (0 - (2 - 2)). Let m = 6 - p. Solve m*z - i*j = -2*z - 12, -3*z - 8 = -2*j for z.
-2
Let z be (3 + -3 + -2 - -1)/(-1). Let w be (2 - z) + 2/2. Suppose -7 = -p + r, 0 = -5*p + w*r + 11 + 9. Solve 3*s - 3*i = 24, 2*i - 14 = p*s - 6*s for s.
5
Let u = 2317 + -2315. Suppose -10 = -5*a - 0*a. Solve -5*t = 4*p - a, 3*p = 2*t - u*p - 14 for t.
2
Suppose -469*t - 3*x + 24 = -467*t, -4*t + 12 = -3*x. Solve 2*s - w + 2 = -0*s, -2*w - t = s for s.
-2
Let a(i) = i**2 - 56*i + 469. Let l be a(10). Solve 2*f = -0*o + 5*o - 3, 5*o = -f - l for o.
-1
Let a(c) = -c**3 + 4*c**2 + 3*c + 8. Let x be a(4). Suppose x*d = 47*d + 24*d. Solve -2*r - 3*j + d - 6 = 0, 0 = -2*j for r.
-3
Let v be -6 + (-6)/(-1) - (2 + -4). Let m be (7 - 5) + 2 + v/(-1). Solve -4*y - 2*d + 26 = 0, -4*y + m*d = -y - 9 for y.
5
Suppose 0 = -2*z + o - 23 + 50, -2*o = 6. Solve 16 = -b - 2*p + 6*p, z = -3*b + 3*p for b.
0
Let m(t) = 7*t - 123. Let h be m(18). Suppose 0 = 6*k - 7*k - 2*u - h, u - 6 = -3*k. Solve a - 3*s + 6 = 0, k*s - 15 = -2*s for a.
3
Suppose -2571*a + 2594*a - 115 = 0. Solve -a*m - 4*h = -9, m - 3*h = -8*h + 6 for m.
1
Let z be (5 - 2) + -1 - -10. Suppose z = 2*d - 2. Let t = 1 + d. Solve -4*j = 2*b - 4*b + 12, -t = 2*j for b.
-2
Suppose -3*z = 10*m - 12, 0 = -2*m + 2*z - 174 + 192. Let y be 0/(-2) - (-4)/1. Solve -y*s - f + 18 = -m*f, -s = 5*f - 10 for s.
5
Let i = -3719 + 3722. Solve p - r - 1 = 0, -3*p - r = i + 6 for p.
-2
Suppose -q - 1 = -v + 2, -2*v - 4*q + 36 = 0. Suppose 0 = 2*h + v, -16*w + h + 44 = -11*w. Solve s + 4*k = w, -2*k + 3 = s - 1 for s.
0
Suppose 0 = -4034*y + 4027*y + 28. Solve 2*o = o + 4*d - 14, -12 = -y*o - d for o.
2
Suppose 17*s - 12*s = 5. Let m = 17 + 38. Suppose -4*h + h - 4*o = -61, 0 = -5*h + 5*o + m. Solve -5*g + h = 0, -g - 2 + s = -w for w.
4
Let d(f) = f**3 - 33*f**2 + 61*f + 33. Suppose 29*n - 31 = 28*n. Let c be d(n). Solve 0 = m - 2, 5*t + c*m + 12 = 3*m for t.
-2
Suppose -78*n + 42 = -64*n. Solve -20 = 5*z + 5*w, 17 = -n*z - 17*w + 19*w for z.
-5
Let n(t) be the second derivative of t**4/2 - 10*t. Let p be n(1). Let i be (-4)/(p - -2)*0. Solve 2*q - 2*m + i = -2, 0 = -3*q - m - 15 for q.
-4
Let i(f) = -4*f**3 + 6*f - 20. Let b be i(4). Let t = 276 + b. Solve -q = 4*a - t, -3*q + 2*a - 14 = -4*q for q.
4
Let d(o) = -13*o**2 + 18*o + 18. Let w be d(2). Solve -v + 2 = -5*i + 14, 3*i = -2*v + w for v.
-2
Let q be (-6)/10 - 252/5. Let l = 55 + q. Suppose -2*c = -l*u - 24, -3*u - 24 = 4*c - 7*c. Solve -c*z - 25 = -5*s, -20 = z + z - 4*s for z.
0
Let d(n) = -11*n - 57. Let l be d(-7). Solve -10*q + 6*q = 5*c - 30, -4*q = -l for c.
2
Let t be 2/8 + (-6120)/32. Let m = -188 - t. Solve -2*c = q - 7 + m, 4*q + 4*c = 0 for q.
-4
Let o(r) = -13*r - 944. Let h be o(-73). Solve 0*q - 4*q = -b + 13, 0 = h*b + 4*q - 17 for b.
5
Suppose 48*u - 48 - 48 = 0. Let g be u/4*(35 - 23). Solve -4*x = 2*t - 7*x + g, x = 4 for t.
3
Suppose 262*f - 421 = 259*f - o, 3*o = 4*f - 557. Solve 8 = 4*u, 4*k = 136*u - f*u - 4 for k.
-3
Let k = -414 + 418. Solve m + 2 = -4*g, -3*m - k*g + 5*g - 6 = 0 for m.
-2
Suppose -25 + 27 = -7*q + 16. Let w(j) = j**2 + j - 2. Let p be w(2). Let l be (-50)/30*12/(-10). Solve -3*n = -p*y + 17, -n - l*y = q*n - 13 for n.
1
Let n(f) = -27*f - 44. Let j be n(-4). Let g be j/(-160)*(1 - 41). Solve -2*q - 5*h - g = -6*q, 5*q - 4*h - 11 = 0 for q.
-1
Suppose 6*t = 5*k + 5*t - 2, 8 = -4*t. Suppose k = -55*i + 48*i + 28. Solve 2*x = 2*w - 2 - 0, -5*x - i*w = -13 for x.
1
Let d = 3989 + -3986. Solve -27 = 5*h + d*a, 2*h - 3*a - 6 + 0 = 0 for h.
-3
Let h = 40396 - 40376. Solve f - 2*o + 11 = 0, 0*o = -5*o + h for f.
-3
Let d = -42336 - -42338. Solve 4*v - 3*u - 2*u - 16 = 0, -5*v = -d*u - 3 for v.
-1
Let z be (735/(-7))/(-21) - (-4)/8*-4. Solve -10*m = -5*w + 15, 2*m + 9 = 2*w - z*m for w.
-3
Let g(a) = -16*a**2 + 12*a - 7. Let y be g(5). Let j = 347 + y. Solve 2*q = p, -2*p + 3*q + 2 = -j*p for p.
4
Let t = 5474 - 5452. Solve -13*a + 8*a - t = 4*z, -2*z = 4*a + 14 for a.
-2
Let l = 533 + -529. Suppose -l*q - 3*n + 10 + 10 = 0, -2*n = -8. Solve 4*d = -u - 4 - 13, -d - q = u for d.
-5
Let j = -477 - -541. Solve -3*d + j*c = 66*c + 13, 2*c = 2 for d.
-5
Suppose 27*y - 366 = -147 + 240. Solve -57*p - 21 = -53*p - l, -4*p = 3*l + y for p.
-5
Let b be 9/81 - (5 + (-1266)/27). Suppose -2*q + 15 = 3*q, 5*d = -q + 193. Let w = b - d. Solve -l - 4 = -5*i, -16 = l + 3*l - w*i for l.
-4
Suppose -5*z - 804 = -17*z. Suppose 0 = -66*c + z*c - 5. Solve -5*m + 3 = -4*t, -c*m - 1 = -0*m - 2*t for m.
-1
Let w = 54 - 43. Suppose -2*t = 3*u - 7, -t + u - 4*u = -w. Let d be t - (0 + 1 + -30). Solve -3*v - 2*l = -d, -2*v + 5*l = -v + 20 for v.
5
Let s be (52 - (0 + 0))*(-29)/(-58). Suppose 0 = -4*o + 2*o + s. Let t be ((-2)/(-5))/(3/(28 + 2)). Solve t*z = -4*p + o + 7, -4*z + 23 = 5*p for z.
2
Let h(v) = v**2 + 32*v - 48. Let t = -40 - -6. Let i be h(t). Solve -3*g = 3*p - 12, -5*p - 4*g + 0*g = -i for p.
4
Let j = 19243 - 19239. Solve -112 + 118 = -3*z, 5*k + j*z = 12 for k.
4
Let h(t) = t**3 + 5*t**2 + t - 9. Suppose -88 = -5*a - 108. Let s be h(a). Solve s = 2*l - l + b, 5*l - 2*b = 15 for l.
3
Let w = 140 - -123. Suppose -3*d = 257 - w. Solve 2*f + 2*f - 8 = -d*b, 2*f - 12 = -5*b for b.
2
Let k be (-1 - -3) + 8/4. Suppose 303 + 77 = -k*i. Let v = -93 - i. Solve 4*b - 3*f + 25 = 0, b - 4 = -2*f - v for b.
-4
Let v(q) = 10*q**2 + 23*q + 109. Let m be v(-5). Let x = -241 + m. Solve 0 = -2*i - n - x, 0*n - 5*n - 5 = 5*i for i.
-2
Suppose 15*n - 20*n + 655 = 0. Suppose -145*k + n*k = -308. Solve -5 = x - 5*s - k, 11 = -2*x - 5*s for x.
2
Let t(m) = -m**3 + 206*m**2 - 13*m + 2695. Let f be t(206). Solve 177*y - 176*y = 5*b - f, -b = -y - 1 for y.
3
Let f be 3 - (-4 - -5 - 784). Let l = 807 - f. Solve 0 = -3*d + 3*z - l, -3*z + 13 + 2 = -d for d.
-3
Suppose -638*v + 2861 = 399*v - 2324. Let g(q) = 2*q**2 + 8*q - 2. Let o be g(-6). Solve -2*s - o = 4*b, -v*s - 2*b - 25 = 2*b for s.
-1
Suppose 12*q - 5 = -3*l + 11*q, -5*l + 55 = -3*q. Let j = -4 - -29. Solve 3*w - 3*u = -15, w - l*w - j = -5*u for w.
0
Let y(a) = 163*a + 3. Let h be y(0). Solve -5*n + 7 = -3*c, c + 11 = -h*c + 5*n for c.
-4
Suppose -3*t - 2 = -2*b + 11, 2*b = 2*t + 12. Suppose -4*a + 12 = 2*w, -b*a + a + 16 = 4*w. Solve 6*r = -4*k + 3*r + 19, -14 = -3*k - w*r for k.
4
Let b(u) = u**2 + 338*u - 3468. Let z be b(10). Solve -5*m = 20, -5*m = o + 6 + z for o.
2
Suppose -4*f + 3*f = 0. Suppose f = 3*z - 4*t + 6, 3*t - 1 = 3*z + 2. Solve -4*m = 4*s - 8, -s + z*s + 4*m - 5 = 0 for s.
1
Let i(r) = -r**2 + 18*r + 27. Let f be i(0). Suppose -10*q + 9*q = 3*h + 12, 4*q - 3*h = f. Solve -2*b - 5*t = -13, -5*b + 4*b + q*t - 10 = 0 for b.
-1
Let l = 1871 + -1867. Solve 0 = -2*r - 5*u + l*u - 10, -18 = 5*r - u for r.
-4
Suppose 6*z = 12*z - 18. Suppose r - z*o + 4*o = -1, -25 = -5*r + o. Solve h + 3*w - 8 = 3*h, r*h = 4*w - 12 for h.
-1
Let t = 124 - -61. Let s = 192 - t. Solve 4*l = -2*i + 11 + s, 3*l - 2*i - 10 = 0 for l.
4
Let m = 19036 - 19034. Solve -2*h - m*o - 9 = -21, -3*h = 2*o - 17 for h.
5
Let m(c) = -c**2 + 47*c - 85. Let x be m(45). Solve 0 = -w + x*v, 4*w + 3*v = 3*w - 8 for w.
-5
Let o(l) = l**3 + 13*l**2 + 23*l + 16. Let r be o(-11). Let x(m) = -m**2 + 4*m + 7. Let u be x(r). Solve 4*p - 5*h + 9 = 0, 2*h = -u*p + 7*h - 17 for p.
4
Let j(f) = -5*f - 1. Let v be j(1). Let z = 72 + v. Let g = z + -64. Solve -7 = t + 5*d, g*t - d + 4 = 1 for t.
-2
Let a = 0 + 0. Suppose 4*m - 5*r - 36 - 27 = a, 51 = 3*m - 3*r. Suppose 4*t - 23 = -4*o - 11, -t = -4*o - 13. Solve 4*p = -4*b - 12, p - t*b - m = -p for p.
1
Let k(w) = -w**2 - 3*w + 34. Let v be k(-7). Solve 0 = h + 2*x + 4, 0 = -4*h + 3*x - v*x - 16 for h.
-4
Let b(i) = -10*i + 73. Let t be b(7). Solve 5*j + m - 21 = 0, j - t*m + 8 = 25 for j.
5
Let r be (-2 + -28)/(-6) + -2 + 4. Solve -18*p = -17*p + v + r, -3*v - 13 = -p for p.
-2
Let u be (-25)/75*(-63)/7. Solve u*v - j = -10, -5*v + j - 13 = 1 for v.
-2
Suppose -426 - 312 = -31*z - 149. Solve 8*p = 6*p - 4*h + 20, h - z = -4*p for p.
4
Let n = -196 + 346. Suppose 5*t = 4*t + 2*c - 21, n = -5*t - 5*c. Let z be 2 - (-32)/(-18) - 48/t. Solve -3*d + 2 - 3 = -5*v