3*o + w = -2*b, -2*o - b = 2*b - 13 for o.
5
Let r = -16 - -22. Suppose 0 = -9*z + 11*z - r. Suppose z*j + 0*j = 6. Solve c = 4*s + 17, 4*c + 3 = -c - j*s for c.
1
Let c be (-12)/8*(-4)/3. Let l be (-105)/(-12) - 2/(-8). Suppose 0 = -2*z - l + 21. Solve 0*i + z = -c*w - 2*i, -3*w + 2*i + 11 = 0 for w.
1
Let x(f) = 5*f**2 - 20*f + 31. Let a be x(2). Solve 4*s + i = a, 0 = 2*s - 2*i - 21 + 3 for s.
4
Suppose n + 17 = 5*l, -2*l - 4*n + 3 = 5. Solve -6 = l*w, 2*t + 4*w - 2 = 2*w for t.
3
Let w = -295 + 297. Solve 2*o + 5 = w*x - 3, -4*x - 3*o = -9 for x.
3
Let a be 14/(-21)*15/(-2). Suppose 4*b - 72 = 2*b. Let c be ((-1)/(-3))/(6/b). Solve a*u = 3*q - 3, -1 = c*q + 4*u - 3 for q.
1
Let x = -35 - -61. Suppose s = x - 24. Solve 2*z + 3*k + 3 = 4*k, -s*z - 2*k - 12 = 0 for z.
-3
Let j = -44 + 48. Let g be 9 - 16/j*1. Solve -4*z + 3*z = 5*x + 7, 5*z + 5 = g*x for x.
-1
Let v(t) = t - 1. Let c(n) = -n. Let a(l) = c(l) - v(l). Let b be a(-3). Solve 2*p - p - b = -3*j, 4*j = 5*p - 16 for j.
1
Suppose -2 = -10*o + 118. Solve -3*z - 10 = 4*w, -o = z - 10 for w.
-1
Suppose -3*r = -5*m - r + 106, -2*m + 2*r + 46 = 0. Solve 0 = 5*n - m, -4*y + 2*n + 0*n = 0 for y.
2
Suppose 0*q + 5*q = 4*w - 13, 1 = w + q. Solve -5 = -3*m + 2*m - w*c, 5*m + c = 16 for m.
3
Suppose -3*h - 2*l + 29 = -6*l, l = 3*h - 14. Suppose h*b - 13*b + 30 = 0. Solve -3*p - 2*a = -7 + b, 0 = 5*p - 2*a + 4 for p.
0
Suppose b + 30 - 35 = 0. Suppose -22 = b*h - 16*h. Solve -h*l = -5*z + 21, 4*l = -2*z - 0*z + 18 for l.
2
Let m be (15*8/5)/3. Solve -m = -4*b - 4*g, -4*b - g = -5*b + 8 for b.
5
Let f(y) = -y**2 + 7*y + 3. Let r be f(7). Suppose 5*t + r - 108 = 0. Let g = -18 + t. Solve 2*a - v + 2 = 0, 3*a - 2*v = g*v - 3 for a.
-1
Let c be (-574)/(-56) + 3/4. Let q be c + (2 + 7)/(-3). Let m be (-2)/(-3) + q/6. Solve 5*j + 26 = d - m*d, -4*j - 19 = -d for j.
-5
Let h = 0 - -6. Let r(x) = x**3 + 7*x**2 - 10*x - 11. Let f be r(-8). Let l be (3/(-12))/(-1 + (-11)/(-12)). Solve p + 2*p = -h, -5*p + f = l*z for z.
5
Let n(x) = -x**2 + 6*x + 8. Let u be n(-3). Let d = -16 - u. Solve -4*c + d*t = 10 + 10, 0 = 3*t for c.
-5
Suppose -4*h + 5*o = -22, h + 2*h + 3*o = 30. Suppose -4*f + h = -5*v, 3*v - 4*f + 8 = -0*v. Solve -g + 4*g = -3, v = -3*r + g - 11 for r.
-4
Let q(s) = 5*s + 7. Let p be q(-3). Let w(f) = f**3 + 9*f**2 + 8*f + 3. Let v be w(p). Let z be 2*7*v/6. Solve x - 17 = -4*r, -x + 2*x = -2*r + z for x.
-3
Suppose 0 = 3*z - z - 8. Suppose -2*o + 5*j = -72, 2*o - 2*j + 192 = 6*o. Let h = o - 41. Solve -z*n + 2*n + 8 = 2*y, 14 = h*n + 2*y for n.
2
Let x(d) = -d - 3. Let j be x(-6). Suppose 0 = j*s - 1 - 2. Suppose 0 = l + s - 4. Solve 1 = l*o + u, -5*o + 15 = -0*o - u for o.
2
Suppose -18 + 6 = -4*n. Suppose -5*q - n*u = -q - 29, -12 = -3*q + u. Solve c = -6*o + o, q = c for o.
-1
Let y = 113 + -1. Suppose 4*u + 3*u = y. Solve 5*b - 15 = 0, 5*s + u = -b + 3*b for s.
-2
Let d be (-9 + 13)/((-3)/((-27)/12)). Solve u = -2*h + d, -u - h = 2*u + 1 for u.
-1
Suppose 1 - 8 = 4*r + j, 0 = -5*r + 2*j - 25. Let h be (r/(-2))/(6/4). Suppose 2*b - 7 = h. Solve 3*i - 1 = -b*w, 2*i + w = -0*w + 4 for i.
3
Let k(r) = -4*r**2 - 4*r - 2. Let l(x) = -x**2 - x - 1. Let c(u) = k(u) - 5*l(u). Let j be c(-2). Solve 0 = j*h + 3*s - 3 - 2, 3 = 3*h - 5*s for h.
1
Let v be 0*(24/(-228) + (-15)/38). Solve v = 4*z - k + 21, -5*k = 5*z - 3*z + 5 for z.
-5
Suppose 7*c = -5*k + 4*c + 25, 0 = -4*c + 20. Solve 31 = 3*t - 4*f, -2*t - k*t = -2*f - 28 for t.
5
Let q be (180/270)/((-2)/(-9)). Solve -3*d = 4*h - 19, -2*h - q = -d - 0*h for d.
5
Let d be (-15 - -11) + 4*1. Let c be 0*(d + 3)/6. Solve -4*w = 3*t, c = -w + t - 0*t for w.
0
Suppose 245 = -5*x + 40*x. Solve -3*h = -a - 8, -2*h + x*h - 16 = a for a.
4
Suppose 0 = -3*b + 5*b - 8. Let n be (b - 3)*(-2)/(-1). Solve 4*q = -6*o + n*o, -5*q = -4*o for q.
0
Let k be 21/24*6*4/3. Let n(x) be the third derivative of -x**5/60 + x**4/3 - x**3/6 - x**2. Let h be n(k). Solve 5*c - 5 = 5*v, h*v = 2*v - 4 for c.
0
Let m(o) = -6*o - 26. Suppose -4*t = -11*t - 42. Let z be m(t). Solve z = -4*u + 2, -u - 8 = -3*p for p.
2
Let s = -3 - 7. Let u = -7 - s. Let v(d) = d**2 + 11*d + 31. Let t be v(-7). Solve z + 7*r + 12 = t*r, z + r + u = 0 for z.
0
Let z = -8 + 6. Let p = 6 + z. Suppose 5*d - 640 = -570. Solve 5*x + d = -2*f + f, 3*f + p*x = -9 for f.
1
Let y = -560 - -568. Solve -c + 5*j = -2, -y*c + 10 = -3*c - 5*j for c.
2
Let d be (0 - (-120)/(-8))/(-1). Solve -d = -5*h, -4*s - 2*h - 7 = -33 for s.
5
Suppose 15*q = 2*q - 13. Let b = 7 - q. Solve 5*o - 3*z + b = 0, 4*z - 3 = -4*o + 3*o for o.
-1
Suppose -1 = -5*z - 16. Let n = z - -7. Solve -3*r - 6 = c - n, -5*c = -5*r - 10 for c.
1
Let q(c) = -c - 20. Let n be q(-22). Suppose 4*o - o - 110 = -5*z, -o - 71 = -4*z. Suppose 0 = -n*r + 23 - z. Solve r*t - p - 2 = 0, 2*t + 3*p = -11 - 3 for t.
-1
Suppose -11*m = -72 - 49. Solve -2*k = 4*d - 14, -5*k - 9 - m = -d for d.
5
Let g be (-13 + 8)/(2/(-8)). Solve -5*z = -s + 19, z - g = 5*z + 4*s for z.
-4
Suppose -3*v = -5*v + 5*z + 31, 4*z + 29 = 3*v. Let n be v/32*-4 - (-86)/16. Solve -2*h = 4*x - x + 1, 0 = n*x + 5 for h.
1
Let d = 136 - 129. Solve 2*i = 5*b - d - 8, 3*b - 3 = 0 for i.
-5
Let v = 24 - 13. Let r(p) = -p**2 - 8*p - 11. Let q be r(-5). Suppose q*s - 2*f = 36, 2*s + f = -f + 24. Solve -s = -5*k - 3*c, 13 = -4*k + 4*c - v for k.
-1
Let w be 5/(-2)*8/(-4). Let c be (1 + -1)*-1 + 1 + 2. Let h be ((-10)/c)/((-3)/((-9)/(-2))). Solve 5*u - 2*m = -1, -13 = h*u - 3*u - w*m for u.
1
Let f(s) be the third derivative of 0*s - 2*s**2 - 1/3*s**3 + 0 - 1/24*s**4. Let y be f(-7). Solve 3*d + 1 = -11, -y*c = d - 11 for c.
3
Let u be (2 - 5)*3*52/(-36). Suppose 0 = -u*a + 10*a + 18. Solve 3*w - 13 = j, 2*w + 28 = 4*j + a*w for j.
2
Let b(f) = f**2 + f - 52. Let k be b(-8). Solve -k*u + 3*y + 5 = 0, y + 0 + 7 = 4*u for u.
2
Let v be 532/98 - -4*(-1)/(-7). Solve 0 = d, v = 3*m - m - d for m.
3
Suppose -87 = -4*p + j, 2*p - 5*j + 10*j = 49. Let c be 2/(-3) - (-3)/(-9). Let w be (c/(-3))/(-1)*-6. Solve -5*y - x + p = -3, -w*x = -4*y + 20 for y.
5
Suppose -5*n + v = -2*v + 293, v + 173 = -3*n. Let h = n - -60. Solve -20 = -4*c - 2*l, -h*l + 0*l = 5*c - 25 for c.
5
Let f be 0/4 + 19 + 2. Let x(m) = 6*m + 1. Let a be x(1). Suppose k = 5*q - f, q - 5*k - 2 - a = 0. Solve 2*c - 8 = -5*i + 3*i, q*i - 16 = 2*c for c.
0
Let x = -78 - -155. Let h be x/15 + 12/(-90). Solve 0 = -h*y - 2*b + 9, -2*y + b = -2*b - 15 for y.
3
Let v = -11 + -43. Let r = v - -56. Suppose l + 3*l - 16 = 0. Solve k + 9 = -3*u, -l*k + r = -u - 1 for u.
-3
Let d(o) = o**2 - 20*o - 337. Let u be d(31). Solve i + 1 + 1 = 2*j, 4*i + 4 = u*j for i.
0
Let c = 172 - 166. Solve 2*d - 3*o = -c*o - 11, 8 = -5*d - o for d.
-1
Suppose 25*k - 12 = 21*k. Solve -k*p + 2*i + 22 = 0, 0 + 10 = -2*i for p.
4
Let s = 612 + -607. Solve -3*i - 13 = i + s*z, 5*z = -25 for i.
3
Let t = -1000 + 1002. Let d = 6 + -3. Suppose -d*j + 2 + 1 = 0. Solve -a + t*y = -y - j, 0 = -4*a - 3*y + 4 for a.
1
Suppose 10 = -7*k + 80. Solve 4*i = -q - k, -10 + 2 = 4*q for i.
-2
Suppose -4*p + 4 = -4*s, 6*p - 2*p = s + 1. Suppose -2*b + t + 7 = 0, b + p*t + 3*t = 0. Solve 0 = b*l - 0*l - 4*a - 2, l - 4 = 3*a for l.
-2
Let n(x) be the first derivative of 5*x**3/3 - x**2 - 2*x + 12. Let s be n(-1). Solve 25 = -5*f, -s*m + m + 3*f + 11 = 0 for m.
-1
Let b(o) = o + 17. Let d be b(-8). Suppose d = 4*t + 3*s, 5*s - 1 = -3*t + 14. Suppose -7 = -r - t. Solve 0 = -c + 4*z + 18, -2*c - z - r = -c for c.
-2
Let i = 2610 - 2605. Let f = -61 - -32. Let b = -14 - f. Solve 5*a = 2*s + 2*a - b, i*s - 12 = -a for s.
3
Let n be 24/14*(-196)/(-21). Solve 0 = -5*m + 4*i + n, -3*m = -2*m - 3*i - 12 for m.
0
Suppose 10*w - 210 = 3*w. Suppose 0*p = 3*p - w. Solve -3*i = -12, 4*q - 4*i + p + 10 = 0 for q.
-1
Suppose 0 = 4*n - 4*g - 148, 9*n - g = 4*n + 201. Let c = -41 + n. Solve -4*u - 8 = c, -4*u - 10 = 2*o + u for o.
0
Let w(l) = -l**2 - 23*l - 125. Let h be w(-10). Solve h*t = 5*r, -10*t + 4*r - 25 = -11*t for t.
5
Let j(o) = o**2 - 16*o + 4. Let x = 3 + 13. Let s be j(x). Suppose s = -3*c + 7. Solve 2*i = 5*m + 3, -c = i + 2*m - 7*m for i.
4
Let v = 4 - 0. Solve 0 = -3*q - j - v, 5*q + 4*j + 10 = 1 for q.
-1
Let n be -24 + 30 + (-5 - -1). Solve 2*k + 3*g - 6 = 7*g, 5*k + n*g + 33 = 0 for k.
-5
S