7 = -x + 3*b for x.
2
Let w(s) = -185*s**2 - 4*s - 4. Let v be w(-1). Let j = -183 - v. Solve -f - f = 4*m + 14, -m - j*f - 2 = 0 for m.
-4
Let n = -64 + 66. Let u(b) = 4*b**2 + 4 - 3*b + b**2 - 8*b**2 + 2*b**2. Let a be u(-4). Solve 0 = -4*s - v + n + 5, -2*v + 6 = a for s.
1
Let o = 8 - 20. Let q(v) be the third derivative of -v**5/60 - 7*v**4/12 - 4*v**3 + 1472*v**2. Let p be q(o). Solve 3 = h - g, p = -0*h - h + 3*g + 9 for h.
0
Let u be 32/16 - -3*1. Let n(g) = g**3 - 25*g**2 + 83*g + 21. Let y be n(21). Solve -2*h = y, -2*m + u*h = 3*m - 15 for m.
3
Let j(c) = c - 19 + c**2 - 6 - 5*c + 2*c. Let x be j(-5). Solve -5*n - 5*q + x = 0, 4*n - 2*q + 9 = -13 for n.
-3
Let p(w) = -w**3 - w**2 + 33*w + 7. Let d(m) = -m**2 - 7*m - 5. Let a be d(-5). Let f be p(a). Solve -t - 18 = 4*o, -3*t - 2*o - f = 2*o for t.
-2
Let s be ((-15)/(-2) - 5)/((-1)/(-2)). Suppose 4*k + 405 = -s*b, 5*b - k = -0*k - 430. Let u = -85 - b. Solve -c = -3*j - 2*c + 10, 2*j + 4*c = u for j.
4
Suppose -6*v - 51 + 63 = 0. Solve -5*m = -v*m + t + 1, 3*m = t - 5 for m.
-1
Let u(l) be the second derivative of l**5/20 - 19*l**4/12 - 10*l**3/3 + 4*l**2 + 4*l + 1. Let f be u(20). Solve -18 = -2*g + 4*d - f, 5 = g + 4*d for g.
5
Suppose -3*m + 3*w = -63, -4*m + 3*w + 105 = 6*w. Suppose -13*d + 12*d + m = 0. Solve -3*h + o - 13 = 5, -3*h + 3*o = d for h.
-5
Let c be (-19 + 16)/((-6)/16). Let g(a) = a**3 + 11*a**2 + a + 15. Let s be g(-11). Solve 0 = s*o + 4*n - 5*n - c, -5*o = 5*n - 10 for o.
2
Suppose -3*r - 12*i + 16*i = -23, 2*r = -5*i. Suppose c - 3 = r. Solve -c = 4*d, 0 = 4*g + 3*d - 7*d - 20 for g.
3
Let t(m) = 23 - 43 + 25 - 10*m. Let o be t(1). Let r(p) = p + 9. Let f be r(o). Solve -11 = f*c - 3*x, c - 3*c = x + 3 for c.
-2
Let d = -15034 + 15040. Solve -2*i - d*n - 27 = -7*i, i = -2*n - 1 for i.
3
Let q = 4393 - 4381. Solve -x - 8 = -3*b, -3*x + 16*b - q = 13*b for x.
-2
Suppose o - 20 = -4*s, -3*s - 5*o + 4 = -7*o. Suppose 3*h + 4*i + 32 = 81, s*i = 2*h - 26. Solve q + 5*w = 3, w + w + h = 5*q for q.
3
Let g(s) = -s**2 + 12*s + 52. Let r be g(15). Let p be 2 + r + -5 + 1 + 0. Solve -p*m - 2 = 5*d + 3, -5*m = d + 1 for m.
0
Let y be 8/(-6) + 12/(-18) - -12. Suppose 9*i + 5 = y*i. Suppose -i*c - 4 = -x - 0*x, -4*x = 2*c - 16. Solve -x = -2*p - o, -6 = -2*p + 2*o - 2 for p.
2
Let s(j) = -53*j - 1824. Let w be s(-35). Solve -3*u - w = 2*b - 16, -2*b - 21 = 5*u for u.
-3
Suppose 0 = -b + v + 10, 72*v - 14 = -b + 77*v. Solve b*y - 14*y + 38 = 3*x, 3*y - 3*x = 18 for y.
7
Let n be 4/7*((-1470)/(-20))/21. Solve -s = -n*v + 12, -4*v - 5*s = 61 - 57 for v.
4
Suppose -3*a = 2 - 11. Let m be 48/(-6) + (-3 - -8). Let t = a + m. Solve -u - 4*i = t, -u - 2*i = -2*u for u.
0
Let m = 546 - 496. Suppose 5*j = -5*j + m. Solve r - 2*x - 16 = 2*x, j*x = -15 for r.
4
Let n be (52/8)/13 - ((-33)/6 + -5). Solve -5*c = 3*o - 35, o + 21*c = 25*c - n for o.
5
Suppose k + 0*k = 3. Let v be (-1 + (4 - 21))*4/(-18). Suppose -30 = -v*m - 18. Solve 1 = -5*s - 3*h + 3, m*h - 6 = -k*s for s.
-2
Let x(o) = 266*o - 3424. Let i be x(13). Solve -4*w - 29 = 29*p - i*p, 0 = -4*p + 20 for w.
-1
Suppose -16 = -4*f, -5*z + 364 = -5*f + 6*f. Let m be z/9 - -2 - (6 + -2). Solve 3*x - 10 = 4*b + 1, 2*b + m = 2*x for x.
1
Let f be -4*-1*(-5)/4. Let y be ((-3)/(-3))/((-1)/f). Suppose -18*o - 16*o + 39*o = -63*o. Solve -2*r = -o*u - 2*u + 10, -3*r - 25 = -y*u for r.
0
Let x be ((-6)/72 - 3/(-4))*18. Suppose 17 = u + x. Solve -5*d - 11 = 5*c + 24, -c + u*d + 5 = 0 for c.
-5
Let n = -88 - -40. Let a be (-1)/(2/n)*(-28)/(-12). Suppose 58*k = a*k + 8. Solve -k*h - 4*u = -16, 0*h + 2*h = -5*u + 17 for h.
1
Let a be 665/266*(3 + -1). Solve 5*n - 6*n = 3*u + 2, 0 = a*u + 5 for n.
1
Let b be (0/(-17 + 12))/9. Solve -3*x = -4*h + 14 - 19, -2*h - 3*x - 7 = b for h.
-2
Let r = -23197 - -23208. Solve 4*w + 2 = -5*o, -19 = -r*o + 9*o + 5*w for o.
2
Let b = 1352 - 1330. Solve -5*m - 5*p = -b + 12, 0 = -5*p - 15 for m.
5
Let z(x) = -10*x + 29. Let d(n) = 11*n - 31. Let c(v) = 3*d(v) + 4*z(v). Let q be c(3). Solve 0 = -l - 3*j - 10, -5*l + q*j + 40 = -j for l.
5
Suppose 3*q = -3*r - 9, -351*r + 346*r = -4*q + 42. Solve 3*n = -q*p - 6, -21*p = 4*n - 16*p + 4 for n.
-6
Suppose 5*h - 10*h - d + 605 = 0, -145 = -h - 5*d. Suppose 123*x - h*x = 12. Solve -x*g = g - 5*i, 0 = -5*g - 5*i - 30 for g.
-3
Let y(h) be the third derivative of h**5/20 - 8*h**2. Let o be y(-1). Suppose 4*p - 3*m = 14, p = m - 0*m + 4. Solve 0 = -b + 4*c - 1, -o*c - p = 2*b for b.
-1
Suppose 0 = 47*t - 161 - 121. Let i(d) = -d + 11. Suppose 3*s + 2*b = -0*b + 25, 3*b - 32 = -4*s. Let h be i(s). Solve -t*y + y = u, y = h for u.
0
Suppose 0 = -0*x + x + 19. Let q = x - -23. Suppose -10 = 2*b + 37*m - 35*m, 25 = 3*b - 5*m. Solve b = -2*l - 2*o, 2*l - q*o + 0*o = 30 for l.
5
Let k(h) = 2*h**2 + 15*h - 14. Let v be k(-7). Let m be (v - -25)*(0 + 1). Solve -24 = r + 8*l - 3*l, m*l = r - 12 for r.
-4
Let y = 4564 - 4562. Solve -y*b = 5*f - 31, 4*b + 25 = 2*f + 27 for f.
5
Let s(x) = x**3 + 9*x**2 - 13*x - 12. Let b be s(-8). Let p be 336/b + 3/(78/(-4)). Suppose -w + p*w = 5*w. Solve 3*t + w = -4*h + 3, 5*t = -2*h + 19 for h.
-3
Suppose -57*v + 49*v = -32. Let q = -1 + 9. Solve v*u - 4 = -4*o + q, 2*o = -u + 7 for o.
4
Let i be (-2)/(8/(-30))*(-46 - (-6174)/105). Solve i*o + 2*p = 98*o + 14, 3*o - 4*p + 26 = 0 for o.
-2
Let s be 10/(-25) + (-14)/(-10). Let w be (1 - s)*11/(-55). Solve 5*z + 9 = 4*d, 2*z = 2*d - w*z - 4 for d.
1
Suppose 0 = 167*o - 825 + 157. Solve 26 = -2*c - o*u, -7 - 21 = -2*c + 5*u for c.
-1
Suppose -3*t + k + 9 = -2*k, 2*t - k - 5 = 0. Suppose q - 1 = t. Solve 5*c = -3*u + 5 + 8, 0 = -q*u + 4*c - 32 for u.
-4
Suppose -3*h - 65*h + 171 = 103*h. Solve 3*q = -3*u - 6, 4*q - 2*q = 3*u + h for u.
-1
Suppose 13*x = 898 - 833. Solve 27 = -4*s + 31*r - 36*r, 2*s - x*r - 9 = 0 for s.
-3
Suppose 0 = 6*p + 2 - 14. Suppose g - 4*t + 4 = 0, p*g + 3*g - 3*t = 14. Let v = -7 + 10. Solve 0 = -v*n, -5*n - 6 = g*z + 2 for z.
-2
Let k be 27/2079*7 - 43/(-11). Solve 0 = 2*x - 4*u + 12, 9*x - 8*x - 24 = -k*u for x.
4
Let z(u) = u**2 + 2*u - 3. Let n be z(1). Let r(g) = g**2 + g + 43. Let m be r(n). Let a = -40 + m. Solve -5*i + 0 - 21 = -4*w, 0 = 2*w - a*i - 11 for w.
4
Let d be 1/(-11) - (-4)/44. Suppose d = 4*l + 4*c - 44, -4*l + 2*l - 6 = -5*c. Solve -4*h + 5*g - l = 0, -g - 11 + 4 = -5*h for h.
2
Suppose 212*w - 2*x + 10 = 213*w, -13 = -w + x. Solve -2*q = r + w - 5, -3*q = -5*r + 4 for r.
-1
Let t be -3*(3 + 20/(-12)). Let b(l) = -3*l**2 - l + 14. Let u be b(t). Let o = 30 + u. Solve 2*a - 16 = -4*k, -6*a + a + 3*k + 1 = o for a.
2
Let m(g) = -g**3 - 6*g**2 + 9*g - 2. Let s be m(-8). Let l be 0/9 + -53 + 2. Let c = l + s. Solve c = -u + j, 3*j - 7 = -u + 3*u for u.
-2
Suppose 22*y = 20*y + 12. Suppose -4*q = -4*n + 84, 9*n - 4*q = y*n + 66. Solve -2*k = -4*r + n, -r + 5 = -0 for k.
1
Suppose -4*r - 5*w + 67 = 0, 0 = 2*r + 4*w + w - 21. Let s be 4/10 - (-1316)/235. Let j be (18/(-4))/(s/(-4)). Solve c - r = 5*p, -5*c + 0*p + 27 = -j*p for c.
3
Suppose 0 = -37*l - 10*l + 329. Solve -4*n + l = 3*x, 2*n - 2*x + 21 = 7 for n.
-2
Let j(h) = 35*h + 108. Let d be j(-3). Solve -d*x = 3*a + 10 - 7, -4*x = -a + 14 for x.
-3
Let w(z) = z**2 - 24*z + 56. Let g be w(22). Suppose -4*c + 4*f = -16, -26*c - g = -28*c + f. Solve h - c = 3*l, -h + l + 4*l = -10 for h.
5
Suppose -62*f + 64*f - 8 = 0. Suppose -f*q = -2*c + 91 + 283, 5*q + 5*c + 490 = 0. Let g = 99 + q. Solve g = 2*v - 2*o, -2*o = -7*o - 10 for v.
0
Suppose 0 = c - o - 86 + 462, 0 = 2*c + 3*o + 742. Let w = 377 + c. Solve q = w*i + 8, 2*i + 28 = -2*q - 3*i for q.
-4
Suppose 3*x + 42 = 3*w, 4*w - 3*w = -2*x + 14. Let i(g) = 4*g**2 - 57*g + 18. Let p be i(w). Solve 5*q + z + 20 = 0, 4*q + 2*z = p - 14 for q.
-5
Let o = -2436 - -2436. Solve 60*g - 9 = 57*g + 3*i, 4*g + 5*i + 33 = o for g.
-2
Let s(d) = 798*d - 1589. Let z be s(2). Solve -4*k - z + 5 = o, -3*o = 2*k - 4 for k.
-1
Suppose 0*b = -8*b. Suppose b = -34*m + 37*m. Solve m = 2*y + 4*d - 18, -3*y + d = -8 + 2 for y.
3
Let t = 140 + -132. Let y be (10/32)/((-2)/t)*-4. Solve v + 3*v = -g - 6, -11 = 3*g + y*v for g.
-2
Let k(a) = 595*a - 17250. Let z be k(29). Solve z = f, -44*j + 45*j + 25 = 5*f for j.
0
Let y(u) = -2*u + 2. Let r(a) = a**3 + 2*a**2 + 2*a + 2. Let i 