for b.
-3
Let d(x) = x**3 - 13*x**2 + 11*x + 15. Let v be d(12). Solve 3*u - 13 = 5*t, -v*t + 4 - 11 = -u for u.
1
Suppose d + 3*d + 24 = -2*x, 4*x = -2*d - 24. Let l be (-1)/(-1) + -1 + d. Let w(n) = -n - 2. Let v be w(l). Solve 3*g = 3*a - 18, -17 = v*g - 2*a - a for g.
-1
Let d = -92 - -92. Solve d = g - a - 4 + 2, 5*a = -4*g + 8 for g.
2
Suppose 0 = -0*d - 4*d + 12. Solve 5*r + 14 = 4*l, -4*r - d*l - 7 = r for r.
-2
Suppose -5*i + 3*t = -84, 0 = -2*i - 3*i - t + 72. Let u(g) = g**3 - 8*g**2 + 10*g - 13. Let v be u(7). Solve q = 4*h - v - i, 0 = 3*h + 5*q for h.
5
Suppose -7*u = -5*u - 8. Solve u*l = -2*o - 4, 2*o + 3*l - l - 2 = 0 for o.
4
Suppose -2*t = 5*r - 101, 6 = -3*t - 0. Suppose -3*j = -5*c - r, -j - 15 = -4*j + 3*c. Solve -4*n - 4 = 2*z, -3*z - j*n + 2 = 8 for z.
-2
Suppose -5*f + 27 - 7 = 0. Solve -5*v - 24 = r, 5*v + 20 = f*v - 4*r for v.
-4
Let a be 8/44 + (-84)/(-22). Solve -12 = -f - 2*f, -a*v - 2*f = -8 for v.
0
Suppose 0 = 6*s + 2*s - 8. Solve v - f = f + 2, v = f + s for v.
0
Let a be (-2 + -2 - -4)/(-3). Solve a = 4*m + 2*n + 12, -5 = m + 3*n + 3 for m.
-2
Suppose 3*y = -2*y + 25. Let g(l) = l + 10. Let a be g(-7). Solve -q + a = o - 0*q, -y*o + 3*q = -7 for o.
2
Suppose -2*x + 4 = 3*h - 2, h = 5*x - 15. Suppose -x*n = 8 + 16. Let k be (2/3)/(n/(-84)). Solve i + 5*l = -10, 5*i = 2*l - k*l - 30 for i.
-5
Let a = -17 + 17. Solve 2*w + 2*l + 0*l - 6 = a, 4*w - 12 = l for w.
3
Suppose 0 = 5*d - 4 - 6. Let n be (4/6)/((-2)/(-9)). Solve -h + 6 = -n*w, d*h - 2*w + 4 = 12 for h.
3
Suppose -6*h + 7*h = -13. Let i = h - -18. Solve 0*a = i*a + 5*c - 10, a + 3*c - 6 = 0 for a.
0
Let g = 4 - 0. Suppose g*l - 12 = l. Let s(b) = 4*b + 2. Let d be s(l). Solve -4*x - d = w - 2*w, 2*w = 5*x + 24 for w.
2
Let z(p) = p**2 + 5*p - 2. Let u be z(-6). Suppose -u*l + 0 = -8. Solve 0 = -l*a + 4, -4*a - 9 = -v - 8*a for v.
1
Let y(l) = l**2 - 7*l + 2. Let q be y(7). Solve -q*p - 8 = -2*m, 0 = 5*m + 5*p - 4*p - 14 for m.
3
Suppose 19*n + 23 = 80. Solve 16 = -3*a - 5*s, -4*a + n*s = -8*a - 14 for a.
-2
Suppose -3*y - 4*x = x + 6, 0 = 3*y + 3*x. Suppose 5*j - 1 = l + 7, 2*l - y*j = 12. Solve 4 = k - 4*z, k - l = 6*k - 4*z for k.
-4
Let w = 27 - 16. Suppose 3*c + 3*o = 12, -3*c + 2*o = -w - 16. Solve 20 = -5*s - 4*g, 2 = s + g + c for s.
0
Suppose -5*r = -25, 3*h + 5*r - 13 = 7*h. Solve -3*u + 2*w = 2, -h*u - 3*w - 22 = -w for u.
-4
Let t(n) = -n**3 - 5*n**2 + 5*n - 6. Let y be t(-6). Solve 20 = -5*z + 4*k, 2*z - 25 = -y*z - 5*k for z.
0
Suppose -3*s + 5 = -1. Let f be 8/6*3/s. Solve -f*b = 4*y + 6, 4*b + y = 3*b for b.
3
Suppose -c = 2*c - 72. Let i be (c/(-4))/(6/4). Let u be 8/i + 5*1. Solve 3*m + u*j = 0, 4*j - 2 = -2*m + 3*j for m.
2
Let y = 64 - 61. Solve -10 = -5*m - 4*l, 10 + y = m + 3*l for m.
-2
Let w(t) = -t**2 - 3*t + 2. Let v be w(-2). Let x = 595 + -590. Solve 2*c = g - 7, -c + v = -3*g + x for g.
-1
Let h = 11 - 7. Suppose 0 = -n - 16 + 18. Solve 4*x = -n*k - 2, -k + 7 = -2*x - h*k for x.
1
Let p be (60/8)/((-12)/(-8)). Solve -p*a + 2*t - 35 = 0, -4*a + 2*t - 27 = 3 for a.
-5
Suppose -4*x = 4, -11 - 3 = -3*p + 2*x. Suppose 5*h + 3*m - 49 = 0, -p*m + 19 = 2*h + 5. Solve -4*z = 2*k - 10, 4*k - h = 4*z - 3 for z.
1
Let q be ((12/(-2))/18)/(2/(-30)). Solve 5*b - l = 19, -q*b + 23 - 6 = -3*l for b.
4
Let h = -17 + 25. Solve r - 2 = -2*m + 5*r, 2*m + r = -h for m.
-3
Suppose 30 = -i + 3*i. Suppose 30 = 5*k - i. Solve -3*r - 4*p - 8 = 0, -r + 2*r = 5*p - k for r.
-4
Let b = 17 - -5. Solve 2*r = -3*p + b - 9, r - 8 = -3*p for p.
1
Let s = 20 + -8. Let c be 4/(-22) + 138/33. Let j = 1 + 0. Solve 2*t - s = -c*q, 1 = -t - j for q.
4
Let p = 48 + -44. Solve -2*i + 4*c + 0*c - 8 = 0, c = p*i + 16 for i.
-4
Let c(f) = 2*f - 2. Let n be c(4). Suppose m = -m - n. Let a be (-4)/m + 2/3. Solve 5*r = 2*g + 1, -a*g = -7*g + 3*r - 12 for g.
-3
Suppose 73 = -5*y - 47. Let u = -12 - y. Solve -u = -4*p + p, 6 = m + 2*p for m.
-2
Let a(g) = g + 5. Let j be a(11). Solve 2*u + 9 = -3*d, 0 = 4*u + 4*d - 4 + j for u.
0
Let r be 2/7 + (-103)/(-7). Suppose -a - 3 = 0, -a + r = 2*s - 2*a. Let l = 2 + 0. Solve -14 = k + 5*q, q = -l*q - s for k.
-4
Let f be (-1)/4 + 1/4. Let i be (-1*f/2)/1. Let n be 2/18 - 234/(-81). Solve 3*s - 15 = -2*p, n*s = -i*s + 5*p + 15 for s.
5
Let r = -1 + -3. Let w = r - -5. Let g(t) = 2*t - 12. Let k be g(8). Solve -y - 2 = -4*x - 3, k*x + y = w for x.
0
Let w be (35/5)/(2/(-2)). Let h = 12 + w. Suppose 3*z = 7*c - 3*c, 0 = 5*c - 5*z + h. Solve -u = 4*v - 18, v - u - 4 = c for v.
5
Let h(k) = k**3 + 2*k**2 + 2*k - 3. Let m be h(2). Suppose x - 3*z = m, -3*x = -z - 0 - 11. Solve 30 = -x*w - 0*a + 5*a, a - 19 = 3*w for w.
-5
Suppose 5 = 2*u + 1. Solve -t + 0*l - l = -u, 24 = 5*t - 2*l for t.
4
Let u = 10 - 8. Let k be (-30)/(-9) - (-1)/(-3). Suppose -k*x = -x. Solve -5*p - 3*i + u*i = -5, x = -5*i + 25 for p.
0
Let p = -4 + 10. Suppose -3*b + 15 = 3*v, -2*v - b + 24 = -p*b. Solve -5*s + v = -3*q + 16, -4*q = 5*s + 23 for q.
-2
Let p(y) = y + 4. Let q = 6 - -3. Let o be p(q). Solve 0*d - 8 = -2*d, -5*j + 2*d = o for j.
-1
Let s be ((-9)/(-4))/((-1)/4). Let m = 13 + s. Suppose t + 15 = 4*t. Solve 2*o + 33 = -t*c, -16 = c + m*o + 5 for c.
-5
Suppose k + 8 = 3*u, 0 = -5*u - 2*k + 11 + 6. Solve -3*m + 7 = 2*p + 2*m, -u*p + 4*m = 24 for p.
-4
Let w = 57 + -99. Let n be ((-6)/7)/(w/196). Solve -2*i - 11 - n = 5*y, 35 = -3*y + 4*i for y.
-5
Let g(x) = -2*x - 11. Let t be g(-8). Suppose -16 = -t*h + 19. Solve -3*n = -2*u, 2*u = 2*n - h*n for n.
0
Let t(r) = -r**3 - 2*r**2 - 4*r - 4. Let z be t(-3). Solve -5*q = 2*b - 4*b + z, 3*q = b - 10 for q.
-3
Suppose 5*h = 8*h - 21. Suppose -h = -q - 2. Solve -5*j - 3*n + 6*n = -q, 5*n - 25 = 0 for j.
4
Let b(z) = 5*z. Let l be b(-1). Let u be (2/l)/(2/(-10)). Solve -w - 4*w + 15 = 0, 0 = u*t + 2*w - 14 for t.
4
Let u be (-20 - -2)*6/(-12). Solve -t - 11 = 3*i, -5*i + u = -2*i - 3*t for i.
-2
Suppose t = 3*t. Suppose -v - v + 10 = t. Suppose 2*b - 21 = b. Solve 4*y - m - 11 = 4*m, -v*y - m = -b for y.
4
Let b = -2 - 10. Let z be b/8*2 - -13. Let h be -5*3/(30/(-4)). Solve x = -v + z, 0 = -2*v - 0*x + h*x for v.
5
Let f(a) = -2*a + 34. Let i be f(7). Solve -4*w + 3*v = v - 8, 3*w + i = -5*v for w.
0
Suppose 0 = 4*b + 2*o + 2*o - 32, 2*b = o + 13. Let d = b - 5. Suppose 5*h + 2*a - 72 = 0, h - 5*h = d*a - 58. Solve 2*v - h = 5*t, -2 = -5*v + v - 3*t for v.
2
Suppose 5*l = -0 + 15. Let z be 2 - l*(-3 - -2). Solve -d + 2*u - 2 = -1, 8 = 3*d + z*u for d.
1
Let f = 14 + -12. Solve -k - 3*g - 5 = f*g, -4*k = 2*g + 20 for k.
-5
Suppose 2*a - 2*x - 14 = x, -2 = 2*a + 5*x. Suppose -12 = 4*y - 5*v, 3*y = a*y + 4*v - 18. Solve -5*z + 1 = -y*o - 15, 3*o - 2*z = -13 for o.
-3
Suppose -j - 5*a = 2*j - 22, -5*j - 30 = -5*a. Let x = -2 + j. Let n be (-32)/x - 8/12. Solve -4*t = t - k, 2*k = -n for t.
-1
Suppose -2*s + 1 = -3. Let k be s/(-1) - (9 + -16). Suppose -4*t + i = -0*i - 56, k*i - 35 = -t. Solve 0*y + 5*y + t = 4*z, -2*y - 18 = -4*z for z.
5
Let y(x) = 3*x - 6. Let b be y(3). Solve -a - 4*o - 3 = -16, 0 = -3*a - 3*o + b for a.
-3
Suppose 3*q = 4*w + 1, -3*q = -2*w + 2*q - 11. Solve -5*z - 4*a = 1, 5*z + w*a - 7 = -0*a for z.
3
Let b be (-99)/(-21) + 2/7. Solve 3*p - 6 = 0, -b*j = 5*p - p + 2 for j.
-2
Let b(u) = u**2 - 2*u**2 - 3*u + 6*u + 2. Let f be b(3). Solve 5 = 5*c - f*n - 16, 0 = c + n - 7 for c.
5
Suppose -3*l + 2 + 13 = 0. Let m(p) = 3 + l - 1 + p - 2. Let w be m(0). Solve -4*i = -a + 20, w*a = -4*i + 4 - 0 for a.
4
Let q(k) = 8*k**3 - 1. Let s be q(-1). Let a = 16 + s. Let c(f) = -f**3 + 4*f**2 + 5*f + 4. Let l be c(5). Solve a = -l*x + t, t = -0*x + x + 1 for x.
-2
Suppose -4*x = 3*y + 12, -x - 20 = -2*x + 5*y. Let v be 0 + (4 - (2 - x)). Solve 4*m + v*f = m + 9, 12 = -4*f for m.
5
Let t = 41 + -38. Solve t*i - 5 = 5*g, 5*g - g + 5*i + 4 = 0 for g.
-1
Let m = 96 + -92. Solve -5*i - 11 = m*f, 0 = -3*f + 4*i - 15 - 1 for f.
-4
Let m be 5*6/15 - -1. Solve -5*v = -3*l - 3*v - 3, l - 2*v = m for l.
-3
Let r(u) = u - 4. Let v be r(7). Suppose -v*o = 4*g - 5*g - 9, 2*o = -2*g - 2. Solve o*z = 5*z - h + 7, 0 = -z + h - 1 for z.
-3
Let t(p) = p**3 + 2*p**2 - 4*p - 2. Let w be t(-3). Let l be w/(3 - 4)*0. Solve -2*v + 3*g - 2 - 1 = l, 2 = -v + g for v.
-3
Let a = -23 + 38. Solve -3*k = 3*t - a, -k - k = 4*t - 10 f