v - 0, t*v = 10 for p.
-2
Let b = 8 - 5. Suppose 2*r = -2*r + 112. Suppose 4*y - 4*s + 8 = 0, -4*y + r = 6*s - s. Solve -w + 5*w = v - 15, -w - y*v = -b for w.
-3
Suppose -2*t - 2*t + 8 = 0. Solve 0 = -p - 1, t*g = -2*g - 5*p - 5 for g.
0
Let x = 52 - 49. Suppose -2*g = 3*g. Solve g*m = -x*m, 2 = j - 4*m for j.
2
Suppose 6 + 19 = 5*r. Suppose r*h - 17 = v, 2*h - 4*v = -h. Suppose -15 - 1 = -h*b. Solve b = -5*d + 2*c, 3*d - 3*c - 3 = -0 for d.
-2
Let h(g) = -12*g - 39. Let d be h(-6). Solve -5 = k, -5*f - 3*k - d = 2 for f.
-4
Let x = 80 + 90. Suppose 0 = 5*m - 2*f - x, 2*f - 13 = -m + 9. Solve 0 = -5*i - 5*d - 52 + 7, -4*i = 3*d + m for i.
-5
Suppose -2*p - n - 23 = 0, -10 = -3*p - 5*n - 62. Let m = 13 + p. Solve -m*y - 5*a = -5, 5*y - y - 2*a - 26 = 0 for y.
5
Let a(x) = -x**3 + x**2 + x + 3. Let z be a(0). Suppose -3 = -3*n + z. Solve n*s + 3 = v - 5, 5*v = -3*s - 25 for v.
-2
Suppose -14*h + 32 = -10*h. Solve 0 = w - 2*l + 3 - 6, -4*w = -4*l - h for w.
1
Let u = -1 - -6. Solve -u*f = q - 28, 3*f - 35 = -5*q - f for q.
3
Suppose -62 = -5*y - 3*x - 22, 3*y - 24 = 3*x. Suppose -2*a - 2 + y = f, 3*f - 12 = -4*a. Solve 3*g - 8 = a*c + 16, 3*g - 16 = c for c.
-4
Suppose -9*h - 5*v + 8 = -7*h, v - 4 = -h. Solve r = 3*b + h*r - 15, 4*b - 14 = -2*r for b.
2
Let w(f) = -f**3 - 7*f**2 - 7*f - 3. Let d be w(-6). Suppose 0 = 5*b + r - d - 5, -2 = -5*b - 4*r. Solve -n + 2 = p, 0 = 3*n - p - 4 - b for n.
2
Let y = -6 - -7. Let t(g) = -g**3 - 8*g**2 - 8*g - 2. Let r be t(-7). Suppose -2*f - 18 = -5*c, r = c - f - y. Solve c*h = 3*m - 2 - 13, 0 = -5*h - 15 for m.
3
Let t be (-8)/20 - 2/(-5). Solve -2*o = -4*o - 3*v + 13, t = 4*v - 12 for o.
2
Let q(c) be the third derivative of -c**4/24 + c**3/6 + 3*c**2. Let x be q(6). Let g = 7 + x. Solve 0 = -3*t - 3*h, -4*h + 5 = -g*t - 5*h for t.
-5
Let p be ((-117)/52)/(3/(-16)). Solve 2*d - 2*v = p, -6 = 5*v + 19 for d.
1
Let h(t) be the first derivative of -t**2/2 + 2*t - 1. Let r be h(-4). Let v be r/2 + 0 + 2. Solve 0 = -2*x + 2*s - s + 5, -v*s = 3*x + 12 for x.
1
Let g = -8 - -13. Suppose 2*b - 25 = 7*b. Let r be (-18)/b + (-6)/(-15). Solve -5*c - s = -30, r*c - 10 - g = s for c.
5
Let p be 380/4 - (2 + -1). Let z = p - 58. Let q be (-4)/(-10) + z/10. Solve f + 2*b = q, 2*b = 4*f - 0*f + 14 for f.
-2
Suppose -10 = c - 14. Solve 15 + c = -4*w - 5*j, 0 = -j - 3 for w.
-1
Let k(g) = -g**3 + 4*g**2 + 6*g - 2. Let f be (-114)/(-24) + (-1)/(-4). Let y be k(f). Solve -q - q + a = -9, -2*q = -y*a - 11 for q.
4
Let l be 132/(-6)*(-2)/2. Solve -2*b + l = 5*j, -b - j = j - 9 for b.
1
Let q(y) be the third derivative of y**6/120 + y**5/30 - y**4/24 + y**3/3 + y**2. Let n be q(-2). Solve 0 = 3*p + 4*k + 18, 5*p - n*k = 4*p + 10 for p.
-2
Suppose -u - 3*k + 5 = 0, 4*u + 3*k = 5 + 6. Solve 2*z - 6 = -y - z, -u*z + 8 = 2*y for y.
3
Let a(s) = -2*s - 4. Let p be a(-5). Let x be ((-18)/(-15))/(p/20). Solve 5*j + 3*m - 19 = -0*j, 23 = 3*j - x*m for j.
5
Suppose 3*a = a + 4. Solve o + 3*l = 6*o - 9, -2*l = a*o + 6 for o.
0
Suppose -4*g - 2 = t, -5*g + 4*g - 9 = -4*t. Solve -17 = 3*q + q + 5*c, -t*q - 5*c = 21 for q.
2
Suppose 0 = p - 8 - 1. Suppose 5*b + p - 29 = 0. Solve -b*a - 14 = 3*x, 0 = 4*a - x + 5*x + 12 for a.
-5
Suppose 0 = 2*h - 6*h. Let d = 173 + -170. Solve -3 = -z + 3*z + 3*g, h = -2*z - g + d for z.
3
Let p(d) = 2*d - 6. Let l be p(4). Let g be 83 + (l/1 - 1). Let j be (-3)/(9/g*-2). Solve -b - j = 2*b - 4*y, b + 5*y - 27 = 0 for b.
2
Let y be -2*(-3)/((-6)/(-2)). Let d(g) = 2*g + 4. Let x be d(0). Solve 0 = -p - o - y, -2*p + 26 = -8*o + x*o for p.
3
Suppose -p = -f - 2, -5*p + 14 = f - 2*p. Solve 2*x - 4*q - f = 0, x = -q - 4*q + 15 for x.
5
Suppose 0 = 5*w - 2*c + 65, 18 = -4*c - 2. Let g be 1/((-3)/w) - 0. Solve g*i = i + 4*b - 8, -i = 4*b + 2 for i.
-2
Suppose 5*v - 4 = -4*t, 6*v + 3*t = 2*v + 4. Suppose -r - h = 0, 14 = -4*r + 2*h + 38. Suppose -r = -q - 1. Solve -4*f + q + 5 = d, -12 = v*f - 4*d for f.
1
Let v(h) = -2*h**2 - h. Let t be v(-1). Let m be 1*(-10)/(-3 - t). Solve 0*c = 4*c + 4*a + 4, -5*c - m = 3*a for c.
-1
Let t be 1/(-3 - 525/(-174)). Suppose -2*c = -2*u + t, 4*u - 3*c = -5*c + 86. Solve 5*v = 2*p - u, -4*v + 3*p + p - 24 = 0 for v.
-4
Suppose -2*s = 5*a - 139, s + 118 = 4*a + 6*s. Solve -5*b + a = o, -4*b + 0*b - 5*o + 30 = 0 for b.
5
Let j(h) = h. Let o = -1 + 3. Let i be j(o). Solve 0 = 3*m + 9, i*n - m = 5 for n.
1
Let x(g) = -g**3 - g**2 + g + 1. Let f be x(-2). Suppose f*l = 3*k + 18, -5*k - 12 = l + 3*l. Solve -l*d + 5*d - 16 = 4*c, 0 = -3*c + 3*d - 12 for c.
-4
Suppose -2*u = 5*t - 3, t - 16 = -3*u + 5*t. Solve 6 = -2*n + u*k, -2*k = 3*n + 2*k + 19 for n.
-5
Let b be (8 + 4)/(-4) + 4. Let q be 9 + -2 - b - 0. Suppose -5*c + 20 - 5 = -2*t, t = -5*c + 30. Solve 3*u = -r + q + t, 4*u - 17 = r for r.
-1
Suppose -b - 6 = -3. Let w be -1 - 1/(b/18). Suppose 13 = -2*r - 3*o - 2*o, r + w*o + 19 = 0. Solve -5*t - 2 = 4*n + 6, -3*n = 2*t + r for n.
-2
Suppose 2*h + 2*j = -3*h + 34, -h + 20 = -4*j. Let l(x) = -x**3 + 8*x**2 + x - 3. Let d be l(h). Solve 0 = 5*s + 2*w + 1, -d*w = -2*s - s + 18 for s.
1
Let q be ((-4)/(-6))/((-6)/(-18)). Let k = q - -3. Suppose -4 = k*z - 19. Solve -g + 10 = -3*s, 0 = 3*g + 2*g + z*s - 14 for g.
4
Let l be -6*((-4)/(-6))/(-1). Let k(x) = 2*x + 16. Let u be k(-6). Solve 5*d = -4*n + 4, l*d = -u*n + 2*d - 8 for n.
-4
Let t(v) = 4*v**2 - 3*v + 2. Let l be t(1). Solve -4*c + 9 = -3*q - 0*q, c = l*q for q.
1
Suppose -2*d + 4*d = 20. Let t = -6 + d. Solve 9 = -r - 2*l, 5*r + t*l = 2*r - 21 for r.
-3
Let p(x) = x**3 - 5*x**2 - 6*x + 7. Let f be p(6). Let a = f - 7. Solve -26 = 2*n - 2*o - 2*o, n - 3*o + 18 = a for n.
-3
Let z(t) = 5*t - 6. Let n be z(2). Solve -n*j = -a + 6, -3*a = -6*j + 2*j - 2 for a.
-2
Let y = 9 + -6. Suppose 4 = 4*m - y*m. Solve 3 = j - 4*j, -1 = -3*o + m*j for o.
-1
Let h(p) = -p**3 - 9*p**2 + 9*p. Let c be h(-10). Let x be ((-6)/5)/((-1)/c). Solve -x = -2*j + 5*k, 4*k = j + 3*j for j.
-4
Suppose 0*n - 3*n = -5*s + 75, 25 = -5*n. Solve 2*r + 2*r - 3*t - 21 = 0, 5*t + s = -r for r.
3
Let c be 8 - -2 - 0/(-2). Let s be (-5)/(-2)*16/c. Solve s*a = 4*d + d, 3*a - 4*d = 0 for a.
0
Suppose 2*t = -2*f - 4, 3*t = -2*t + 4*f + 26. Suppose -t*r = -8 + 4. Suppose 0*l + l = 2*i + 9, 3*i = -6. Solve j = r*u - 3*j, 4*u - l*j = 0 for u.
0
Suppose -f = n - 4, n + 3 = 4*f - 3. Suppose -2*w - f = -5*c - 4, w + 4*c = -12. Let v = w + 7. Solve -3*t - v*z = -18, -2*t - z - 4*z + 21 = 0 for t.
3
Let a(k) = k**3 - 4*k**2 - 6*k + 7. Let w be a(5). Solve -3 = -j, -7*l + 34 = -w*l + 3*j for l.
5
Let d be (68/(-12) - -1)/(6/(-27)). Suppose -24 = -c + 4*y, 2*c - 4*y + 96 = 6*c. Let o = c + -17. Solve -2*b - o = a, 4*b + d = 5*a - 0 for b.
-4
Let n = -171 + 173. Solve 5*s = n*w + 14 + 7, 2*s - 3*w - 15 = 0 for s.
3
Suppose -4 = -r, -4*t + 2*r - 4 = r. Let a be -1 + (t + 0 - -1). Let o = -1403 + 1407. Solve -3*g = -a*g - b - 9, o*g = -4*b + 28 for g.
4
Let z be 12/20 - (-44)/10. Solve 0*l = z*f + 3*l + 24, 3*f - l + 6 = 0 for f.
-3
Let x be (1 - 7/4)/((-9)/36). Solve -x*t = 5*f - 0*f - 13, 21 = f - 4*t for f.
5
Let m = -6 + 10. Let a be (-3)/5*(-20)/m. Solve -2*x - 2*y + 29 = a*x, 2*x - 3*y - 4 = 0 for x.
5
Suppose -99 = 2*c - 515. Let j be c/(-40) - 1/(-5). Let y = j + 7. Solve -3*p + 2 = 3*a - y*p, 6 = -2*a + 3*p for a.
0
Let w(p) = -p**3 - 3*p**2 + 3*p + 4. Let n be w(-4). Suppose 0 = -a + n + 6. Let u = a - 10. Solve 5*s = -m + 13, u*m + 3*s - 3 = m for m.
-2
Let d = -53 - -58. Solve 0 = 5*g - d, 0 = 2*w - 7*w - 2*g - 18 for w.
-4
Suppose 2*f = -6, -25 = -2*i + 4*f - 5. Suppose 5*v + 0*v = 3*r - 39, 2*v = 0. Solve i*h - r = h + 2*n, -5*n + 5 = 0 for h.
5
Let j be (-9 + 6)/((-2)/(-6)). Let m(w) be the second derivative of w**3/6 + 6*w**2 + w. Let p be m(j). Solve -5*u + p*u = -2*d - 18, 4*d + 5*u = 0 for d.
-5
Let x be (-20)/(-16) - (-2)/(-8). Suppose o + 3*y + 6 = 0, -2*y - 1 - 3 = 0. Solve o = 4*n - 5*n - b + x, b + 4 = 0 for n.
5
Let y be (-1)/(-2) + 35/(-10). Let f = y - -6. Solve v - 4 = z, -2*z + 5*v = -f*z + 14 for z.
-1
Suppose -2*c = -3*a + 4, -4*c - 4 = -2*c. Solve -2*j - 8 = 3*d, -d + a*j = j + 3 for d.
-2
Let y(x) = -9*x**3 - 3*x**2 - x - 2. Let s be y(-2). Suppose -3*i - z = -s, -3*i = -0*i + 3*z - 66. Solve 3*d - 5*n - i = 4*d, -3*n = 5*d + 7 for d.
1
Let q be