or b.
-1
Suppose 5*d - 15 = 0, 3*y = 2*d + 3*d. Suppose -v - 3*f + 2 + 5 = 0, -v + y*f - 1 = 0. Suppose h = -h + v. Solve h*s = -5*w + 3*w - 6, -3*w + 4*s = 2 for w.
-2
Suppose 5*d - 6 = 19. Suppose -8 - 17 = -5*x, x + d = 5*c. Let r(h) = 3*h**3 - 22*h**2 + 8*h - 7. Let a be r(7). Solve u - c*y = -12 + 3, a = 5*u - y + 9 for u.
-1
Let p(w) = -15*w + 7. Let c be p(-2). Solve 2 = -z - 3*x, -5*x - c + 7 = -5*z for z.
4
Let m be (3 - 45/(-2 - 1)) + -5. Solve -m = 2*n + n - 2*z, 0 = 5*n - z + 24 for n.
-5
Let c be 1/(4/14)*2400/525. Solve -f - 11 = -4*z - 0, 4*f + 4*z - c = 0 for f.
1
Let x be (0/1 - -3) + -31. Let o = x + 32. Solve g + 15 - o = 2*v, -5*g - 31 = -2*v for g.
-5
Let u(a) = 580*a**3 + a**2 - 1. Let j be u(1). Let l be 2*j/88 + 4/(-22). Solve m + l = 5*x, 5*m = -3*x - 1 - 8 for x.
2
Suppose -5*m - 4 = -19. Let u(l) be the third derivative of l**5/15 - l**4/8 - l**3/3 - l**2 + l. Let b be u(-1). Solve b = 4*r - m, 10 = -2*o + 3*r for o.
-2
Let v be 2 + (-15)/5 + 9 + -5. Solve 2*w = -5*n + 9, 5*n + v - 24 = 2*w for n.
3
Let c be (-3 + 4/1)/1. Let r be (-46)/(-4) - (-1)/2. Suppose 2*f - r = -2*f. Solve -4*q - 5*u = -3, 2*q - c = -0*u - f*u for q.
2
Let w(x) = x**3 + 4*x**2 - x + 1. Let g be w(-3). Let d be 94/(-8) - 12/48. Let i = d - -16. Solve -q + i*q - 2*a = -g, a + 21 = -4*q for q.
-5
Let b be -2*(-2)/(-8) - 394/4. Let o be (-1012)/b + 2/(-9). Solve -r + 4*i - 10 = 0, -5*r - i + 2 = o for r.
-2
Let y = -218 - -222. Solve 0 = x + y*x - 3*k - 25, 20 = 4*x - 4*k for x.
5
Suppose 3 = -3*y, -3*v - 4*y = -y - 30. Solve 0 = -4*l - r + v + 8, -l + 9 = -4*r for l.
5
Let r be (-2 + -3 + 4)*5. Let d(b) = b**3 + 6*b**2 + 6*b + 6. Let p be d(r). Suppose -4*o - p + 9 = 0. Solve o*y = 3*u, 0*u - 19 = -2*u - 5*y for u.
2
Let v(m) be the first derivative of m**3/3 - 2*m**2 - 2*m + 1. Let u be v(5). Let w = -249 + 249. Solve -z - u*c - 4 = -2, 4*z - c + 21 = w for z.
-5
Let o(b) = 2*b**2 + 8*b - 6. Let a be o(-6). Let i = a + -2. Suppose -i = -m + 4. Solve 0 = -6*f + f - m, -4*f - 31 = -5*c for c.
3
Suppose 3 = o - d - 0*d, 2*o + 3*d - 6 = 0. Suppose -y - 2*y = 180. Let i be 6/33 + y/(-33). Solve 8*u = 3*u, i*u - 15 = o*r for r.
-5
Let d(k) = -k**2 + 5*k - 3. Suppose -3*g + 0*h + 12 = 3*h, -4*g + h + 11 = 0. Let u be d(g). Suppose 2*j + u = 7. Solve 5*x = -j*s + 10, 0 = -2*x + 4 for s.
0
Let n(j) = -j**2 - 10*j - 6. Let r be n(-7). Let q = 17 - r. Let m(a) = 8*a - 110. Let y be m(14). Solve -y*v + 2 = q*h - 10, -v - 4 = -h for v.
1
Let v = -41 + 62. Suppose -f - r = 3*f + 9, 5*f - 2*r = -v. Let p be 0 + f*6/(-9). Solve 0 = -0*g - p*g - 3*c - 22, 0 = -5*g - 3*c - 37 for g.
-5
Let x(y) = 2*y - 17. Let l be x(26). Let u be -3 - (14/l + 34/(-10)). Solve u = -o - 2*a - 0*a - 5, -8 = o + 3*a for o.
1
Suppose -133*g = -132*g. Let a(w) = -w**2 + 6*w - 2. Let f be a(5). Solve -f*t + 7 + 7 = 5*m, 3*m - t - 14 = g for m.
4
Let f be (-7)/(7/(-1) - -6) + -4. Solve 4*u - 5*o + 47 = 6, -2*u - f = o for u.
-4
Let v be (-24)/(-4 - (7 + -9)). Solve -j = 2*k - 0 - v, 4*k - 14 = 3*j for j.
2
Suppose -4*j - 2*p - 90 = -0*p, 3*j = -p - 66. Let d be (-1)/(-6)*-4*j. Suppose 3*c - d + 4 = -4*h, -h - 3*c = 2. Solve -2*v = -6*v - 3*s - 12, -h*s = 0 for v.
-3
Suppose -5*y + 10*y - 31 = -3*g, 3*g = 2*y + 17. Suppose b - 9 = g. Solve -k + 4*o = -6, b = -5*k - 2*o - o for k.
-2
Let z = -215 - -217. Solve 3*b = z*x - 6*x - 35, b - 4*x - 15 = 0 for b.
-5
Let d = 40 - 40. Suppose -5 = -2*g - 3*p - d, 4*p - 4 = -2*g. Solve -3*w + g*j = -1, -3*w = -4*j + j for w.
-1
Suppose -316 = -7*k - 288. Solve -t - k*f = -0*t - 21, -8 = -4*t + 3*f for t.
5
Suppose 19 = -4*b - 49. Let y = b + 11. Let d be (-4)/y - (-30)/9. Solve 4*m - 21 = 5*v, -4*v + d = -3*m + 21 for m.
-1
Let d be ((-896)/70)/16*10/(-4). Solve -4*u + 10 = -d*x, 4*x = 2*u + u for u.
4
Let w(k) = -k**3 - 14*k**2 - 11*k - 29. Let m be w(-13). Let d = m - -62. Solve 7 = 4*f + 3*j, 3*f + 6*j = 2*j + d for f.
1
Suppose 0 = 2*l - 0*t - 4*t - 12, 5*t + 15 = 3*l. Solve -w + 30 = 5*o - l*w, -w = -o for o.
5
Let y(z) = 2*z**2 + 10*z + 16. Let b be y(-2). Solve -3*w + b + 9 = -5*f, -2*w - 13 = f for w.
-4
Suppose 3*n + 2*n - 4*y = 40, -4*y - 4 = 4*n. Solve -2 = 5*r - 2*f, -r - r + 4 = n*f for r.
0
Suppose 5*a - 20 = -5*g, 5*g - 6*g = 5*a. Let y be ((-2)/g)/(3/(-60)). Let b(m) = m + 1. Let u be b(1). Solve -u*i = -2*w, -2*w = -i - 3*w - y for i.
-4
Let y = 10 - 10. Suppose -2 = -2*g + g, -2*z + 3*g + 2 = y. Suppose -15 = k - z*k. Solve -3*s + 4*i = 12, 3*i - 20 = k*s - 0 for s.
-4
Let d = 651 + -645. Solve v - 18 = 4*l, d*v - 3*l = 4*v + 11 for v.
-2
Suppose -7 = -4*u - 5*n, 2*n = -4*u - 6 + 28. Suppose u + 12 = 4*p. Suppose -2*g = -4*d - 4, -6*d + d + 25 = p*g. Solve 5*r + 14 = 2*v + 44, g*r + v = 11 for r.
4
Let r be 8/(-28) + (-32)/(-14). Let x be 9 + -2*r/4. Let t be (6/x)/((-7)/(-28)). Solve -5*l - t*f + 25 = 0, 3*l + f = -4*f + 15 for l.
5
Let b be 54/162*((13 - 1) + 0). Solve -b*c - 16 = 5*h + 15, 3*h = -5*c - 29 for c.
-4
Suppose 115*x + 12 = 118*x. Suppose 3*w + x*m = 4, 2*m + 0 + 4 = 0. Let b = -1 + 3. Solve -b*t + w*k = -20, k + 8 = 5*t + 5*k for t.
4
Let c be (0 - -1)*(-5 - -7). Let t = -264 + 269. Solve c*y + t*d + 16 = 0, y = 6*y - d + 13 for y.
-3
Suppose m - 6*m - 200 = 0. Let i be (-16)/m + (-26)/(-10). Solve 2*g - o = -5, 0 = -i*o - o + 12 for g.
-1
Let w(s) = 130 - 130 - 2*s - s**2 + 5*s**3 + 3*s. Let r be w(1). Suppose 6*v - r*v = 5. Solve -v*t = 3*d + 25, -6*t = -t + 25 for d.
0
Let s(c) = -2*c**2 - 42*c + 5. Let n be s(-21). Suppose 0*v - n*v + 5*m = -5, 0 = -3*m + 12. Solve -23 = -2*w - 5*q, 2*w = 3*w - v*q + 26 for w.
-1
Let u be (-2)/((-7)/5 - -1). Suppose 2*s + 4*y + 20 = s, 5*s - y = u. Solve i = 2*c - s*i - 2, -c = 5*i + 21 for c.
-1
Suppose -2*b + b = -4. Suppose 4*x + 60 = -0*i - b*i, -4*x + i - 45 = 0. Let k = 16 + x. Solve -5*s - c - 25 = 0, 4*c + 11 + k = -3*s for s.
-5
Let b be (6/18)/((-1)/(-63)). Let q be b/6 + 2/(12/(-3)). Solve 4*a - 4 = -q*w, 3*w = -0*w + 12 for a.
-2
Suppose -11 = -14*g + 45. Let i be 2/(-3) - 16/3. Let c be 12*(-8)/i*1. Solve 3*f - c = j - 3*j, -13 = -j - g*f for j.
5
Let q = -228 + 233. Solve q*t = -3*h + 6, 0 = -h - 0 + 2 for t.
0
Let u(m) = 6*m - 2. Let d be u(1). Suppose -o = -d*b - 17, 0*o = o + 4*b - 25. Solve 1 = -3*n + 4*l, o = -5*n - l - 2*l for n.
-3
Suppose 0 = 6*f + 8 + 4. Let o be (12/(-5))/(6/(-15)) + f. Solve i - 6*i - 20 = -3*m, -o = i - 3*m for i.
-4
Let u(m) = m**2 - 17*m + 60. Let d be u(12). Suppose -4*x = -11 - 5. Solve 0 = -5*l - 7*f + x*f + 14, d = -5*l + 3*f + 26 for l.
4
Suppose 2*z - 2 - 1 = -n, 3*z - 1 = -n. Suppose n = 2*c + 61. Let p = -8 - c. Solve 0 = -5*w - 3*a - p, -a - 3*a = 2*w + 16 for w.
-2
Suppose 228*u - 8 = 226*u. Solve -d + u*b - 15 = 0, -d = 4*d - 3*b - 10 for d.
5
Suppose 3*o + 1 = 2*p, o - 6*o = 2*p - 25. Solve -h = p*c + 16 - 43, 5*c - 15 = 5*h for c.
5
Suppose -38*f = -35*f - 9. Solve 7 = -2*s - f*v - 9, 3*s + 23 = -4*v for s.
-5
Suppose -4*u - 20 = -17*x + 12*x, 0 = -4*u. Solve -4*v - 5*z + 2 = -4*z, -x*z = 4*v + 4 for v.
1
Let u = -25 + 26. Let c be 1*((-16)/(-4) - u). Solve 2*v = x + 12, 3*x - c*v = -2*x - 32 for x.
-4
Let x be 69/12 - 1/(-4). Suppose -x - 14 = -4*b. Suppose 3*u = -2*a - 0*a - 9, u = -2*a + 1. Solve a*j = o - 3, 0 = -b*j + 3*o - 10 + 1 for j.
0
Let k = -25 - -30. Suppose 3*s = k*s. Let t be 14 - s - (-8 - -6). Solve 8 = -4*d - 0*y - 2*y, 4*d + 4*y = -t for d.
0
Suppose -18 = -l + k - 22, 0 = -5*l - 4*k + 25. Solve -b + 2*b = -l, a - 2*b = 1 for a.
-1
Suppose -f - 48 = -4*i - 3*f, 5*f = 20. Solve 0 = 5*r, -5*h - 4*r = -0*h - i for h.
2
Let r(c) = 8*c**2 + 1 + 11 - 6 + 57*c + 3. Let g be r(-7). Solve 3*u + 3*q + 2 = -1, -16 = g*u - 5*q for u.
-3
Let y = -131 - -251. Let l be 256/y + (-4)/30. Solve 3*w - 5*d = 0, 3*w + 13 = -l*d + 34 for w.
5
Let s be 3*(-4)/6*-2. Let m = -15 + 23. Suppose 12*g - 13*g + m = 0. Solve -8 = -5*b - 3*l - 6, -4*l = s*b - g for b.
-2
Suppose 2*i + 5 = -q + 25, 6 = -3*q. Solve -5*j + 4*t = -2*j + i, -5*j = -t - 10 for j.
3
Suppose -8*x + 68 = 28. Solve 5*k = -x*c, 4*c - 8*c = -k + 15 for c.
-3
Let t be 26/65*5/2. Suppose 4*b = 3*b + 3. Solve 3*u = -3*p - b - 0, -5*p = 4*u + t for u.
-4
Let h be (-1)/(-3 + 14/7). Solve -s = -t - 4*t - 4, 2*s - 3*t - h = 0 for s.
-1
Suppose 32*f - 47 = 17. Solv