e z*k = -x + 8 for k.
-5
Let u be 623/178*(-80)/(-7). Solve 0 = u*z + 126 + 74 for z.
-5
Let d(l) = -2*l**3 - 7*l. Suppose 0 = -p + 4*w - 0 - 4, 3*p - 2*w + 2 = 0. Let a be d(p). Solve 5*k = -a*k for k.
0
Let x(p) = -3*p. Let j be x(-1). Let s = 612 + -609. Solve 4*z - s*z + j = 0 for z.
-3
Let g be (-10436)/(-72) - 1 - 3/(-54). Solve -28*n - g = 8*n for n.
-4
Let o(m) = -m**2 + 3*m + 10. Suppose 6*c = 11*c - 15. Suppose -5*i + 4*q = -25, -2*q = i + c*q - 5. Let v be o(i). Solve v = 4*f - 3*f for f.
0
Suppose -13*g + 368 = 3*g. Suppose -2*l + v + 2*v = -16, 3*l = 4*v + g. Suppose l*x + 5*x = 2*x. Solve x*s = 2*s for s.
0
Let r(w) = -w**2 + 16*w - 41. Let x be r(12). Solve 0 = x*a + 317 - 359 for a.
6
Suppose m - 1 = 1. Let r = 166 + -163. Suppose r*q + o = -0 - 2, 3*o = q - 6. Solve q = m*l + 2*l for l.
0
Let i = 335 + -298. Suppose -i*o + 25*o = -24. Solve 0*m + o*m + 6*m = 0 for m.
0
Suppose y - 2*l + 7 = 0, -7*y - l = -2*y - 31. Solve -526 = y*z - 541 for z.
3
Suppose 3*h - 2*m = 60, -3*m = -h + 2*m + 20. Let t = -204 + 207. Suppose -t*x + 5*v + 2 = v, 30 = 3*x + 3*v. Solve x*g - g = -h for g.
-4
Suppose -n = -11 + 3. Let s = 64 - 48. Let j = s + -12. Solve n - j = 4*d for d.
1
Let j be (8 - (0 - -10)) + 4. Solve -17*m - j*m = 4*m for m.
0
Let t = 21 - 24. Let v(o) = -o**3 - 2*o**2 - 7*o + 2. Let d be v(t). Let r = 51 - d. Solve -5*l + 6 = -r for l.
5
Let v(r) = 7*r**3 - 3*r**2 + 2*r - 26. Let f be v(3). Solve -34*u + f = -62 for u.
6
Let r = -5407 + 5422. Solve -r*b + 64*b = -98 for b.
-2
Let j = 121 + -119. Let q be -2 + 8/j + -31 + 29. Solve q*r - r = -3 for r.
3
Let g(h) = 3*h**2 + 0*h + 790 - 796 + h + h. Let v be g(-2). Solve -6 - v = 4*u for u.
-2
Suppose -5*y + 2*h + 608 = 0, 4*y - 180*h + 175*h - 517 = 0. Solve 127*a - y*a + 63 = 0 for a.
-7
Let x be 4 - 1/(2/4). Let d(s) = s**3 - 20*s**2 + 36*s + 8. Let j be d(18). Solve -j = -5*l + x for l.
2
Let b(c) = -2*c**2 - 16*c - 3. Let v be b(-8). Let h be -5 - (7 + v - (15 + -2)). Solve 4*y - h = -8 for y.
-1
Let n be (4/3)/((-21)/(-882)). Solve -35 = -3*s - n for s.
-7
Let w(i) = -5*i**3 - 28*i - 58. Let f be w(-2). Solve -f*a = -35 + 149 for a.
-3
Let h = 1759 - 1669. Solve 5*b - 20*b = -h for b.
6
Suppose 41*g + 8425 = 16*g. Let r = g + 417. Solve -r*k + 81*k = -1 for k.
-1
Let b(i) = i**3 - 11*i**2 + 9*i + 13. Let s be b(10). Let r be 6/6 - (s/(-3) + -3). Suppose -7*f + 24 = -r*f. Solve -f = -3*w - w for w.
3
Let d(r) = 55*r + 1485. Let a be d(-26). Solve -5*f + a = 6*f for f.
5
Suppose 80*y = -37*y + 50760 - 8289. Solve -372 = 3*p - y for p.
-3
Let j = -60970 - -60983. Suppose -3*z = 3, 3*z - 25 = -h - 3*h. Solve 2*m + h = j for m.
3
Let s = -411 - -401. Let z = 1 + -3. Let m be 2/(-5)*s/z*-5. Solve -2*v - 3*v + m = 0 for v.
2
Let d(v) = 4*v**3 + 11*v**2 - 25*v + 5. Let y be d(3). Suppose 42*l - 389 = -y. Solve -l + 46 = 8*f for f.
5
Let k(l) = -8*l - 16*l**2 + 17*l**3 + 20*l**2 - 3*l**2 - 17*l**2 - 126 - 18*l**3. Let d be k(-16). Solve -5*r - d*r = -0*r for r.
0
Let d be (-6)/15 + 81/15. Let f = -166429 - -166432. Solve -d*j = 7 + f for j.
-2
Let c = -4802 - -4802. Solve 8*z + 6*z - 7*z = c for z.
0
Let t be 24/10 - (-771)/1285. Let z(m) = m**2 - 14*m + 15. Let g be z(13). Let n = -1 + g. Solve -j = -n + t for j.
-2
Let r = -1 + 1. Suppose r = 4*b - 0 - 16. Suppose -17 - 29 = -b*l + 2*k, 0 = l + 4*k - 16. Solve -x = -4*x - l for x.
-4
Let o be -8 + 0 + -10 + 33. Solve -o + 1 = -2*z for z.
7
Let b(g) be the first derivative of 2*g**3/3 - g**2 - 4*g + 2. Let c be b(-2). Suppose 213 = 34*y + 9. Solve -c*l = -y*l for l.
0
Let z be (3/12*-2 - -2)*936/351. Solve -c + z = 8 for c.
-4
Suppose 24 = 3*s + 3*s. Suppose 2*m - 3*v = 28 + s, -3*v - 2 = m. Let h = m + 0. Solve h = 3*x - 2 for x.
4
Let m = 12 - 10. Suppose 0 = 49*z + 91 - 287. Solve m*s - 4 = z for s.
4
Suppose t - 2*o - 25 = 0, 3*t + 2*t - 164 = -3*o. Let k be 2 - (8 + 28) - -7. Let l = k + t. Solve -2*y = -y - l for y.
4
Let k(o) = 6*o - 66. Let b(v) = 3*v - 33. Let p be b(15). Let i be k(p). Solve 6 = 6*m - i for m.
2
Suppose -7*h + 58 = 16. Suppose 5*a - h*r = -5*r - 4, -4*a + 12 = 3*r. Solve 0*j - 2*j = a for j.
0
Let b be 15 - (-3 - (-10)/(-10)). Solve 55 = -b*m + 30*m for m.
5
Suppose 3*o = -2*p + 104, -105*o + 102*o = -5*p - 55. Solve -35*s = -20*s + o for s.
-2
Let m be ((-5 + 21)/(-2))/((-5)/10). Let p be (m/(-2) - -8) + 12. Let r be (-1*3)/(-1 - 0). Solve -r*v + 0*v + p = 0 for v.
4
Let b = -634 - -660. Suppose -7*g - b = -159. Solve 22 = -3*y + g for y.
-1
Let h be ((-6)/4)/((-8)/496). Let f = h + -93. Solve f = -6*g + 4*g - 10 for g.
-5
Let q(f) = -f**3 - 6*f**2 + 6*f - 2. Let k be q(-7). Suppose -9*p = -k*p - 20. Suppose 2*o = 7*o - 75. Solve p*m = -o + 5 for m.
-2
Let w(l) = 5*l**2 - 267*l - 38. Let t be w(55). Solve -8 = -t*i + 398*i for i.
2
Let z be (0 - 4) + (9 - (-1)/(-1)). Let s(o) = -o**3 + 3*o**2 + 7*o - 7. Let b be s(z). Solve b*q = q for q.
0
Suppose 0*u - 3*u + 94 = 2*o, 0 = o + 4*u - 37. Let a = o + -62. Let p be a/15 - (-159)/15. Solve -p = 2*y - 4*y for y.
5
Suppose -1318 = 4*i - 2*z, 657 = -2*i - 3*z + 6*z. Let s be ((-100)/(-14))/(i/(-924)). Solve 3*b = -b + s for b.
5
Suppose -350 = -2*s + 5*y, 512 = 3*s + 119*y - 120*y. Solve 100 = -10*u + s for u.
7
Suppose 4765*i = 4781*i - 48. Solve 7 = i*v + 4 for v.
1
Let j be 9/12*-331*(-8)/3. Let s = 667 - j. Solve s + 0 = v for v.
5
Let u(o) = -14 - 5 - 41*o + 38*o. Let h be u(-8). Let a be 1/(-3) - ((-1248)/(-18))/(-16). Solve -i - a = -h for i.
1
Suppose 27*q + 3*q = 14*q. Suppose 3*i + 13 = -2*t + 31, 0 = -3*i + 5*t + 18. Suppose -n + 2*j + 0*j + i = 0, -5*n - 4*j + 58 = 0. Solve q = -f - f + n for f.
5
Let f(p) be the first derivative of p**4/4 + p**3 - p**2 - 57*p - 6. Let o be f(0). Let j = o + 57. Solve 12 = -3*c - j*c for c.
-4
Let n be (-7)/(-12 + 13)*(0 + (-3 - -2)). Suppose -4*v = -5*r - 16, 2*v - 6 = 4*r + 2. Solve r = n*m - 8*m for m.
0
Let m(w) be the second derivative of w**3/2 - 31*w**2/2 + 1101*w. Let q = 7 - -4. Let h be m(q). Solve -h = -5*v + 3 for v.
1
Let y(l) = -l**3 - 11*l**2 - 15*l + 12. Let p be y(-11). Let g = p - 164. Solve g = 3*c + 1 for c.
4
Let u be 44/(-6) + 1/(-4 + 7). Let r be ((-16)/10)/(u/140). Suppose 3*a = a + r. Solve -3*b - a = -7*b for b.
4
Suppose -5*p - 21 = -12*p. Let o(g) = 2*g**2 - g + 7. Let l be o(0). Solve 0 = p*y - l*y + 4 for y.
1
Let w = -587 - -300. Let z = w - -299. Solve z*o = 8*o + 4 for o.
1
Let w(m) = -m**3 + 34*m**2 - 30*m - 91. Let c be w(33). Solve c*j - 11*j = 0 for j.
0
Let q(d) = -4*d - 35. Let v be q(-13). Suppose v*s - 24 = 9*s. Solve 0 = -s*w + 4 - 7 for w.
-1
Let g(u) = -u**3 - 12*u**2 - 9*u + 35. Let n be g(-11). Let v be n/(-26) + (-62)/(-4). Solve -2*y - v = -5*y for y.
5
Let l(r) = 18*r**2 - 342*r + 12. Let x be l(19). Solve 5*d - 2*d + x = 0 for d.
-4
Suppose 0 = n - 3*n + 4. Suppose -3 = n*r - 7. Solve r*m + 8 = -2*m for m.
-2
Let d = 26 + -179. Let o be d/(-27) - 2/15*5. Solve -y + o*y = 8 for y.
2
Let l = -158 - -157. Let x(k) = 16*k + 2. Let p(j) = 8*j + 1. Let z(a) = -7*p(a) + 3*x(a). Let g be z(l). Solve 2*m - g*m - 5 = 0 for m.
-1
Let k be 11/(-33) + (-50)/3. Let z = k + 24. Suppose 2*t - m = z, -6*m = -m + 5. Solve -t*b + 6 + 6 = 0 for b.
4
Let i(q) = -8*q - 8. Let v be i(-5). Suppose -5 - 7 = -3*j - b, 4*j - v = 4*b. Solve -7*t - 10 = -j*t for t.
-5
Let b be ((-82)/(-6))/((-3)/9). Let n = 2289 - 2330. Let c = n - b. Solve -4 + c = -4*g for g.
1
Let d(g) = -145*g**2 - 8*g - 3*g + 149*g**2 - g - 12. Let n be d(-1). Solve 0 = -n*y + 1 - 9 for y.
-2
Let k(n) = n**2 + 3*n + 15. Let l be k(0). Solve 0 = -19*w - l - 99 for w.
-6
Let b be (8 + 7)/((-4)/32*-6). Let r be (-3)/(-12) - (-155)/b. Let d be (1 + -1)*4/8. Solve d*v - r = 2*v for v.
-4
Let s be (25 - 51)/26*(123*5)/(-3). Solve -s = -44*p + 15 for p.
5
Suppose -230 + 80 = -15*a. Let z be ((-196)/16)/(-7)*4. Solve z*l - a*l = 9 for l.
-3
Suppose 0 = 8*b - 17426 + 17274. Solve -10 - 9 = -b*y for y.
1
Let t = 31 - 28. Let x = -298 - -311. Solve t + x = -4*u for u.
-4
Suppose -14*a + 13*a = -15. Suppose -10 = -5*r + 3*r + 2*n, 5*r + a = -3*n. Suppose r = -9*g + 2*g + g. Solve g = 2*i - i + 1 for i.
-1
Suppose 91*q - 40*q + 16*q = 0. Solve 15*g - 157 + 67 = q for g.
6
Let x = -13348 - -13365. Solve -19*g = -2 - x for g.
1
Supp