*c + 16 = 5*a, -a - t = -5*c - 0*a for c.
1
Let m(v) be the third derivative of 17*v**6/120 - v**5/30 + v**4/24 + 2*v**2. Let r be m(1). Solve -4*a = -0*a + 3*z + 16, -2*z = 4*a + r for a.
-4
Let v(y) = -y**3 - 2*y**2 - 3*y - 1. Let f be v(-2). Let h be ((-4)/6)/(5/(-60)). Let o = -4 + h. Solve f = -p + o*k, -8*k = -4*p - 3*k - 9 for p.
-1
Let z(p) = -p + 12. Let s be z(9). Suppose 2*f = s*c - 22, 2*f - 5*f = -5*c + 36. Solve -5*i + i - 29 = 5*a, 0 = i + a + c for i.
-1
Let u = 42 + -39. Solve u = -3*w + k + 5, -4*w - 2*k = 14 for w.
-1
Let v(q) = q + 3. Suppose 0*x + x = -2*c + 2, -5*x + 46 = -2*c. Let g = x - 11. Let o be v(g). Solve -2*z + 1 = -3*s, z = -3*s - o*s + 5 for s.
1
Suppose -4*l - 15 = -9*l. Solve 2*z = l*p + 11, p + 0 + 5 = 2*z for z.
1
Let o be (-3 + 4)/(1/24). Solve 5*f = 3*n - o, -2*f - 18 = 3*f - n for f.
-3
Let r(h) = -h**3 - 6*h**2 - 7*h - 5. Let p be 2*2/3*-3. Let u be r(p). Let m be u/(-3)*4/6. Solve -b = -m*k + 3, 4*b - 2*k - 3*k + 9 = 0 for b.
-1
Let j = 40 + -20. Solve -j = 5*d, 0*p = p - 3*d - 14 for p.
2
Let z be 2/((-6)/21) - -1. Let c be 2/z - 10/(-3). Suppose -7*x = -4*x - 12. Solve -x*g - g = -25, -2*s - c*g + 19 = 0 for s.
2
Let b = -3 - -5. Let m(y) = 2*y + 1. Let v be m(1). Suppose c - 1 = 0, v*o - 4*c = -4 + 15. Solve -b*h = o*x - 7, -8 = 5*h + x + 9 for h.
-4
Let u(c) = -c**3 + 4*c**2 + 5*c + 4. Suppose 0 = 2*b - b - 20. Let q be ((-1)/(-2))/(2/b). Let z be u(q). Solve 2 = z*h - 2*h - 5*d, 0 = 2*d for h.
1
Suppose -25 = -5*d, -4*g + d + 4 + 3 = 0. Solve -5*j - a = -g, 5*a - 13 = -2*j + 2 for j.
0
Let i = 37 + -33. Solve 2*y = -h + 8, i*y - 3*y = 3 for h.
2
Let c(x) = x**3 - 5*x**2 + 5*x + 7. Let s be c(3). Solve -v + 2*v + 13 = 3*f, -s*f + 18 = -v for v.
2
Suppose 0 = -0*n - 2*n + 12. Let l be (-45)/(-12)*16/n. Let d be 2/l - 56/(-20). Solve -r - d*i = 2*r - 18, -i - 9 = -2*r for r.
5
Let x = -56 - -57. Solve 2 = 2*w - 4*m, 4*w = 3*m + x - 2 for w.
-1
Suppose -17*f + 19*f = 0. Let j = -5 + 9. Let z be j - (-2 - -5 - 2). Solve f = k + z, 3*o - k = 4*k + 12 for o.
-1
Let o(j) = -j**2 + 6*j - 3. Let k be o(5). Suppose -4*v + 2*v = 6. Let y = k - v. Solve 2*z = -z - f + 20, -2*f + 35 = y*z for z.
5
Suppose -3*b + u + 16 = 0, -4*b + 2*u = -21 + 3. Let j(p) = -p**3 + 7*p**2 - p + 7. Let g be j(b). Solve 5*s - 2*h - 8 = -g, -3*s = -3*h - 3 for s.
2
Let c be -1 + 3 + 2/2. Let n be -2*c/(-6) + 1. Suppose -5*h = -n*t - 20, 2*h + 3*t = 7*t + 24. Solve -4*v - 2*f = -3*f - 13, -3*v = -h*f - 16 for v.
2
Suppose 3*b - 7 = 2*a, -5*b + b - a + 24 = 0. Solve -c - 4 = -2*h, b*c + 6 = -2*h - 2 for c.
-2
Suppose -5*g - 3 = -6*g. Solve -2*y + 3 + 14 = -g*o, -4*o - 18 = 2*y for o.
-5
Let x be 114/22 + (-14)/77. Suppose -3*u + 15 = -0*u. Solve x*n = 5*s - u, -3*n - 2*n = -s - 7 for s.
3
Let m = 4 - 7. Let v = m + 5. Solve 4*l + 2*i + 26 = 0, -v*i + 14 = -3*l - l for l.
-5
Suppose 96 = -26*c + 32*c. Suppose -2*o + 4*m - 6 = -46, -3*o + 2*m = -44. Solve o = -4*b + 4*k, 0 = -3*b - 3*k - k - c for b.
-4
Let a be (-2)/(2 - 0) + 41. Let g be (3/(-3))/1 + -2. Let y = g + 6. Solve 5*u = -y*j, -5*u + a = -6*j + j for j.
-5
Let v(m) = m**3 + 6*m**2 - 6*m + 10. Let q be v(-7). Suppose -q*h = -h + 8. Let k = h - -6. Solve 5 = k*w - o - 4*o, 0 = -5*w - 3*o - 3 for w.
0
Let z be ((-3)/12)/(2/(-8)). Suppose -3*g = -11 - z. Suppose 4 + 1 = -g*u - 5*s, 2*u - s = 15. Solve 2*p = -2*l - l + 2, -l + 5*p = u for l.
0
Suppose 8*q - 12 = 5*q. Solve 0 = -g + 2*z, -7 = q*g + 2*z + 3 for g.
-2
Suppose -4*g + 0*b + 22 = 2*b, -5*b + 15 = 2*g. Suppose l - 85 = -3*m - 3*l, -g*l = 2*m - 66. Solve -3*x - 4*q - 17 = q, 5*x + 3*q = -m for x.
-4
Let f = -20 + 31. Suppose -5*k - 1 = -f. Solve -k*z + 6*z + 2*w = 0, 0 = z - w for z.
0
Let o = 31 + -31. Solve 3*k + 2*k + 5 = o, k + 11 = 5*t for t.
2
Let x be (-2)/8*-6*2. Solve 3*t - 17 = -7*r + x*r, 0 = -5*r - 2*t + 16 for r.
2
Let l be (0/2)/(-5 + 3). Suppose l = -3*u - 0*u. Let b be (-90)/(-21) - (-2)/(-7). Solve u = b*w - 3*a - 8, 4*a - 11 = -0*w + w for w.
5
Let i = 6 - -4. Let f be 32/10 - 2/i. Solve 2*p + 1 - 3 = -4*n, -5*n - f*p + 4 = 0 for n.
-1
Suppose -q + 1 = -1. Let n be (q/4)/((-4)/(-16)). Let i(p) = -p**3 - 2*p**2 - p - 1. Let k be i(-2). Solve 2*u - n*z + 5*z = -1, 0 = z + k for u.
1
Suppose -3*f = f + k + 21, -4*f - 30 = -2*k. Let p(y) = -y**2 - 6*y + 4. Let t be p(f). Solve 5*i = t*m - 3*m - 15, -2*i = -m + 3 for i.
-4
Let b(c) = c + 6. Let z be b(-3). Suppose z*y + 4 = 19. Let a be (3/(-5))/((-1)/y). Solve 5*t + a*d = -2, 0*t - 5*t = 5*d for t.
-1
Suppose 11 - 1 = h. Let v be 5 + 10/(-2) + 3. Solve v*a = 5*y + 4*a - h, 4*y = 2*a + 8 for y.
2
Let s = 47 - 12. Let g be (-12)/(-7) - (-10)/s. Solve b = -i - 0 - g, 14 = 3*b - i for b.
3
Suppose -6*z + 9*z = 114. Let j be z/4 + (-1)/(-2). Solve -c = 2*x - 3 + 2, -2*c = j for x.
3
Let s be 10/(-70) + (-213)/(-21). Solve -5*p - s = 2*a + 20, 4*p = 5*a + 9 for p.
-4
Let z be 24/(-9)*(-2)/((-4)/(-3)). Solve -f + 20 = -4*f + z*s, 2 = -2*f - 3*s for f.
-4
Suppose 7*s - 13 = 2*s - n, 0 = 2*s + 4*n + 2. Let b be ((-3)/2)/((-1)/(-2)). Let h be ((-2)/b)/(1/3). Solve -2*j + s - 2 = v, 2*v = -h*j + 4 for v.
3
Suppose 5*j + 160 = j. Let z(d) = d + 4. Let f be z(-7). Let r be f/(-2)*j/(-12). Solve -r*i - b = -3, -3*i - 3 = 2*b - 3*b for i.
0
Let j = 16 + -8. Solve -i - 15 = -5*c, 3*i + 3*c = j*c - 5 for i.
5
Suppose -5 = -4*v + 7. Solve g + 1 = -v, 4*g + 28 = -3*k for k.
-4
Suppose -7*g + 45 + 46 = 0. Solve 3*z - 11 = -j, j - 3*z - 2*z = -g for j.
2
Suppose 0 = -2*j + 3*d - 6, d = 2*j - 3 + 1. Suppose z + z - 9 = -n, -j*z + 11 = -n. Solve 0 = z*o + p + 18, 0 = -3*o + 3*p - 26 + 5 for o.
-5
Suppose -4*j + 30 = 22. Solve -4*c + 5*c = 5*t - 11, j*c - 20 = -4*t for c.
4
Let c(k) = 5*k - 5*k**3 + k**3 + 5*k**2 + 5 + k + 3*k**3. Let m be c(6). Solve 4*i = 5*u - 0*u + 5, m*i - 3*u = 3 for i.
0
Let a(l) = -l - 7. Let w be a(-6). Let r = 0 + w. Let f = r - -1. Solve -3*n + 1 = -2*z - 4, f = 4*n + 2*z + 12 for n.
-1
Suppose l - 5*y = 9, 2*l - 2*y + 4 - 14 = 0. Solve -d + 5*d = -l*g, -g + 4 = -d for d.
-2
Let k = 14 + 20. Solve 6 = 5*a + 2*d + k, 0 = 5*d + 20 for a.
-4
Suppose 3*p + 8 = h - 20, h - 38 = 5*p. Suppose l - 2*l - h = -4*k, 3*l - 5*k + 11 = 0. Let g be 2 + (-4)/(-6)*l. Solve -3*m + x + 2 = -0*x, 0 = -4*x + g for m.
1
Suppose -3*r + 12 = -6. Suppose t - r*t = 0. Let k = -7 + 12. Solve t = -2*q - 3*c - 6, -3*q + 10 = -0*q - k*c for q.
0
Let a be (5/(-2))/((-6)/144). Suppose c - a = -2*c. Suppose c = 4*w + 8. Solve -5*j + 2*h = 2, -j + w*h + 2 = 4*j for j.
-2
Let x = -4 + 2. Let y = -1 - x. Solve -3*v + 3 - y = -4*o, 0 = 5*v - o + 8 for v.
-2
Let r(m) = 2*m**3 - 4 + 3*m**2 - 3*m + m - m**3. Let z be r(-3). Solve 5*l + 20 = 5*h, -2*l - z*l - 6 = -2*h for h.
5
Let r = -3 + 0. Let a be 0 + (0/(-3) - r). Solve 4 = -5*x + 4*u, 0*u - 3 = -a*u for x.
0
Let l(c) = c**3 + 4*c**2 + c - 4. Let v be l(-3). Let n(m) = 3 + m + v - 3 + 5. Let d be n(-4). Solve -h + 1 = 3*g, -d*g - 4*h + 12 = g for g.
-1
Suppose -3*b = -4*b + 5. Solve 0 = 4*a - b*i + i + 16, a + 10 = 3*i for a.
-1
Let a(u) = -u**3 + 4*u**2 - u - 4. Let t be a(3). Solve -3*o + 2*v = 5, -t*v = 5*o + 14 + 21 for o.
-5
Let t(s) = -2*s + 35. Let i be t(15). Solve -4*o + 24 = i*q, -5*o + 6 - 1 = 0 for q.
4
Suppose -7*b + 6*b + 10 = 0. Solve 2*s - 4*g - 17 = 9, 2*g = -b for s.
3
Suppose 4*l + 3*n - 4 = 8, -l + 2*n - 8 = 0. Suppose -33 + l = -3*k. Let h = 14 - k. Solve -5*x = -u + h*u + 26, -5*u - 7 = -2*x for x.
-4
Suppose -4*y - 18 = v + v, 3*y + v = -11. Let a = -22 - -14. Let i be a/28 + y/(-7). Solve 2*g + w - 22 = -2*g, 3*w - 6 = i for g.
5
Suppose 0 = 4*w + 45 - 205. Let o = -22 + w. Suppose 0 = -5*d - 6 + 36. Solve 2*b - d = 0, 7*g - 4*g + 2*b = o for g.
4
Let r = -4 - -6. Let h be (-18)/(-15)*(-5)/(-2). Suppose 4*f + 4*i - 20 = 0, -4*i = -5*f - h*i + 25. Solve u - 11 = 4*u - f*o, -4*o + 22 = r*u for u.
3
Let s(z) = -4*z + 0*z + 0*z + 3*z + 1. Let c(q) = q**2 + 2*q + 6. Let i(x) = c(x) - 2*s(x). Let a be i(-4). Solve -g - a*o = -o + 12, 5*o + 20 = 4*g for g.
0
Let w = -1 + 1. Suppose h = -4*l - h + 54, -5*h - 34 = -3*l. Let j be (7/(-21))/(1/(-6)). Solve -l = c - j*i, -c - 2*i + 9 - 2 = w for c.
-3
Let c = 6 - 4. Suppose 8 = 4*k - 4, 2*h - 14 = -c*k. Let i be (6/(-15))/((-2)/30). Solve 4*u + h = -2*x, 4*u - 2 = i*u -