*b - c*h + 6 for b.
3
Let o(n) = n + 3. Let d be o(0). Solve -4*b - 11 = -d*b + 2*t, -3*t = 2*b + 18 for b.
-3
Let a be 18/(-21)*21/(-6). Solve 2*j + 3 = -3*r + 5, 0 = -3*r + a*j + 12 for r.
2
Suppose 0 = 2*z - 14 + 6. Solve -3 = -z*b - v, 2*v = -5*b + v + 4 for b.
1
Let w be (3 - 2 - 1) + 0. Suppose 0 = 4*z + 4, v - 2*v - 2*z = 8. Let y be (w + (-15)/v)*2. Solve 8 = d + 2*c, -5*d + 5*c = -0*d + y for d.
2
Suppose 0*s - 4 = -4*w - 4*s, -4*w + 10 = 2*s. Solve w*n = 4*g - 8, 0 = -n - 2*g + 2 + 5 for n.
1
Let x = 1 + 3. Suppose -x*i + 61 = 5*z, 5*z - 47 = -4*i + i. Solve -5*o - h = i + 10, 2*h + 24 = -4*o for o.
-4
Let q be (3/4)/(5/20). Suppose -c + q*h + 7 = 0, 2*h - 17 = -3*c + 7*h. Solve -y = -a - 7, -8 = -9*y + c*y - 4*a for y.
4
Let t(p) = p**2 + 6. Let b be t(0). Let l(o) = o - 4. Let k be l(b). Solve -k*z = 3*x - 6, z = 5*z + 12 for x.
4
Let a(s) = s**2 - 6*s - 16. Let m be a(7). Let j(n) = -3*n - 11. Let i be j(m). Solve w + i = -4*l, -3*w + 1 = l - 6 for l.
-5
Let c(o) = o**2 + 11*o + 11. Let p(g) = -2*g**2 + 5*g + 2. Let h be p(4). Let d be c(h). Solve b - 9 = 4*x - d, -5*x - 3*b = 10 for x.
-2
Let a(j) = 8*j**2 + j. Let h be a(-1). Let u = h + -7. Solve -5*q + 3*m = 2, 2*q + 0*m - m = u for q.
2
Suppose 5*i = i + 16. Suppose -i*q + l = -q - 8, 2*q = l + 4. Solve -d = -5*z + 24, 3*d + q = z + 2*d for z.
5
Suppose -6*k = -2*s - k + 15, -s + 2 = 3*k. Let c = s - 0. Suppose 2*n + d = -d, 2*n - 14 = c*d. Solve 4*i = 3*z - 16, -4*i + n*i - 8 = -4*z for i.
-4
Let l be 6/(((-30)/9)/(-5)) - 4. Solve -3*h - 10 = -2*g, -5*h + 3*g = l*g + 22 for h.
-4
Let w(t) = -t - 2. Let g be w(-2). Let i = 0 + -2. Let f be (-1)/i + (-14)/(-4). Solve 2*d - 6 = -l + d, -l + f*d + 1 = g for l.
5
Let v = 4 + 5. Suppose -3*g + 17 = g - 3*n, -5*g - 3*n + 28 = 0. Solve -4*s = -c - v, -g*c - 6*s - 3 = -5*s for c.
-1
Let v = 11 - 9. Suppose 4 = -v*z + 3*z. Let f(i) = 4*i - 3. Let p be f(2). Solve -3*h = -z*x + 14, -4*x - 1 + p = 2*h for x.
2
Suppose -5*s - 12 = -17. Solve 5*y + 34 = -3*f, 3*f - 4*y + 2*y = s for f.
-3
Let v(y) = 2*y**2 + 4*y + 3. Let h be v(-3). Suppose -h = 3*g, 3*x - 3*g = g + 42. Suppose 2*m = 4 + 2. Solve x = -m*j + 5*a, 3*j + a + 0 = 2 for j.
0
Let b(i) = -i**2 + 6*i - 6. Suppose -3 = -m - 0*m. Suppose m*x - 7 = y, 5*y - 15 - 14 = -x. Let q be b(x). Solve 33 = 5*w - q*g, w = 2*w + 3*g + 7 for w.
5
Suppose -2*v = 7*v - 18. Solve -2*s + v = -4*k, k - 2*k + s = 3 for k.
2
Suppose 0 = 8*f + f - 18. Solve 2*p + 2*b = -f, 2*p - 4*b = 3*p + 13 for p.
3
Let h(r) = -r**2 - 7*r - 6. Let t be h(-6). Suppose -30 = -5*w - t*w. Suppose 2*n - w = -2*n + 2*y, y = -2*n + 5. Solve -2 = -n*v - 2*p, 4*p = 2 + 2 for v.
0
Suppose c - 8 = -3. Suppose -18 = -3*f - 6. Let v(u) = -2*u**2 + 10*u - 2. Let p be v(f). Solve -n - b = -5*n + p, 0 = -5*n + c*b for n.
2
Let x be (-20)/50 + (-54)/(-10). Solve 29 = -w - 3*w + x*q, -2*w + 3*q - 17 = 0 for w.
-1
Let d be (-3)/1 + -1 + 6. Suppose 4*x = 7 + 1. Solve 0*s - 4 = -2*q - d*s, x*s = -2 for q.
3
Suppose -h = 2*h - 12. Solve 10 = h*f - 2*q, 5*q = 3*q + 2 for f.
3
Let a(u) = 2*u + 5. Suppose -4*x + 11 = 3*p + 2, 0 = 2*p + x - 6. Let w be a(p). Solve -10 = i - 2*h + 2, -h = -3*i - w for i.
-2
Let g = -77 + 133. Suppose -4 - g = -4*l. Let j(u) = -u**3 + 6*u**2 - u + 6. Let p be j(6). Solve 0 = -4*m - 3*i - 13, p = 3*m - 2*i + 6*i + l for m.
-1
Let k be (-6)/(-9) - 16/(-12). Solve k*n + 12 = 2, 4*u + 3*n = -11 for u.
1
Let b = 3 - -2. Suppose b*l = -15 - 15. Let h(k) = k**2 + 5*k - 1. Let x be h(l). Solve -4*y + 3*q = -x, 12 = 5*y - q + 3*q for y.
2
Suppose 0 = 2*y + 5*b + 6, -4*b = 3*y - 2*b - 13. Solve -4*s - y = -3*u, 0 = 3*s + 2*u + 2*u + 24 for s.
-4
Suppose -4*p - 21 = -11*p. Suppose -12 = -2*s - 0*s. Let u be s*1*1/2. Solve l = u*z, -6 = 3*z - 4*l + p for z.
1
Let a(w) = -w**2 + 13*w - 10. Let x be a(11). Solve 3*z + o + 12 - 4 = 0, -5*z - o = x for z.
-2
Suppose -5*t + 5*p + 6 + 19 = 0, p + 17 = 4*t. Let f be (-3)/(-2)*(-2 + t). Solve -5*o = -f*h + 9, 3*h - 5*o = -o + 9 for h.
3
Let j(k) = -k**3 - k**2 + k + 1. Let h be j(-1). Solve h = 3*u - 9, 4*u = 3*a + 1 - 4 for a.
5
Let j(c) = -c**2 + 6*c - 2. Let o be j(6). Let v be (2/(-3))/(o/12). Suppose 8 = v*t - 0*t. Solve t*u + 4*b + 1 = -11, -5*b - 16 = 2*u for u.
2
Suppose 2*h + 5*b = -2*h, -b = h - 1. Let u = 211 + -188. Solve 3*t + u = m + 7, -4*m = h*t + 4 for m.
4
Let x be (9/15)/(2/10) + -1. Solve 2*z = -2*o - x, -4*z = -3*o - 2*z + 12 for o.
2
Suppose 24*t = 27*t - 6. Solve -u = 3*c - 0*u, -5*c = t*u for c.
0
Suppose 0*r = r - 4. Solve 0*c - 2*m - 13 = c, -r*m - 6 = -2*c for c.
-5
Suppose 4*a + 1 = -7. Let d = 2 - a. Solve 3*p - 5*g = 0, -d*p + g = 2*g for p.
0
Suppose -30 = 5*z + 5*l, 5*z - 2*l - 2*l + 30 = 0. Let j be 1 - z - 1 - 3. Let i be (-3 - -1) + j - 1. Solve -8 = -2*c, -4*r + i*c - 5*c = -4 for r.
-4
Let y be ((-3)/6)/(2/(-20)). Solve -y*x - 3 = q + 2, -3*q - 15 = 4*x for q.
-5
Let f = 117 - 48. Suppose f = 5*y + 5*a - 3*a, y = a + 18. Solve 3*m - 3*s = -m - 15, -3*s = m - y for m.
0
Let a = 4 - 1. Suppose 0 = -a*b + b + 28. Solve -2*z + 4*z = -3*j - 13, -4*z + 2*j + b = 0 for z.
1
Suppose -2*m = -0*v - 2*v - 8, -5*v = m + 20. Solve -5*i - 30 = -5*d, -4*d - d - 3*i + 22 = m for d.
5
Let q be (-51)/(-34)*(-8)/(-3). Solve 5 = -3*j - q*h, -3*j + 2*h = -2*h + 13 for j.
-3
Suppose 3*t - 1 = 5. Let n = 6 - 2. Suppose -5*v - 3*m = -10, -5*v = 5*m - 7 - 3. Solve -3*p - n = 5*u, -4*u + t*u - v*p - 4 = 0 for u.
1
Let k be 4 + -3*(-2)/(-3). Suppose k*j + 16 = 6*j. Solve -4*g - 16 - 4 = j*t, -5*t = -2*g - 3 for g.
-4
Suppose 0 = -o - 0*o + 2. Suppose -4*q + 3*q + o = 0. Solve 3*f = -5*p - 8, 2*f + 0*f = q*p + 16 for p.
-4
Suppose -4*m + 2*m - 5*n = -10, -5*m + n = -25. Let j = m - 3. Let f(g) = -3*g - 4. Let h be f(-3). Solve h*x - j*o - 40 = 3*o, -x = -2*o - 12 for x.
4
Let t = -22 - -26. Suppose -14 = t*p - 3*x - 46, 0 = 2*p + 2*x - 16. Solve -4*h - l = -0*h - p, 0 = 3*h + 3*l - 6 for h.
2
Let g be (-1)/((-2)/4) - -1. Suppose 0 = g*r + a - 6, 0 = 2*a - a. Solve -r*d = -3*j + 10, 2*j + 2*j - 3*d = 15 for j.
0
Let h(g) = g**3 + 5*g**2 - 6*g - 6. Let w be h(-5). Suppose 5*l + 5*d = d + w, -d + 20 = 3*l. Solve q + 0*q + l = 3*z, 5*z - 3*q = 20 for z.
1
Suppose 2*l + j + 19 = -2, 3*l - 4*j + 26 = 0. Let z = l - -19. Let a be (z/4)/(15/40). Solve 3*s = 5*x + 11, 5*x + a = -4*s - 26 for x.
-4
Suppose -5*x + 2*b = -26, 0 = -3*x + 8*x - b - 23. Let i = -31 - -76. Solve -20 = x*h, -2*m - i = -7*m + 5*h for m.
4
Let y(k) = -2*k**3 - 3*k**2 + 2*k - 1. Let i be y(-3). Solve 2*a + 8 = 2*x, 5*x + 2*a = 6*a + i for x.
4
Let f be -4 - -2 - -2*1. Suppose f*y + y = -5*n + 15, 0 = -2*y. Solve -11 - 4 = -n*i, -2*w + 5*i = 25 for w.
0
Let t(q) = q**3 + 4*q**2 - q + 1. Let y be t(-4). Solve -18 = 3*d - f - 5, -3*d = -y*f + 5 for d.
-5
Suppose -n = -4*w - 5, w = 3*w. Suppose 0 = -4*z - z + 25. Let h = z - n. Solve 2*f - 3*j + 4 = h, 5*j + 0 = 3*f + 5 for f.
-5
Let g = 9 - 4. Let u(a) = -a**2 - a + 3. Let m(y) = -y**2 - 1. Let o(z) = -3*m(z) - u(z). Let v be o(1). Solve i + 3*x = v*x + 5, -3*i - g*x = 40 for i.
-5
Suppose n = -2*n + 18. Suppose 5*d = 2*d + n. Suppose 2*i = i. Solve 2*v - 3*r + 2 = i, -5*v - 7 = 5*r - d for v.
-1
Suppose 5*d + 12 = 4*g, -2*g = 3*d - 2*d - 6. Solve l + 4*m - 12 = 0, -2*l + 4*m = -d*l + 24 for l.
-4
Let r(p) = -p**3 + 6*p**2 + 7*p + 5. Let b be r(7). Solve -3*a - 11 = -d, -b*d + 3*a + 19 = -0*d for d.
2
Let x(k) = 1 - 3 + 1 - 3*k. Let u be x(-2). Solve 5*i = i, -u*i + 2 = -o for o.
-2
Suppose 6*y = -2*r + 2*y, -2*r - 3*y = 0. Solve -f - 5 = -2*g, r*g = 4*g + 2*f - 30 for g.
5
Let p(j) = j - 3. Let f be p(6). Suppose -5*n - 29 = -f*a, -5*n = 2*a - 7*a + 35. Suppose -20 = -3*b - 8. Solve 3*q + 5 = -b*s - a, -2*q = 5*s + 17 for s.
-5
Let y = 7 + 8. Solve -10 = 2*h - 3*d + d, -y = 5*h + 5*d for h.
-4
Suppose 6 = -5*i + 21. Suppose 3 = i*j - 21. Solve -2*o - j = p - 0, 2*o + 3*p + 4 = 0 for o.
-5
Let u = -5 - -30. Suppose w = 5*w + 3*i - u, 2*i = 3*w - 6. Solve -b + 4 = -3*f, 5*b + 0*f - w*f + 13 = 0 for b.
-5
Suppose 3*r - 29 = -11. Solve r = 4*p + 2*g, -4*g + 11 = p - 1 for p.
0
Suppose 6 = 2*m - 6. Let g be 2/m*42/2. Let t = g - 3. Solve t*k + 2*h = 18, -17 = k - 5*k - 3*h for k.
5
Suppose 10*a = -0*a + 2*a. Solve -2*c = a, -2*c = -2*p - c - 10 for p.
-5
Suppo