) = b**2 + 8*b + 14. Let o be s(-6). Suppose -d + 4 = 4*m - 8, -3*m = o*d - 9. Solve d = 3*y, -v - y + 6 = 1 for v.
5
Let k(o) = -o**2 - 6*o - 3. Let m be k(-4). Suppose 0 = -4*s + m*l + 83, 3*l + 37 = 3*s - 23. Solve 2*n - 38 = 5*h - s, 2*h = -6 for n.
3
Let y = 177 + -97. Let p be ((-4)/(-10))/(2/y). Let o be (p/(-12))/(2/(-6)). Solve -o*d + 16 = 0, -2*m + 4*d = -5*m + 10 for m.
-2
Let r = 5 - 6. Let w be 2 + 0 - (-1 - r). Solve 2*s - 20 = 4*v, 2*v = -w*s - v - 1 for s.
4
Let w = 4 + 11. Let c(j) = j**3 - 4*j**2 - 5*j - 4. Let r be c(5). Let l = -1 - r. Solve 5*x - w = -0*x, 2*x - 18 = -l*q for q.
4
Suppose -2*z + 10 = 2. Suppose z*v + 4 = 5*v. Solve -2*t + 4 = 2*t, c - v*t + 8 = 0 for c.
-4
Let t(d) = -12*d - 45. Let h be t(-4). Solve 0 = 5*k - 5*y - 20, -4*k + 3*y + h = -10 for k.
1
Let x = -1 + 3. Let a(r) = 1 - x - 3*r + 4*r. Let u be a(4). Solve -u*t + 4 = 2*y, 13 = -5*y - 0*t + 4*t for y.
-1
Suppose 0 = 4*d + d - 15. Let t = 2 + d. Let a be 14/10 + 2/(-5). Solve s + k = 1, t*s + 3*k + a = -4 for s.
-4
Suppose 37*g + 25 = 42*g. Solve d + 3*d - 26 = -3*c, c = -g*d + 27 for c.
2
Let x = -22 + 25. Solve k = x*k + 3*c + 7, k - 5*c = 29 for k.
4
Suppose r = 3*o - 19, 14 = -0*o + 2*o - r. Solve 0 = 5*u - 2*m, u - 5*m - 33 = o*u for u.
-2
Let z be (-4)/(-1)*(8 + -7). Suppose z*r - m = -r + 140, 155 = 5*r - 4*m. Solve 5*s = 3*w + r, 2*s - 4*s + 2 = w for s.
3
Let g(q) = -q - 2 + 0*q + 1. Let x be g(-4). Solve a - x*a - b - 6 = 0, -a - 21 = -4*b for a.
-5
Let x be (-2 + 5 + (-4)/4)*1. Let a(l) = -l**3 - 3*l**2 - 2*l + 1. Let k be a(-2). Solve -4 = -4*b - d, x - k = b + 2*d for b.
1
Suppose -3*b = b - 20. Solve -4*r - 3 = -5*w - 0*r, b*r - 24 = -3*w for w.
3
Let h(t) = -2*t + 14. Let i be h(4). Solve -2*d = -g - 2 + i, 5*d + 23 = -4*g for d.
-3
Suppose 0*y = 4*y. Let s(p) = p**2 - 3*p + 2. Let h be s(3). Suppose h*x + 3*z = 8, -x - 3 = -4*z + 9*z. Solve 3*t + x = j - 2, y = t + 5*j + 3 for t.
-3
Suppose -2*v - v = p - 18, p = -5*v + 32. Suppose 8 + v = 5*u. Solve -u*y = y + n - 3, n = 3*y - 4 for y.
1
Let g = 299 - 296. Suppose b = n, -b - 4*n + 2*n = -9. Solve -o - 5 = -5*d + g*o, -3*o = 3*d - b for d.
1
Suppose 0*c = -3*c + 15. Let y = -3 + 0. Let k be (30/25)/(y/(-10)). Solve -c = 2*g + f, 3*f - 4 - 1 = k*g for g.
-2
Let f(b) = b - 2. Let j be f(6). Let k(s) = s**3 + 4*s**2 + 4*s + 3. Let t be k(-3). Suppose t = -2*i + 5 + 3. Solve -28 = 4*n + i*h, j*n = -n + 3*h - 3 for n.
-3
Suppose 2*q - 13 = -w - 2*w, 4*q - 14 = -2*w. Solve 3*v = -z + 12, 2*v + q*v = 2*z + 26 for v.
5
Let o(z) = -8*z**3 - 2*z - 1. Let p be o(-1). Solve -r - 2*n = -p, 6*r - 5*r + 15 = 4*n for r.
1
Let v = -13 - -21. Suppose -i = f - 3*i - 16, 4*f - 4*i - 48 = 0. Suppose y + v = -4*s - 3*y, -5*s - f = 4*y. Solve -4*d + 16 = 3*w, -4*d + 2*w - w = s for d.
1
Let b(u) = -2*u + 7. Let z be b(5). Let w be 0 + (2 - z) - 1. Solve d = -h, 3*d - 5 + 2 = -w*h for d.
-3
Let h be 3*((-11)/(-3) + -3). Let u(b) = -b. Let f be u(1). Let c be (-2 - 0)*f - 2. Solve 5*g - 3*o - 20 = c, -4*o + 4 = 3*g - h*g for g.
4
Suppose 7 = 5*p + 3*q, -3*p + 0*p = -2*q - 8. Solve -p*o - 7 = 3*z, 2*o + z - 5 = 5*o for o.
-2
Let s be 8/2*(-2)/4. Let u be 7 - (s - (1 + -5)). Suppose -12 = d - u*d. Solve 15 = -d*k, z - 4*k - 20 = 5*z for z.
0
Let d(v) = -2*v**2 - 13*v - 2. Let m be d(-6). Solve -2*o + m = -2*s - 0*s, 0 = -5*o - s - 8 for o.
-1
Let k(h) = -h**2 + 4*h. Suppose -3 = 2*t - 3*t. Let l be k(t). Solve 0 = -5*u - 2*w, l*u = -w + 2*w for u.
0
Let n = -29 - -59. Suppose n = 3*w - 0*w. Solve 0 = -3*x - 2*x + 15, -2*x + w = y for y.
4
Let u(y) = 2*y**3 - y**2 + 3*y - 2. Let s be u(1). Solve 0 = -5*x + 4*x + 3, -s*x + 12 = 2*r for r.
3
Let h be (-5)/2*6/9*-3. Let a(o) = -6*o. Let t be a(1). Let p = t + 10. Solve 8 = -5*x + 2*v - h*v, -4*x - p*v = 0 for x.
-4
Let i(a) = 3*a - 1. Let g(c) = -c**3 + c + 1. Let h be g(0). Let p be i(h). Solve p*l + 2*l - f = -9, -18 = 5*l + f for l.
-3
Let x = 33 - 11. Suppose -2*u + 5*g = 33, 2*u + 5*g + 0 = 17. Let c be (23 - 3)*u/(-16). Solve -2*i + c*h = 3 + 21, 5*h = i + x for i.
-2
Suppose 0*f + 40 = 5*f. Solve -3*x = -4*c - f, -4*x = -3*x - 4 for c.
1
Let h(w) = w**3 - 12*w**2 - 12*w - 9. Let c be h(13). Solve 2*s + 2*v = -4, -5*s = -c*s + 4*v + 2 for s.
-2
Suppose -3*p = -0*p - 198. Suppose -3*w = -3*o + p, -3*o + 2*w + 70 = -2*w. Suppose -2*s = -4*s + o. Solve -5*t + 20 = 2*z, 2*t - s = -z - 0*z for z.
5
Let m(f) = -f**3 + f**2 - f + 1. Let j(b) = -3*b**3 - 8*b**2 + 9*b - 6. Let p(h) = j(h) - 4*m(h). Let s be p(11). Solve -u = -4*u + n + s, 2 = u - n for u.
5
Suppose 2*x - 40 = -2*x. Suppose 2*g = -0 + x. Let y(m) = -m**2 + 6*m - 3. Let b be y(g). Solve -b*c = -3*j + 12, -3*j - j = -2*c - 16 for c.
0
Let l be 4/(-20)*-5*2. Solve -a = -6*a + 3*m - 12, -4*a + l*m = 10 for a.
-3
Let u = 3 - 0. Suppose 5*t - 5*w - 125 = 0, 5*t + w - 3*w - 116 = 0. Solve -4*r = -7*f + 2*f - t, -u*f = 5*r - 9 for f.
-2
Let o be (0 - 1)/(-1)*0. Let v = -7 - -7. Suppose -3*q + 4*q = -2*s + 7, v = 5*s - 5. Solve -4*a - 5*k = q, -k + o = 2*a + 1 for a.
0
Let k(d) = -2*d + 5. Let i be k(-5). Solve 8 = -6*r + 3*r - 4*m, 0 = 5*r + 5*m + i for r.
-4
Let s(x) = 4*x**2 - x. Let c be s(1). Solve -5*q = -z - 15, 0 = -5*q - 0*z - c*z + 35 for q.
4
Let k be 4/10 + (-13)/(-5). Solve g + 0*y = y + 5, 0 = 3*g + 3*y - k for g.
3
Suppose 0*a + 20 = 5*a. Let g be (1*3)/((-2)/(-10)). Suppose 0 = 5*x - g, 3*d = x - 1 + 4. Solve -d*h - 8 = 2*w + w, -a*h = w + 6 for w.
-2
Let t = 1 + -1. Suppose j = -3*n + 10, j + 4 = 4*n - 14. Suppose -5*y + 4*y = -n. Solve t = -3*m, 2*d + m = -y + 12 for d.
4
Let g(p) = 4*p. Let r be g(1). Suppose 5*t = -h + 180, -2*t + 54 = -0*t + r*h. Solve 0*o = 5*o - 4*a - t, -5*o + 40 = -5*a for o.
5
Let z(s) = -s**2 + 3*s + 3. Let n be z(5). Let q = n - -11. Suppose -20 = -4*c - q*w, c + 7 = 6*w - w. Solve p - c*r - 8 = 0, 0*p - 21 = -4*p + r for p.
5
Suppose 3*z + l + l - 14 = 0, -2*z = -l. Solve -z*g - 4 = -4*a + 10, 2*g = -4*a + 18 for g.
1
Let u be ((-72)/(-32))/((-2)/(-16)). Suppose 0*m = -4*m + 4*d + 8, -10 = 3*m + d. Let z be (-2)/4 + (-1)/m. Solve 5*b - q + 14 = z, 0*b + u = -b + 4*q for b.
-2
Let o be -2 + (7 + -1)/2. Let d be (o + 0)*3 + -1. Solve -d*m - 2 = 0, 4*l - 2*m + 0 = -2 for l.
-1
Let g(d) = 4 + 0 + d + 2. Let z be g(-6). Let s = z - -3. Solve 5*m + s = o, -m = -4*m + 5*o + 7 for m.
-1
Let p(h) = h - 3. Let l be p(6). Suppose -15 = -l*o - 0. Solve -2*z + 1 - 3 = -o*u, 0 = 5*z + 4*u + 5 for z.
-1
Let s(h) = -2*h**3 + 3*h**2 - 4*h + 1. Let y be s(-3). Let a be y/18 - 14/63. Solve m + 0*m - 3*v + a = 0, 0 = -4*m - 5*v - 3 for m.
-2
Let k(c) = c**2 - 3. Let m be k(3). Suppose 50 = 2*q - 5*y + 15, 0 = -4*y - 20. Let l be 1*5 - (m - q). Solve 0 = -l*r, -2*b + r - 9 = b for b.
-3
Let m = -8 + 14. Let a be 44/m + 4/6. Let r = 2 + 3. Solve -2*o = -o + r*w + a, -3*o + 12 = -3*w for o.
2
Suppose -23*l + 19*l + 12 = 0. Solve 2*h - q = -4, l*h + q = -3*q - 6 for h.
-2
Let g(w) = w**3 + 4*w**2 - 2*w - 5. Let p be g(-4). Let a = 7 + p. Solve -3*x + 4 = 3*k + 2*x, 3*k - a = x for k.
3
Let c be -2*(4/(-8) + -2). Solve -2*h = c*o, 0*o - 3*o = h for o.
0
Suppose 5*k - k - 20 = 0. Solve 0 = 2*q + q - 9, -3*n - 3 = -k*q for n.
4
Let w(d) = 2*d**2 - 4*d - 4. Let q be w(-3). Suppose 0 = 2*r - n - 3*n - 14, -5*r = 5*n - 20. Solve 2*m - 2*a - 11 = m, -m + q = -r*a for m.
1
Suppose -2*p + 16 = -2*w + 2*p, 0 = -4*p + 16. Solve -g = 2, -10 = 2*v + 3*g - w*g for v.
-2
Suppose -7*h = -8*h. Solve 5*b - 5*m = -15, -4*m + h = 8 for b.
-5
Suppose 5*o - 15 = o + 3*t, 2*t = -o + 12. Let f(x) = -x + 7. Let h be f(o). Solve -5*u - h - 19 = -3*l, 0 = -5*l + 5*u + 30 for l.
5
Let a = -134 + 134. Solve -3*v - 1 = 3*j + 2*v, a = 5*j + v + 9 for j.
-2
Let q = 2 - 0. Suppose 5*z + 28 = 2*x + q*z, 23 = x + 3*z. Suppose -3*c = 15 - 66. Solve -3*s - x = -4*h, h = 4*h + 2*s - c for h.
5
Suppose -5*b - 9 = -p, -3*p - 2 = 2*b - 12. Let f be (-1)/p - (-680)/32. Let t = 4 + -2. Solve -c = 4*i + i - f, -2*c + 2 = t*i for c.
-4
Let m = 13 + -28. Let h = m + 11. Let t(l) = -4*l + 5. Let i be t(h). Solve 4*o = -5*c + i, 5*c + 5*o - 31 = -6 for c.
1
Suppose 5 = 5*o + c - 18, c = 5*o - 27. Solve -d = -4*l - 4, -o*l + 3*l = 2*d - 8 for d.
4
Let o = 90 + -50. Let b = o - 24. Let d = -1 + b. Solve -3*z = 3*i + d, -39 = 5*i + 