for k.
-4
Suppose 7*v + 387 - 2781 = 0. Let o = 354 - v. Let w(j) = 3*j**3 - j**2 + j. Let s be w(1). Solve 0 = 2*h + u + o, h + 0*h + s*u = -16 for h.
-4
Suppose 3*b + 7 = 5*c + 14, -2 = -b + 2*c. Suppose -4*p = -x - 8, -2*p + x + b = -4*x. Solve 3*s = 4*o + 10, -o - 2 = -p*s - 3*o for s.
2
Suppose 72 = -42*x + 60*x. Suppose 5*r - 4*u = 44, -41 + x = -5*r - 3*u. Solve -18 = 2*q - 2*l, r = -0*l + 2*l for q.
-5
Let z(i) = -158*i - 472. Let n be z(-3). Solve 35 - 29 = -2*w, -9 = -n*k + 5*w for k.
-3
Let f(q) = q**2 + 173*q + 514. Let u be f(-3). Solve 2*m = 5*n - 7, -109*m + 112*m = -u*n + 24 for m.
4
Let i(c) = -c**3 + 7*c**2 + 29*c + 14. Let d be i(10). Solve -d*g + 4 = -r + 3*r, -4*g + 2 = 3*r for g.
2
Suppose -16 = -5*y + 14. Suppose 2*l - y = 16. Let i = -237 + 239. Solve 5*f + i*q - 45 = 7*q, -f = 3*q + l for f.
4
Let f(y) = -48*y + 6. Let p be f(-1). Let o = -39 + p. Suppose 0 = 27*h - 24*h - o. Solve 4*k - 5*d + 8 = -0*d, 10 = -h*k + 3*d for k.
-2
Let d(v) = -v**3 + 29*v**2 + 2*v - 54. Let m be d(29). Let b be (1 + (-2)/m)*(-12)/(-6). Solve -7*y + 3*y + 2*h = 14, -5*h - b = 2*y for y.
-3
Suppose 162 = 8*q + 114. Suppose -25 = -q*c + c. Solve c*d = -5*n + 5, 4*d = n - 14 + 38 for n.
-4
Suppose 0 = -42*s - 4*s - 9*s + 165. Solve 3 = -o - n, -8 = s*o - o + 4*n for o.
-2
Let i(x) = -2*x + 9. Let z be i(7). Let u be -3 - 0 - (z - 3). Let m = -117 - -121. Solve 14 = 2*f + 2*f + 2*v, -5 = -m*f - u*v for f.
5
Let r be ((-28)/35 + (-2)/(-10))*-10. Suppose 29*g - 27*g = r. Solve 0 = -l + g*b - 2, -5*b + 4 = -2*l for l.
-2
Let r(c) = c**2 + 123*c + 1736. Let x be r(-16). Solve x*v + 9 = -3*b + 25*v, 3*b = -2*v - 18 for b.
-4
Suppose 2 = z - 2*z + d, -8 = -2*d. Suppose -3*p - 5*n = -144, -3*p + z*n = -38 - 85. Let x = -41 + p. Solve l = -w + 6, 0 = -0*w + x*w - 5*l + 23 for w.
1
Suppose -158*m + 832 = -116. Solve -2*w - 2*s - 1 + 13 = 0, 0 = w - 3*s + m for w.
3
Suppose -119*t + 123*t - 32 = 0. Let o be ((-6)/t)/(123/(-328)). Solve -5*j - 14 = -4, 0 = -5*n + o*j + 14 for n.
2
Let g be ((-12)/(-15))/(2/10). Suppose 5*z + 1842 = -x, 2*x - 289 = z + 75. Let c = z - -373. Solve 2*r = 4*m - 8, g - 12 = 2*r + c*m for r.
-4
Suppose 0 = 8*i - 37 + 37. Let p be i - (-4 - 0) - (-2 + -1). Solve -20 = -5*d - 5*x, p*d - 3*d + x = 1 for d.
-1
Let z = 4077 - 4072. Solve -2*a = -5*j - 1 + 10, z*j - a = 7 for j.
1
Let w(j) = 139*j**2 - 2640*j - 14. Let o be w(19). Solve -l + 2*r + 8 = 21, o*l = -5*r + 10 for l.
-3
Let y(c) = -c**3 - 5*c**2 + 183*c + 923. Let g be y(-5). Solve g*u - 2*u - 25 = p, 0 = 4*p + u - 25 for p.
5
Let i(f) = -3*f**2 - 45*f - 142. Let q be i(-10). Solve -h - 20 = -5*n, q*n + 5 = -4*h + 3*n for h.
-5
Let s = 2481 - 2476. Solve 5*c - s*d = 4*c + 28, -17 = -4*c + d for c.
3
Suppose 18*o + 65*o - 249 = 0. Solve 5*c + 2*p - 101 + 121 = 0, 0 = -o*c + 5*p - 12 for c.
-4
Let q(c) = 12*c + 12. Let r be q(-1). Suppose r = -11*n + 13 + 185. Solve 3*s - o = n, -3*o - 7 - 2 = 0 for s.
5
Suppose -15*n + 12*n = -39. Let p be 4 + (0 - 0) + -6 + n. Suppose -149 = -p*m + 82. Solve m = -2*g - 5*t, 10 = g - 2*t - 2 for g.
2
Suppose -3*v = 145 - 55. Let g be (1/6 + v/(-36))*2. Solve -3*o - 3*i + 15 = 0, 15 = g*o + 4*i - 3 for o.
1
Let n be (-717)/(-1195) - (-7)/5. Solve n*i = -6, 3*d - 27 + 0 = 5*i for d.
4
Let t be (-4)/(-18) + 3311/774 + 7/14. Solve t*g - 17 = 3*s, -5*s - 42*g + 39*g = 17 for s.
-4
Let x(t) = 5*t - 35. Let b = -116 - -123. Let k be x(b). Suppose 4*i = -4*u + 10 + 26, 3*u + 13 = 5*i. Solve -n - 14 = -0*v - u*v, 3*v - n - 10 = k for v.
4
Let q(x) = 15*x + 118. Let j be q(-8). Let g be (j/3 - (-52)/78)/(-2). Solve -i = -2*k + 8, 4 = 2*k - g*i - 3*i for k.
5
Suppose 5*r + 17 = 4*g, -2*r + 3 = -2*g + 11. Let i be (-26 + 1)*r*1. Let d be i/20 - 9/(-12). Solve -4 = -l - d*z, 5*z = -4*l - l for l.
-4
Suppose 4*z = -3*z + 14. Let i(p) = -266*p + 803. Let x be i(3). Let s(l) = l**2 + 5*l + 3. Let f be s(-5). Solve -z*g - 2*h = -x*g - 11, f*h = 3 for g.
-3
Suppose 234 = 28*y - 26*y. Let t = y - 117. Solve t*z = 5*z + n + 1, 6 = 2*z + 2*n for z.
-1
Let q = -12995 + 12999. Solve -2*b - 16 - 4 = 3*s, b + q = 0 for s.
-4
Suppose 0*q + 4*t = -q - 2, 0 = 4*q + 3*t - 5. Suppose q*c + 19 = 3*w, 28*w - 24*w = -c + 7. Solve 2*o = -2*i + 6*o - 14, 3*o - 15 = w*i for i.
-3
Suppose -45*g + 0 = 10 - 190. Solve -4*i = -g*a - 20, -19 = -2*i + 265*a - 260*a for i.
2
Suppose o - 2*g = -7 + 17, 4*o + 5 = -g. Solve -79*t + 15 = -4*n - 80*t, -4*n - 4*t = o for n.
-5
Suppose -107*h + 50*h + 30 = -51*h. Solve 0 = -3*f - 5*x + 25, h*x = -3*f + 6*x - 5 for f.
0
Let q(x) = 34*x**2 - 852*x + 52. Let i be q(25). Solve r + 15 = o + 5*r, -2*o = i*r - 6 for o.
-1
Suppose 2*a - 32 = -4*x, 2*a + 5*x - 33 - 4 = 0. Suppose -3*u = -0 - a. Let m = 135 + -133. Solve 5*k - 3*k + u*z = 12, -k + 3 = -m*z for k.
5
Suppose 4*m - 461 = 5*d + 9, d = -m - 103. Let u = 100 + d. Solve -u*f + y - 12 = 0, 3*f + 0*y + 2*y + 4 = 0 for f.
-4
Let q = 1921 + -1918. Solve 3*c + 9 = -d, q*d - 14*c = -10*c - 1 for d.
-3
Let m be (1568/(-616))/((-26)/143). Solve 12*r - m = 4*v + 11*r, 0 = -2*v + r - 10 for v.
-2
Suppose 0 = -0*m + 3*m + 3. Let h be (-7)/1*(5/(-35) - m). Let s be 22/(-33) - 94/h. Solve -z = -0*z - 5*i - 24, 0 = 3*i + s for z.
-1
Let h be (2/(-10) + (-1)/5)*20. Let f(a) = -a**3 - 6*a**2 + 13*a - 20. Let q be f(h). Solve -3*j = -g - 3, -g + q*j + 15 = -6*g for g.
-3
Suppose 231 - 316 = -17*l. Solve 22 = l*h - v, 0*v + 9 = 3*v for h.
5
Suppose -28 = -4*w + 4*x, x - 5*x = 3*w - 35. Suppose w + 15 = 6*n. Solve i + 4*r + 1 = -6, 0 = 5*i + n*r + 3 for i.
1
Suppose 6*g = 15*g - 18. Suppose 6*d - 3*d + 144 = 0. Let k be (-148)/(-20) - (d/(-20) - g). Solve -2*q + k*q - 9 = -3*f, 0 = -5*f - q - 7 for f.
-2
Let j(y) = -y**3 - 6*y**2 - 6*y + 1. Let a be j(-5). Let f be (12/(-9))/(450/135*2/(-10)). Solve -f*s + s - 3*w - a = 0, 5*s + 5*w = 0 for s.
3
Let g be 27/6 - (-15)/(-30) - -1. Solve l - 4 = 0, 5*i - 6*i = -g*l + 24 for i.
-4
Let i = -5287 - -5291. Solve -3*a - 5 = m, -5*a = -i*m + 7*m + 3 for m.
4
Suppose -4*i - 3*v - 24 = -9*i, -8*i - 24 = 3*v. Solve i = -4*z - j - 11, -3*z = -6*z - 3*j - 6 for z.
-3
Let o(l) = -4*l**2 - 143*l - 101. Let t be o(-35). Solve -t*c - 5*i + 24 = 0, -16 = 2*c - 3*i - 6 for c.
1
Let g(s) = s**3 - 40*s**2 + 38*s + 42. Let z be g(39). Suppose -2*h = -3*l + 3, 6 = 4*l + l - z*h. Solve -4*m - 1 = -l*x, 2*x - 4*m - 8 = -2 for x.
-5
Let r(j) = -4*j**3 + 24*j**2 - 5*j - 2 + 4*j + 3*j**3 + 3*j**3. Let a be r(-12). Suppose -6 = -b - 2. Solve -4*g + a = -7*g + 4*z, z = b*g + 9 for g.
-2
Suppose 4*c = -7*c + 44. Suppose c*a = 4, -3*x - 33 = -6*x - 3*a. Solve 3*b - 5*z + 6 = 5*b, x = -b + 4*z for b.
-2
Suppose 4*j - 14 = 3*x, -6*x - j = -2*x - 13. Let g = 11 + -4. Let v(w) = 4*w**2 - 25*w - 16. Let r be v(g). Solve -r*t = -3*i + 30, 4*t + 5*i - 19 = x*t for t.
-3
Suppose 10*h = 5*j + 7*h - 166, -3*h = -j + 38. Suppose -5*x + 17 = -4*b, j = 5*x + 3*b + 1. Solve 0 = x*g + 2*c, -c = -g - 2 - 5 for g.
-2
Let n(u) = u + 8. Let v(r) = 99*r**2 - r. Let c be v(-1). Suppose 15*h + 5 = -c. Let x be n(h). Solve -q - x = -z, -2 = 4*q - z - 1 for q.
0
Let g(s) = -6*s**3 - 18*s**2 + 4*s - 21. Let p(a) = -a**3 + a. Let i(l) = -g(l) + 5*p(l). Let w be i(-18). Solve 2*q = -w*x, 4*q - 3*x - 2*x = 22 for q.
3
Suppose -3*u - 16 = -1. Let t be 6/(-1 + u) - (-25)/5. Solve 20 = 4*r, t*p + 2*r = -0*p - 6 for p.
-4
Let f = -7523 - -7541. Solve -2*k - 2 = 4*w + f, -5*w - 35 = 5*k for w.
-3
Let u(d) = -2*d**2 + 20*d + 6. Let h be u(10). Let v be 12 - h - (0 - (-1 - 2)). Solve v*x - 13 = 5*q - x, 3*q + 4*x = -27 for q.
-5
Let o be (6/5*-1)/(((-1131)/1300)/(-29)). Suppose 4*y + 7 + 113 = 0. Let z be y*6/(-8)*o/(-75). Solve 2*a = -2*i - z, 4*i - a = 3*a for i.
-3
Suppose 5*l - 45 = 0, 36 = -40*s + 49*s + 3*l. Let n = 2 - -2. Solve n*d - 11 + s = k, -5*k + 19 = 3*d for k.
2
Let t = 1699 + -1696. Solve 4*f - 18 = -t*k + 4*k, -3*k = -f - 1 for f.
5
Suppose 2*i = -2*w - 4, 2*w + 5*i + 17 = -2. Suppose w*j - 8 = -4*m - 18, 2*m + 4 = -2*j. Solve -5*x + 19 = -2*a, -j*x - 4*a = -8 - 14 for x.
5
Suppose v = -1 + 3. Let r(m) = -m**3 - 10*m**2 + 12*m + 20. Let h = 77 + -88. Let n be r(h). Solve n = y + 3*c, 2*y + 9 = v*c + c for y.
0
Suppose x - 30 = -3*v, 723*v - x = 719*v + 54. Solve -2*w + 53*n - v = 46*n, 0 = w - 5*n + 9