. Solve -2*n + f = 0, 4*f = -7 - p for n.
-2
Let i be 3596/261 + 2*2/18. Let t be i/5 + ((-120)/25 - -5). Let x be -5*(-3 - (0 + -2)). Solve -2*f - 16 = 4*z, -x*z - 6*f - 22 = -t*f for z.
-2
Let k be 9/(-6) + 5/2. Let v(q) = 7*q**3 + 3*q**2 - 10*q + 8. Let w be v(k). Solve 0 = -2*y + w, 0*x + 4*x + 4*y - 32 = 0 for x.
4
Let c(h) = h + 1. Let v(n) = -8*n - 61. Let j(p) = 4*c(p) + v(p). Let r be j(-20). Let d be 20/(-8)*12/(-10). Solve d*z + q = -q + 9, -q = -4*z + r for z.
5
Let k = 61 + -61. Solve -4 = i, 4 = 4*a - 4*i - k*i for a.
-3
Let s(z) = -7*z + 123. Let v be s(17). Solve -v*d - 35 = -398*w + 401*w, -5*d - 5 = -4*w for w.
-5
Let x = 2059 + -2058. Let k be (1 + 1)*(-3)/(-2). Let u(s) = s**2 - s - 3. Let v be u(3). Solve -v*j + 3 = -2*l + 5*l, x = -k*l - 2*j for l.
-3
Suppose 16*d = -32621 + 32861. Solve 5*g = f - d, -3*g + 11 = 17 for f.
5
Let j(i) = 20*i - 9*i**2 - 2*i**3 - 4*i**3 - 16 + 5*i**3. Let h be j(-11). Let s be -3 - 10/h*-3. Solve -2*d = -4*d, s*n + d = 0 for n.
0
Let p(q) = 2*q**2 + 4*q. Suppose -5*n = 3*m + 11, 0*n + 11 = -4*m - 3*n. Let k be p(m). Solve 0 = 5*j - 15, -5*v = -2*j - k*j + 16 for v.
-2
Let a be (17 + -15)/((-1)/(-16)). Suppose -3 = -5*k + a. Suppose 3*f - 4*v = 4*f - k, v = -3*f + 10. Solve 3*g - 3 = 5*g - 3*o, -2*o - f = -3*g for g.
3
Suppose 0 = 180*a - 166*a - 56. Solve -47 + 30 = -a*g - 5*d, -d + 13 = -4*g for g.
-2
Let f be 342/81 - 12/54. Suppose -f*s - 16 = -4*p, -p + 5*s - 10 = -14. Solve d - g - 4 = -3, -g = p*d - 24 for d.
5
Let u(w) = 5*w**2 - w. Let r be u(1). Let n be (4 - 174/48) + 53256/1344. Solve 0 = 5*v + 2*x + x - n, -4*v - r*x + 40 = 0 for v.
5
Let m be (-11 - -9)*2/(-4). Suppose -3*a + 4*f + 113 = 0, -5*f = -2*a - 0*a + 73. Suppose 0 = -5*j - 19 + a. Solve -2 + 7 = q, -j*i = -q + m for i.
1
Let w(s) = 17*s - 187. Let c be w(11). Solve -4*j - 57 = -d - 63, c = 2*j + d for j.
1
Let s(d) = d**2 - 6*d - 67. Let x be s(12). Let q be (-56)/40 - (-22)/x. Solve q*z + 1 = p - 3, 5*p - 6 = z for p.
1
Suppose 4 = 2*n, -w + 19 = -2*n + 9*n. Solve 2*k + 13 = g, -8*k + 5 = -3*k + w*g for k.
-4
Let n(u) = u**3 - 4*u**2 + 3*u + 4. Let k be n(3). Suppose 46 - 105 = -5*d - 2*c, -d - 26 = -5*c. Solve -2*o = 3*o - k*g - d, -3*o + g = -11 for o.
5
Suppose 50421 = -4*l + 50433. Solve -11 = 3*i + l*b + 13, 3*i = -5*b - 30 for i.
-5
Suppose -6996*t + 7011*t = 90. Solve 2*y + p - 1 + t = 0, 5*y = 3*p - 7 for y.
-2
Suppose -2*d - 7 = -27. Suppose d*b = 44 + 6. Solve -3*w - 15 = -3*z, -b*w + z - 2*z = 1 for w.
-1
Let p(o) = -o**2 - 12*o + 15. Let h be p(11). Let i = 241 + h. Solve -c = -2*l - 6, 2*l + i = 4*c + 9 for l.
-5
Suppose 237*x - 44 = 215*x. Solve 3*u + 15 = -3*v, x*v + 16*u = 12*u - 10 for v.
-5
Let t be (2/(-3))/((-12)/54). Suppose 32 = 4*g - 2*m - 2*m, 0 = -t*m - 12. Suppose p + 84 = g*p. Solve -b + 3*n - 14 = -3, 2*b - p = -4*n for b.
4
Let d be 15*(-6)/(-9) - 10/(-2). Suppose -d = 12*v - 99. Solve 22 - v = 5*a - 5*n, 0 = -2*a + n + 3 for a.
0
Suppose 0 = -14*g + 349 + 351. Suppose 9*q = -3*x + 14*q + g, 5*q = 10. Solve r - 16 = 4*m - m, r = 4*m + x for m.
-4
Suppose 5*z + r = 6*r - 325, -4*r = 4*z + 300. Let t = 76 + z. Solve -t = m - 5*m + 2*a, -m + 5*a = 3 for m.
2
Suppose -114 - 31 = -5*w + 4*x, 0 = w + 2*x - 29. Suppose -w*f + 198 + 5 = 0. Solve -4*u = -12, 2*m + 4*u = -3*m + f for m.
-1
Let v(l) = 37*l + 77. Let a be v(-2). Suppose 3*p - 2*p - 5 = 5*d, -2*d + 15 = a*p. Solve 5*b + d*t = -4*t + 37, 0 = 3*b - 3*t - 6 for b.
5
Suppose -z = -m - 5*z + 17, -4*z = -16. Let q(f) = 2*f**2 - 2*f + 2. Let b be q(m). Solve -2*c = 2*r, 0 = -r + b*r - 2*c for r.
0
Let d(k) = 2*k**2 - 2*k - 4. Let x be d(3). Suppose -77 = s - x*s. Solve -s = 4*c - 5*h, 4*h = 2*c - h + 3 for c.
-4
Let w = -2081 - -2086. Solve -p + 4*n - 4 = 0, -22 = -5*p + 4*n - w*n for p.
4
Let n(j) = -j**3 + j - 2. Let r be n(-2). Suppose -i + 25 = 4*i, 2*h - 5*i = -57. Let m be h/24 - 14/(-3). Solve f + 25 = -m*y - y, 5*f = r*y - 9 for f.
-5
Let t be (-10 - -2)*(-63)/56. Suppose -t*z - 38*z + 188 = 0. Solve 3*p - 12 = -3*m - 0*p, 2*m = z*p - 16 for m.
0
Suppose 8 = l + 2*w, -346*w + 2 = 2*l - 349*w. Solve 0 = -l*p + 2*n + 4, -10*n = 4*p - 11*n for p.
-1
Let q(v) = -3*v - 16. Let j be q(-5). Let c be (-4)/(-4) + 4 + j. Let i be 1/((-3)/(-18)) - 4. Solve -c*k = -5*d, -2*d + i*k = 4 - 2 for d.
4
Let k(o) = -o**3 + 72*o**2 + 69*o + 312. Let r be k(73). Solve w - r = 3*y - 12, 2*y + 12 = 2*w for y.
-1
Let c = -20003 + 20018. Solve 3*p = 3*o - c, 2*p - 8*o + 10 = -12*o for p.
-5
Let t = 8460 + -8377. Solve 7 = m - j, 25 = 87*m - t*m - 3*j for m.
4
Let p(n) = 3 + 518*n + 502*n - 1052*n. Let m be p(0). Solve 0 = -2*i + b + 3, 3*i - m*b + 0 = 6 for i.
1
Suppose 2*z + 111 = -3. Let w = -219 + 165. Let o = w - z. Solve -4*n = 3*p - 5, -5 = o*p - n - 0 for p.
-1
Let b = 65 - 63. Suppose b*c + 8 = 0, -5*v - 5*c = -0*c + 85. Let w = -10 - v. Solve 5*t - w*y = 17, t + 7 = -2*y - 0*y for t.
1
Let w be 2/(-5) - (5 - 102/30). Let c be 10/(-20) - 11/w. Solve -2*l = 3*d - 10, -5 = 4*d - c*l + 20 for d.
0
Suppose 0 = -5*d + p - 175, -7*p + 8*p = -5*d - 185. Let x be 2/((-45)/d*4/10). Solve n - 16 = -x*b, -n - 2*b = 3*n + 6 for n.
-4
Let o be 4/((-2)/2) - (0 + -2 + -5). Solve -v + o*i - 13 = 0, -3*v + 2*i = 8 - 4 for v.
2
Let u = 260 - 255. Suppose t - 4 + 27 = u*a, -a - 5*t - 11 = 0. Solve -2*w + j + 6 = 0, -2*w + a*j - 1 = w for w.
5
Suppose f = -4*f - 10, m - 5*f = 12. Let i(c) = 3*c**3 - 7*c**2 + 5*c - 5. Let q be i(m). Solve 5*o - 3*z + q = -24, 0 = -3*o + 4*z - 15 for o.
-5
Suppose 0 = -656*r + 270*r + 3674 + 186. Solve 3*i + 3 = 0, 2*i + 27 = 5*s + r for s.
3
Let v be (4/6)/(9/54). Suppose -1 = -3*d + 3*p - 4*p, 0 = v*d + 2*p + 2. Solve -c = 0, 0*c + 4 = -d*l - 5*c for l.
-2
Let k = -5068 - -5082. Solve -6*c + 10*c = 2*i, -3*i + k = c for c.
2
Let p = -147 - -158. Suppose -60 = -p*s - 4*s. Solve 4*v = -4*x - 12, -3*v = s*x + 12 - 3 for v.
-3
Let l(d) = 2*d**2 + 24*d - 62. Let i be l(-14). Let f(q) = -q**2 + 5*q - 6. Let z be f(5). Let r be z/(-8) - i/(-8). Solve 0 = -w + 5*y, -3*y = -r*y for w.
0
Suppose 14 = 2*h - 6. Suppose h*b - 11*b = -2. Let c = -449 - -464. Solve 2*d = 5*k + c, -d + 3*k = b*k - 6 for d.
5
Let f be (1 + -2)/(-1 + (-3)/(-4)). Let n be (-18)/(-4) + 6/f. Solve -3*j = -p + 1, -n*j - 1 = -2*j - p for j.
0
Let c be (-4 + -113)/((-5)/(-20)). Let a be (c/546)/((-4)/14). Solve 26 = -5*o - 3*w, -2*w = a*w + 10 for o.
-4
Suppose -84 = 13*r - 7*r. Let m(p) = p**3 + 14*p**2 - p - 10. Let o be m(r). Suppose -5*l + 10*l = 25. Solve b = -o*u - 5, b - l = 6*b for u.
-1
Let o(h) = -6*h**2 + 83*h + 18. Let t be o(15). Let x be 86 + t + 23 + 1 + -2. Solve -5*y + 3*j = 4*j + x, 4*j - 31 = 3*y for y.
-5
Let h be (-9759)/(-24) + -1 - 51/(-136). Let s = h + -402. Solve 0 = -v - v + s*d + 16, -3*d - 19 = 2*v for v.
-2
Let u be 50/(-4)*(-1 - (-58)/10). Let r be (u/8)/(198/(-64) - -3). Let h = -77 + r. Solve 0 = 2*o + 2*g, -2*o - h*g = 2*o - 1 for o.
1
Suppose 53 = 3*r + 5*a, -4*r + 2*a = -147 + 33. Suppose -f + r = 19. Let c(v) = 2*v**2 - 13*v + 2. Let l be c(f). Solve -2*p + 5*s = l, -1 = -s + 2 for p.
3
Suppose -105 = -37*s + 32*s - 5*u, 2*s - 54 = 2*u. Solve 0 = 5*r + 3*i - 3, -s*i = -21*i + 12 for r.
3
Suppose -5*n - 3*x = -35, -3*n + 4*x - 3*x = -21. Suppose n = 4*d - g, -20*d - g = -19*d + 2. Solve 2*a + 1 = -c - d, 5*a + 3*c = -7 for a.
1
Let z be 34/12 + (-8477)/(-7266). Suppose 0 = 3*n + 10 + 2. Let k = 8 + n. Solve k*y + 3*s - 1 = -16, -z*s = 20 for y.
0
Let c = 601 + -589. Suppose 1460 = -5*s + 1485. Solve 5*a + c = -2*b + 1, 0 = b - a - s for b.
2
Let q be 123/18 + (-24)/(-144) - 2*-2. Solve 0*l + q = j + 3*l, -3*j - 32 = -4*l for j.
-4
Let z = -20447 + 20447. Solve 2*l - 4*g - 8 + 30 = z, -4 = -l - 3*g for l.
-5
Let m(q) = q**3 - 22*q**2 + 2*q - 42. Let n be m(22). Let d be 40/18 + n/(-9). Let f be d/5 - 10/25. Solve 4*i = -2*y + 6*y + 24, f = -2*i + 5*y + 24 for i.
2
Let r(g) = -g**3 - 8*g**2 - 5*g + 16. Let u be r(-7). Solve 2*j + 9 = 4*a + 15, -j = -a - u for a.
-1
Let m = 10 + -4. Suppose m*y + 24 = 18*y. Let t be (2/(6/(-15)))/(-1). Solve -4*d - t*k = -7, -3*d = y*d + 3*k - 12 for d.
3
Suppose 4*y = j + 14 + 5, -y = -5. Solve -15*z + 12*z = -3*d + 3, -5*d + 4*z = j for d.
-5
Suppose 3978 = -12*f + 90*f. Let x(a) = -a**2 + 3*a - 1. Let k b