 0 for k.
-2
Suppose 0 = -3*o + 15, 4*q - 5*o + 401 = 0. Let w = q + 113. Suppose -b + 0*b = -4*a - w, 0 = 5*b + 5*a + 5. Solve -7*k = -b*k for k.
0
Let x = -2678 + 2683. Solve -x*r = -719 + 724 for r.
-1
Suppose 3*a - 136*l - 119 = -134*l, -3*a - 3*l + 144 = 0. Solve 0 = -a*b + 36*b + 28 for b.
4
Let m(i) = -2*i + 12. Let s be m(9). Let a be s*12/(-18) + 4. Solve 2*o - 6 = a*o for o.
-1
Let s be (-7 - -18) + (-2 + 4 - 0). Suppose 12*g - 19 - 1721 = 0. Let y = g - 140. Solve -y*o + s = -7 for o.
4
Suppose -4*n - 5*l + 19 = 21, 0 = 3*l + 6. Let x be (2 + -5)/(-3) + n + 4. Solve x*o = -3 + 24 for o.
3
Suppose 4*o + 175 = -5. Let i be 7/(2/(-5)*o/72). Let h = -13 + i. Solve -3*n + h = 2*n for n.
3
Let p = 6 + 7. Let g be (-1 + 2)*p/(104/16). Solve 0 = 4*k + g + 14 for k.
-4
Suppose 41*g - 19*g - 8536 = 0. Let i = -388 + g. Solve i = 6*a - 3*a + 9 for a.
-3
Let o(w) = 13*w**3 + 19*w**2 + 39*w - 36. Let p(s) = 2*s**3 + s - 2. Let q(z) = -o(z) + 6*p(z). Let t be q(-17). Solve 12*g - t*g + 5 = 0 for g.
-1
Suppose -6*z + 3 + 243 = 0. Suppose -z = h - 49. Solve 4*r = 24 - h for r.
4
Let f(t) = t**3 + t**2 - 1. Let p(m) = 5*m**3 + 7*m**2 - m - 2. Let k(x) = -6*f(x) + p(x). Let b be 6/15 + 24/(-60). Let q be k(b). Solve 2 = -q*w - 2 for w.
-1
Let b = 19277 - 19277. Solve 87*g - 77*g + 80 = b for g.
-8
Let d be 3*8/(-6) - -4. Let f be 2 + d/(2 - 4). Suppose 7*z + 11 = a + 2*z, 3*a + 5*z = 13. Solve a = -y + f for y.
-4
Suppose -4*g = 7*g - 154. Suppose -g*i + 7*i + 42 = 0. Solve 3 = 3*h - i for h.
3
Suppose -484 = -10*c - 184. Suppose -23*d - 35 = -c*d. Solve -d*t = -t + 4 for t.
-1
Let m = -116 + 110. Let a(q) = -2*q**3 - 11*q**2 + 4*q - 6. Let g be a(m). Let p = -29 - -41. Solve -g*z + 9*z = p for z.
4
Let v be 5 + -7 + (-4)/(4/(-5)). Let w be v/2 + ((-91)/(-14) - 7). Solve 16 = -3*j + w for j.
-5
Let q be 19 - (5/(-5) + (6 - -1)). Suppose 24 = q*s - 7*s. Solve -s*a - a = -a for a.
0
Let d(w) = w**2 + w + 30. Let z be d(-7). Suppose -41*q - z = -49*q. Solve 8*g = 11*g - q for g.
3
Suppose 75*f - 1411 + 582 = 446. Solve -18 = -u - f*u for u.
1
Suppose -78325 = -605*n + 71715. Solve -268*k + n*k - 160 = 0 for k.
-8
Let i = -4148 - -4148. Solve -7*b + 19*b - 60 = i for b.
5
Let w be (30/4)/(21/70). Let d = w + 11. Suppose -d*k = -40*k. Solve k*q + 3*q = -3 for q.
-1
Let u = 19068 - 19058. Solve 10*m - u = -0 for m.
1
Suppose -r - 3 = -2*r. Suppose 0 = 17*c + 35 - 103. Suppose -w = 3*u - 10, c*w = -4*u - 0*u + 8. Solve u*f = r*f for f.
0
Let z(j) = -718*j - 2132. Let h be z(-3). Solve -10*k - 64 = h*k for k.
-2
Let t(a) = -28*a - 1442. Let j be t(-52). Solve 13*p - j*p = -2 for p.
2
Let f be 3*2/(1 + 1). Suppose -66*g + 77 = -121. Suppose -f*y - g = -21. Solve -y = 3*w + 9 for w.
-5
Let m = 144 - 142. Suppose -3*q + m*v = -13, -4*q = 5*v - v - 24. Solve q*y = -0 - 10 for y.
-2
Suppose 0 = 34*m + 236 - 1596. Solve m*b - 4 = 38*b for b.
2
Let n = -2038 + 2049. Solve 0*p - 22 = n*p for p.
-2
Let h = 6223 + -6036. Solve 184 = -o + h for o.
3
Let c be (-2)/12*148*(1*-20 + 2). Solve -24 = -c*a + 448*a for a.
-6
Let n be (-1)/1 - (-418)/((-6)/3). Let m = n + 215. Solve k + m = 2 for k.
-3
Let a(j) = j**3 + 36*j**2 - 48*j - 403. Let o be a(-37). Solve 17*f = 16*f - o for f.
-4
Suppose -126*x = -109*x - 187. Solve -x*g = -47*g + 180 for g.
5
Let a(x) = -138*x - 1509. Let q be a(-11). Solve 21*j - q = 18*j for j.
3
Let y(x) = -x**3 - 13*x**2 + 10*x + 5. Let c be y(-13). Let d = c + 65. Let v be d/40*10/(-3). Solve 5 + 5 = -v*s for s.
-2
Suppose 11*c = 690 - 635. Solve 2*x = -c*x + x for x.
0
Let x(j) = 32*j**2 + 175*j + 77. Let u be x(-5). Solve u*n = -42 + 38 for n.
-2
Let q(r) = 110 - r + 6*r - r - 109. Let s be q(4). Suppose 0 = -5*j + 5*y + 45, 0*j - s = -j + 3*y. Solve -4 - j = -3*w for w.
3
Let k = 15 + -9. Let f(w) = 17. Let o(m) = m + 86. Let b(c) = 11*f(c) - 2*o(c). Let l be b(k). Solve -l*v - 1 = 2 for v.
-1
Let c = 20320 - 20035. Solve c = -90*p + 33*p for p.
-5
Let z be (-6)/((-10)/6*180/500). Solve 9*n - 2 = z*n for n.
-2
Suppose 5*a - 141 = 9*l - 11*l, a + 4*l - 57 = 0. Solve a = -21*o + 4 for o.
-1
Suppose 3*d - 5*l - 9 = -3, 0 = 4*d + 4*l - 8. Let t be (0 - -1)/(9/d - 4). Suppose 80 = 5*x + 3*n, 3*x = t*n - 5*n + 54. Solve 1 = -3*k + x for k.
4
Let a = 10147 - 10073. Solve -34*k - a = 96 for k.
-5
Suppose 4*r - 50 = -r. Let i(c) = c**3 - 8*c**2 + 2*c + 29. Let a be i(7). Let k = r + a. Solve -x = k*x + 5 for x.
-1
Let d(q) = 8*q**3 + 29*q**2 + 13. Let k(m) = 9*m**3 + 30*m**2 - 2*m + 14. Let n(x) = -5*d(x) + 4*k(x). Let g be n(-6). Solve g*u = -12 + 3 for u.
-3
Suppose -14 = -3*j - y, -2*j + j - 5*y - 14 = 0. Let z = 12 + 19. Suppose -z*f + j = -29*f. Solve -3*c - f - 3 = 0 for c.
-2
Suppose 19*x - 9 = 16*x. Suppose m - 1 = -x*d, d - 5 = -3*m - 2. Solve 5*w - 21 + m = 0 for w.
4
Suppose -12*r = -2599 - 437. Let b = r - 253. Solve -4*i + i - 15 = b for i.
-5
Suppose -4*v - 161 = -11*v. Suppose 7*n - 68 - v = 0. Solve -4*p - 7 - n = 0 for p.
-5
Let l = 14672 + -14629. Solve -l*m + 112 - 26 = 0 for m.
2
Let w(n) = -2712*n - 24408. Let p be w(-9). Let g be ((-2)/5)/(2/10). Let v be g - (-2 - (-1 - -1)). Solve p = o - v - 5 for o.
5
Let x be (4/5)/((-2)/5). Let s be ((-4)/12)/(x/6). Let m = s - -8. Solve -4*g - 3 = m for g.
-3
Let j be (7383/(-1035) - -7) + (-1174)/(-30) + 1. Solve 5 = 15*m - j for m.
3
Let g = 16 + -4. Suppose -l + 5*x - 4 = -13, -4*x = -2*l + g. Suppose 2*k + k - w = 19, l*k = -5*w + 19. Solve n - k*n + 5 = 0 for n.
1
Suppose 3*q + g = 2*g + 70, 0 = -q - 5*g + 34. Solve q*h - 88 = -16 for h.
3
Let a be 1 + -2 + 5 + 5. Suppose a*q = 4*q + 180. Let h = q - 34. Solve -h*n + 4 + 0 = 0 for n.
2
Let u(p) = -p**2 + 16*p - 11. Let x be u(7). Suppose -2 = -b - 0*b, 0 = 3*k - b - x. Suppose -3*r + 9*r = k. Solve -2*g + r = -1 for g.
2
Let v = -373 + 366. Let d be 0/(v + (-36)/(-4)). Solve d*i + 5*i + 20 = 0 for i.
-4
Suppose -m - i + 16 = 0, 5*i = -372*m + 377*m - 100. Solve 2*j = 5*j + m for j.
-6
Let r(k) = -4*k**2 + 8*k - 2. Let u be r(2). Let l(x) = -x**3 + 5*x**2 + 11*x + 2. Let j be l(u). Solve 2*t = -0*t + j for t.
4
Suppose -6229 = -64*b - 3669. Solve 0 = -37*w - 3*w - b for w.
-1
Let v = -143 - -130. Let h(s) = -s**2 - 15*s - 24. Let i be h(v). Solve 0 = -i*o + 5*o for o.
0
Suppose -30*q + 6 = -27*q. Suppose 7*z - 15 = q*z. Let r(d) = -d**3 + 3*d**2 + d - 2. Let m be r(2). Solve m*s - z = 1 for s.
1
Let a = -4 - 6. Let u = a - -26. Suppose -4*y + 28 - u = 0. Solve -f = -y - 1 for f.
4
Let i(s) = -5*s + 4. Let y be i(-3). Let v(c) = -c**3 + 47*c**2 + 8*c - 365. Let j be v(47). Let g be ((-8)/12)/((-1)/3). Solve 0 = g*x - y + j for x.
4
Let r(v) = -v**3 + 7*v**2 - 7*v + 8. Let b = 91 + -85. Let x be r(b). Suppose -8*d + x*o + 14 = -7*d, 3*o - 1 = -4*d. Solve -d*t = 5 + 11 for t.
-4
Let o(n) = -n**3 - 57*n**2 - 680*n + 3. Let c be o(-40). Solve 0 = i + c*i + 24 for i.
-6
Let c be (-495)/(-135) - (-120)/9. Solve 60 = -c*m + 2*m for m.
-4
Suppose 38*v + 49*v = 4*v + 9047. Solve v = -12*p + 193 for p.
7
Let g = 723 + -487. Suppose g = 3*z - y, y + 3*y - 304 = -4*z. Suppose z = 4*n - 2*p, p - 11 = 4*n - 90. Solve u - 6*u = -n for u.
4
Let o(q) = q**3 + 3*q**2 - 4*q - 2. Let x be o(-6). Let z = x - -95. Solve -3 = 3*g + z for g.
-4
Let f(q) = -169*q + 6442. Let y be f(38). Solve 57*j = y*j + 222 for j.
6
Let v = 10450 + -10421. Solve 2*n + v = 35 for n.
3
Suppose -w = 4*u - 652, -u = -2*w + w - 158. Solve 39*d = 12*d + u for d.
6
Suppose 3*i = 5*n + 25014, 0 = -81*i + 78*i - 6*n + 25113. Solve -4*t + 8317 = i for t.
-9
Let h be (-40)/(5/((-10)/1)). Suppose 0*a + 3*a = c + 224, a - h = 3*c. Let f = -59 + a. Solve 0*g = 5*g - f for g.
3
Suppose 2*z + 6 - 4 = 0, 56 = 5*x - z. Solve 37*k = x*k + 130 for k.
5
Suppose -12*h = -3*j - 7*h + 292, 2*j - h = 197. Let v be 972/j + (-6)/(-33). Solve v*q + 5 = 11*q for q.
5
Let m be 55/11 + (-3 - 2). Suppose m = -3*t + 5*t - 6. Solve -t*x - 5 = -2*x for x.
-5
Let o(x) = -8*x - 14. Let y(f) = f + 26. Let v(p) = -p - 13. Let c(z) = 13*v(z) + 6*y(z). Let n(l) = 5*c(l) - 4*o(l). Let a be n(-5). Solve 10 = -h + a*h for h.
2
Suppose -8*t - 9*t - 34 = 0. Suppose 8*r = 54 + 58. Let l be (-1)/t - (-77)/r. Solve 5*w = -l - 4 for w.
-2
Suppose -c - 30*c = 0. Solve c = -3*z - 232 + 235 for z.
1
Suppose o = -2, -184*s 