, b + 22 = v*b - 4*m for b.
5
Let f be 1/(-1 - 5/(-4)). Solve 10 = -f*i + 5*b, -i + 4*b + 1 + 2 = 0 for i.
-5
Let j = 6 - 2. Solve 0 = -u - 2*y + 2 - 1, 12 = j*u + 4*y for u.
5
Let h be 200/12 - 1/(-3). Solve 2 = -0*d + 2*d - 4*z, -z + h = 3*d for d.
5
Suppose -x + 2*p = 4*x - 378, 3*x - 3*p - 234 = 0. Let h = -4 + x. Suppose -3*q = 5*o - h, 0*q + q - 28 = 3*o. Solve 3*i + 5 = -2*r, 8*r - 3*r = 5*i - q for r.
-4
Let k = -1 + 7. Let h be 30/8 - 17/(-68). Solve t - 2*x - 7 = k*t, 3*t + h*x - 7 = 0 for t.
-3
Let z(g) = 3*g**3 - g**2 + g. Let f be z(1). Suppose 4*q = -4, 0*s + s - 2 = -f*q. Let h = -1 + 4. Solve -5*t = w + 15, s*t + w = h*w for t.
-2
Let u = 2 + -2. Suppose u*w - 12 = -4*w. Suppose 0 = 4*v + 4*d - 92, -4*v + d + 78 - 1 = 0. Solve 0 = 5*h + 5*c - v, -w*h - 2*c + c + 8 = 0 for h.
2
Let w = 5 + -4. Solve 3*i - 8*i - d = -w, 0 = 2*i - 5*d + 5 for i.
0
Let x be (4/(-6))/(2/(-3)). Suppose -3*k + 2*d + 2 = 0, -5*k + 2*d - 6*d - 4 = 0. Let v be (k + 0 + 0)/3. Solve -3*f - 3*h - 12 = v, -h - x = -5*f - 9 for f.
-2
Let n = 9 + -8. Suppose -2*p + 9 = n. Suppose -5*r + 3 = d, -2*d + p*r = -5*d + 9. Solve -2*k - 10 - 11 = 3*c, 4*c - d*k = -11 for c.
-5
Suppose 0 = -x + 2. Suppose -x = -4*i + 5*u, 2*i - 10 - 2 = -3*u. Solve -3*a - 3 = 2*m, 2*a = -i*a + m - 5 for a.
-1
Let h = 14 + -7. Suppose 8 + h = 3*c. Solve q - 2*y = 2, -q + c*q - 3 = 3*y for q.
0
Let i(l) = -l**2 + 19*l + 24. Let p be i(20). Solve -2*x - 11 = 3*n, 8 = -x + 5*x - p*n for x.
-1
Suppose -2*j = 2*j - 16. Suppose 4*o = -3*t + 100, -2*o + 31 - 3 = -j*t. Solve 3*d - 14 = x, -2*d - o = -6*d + 2*x for d.
3
Let s(h) = h**3 + 9*h**2 - 3*h - 13. Suppose 0*d - 5*d = 3*x + 7, 3*x - 5*d + 47 = 0. Let j be s(x). Solve p = -p - 4*a + j, -22 = -5*p + 3*a for p.
5
Let h be (4/(-2))/((-4)/26). Let d = 3 + -13. Let f = -8 - d. Solve 0 = 6*b - b - 3*u + 35, u - h = f*b for b.
-4
Let z(y) = -y**2 + 12*y - 4. Let u be z(11). Let m = 15 - u. Solve 11 = n - 3*c, 4*n + c + 0*c = -m for n.
-1
Suppose 0 = -4*j + 5 + 7. Suppose -1 + 5 = y. Solve -j*h = -l - 17, 0 = -y*l - 4*h + h + 7 for l.
-2
Let f be (-1)/1 - (3 - 18). Suppose -2*w = -m + 1 - 2, 2*w - 3*m - 3 = 0. Solve 22 = 2*i - 4*r, w*i - f = -i + 3*r for i.
5
Suppose -2*z = -3*l - 13 + 1, -5*z + 52 = -2*l. Suppose 0 = 2*c - z. Suppose 5*f = 4 + c. Solve -3*x + 5 = -f*x + 5*o, 2*x - 3*o = -3 for x.
0
Let u be (-1 + -1)/((-21)/84). Solve 2*f - 5*m + u = -0*f, 3*f - 5 = -m for f.
1
Let r(f) = -f**2 - 8*f + 2. Let i be r(-8). Let w be i + 0/(3/(-1)). Solve -2*t + 2*h = 0, 4*t - w*h + 2 = -0 for t.
-1
Suppose 2*f + 3*f + 4*s - 25 = 0, -3*f + 3*s + 15 = 0. Solve 2*z + 3 = -w + f, z = 3*w + 8 for w.
-2
Let n be 64/(-24)*42/(-8). Let x be (-10)/(3 - n/4). Suppose 3 = 2*p - 2*w - 1, -x = -5*p - 5*w. Solve -2*f = -3*h - 14, 3*f = p*h + 6*f + 9 for h.
-4
Suppose 3*v - 2 = 4. Let m be 64/10 + v/(-5). Solve 3*w + 2*l = m, 5 = 5*w - l + 6*l for w.
4
Let o(i) = 2*i + 3. Let k be o(1). Solve -4*c + 4*b + 30 = -6*c, 2*c - k*b = 15 for c.
-5
Suppose -5*b + 4*z = -14 - 69, -2*b + 3*z + 36 = 0. Solve -5*v + v = -m + b, 3*v = 4*m + 5 for v.
-5
Let r = 2 + -8. Let v(z) = z**2 + 3*z - 14. Let g be v(r). Solve -17 = -g*d + 5*u, -d + 2*u + 4 + 1 = 0 for d.
3
Suppose -5*r + 12 = -8. Solve 4*m + 30 = -r*s + 2*s, -3*s + 2*m - 5 = 0 for s.
-5
Suppose -t = -11 + 3. Solve 0*s = -b - 3*s + t, -s = -3 for b.
-1
Let n(v) = -19*v. Let g be n(1). Let f = 32 + g. Solve -4*p = -4, 5*a + 2*p + p = f for a.
2
Suppose -d = -3*p + 6, 0 = 2*d + 4*p - 6*p. Suppose d*k - k = -8. Let c be (8/(-3))/k*3. Solve -11 = j - c*s, -j - j + 3*s = 17 for j.
-1
Let n = -41 + 57. Let u be 2*4/(n/10). Solve -2*c - 3 = a, c + 10 = -u*a - 4*c for a.
-1
Let t(o) = o**3 + 9*o**2 + 7. Let j be t(-9). Let l = j + -5. Solve -s + 2*f = -2, 5*s = l*s - 4*f - 4 for s.
0
Let l = 2 - -19. Solve -2*m - m - 4*f = -1, 3*f = 5*m - l for m.
3
Let i be 8/6*135/6. Let b(p) = -2*p + 5. Let q(m) = m - 3. Let k(v) = 6*b(v) + 11*q(v). Let f be k(-8). Solve 0 = -s - 5*w + 22, 0*w + i = f*s + 5*w for s.
2
Suppose -5 = 3*i + 4. Let z(r) = r + 6. Let w be z(i). Solve 0*s + 12 = 2*k - w*s, -13 = -k + 5*s for k.
3
Suppose -3*o + 7*v = 3*v + 16, 8 = -5*o + 2*v. Solve 2*s = -4*i + 16, o = 3*s + 2*i - 3*i + 11 for s.
-2
Let y(h) = -2*h**3 - 3*h**2 - 2*h + 2. Let q be y(-2). Suppose -2*f - 3*d - 13 = 0, -2*f + q = 5*d + 33. Solve 2*p + f = -2*x - 9, -2*x = -2*p + 2 for x.
-3
Let y(n) = -8*n + 2. Let r be y(-1). Solve 3*l - 5*p = -r, -2*l = p + p + 12 for l.
-5
Let p be 36/15 + (-9)/(-15). Suppose 0 = 5*d + p*s - s - 27, 4*s = -2*d + 14. Solve -b = d*u - 2, 3*b = -0 + 6 for u.
0
Let t = 130 - 127. Solve 3*f + 15 = 0, -9 = -t*o + 5*f + 10 for o.
-2
Let p be 259/9 + (-6)/(-27). Suppose -5*h + p = 3*q, q + 5*h - 3 = 20. Suppose 0 = -q*o + 7*o. Solve 27 = 5*l - 2*r - o, 0 = l + 5*r for l.
5
Let n be (28/35)/(4/10). Let y(q) = -q**3 - 3*q**2 + 4*q + 3. Let g be y(-4). Solve 2*f - f - 12 = 2*m, -n*m = -g*f + 20 for f.
4
Let s = -1 - -4. Let p be 2*s/(-6)*-3. Solve 5*h - 3*b - 19 = 0, -2*h + 16 + 0 = p*b for h.
5
Let l = -13 + 17. Solve 5*k - 8 - 5 = -3*s, l*s - k = -21 for s.
-4
Suppose 0*r - r - 12 = 4*h, 0 = -5*r + 4*h + 36. Let z = 0 + r. Solve -z*m + 4 = m - 4*n, -n = -m for m.
4
Let u(p) = -p**3 + p**2 + 3*p - 1. Let w be u(-3). Solve i = 5*n + w, -4*n - 2*i - 3*i = 15 for n.
-5
Suppose 3*y - 11 - 27 = -2*w, 0 = 5*w - 5. Solve -5*v = -c + 17, 0 = 4*v + c + y - 2 for v.
-3
Suppose -6*q + 6 = -3*q. Let v be (-3)/((-47)/(-22) - q). Let x = 31 + v. Solve -3*h - x = d, -5*d = -4*h - 23 - 8 for h.
-4
Suppose -4*v + 9 - 1 = 0. Let f(x) = -x**2 - 6*x. Let n be f(-6). Let b be (1/2)/((-1)/(-18)). Solve 5*y = -0*y - 15, n = -v*u - 3*y - b for u.
0
Suppose 0 = -7*l + 8*l - 12. Solve -4*t = -0*t + l, 2*t + 12 = 3*k for k.
2
Let u(r) = 2*r - 8. Let o be u(4). Solve 3*g - 2*l + 19 = 0, o*l = g - l + 7 for g.
-5
Suppose -5*z - 4 = -29. Solve 0 = -3*b - 2*m - 10, z*m = -11 - 14 for b.
0
Let y(v) = v - 8. Let u be y(10). Suppose 3*w = -u*w. Solve w = d - 2*f + 13, 4*f - 42 = 4*d - 10 for d.
-3
Let t(p) = -p - 5. Let f be t(-9). Suppose -3*b + b = -f. Let m be 10*-2*b/(-4). Solve -4*a - 15 = k + 6, 5*k = -a - m for a.
-5
Let u(l) = l**2 + 27. Let w be u(0). Suppose 4*v = -2*n - 8, 3*n + 6 = 4*v - 8*v. Suppose 3*p - 15 = -n*p. Solve -a = -2*k - 0*a + 5, w = p*k + 5*a for k.
4
Let v(u) = u - 2. Let h be v(-3). Let w = -1 - h. Solve 0 = -4*x + 4*c + 12, 3*x + 3*c + w - 1 = 0 for x.
1
Suppose -2*u - 9 = -5*u. Suppose 5*o - 3*o = 0. Solve o = 2*g + 5*k + 14, u*g = -2*g + 3*k - 4 for g.
-2
Let i(y) = -2*y**3 - y + 1. Let o be i(1). Let j = o - -2. Solve -3*m = 2*d - j*d - 2, -2*m + 5*d + 33 = 0 for m.
4
Suppose 20 = 18*n - 8*n. Suppose 5*z + 12 = 32. Solve 0 = -t + 5*w - 14, z*t = -t + w + n for t.
1
Suppose 5 = -4*q + 21. Solve x = -q*c - 17, -2*c - 3*x = 3 - 2 for c.
-5
Let a be 9/((-1)/2*2). Let y = a - -13. Solve g = 2*n + n - 6, -2*n - 10 = y*g for n.
1
Let z(j) = j**2 + j - 4. Let w be z(4). Suppose -2*r = s + 11, 5*s + w = 3*r - 0*r. Let f be (-3 + r)/(-2) + 2. Solve -f*l + 4*p + p = 0, -l = p + 2 for l.
-1
Suppose 6 = -5*w + 16. Suppose 0 - 4 = -w*c. Solve -3*s - 8 = -5*s - c*o, 30 = -5*s + 5*o for s.
-1
Let r(x) = -x**2 + x + 8. Let a(w) = -w**2 + 7. Let c(k) = 4*a(k) - 3*r(k). Let o be c(-3). Solve 0 = -h - 3*z + 6, -7*h + o = -3*h + 2*z for h.
0
Let n be (2 - -4) + 2/(-2). Let i(m) = 2*m**2 - m - 5. Let w be i(n). Solve -5*r - w = 4*d, r = -d + 2*r - 1 for d.
-5
Let h = 23 - 21. Solve -w - 2 = r, h*w + r + 2 = -2*r for w.
-4
Let k = 137 + -137. Let w = 8 - 6. Suppose 4 = -0*i + w*i. Solve -i*t + 3*t = 2*d + 3, k = -5*t - 3*d + 2 for t.
1
Suppose -5*h - 5*v = -0*h - 100, h - 2*v = 29. Suppose 4*j = -5*s + h + 17, -3*s = -12. Solve -k - 4*a = 4*k - 23, k = j*a - 7 for k.
3
Let m(z) = 3*z - 7. Let a be m(5). Suppose -4*l - 1 = -9. Solve -l*x - 3*g - 7 = -4*g, x + a = 2*g for x.
-2
Let b = -6 + 11. Suppose 5*f - 22 = -4*z, -z + 0*z = f - b. Solve -5*h - 5*a = -10, f*h + 4*a = -3 + 1 for h.
5
Let s = -32 + 37. Let g(o) = o**2 - 3*o. Let z be g(4). Suppose -z*i = -5*i - 5*k + 12, -4*k = -2*i - 4. Solve 0*n + i = 3*n + v, 0 = s*v + 5 for n.
1
Let v = 3 - -3. Suppose -v*o + 2*o = -52. Solve -w + o = 4*f - 0*w, 3*w + 12 = 5*f for f.
3
Let n = -187 + 190. 