Solve 0 = -s*b + 8, u + p = -0*u + 3*b for u.
-1
Suppose -5*a - 6*f = -2*f + 34, 0 = 2*a + 2*f + 14. Let d be (a/(-5))/(3/(-10)). Let u = 7 + d. Solve 9 = -b + 5*o - 11, -u*o = -5*b - 12 for b.
0
Let b = -12 - -18. Suppose -3*f + b + 3 = 0. Suppose -2*z - f*t = -1 + 13, -4*z - 12 = 3*t. Solve 5*w = 15, z*u - 5*u + 13 = -4*w for u.
5
Suppose -l - 2 = 4*x, -3*l - 12 = -x - 6. Solve 3*g - 12 = x, -4*g = 2*z - 37 + 11 for z.
5
Suppose -2*p + 4*g = -14, p - 13 + 8 = g. Solve -p*z = 0, -2*u = 4*z + z - 4 for u.
2
Suppose 0 = 2*s - 3*v, -12*s + 3*v = -11*s. Solve s = -2*r + 4*j - 2*j - 8, -j + 7 = -2*r for r.
-3
Suppose 3 = 2*p + 1, -3*v - p + 10 = 0. Suppose v*d = 8*d + 15. Let t be 1 - 6/9*d. Solve -2*c = 5*o + 35, o - 2*c - 20 = t*c for o.
-5
Suppose 5*j - 20 = 0, j = -0*x + 4*x - 4. Suppose 3*w = 4*u - 6 - 4, 4*w - 12 = -u. Let v = w + x. Solve 6 = i + g, -1 = v*i - g - 15 for i.
4
Let q(g) = -g + 1. Let w(z) = -7*z + 17. Let h(t) = 5*q(t) - w(t). Let j be h(8). Solve j*c + 16 = 2*f + c, 5*f - 26 = 4*c for f.
2
Suppose 2*t = 4*t. Let c = 10 - t. Suppose k = n - 10, -k - k + c = 4*n. Solve 12 = -4*x, p + 15 = x - n*x for p.
-3
Let m(t) = t**2 - 10*t + 2. Let u be m(10). Suppose -24 = g - 5*g. Let o be 45/30 - g/(-4). Solve 4*w = -0*w - 5*j, 0 = -u*w - o*j for w.
0
Let v(l) = -9*l + 15. Let s be v(-9). Suppose x - s = -3*x. Let b be x/156 - (-50)/13. Solve 0 = -y + 6*y - 2*p + 6, -5*y - b*p - 18 = 0 for y.
-2
Let p(q) = -2*q - 12. Let z be p(-8). Suppose -12 = -4*s + 12. Solve z*j = 5*c - s, 0*c - 5*c = 2*j - 12 for j.
1
Suppose 0 = -u - 6*u + 217. Suppose -5*r = -2*t + u, 2*t - 4*r + 15 - 41 = 0. Solve 4*z + 40 = -5*f, -2*f = 3*f - t*z + 5 for f.
-4
Let y(p) = -3*p - 4. Let s(q) = q - 1. Let b(u) = -4*s(u) - y(u). Let l be b(-8). Solve 3*k = 4*d + 1, -5*k + 3 = -3*d + l for d.
-4
Suppose 0*d - 2*d - 6 = 0. Let u be 5 + d + 3 + -3 + 0. Solve -6 = -2*w + u*z - 3*z, 4*w - 2*z = 20 for w.
4
Let t = -30 + 43. Let b = 14 + -23. Let f = t + b. Solve -5*a = -6*a + f*y + 13, -5*a - 4*y - 31 = 0 for a.
-3
Suppose -17*a + 23*a = 18. Solve -3*g = 3*j, -a*j + 5 - 30 = -2*g for j.
-5
Let h be 16/(-12) - ((-16)/3 + 1). Solve 2*g + 2*k = 11 - h, -g = -3*k + 12 for g.
0
Suppose 4*p - 2*m - 16 = 0, 4*p - 2*m - 12 = -m. Suppose 0 = -p*j + 3*j + z + 2, 4*z + 8 = -j. Solve -d - 2*x = -12, 32 = 4*d - j*d + 4*x for d.
4
Let n(v) = -2*v - 3. Let b be n(-3). Suppose -b*l + 16 = 4. Let w = 2 - -4. Solve -5*c + l*y - w - 2 = 0, 5*y = -5*c - 35 for c.
-4
Let f be (-6)/(-15) - 46/(-10). Let d(w) = 2*w**2 - 5*w - 1. Let s be d(f). Let l be (1*-2)/((-12)/s). Solve l*o - 9 = 5*b, -o - 3 = -4 for b.
-1
Let h be 37/4*8/(-6 - -8). Solve -4*j = 4*v - 28, -4*v - 14 + h = 3*j for j.
5
Suppose -35 = -62*a + 55*a. Solve -w = -a*u - 17, 0*u - 2*u = 4*w + 20 for w.
-3
Suppose -91*f - 164 = -132*f. Solve -v + f = -2*q, 0 = 4*q - 3*v + 12 - 6 for q.
-3
Suppose z = -0*z. Let a(g) = -43*g + 479. Let p be a(11). Solve 4*y + 14 = 5*c, z*c + 3*c - p = 0 for y.
-1
Let g(v) = v**3 - v**2. Let k(b) = b**3 + 1. Let t(w) = -3*g(w) + 2*k(w). Let a be t(3). Solve 4 = x + 4*q, 0 = a*x - q + 2 - 1 for x.
0
Let r be (-2)/12 - (-2)/12. Let m be (-1)/(-1)*(3 + 1). Suppose m*c - 6 - 6 = r. Solve -2*p = -3*s + 3, -p + 0 = 3*s - c for s.
1
Let y(f) = -2*f - 5. Let c be y(1). Let z(x) = -2*x - 9. Let g be z(c). Solve -5*u = -5*s, g*s - 5*u + 10*u = 10 for s.
1
Suppose -12*r = 31 - 151. Solve -3*f - 3 = -2*y + r, 4*f = -4 for y.
5
Let k(q) = -q**3 - 9*q**2 + 8*q - 15. Let r be k(-10). Let w(y) = -2*y - 6. Let l be w(-8). Solve -2*b + x + 6 = 2, r*b = x + l for b.
2
Let r = -219 + 227. Solve -n + 4*n - a + 12 = 0, 4*a - r = 4*n for n.
-5
Let w(a) = 2*a - 37. Let d(c) = 2*c**2 + 22*c - 32. Let m be d(-13). Let h be w(m). Let x be 1/(2/(-4) + 1). Solve n = 0, 2*j + 2*n + x = h*n for j.
-1
Suppose 0*q - 2*q = -68. Suppose q = -5*m + 319. Suppose -i - 2*i + m = 0. Solve 2*g + 5 + 2 = -p, i = -4*g - 3*p for g.
-1
Suppose -41*z + 67 + 97 = 0. Solve 0*y + z*y + 11 = -l, 0 = -2*y - 4 for l.
-3
Let b = 1517 + -1517. Solve b*x - x + 1 = a, -x - 11 = 4*a for a.
-4
Let p = 370 + -368. Solve 4 = -2*m, b + p*b = 2*m + 4 for b.
0
Suppose -7*d + 5*a = -2*d - 60, -a - 19 = -2*d. Solve -5 = -2*w + 5*f + d, -4*w - 36 = 5*f for w.
-4
Let w(r) = -4*r + 127. Let j be w(28). Solve j = -2*v - 3*v - 2*t, 5*v - 4*t = -15 for v.
-3
Suppose 39 + 1 = 2*f. Suppose -2*g + 4 = -0*g, -4*u = -g - 14. Solve a - 2*s = 5*a, 0 = -2*a + u*s + f for a.
2
Let g = -517 + 518. Solve -a = 5*k - 25, g = a - 4*k + 21 for a.
0
Let r(d) = -14*d + 10. Let i(s) = s - 1. Let q(t) = 12*i(t) + r(t). Let n be q(-6). Solve 2*g + 5*m + 7 = 0, n + 0 = 4*g + 2*m for g.
4
Let o(m) = -m**3 - 7*m**2 - 4*m + 12. Let u be o(-6). Suppose -4*j + u*j + 20 = 0. Solve -2*q - 3 = -j*h - 23, 0 = -q + h + 7 for q.
5
Let v be 4 - ((8 - 7) + (-4 - 3)). Solve i - 3*n + 14 = 0, -3*i - 7*n + v = -3*n for i.
-2
Let k(s) = 3*s - s**2 - 6*s - 2 - 1. Let i be k(3). Let r be 0*(i/(-6) + -4). Solve a + 10 = -5*y - r*y, 2*y = -3*a + 9 for y.
-3
Suppose 10*q = 12*q - 4. Suppose 0 = q*m + 7 + 5. Let s be 1*(m/2 - -4). Solve -6 = -2*h + 4*y - 2, 4*h + y = -s for h.
0
Let n be -7 + 2 + 4/4. Let w be n*(4 - (-36)/(-8)). Let t = -6 + 10. Solve w*f = 7*f - r, t*f + 3*r = 19 for f.
1
Let w(v) = -5*v + 17. Let f(r) = r - 1. Let l(g) = -2*f(g) - w(g). Let c be l(9). Suppose 4*o - o = c. Solve z = -o*s + 3, 4*z + 5 = -4*s + 5*s for z.
-1
Let g(u) = 2*u - 9. Let v be g(4). Let w be (v + 35/20)*4. Suppose x + 9 = -w*d, 4*d + 16 = x + 2*d. Solve 4*q = -2*k - 8, 0 = -3*q - k + 6*k - x for q.
-2
Suppose -5*x + 5*j = 4*j - 81, 0 = -4*j - 4. Suppose -5*s - 2*b + x = -3*b, -2*s = -5*b + 12. Solve -4*o = 5*u + 24, 0 = -6*u + 4*u - s*o - 12 for u.
-4
Let d(j) = 3*j + 20. Let t be d(-8). Let f be 5/(25/23) - t/10. Solve -4*n - 20 = 0, 0*l - 50 = f*l + 5*n for l.
-5
Let z(m) be the third derivative of -m**5/60 - 13*m**4/24 - 3*m**3/2 - 21*m**2. Let d be z(-12). Solve -11 = -p + 2*b + 2, d*b = -2*p - 9 for p.
3
Let x(q) = 2*q**2 + 11*q - 1. Let p be x(-5). Let d be ((-2)/p)/(3 - 44/15). Solve 2*t + 0*t - 17 = -d*i, -7 = -3*i - 2*t for i.
5
Suppose -23*m + 105 = 13. Solve 4*s - s - 17 = -m*c, -5*c - 5*s = -20 for c.
5
Suppose -29 = -4*p - 5. Let j be 135/18*(-8)/p. Let f be (-202)/j + 3/(-15). Solve -3*s + 20 = -5*m - f, 5*s = -3*m + 10 for m.
-5
Let u = -102 - -99. Let f be (0/2)/((-4)/(-4) + u). Let d be 3*(-2)/(-6)*7. Solve 3 = p - 2*r - d, f = -5*r - 20 for p.
2
Let r = -1499 - -1502. Solve -5*c = m - 15, 8*c + r*m + 15 = 13*c for c.
3
Let t be (-6)/(-9) + (-2)/3. Let w = -5 + 9. Solve -3*m = w*l, t*m - 5*l + 3 = 3*m for m.
-4
Let d(q) = 3*q**2 - 2*q + 2. Let o be d(1). Suppose 0 = b + o*a + 9, 4*b + 3*a - 1 = -10. Solve b = 4*w + w + 4*z + 6, -2*w - 5 = -z for w.
-2
Suppose -a + 4*a + 6 = -u, -5*a = 4*u - 4. Let k be (u/(-5))/(10/(-25)). Solve -v - 3*x + 21 = -5*v, -k*v = -x + 12 for v.
-3
Let w = 76 + -69. Suppose 18 = -w*k + 13*k. Solve -18 = 4*f - 5*a, a - 5 = k*f + 3 for f.
-2
Let y(o) = o**2 - 9*o - 12. Let z be y(13). Suppose -z = -12*f + 4*f. Solve 7*l + 5*x - 7 = 3*l, -f*x + 21 = -3*l for l.
-2
Suppose -4 = -12*g + 16*g. Let b(t) = t + 3. Let u be b(g). Let c be (-4*(-12)/4)/u. Solve -5*r - 40 = -c*d + d, -d = -4 for r.
-4
Suppose 10*w = 11*w + 1. Let l be (1 + -6)/w + -2. Suppose 2*t + 2*u = -0*t, l*u - 6 = -5*t. Solve -4*r = -t*y + r - 23, 5 = -y + r for y.
-1
Let m(u) = u**2 - u + 3. Let a be m(2). Solve -a*q + 10 = -5*i, -4*i - 3*q = -3*i + 6 for i.
-3
Let a(v) = 7*v - 1. Let d be a(2). Solve -3*b - 21 = 2*b + w, b = 2*w - d for b.
-5
Suppose 0 = x - 4*t, 0 = 2*t + t. Suppose x = -o - 0 - 7. Let y = 22 + o. Solve 0 = -2*s + 3*p + y, -5*p - 5 = 4*s - 4*p for s.
0
Let m(z) = -z + 1. Let p = -10 - -1. Let o = -13 - p. Let x be m(o). Solve -2 = -4*v + x*n, 6*v + 5*n - 16 = 4*v for v.
3
Let k(a) = 2*a**2 - 2*a. Let i be k(2). Suppose 5*u + 32 - 47 = 0. Suppose -5*l = 4*b + 2, b + 18 = u*l - 3*b. Solve l*o = z - 3 + i, 3*z + 11 = 2*o for z.
-5
Let s(c) = -6*c + 4*c - 3*c - 9. Let g be s(-4). Solve -4 = -2*q + 3*b, 4*q + b + g - 33 = 0 for q.
5
Let g(z) = -z**3 + 8*z**2 + 9*z + 2. Let i be g(9). Suppose -i*c + 3*c = 0. Suppose -u + 2 = -3. Solve 5*l - 3*a + u*a + 27 = c, -3*l - a = 16 for l.
-5
Suppose g