or b.
1
Suppose -k + 0*k = 5. Let w(y) = y**2 - y + 5. Let h be w(k). Solve z + 4*f = 25, 0 = 4*z + 3*f - 0*f - h for z.
5
Let p be 1/3*(0 - -9). Let f be ((p - 3) + -1)*-6. Suppose 0 = 4*z - 2*z - f. Solve 11 = 3*l + 5*j - 6*j, 4*j - 16 = -z*l for l.
4
Suppose -5*i + 2*i = -9. Let g(s) = 2*s - 1. Let m be g(i). Solve -3*y - 2*y - m*n = 10, 4*y = 4*n for y.
-1
Let l = 62 - 60. Let g(z) = -z**2 + 23*z - 14. Let p be g(22). Solve -p = -4*t + b + 16, -l*b - 8 = 0 for t.
5
Let t(m) = 2*m - 16. Let u be t(9). Suppose u*j + 12 + 30 = 0. Let h = -19 - j. Solve 2*l = r - 4, r + 2 = -l - h*r for l.
-2
Suppose 4*l + 5*y - 5 = 0, 3*l + 17*y = 16*y + 12. Solve 4*m = -2*t - 14, 10 = -l*m + 5*t - 10*t for m.
-5
Suppose 0 = -40*t - 25*t + 845. Let a(j) = -j**3 - 6*j**2 + j - 1. Let k be a(-6). Let g = k + 11. Solve p + g*q + t = 0, 4*p + 0*p + 12 = 4*q for p.
-5
Suppose 44*p - 55*p = -55. Solve p*z - 10 = -4*k, -2*z - 29 = 4*k - 9*k for z.
-2
Let z be (-280)/(-88) + 2/(-11). Suppose -z*x = 4*d + d - 71, -4*d - 8 = 0. Let y = x - 22. Solve 3*g + 16 = y*o, -3*g - 4*o + 6*o = 1 for g.
3
Let a = 114 - 98. Let u(f) = -2*f + 38. Let n be u(a). Solve 3*b = 2*r + n*b + 3, -18 = -2*r + 4*b for r.
3
Let k be 2 + 1 + (1 - 1). Suppose k*t = 5*t - 2. Suppose t - 3 = -o. Solve 7*g + x + 8 = 2*g, 2*x + o = -3*g for g.
-2
Let z = 4 + 0. Suppose 0 = -2*h + z, 5*p = 4*h + 13 + 4. Suppose 5 + 15 = 4*v. Solve -4*q = -p*u - 13, -2*q = -v*u - 18 - 1 for q.
-3
Let l be ((-8)/(-6))/((-2)/(-6)). Suppose 5*k - l = 16, -4*k = t - 19. Solve 0 = 5*p - 0*o - 2*o + 8, 0 = -t*p + o - 4 for p.
0
Suppose 3*s + 0*s = -3. Let d be (s + 6/4)/((-1)/(-4)). Solve 2 = d*j + 5*c - c, 5*j + 6 = c for j.
-1
Let s be (-3 - 0)*1 - -6. Solve 4*t - 15 = 5*n, -2*n = t - s*n - 3 for t.
0
Let v(p) = -p**3 + 8*p**2 + p - 4. Let i be v(8). Solve 0 = 2*g - i*g, -5*c - 4*g + 5 = 0 for c.
1
Suppose 5*u - 50 = 5*y, 17 = 5*u - 3*y - 23. Suppose -5*f - 5*t + 4*t = u, f - 25 = 5*t. Suppose 2*g = 4 - f. Solve 2*l + g = -0*w - 2*w, 36 = 4*l - 4*w for l.
4
Let v(g) = -g + 11. Let z be v(11). Suppose 2*f + z = 20. Solve -3*u = 4*x + f, -15 = -u + 5*x + 7 for u.
2
Let a(f) = 2*f - 3. Let m be a(4). Suppose 25*z + 36 = 31*z. Solve 2*c - 4*r + 6*r = z, -c + m = -r for c.
4
Suppose 2*t - 5 = -1. Solve 26 = -5*x - 3*c, -3*x = t*c - 0*c + 16 for x.
-4
Suppose 0 = -3*y + 2*l + 16, -10 = -y + 5*l + 17. Let i be 110/8 + 1/4. Let a be 3 - (y + (0 - i)). Solve 5*k = 2*v + 22, 6*k - k = -5*v + a for k.
4
Suppose 4*a + 3*z - 4 = 43, 3*z - 7 = a. Solve -2*f = -4*d - 10, -a = -4*f - 4*d + 12 for f.
5
Let z be 3/(-6) - 12/(-8). Suppose z = -6*k + 19. Solve 0 = 4*c - k*l - 19 + 6, 5*l - 1 = c for c.
4
Let s(i) = -i**3 - 4*i**2 - i + 1. Suppose 3*r + 1 = -5*n - 4, 4*n + 21 = r. Let p be s(n). Solve 3*z - b + 11 = 0, 3*b - b - 18 = p*z for z.
-4
Let h(b) = 4*b + 6. Let l be h(-11). Let k = 42 + l. Solve -5*w - 5*n - 45 = 0, k*n + 27 + 4 = -3*w for w.
-5
Let k = -33 - -35. Suppose g + k*r - 3 = 0, -2*g + 0*r = -r - 6. Suppose 2*f = -g + 13. Solve -1 = -2*s + 4*a + 3, s + 1 = f*a for s.
4
Let w = -40 - -37. Let n be 316/14 - w/7. Let q = 1 - 1. Solve l + q = 4, 5*l - n = o for o.
-3
Let m(t) = -t**2 - 12*t - 10. Suppose -2*r = 3*r + 55. Let g be m(r). Let f be (-2)/((2/(-5))/g). Solve 30 = 2*p - 5*y, -y = -f*y - 16 for p.
5
Suppose x + 7 = 3*d, -2*x = x + 5*d - 21. Let j(n) = -n**2 - n + 6. Let a be j(x). Solve 0 = b + 4*p + 13, 0 = -4*b - a*b - p - 22 for b.
-5
Let a be 6/10 - 154/(-10). Suppose -2*k - a = -4*y + 2*y, 0 = -3*y - k + 4. Solve 5*w = 3*t + 21, 11 = -y*w + 4*t + 28 for w.
3
Let d = 1 + 2. Let k be 34*1/((-6)/(-3)). Solve 0 = 5*x + d*t + k, 0*x - 3*x = t + 11 for x.
-4
Let t(o) = o**3 - 7*o**2 - 2*o + 26. Let n be t(7). Solve -3*k + n = -2*s, 5*k - 2*s - 33 = -13 for k.
4
Let k be ((-6)/2)/(6/8). Let o be 3 - (k + 8)/(-4). Solve g = o*v - 0 + 8, 0 = 2*v - 5*g + 22 for v.
-1
Let f(k) = 8*k**3 - k + 2. Let g be f(1). Suppose 0 = -4*d + d + g. Solve 0 = -3*z - 2*t - 1, -z + 0 = -d*t + 4 for z.
-1
Suppose 64*l - 52*l = 108. Solve -t - 3*c = -0*c + l, 3*c = 2*t - 18 for t.
3
Let x(d) = 6*d - 1. Let y be x(1). Suppose -y*m + 17 = -8. Suppose -5*c = -r + 17, -m*r + 2*c - 5 = 7*c. Solve s - g + r*g = 3, 4*s + 6 = 5*g for s.
1
Let w be 7 + -4 - (2 + -1). Suppose -4 = -w*m - 0. Solve 5*a + 9 = -2*y, -4*y - 9 = -5*y + m*a for y.
3
Suppose 3632 - 3642 = -5*f. Let y = 0 - -3. Suppose 4*t - 5*c + 20 = 5*t, -4*t + y*c + 11 = 0. Solve 0 = v - 4, -14 = -t*g - f*v + 4 for g.
2
Suppose 2*j = -3*q + 22, 3*q + 4*j - 28 = q. Suppose p + 3*k - 3 = 7*k, 0 = 3*p - q*k - 49. Solve -b - b + p = -5*d, 2*d = -5*b - 15 for b.
-1
Suppose 19*b - 51 = -13. Solve -b*d - 2*w + 2 = 0, 0 = 4*d + w - 0*w - 4 for d.
1
Let b = -35 + 24. Let s = 2 + b. Let r = 14 + s. Solve -2*j - 6 = -3*h - h, -4*j + r*h - 6 = 0 for j.
1
Let d = -215 - -220. Solve 0*t = 5*w + 2*t + 33, -4*w + d*t = 0 for w.
-5
Let d(z) = -z**3 + 2*z**2 + 2*z - 3. Let p be d(2). Let f be -1*(-1 + 1/p). Solve f = -4*y - 3*j - 11, y - 3*j - 2*j + 20 = 0 for y.
-5
Let b be (-1188)/24*(-16)/(-6). Let j = b - -139. Solve 2*t - 5*a + j = -7, -5*t + 4*a = 18 for t.
-2
Let x(w) = 23*w + 92. Let g be x(-4). Solve 4*r - 20 = 0, g*d - 3*d + 26 = 4*r for d.
2
Let c be 6*3/63 + 544/56. Solve -2*q - 25 = -3*k, 4*k - 2*q - c = 20 for k.
5
Suppose 40 = 3*r + 2*r + 5*f, 0 = 4*f - 20. Solve 4*u + 2*p = r*p - 15, 0 = p + 5 for u.
-5
Let t(p) = 17*p + 14. Let n be t(-2). Let u = 23 + n. Solve -28 = c - 5*h, 0 = 5*c - 3*c + u*h - 9 for c.
-3
Suppose 8*g + 41 = 65. Solve 2*u - 17 = g*n, -5*u + u - n + 13 = 0 for u.
4
Let f(w) = 3*w**2 - 71*w - 71. Let m be f(-1). Solve -2 = -m*n + 2*t, 0 = -4*n - n - 5*t - 5 for n.
0
Suppose -o - 20 = -4*x, 3*x - 129*o + 134*o - 15 = 0. Let c be 1*4 - 2 - -2. Solve 5*z = 4*p + 6, -x*z - c*p = -z + 24 for z.
-2
Suppose 0*m - 35 = -7*m. Suppose m*v = 7*v - 6. Solve 8 = u - w, -4*u = -7*u - v*w for u.
4
Let y be (1 - -1)*(7 - (-16)/(-4)). Suppose -12*v + 24 = -y*v. Solve -w - 3*u = 2*w - 15, 5*w - 24 = -v*u for w.
4
Suppose -2*j + 2*o = -42, 0*o = j - 3*o - 31. Suppose 2*u = -0*u - 3*f + 10, -4*u = 4*f - j. Solve i + u*l - 13 = -4*i, 4*l = i + 15 for i.
1
Let l = -383 - -388. Solve l*a - 11 = m, -m - 3 = -7 for a.
3
Let o = -25 + 33. Let q be (2/2)/((-7)/(-238)). Suppose 2*i - 18 = -2*r, 4*r - q = -5*i + 7. Solve -5*d - i = -f, -o*f + 3*f = -d - 25 for d.
0
Let j be ((-9)/(-12))/((-6)/(-384)). Let u be (3/(-2))/((-18)/j). Solve 3*d + 8 = -2*b, -5*d + u*b = 10 + 18 for d.
-4
Suppose -17 - 19 = -6*o. Solve q = 5, -33 = 2*x + q - o*q for x.
-4
Let m = 1774 + -1754. Solve v - 3*v = -5*q - m, 0 = 4*v + q + 4 for v.
0
Let l be (-7 - 15/(-3))*(-3)/2. Solve -3*p = l*d - 15, -p = 3*d - 8*d + 19 for p.
1
Suppose 3*a - 3*g = 6, 9*g - 2 = 7*g. Suppose 0*m - 6 = -3*m. Solve -3*r + o = -m*o + a, 2*o = 8 for r.
3
Suppose -8*s = -37 - 83. Suppose 5*w + 0*w = s. Solve -5*d - p = -7, w*d + p - 5 = -d for d.
2
Let u(v) be the second derivative of v**4/12 - v**3/6 + v**2/2 - 2*v. Let c = 45 + -43. Let i be u(c). Solve i*t - 5 = -5*p - 25, -2*t + 3*p - 7 = 0 for t.
-5
Let a(c) = -c**3 + 7*c**2 + 8*c + 4. Let m be ((-14)/(-5))/(10/25). Let q be a(m). Suppose -6*z = -z - q. Solve -4*g + 23 + z = 5*i, 0 = 3*i + g - 14 for i.
3
Suppose -11*d + 10*d = -5*d. Solve 5*v + 4 = -2*w + 3*v, d = 4*w - 4*v for w.
-1
Let h(y) = -y**2 + 15*y - 10. Let a be h(14). Let g(p) = -p**2 + 15*p - 48. Let w be g(7). Solve 3*m = -a*x - w, -4*m + 4 + 7 = x for x.
-5
Let j(a) = -a**3 - 15*a**2 - a - 15. Let y be j(-15). Suppose -8*l + 44 + 52 = y. Solve g + 5*s = 2*s + l, 4*s = g + 23 for g.
-3
Let h(n) = -13*n + 277. Let d be h(21). Let u = 7 + -3. Solve -5*s = -w - 20, -u*w + 0*s = s - d for w.
0
Let x(z) = 50 - 7*z + 13 - 18. Let d be x(6). Solve -j + 10 = -d*j + 4*l, 3*j = -5*l - 4 for j.
-3
Let m(g) = -g**2 - 6*g - 6. Let w be 32/(-5) + (-6)/(-15). Let k be m(w). Let o be (-3)/k*0/(-8). Solve -c - 3*j = 7, -3*c - j - j - 14 = o for c.
-4
Let o = 45 + -43. Suppose -t + f + 6 = 0, -4*t - 2 = 3*f + o. Solve 5*m = -t*g + 35, -2*m = -3*m - 2*g + 15 for m.
5
Suppose -9*g + 10*g - 17 = -4*t, -g - 1 = -2*t. Solve 0 = c + t*c + 3*v + 4, -4 = -4*c - 5*v for c.
-4
Suppose 0 = -14*s + 57 - 1. Let d = 18 + -13. Solve -3*z + 3 + 2 = -d*c, -8 = 