 for b.
5
Let y be 3 - (0 + 3 - -13). Let t = 19 + y. Let d be (-21)/2*(-4)/t. Solve 3*c + 1 = -a - 7, 3*c - 2*a = d for c.
-1
Let t be (6 - 5)*(-8)/(-2). Suppose 6 + 9 = -b. Let j be (-10)/315*-9*(-1 - b). Solve j*x - 16 = -t*n - 0*x, 3*x - 14 = -n for n.
-1
Suppose 0 = -c - 2*c - 90. Let u = -27 - c. Solve -d + 5*o = 13, 5*o - 7 = d + u*d for d.
2
Let r(f) = -f**2 + f + 7. Let g be r(3). Suppose -1 = 2*t + 4*a + g, -3*t = 5*a. Solve -5*s = -4*h - 40, -h + 4*h + 35 = t*s for s.
4
Suppose 3*m - 6 = -0. Let c be m/((-4)/(-8 + 0)). Suppose -c*o + 40 = o. Solve 20 = 2*q - 0*w - 5*w, 0 = -5*q + 2*w + o for q.
0
Let v(n) = 18*n + 4. Let p be v(0). Solve 0 = -p*k - 3*g - 7, 2*k = 5*g + 12 + 17 for k.
2
Suppose 25 = 3*t + 19. Solve -5*q - 29 = x, -t*q - 28 = 2*q + 2*x for q.
-5
Let r = 10 - 6. Let i(h) = h**3 - 10*h**2 + 13*h - 31. Let p be i(9). Suppose -p*j + 5 = 0, 4*n + 3 - 16 = -5*j. Solve q = -a + r*a - 14, -4*q = -n*a + 6 for a.
5
Suppose i + 11 = 13. Let f be -2 + 6/2*i. Solve f*c - 4*j = 12, 4*c - 17 = 5*j - 1 for c.
-1
Let h = 90 - 90. Suppose 11 = l - h*l. Suppose -5*t + 5 = -0. Solve 4*f + 3*r = -12, f - 3*r - l = t for f.
0
Let t(u) = -u - 3. Let j(l) = -l - 3. Let i(r) = 4*j(r) - 5*t(r). Let o be i(0). Solve 0 = -2*g - w - 15 + o, -5*g = 4*w + 33 for g.
-5
Let k(b) be the first derivative of -3*b**2 + 64*b + 56. Let y be k(7). Solve -4*i = 2*v - 0*v - y, 5*i - 35 = -5*v for v.
3
Let p = -991 - -993. Solve -p*u + m = 5*m + 16, -4*u - 5*m - 23 = 0 for u.
-2
Let u(d) = 2*d + 24. Let w be u(-10). Let b(f) = 3*f**3 + 8*f**2 - 6*f - 6. Let m be b(-3). Solve -6 - 9 = 2*v + m*c, -2*c - 10 = w*v for v.
0
Let j(t) = t**3 + 5*t**2 - 3*t - 10. Let r be j(-5). Solve r*l - 3*x = 24, -2*l - 2 = -2*x - 14 for l.
3
Let f = -22 + 24. Solve 5*k = y, y = 2*k - f + 5 for k.
1
Let n be 0*((-6)/(-12))/((-1)/2). Suppose 3*b + 3*v - 57 + 12 = n, 4*b = v + 35. Solve -5*w = c + 2*c + 10, b = -2*c for w.
1
Suppose 9 - 105 = 5*i + 2*k, 4*i + 66 = 2*k. Let x = i - -18. Let m be (-16)/6*(x + -6). Solve 2*j + 3*o = -m, 0 = 4*j - 4*o + 20 - 8 for j.
-5
Suppose 0 = -5*w + 2*o - 7 + 32, 0 = w + 3*o - 5. Solve -w*l + 4*p + 16 = 0, -8 + 4 = 5*l + p for l.
0
Suppose 0 = -6*w + 7*w + 5, 3*g = w + 14. Suppose -4*t + 16 = -0. Solve 0 = -3*l - 4*b - 4, -4*l + 1 = g*b + t for l.
0
Let y(g) = -8*g**2 - 16*g + 3. Let a be y(-2). Solve c = 3*r + 11, 4*c = -4*r + a*c - 24 for r.
-5
Let c = -163 + 254. Let g = c - 86. Solve -2*p - h - 15 = 0, 4*p + h - 6*h - g = 0 for p.
-5
Let d(y) = 11*y**2 - 26 + 34 + 4*y - 4*y - y**3. Let g be d(11). Solve 2*m + 6*k - 2*k - g = 0, 5*k = -4*m + 4 for m.
-4
Suppose -3*j + 12 = j. Suppose k + y - 5*y - j = 0, 3*k = -3*y + 9. Suppose 4*a - 13 = 7. Solve -a*d - m - 12 = 12, -m = -k*d - 16 for d.
-5
Let c be (-5)/(20/(-12)) + -7 + 25. Solve -2*u = -2*t + 12, 0*u - 3*t + c = -4*u for u.
-3
Suppose 7*v + 18*v - 100 = 0. Solve 0 = 3*h + 5*w + 10, 0*h + v*h = w + 2 for h.
0
Let a = 874 - 869. Let r = -4 - -7. Solve -2*m - u + 2 = 0, -r - a = 3*m - 4*u for m.
0
Suppose q + y - 1 = -0*q, 0 = -q - 2*y - 2. Let b be (20 - -3 - 4) + q. Solve -4*m + 2*i = -12, 4*m = -4*i + b + 1 for m.
4
Let h = 2 - 0. Let b be (-2)/6 - 20/(-24) - 901/(-106). Solve 3*f - 4*k - 10 = 0, h + b = 4*f - 3*k for f.
2
Let l(r) = r**3 - 25*r**2 + 25*r - 17. Let o be l(24). Let x be ((-30)/o)/2*-7. Solve 3*u - 3*a = x, -2*a - 13 = 2*u - 5*u for u.
3
Let v be -3*(1 + -1 + 2). Let x = v - -11. Let q(b) = b**3 - 8*b**2 + 7*b + 3. Let u be q(7). Solve x*r = -3*z - 9, 2*r + 1 = -u*z - 8 for r.
0
Let z(y) = 4*y**2 - 9*y + 16. Let x be z(3). Solve -x = 5*j + h, j + 13 = -j - h for j.
-4
Let g = 131 + -127. Let i = -2 + 9. Suppose 0 = -i*n + 2*n + 10. Solve -g*r - j = -8, 0 = -n*r + j - 6*j + 4 for r.
2
Suppose 10*y = 26 - 6. Solve -2*h = y*h, -5*b + 2*h = 0 for b.
0
Let m(f) = -7*f + 11. Let b be m(-1). Suppose -10 = 2*t, 0*v - 3*t = -3*v + b. Solve 2*x = 0, -3*r - 5*x + 11 + v = 0 for r.
4
Suppose 2*p = 3*h - 12, -2*h - 8 = 4*p - 0*h. Let y be -4 + 1 + 3 + p. Let u(n) = -n**3 - 2*n**2 - 2. Let w be u(y). Solve 2*i + 4 = 0, 5*f - i - w = 10 for f.
3
Suppose -225 = -213*t + 204*t. Solve -2*m - 4*y = -18, -2*m + 4*y = 3*m + t for m.
-1
Let z(x) be the third derivative of x**5/12 - 6*x**2. Let s(t) = t - 5. Let g be s(4). Let h be z(g). Solve 4*n = -m + 2, 0 = -h*m + 5*n + 4 + 6 for m.
2
Let x(u) = -10*u**3 + 0*u**3 - 3*u**2 + 8 + 0*u**2 - 2*u + 11*u**3. Let j be x(3). Solve -3*h = 4*g - 8 + 27, -4*g - j*h - 18 = 0 for g.
-4
Suppose -b + 20 = 3*b. Let j(i) = -i - 6. Let q be j(-8). Suppose -b*r - q*x = 2*x, 4*x = -r - 16. Solve -k + 2*n - 5 = 0, -5*k - r*n + 14 = -n for k.
1
Let h = 56 + -52. Solve -h*c - 28 = 5*y, -5*c + 9*c - 2*y = 0 for c.
-2
Suppose -36*r = -77*r + 205. Solve 28 = -r*f - 4*w + 3, w = -5 for f.
-1
Suppose 43*a - 37*a - 42 = 0. Suppose -5*i = -3 - a. Solve c + i*n = 5*c, 0 = 5*c + 2*n - 18 for c.
2
Suppose -h = -5*o - 4*h + 27, -3*h - 21 = -3*o. Solve -5*l = 4*v + 9, 6 = -4*l - 2*v - o for l.
-5
Let w(u) = u**3 + 6*u**2 - 2*u - 7. Let f be w(-6). Let x be 24*(-5 + 0 + 68/12). Solve -z - 1 = 2*t, f*z - x = -41 for t.
2
Suppose -3*w - 4*k + 3 = 0, k + 4 = 2*w + 2. Solve -4 = 4*o, 0*o - o - w = 5*x for x.
0
Let j(s) = s**3 + 8*s**2 - 2*s - 10. Let k be j(-8). Suppose 0*w + 16 = -4*w - 5*i, 0 = -i. Let q = k + w. Solve 0*z - 2*z + 2*p = q, -z = 3*p - 15 for z.
3
Let c(m) = m**2 - m - 1. Let i be c(2). Let p = i + 1. Let y be 1 - 4 - -3*5/3. Solve 2*h = -d - p, -4*d - 6 - 8 = y*h for h.
1
Suppose 0 = 820*x - 827*x. Solve 2*w + x*w - 10 = -3*k, 0 = 4*w + k - 20 for w.
5
Let o(u) = 3*u - 1. Let g be o(-7). Let i be (33/g)/(6/(-140)). Solve 0 = -3*f + 10 - 1, 4*k - i = -5*f for k.
5
Let l be (-12)/(-9)*(-18)/(-4). Suppose -31*t = -34*t + l. Solve -t*j - 8 = 4*w, -5*w = -3*w for j.
-4
Let i(h) = 3*h**3 + 2*h**2 - 3*h + 2. Suppose 6*d + 5 = 11. Let z be i(d). Solve -a - a + 10 = 2*u, 2 = z*u - 2*a for u.
2
Suppose -36 = -31*s + 33*s. Let w = -15 - s. Solve w*k = m - 3*m - 2, k = m - 4 for m.
2
Let x = -15 + 21. Let b be 5 - 0/(3/1). Let d be (-4 + b)/(1/5). Solve h + 1 = 2*g, 0 = -d*g + h + 4 + x for g.
3
Suppose 5*s - 2*r = 89, 2*r + 47 = 3*s + 4*r. Let w = s - 14. Solve 3*x = -w, x = -2*b + 3*x + 2 for b.
0
Let b be (-3)/5 + 320/(-50). Let n be b/(-1)*(2 + -1). Solve -4*g = -3*k - n, -4*k + 5 = -2*g + 1 for g.
4
Let s be (-26 + 5)/(-2 - -1). Solve 3*p + f - s = -2*f, 0 = p + 3*f - 15 for p.
3
Suppose -26 = -2*t + 26*s - 22*s, -5*s = -2*t + 29. Solve 3*m = 3*n - 15, 4*m + 8*n - t*n + 15 = 0 for m.
-4
Let x(f) = f**2 - 28*f + 5. Let h be x(28). Suppose -h*p = -0*p - 25. Solve 5 = i - 4*l, 3*i + 0*i - p = 2*l for i.
1
Suppose 3*l - 351 = -345. Solve 9 = r + 5*s, -s = 5*r + l - 23 for r.
4
Let c = 108 - 107. Solve 4*q + c = 5, 3*g - 4*q = -10 for g.
-2
Let u be -2*(-2 + 1) + -377. Let i be 4/18 + u/(-135). Solve -21 = -i*z - 3*l, -5*z + 2*z = -3*l + 9 for z.
2
Let q be ((-9)/(-6))/((-2)/(-4)). Suppose q*x - x = 58. Let f = x + -26. Solve 3*d = f*n + 12, n - 3 - 2 = -2*d for n.
-1
Let j(u) = 4*u - 26. Suppose d = -1 + 8. Let o be j(d). Solve -3*b + 3*q = b + 15, -o*q + 2 = 0 for b.
-3
Let y be (-30)/180*-6*4. Solve 8*t - y*q + 30 = 6*t, -3*t = 5*q - 10 for t.
-5
Let h be -3*4/12 + 1. Suppose -2*s + 6 + h = 0. Solve 2*c - 13 = -5*k, 0 = -4*k - s*c + 4*c for k.
1
Let o(x) = x**2 + 8*x + 3. Let w be o(-8). Suppose -2*r + 3*c = 5 - 16, 0 = c - w. Solve 4*s + r = 3*j + 2*j, -4*s - 3*j + 6 = 0 for s.
0
Let g be (-2)/(-8) + -246*7/(-56). Suppose -7*l = -2*l + 90. Let a = l + g. Solve 2*w = -2, -j = -3*j - 5*w - a for j.
-4
Let l be (-352)/(-10) + (-24)/(-30). Suppose 0 = -4*x - 24 + l. Solve -4*k + 2*y - x = 21, 5*k + 23 = -y for k.
-5
Let f = 77 - 69. Solve -s + 4*k = 20, k = -3*s - 4*k + f for s.
-4
Let u(f) = 2*f - 29. Let b be u(18). Solve 0 = 3*v + 3*m + 9, b*v - 3*v + 3*m + 14 = 0 for v.
-5
Suppose -3*z - r = -55, z + r - 38 = -z. Let n(t) = -t**2 - 10*t - 12. Let p be 39/13*16/(-6). Let i be n(p). Solve z = -a - 4*d + 1, -i*a - d = 19 for a.
-4
Let y be -3 + 7 - (-8 - -1). Suppose s = 5*q + 13, 3*s - y = -0*s + q. Suppose -w + 2*w - 5*p = 26, -9 = 3*p. Solve d - s = l, -1 - w = 2*l + d for l.
-5
Let w = 131 + -116. Suppose 14*t + w = 19*t. Suppose 20 = 3*d - z, 4*z = 5*d + z - 40. Solve