n - 2*v for n.
4
Let o(a) = a + 5. Let j be o(-2). Solve 3*c = h + j + 8, -13 = -2*c - 5*h for c.
4
Let q be ((-3)/6)/(4/(-32)). Solve -3*y + 14 = -m, -y - q*m = 3 + 1 for y.
4
Let f = 7 + -3. Let c(j) = j - 9. Let d(x) = -x + 8. Let r(l) = -6*c(l) - 7*d(l). Let y be r(f). Solve 0*o - 4*o = -3*n - 4, 2*o = -y*n - 12 for o.
-2
Suppose 0 = -5*l - 5*s + 100, 0 = 2*l - 2*s - 22 - 2. Suppose 0*v = 4*v - l. Solve 3*y - 1 + 2 = u, 2*u = -v for y.
-1
Let b(d) = d**2 - 9*d + 5. Let h be b(9). Solve -5 = h*t, -4*t = w - 0*t + 3 for w.
1
Let p be (3/1)/(6/10). Suppose v - p*v = -h - 14, -v = 4*h + 5. Solve 0 = 2*m - 3*w - 5, -v*w = 4*m + 2*w + 1 for m.
1
Suppose 3*c + 4*c = 35. Solve c*d - 18 = -2*o, 0 = -o + 4*d - 2 - 2 for o.
4
Suppose 0 = k - 0*k - 3*x - 14, 0 = k - 5*x - 12. Solve 4*z = -2*n - 4, k = -3*z + 5*n - 12 for z.
-3
Suppose -33 = -2*l + 5*j, 27 = 4*l - 5*j - 14. Suppose -l*a = -0*a - 16. Suppose a*s - 26 = -s + 3*n, -2 = n. Solve 5*k = -i + 18, -s*i + i - 3 = -4*k for k.
3
Let l = -1 + 6. Suppose l*f - 3 = -8. Let n be (-3)/(f - (-2)/(-4)). Solve 0 = -2*y - o - n, -y + 4*o = 19 for y.
-3
Let s be (3 - (-36)/(-8))*2. Let w be s + -10*(-3)/6. Solve 4*p + w + 6 = 5*u, 0 = 5*p - 15 for u.
4
Let c(i) = i**3 - 21*i**2 + 38*i + 4. Let k be c(19). Solve 0*j = -k*w - 2*j, 13 = -5*w + 4*j for w.
-1
Suppose -6*l + 13 = -2*l + b, -l - 3*b - 5 = 0. Solve -l*j = -f - 20, -f = -j - j + 10 for j.
5
Suppose -w - 5 = 5*t - 33, 0 = -t + 4*w - 7. Suppose 3*q + 4 = t*q. Suppose -62 = -q*h - 14. Solve c + 4*l = 2*c + h, -c = 3*l - 11 for c.
-4
Suppose 0 = -7*f + 3*f. Suppose f*h = -3*h. Solve -3*q - 2*c + 6 = -0*q, -4*c = h for q.
2
Let t(u) = u**2 - 4*u - 8. Let j(v) = 3*v**2 - 4*v + 2. Let l be j(2). Let a be t(l). Suppose 4*c - 76 = -a. Solve 3*w - 10 = -2*p, p - 5*w = 3*p - c for p.
-1
Let i = -14 - -19. Suppose -v - i*f + 23 = -0*v, 0 = 4*v - f - 8. Solve -5*m - 2*w = -7, -m - v*w = 3*m for m.
3
Let s = -12 + 19. Suppose 0 = -z - 5*c + 3, -2*z + 5*c = -6. Solve 2*u - s = i - 4*i, u = -z*i + 5 for u.
2
Let u = -38 + 56. Let y be (-8)/(-3)*u/8. Suppose y + 4 = 5*p. Solve n = -3*q + 15, -n = -2*q - p*n + 11 for q.
4
Suppose 3*o - 5*o = -14. Solve 3*r + o = -5*x, 1 = -x + r - 2 for x.
-2
Let q(t) = -t - 2 - t - t**2 + 4. Let v be q(-2). Solve -3*f + v*h + 9 = 0, 4 + 2 = 2*f - 5*h for f.
3
Let i(p) = -p**2 - 6*p + 19. Let j be i(-8). Solve 3*b - u = 3*u + 7, -j*b + 2*u = 1 for b.
-3
Suppose -165 = -6*g + 171. Suppose p = 20 - 4. Solve 5*w - g = 4*i - p, 2*w - i - 13 = 0 for w.
4
Suppose 5*r - 7 - 3 = 0. Let y be (-4)/(-5)*(2 - -3). Solve 3*s - y = r*w, -3*w = 4*s - 6*s - 4 for s.
4
Let o be (2 - 0) + 2/2. Let a(b) = -2*b**2 - 4*b + 6. Let p be a(-5). Let f be (p/4)/(o/(-2)). Solve 0 = j + 4, -2*u = -f*u + 4*j + 6 for u.
-5
Suppose i - 3 = -3*f, f - 3*i = -2*f + 15. Solve 5*w + 16 = f*h, -3*w + 5*h - 12 = 3*h for w.
-2
Let o(i) = 2*i**2 - i - 1. Let l be o(-1). Let v = 1 + l. Let y(g) = -g**2 + 5*g - 3. Let b be y(3). Solve 0 = -b*a + v*f - 18, 4*a - 2*f + 2 = -16 for a.
-3
Let v(y) = y**2 - y - 1. Let m be v(-4). Let j = m + -9. Solve -3*l = p + 4*p + j, l - 3*p = 20 for l.
5
Suppose 3*x - 60 = -5*b, -66 - 34 = -5*x + 5*b. Solve 0 = c - 4*w - x, c + 0*w + 4*w = -12 for c.
4
Let i = -21 - -36. Let p = i - 11. Solve p*v = 2*g + 4, -v - 2*v = 3*g + 15 for g.
-4
Suppose 5*z - 10 = 0, -8 = 2*a - z + 3*z. Let v = -6 - a. Suppose -5*c = -y - 22, 5*c + 6 - 31 = v. Solve -y*t + n - 8 = -7*t, -4*t + 4 = 2*n for t.
3
Let b = -15 + 30. Solve -4*f - f = 5*z - b, -5*z - 3 = -f for z.
0
Let y = 434 - 430. Let j be 14/4 - 1/(-2). Solve j*c + 10 + 10 = 4*n, 0 = -2*c - 5*n + y for c.
-3
Suppose -b = -3*t + 11, -b - 3*t + 13 + 6 = 0. Let d be ((-3)/4)/(3/(-12)). Solve 4*g = -7*n + d*n, -3*n = -b*g - 7 for g.
-1
Suppose m = -m - 10, -35 = -5*t + 3*m. Let r(p) = -t*p**2 - 2*p**3 + 5*p**3 + 3*p**2. Let f be r(1). Solve f = -5*h + l - 15, 3*h = -3*l - 3 for h.
-3
Let b be (0 - -7) + -4 + 0 + 0. Solve -4*x + 1 = b*o, -2*o + 0*o + 5*x = 7 for o.
-1
Let h = 0 + 2. Suppose 4*i = z + 14, 3*z - 33 = -0*z - 3*i. Let y = z + -1. Solve -8 = -h*v - 3*v + t, y*v + 5*t + 10 = 0 for v.
1
Let h(a) = 7*a - a**3 + 1 - 3*a - 2 - 4*a**2. Let y be h(-5). Suppose -26 = -5*i + s, 2*i + 5*s - 44 = -2*i. Solve m - 2*d - i = -m, -y = -2*d for m.
5
Let d(s) = -2*s**3 + 0 + 1 - 2*s - 2*s**2 + s**3. Let f be d(-3). Suppose -3*y = -3*u - 4*y + f, -8 = u + 3*y. Solve u*b - 3*b + 19 = -5*i, -b + 8 = -3*i for i.
-3
Let z = -1 - -1. Suppose -2*p + p - 2 = z. Let t be (0 + 1)/(p/(-8)). Solve 0*q - q - t*s = 8, -7 = 2*q - s for q.
-4
Suppose -6 + 34 = 4*r. Solve -3*w + 26 = 4*y, 0 = -2*y - 3*w + r*w + 2 for y.
5
Let h = -40 + 22. Let t be 5/((-15)/h)*-4. Let w be 20/(-30)*(t - 0). Solve 3*m + w = q, 5*q - 6*m - 30 = -m for q.
1
Let k = -2 + 5. Let j = 16 - 10. Let g be j + 0 + (3 - 5). Solve -4*p = g, -5*c + 28 = -0*p - k*p for c.
5
Let z(o) be the third derivative of o**6/120 - o**5/60 + o**4/12 + o**3/6 - o**2. Let i be z(2). Solve 4*a - 5*p + 16 - 3 = 0, i = -4*a + p for a.
-2
Let k(b) = -b + 1. Let c be k(-3). Let o = 59 + -57. Solve c = v, s = -2*v - o + 11 for s.
1
Let i(j) = -j + 5. Let h be i(0). Suppose -h*w = -2*w. Solve 9*v - 4*v = 3*l - 24, w = -5*v + 5*l - 30 for v.
-3
Suppose -6*v = -5*v + 4. Let x be (4 - (0 - v))*1. Solve -4*c + l - 4 = x, -4*l = -5*c - 3*l - 6 for c.
-2
Let m = 54 - 50. Solve -5*p - v = 5, -3*p - m*v - 3 = -2*v for p.
-1
Let r be ((-4)/7)/((-180)/42 + 4). Solve r*n = -k - 2*k + 4, 0 = 3*k - 2*n - 8 for k.
2
Suppose -89 = 2*u - 103. Solve 5*b - 3*g = -28, 0*b + 3*g = -2*b - u for b.
-5
Suppose -12 = -2*b - 2*b. Suppose q = -0*q + 2. Solve 5*l = -4*z - 14, -3*l - b*z - 7 = -q*z for l.
-2
Let f be 10/6 - 2/(-6). Let n be f - -2 - (1 + -2). Solve -4 = 2*a, 7*h + n*a = 2*h - 10 for h.
0
Let a(z) = z**3 - 10*z**2 - 10*z - 8. Let r be a(11). Suppose 2*b = r*b - 4. Suppose b*p - 20 = 4. Solve 3*m = 5*i + 5 + p, 3*m - 2*i = 8 for m.
2
Suppose -t = 4*t - 30. Suppose -t = z - 3*z. Solve 5*h - z*s = -11, 0*h + 2*s - 3 = -h for h.
-1
Let q be (-4)/(-1) + (1 - 2). Suppose -2*l = 3*l - 30. Let w = 8 - l. Solve 0 = -4*g - 5*m - q, -g - 2*m + w = 2*m for g.
-2
Let l = 224 + -219. Let y(c) = c**2 + c. Let b be y(-2). Solve -3*z = l*a - b*a + 3, -3*a - 3 = 5*z for z.
0
Let f(m) be the second derivative of -m**3/6 - 5*m**2/2 + 2*m. Let w be f(-10). Solve 0 = k - w*h - 8, -2*k + 6*k - 5*h = 17 for k.
3
Let r = -78 - -82. Let l = 12 - -6. Suppose l = r*i - i. Solve 3*d - 3*g - g - 8 = 0, -3*g = 5*d + i for d.
0
Let w = -1 + 11. Suppose -4*i + 1 = j - 9, -2*i = -2*j - w. Let v(h) = 14*h + 2. Let u be v(2). Solve -i*s - 2*g = 2*s + u, -22 = 3*s + 2*g for s.
-4
Suppose 0 = -7*r - 3*r + 30. Solve -4*b + 15 = -r*b - 2*u, 0 = -5*b - 5*u for b.
5
Suppose -2*k + 1 = 5. Let m(f) = -4*f - 2. Let b be m(k). Suppose -3*s + 4*s = -5*v + 63, 2*s = b. Solve o = 4*o + 6, 0 = -4*j + 4*o - v for j.
-5
Suppose 3*t - 8*t = 0. Suppose 0 = 4*u - 5*z + 3*z, u - 5*z = t. Solve 3*l = -u*l - s - 13, 3*l - 4*s = -23 for l.
-5
Suppose -5*l + 169 = -31. Suppose -5*f + 0*f + l = 0. Suppose 5*k - f = 2*g, 0*k - 4*g = -k - 2. Solve -3*j - 4*t - k = 2, j + 2 = -t for j.
-4
Let n = -5 + 9. Suppose -7 = -5*s - 2*t, 25 = 3*s - 0*t - n*t. Solve -2*k + s*b - 15 = -0*b, -6 = 5*k + 3*b for k.
-3
Suppose 0*o + 8 = o. Let n be (o/10)/((-14)/(-35)). Solve 4*q = -y + 4, -3*q + 8 = -4*q + n*y for q.
0
Let j be -18*(12/(-4))/9. Solve -14 = 3*x - 2*a, 5*x + 3*a + a = j for x.
-2
Let v(u) be the first derivative of -u**3/3 - 3*u**2 + 3*u - 3. Let f be v(-6). Solve -3*b - 4*c - 6 + f = 0, 4*b = 2*c + 18 for b.
3
Let t = -20 + 24. Solve 0*i + 4*h - 18 = -2*i, t*h - 13 = 3*i for i.
1
Let b(r) = r**3 + 3*r**2 + 2*r + 3. Let x be b(-2). Solve 4*d + x*g = -0*d - 21, 4*d + 2*g + 18 = 0 for d.
-3
Suppose -4*h = -3*c + 32, 5*c + 0*h = h + 42. Suppose 0*y + 2*y - c = 0. Solve 0 = -y*v - 4*p, 2*p - 7 = 3 for v.
-5
Let i(r) = r - 4. Let n be i(7). Solve -2*w - 3*w = n*y - 20, y + w - 6 = 0 for y.
5
Suppose -4*u = -b - 5, 5*b + 0 = 4*u + 7. Solve -14 = r - 4*y + 9, 0 = -4*r - 3*y + b for r.
-3
Let i be 1 + 0 + (-1 - 2). Let k(m) = -2*m**3 - 3*m**2 - 2*m - 3. Let v be k(i). Solve l + 4 = -3*g, -2*g + 0*g = v*l + 20 for l.
-4
Let r be (0/2)/((-6)/(-3)). Suppose -