, n + l = -v for n.
-3
Let o be (1/(-3))/((-2)/30). Suppose -2*w + o = u, -8*w + 3*w = u - 5. Let s be 9/7*((-301)/(-21) + -12). Solve -7 = -2*k - s*k - 3*q, k - q - 3 = w for k.
2
Suppose 3*w - 22 = -4*p, -30*w + 10 = 2*p - 29*w. Solve -2*s + o - p = -6, 5*o + 3 = 3*s for s.
1
Let y = -4755 + 4758. Solve -2*j + y = -3*j - t, j - 5*t = 21 for j.
1
Let h = 6323 + -6318. Solve 4*s + 3*a = -17, h*s - a + 13 = 6 for s.
-2
Let o(h) = 2*h**3 - 4*h**2 - 2. Let j be o(3). Suppose 0 = 5*q + y - 6, -2*q = y + 4*y + j. Solve -5*f + 3*p = -9, q*f - 2*p - 6 = 3*f for f.
0
Let w(b) = 20*b - 350. Let z = -455 + 474. Let u be w(z). Suppose -15 = -5*y + 2*y - 4*x, -3*y + x + 15 = 0. Solve j - 5 = p + 4, -y*j + 2*p + u = 0 for j.
4
Let x(p) = p**3 - 5*p**2 - 4*p - 10. Let y be x(7). Suppose 3*i - 15 = y. Suppose 0*h - j = 5*h - i, 10 = 2*h + j. Solve 0*k + 6 = -2*k, -h = 4*z + 3*k for z.
1
Suppose -8*h = -14*h + 294. Let u(j) = -6*j**3 + 1. Let v be u(2). Let s = h + v. Solve 0 = -r - 5*n + 26, r + s*r = n - 2 for r.
1
Let n = -685 - -703. Suppose n*x + 2 = 19*x. Solve x*b - 11 = t, -5*b = 5*t - 6*b + 28 for t.
-5
Let l = -79 - -162. Suppose 0 = -l*m + 86*m - 48. Suppose 0 = -4*d - 4*f + m, -4*f = f + 25. Solve 0*x + 3*i + d = 2*x, 9 = -4*x - 3*i for x.
0
Suppose 0*k - 32 = -4*k. Suppose -448*q + 9695 - 1118 + 2175 = 0. Solve -4*x - q = 2*r, -3*r - 3*x - k = -4*r for r.
-4
Let p be 93/7 - 1 - (-6)/(-21). Suppose -17*r = -13*r + n - 82, -4*n = -5*r + 92. Solve 5*o - 2*i + r = 0, 0 = -3*o + i - 0*i - p for o.
-4
Let k(a) = -142*a + 7. Let j be k(0). Solve 11 = -5*i + q, -2*i + 5*q - j = -i for i.
-2
Suppose 0 = 4*x + 16 - 112. Suppose -t = 2*t - x. Solve 0 = -3*c + 3*v - t - 16, 0 = 5*c + 3*v for c.
-3
Suppose 7*n - 72 = 15*n. Let u(r) = -9*r - 79. Let f be u(n). Solve f*o = -2*v - 2, 0 = -3*v + 3*o + 2*o - 3 for v.
-1
Suppose -16*k + 7 = -25. Let s be k*2*((-1809)/(-12))/9. Suppose 0 = -6*f - 37 + s. Solve 3 = -u - 4*p + 15, 0 = -u - f*p + 16 for u.
-4
Suppose 0 = -45*j + 37*j. Solve -5*k + f = 4, 4*k = 5*f - j + 1 for k.
-1
Let b = -1069 + 1079. Solve j + b = h, 5*j + 8 = 3*h - 32 for h.
5
Let b = 2957 - 2953. Solve j = 3*o + 3 + 5, j + b*o = 1 for j.
5
Suppose -13*g + 6*g = -210. Suppose k = -3*j + j - 3, 2*k - 2*j - 12 = 0. Suppose -k*l + 3 = -12. Solve 3*y + d = -d + 3, 0 = l*y - 5*d - g for y.
3
Let j be ((1/3)/((-71)/923))/(2/(-6)). Solve -o + 12 + j = 4*l, 4*o = l + 15 for l.
5
Let m be (-156 - -86)*(9/10 + -1). Solve 9*d - 5 = 5*s + m*d, 2*s + 4*d = -26 for s.
-3
Let p be (38/190)/(1/15). Solve 22 = 4*v + p*f, -4*v + 10 = 60*f - 63*f for v.
4
Suppose 114 = 124*u - 134. Let o(v) = -v**2 - 3*v - 1. Let h be o(-2). Solve 0 = -3*x - u*n - 10, x + h = -3*n - 0 for x.
-4
Let q be 4*(-55)/(-132)*3. Solve -5*w - 33 = -4*z, 94 = 3*w - q*z + 119 for w.
-5
Let g be ((-4)/(-8))/((-3)/24). Let s be -25 + 4/g + 1. Let f = s + 26. Solve -2*w = 3*j - f, -4*j - 1 = w + 1 for j.
-1
Suppose -5*x = 3*v - 9, 10 = v + 4*x + 7. Let w be (-145)/(-29) - (0 + v). Solve 3*p + 5 = -h - h, -3*h - 10 = w*p for p.
1
Suppose 25*m - 13 - 54 = -17. Suppose 2*t - 204 = -2*t. Let l = t - 31. Solve 5*u = 5*w - l, -m*w - 5*u + 0 = -8 for w.
4
Let j be (-57575)/140 - 2/(-8). Let o = j - -414. Solve -3*d = -o*a + 12, 3*a - 2*d - 1 = 8 for a.
1
Suppose 4 = b - 8. Let y be (-1)/(((-54)/(-42))/(-9)). Suppose -b*a + y*a = -10. Solve -3*j = -0*d + 3*d + 9, 5*d + a*j + 15 = 0 for d.
-3
Let v be -35*12/(-588) - (-23)/7. Solve 0 = -3*d + 5*d - 4, v*d = 3*h + 2 for h.
2
Let n(v) = 2*v**3 - 20*v**2 - 2*v + 20. Suppose 4 = -6*g + 142. Suppose -27*r + g*r = -40. Let l be n(r). Solve -i - 4 = -l*t - 5*t, 2*t + 1 = 3*i for i.
1
Suppose -47*t + 86 = -43*t + 3*i, 4*t + 5*i = 98. Solve 5*b = -18*q + t*q, 5*q = 4*b + 29 for b.
-1
Let l be 1/(2/3*27/1818). Solve -5*h = 25, l*c = 98*c + 4*h + 35 for c.
5
Let y(k) = 10*k - 88. Suppose w = 2*c - 21, 6 = -2*c + 3*c + w. Let g be y(c). Solve -q + 5 = 2*t, 2*q - g*t - 10 = -0*q for q.
5
Let l(b) = b**2 - 9*b + 2. Let g = -13 + 22. Let z be l(g). Suppose -2*r + z = 0, 4*r = -s - 0*r + 11. Solve d - 3*h + 8 = 0, -3*d + 2*h = 3 + s for d.
-2
Let g = -34667 - -34669. Solve -v - g = -w, -4*w + 5 = 3*v + 4 for v.
-1
Let g(r) = 2*r - 5. Let l be g(4). Suppose 5*x - 197 = 248. Suppose x*j = 92*j. Solve -l*a = 2*q - 2, -5*q = -j*q - 5*a + 20 for q.
-2
Let a(m) = m**3 - 13*m**2 + 4*m - 51. Let b be a(13). Let i be (3/b)/(35/(-10) - -5). Solve -5*f + 1 = s - 2, -i*f = -4*s - 10 for f.
1
Let h = 4925 - 4910. Solve -5*k - 5*b = 5, k - 4*b + h = -1 for k.
-4
Let p be (1 + -6)*(24/5)/(-12). Let l be p/6*(4 - 4). Let n be (-34)/2*(-6 + 5). Solve 4*u - 2*a - 24 = 0, l = -0*u + 5*u + 4*a - n for u.
5
Suppose 2*z = q + 17, 3*z - 65 + 8 = 5*q. Solve 0*w - w = -z*k + 21, 2*w - 23 = -5*k for k.
5
Suppose -y = 24*h - 27*h + 21, 4*y = -5*h + 69. Solve -4*v = -5*s - 32, -h*v = -4*v - 15 for s.
-4
Suppose 0 = 11*n + 60 - 104. Solve 5*x = n*z - 16, 3*x + 5*z = 11 - 28 for x.
-4
Suppose -2 = -h - 3*b + 6, -2*b = -5*h + 6. Suppose -761 - 121 = -42*p. Solve -2*r - h*j - p = -5*r, 0 = -5*r + 5*j + 40 for r.
5
Let y = -2194 + 2224. Solve y*o - 31*o + 13 = 3*r, -4*r + 20 = 2*o for o.
4
Let o be ((-10 - -10)/12)/(2*5/10). Solve 0 = 13*b - 17*b + j + 19, -3*b - 4*j = o for b.
4
Let k = -2859 - -2865. Solve k = -2*r, 5*r - 11 + 44 = 6*o for o.
3
Let m be (7/4)/(1 - 33/36). Let q = -42 + m. Let z be (-5)/20 - q/4. Solve z*h + 3 + 7 = 0, -3*h = -2*v + 14 for v.
4
Let y = -16 + 22. Suppose 3*b = -4*d + 10, d - 5 = -5*b + y. Let q be 205/10 - (-2)/(-4). Solve -18 = -b*o + 3*a - 0*a, -5*a - q = 0 for o.
3
Let d be 3 + -3 - (-1 - 1). Suppose m - 5*u - 1504 + 1471 = 0, 2*m = -u. Solve 3*n - 6 = m*s + 2*s, s = d*n + 3 for s.
-3
Suppose -1568*l + 1563*l = -35. Let n(y) = -2*y + 16. Let t be n(l). Solve -5*r - x = -t*x + 16, -3*r - 2*x - 7 = 0 for r.
-3
Let w(i) = 14*i**2 - 1189*i - 68. Let k be w(85). Solve 3*q - k = -q + h, 5*h - 40 = -5*q for q.
5
Let o(l) = -3*l**3 - l**2 + 8*l + 14. Let n(w) = w**3 + w**2 - w. Let t(y) = -2*n(y) - o(y). Let s be t(4). Solve 4 = 5*k + h + s, -4 = 4*k + h for k.
-2
Let i(s) = s**3 - 16*s**2 + 12*s + 51. Let c be i(15). Suppose 8*r - c = -y + 6*r, 9 = 3*r. Solve y = -4*k + 5*l + 40, -k = -2*l - 0*l - 13 for k.
5
Let i(y) = -y - 122. Let r be i(0). Let n = 126 + r. Suppose -8*q - 2 + 146 = 0. Solve 4*x - 3*x + 11 = 4*u, n*x - 3*u + q = 0 for x.
-3
Let v(w) = -48*w - 1435. Let k be v(-30). Solve 20 = 5*l - 5*u, -3*u - k - 7 = 0 for l.
0
Suppose 5*b = g - 6, -50*b = -45*b. Solve 4*f + 2*d + g = 0, -f - 7 + 9 = 4*d for f.
-2
Let j(z) = 39*z + 160. Let a be j(-4). Solve 4*d = 5*m, a*m + 6*d - 8*d = -6 for m.
-4
Let s(k) = k**2 + 4 - 2*k**2 - 24*k + 17*k. Let z be s(-7). Suppose -1 = z*i - 21. Solve -9*c - 4 = -o - i*c, 4*o = 4*c + 4 for o.
0
Let v = -1545 - -1547. Solve -v*d = o - 4, 5*d = -12*o + 15*o - 1 for d.
1
Suppose 5*o = -3*d - 948, 2*o = 8 - 2. Let j = -316 - d. Solve 25 = 2*s - j*n, 4*n = 2*n - 6 for s.
5
Let u be (-56)/(-2) - 3*24/18. Let y be -3*((-10)/8 - (-6)/u). Solve -l = -w, -2*l + 4*w + y = w for l.
-3
Suppose 3*r + 932 = -277. Let c = -398 - r. Solve 0 = -2*v + 6*x - x + c, 15 = -5*x for v.
-5
Suppose 5*a - 2*a - 36 = 5*o, a + 10 = -2*o. Solve a*u + 5*d = -144 + 127, 0 = 3*u + 3*d + 3 for u.
4
Suppose -391 = u - 393. Solve -5*n - 3 = 2*x, -15*n = u*x - 13*n for x.
1
Suppose -5 = -r, 4*x + 2*r + 110 = 472. Suppose 21*b - x = -b. Solve 3*f + b*a + 2 = -2, 3*a = 2*f - 3 for f.
0
Suppose -21*k + 26*k = 3*m - 19, m - k - 7 = 0. Solve 2*a - 7*a + 10 = 0, 0 = t + 5*a - m for t.
-2
Suppose 888 = 92*x - 216. Solve x = 2*s + 2*w, 0 = 2*s + 5*w - 15 - 9 for s.
2
Let h(o) = o**3 - 15*o**2 - 97*o - 55. Let z be h(20). Solve z*k - 8 = -2*t, -4*t = k + 2*k - 16 for k.
0
Suppose -2*d + 1 = -3*l - 0, 5*d + 9 = -4*l. Let n be (-4 - (-2 + 0)) + d. Let o be -6 + 4 + (-45)/n. Solve -3*v = -s + o, 0*s - 23 = 5*v - 3*s for v.
-4
Let h(p) = -133*p - 929. Let o be h(-7). Solve 2*n + 4*c = 16, -n + 4*c - o*c - 8 = 0 for n.
0
Let x(j) = j**2 - 81*j + 1048. Let n be x(65). Solve -2*z - 4*h - 6 = 0, 0*z + 3*h + n = 2*z for z.
1
Let g(b) = b**3 - 6*b**2 + 12*b - 5. Let v be g(2). Solve 0 = 4*n + v*j - 8, -7*n = -5*n + 4*j - 4 for n.
2
Suppose 18*g - 21*g = 3*c + 3, 3*g + 3 = -5*c. Let r b