+ 2*k - 697 = 0, -379 = -3*x + 3*k + 293. Solve 223 - x = 6*u for u.
-1
Let x be (-10)/(-8) - (-1)/(-4). Let r = x + -1. Let c be (-1)/(12/(-1320)*-11*6/(-3)). Solve r = c*o - 4 - 1 for o.
1
Let a(b) = -b + 2*b + 0*b + 19. Let m be a(-15). Let n = 169 - 166. Solve -m*x = -n*x - 2 for x.
2
Let j(o) = -372*o**3 - 3*o + 2. Let p be j(1). Let v = p + 373. Solve 6*c - 3*c = v for c.
0
Suppose 684*m - 1373*m = -691*m + 3564. Solve 0 = -14*u + 1726 - m for u.
-4
Suppose 3*t + 5*i - 10 = 0, -4*t - 4*i + 16 = 8. Solve 22*g - 42 - 46 = t for g.
4
Let g be (18/27)/(1028/(-516) + 2). Solve -38*u + 66 = -g for u.
4
Let f(y) = 2*y**2 - 21*y + 52. Let t be f(11). Suppose -62*c = -t*c + 4. Solve -3 = -c*u - 15 for u.
-3
Suppose -2*z + 6 = -0. Let r(w) = 5*w**2 + 34*w + 227. Let g(p) = -2*p**2 - 16*p - 113. Let s(v) = 7*g(v) + 3*r(v). Let x be s(-7). Solve 0*c = z*c - x for c.
3
Let w be 5/(-2)*204*(-23)/345. Solve -180 = -w*p - 11*p for p.
4
Suppose x = -27 + 3. Let v(t) = -t - 20. Let h be v(x). Let c = -4 + h. Solve c*o = 2*o + 6 for o.
-3
Suppose 4*s - 2*s - 12 = -o, 5*o + 5*s = 40. Suppose o*q + z = -1, -4*z - 5 + 1 = -2*q. Suppose -p = -y - 4, -4*y = -3*y + 2. Solve d - p*d + 3 = q for d.
3
Suppose 0 = 4*s - 1 - 11. Suppose -c = -s*c - 2*v + 50, v = c - 25. Suppose c - 17 = 8*o. Solve -m - 3 = -o for m.
-2
Let w(a) = 3*a**2 - 124*a + 57. Let x be w(41). Solve 26*v - 22*v = x for v.
4
Suppose -3*l - 24 = 4*w, 4*w + 4*l + 2 = 2*w. Let f be (9/4)/(w/(-12)). Solve -f*h = 21 - 6 for h.
-5
Suppose 17*j - 330 = -16*j. Solve j*q + 1 - 21 = 0 for q.
2
Let i(q) = -q**3 + 25*q**2 + 54*q + 17. Suppose -2*s - 4*s = -162. Let u be i(s). Solve 0 = 4*x + 1 - u for x.
4
Suppose 0 = 3*h - 1421 + 302. Solve 0 = -45*i + h - 13 for i.
8
Suppose -2*j = -3*d - 113, -11*j + 173 = -8*j - d. Let t = 65 - j. Solve -t*r + 9*r - 10 = 0 for r.
5
Suppose 79*l - 183 = 2424. Solve -l*v - 637 = -124*v for v.
7
Let n be 0/(-1) - -8 - 2. Let z = 161 + -119. Let b be z/(-7)*2/12*-2. Solve 0 = -2*p - n - b for p.
-4
Let o(x) = -x**2 - 8*x - 1. Let z be o(-7). Let a(v) = v - 9. Let q be a(7). Let g = q + z. Solve -g*y - 3 = -y for y.
-1
Suppose -12 = -2*z + 12. Let b(c) = -c**3 + 105*c**2 - 598*c + 450. Let g be b(99). Solve -57*d = -g*d + z for d.
-4
Let h = 697 + -508. Solve 2*c + 199 = h for c.
-5
Let q(r) = r**2 - 346*r - 1400. Let b be q(-4). Solve b = 145*w - 134*w + 77 for w.
-7
Let x(a) = 12 - 19 + 3*a + 15. Let s be x(-2). Solve s*o - o = 0 for o.
0
Suppose -19*h + 28*h = 1404. Suppose -8*d = 5*d - h. Solve -2*b - 14 = -d for b.
-1
Let z be (-1 - 2) + 3 + 8. Let p be (238/(-35) - 4) + (-8)/(-10). Let k be (-2)/p - (-28)/10. Solve -v = -k*v - z for v.
-4
Let t(f) = -2*f + 25. Let b(v) = v**3 + 6*v**2 + 10*v + 8. Let x be b(-3). Let o be t(x). Solve -5 = -2*z - o for z.
-5
Let l(u) = -11*u**3 - 99*u**2 - 16*u - 7. Let b be l(-9). Solve 143*n - 36 = b*n for n.
6
Let m(a) = -2*a**2 - 278*a + 514. Let n be m(0). Solve n*v - 506*v = 8 for v.
1
Let t be 4/(3/((-426)/8)). Let b(x) = 9*x + 2. Let l be b(8). Let c = t + l. Solve -o = -c*o + 6 for o.
3
Let q = -2482 - -2487. Solve -76 = 27*k + q for k.
-3
Suppose -866*b - 112 = -894*b. Suppose -2*u - u + 33 = 0. Solve b*c = -u - 1 for c.
-3
Let o = -2824 + 2832. Solve o*w = 18 - 42 for w.
-3
Suppose 5*f + 349 - 797 = -3*a, -5*a - 4*f + 751 = 0. Solve -2*z = 147 - a for z.
2
Let c(m) = 49*m + 5. Let u be c(0). Solve -u = 14*q - 89 for q.
6
Let p(b) = -6*b**2 - 110*b - 92. Let n be p(-16). Solve n - 150 = -3*q for q.
6
Suppose 0*v + 21 = 7*v. Let w = 0 - 12. Let p be (1/(-4))/(3/w). Solve -2*k + p = -v for k.
2
Let p be (-16)/((-14)/21 - 0). Solve p = -17*t + 126 for t.
6
Let u be (-30)/(-8) - (0 + 6/8). Let k(y) = -y**3 + 4*y**2 - 3*y + 4. Let p be k(u). Suppose -4*c = -13 + 1. Solve 3*n - c = p*n for n.
-3
Let j be 657/(-438)*(-1 - (-623)/(-3)). Solve -8*s - 265 = -j for s.
6
Let s = -25 + 36. Suppose -m + s = -6. Suppose 16*w - m*w + 2 = 0. Solve -w = o + o for o.
-1
Suppose -28 = x - 65. Solve 19*q + x*q = 56 for q.
1
Let m(h) = h**2 - 5*h + 6. Let d be m(3). Let g = 4 - d. Suppose -2 = -g*j + 10. Solve -2*q + q - j = 0 for q.
-3
Suppose -3*h + 354 = -5*f, -15*h + 19*h + f - 449 = 0. Let j = h - 112. Solve 0 = b + 4 + j for b.
-5
Suppose i - c - 3 - 31 = 0, -4*i - 4*c = -96. Suppose 0 = 10*d + 9 - i. Solve d*x = -4*x + 24 for x.
4
Suppose 21 = -283323*l + 283330*l. Let v be (-6)/9*(-6)/4. Let s be 6 + (-3 - (-4 - v)). Solve l*m = -s + 2 for m.
-2
Let w be (-1720)/(-140) - 22/77. Solve -26*k = -38*k - w for k.
-1
Let l(h) = 14 - 20 + h**2 - 19. Let y be l(-5). Solve y = 5*z - 0*z + 25 for z.
-5
Suppose -15*f = -13*f. Suppose 3*t = -4*b + 74, -b + 2*b + 3*t - 14 = f. Let u be (b/7 + -4)/((-4)/14). Solve 2 = -u*a - 14 for a.
-4
Let m(w) = w**2 + 4. Let n be m(3). Suppose -11*y + 9 = -n. Solve -y*j + 4*j = -j for j.
0
Let f(n) = -n**3 + 8*n**2 - 27*n + 237. Let s be f(8). Solve -30 = 15*x - s*x for x.
5
Let c = 63 - 44. Suppose 91 = c*i - 12*i. Let a be i/52 - (-46)/8. Solve 0*o = -3*o + a for o.
2
Suppose -2262*u - 14 = -2260*u - 4*o, -2*u = 5*o - 85. Let l(s) = -s. Let m be l(-5). Solve 0 = -m*j + 35 - u for j.
4
Let d = -322 + 464. Suppose -17*o + 11 = -d. Solve -6 = -7*f + o*f for f.
-3
Let i = -86 - -90. Suppose -3*j - 2*v + 34 = 0, -3*v = -v - i. Solve r = -r + j for r.
5
Let d be (-2 + 2 + 1)*-1. Let j(n) = -n + 2. Let m be j(d). Suppose 0 = t + y + 1, -m*t - 3 = y - 10. Solve -t*x = -0*x - 20 for x.
5
Let j(k) = -14*k**3 + 235*k**2 + 61*k - 125. Let u be j(17). Solve u*s = 173*s for s.
0
Let z(c) = -5*c - 43. Let w = 91 + -86. Suppose w*b = -u + 6, -2*u + 2*b = -u + 15. Let q be z(u). Solve 8 - q = -3*a for a.
-2
Let w(m) = -3*m**3 - 294*m**2 - 2*m - 194. Let x be w(-98). Solve -7*p - 12 = x for p.
-2
Let g = -376 - -383. Let k(j) = 3*j - 18. Let f be k(g). Solve -1 - f = l for l.
-4
Suppose 2*a + 10*z - 8*z = 0, 5*a - 6 = -2*z. Suppose a*f - h = 5 + 5, 0 = 4*h - 16. Solve -11 + f = -2*j for j.
2
Let u be (33/4)/((-1)/4). Suppose i + 129 = -4*s, 5*i = 7*s - 6*s + 48. Let t = s - u. Solve t = -d - 0*d for d.
0
Let w(n) = -n**3 + 3*n**2 + 6*n - 6. Let g(c) = -c - 2. Let z(i) = -1. Let f(d) = 3*g(d) - 24*z(d). Let m be f(5). Let l be w(m). Solve -l = -q + 5*q for q.
-3
Let b(s) = 74*s + 10. Let u be b(0). Let o(x) = x**2 - 6*x + 6. Let p be o(6). Let a = 11 - p. Solve -a*w = -0*w - u for w.
2
Let f(k) = -9*k**2 - 53*k - 19. Let m be f(-5). Suppose v = 3*s - 6 - 46, -4*s + 66 = -2*v. Suppose -28 = -m*c + s*c. Solve 11 = 5*q - c for q.
5
Let y be 5/(-40)*-6 + (-66)/88. Solve y = 17*p - 23*p + 36 for p.
6
Suppose 25*o + 1350 = -0*o. Let i = -40 - o. Solve -27*j + 15*j = -i*j for j.
0
Let k = 48 - 45. Let o(n) = 2*n**2 - 3*n - 2. Let x be o(k). Suppose -2*p - 2*z - 74 = -x*p, -2*p + 5*z = -17. Solve -3*v = v - p for v.
4
Let x be (2 + 11/5)/(51/170). Solve x*t + 10 = -18 for t.
-2
Let d be -8 + (674/(-8))/(65/(-260)). Solve d*u = 335*u - 36 for u.
6
Let q(a) = 23*a**2 + 7*a - 7. Let z be q(1). Suppose 0 = 5*f - z*f + 72. Solve 0*h = -f*h - 0*h for h.
0
Let z(m) = -m**3 + 11*m**2 + 0*m - 27*m - 4*m**2 + 11 + 8*m**2. Let y be z(13). Let c be (2 - 6)/(y/1). Solve c*v + 0*v = 0 for v.
0
Suppose 0 = -h - 6*c + 33, 42*h = 43*h - c - 12. Solve 142*k = 145*k + h for k.
-5
Suppose h + 2 = -31. Let o be ((-308)/12)/7*-9. Let n = h + o. Solve -p + 1 = -n for p.
1
Let j(z) = -z**2 - 40*z - 82. Let a be j(-26). Let p = a - 277. Solve -7 = -4*w + p for w.
3
Suppose 3*b + 1733 = m, 9*m = b + 10*m + 575. Let d = 578 + b. Solve d + 6 = -7*y for y.
-1
Let q(g) = 4*g + 2*g + 5*g + 13 - 7*g + 59. Let v be q(-18). Solve -3*m + 1 + 5 = v for m.
2
Let m be (-6)/(-4) - (-4)/8. Let s be 10/(-25) - (-8)/20. Suppose s = -2*n + c + 5, n - c - 1 = 0. Solve 0 = m*b - n*b - 6 for b.
-3
Let y be ((-6)/(-14))/((-204)/(-33796)). Solve 0 = 4*g - y + 63 for g.
2
Let t = 2 + 3. Suppose -2*c = -3*q - q + 10, 0 = q - c - 1. Suppose d = -4, -72 = -q*n - 3*d - 0. Solve n = t*m + 1 for m.
4
Suppose 0 = -3*q + h + 9, 5*h + 2 = q - 15. Let b(k) = k**3 + 7*k**2 + 3*k - 19. Let x be 2 + 9/((-36)/28). Let r be b(x). Solve 2*m = -q*m - r for m.
-4
Let f be 1 - 3 - 4 - -4. Let x be (-5)/f + (-18)/12. Solve 0 = -4*u + x + 19 for u.
5
Let g be ((-165)/(-6))/(-5) - (-1)/2. Let k be g/10 - (-