n + v for n.
-4
Let q = 5 + -7. Let k = 1 - q. Solve k*w + 5*a = -2 - 20, -4*w + 4*a = 8 for w.
-4
Suppose -5 = -8*g + 3*g. Solve s - 6 = -5*l - g, -2*l + 2 = -4*s for l.
1
Suppose v + 5 = -0. Suppose 0 = 4*k - n - 27, k - 9 = -0*n - 2*n. Let x = v + k. Solve -a - x*h + 4 = 1, 0 = -4*a - 5*h + 6 for a.
-1
Let q = -29 - -52. Solve 0*j + q = 4*j - 3*t, -j + 3*t + 17 = 0 for j.
2
Let r be 6/(-14) - 17/(-7). Solve -r*w - c = -5*c - 12, -w = 4*c for w.
4
Let c = -46 + 51. Solve 0 = -2*m + c*z - 26, -m - 3*z - 1 + 10 = 0 for m.
-3
Suppose 3*m + 2*m + 23 = 2*x, -5*x = m - 17. Let o be -3*6/m + -1. Suppose -1 = -g, -2*z + 20 = z + o*g. Solve -3*k + 9 = -z*h, 0*h - 5*h = 0 for k.
3
Let h = -28 - -13. Let a = h - -15. Solve 0*k - 5*k + 10 = u, u - k - 4 = a for u.
5
Suppose 4*p = -0*p. Suppose p = 3*g - 9 - 3. Solve 0 = -3*h + 2*a + 2, a - 12 = g*a for h.
-2
Let f(h) = h**3 - 7*h**2 - h + 9. Let p be ((-7)/(-14))/((-1)/(-14)). Let d be f(p). Solve 0*j - d*q - 14 = -3*j, 0 = -2*j + 5*q + 13 for j.
4
Let n = 28 - 10. Solve 0*c + b + 11 = 3*c, 2*c - n = -2*b for c.
5
Let p be (-1)/3 - (-86)/(-3). Let t = p + 40. Suppose -40 = t*n - 16*n. Solve 0*f + s = f + n, -12 = -4*s for f.
-5
Let z be 2 + 14/(2/(-2)). Let p = z + 13. Solve 0 = 3*k + 3*w, k = 5*w + 7 - p for k.
1
Let u = -1 - -1. Let o(l) = -l + 1. Let r be o(-3). Suppose 0 = -0*y - r*y. Solve -g + 12 = -u*k - 4*k, -3*g + 2*k - 4 = y for g.
-4
Let j be ((-16)/(-3))/8*3. Solve 3*u + 3*d = -j*d + 17, d = 5*u - 19 for u.
4
Let j be (-2 + 1)/(21/(-9) + 2). Let r = -10 - -14. Solve -r*h = -j*n - 0*n - 8, 2 = h - 4*n for h.
2
Let i(c) = 7*c**2 - 1. Let g be i(-1). Suppose -2*j - 2*j + 4*n = -8, j - g = 5*n. Solve -j = 2*v - 3*f - 8, 0 = -v - 4*f + 9 for v.
5
Let b = 20 + -36. Let f = b + 17. Solve -4*v + 19 = -f, -z - 4*v = -17 for z.
-3
Let m(n) be the third derivative of 0*n + 2*n**2 + 0 - n**3 + 3/8*n**4 + 1/60*n**5. Let y be m(-10). Solve y*d = x, d - 5*x = -2*d for d.
0
Let a = 10 + -13. Let p be ((-30)/a)/(4/2). Suppose 0*o = -3*o - 15, -2*o - 10 = -5*c. Solve c = -k + p*l - 23, 5*k - 2*l = -3*l + 15 for k.
2
Suppose 3*k = -2*k. Suppose a + 5*j - 1 = -9, k = -j - 2. Solve -3*n + 14 = -5*u, 7*n - 5*u - 10 = a*n for n.
-2
Suppose -6 = -5*s + 14. Solve 5*p - q - 23 = -2*q, -p + s*q = -13 for p.
5
Let j(b) = -b**2 - 3*b + 9. Let n be j(-4). Solve 4*z + 32 = -0*z - 4*p, n*z + 31 = -2*p for z.
-5
Let z be (-14)/(-6) + 2/3. Suppose 2*s - 6*s = 0. Solve i + 14 = -3*t, s = -z*i - t + 6*t for i.
-5
Let i = -1 + 3. Let r be 10/(-3)*(-18)/12. Solve 0 = -4*t + 5*t + r*a + 25, 0 = i*t + a + 14 for t.
-5
Let y = -2 - -5. Suppose -2*z + 6*z + 20 = -4*f, 0 = 3*f + y. Let s = z - -6. Solve -s = 3*t + 3*o - 4*o, 5*t - 2 = -o for t.
0
Let g(i) = -7*i + 66. Let w be g(7). Solve -5*u - 50 = 5*r, -4*u = -r - 2 + w for u.
-5
Let w(t) = 7*t**2 - 4*t - 3. Let f be w(-2). Suppose -2*b + 5*g = -17, -3*g + f = 5*b - 56. Solve -4*x + b = -4*c, x - 3*c - 1 - 11 = 0 for x.
0
Let i = -121 - -129. Solve -3*f + i = -7*f + 2*j, -j = -2 for f.
-1
Suppose -5*k = -3*n + 11, 4*n + k - 3*k - 10 = 0. Solve 3*r - 4*g + 3 = -8*g, -n*r = -g - 9 for r.
3
Let s be (0 + -2 - -4)/1. Suppose 4*r + 12 = -4*u, -s*u + 0 = -4*r + 18. Solve 0*k + k = 3*y + 7, 3*y = -r*k - 22 for y.
-4
Suppose -2*s - 4*a + 8 = 0, 5*a - 15 = -3*s - 2*s. Suppose s*b + 32 = 6*b. Let i be b*(4*-3)/(-3). Solve -2*x + 13 = -3*d + i, -4*d - 3*x = 3 for d.
3
Let f(i) = 3*i**3 - 1. Let p(w) = w - 1. Let a be p(2). Let s be f(a). Solve 3*k - 16 = 4*q, k + 0*q - s*q - 8 = 0 for k.
0
Suppose h + 30 = -4*h. Let l = h + 6. Solve 2*z + 3*j - 5 = l, 0*j + 4 = 4*j for z.
1
Suppose w + 15 = 4*w. Let k = -49 + 58. Solve 5*o + 3*z - k = 4*z, -w*z = -5 for o.
2
Suppose -2*c - 20 = -4*i, -2*i = c + 1 - 11. Let r(a) = -a + 2. Let p be r(-2). Solve h = -p*v - 9, -v + 4*h - 6 - 9 = c for v.
-3
Suppose -o - 30 = -4*o. Let v = o + -8. Solve -2 = -2*u + 3*u + 3*d, 4*d = -v*u for u.
4
Let l(t) = -6*t. Let r(i) = 7*i. Let h(m) = 6*l(m) + 5*r(m). Let a be h(-1). Suppose -5*s - a + 26 = 0. Solve -5*b + 2*q = 5*q + 8, -s = 5*q for b.
-1
Let b(j) = 2*j + 17. Let l be b(-7). Solve -l*m + 18 = -3*i, 0*m = -4*m + 20 for i.
-1
Let r(j) = -j**3 + 15*j**2 - 13*j - 12. Let x be r(14). Let c be (3/2)/(1/x). Solve -3*m - c*o = -12, 5*m + 2*o = 4*o + 6 for m.
2
Let m be 2/(-9) + 104/(-18). Let r be -1*(m - -3)*1. Solve b = 2*t - 6, 2*t - r*t + 2*b = -9 for t.
1
Suppose m = -0*m + 3. Suppose -m*c = 2*c - 15. Solve c*z - 2*z + 4*n = -15, -5*z - n = 18 for z.
-3
Suppose 5*y + v - 20 = 0, -4*y + 4 = -3*y + 3*v. Solve y*n + 0*i = 5*i - 12, -2*i + 16 = 4*n for n.
2
Let i = -1 - -8. Solve -p = -w, p + 10 = 3*w - i*w for w.
-2
Let o = 42 + -38. Solve 0*p - o*p + 3*f + 1 = 0, 0 = -2*p - f + 3 for p.
1
Let p = -25 - -31. Let b be -1 + (-1)/((-1)/17). Suppose 0 = 3*v + 2*a - 5 - b, 5*v + 4*a - 37 = 0. Solve p*n - v*g - 37 = 2*n, -n - g - 2 = 0 for n.
3
Let v(g) be the third derivative of 0 - 1/12*g**5 + 1/120*g**6 + 1/3*g**3 + 0*g + 2*g**2 + 1/6*g**4. Let y be v(4). Solve t + 2*q = 5 + 2, -t + y = q for t.
-3
Let d be ((-24)/20)/((-3)/(-10)). Let q = d + 4. Suppose 3*u - 6 + q = 0. Solve 0*m - 10 = -5*m + u*p, 0 = p for m.
2
Suppose -21 = 2*f - 5*f + 4*z, 7 = f + z. Suppose -2*x + 1 = -f. Solve 5*c + 20 = -3*d, x*d - d = -2*c - 8 for c.
-4
Suppose 20*i - 24*i + 16 = 0. Solve -2*p = i*c + 6, -3*p - 5*c = -p + 8 for p.
1
Suppose -2*n = 0, 3*i = 4*n - 3*n. Suppose z + i*z - 5 = 0. Solve v - 6*v = 2*h + 4, -4*h - 8 = -z*v for v.
0
Let y be 6*(-2)/(-4) + 1/1. Solve -f = -y*f - 2*t + 15, -5*f + 2*t = -25 for f.
5
Let q = 0 + 0. Solve 2*v - 7*v + 20 = q, -v = -z - 2 for z.
2
Suppose -t + 11 - 13 = 0. Let q be (1 + t - -4) + 0. Solve p + 2 + 1 = 2*i, 0 = q*p + i - 19 for p.
5
Let r be ((-15)/25 - -1)*5. Solve -4*w = 2*i - 10, -r*w = 2*i + i - 3 for i.
-1
Let f = 5 - 0. Solve -f*d + 4 = -4*n, 5*d = -n + 6*n for d.
4
Let h be (-2)/3 - (-11)/3. Suppose -q = -3*l - 19, 0 = 4*q - 0*l + l - 11. Solve 3*k = h*p + 18, -3*p + 16 = -5*p + q*k for p.
-4
Let j be (3/((-18)/(-8)))/((-18)/(-54)). Suppose 0 = -5*q + 2*w + 19, 4*w - 15 - 22 = -5*q. Solve -16 = j*h + t, 28 = h - q*h - 4*t for h.
-3
Let i = 6 - 8. Let o = i - -2. Suppose 5*t + 0*y - 8 = -2*y, 12 = 3*y. Solve -w + 1 = -2*j, t = -3*w + 5*j - o*j + 1 for w.
-3
Let m = -61 + 70. Solve 15 = 3*d + 3*f - 4*f, m = -3*f for d.
4
Let d = -10 + 12. Suppose -3*t + 6 = -d*t. Solve -2*g + l = t, -g = g + 4*l + 26 for g.
-5
Let v(y) = -9*y. Let p be v(-1). Let f be (p/6)/(1/(-2)). Let s = 0 - f. Solve -4*o + 19 = o + 3*t, 5*t = s*o + 9 for o.
2
Let h = 11 - 7. Suppose 2*a + 4*t - 6 = 0, -2*a + 12 = a + 3*t. Let d be (-2)/(-7) - (-6)/(-21). Solve -3*l = 5*v + 6 + a, d = h*l - 2*v + 6 for l.
-2
Let h = -7 + 9. Suppose -o + h*o = 9. Suppose 14 = m + 4*k, -6*k + o = -3*k. Solve 0*s + m*s - 7 = f, 2*f = 2*s - 6 for f.
1
Let m = 5 - 1. Solve m*w - 10 = -2*q, -5*q = -4*w + 32 + 13 for w.
5
Let d = 4 - 4. Suppose d*m = 2*m - 32. Solve -5*u + 7 = -5*y + 27, 0 = 5*y - 3*u - m for y.
2
Let x(w) = w**2 + w - 2. Let r be x(2). Solve 2*a + 2 = 4*y + 4, 0 = y - r*a - 3 for y.
-1
Let l(p) = 3*p**3 - p**2 + 1. Let g be l(1). Suppose -16 + 4 = -4*b - 4*v, 7 = g*b + 5*v. Solve 0 = -m - 4*r - 9, -m = m - 3*r - b for m.
-1
Let x be 3/(42/15 + -3). Let z = -9 - x. Solve -3*v - 4 = -3*j - 1, 0 = v - 2*j + z for v.
4
Suppose 8 = 6*m - 2*m. Solve -m*z = -w - 6 - 0, 8 = 4*z - 3*w for z.
5
Suppose j + 3 = 5. Solve 2*a = 2*y - 3*y - 3, 2 = -j*y for a.
-1
Let o be 2/(1 - 3/9). Suppose 15 = 4*t + 4*w + 3, 0 = t + o*w + 5. Suppose 3*b + 1 = 4. Solve 6 = -5*z - d, -5*d - b = 3*z + t for z.
-1
Suppose -9*m + 6*m + 21 = 0. Solve 0 = 3*q + 3*z - 7*z + m, -q + 1 = -3*z for q.
-5
Suppose 3*h = 2*h + 2. Let a = h + 1. Suppose 2*t + a - 9 = 0. Solve r - 5 = -s, -2*s + 17 = 3*s + t*r for s.
1
Let a(i) = i**2 + 6*i + 4. Let u be a(-6). Solve c + u = -3*l, -4 = -2*c - 0 for l.
-2
Let j be (2 + -3 - 0)*-1. Let m(h) = 3*h**3 + 2*h**2 - 1. Let q be m(j). Let k be 561/27 - 4/(-18). Solve 0*o = -4*o - v - k, -5*o = q*v + 40 for o.
-4
Suppose -2*m - 3 = -q, 4*q - 3*m + 2 = 9. Suppose -q + 10 = 3*b. Let s(p) = p**3 - 8*p**2 + p - 5. Let z be s(8). Solve c + z = 2*c, -b*d - 3*c = 6 for d.
-5
Let k(y) = -y**2 + 6*y - 2. Let q be k(5). Solve -5*g 