-3*s + 5*n + 6. Solve -s*m - 4*t = -8, -2*m + 4*t - 5 = -13 for m.
4
Suppose -z = -0*z. Suppose z = -3*h + 8*h - 15. Solve 2*d - 2 = 5*o, h*d = -3*o + 4*d - 1 for o.
0
Let d = -20 + 23. Solve 3*m - 15 = -3*k, -3*k + 7*k + d*m = 16 for k.
1
Suppose 5*c - t - t - 20 = 0, -2*t + 20 = 5*c. Suppose -5*n - c*p + 10 = 0, n = -0*n - 4*p + 2. Solve -18 = -2*r - 9*x + 4*x, -3*r - n*x = -16 for r.
4
Let d = 30 + -27. Solve -d*n - 5*q - 2 = 2, -10 = 5*q for n.
2
Let i = 2 + -5. Let b = i - -7. Suppose 0*q - 2*p = 5*q + 4, -b*p = 8. Solve -2*n - 2*o - 6 = q, 0 = -5*n + 3*o - 4*o - 23 for n.
-5
Let a = -13 - -15. Solve -a*v + 4 = 0, -4*v - v = -b - 12 for b.
-2
Let j = 0 - 3. Let y = j - -1. Let l be 3*(-4)/(-2) - y. Solve 4*z - 24 = l*z + 4*f, 21 = -5*z - 2*f for z.
-3
Suppose 3*d - 8 = -4*z + 8, 21 = 4*d + 5*z. Solve 5*r - 3*u + d = 0, -6 = r - 0*r + 2*u for r.
-2
Suppose 2*z + 6*z - 88 = 0. Solve -1 = w + 3*x - 0, 2*w - 3*x + z = 0 for w.
-4
Let z(x) = x**3 + 5*x**2 + 3. Let c be z(-5). Let d be (-3)/2*(-8)/c. Solve -3*n = 5*j + 19, -6 - 8 = 3*n + d*j for n.
2
Let k = -23 + 26. Suppose -t - 15 = u - 4, 5*t = -2*u - 49. Let j = t - -30. Solve 5*w + 4*a = -0*a - j, k*a + 2 = -w for w.
-5
Let i be 33 + 5/(4 - -1). Solve -i = -5*q + 3*l, q = -2*q - l + 12 for q.
5
Let u be 2/(-4)*(1 + -1). Let o(t) = u - 2*t + 0. Let i be o(-2). Solve i*c - 5 = -4*h - 41, 5*c = -25 for h.
-4
Let u be 0/(2 + 0/2). Solve 1 = n, 0 = w - u*w + 5*n for w.
-5
Let s be (12/9 - 2)*-3. Suppose -2*y + s + 2 = -c, 0 = -3*y - 4*c + 6. Solve 2*x - 19 = y*d - 7*d, 0 = -2*d + x + 13 for d.
5
Let j = -23 - -35. Solve -3*c + 3 = 2*s - j, 0 = 3*s for c.
5
Suppose 2*x = 14 - 4. Let t = -4 + 6. Solve -7 = 3*p + 5*a, x*p + t*a + 2 = 4*p for p.
-4
Suppose -4*k + 2*k = -3*x - 63, 3*x + 3 = 0. Solve 5*j = 5*b - k, 4*b = j + j + 16 for j.
-4
Let y be (-1 - 0)/(4/(-12)). Solve 0 = 2*z, -4*a + y*z = z for a.
0
Let k be 0 + (-2*(-1 - -3) - -8). Solve 30 = -2*w + 5*n, 0 = -w + n - 5 - k for w.
-5
Let x = -3 + 4. Let k be -10*3/(-6)*x. Solve v = 3*o + 1 + 1, -k*v = -2*o + 3 for v.
-1
Suppose 3*o + h = -20, -3*o + 0*h + h - 10 = 0. Let m be ((-3)/2 - -2)*-2. Let n = m - o. Solve -c = n*f - 17, 4*c - 13 = 2*f - 35 for c.
-3
Let c be 0 + -1 + -1 - 2. Let j(t) = t + 9. Let b be j(c). Solve b*n = q + 16, 0*n = 2*n - 4*q + 8 for n.
4
Let w(j) = 2*j**3 + j**2 - j + 1. Let m be w(1). Solve -17 = -3*u - 2*n, -2*u - m*n = 2*n - 26 for u.
3
Suppose -12 - 8 = -4*x + 4*r, x + 2*r - 14 = 0. Let n = -5 + x. Solve -n*z + 3*a + 9 = 0, -3*z + 3*a + 11 = -2*a for z.
2
Suppose 2*t = -5*a + 75, 0*t - 57 = -4*a - t. Let x(r) = r - 13. Let i be x(a). Solve i = -4*b + 8, 5*l = -b - 2 - 6 for l.
-2
Let m = -1 - -4. Let a(b) = b**3 - 4*b**2 + 3*b + 2. Let n be a(m). Let h = -1 - -4. Solve 0 = -5*x + 2*y - 6, -2*y + h = -n*x - y for x.
0
Let c(t) = t**2 + 7*t + 13. Let z be c(-4). Solve 2*m - 2*f - 10 = 0, -2*m + f = -z - 6 for m.
2
Let h(q) be the third derivative of -q**6/120 - 2*q**5/15 + q**3/3 - q**2. Let n be h(-8). Solve -15 = -5*s, -5*s - 2 = -n*z - 3*s for z.
4
Let r be (-1)/((-40)/13 - -3). Solve x + r = 4*a, -5*a + 0*a + 11 = 4*x for x.
-1
Let f = 37 + -7. Suppose 5*y = 180 + f. Suppose 2*i + y = 2*s, -2*s + 4*i - 6*i + 26 = 0. Solve -z + 1 = -g, -z - 2*g + 7*g + s = 0 for z.
-3
Let v = 7 + -4. Suppose -6 = v*f - 0*f. Let m be -7*-6*f/(-14). Solve 0*j - m = -j - 5*b, 4 = 4*b for j.
1
Let q = 0 - -2. Let t be q/(-12) + 76/24. Solve 0 = 3*k - 4*x + 27, -4*k + x - t*x = 14 for k.
-5
Let p be (13*(-2)/6)/(4/(-12)). Solve v = -5*a + p, 0*a - 5*v = a - 17 for a.
2
Let o(t) = -t + 3. Let f be o(3). Suppose 0*a + 5*u - 16 = a, -2*a = -u - 4. Solve 2*c + f*l + 2*l = 0, a*c - 2*l + 24 = 0 for c.
-4
Let y(h) = h + 3. Let o be y(-7). Let d be 57/(-6)*(o + 2). Solve -4*r - 14 = 2*w, -5*w + 4*r = -2*w - d for w.
1
Suppose -5*b - 2 = -3*b. Let t be (3 + -1)/(b - -2). Solve t*d + 0*d = -r + 9, 3*d = 2*r + 10 for r.
1
Suppose 163 = 3*k + 4*s, k - 6*k + 2*s = -237. Let n = 74 - k. Let y be 0 + -2 + (-2)/(-1). Solve 3*w + 2*c - 18 = y, -5*w + n = c + 2 for w.
4
Let v be (-18 - 0)*(-4)/8. Solve q + 2*y - v = 0, -q + 0*y - 19 = -5*y for q.
1
Let i(a) = 3*a**2 + 4*a + 2. Let s be i(-2). Suppose 0 = 2*g - 2 - s. Solve -11 = 2*q + 3*j, -g*j + 7 = -4*q + 35 for q.
2
Suppose 0 = 3*c - 0*c. Let m = 4 + -2. Suppose 0 = 3*f - 3*o - 15, -5*o + m*o - 9 = c. Solve 3*i + 4*a - 17 = 5, -8 = -f*a for i.
2
Let r be 20/(-4)*3/(-5). Suppose l + l = -2*y + 6, 3*y - r = 3*l. Solve 4*o + 4*p = 0, y*o = o + 3*p - 8 for o.
-2
Suppose 0 = -o + 2 + 2. Solve -o*h = -4*s - 2 - 2, -h - 11 = -5*s for s.
3
Let x be (-1)/(-4) - 38/(-8). Solve -x*g + 9 = -2*l - 1, 16 = 4*l - g for l.
5
Suppose -l - 56 = 5*k, 2*k + 13 = l - 15. Let d be (-100)/k - (-2)/(-6). Let z be ((-12)/d)/((-6)/8). Solve -4*q + 20 = 4*c - z*q, 0 = -3*c - 4*q + 20 for c.
4
Let w = -7 + 12. Solve w*f = 5*n + 25, -4*f + 4*n + 22 = f for f.
2
Let s = 6 - 3. Let l = s - 0. Let g = -28 - -28. Solve 18 = -2*z - l*a - 1, z + 5*a + 27 = g for z.
-2
Let j = -8 + 5. Let d be (j/4)/(9/(-24)). Solve 3*s + d*s = -p - 10, 5*s = -3*p for p.
5
Suppose -2*a + 0*a + 4 = 0. Suppose 5*x + 10 = -3*s + 26, -4*x = -5*s + a. Solve s*t + 4*f = 6, -4*f - 21 = -5*t - 6 for t.
3
Let r be (3/(-2))/(3/(-4)). Suppose -r*s = -s - 10. Suppose w = -2*p + s, p + 3*p + 4*w = 28. Solve 2*m + 5*c + 5 = 0, 2*m - p*c + 13 = -0*m for m.
-5
Suppose 0 = 3*i - 7*i + 12. Suppose -b + 15 = 4*b. Solve -33 = -4*c + 5*d, i*c - b*d - 2*d - 31 = 0 for c.
2
Let k be (3/(-2))/3*-6. Suppose x + 4*a - 8 = 3*x, a = 3. Let u be (1 - -2)/(3/2). Solve -k*t + 17 = i + 3, -x*i = -4*t + u for t.
3
Let z = 2 - 0. Solve -x + 21 = -5*d, z*x - 7*x + 17 = -3*d for x.
1
Let h(v) = -v + 2. Let l be h(-1). Solve 2*t = -l*b + 5*t - 21, 0 = b + 4*t - 3 for b.
-5
Let i = 5 - 3. Solve 2*f - 7 = -o, 3*o = i*f + 1 + 12 for f.
1
Let d(s) = -s + 12. Let h be d(-5). Solve 4*i + 4 = 3*u - 15, 4*u - h = -3*i for u.
5
Let f(q) = -10*q**3. Let s be f(-1). Let n = s + -4. Suppose 2*a - a = n. Solve 0 = 3*m - 5*d + 13, -m + a*m - d - 15 = 0 for m.
4
Suppose -20 = -5*b - 5*p, 4*b + 5*p - 10 = 11. Let d = b + 6. Solve -4*y + 32 = -2*s - s, y + d*s = -15 for y.
5
Suppose -2*j = -3*s - 10, 4*j + 2*s - 3 = 17. Solve -l + 5*u = 14, j*l + 0*u = -4*u + 17 for l.
1
Let o = 4 - 5. Let l be 2 + ((-1)/o - 0). Solve a = -p - 9, -5*a = p - l*p + 17 for p.
-4
Suppose 3*u + 142 - 157 = 0. Solve 5*s = -0*s + 5, u*o - 5 = -5*s for o.
0
Suppose 0 = -5*d + 4 - 24. Let f be (-25)/(-2) + (-2)/d. Let w = f + -7. Solve w*z + 2*o = 2*z - 4, -2*z - 4*o = -10 for z.
-3
Let f(q) = -16*q - 2. Let o be f(-2). Let w(b) = -b**2 - 4*b + 1. Let v be w(-2). Suppose -v*z + 6 = -9. Solve -4*j - z*r - 19 = -3*j, 2*r = -5*j - o for j.
-4
Let f be ((-3)/9 + 1)/(8/180). Solve 0*c + c + 5 = 3*t, 0 = 4*t - 3*c - f for t.
0
Suppose -p - 2*w = 3*p - 2, 6 = -3*p - 3*w. Suppose -15 = -p*k - 2*k. Let u be (-46)/(-14) - 4/14. Solve -4 = 2*f - 0*f - u*y, -4*f + 28 = k*y for f.
4
Let c(b) = b**2 - 4. Let z be c(3). Suppose -z*a + 20 = -3*o + 7*o, a + 4*o = 20. Suppose a*y - 16 = -4*y. Solve 0 = -x + 5*d - 25, y*d - 26 = 3*x + 5 for x.
-5
Suppose 3*h - 1 = 8. Let y(a) = -a + 12. Let j be y(8). Let m be 0/(0 + 0 + -1). Solve j*w + m*u - 7 = u, h = -u for w.
1
Suppose -5 = d - 4*h - 0, 3*h + 6 = 4*d. Solve -4*w - 3*b = -9, 0*w = -d*w + 4*b - 12 for w.
0
Let s be 8/(-4) + 4 + 5. Solve -41 = -4*r + 2*k - s*k, -2*k + 10 = 0 for r.
4
Let m(t) be the third derivative of -t**6/30 + t**5/60 - t**4/24 - t**3/6 - 2*t**2. Let i be m(-1). Solve y + 4*o - o - 13 = 0, 5*y - i*o = 5 for y.
4
Let h(i) = 2*i - 6. Let k be h(5). Let o = 8 - k. Solve r = -5*s - 20, 0*s - o = -r + s for r.
0
Suppose 6 + 18 = -3*z. Let v be (z/6)/((-2)/9). Suppose 2*c = -3*w + v*w - 16, 4*w + 5*c = 29. Solve -3*o = -5*o + w, 7 = -b + 3*o for b.
2
Let t be (24/60)/(2/40). Solve -4*h + x - 1 = 0, 1 - t = -2*h + 3*x for h.
-1
Let f = -6 - -8. Solve f*m + 19 = 3*j, -m - 1 = 1 for j.
5
Suppose 7 - 22 = -5*f. Suppose g = 1 - 0. Let r = f - g. Solve -16 = -2*x - 2*z, -r*z + 5 = -4*x + 19 for x.
5
Let c(o) = -o**3 + 4*o**2 + 2*o - 2. Let v be c(-2). Suppose 26 = -7*h + 20*h. Solve -v = 2*z + 3*n + h*n, 4*n = -8 for z.
-4
Let x = -12 + 14. Suppose -2*w + 4*r - 4 = 0, 4*r = 3*w 