= -0*s + 5*s - 5*q + 35, -4 = 4*s + 2*q for s.
-3
Suppose -2*k + 2*m = -12, -15 = -4*k - m + 2*m. Let f(y) = y - 1. Let l be f(k). Solve 3*z + 5 = l*h, 5*z + 0*h = h - 6 for z.
-1
Let h(r) = 5*r**2 + 2*r**2 - r**3 - 3*r**2 - 4. Let c be h(3). Let x be (-108)/15*10/(-3). Solve -5*n + 3*d = x, 23 = -c*n + 2*d + 2 for n.
-3
Suppose -5*y + 7*g - 2*g + 25 = 0, -2*y = 3*g - 5. Let z(r) = r - 1. Suppose -p + 3*p = 8. Let o be z(p). Solve 2*l = y*n, -3*l - o = n + 4 for l.
-2
Let w be 0*2/(-8)*-2. Let u(p) = -3 - 1 + w*p + 2*p. Let a be u(3). Solve -a*x - b - 5 = -6*x, 20 = -3*x - 4*b for x.
0
Let b = 11 + -8. Suppose 4*v = -d + 7, b*d + 2*d = -2*v - 1. Suppose -2*c = 1 + 3, v*c = -5*r + 6. Solve -35 = 5*u + 5*y, 0 - r = 2*u - 4*y for u.
-5
Let c(s) = 5*s**3 - 10*s**2 - s - 3. Let f(g) = g**3 - g**2 - g. Let v(l) = -c(l) + 6*f(l). Let x be v(-5). Solve -5*m - 15 = -x*p - 2*p, 5*m + p - 9 = 0 for m.
1
Let q(x) = -x**3 + 5*x**2 + 5. Suppose -3*u + 20 = 5. Let v be q(u). Solve 0 = 5*a + v*t + 10, 4*a + 3 = -5*t - 7 for a.
0
Suppose 0 = -5*x + 137 + 3. Solve -4*d + 2*o + o = x, 0 = 4*d - 4*o + 32 for d.
-4
Let y(h) be the third derivative of -h**6/120 - 2*h**5/15 - h**4/3 - 2*h**3/3 + h**2. Let a be y(-7). Solve -a*l + 15 = 3*j, -5*l - 5 = -2*j + j for l.
0
Let r = -3 + 8. Suppose 4*l - 2 - 2 = -4*a, -r = l - 2*a. Let d be 2 + (-3)/(l/1). Solve -m + 5 = -f + 2*m, -f - 3*m = d for f.
-5
Let v = -200 + 207. Solve 4*a + m = v, -a - 5*m = -0*a + 22 for a.
3
Suppose 2*y = -5 + 15. Suppose -a = -c - y, a + 0 = 5. Solve -3 = h - 6*p + 5*p, c = h - 3*p + 11 for h.
1
Suppose 0 = 7*s - 8*s + 3. Solve -9 = -3*c, s*w + c + c - 21 = 0 for w.
5
Let w be 2 + 0/1 - 0. Suppose 14 - 2 = 3*v. Let s = 1 + v. Solve -q = -5*q - m - 12, s*q - 2*m = -w for q.
-2
Let d(r) = 3*r + 12. Let v be d(-3). Solve -u + 3*p - 4 = -20, 3*u + v*p = -12 for u.
1
Suppose 0 = -s - 4*s. Suppose -6*z + 2*z + 92 = s. Solve z + 12 = -5*x + 3*m, 3*x = -2*m - 2 for x.
-4
Let n = -2 + 5. Let j(i) = 2*i + 1. Let l be j(1). Suppose 4*k = -2*u - 2, l*u + 0*u = -3*k + 3. Solve n*g - 2*b - 15 = -5*b, -g + 15 = u*b for g.
0
Let a = -33 - -35. Solve 0 = -v - 5*z + 8, -a*v - 4 = -5*v + 5*z for v.
3
Let l = 59 + -55. Solve 0 = -l*w - 5*q - 23, 5*q = -3*w + 3*q - 12 for w.
-2
Let g = -2 - -4. Let k = 4 - -34. Suppose d = -4*d - n + k, 3*d = 4*n + 32. Solve 3*s = -g*h + 7, -4*s - 2*h + d = -0*h for s.
1
Let a(j) = -3*j - 60. Let q be a(-24). Solve q = -3*m, z + 3*m = -4*z - 22 for z.
-2
Let o(v) = v**3 + 2*v**2 + v + 1. Let y be o(-2). Let g(m) = 5*m**2 - 1. Let p be g(1). Let c = y + p. Solve c*u + l = 4*u - 4, -5*u - 5*l = 20 for u.
0
Let c(l) = -6*l**2 + 2*l - 1. Let f be c(1). Let b(s) = s**2 + 4*s. Let z be b(f). Solve -3*p = 15, z*o - 4*p - 3 = 12 for o.
-1
Suppose 3*j - 15 + 0 = 0. Suppose 12 = -j*u + 2*q + q, 0 = -u + 4*q - 16. Solve -3*f + 1 - 4 = u, 3*m + 16 = -f for m.
-5
Let d(s) = -7*s + 1. Let r be d(1). Let n be (1/(-2))/(r/24). Let h = 4 - n. Solve -c + 0*y - h*y + 5 = 0, 4*c + 3*y = 5 for c.
-1
Suppose 25*v - 28*v + 12 = 0. Solve v - 3 = -3*t - 5*b, -3*b - 1 = 2*t for t.
-2
Let q(j) = -2*j - 19. Let b be q(-13). Let f = b - 3. Suppose n = 0, 8 + 2 = 5*w + n. Solve w*t + 19 = -3*d, -7 = -f*t + d + 2*d for t.
-2
Suppose 31 - 7 = 4*z. Suppose -j + 12 - 3 = 0. Let r = j - z. Solve 4*o - 2*o + r*c - 1 = 0, 3*o - 3 = -3*c for o.
2
Suppose 2*l - 4*a - 24 = 0, 2*a + 11 = -2*l - a. Solve w - 22 = 5*g, 3*w - 3 = 2*g - l for g.
-5
Let v(z) = -z**3 - 2*z**2 + 2. Let d be v(-2). Solve -2*o - 3 = r, -2*o - 1 = d*r + 1 for o.
-2
Let t be ((-2)/3)/(8/(-84)). Solve -3*u = -5*z + 27, -4*u = -0*u + 3*z + t for u.
-4
Let f = -8 - -7. Let g = -1 - f. Suppose -3*d + 29 - 5 = 4*h, -5*h - 4*d = -31. Solve -3 = 4*a - x, a + g*x = -h*x - 4 for a.
-1
Suppose 3 - 1 = 2*p - 2*x, 0 = 3*p + x - 15. Suppose 3*o - 16 = o. Solve 5*v - 3 = -2*a + o, p*a = 2*v - 14 for a.
-2
Suppose s = -1 - 0. Let y = -4 + 7. Let z = y + s. Solve -4 = -2*o + 4*n, 2*o - z*n - 18 = -3*o for o.
4
Let b be (1 - (-4)/(-2))*-75. Suppose -2*l - 3*l + b = 0. Solve -s + 7 = 2*d, 2*s - 4*d + 3 = -l for s.
-1
Let h be (2 - -3 - 0)/(-1). Let t = 8 + h. Let s = 99 - 59. Solve 3*f - t - 1 = g, -5*g - 5*f + s = 0 for g.
5
Suppose 8*s = s + 140. Solve u + 3*i = -i - 19, 5*u - s = 3*i for u.
1
Let j(y) be the third derivative of y**2 + 0 + 1/24*y**4 + 0*y - 2/3*y**3. Let v be j(4). Solve v = -2*a + 2*k - 3*k + 2, a + 5 = k for a.
-1
Let z be ((-51)/12)/((-1)/4). Let v = 24 - z. Let a = v + -2. Solve -3*b - 12 = -0*b, 4*b = a*s + 9 for s.
-5
Suppose c = 7 - 2. Solve 0 = j + 3, -2*j - 14 = -c*q + 2 for q.
2
Suppose v + 12 - 3 = 0. Let l = -6 - v. Solve 4*i = 2*n + 18, 6*i + l = 2*i - 5*n for i.
3
Suppose -3*b = -b. Solve 0 = 5*y - 5*m, 16 = -3*y - 5*m - b for y.
-2
Suppose -2*w = -0*w. Suppose -a - 2*s = -5, w*a = 2*a - s - 5. Solve 0 = 2*n + 5*f + a, n + 2*f = -2*n + 1 for n.
1
Let j = 63 - 60. Solve -l - j = -3*m, -2*l = -l + m + 3 for l.
-3
Suppose -2*d + d = b - 2, -2*b + 4*d + 16 = 0. Suppose 2*m = -0*m + 12. Solve -4*u + b*f - 20 = 0, 3*u = m*u - 5*f + 25 for u.
0
Let r be 0*4/(-12) + 2. Solve 0 = 5*j - 2*x - 15, r*j + 2*j - 12 = x for j.
3
Let p(o) be the third derivative of -o**6/120 - o**5/12 - o**4/8 + 5*o**3/6 - 4*o**2. Let i be p(-4). Solve f + 2*g + 10 = 0, f - i = 5*f - 5*g for f.
-4
Let c(d) = d. Let l be c(4). Let a = -10 + 19. Let q = a - 5. Solve y + 4*y + 13 = -l*r, 0 = -q*y + r - 2 for y.
-1
Suppose -7 - 8 = -5*j. Suppose -2*m + 48 = -2*i, 8*i + 15 = j*i. Solve -d + u = -5, d - u = -4*d + m for d.
4
Suppose 2*n + 2 = 3*s, n + 4*n - 5 = 5*s. Suppose -18 = -s*y - 2. Suppose u - 1 - 3 = 0. Solve 0 = -y*f + 5*v + 14, 1 = -u*f - 4*v - 3 for f.
1
Suppose 0 = 2*q + 8 - 18. Solve -3*z + 2*t + 4 = 0, -2*t - 12 = -q*t for z.
4
Let g(b) = b**2 - 10*b + 2. Let i be g(10). Solve o = y, 7*o - 2*o = -i*y + 7 for y.
1
Suppose -5*z + 82 = -4*j, -3*j - 2*j = -2*z + 43. Solve 3*c - v = -5*v + 6, c + z = 4*v for c.
-2
Let w be 21/(-2) + 6/12. Let d(b) = b**3 + 10*b**2. Let t be d(w). Suppose -5*y + 9*y - 8 = 0. Solve 5*a - y*a = -f - 7, t = 2*a + 6 for f.
2
Let z be (81/54)/((-1)/(-2)). Solve -3*u - 3 = -3*k, u + z*k + 13 = -0*u for u.
-4
Let i be 2/4 + (-3)/6. Suppose i = -t + 3 - 1. Solve 0 = 3*o - t*o - 4*k + 8, -3*o - 4*k = 8 for o.
-4
Let y(h) = h + 5. Let k be y(-4). Let f be 4 + -2*(1 + 0). Suppose -o - 5*c + 38 = 0, 0 + 6 = f*o - 4*c. Solve -t - 2*t + p = -k, -o = -3*t - 5*p for t.
1
Let a(o) be the first derivative of 1/3*o**3 + 4*o + 7/2*o**2 - 2. Let q be a(-7). Solve r + 5*g = -15, 0*r = q*r - 3*g - 9 for r.
0
Suppose f = -n - 0*f + 18, n + 2*f = 14. Let l = n - 18. Solve -9 = -3*a + 4*o - 0*o, -l*o - 14 = 2*a for a.
-1
Let u be 3 + -1 + 0 + 1. Suppose 4*h - m - 20 = 0, h - u*m - 12 = -3*h. Suppose 2*q + 2*q = a - h, -11 = -4*a + 3*q. Solve o + 2*w = 2, -14 = o - 4*w + a for o.
-4
Let o = 8 - 5. Suppose p - o*k - 9 = 0, p - 2 = -k - 5. Solve 0 = -4*n + 16, p = -6*i + i + 2*n - 3 for i.
1
Let k(m) = m**2 - 7*m + 8. Let g be k(6). Suppose -q - 5*t = 8, 0*q - g*q + 4*t = -12. Solve 0 = -4*d + 4*c - 8, -6*d - q*c - 8 = -2*d for d.
-2
Suppose l + 2*r - 4 = -1, 4*l + 2*r + 6 = 0. Let f(v) = -v**2 - 4*v. Let h be f(l). Solve -a - 2*u - 20 = h*a, 0 = 2*a - u + 6 for a.
-4
Suppose 8 = 5*a - 12. Suppose 0*t - 3*t = r - 23, 4*t = a*r - 12. Let d be (1 - 3) + 5/1. Solve -4*z = -r*z - d*j - 8, -4*j + 10 = -5*z for z.
-2
Suppose 6 = 2*b + h, -3*b + 3*h + 0*h = 0. Solve 2*o + 12 = -b*l, -2*l - 5*o - 26 = -l for l.
-1
Let y be ((-4)/6)/(7/(-126)). Solve 0 = -4*s + 4*w - y + 4, 2*w - 10 = 5*s for s.
-2
Suppose -7*s + 12 = -3*s. Suppose w = s*w. Suppose w = 3*y + y - 16. Solve j - 5 = -y*a + 2*a, 0 = 5*j + 2*a + 7 for j.
-3
Let q(l) = -l**2 + 7*l - 6. Suppose 0*h = -h + 5. Let z be q(h). Solve z*d = 3*g - 14, -2*g = -0*g + 4 for d.
-5
Suppose -v + 5*v - 10 = 2*u, -v - 5*u = -8. Solve -q + 2*z + 0*z = 3, q = 3*z - v for q.
-3
Suppose 0*z - 13*z = -39. Suppose 2*v = -v. Solve v = t - a, -z*t + 0 - 1 = -4*a for t.
1
Let d be (-6)/(-2)*(-2)/(-3). Suppose 0 = -0*u + 3*u - 9. Let t = -1 + u. Solve 0 = -t*z + 3*z - d*o, 3*z = 4*o - 4 for z.
-4
Suppose -7*a - 20 = -2*p - 2*a, 5*p - a = 4. Suppose -4*i + 22 = f, -27 - 49 = -4*f - 4*i. Let b = f - 14. Solve 5*j + b*n + 8 = p,