 for b.
5
Let m(i) = 31*i + 32. Let j be m(-1). Solve -2*w + 7 = w - k, -k = j for w.
2
Let x = -6 + 8. Let a(d) = 3*d - 6. Let b be a(3). Suppose -9*m - 60 = -5*h - 4*m, -2*m = h - 12. Solve h = b*i + 4*t, -x*t + 0*t = i - 6 for i.
0
Let q be -1*(10 - 2 - 8). Solve -3*v = k - 4*k + 12, q = -3*v for k.
4
Let u(i) = -i**3 - 11*i**2 + 11*i + 12. Let j be u(-12). Suppose j*c = 32*c. Solve -3*w - 5*q - 5 = c, 18 = 4*w + 2*q + 6 for w.
5
Let b(y) = y - 4. Let z be b(5). Let c be (z/2)/(4/16). Suppose c*i - 35 = -5. Solve 4*k + 0*s + 3 = s, -5*k + 5*s = i for k.
0
Suppose 0 = -4*j - 3*f - 82 + 391, -5*j = -2*f - 415. Let t = j - 77. Solve -2*p = -0*l + 3*l - 4, t*p - 8 = 5*l for l.
0
Let q be 3/(-2 + 5) - 122. Let p be (-24)/(-11) - (-22)/q. Solve p*v = 8, 6*v = 3*k + 3*v + 3 for k.
3
Let q = 82 - 78. Solve q*y + n - 3*n = 30, 0 = y + n for y.
5
Let d be (-1)/(-5) + (-112)/(-40). Let i(x) = x**3 + x**2 - x + 15. Let n be i(0). Let t be 30/12*16/10. Solve -t*v = u - 17, d*v + 0*v + 3*u = n for v.
4
Suppose 0*m - 3*m - 72 = 0. Let u be ((-60)/m)/((-1)/(-2)). Solve -2*i - 2*y = 1 - 3, 0 = u*i + 2*y + 4 for i.
-2
Let u = -872 - -874. Solve 5*p + 4 = -u*x, 4*x - 3 = -3*p + 3 for x.
3
Suppose 0 = 4*b - 15 + 7. Let r be b/6 + (-75)/(-45). Solve r*k = 3*h + 3*k - 12, -k + 8 = 2*h for h.
4
Let m = 11 + -6. Let t be (2 - (-4 - -3)) + 1. Let c be 8/t*(-14)/(-4). Solve 0 = -2*i + b - 0*b + c, m*b = 2*i + 5 for i.
5
Suppose -3*d = -2*x - 79, -d + 66 = d + 2*x. Suppose k - 3*h = -10, -25 = -4*k + 4*h - 5*h. Solve 0 = -4*s + 5*b + d, -3*s + k*s - 4*b - 22 = 0 for s.
1
Suppose -8*v = -4*v - 12. Solve -3*o = 5*p + 5, p - v*o = -4*p + 25 for p.
2
Let b(z) = -11*z - 187. Let j be b(-17). Solve 2*p - q + 4 = j, -11 + 6 = -3*p - 4*q for p.
-1
Suppose -3*q = 0, -4*f = -7*f - 2*q - 285. Let k = -92 - f. Solve -2*i = k*s - s, -16 = -i - 5*s for i.
-4
Let g(x) = -2*x - 10. Let z be g(9). Let i = 32 + z. Solve 5*w + t + i = 27, 9 = 3*w + 3*t for w.
5
Let t(s) = -s**2 - 7*s + 20. Let p be t(-9). Suppose 6 = -p*b + 10. Solve -b*u + 0*g + 9 = g, -5*g + 15 = -5*u for u.
2
Suppose 0 = 2*f + 46 - 110. Suppose -9*p - 5 = -f. Solve -3*t = -1 + 7, p*t = 5*w - 26 for w.
4
Let m be -18*(-8)/16 - 2*-1. Solve -6*k + m*k = -2*l - 17, 0 = 2*l + 2*k + 2 for l.
4
Let j = 33 - 20. Let m be (-570)/35 + 2/7. Let u = 20 + m. Solve -5*f = u*y - j, -y + 4 = 4*f - 2 for f.
1
Let p(h) = h**3 + h**2 - 9. Let m be p(0). Let j = m - -13. Suppose 4*b + j = 0, x + 2*x - 19 = -5*b. Solve -16 = 4*y + 4*d, -y - d = 2*d + x for y.
-2
Suppose 38*h + 18 = 41*h. Suppose 1 = h*w - 17. Solve 0 = l + w, -2*l = -3*p - 3 for p.
-3
Suppose 4 = 4*k - 8. Suppose 12 = 2*j - 3*s + 8*s, 4*j - 40 = -2*s. Solve 0 = r + g + 2, 2*r = -2*r - k*g - j for r.
-5
Let l be (3 - 4) + 7/((-35)/(-25)). Solve 4*w + 2*n - 15 = 3*n, 4*n = l*w - 24 for w.
3
Suppose 0 = 2*j + 3*j - 15. Suppose -80*w + 136*w - 280 = 0. Solve -j*c - p - w = p, 0 = 5*p + 5 for c.
-1
Let x(z) = -2*z + 4. Let l be x(-1). Suppose -5*j + 3 = -l*j + 5*a, 3*a = 4*j - 56. Solve 5*s = 2*g - j, 5*g - s - 8 = -0*s for g.
1
Let u = 12 + -8. Let l = -1 + u. Suppose l*a - 5*a = -24. Solve 3*s = -4*q - a, -5*q - s + 0*s - 4 = 0 for q.
0
Let i = -3 + 3. Let q = i - 0. Let s(m) = -m**2 + 4*m - 1. Let u be s(1). Solve q*v + u*v + 10 = 3*p, 0 = 4*p - 8 for v.
-2
Suppose 2*c - 5*c + 18 = 0. Suppose 3*j - c = -4*o, 0 = -5*o + 4*j + 25 - 2. Suppose -4*n + 3*n = -o. Solve -2*r = n*v + r - 18, -5*v = -r - 6 for v.
2
Let m be ((-12)/8 + 3)*16/12. Solve 3*j + 4 = m*w, 2*w - 2*j + j - 4 = 0 for w.
2
Suppose 0 = -5*x + 6*x + 4, 2*x = -3*g + 1. Suppose 32 = 3*y - t, -4*y - t - t + 36 = 0. Solve 4*z - 1 = -g*l + 5, -5*l = 3*z - y for l.
2
Let f be -18*(-2 + 9/3)/(-2). Suppose -k = 7 - f. Solve 3*d - 2 = l, k*d + 0*l + 4*l = 6 for d.
1
Suppose -19 = -3*r + 4*x, -r + 4*x - 6 + 23 = 0. Let h be (-1240)/(-50) + r/5. Solve 0 = 2*a - 5*o - h, -3*a - o = -1 - 11 for a.
5
Let t be (9 - 5)*1/2. Suppose t*u + 130 = 7*u. Suppose -4*f = 5*w - u - 49, -49 = -4*w - f. Solve 3*i + w = -2*n - 2, 0 = 3*i - 5*n - 22 for i.
-1
Let r = -13 + 41. Suppose -l + 14 = 3*o, 3*l + 2*o - r = -0*o. Suppose 7*q - l = -1. Solve 18 = 3*h - 4*g + q, -5*h - 5*g + 5 = 0 for h.
3
Let h(f) = f**3 - 5*f**2 + 4*f + 3. Let z be h(4). Suppose 154 = 5*u + z*t, -6 = -u - 2*t + 29. Solve -g = 5*l - u, -4*g - g = -4*l for g.
4
Let i be (-150)/(-54) - (-4 - (-68)/18). Solve i*q + 4*j = 6 - 1, q + 1 = -4*j for q.
3
Let w = 290 + -277. Solve -3*p - m + 23 = -8*p, 4*m + w = -p for p.
-5
Suppose r - 17*n + 16*n = 11, 3*n = -3*r + 45. Solve 0 = 2*d - 3*z - r, d - 3*z + 0*z - 14 = 0 for d.
-1
Let c = 11 + -8. Suppose 57 = 2*h - 7*h + s, 5*s - 32 = 2*h. Let x = h + 16. Solve -3*a = c*q - a, -5*q - 5*a = -x for q.
-2
Suppose z - 2*u = 7, 4*u - u + 28 = 5*z. Suppose 0 = a + 2*t + 4, z*t + 0*t = a - 10. Solve -3*o - 9 = -4*o + 4*b, a = -2*o - 5*b - 21 for o.
-3
Let f be 8 + (-6)/((-36)/(-30)). Solve -f = -q - 2*m, m - 2 = 3*m for q.
5
Let q(s) = s**3 + 6*s**2 + 3*s - 5. Let o be q(-5). Let z be -3 - -2 - (-3)/(4/(-4)). Let j be z/(-16) - 6/(-8). Solve -3*b - o*n = 16, -2*b + j - 3 = -n for b.
-2
Let a be (-27)/(-6)*60/135. Solve -g + 2*f + 2 = -12, -2*g + a*f + 18 = 0 for g.
4
Let g = -57 + 86. Suppose 3*c + 20 = g. Solve 0*r + 1 = -2*r - u, c*u - 17 = 4*r for r.
-2
Let u(m) = -2*m**3 - 7*m**2 - m + 10. Let d be u(-3). Solve 3*b - 3*q + 9 = 0, -d*b - 1 - 17 = 2*q for b.
-4
Let r = -4 + 8. Suppose 5*t = -11*t - 64. Let b be -2*4/(t - r). Solve 3*a + 1 = 5*v, b = 2*v - 4*a - 5 for v.
-1
Suppose 0 = 5*h + 15 - 170. Suppose -26 = i - h. Solve -3*w + 6*w + i*p - 15 = 0, 5*w - 4*p = -12 for w.
0
Let l(n) = -5*n - 13. Let p be l(3). Let o = p - -32. Suppose y + 15 = 4*y - 4*j, 0 = -2*y - j + 10. Solve -7 = y*d + 3, 4*k = -o*d - 8 for k.
0
Let s(b) = b**2 - 4 - 5*b - 8*b + 18. Let y be s(12). Solve -4*v + 4 = -4*z, 5*z + v = -v + y for z.
0
Let n be (16 + 9 + -20)*((-6)/(-5))/2. Suppose 2*y - 6 - 2 = 0. Solve -m - y*z - 10 = -n*m, m - 4*z - 9 = 0 for m.
1
Suppose -3*k - 20 = p + 2*k, -4*p + 5 = 3*k. Solve -4*v + 33 = p*s, -2*v - s + 7 = -v for v.
2
Let q(w) = w**2 - 12*w - 13. Let a be q(13). Let o = -24 - -44. Solve -2*t - 3*n = -a*t - 15, 2*t = 4*n - o for t.
0
Let d(f) = f**2 + 10*f + 20. Let q be d(-8). Let m = 103 - 99. Solve 0 = -2*k - m*s + 20, 0 = 5*k + s - q*s - 11 for k.
4
Let y be (24/15)/((-1)/(-10)). Suppose 10*w = -14*w + 96. Solve -4*u = -y, 9*i = w*i + 4*u - 41 for i.
-5
Let d = 6 - -2. Let g = 15 - 7. Let n be (-11)/((-44)/24) + -1. Solve g*f - 3*f - 3*q - d = 0, n*f = -q + 24 for f.
4
Let p be 8/10 - (-4928)/440. Let f be 3/(1/((-8)/3)). Let c(r) = -r**2 - 10*r - 12. Let l be c(f). Solve l*g - p = 2*a, -3*g + 4*g + 2 = -2*a for a.
-2
Let p(b) = b**3 + 7*b**2 - 20*b - 12. Let v be p(-9). Solve -4*u + v*u = -n - 11, 14 = n - 3*u for n.
-1
Let b(g) = -g**3 + 5*g**2 + 2*g - 7. Suppose -a + 46 = 41. Let d be b(a). Let z be 2/8*2*2. Solve -2*s + 4 = -j - z, -5 = -d*j + 2*s for j.
5
Suppose -x + 3*x - 9 = -c, 4*c = 5*x - 3. Suppose -7 = -2*u + c. Solve 4*q - 3*z + u = -5, -q + 3*z = -2 for q.
-4
Let x be 3 + -3 + (-8)/(-4). Let c be (-4)/x + (11 - 2). Solve -4*y = p + 13, 4*y - 5*p - 10 = c for y.
-2
Let d(t) = 3*t - 51. Let g be d(15). Let k be 10/(-8)*(-8)/(-12)*g. Solve -21 - 9 = -k*x - z, 20 = 3*x + z for x.
5
Let n(r) be the second derivative of r**4/6 + r**2/2 + 5*r. Let d be n(-1). Let w be 2/(-2)*-1*2. Solve x = -w*k - 6, -k - 8 = -5*k + d*x for k.
-1
Suppose 17*m - 168 = -25*m. Solve 4*j + 6 = -q + 2*q, -3*j = m*q - 5 for q.
2
Let p = 2 - 0. Let n be 0 + 4 + -2 + 9/3. Solve -q - p*q - n*c = -18, -q - 4*c = -13 for q.
1
Let h(o) = o**2 - 8*o. Let k be h(8). Suppose k = -d - 4*d + 10. Suppose -4*t - 6 = -18. Solve r + 1 = t*y, 3*r = 5*r - d*y + 6 for r.
-4
Let d = -17 - -19. Suppose -2 = 4*t - d*i - 16, -14 = -5*t - i. Solve 6*b + t*f = b + 23, -b + 2*f = -2 for b.
4
Let z be ((-6)/4)/(2/(-4)). Let t(c) = -c**3 - 23*c**2 - 81*c - 93. Let w be t(-19). Solve -z*x = -w*x + 5*u + 1, u + 2 = -2*x for x.
-1
Let h = 105 + -104. Let x be -5*6/(-10) + h. Solve 4*a - 3*r + x = 0, -a - 2*r - 24 = 3*r for a.
-4
Let i be (-820)/34 + (-20)/(-170). Let u = -22 - i. Solve -4*f - u*g = 3*g + 27, 2*f = -5*g - 21 for f.
-3
Suppose -g + 5*r + 52 =