= 5*v for v.
-4
Suppose 747*v = 734*v + 26. Solve 6 = -5*w - 2*b, 0*b = -v*w - 2*b for w.
-2
Let r(l) = -l**3 - 7*l**2 + 12*l + 37. Let w be r(-8). Solve 3*y + 8 = -w*p, 2*p = y - 3 + 2 for y.
-1
Suppose -2*w + 10 = -2*p, 6*w - 25 = 2*w + 5*p. Solve w = -a + h + 4, -2*a - 3*h = -4 - 4 for a.
4
Let x be (-1 - -21)*8/32. Solve 4 = 2*v - 4*a, -6 = -v + x*a + 5 for v.
-4
Suppose 20*r - 134 = -34. Solve 3*s + r*d = -2*s, -5*s = 2*d + 15 for s.
-5
Let u = 26 + -24. Suppose 3*p + 0 = -q + 4, -2*p = 3*q + u. Suppose -2*s + 0*g = 3*g - 25, -5*s + 5*g = 0. Solve 2*h - 16 = 4*v, -2*h + 16 = -s*v - p for h.
4
Let p = -1565 + 1565. Solve -i = -2*d + i + 16, 3*d - 4*i - 29 = p for d.
3
Let b(f) be the second derivative of f**5/20 + f**4/6 - 5*f**3/6 - 3*f**2/2 - f - 22. Let s be b(-3). Solve -s*i + i = -2*p, -3*i + 20 = p for p.
5
Let p = -15 - -4. Let d(r) = r**3 + 11*r**2 + 2*r + 15. Let c be d(p). Let w(h) = h + 11. Let k be w(c). Solve -k*m = 5*f - 25, 0*m - 2*m - 4*f + 14 = 0 for m.
5
Let n be -2*(-35)/30*-15. Let f = n - -40. Solve 2*r + 3*r - b = f, -2*r + b = -5 for r.
0
Let u = 2 + 3. Let t = u + -1. Suppose 0 = -4*c + 5*d - 3*d + t, -3*c - 3*d = 6. Solve 0 = -a - c*z - z + 5, 4*z + 10 = 2*a for a.
5
Let p(r) = r**2 + 6*r + 27. Let v be p(-5). Solve -5*q - 21 + 1 = 5*m, 2*q - v = 4*m for q.
1
Let n = -38 + 42. Let x be 3 - 1 - (-2 + n). Solve s - 2 = h, -2*s - h = -x*s - 1 for s.
1
Suppose 5*p - d = -0*d - 5, p - 5*d + 25 = 0. Solve -r = -3*j + 11, p = -j + 4 - 0 for r.
1
Let i be (-2184)/15 - (0 - 4/(-10)). Let r = -139 - i. Let f(j) = -j + 9. Let u be f(7). Solve u*v - 2*z + 0*z - 2 = 0, -v - z + r = 0 for v.
4
Suppose 2*j + 342 = -4*j. Let d = -54 - j. Solve w - 4*b = 13, -4*b + 10 - 25 = -d*w for w.
1
Let h(b) = 3*b + 3. Let s be h(0). Solve 2*o - 16 = -5*m, -2*o - 13 = -5*m - s*o for m.
2
Suppose 3*i - 20 = -2*i + 2*a, 3*i + 19 = -5*a. Solve 3*j = -5*w - 34, -i*w = -4*w - 5*j - 25 for w.
-5
Let h(x) = -4*x - 1. Let w be h(-1). Suppose -4 = -w*j - 3*c - 1, -j + 5*c = -19. Let k be 3 + 2 - (-4 + j). Solve 5*m + k*b - 5 = 0, -15 = -b - 2*b for m.
-4
Let o(m) = -m**3 - 11*m**2 - 8*m + 8. Suppose -40 = 2*b + 2*b. Let i be o(b). Let z = -12 - i. Solve -h + s - 8 - 2 = z, 2*s + 15 = -5*h for h.
-5
Suppose 50*j - 23 = 127. Solve j*r + 2 = r + 2*o, r - 7 = 3*o for r.
-5
Let d be 10 + -9 + (0 - 1). Solve 5*v - 2*p + 5*p - 31 = d, -v - 2*p = -9 for v.
5
Let k be 22*(-5 + 5*44/40). Solve 0 = 5*p - 3*l + 1 + k, 8 = -5*p + 2*l for p.
0
Suppose -11*w + 85 - 30 = 0. Solve -s + 5*m + 2 = 0, 0*s + m = w*s - 10 for s.
2
Suppose 2*w = -4*g + 6, 3*w + 0*w = -4*g + 9. Solve 0 = w*l + 2*l + 2*y + 13, 4*l + 15 = 3*y for l.
-3
Let w(p) = 3*p**2 + 3 - 2 + 0. Let h be w(-1). Suppose 4*t - 36 = h*g, 3*t + g - 5 = 6. Solve 0 = 4*v + 5*j - 11, 2*v + t = 3*j - 6 for v.
-1
Let t(f) = -2*f**2 - 11*f + 5. Let l be t(7). Let r be (-102)/l + (-22)/(-5). Solve p - 5 = -j, -r*j + p = -p - 18 for j.
4
Suppose 0 = -g - g. Suppose g = -11*r + 10*r. Suppose -3*j + 4 + r = 4*c, 0 = -4*c - 20. Solve -j = -0*i - i - 4*w, 0 = -2*i + w + 7 for i.
4
Suppose -34*h = -38*h - 5*f + 32, -3*f + 32 = 4*h. Solve 0 = -4*k + h*k - 4, 0 = -3*a - k + 13 for a.
4
Suppose -6 = r - 5. Let p be (0 - 1)/(r/2). Solve -5*l - 2*k = 1, -p*l + 3*l = k - 3 for l.
-1
Suppose 3*d - 5*g - 173 = 0, 5*d + g = 3*d + 111. Let y = d - 56. Solve 5*h + 2*w + 6 = y, 6*h - 2*h = 2*w - 12 for h.
-2
Suppose -m = 4 - 7. Suppose -z + 16 = m*z. Solve 2*v = 7*v - o + 9, -3*v - z*o - 10 = 0 for v.
-2
Let n(l) be the third derivative of l**5/60 - 19*l**4/24 + 35*l**3/6 + 23*l**2. Let q be n(18). Solve 2*f - 5*f + g = -q, 4*g + 20 = 0 for f.
4
Suppose 0 = 19*u - 20*u - 76. Let g = u + 76. Solve -3*w - 15 = -g*x - 2*x, -x + 3*w + 12 = 0 for x.
3
Let d be (1 - -7)*(-6)/4. Let k = -10 - d. Solve -j = 5*f - 1 - 14, 0 = -k*f - 5*j + 6 for f.
3
Let p = 332 - 329. Solve 4*d = -3*y + 25, -5*y + y - p*d = -24 for y.
3
Let c(d) = -d**3 + 5*d**2 - d - 5. Let r = 7 - 3. Let y be c(r). Solve -5*t = 4*h + 23, 3*t + y = 2*h + 2 for t.
-3
Let v = 9 + -14. Let x(h) = 3*h + 17. Let y be x(v). Solve -5*k + 6 + 20 = 4*n, -y*n + 16 = 4*k for k.
2
Let k(p) = 9*p - 1. Let z(j) = j. Let y(x) = -k(x) + 6*z(x). Let f be y(0). Suppose -5*i - f = -11. Solve 5*r + 5*s = 25, i*r - 7*r + 5*s - 5 = 0 for r.
2
Suppose 9 = 2*n - u, 5*n + u = -u + 9. Suppose 6 = -2*c + n*c. Solve 2*m - 3*m = -s + c, 0 = 3*s - 5*m - 26 for s.
2
Suppose -3 = -4*d + 5. Suppose 0 = -4*l + d + 6. Suppose -i - 12 = -3*i + 2*v, -i + l*v = -7. Solve -j + 19 = i*f, f + 5*j = -f + 26 for f.
3
Let a = 31 + -24. Suppose -u - a*u + 96 = 0. Let c be 62/u + 9/(-54). Solve -3*z - 5 = -c*k, -4*k - z - 4 = -5*z for k.
4
Suppose 5*l = -4*f + 11, 0*l - 3*l - 2*f + 7 = 0. Solve -2*h + 6 = 3*d, h + 0 = -4*d + l for h.
3
Let o = 12 - 3. Let q(i) = -o*i - 136 + 136. Let m be q(-1). Solve -p - 5*n + 17 = -m, 0 = 4*p - n + 1 for p.
1
Suppose -4*d - 4*g + 2*g = -3*g, 4*g = 0. Solve d = w - 2*x - 5 - 0, -13 = 3*w + x for w.
-3
Let v(n) = -n - 2. Suppose 0 = 2*p + 2*z + 2, p - 2*z = -12 + 2. Let o be v(p). Solve -f = -4*h + o*f - 1, -h - 5*f + 17 = 0 for h.
2
Let v(u) = 6*u**2 - 2*u**2 + 4*u + 7*u**3 - 4 + 2*u**2 - 6*u**3. Let j be v(-5). Solve 6 = -2*f - 2*t, 0 = -2*f - t - 5 + j for f.
-1
Let t(j) = -j**3 - 2*j**2 + 3*j + 3. Let i be t(-3). Suppose -2*f + 10 = 0, 5*q + 5*f = 10*f - 5. Solve -c + q*c - 13 = -5*h, -i*h + 2*c = -23 for h.
5
Let p(f) = -2*f - 41. Let x be p(0). Let t = -18 - x. Solve 3*q - t = 4*v, 2*v - 3*q + 6 = -7*q for v.
-5
Let c(f) = -f**2 + 6*f + 47. Let p be c(10). Solve 0 = -5*w - g + p, w - 2*g = -4*w + 1 for w.
1
Let g = 884 + -860. Solve 4*c = 4*s + g, 3*c - 1 = s + 9 for c.
2
Let v(i) = 4 - 6 - 2 + 5*i - i**2. Let m be v(3). Let t be -2 + -1*1 + -8 + (-8 - -22). Solve -a - 3 = 0, -t*q - m*a = 2*a + 9 for q.
1
Let d(u) = -2*u**3 - 7*u**2 - 7*u - 9. Let o be d(-4). Suppose 2*j - o = -27. Solve j*z = -x + 2, -5*z + 17 = -4*x + 4 for z.
1
Let q(z) = z**3 - 50*z**2 + 93*z + 147. Let s be q(48). Solve -1 = s*i + 4*l + 1, -i = 2*l for i.
-2
Suppose 2*m - 4*d = 8, -d + 16 = 4*m - 2*d. Suppose -3*q + 18*q - 135 = 0. Solve 0 = -m*n - 5*f + 11, -3*f - q = -n + 2*f for n.
4
Let o = -178 + 188. Let y be (1 - 3)*2/(-1). Let f = y - 0. Solve -o = -t + 6*t, 4 = -f*c + 4*t for c.
-3
Suppose -2*n = -5*n + 3, -11 = -2*j - 3*n. Solve -18 = -2*u - 5*y, -j*y + 3 = -2*u - 15 for u.
-1
Suppose 4*x + 0*x = -24. Let b(u) = 2*u**2 + 10*u + 8. Let j be b(x). Solve 4*h - 4*o + j = 0, -4*h + o - 6*o - 20 = 0 for h.
-5
Suppose -6*h + 2*h + 5*o - 32 = 0, 3*o - 24 = 4*h. Let b = h + 0. Let y be (0/b + 3)/1. Solve q = -n, y*q = -3*n - 2*n - 8 for q.
4
Let y be ((-9)/6)/(9/(-12)). Let p = 3 + y. Solve -p*x - q + 5 = -2, 0 = -4*x + 2*q for x.
1
Let m = -83 - -86. Solve 3*x - 6 = -m*d, -x + 6*x + 3*d = 0 for x.
-3
Suppose 3*k = 3*w - w + 1, -14 = -2*k - 2*w. Solve 2 = -x + k*u, 0 = 3*x + x - 5*u + 1 for x.
1
Let q = -41 + 15. Let c = 26 + q. Suppose 0 = -3*v + 5*o + 85, c*v = 3*v - 2*o - 97. Solve -5*y = 25, 0*d - 2*d + 5*y = -v for d.
5
Let w be (15/60)/((-2)/(-32)). Solve 2*r - j - 1 = -10, 0 = w*r - j + 15 for r.
-3
Suppose 0 = 40*h - 35*h - 105. Suppose 16*g = h*g - 95. Solve 5*y - 2*u - 3 = g, u = 2*y - 9 for y.
4
Let i be ((-30)/24)/(13/(-52)). Solve -k = -i*h - 1, -3*k + 4*k + 3 = h for k.
-4
Suppose 2*l = -2*w - 4, 2*l - 2*w + 6 - 18 = 0. Solve -4*h + 4 = b - 6, -2*b = -3*h + l for h.
2
Suppose -74*x + 71*x + 9 = 0. Solve -6*y + x = -g - 5*y, 0 = -4*g + y - 12 for g.
-3
Let z = 36 - 47. Let d be ((-1)/2)/(z/88). Suppose 2*k + 3*h + 1 + 2 = 0, 0 = -2*k + 4*h + d. Solve -w - 3*s + 16 = k, 7*w - 4 = 3*w + 3*s for w.
4
Let s be (-3 - (-5 - -5))/((-6)/86). Let l = s - 39. Solve 5*g + c + l = 0, 3*g + 5*c - 6 = 4*g for g.
-1
Suppose 10*u - 3 = 5*u + 3*k, -5*u + k = -11. Suppose 4 = 3*d - 5. Suppose d*p - 5 = 22. Solve 0 = 3*y + 3, 3*t = -u*y - p for t.
-2
Suppose 2*a = 4*m - 2 - 6, 6 = 2*m. Suppose -a*o - 4*y - 7 = -o, 2*y = 2*o - 16. Solve 2*b - 3*b = 2*r + 5, o*r = -5*b - 15 for b.
-1
Let t be (2/8)/(3/48). Solve -5*o + t*p + 15 = -0*p, 0 = 2*o + 5*p + 27 for o.
-1
Let h be 2 - 1 - -2*(11 + -10). Solve -3*t = 4*y + 14, -t - t + 19 = -h*y for y.
-5
Let n = -9 - -32. Let y = 28 - n. Solve 0 = -y*f - 4*g + 15, -5*f