 2*f - 7 - 8 = 0, -s*f - 35 = 5*m for m.
-5
Let z(u) = 2*u - 19. Let t be z(16). Solve -4*m - 5*o = -2*m + t, 0 = 5*m - o + 19 for m.
-4
Suppose -4*b + 8 = -0*b. Let d be (348/145)/(6/50). Solve 0 = 2*y, -4*w + y = -b*y + d for w.
-5
Let f be (-6)/(-9) - 25/(-3). Let r(g) = -g + 17. Let v be r(12). Suppose v*s - 56 = 14. Solve -4*m - o = -f*m - s, m - 5*o = -22 for m.
-2
Let r be 2 - 20/16*-4. Solve -5*g - r*h + 35 = -4*h, 5*h - 25 = 0 for g.
4
Suppose 5*o + 2*b = 20, -77 = 3*o - 3*b - 89. Solve o*l = 2*z + 18, 2*l - 3*l - 2*z = -7 for l.
5
Let p = 38 - 34. Let u(h) = h**3 - 4*h**2 + 2*h - 5. Let g be u(p). Solve 14 = q + 5*l, g*q + l = 5*q - 6 for q.
4
Let d = -22 + 14. Let s be (d/6)/(1/(-3)). Suppose -h + 2*u + 0*u = -43, s*h = -3*u + 161. Solve -h = -5*k + 4*c, 0*k + 4*k + 4*c - 4 = 0 for k.
5
Let z(l) = 545*l + 11993. Let v be z(-22). Suppose 4*h - 3*f - 26 = 0, 0 = -2*h - 10*f + 5*f. Solve -s - c + 3*c = h, -v*c - 3 = -5*s for s.
3
Let w(z) = z**3 + 14*z**2 - 6*z - 77. Let f be w(-14). Let m = -5 + 8. Solve -2*j + 2*t + 8 = -3*t, 5*t = m*j - f for j.
-1
Let b(m) = -16*m + 80. Suppose 0 = -5*n + 5*t, 5*t + 4 = -3*n + 44. Let v be b(n). Let x be 4/(-10) + 34/10. Solve -4*w - x*z - 2 = 0, v*w + 3*w = z + 5 for w.
1
Suppose -m + 13 = 6. Suppose 3*p - m*p = c - 20, 2*p + 5*c = 10. Suppose 3*j - 7*j = 0. Solve 5*f + p + 10 = j, h + 3*f + 5 = 0 for h.
4
Suppose g = 5*y + 8, 11 = 2*g - 2*y + 3. Solve -r - 8 = q - g*q, -2*q - 3*r - 8 = 0 for q.
2
Let l be ((15/(-25))/(-1))/((-6)/(-30)). Solve -2 = -l*s + i, 1 = 2*s + 2*i - 3 for s.
1
Let r = -1111 + 1117. Solve d - 6 - 4 = -4*g, g = 4*d - r for d.
2
Let b be 4/2 + 16 + -4. Suppose 5*t + 4*g - 6 = 6, -3*g + b = 5*t. Suppose 0 = 2*x + 2*x - 16. Solve 8 = 4*a - x*i, -a - t*a + 6 = -3*i for a.
0
Let v(l) = 2*l**2 - 13*l + 10. Let p be v(6). Solve 9 = -p*r - g, -9 = -0*r + 2*r + 5*g for r.
-2
Let a(c) = -c**2 + 2*c. Let t be a(3). Let n = -1 - t. Suppose -2*x - 21 = -n*f - 3*f, f = 3*x - 1. Solve 5*q - 10 = -2*o, -6*o + 20 = -x*o + 5*q for o.
5
Let u = 9 + -7. Let n(h) = -2 + 4 - u + h. Let m be n(6). Solve -g = 0, -5*g + 3 = -j + m for j.
3
Suppose 0 = -17*z + 15*z + 16. Suppose 3*l - l - z = 0. Solve -p = -0*f + 4*f, -l = -p for f.
-1
Let f be -2 + ((-9)/(-15) - (-17)/5). Solve -f*v - 2*x + x + 12 = 0, -5*v = -3*x - 8 for v.
4
Let s(y) = -3*y**3 + 6*y**2 - 5*y + 4. Let c be s(4). Let l = 116 + c. Solve -l*g + 3*w = 31, -6*g + 5*w - 45 = -g for g.
-4
Let r(w) = -w**2 + 14*w + 23. Let c be r(15). Solve 4*v = 2*o + 3*v + c, 0 = 3*o + 4*v + 23 for o.
-5
Let j(w) = w**3 + 8*w**2 + 9*w + 2. Let v be j(-6). Let z = -13 + v. Let h = z - 3. Solve 2*b = -5*y + 11, 0*b = 3*b - h*y + 18 for b.
-2
Let a = 2 + 9. Let g = a + -7. Suppose 4*p - 6 = p. Solve -p*u - u - 17 = -g*z, 5*z - 19 = 3*u for u.
-3
Let x(b) = 8*b + 237. Let u be x(-29). Solve 0*m + 4*m + 3*g - 35 = 0, -5*m - u*g + 50 = 0 for m.
5
Let m = 10 + -6. Let g = 565 + -561. Solve -m*q + 6 + g = -3*h, -6 = -q - h for q.
4
Let s(w) = -w**2 + 2*w + 39. Let i be s(7). Solve -i*o + 2*u = 4*u + 18, 4*o + 4*u = -20 for o.
-4
Let x = -1149 + 1153. Solve -4*h + 3*m - x + 22 = 0, h - 1 = -m for h.
3
Let o(i) = -17*i - 23. Let t be o(-2). Solve -3*v = -4*p + 7, -5*v - t = 5*p + 24 for p.
-2
Let p(y) = -y + 19. Suppose -8*k + 35 = -3*k. Let n be p(k). Solve -2*w + 3 + 9 = 5*h, -w + n = 4*h for h.
4
Let p(y) = -y**2 - 6*y - 4. Let f be p(-2). Solve 5*j = 0, 7*u + 15 = f*u - 5*j for u.
-5
Let l(r) = -r + 3. Suppose w = 4*t + 4, -8 = t - w - w. Let o be l(t). Solve 3*u = -3*n - 9, -3*u = o*n - 5*u + 19 for n.
-5
Let r = -322 + 327. Solve -3*k = -v - 13, -r*v + 0*k - 1 = k for v.
-1
Suppose 45*f - 865 = -370. Suppose 4*d - 5 = -5*g, -23 = -5*d + g + 5. Solve -5*z = 4*c + f, 2*z - 15 = 7*z + d*c for z.
1
Let l be 1 - (-1 - (2 + -2)/2). Suppose 5*f - 4*g = g, l*g - 6 = 0. Let j(p) = -2*p - 1. Let z be j(-3). Solve z*q = f*m - 25, -m = -0*m + 2*q + 10 for m.
0
Let l(c) = -2*c - 4. Let v = -11 + -3. Let z be l(v). Let j = z - 20. Solve b = -2*g, 18 = 3*g - j*b + 7 for g.
1
Let x(s) = -2 - 3 + 2*s - s. Let v(z) = z**3 - 17*z**2 - 17*z - 11. Let u be v(18). Let n be x(u). Solve h - 4*h = 2*d + 4, 2*h = -d - n for d.
-2
Let k(s) = s**3 + 48*s**2 - 46*s + 157. Let u be k(-49). Solve 0 = -5*t - 5*a - u, 3*t + 0 + 3 = -2*a for t.
1
Suppose 2*k = k + 14. Suppose 2 + 8 = 5*t. Solve -4*p + 4*r + k = -t*p, -11 = -5*p + 2*r for p.
1
Let v(k) = 2*k - 3. Let p be v(7). Let f(n) = 4*n**2 - 77*n + 19. Let j be f(19). Solve 2*b + 3*u + 19 = j, 0*b - 3*u = -2*b + p for b.
-2
Suppose 134*i = 128*i + 18. Solve 5*v + c + 6 = 25, -5*c = i*v - 7 for v.
4
Suppose -3 = v - 4. Let i = v - -3. Suppose -4*p = j, j = 3*j + 3*p - 5. Solve j*g = m + 6, g = i*m + 3*g + 6 for m.
-2
Let c = -10 - -18. Suppose -1 = -c*f - 1. Solve -5*n = -f*w + w + 9, -2*w - 6 = -2*n for w.
-4
Suppose m + 16 = 3*k, k + 2*m - 4*m - 7 = 0. Let l = 605 + -602. Solve 0 = 5*q - 3*o + 13, -4*q - k*o + 0*o - l = 0 for q.
-2
Let h(g) = g**3 - 4*g**2 - 2*g + 1. Let o be h(5). Let q = o - -5. Solve -3*f - 2*r + q = 2*r, 2*f + 2*r = 12 for f.
3
Let a = -301 - -304. Solve a*y - 5*i = 17, 2*y = 5*y - 4*i - 13 for y.
-1
Suppose 14*p - 5*y = 11*p + 34, -4*p + y = -17. Let b = 7 + -6. Solve b = -g - 3*l, -5*l = -p*g - 3*l - 3 for g.
-1
Let h be (-7)/4 - (-243)/36. Solve -b = 5*z - 0 - 16, 5*z - 20 = -h*b for z.
3
Let t be (-90)/12*((-10)/25)/1. Solve 0 = 3*w - 2*l - 6, -2*l = t*w - 0 + 6 for w.
0
Let t be (-12)/4*4*1. Let i = t - -16. Suppose -2*h - 3*d + 20 = 0, -h + i = 4*d - 6. Solve 4*b - 14 = 4*l + h, -5*l + 2*b = 24 for l.
-4
Let a = -135 + 139. Let v be 2/5*5 + (4 - a). Solve 5*h = -2*x - v + 27, -4*h = -x - 20 for h.
5
Let t(p) = 4*p**3 + 2*p**2 + p - 3. Let k be t(1). Solve -w + 4*x = 1, -x - 20 = 3*w + k*x for w.
-5
Suppose 28*f - 87 = 53. Solve 4*z - 6 = -j, z + f*j = -4*z for z.
2
Let s = 210 + -205. Solve -2*h - 20 = -s*d, -h = 2*h for d.
4
Let l(r) = -r**3 - 3*r**2 - r + 1. Let n be l(-3). Suppose -150 + 154 = w. Solve 3*o + 2*v + 4 - 16 = 0, w*o + n*v - 20 = 0 for o.
2
Let d(p) be the second derivative of -p**5/20 - p**4/12 + p**3/2 - 5*p**2/2 + 9*p. Let u be d(-3). Solve -2*l - 18 = u*j, -2*l + j + 22 = -3*j for l.
1
Suppose -106*j = -91*j - 75. Solve -4*u = j*d - d + 20, 2*u - 4*d = -4 for u.
-4
Let y(c) = -4*c**2 - 20*c + 11. Let h be y(-5). Solve i + 16 = -0*t - 5*t, -4*t + i - h = 0 for t.
-3
Suppose 40 = 5*w - 5*i, 0 = 2*w + 2*i - 3*i - 11. Suppose 27 = 2*j - k, j = 7*k - w*k + 24. Let r = 16 - j. Solve 0 = -r*p - g - 22, p + 3*p - g + 18 = 0 for p.
-5
Let x(z) = -z**3 + 4*z**2 + 7*z - 2. Let b be x(5). Let v be 7/((-21)/12) + b. Solve 3*s = v*d + 2 - 1, s + 4 = -3*d for s.
-1
Let i = -103 - -105. Let q(m) = -m**3 - 11*m**2 - m + 20. Let d be q(-11). Solve 0 = 5*b + 4*f - d, 0 = -2*b - 0*b + i*f - 2 for b.
3
Let c be 2/19 - 17/(-19). Solve 4*x = -3*z + 2 - c, 5*z = 15 for x.
-2
Suppose -6*d + 40 + 92 = 0. Let x = 27 - d. Solve 5*z + 14 = 2*c, x*c = z - 3*z - 23 for z.
-4
Let k(d) = -d - 5. Let x be k(-7). Let h(c) = -1 - 3 + 4 + 4*c + c**x. Let a be h(-4). Solve -12 = 3*w + 2*n, a*w - 16 = 4*w - 5*n for w.
-4
Suppose 2*i + o + 0 - 3 = 0, -4*i = -o - 15. Suppose i*z - 12 = z. Let q be (-5)/((2/z)/(-1)). Solve -5*m + 3*m = p + 5, -3*m + q = -3*p for m.
0
Suppose 208 = 5*m + 2*h + 34, 2*h + 64 = 2*m. Solve 3*f - m = 5*z, -4*f - 3*z = -0 + 3 for f.
3
Let m(x) = 21*x - 310. Let v be m(15). Solve p + 3 = -j, -5*p - v*j = -j + 17 for p.
-5
Let k = 430 + -428. Solve -k*d = 3*b - 7, -d - 5*b + 16 = -b for d.
-4
Suppose -2*l = 2*t + 10, 7*l + 21 = 2*l - t. Let u be l + 13 + (-4)/1. Solve -5*p = -u*c - 5, -c = 3*c + 5*p + 40 for c.
-5
Suppose -h - 23*n + 5 = -27*n, 4*h + 3*n - 20 = 0. Solve h*m = -0*m + 2*u - 25, 4*u = -5*m + 5 for m.
-3
Let w be 2*(12 + -4 - -2). Suppose w = s + 16. Suppose 4*q = 4*x + 4 - 8, 0 = s*q - 5*x + 7. Solve 3*r = 15, 2*c + 41 = -q*c + 5*r for c.
-4
Let s be ((2 + -8)/((-12)/(-8)))/(-2). Let p be 14/(-21) - ((-4)/3)/s. Solve 1 = h - 3*o + 8, p = 2*h - o + 9 for h.
-4
Let t(u) = -u**3 + 8*u**2 + 19*u - 60. Let v be t(9). Solve -2*b - 23 - 4 = -5*z, -5*z + 5*b + v = 0 for z.
5
Let l be (-2)/(-9)*-1 - (-34)/(-9). Let t(n) = -2*n - 6. Let d be t(l). Solve 6 = -3*q, -4*m + 0*m = d*q - 12 for m.
4
Let