 3*n - v = 0 for x.
-2
Suppose 2*u = 175*z - 180*z + 32, -24 = -4*u. Solve 0 = x - z, 8 = l - 16*x + 19*x for l.
-4
Let i(z) = -12*z - 11. Let d be i(-1). Let n = 6 - 3. Suppose -4*h - n*t + d = -15, 16 = 4*h - 5*t. Solve 3*s = 4*s - h*l - 1, -5*l = 4*s + 17 for s.
-3
Suppose -104 = q - 107. Suppose -83 - 226 = 5*z + q*g, 243 = -4*z - g. Let y = 64 + z. Solve -4*h - 14 = -5*h + 5*k, -y*h - 4*k + 8 = 0 for h.
4
Let s(z) = -20*z - 2. Let y be s(-1). Suppose -2*c + c + y = -2*t, c - 39 = -5*t. Solve -4*m + 3*j - c = 7*j, -j + 2 = -m for m.
-4
Let j(z) = 5*z**2 + 178*z + 769. Let i be j(-5). Solve -22 = 2*s + h - 4*h, i*s - 3*h + 32 = 0 for s.
-5
Let w be (3/(-3))/(27/(-81)). Let m be (8/6)/(1/3). Suppose -v = 1, 7 + 8 = m*d - w*v. Solve z - 3*i + 1 = -d, 0 = 4*z + i - 23 for z.
5
Let g = 1839 + -1834. Solve -9*d = 2*x - 8*d + g, -4*d + 15 = x for x.
-5
Let j(d) = -1440*d + 1804. Let l be j(1). Solve -a = -o - 5, l*a - 360*a - 20 = 3*o for o.
0
Let b(l) = l - 14. Let a be b(15). Let w be 1*(-9)/((-12)/4) - a. Solve 2*p + w*k - 2 = p, 0 = p + k - 1 for p.
0
Let t(d) = -17*d + 111. Let h be t(3). Suppose 56*k = h*k. Solve 15 = 4*x - k*m - m, -m - 20 = -5*x for x.
5
Suppose 3*w - 2*r = 4*w, 4 - 1 = -3*r. Solve -z - 9 = -3*h, -w*z + 15 = 4*h + h for z.
0
Let f = -61 + 49. Let r be -2*((-10)/f)/((-17)/51). Solve 0*p = 5*p - 2*s + 20, -4*p - r*s - 16 = 0 for p.
-4
Let a be ((-16)/((-64)/(-30)) + 3)*10/(-5). Solve -14 = -y + 2*i, -4*y = -a*y + 2*i + 30 for y.
4
Suppose -2*b + 4 = 0, 6*u + 1022 = 4*u + 2*b. Let g = u + 511. Solve 3*w = -3*z - 6, 0*w - g*z - 4 = 3*w for w.
0
Suppose -3*n + 2016 = 348. Suppose -o + 567 - n = 0. Solve -3*g - o + 0 = 2*a, 11 = -2*g - 5*a for g.
-3
Suppose 0 = 5*r - 5*v - 35, -5*v = -2*r - 2*v + 19. Let y be 15/(5 - r) - 3. Suppose -y*i + i = -16. Solve 2*d = 3*g + d + 3, 5*g + i = -2*d for g.
-2
Suppose -19242*k + 19279*k = 0. Solve 21*n = -3*r + 16*n - 10, k = -5*n + 5 for r.
-5
Let j be (-18)/45*(-30)/18*(-3 + 6). Solve -3*y - 3 = -2*n, -4*n - j*y + 11 = -3*y for n.
3
Let x be 23/((8/4)/2). Let n = x - 21. Let y be 1 + (n - (0 - -3)). Solve y = 3*r - b - 6 - 1, -3*r + 11 = -5*b for r.
2
Suppose 5*o + 26 = -5*l + 646, -o = -4*l + 511. Let v = l + -126. Solve -2*u = 4*a, -5*a = -v - 4 for u.
-2
Let u(c) = -11*c + 71. Let g be u(6). Let w be 3*(g - (6 - 2)). Solve -5*d - w*l = 17, 3*d - 5*l + 13 = -4*l for d.
-4
Suppose -6*j = w - 16, -6*w - j = -4*w - 10. Solve -3*u = i - 2 - 9, w*u - i - 10 = 0 for u.
3
Suppose 4*n = 3*n - 3, -3*n - 123 = -2*c. Let x = c - 50. Suppose -5*i + 16 - 1 = 0. Solve d = -i*a - x, -2*a = 5*d - d - 12 for a.
-4
Suppose -3*s + 169 - 157 = 0. Suppose s*f = 8, 5*y - 14*f = -9*f. Let g = 0 + 14. Solve -3*j - 30 = 5*x, -3*j = 3*x - y*j + g for x.
-3
Suppose 4*g - 2*g - 4*l = -12, -2*l + 6 = 2*g. Suppose 24*u = 58 - 10. Solve g = d + u*s + 1, -3*d - 3*s + 2 = -2*s for d.
1
Suppose -23*b - 101*b - 128*b = 20*b. Solve -v = b, 13*o - 15*o + 10 = -3*v for o.
5
Let c(n) = -n**2 + 10*n - 7. Let s be c(8). Suppose -11*j = -138 - 27. Suppose -6*i + s + j = 0. Solve l - 4*z = -15, -5*l + 3*l - i*z = -18 for l.
1
Suppose 0*p - 7 = -3*p - v, -3*v = 8*p - 17. Solve -4*o = -4, 0 = 5*a - 4*o + 15 + p for a.
-3
Let i be 1392/10 - (-48)/(-240). Suppose -4*y - i = -195. Solve 1 = 2*o - r, -r + 4*r + y = -5*o for o.
-1
Let v be ((40/(-14))/((-2)/7))/2. Let g(n) = n + 7. Let p be g(-7). Let y(o) = 11*o - 69. Let c be y(7). Solve 4*r - c = r + v*i, p = -r - 3*i - 2 for r.
1
Let k(f) = -f**3 - 4*f**2 - 6*f - 6. Let z be k(-3). Let v(y) = 8*y**3 - 2*y**2 - 24*y + 25. Let w be v(1). Solve -4*r + 0*l = 2*l + 28, -z*r + 2*l = w for r.
-5
Suppose -2*d = 3*f - 10, 0 = -3*f - 4*d + 15 - 1. Solve 2*o - f*r - 20 = 0, 2*r = -3*o + o - 4 for o.
4
Suppose 34*x - 160 = -4*h, h - 18 = -3*x - 0*h. Solve -3*o = -2*g + x, -g - 9 = -5*o - 4 for o.
2
Let r = 61 - 52. Suppose 2*o - 17 = -r*d + 8*d, -8 = 2*o - 4*d. Let k be 0/(-4)*(-3)/o*1. Solve 5*j + 4*t - 4 = k, 3*j - 4*j = -5*t + 5 for j.
0
Let j = 1804 + -1797. Solve 7*d - j = 2*h + 13, -3*h = -5*d + 8 for h.
4
Let m = -15286 - -15290. Solve -p + n = 0, 9 + 15 = -2*p - m*n for p.
-4
Let f be (16 - 2) + (-5 - 3). Solve -2*x + 8 = 5*u, 2*u = f*u for x.
4
Let u be 80446/8 + 10/40. Let d be u/(-56) + 9/(-21). Let q be d/(-16) - (-7)/(-28). Solve -2*y + 5*c = q, 7 = 3*y + c - 2 for y.
2
Let c be 2 - (5 - 2 - -4). Let x(u) = -u**3 - 4*u**2 - u - 30. Let t be x(c). Solve 3*a - 2*g + 2 = a, t = 4*a + g - 6 for a.
1
Let d = 7373 - 7346. Solve -j - 23*n + d*n - 24 = 0, 3*n = j + 19 for j.
-4
Let a = 3130 - 3125. Solve 0*l - x = -a*l + 16, 0 = -4*l - 5*x + 7 for l.
3
Let u = -2710 - -2715. Solve 20 = -4*g, -u*n + 2*g + 13 = -2 for n.
1
Suppose 2*h + n - 45 = 0, -482*n + 99 = 4*h - 477*n. Solve -15*w + 19*w = v - h, -5*v - 15 = 4*w for w.
-5
Suppose -2*j + 40 - 32 = 0. Suppose -5*y - j*y + 0*y = 0. Suppose -18*c + 24*c = y. Solve -2*t - 8 = -4*q, q + c*t - 8 = 2*t for q.
0
Let z = 1221 - 1217. Solve -5 = l - 3*o + 3, 4*l = z*o - 16 for l.
-2
Let m(i) = 107*i + 10. Let h be m(0). Solve -5*j + 3*g - 5 = -4*j, 0 = -j - 2*g + h for j.
4
Suppose 7*v - 320 = 128. Suppose -4*h = -v + 24. Suppose x + 7 = -3*k, -x + 4*x = -4*k - 6. Solve -h = x*d, 2*d + 2*d + 24 = 4*j for j.
1
Let y = 2981 + -2950. Solve 0 = -5*j - 4*i - y, -2*j - 4*i + 0*i = 22 for j.
-3
Let l = -1437 - -1441. Suppose -4*d - 3*t + l = 0, 0 = 8*t - 6*t + 8. Suppose -i + 3 = -3*h + 10, 3*i - 6 = 0. Solve 4*m = k + d, 0*k - h*m - 2 = -2*k for k.
4
Let p = 12905 + -12903. Solve -3*q = 5*w + p + 18, -4*q - 17 = -3*w for w.
-1
Suppose 0 = -8*p - 337 - 2103. Let s = p + 306. Solve -5*x - 5*n = 20, -2*x - 10 = n - s for x.
-5
Suppose -a = -4*a + 6. Suppose 19*j - 4*w - 1 = 20*j, -5*w = -5*j + 20. Solve -3 = -5*v + x + j*x, -4*v + 3*x = -a for v.
-1
Let v(m) = 169*m + 14545. Let i be v(-86). Solve 0 = -4*n + i*q - 15*q - 4, -2*n - q = -2 for n.
3
Let h(a) = 22*a - 124. Let k be h(6). Suppose 36*b = 34*b + k. Solve 4*m + 4 = 2*c, 3*m + 17 = -3*c - b for c.
-4
Suppose -3*j + 3 = 5*r - 32, -4*j = 2*r - 84. Solve 0 = 15*w - 10*w + j, -5*z = -5*w - 35 for z.
2
Suppose -89*w + 47*w - 17*w = -4956. Suppose -p + 264 = 2*p. Let q = p - w. Solve -3*s - 6 = s + n, 4*s - q = 4*n for s.
-1
Suppose -4*z - j = 150 - 171, 2*j = 2*z + 2. Solve -5*v + 25 = -a, 5*a + 1 = z*a - v for a.
-5
Suppose -3*d + 13*h - 11*h = -685, -3*d = 3*h - 705. Let k = d + -229. Solve -4*q - 11 = j, -5*j + k*q = 7*q + 10 for j.
1
Let m = 89 - 54. Suppose 2*c + 5*v = 55, v - 6*v + m = c. Suppose -f - 18 + c = 0. Solve -4*b + 8 = 4*d, f = -5*b - 3*d + 6 for b.
-1
Suppose -31*a + 1440 = -11*a. Let w = a + -64. Solve 2*h - l + 2*l = -12, 0 = -h + 3*l + w for h.
-4
Suppose -31 = -k - 26. Solve 7*z = 2*z - k*x + 20, 5*x = -4*z + 17 for z.
3
Suppose -4*d = -4*m + d + 2, -2*d - 5 = -3*m. Let f be 24/132 - 798/(-209). Solve 5*w - b = 3*w - 7, -f*w + 11 = m*b for w.
-1
Let g(m) = m**2 - 6*m + 12. Let v be g(6). Suppose 0 = 2*n + 3*o + 5, 0 = -v*n + 16*n + 2*o - 10. Solve -n*l + 16 = -5*a - 29, -14 = a - 2*l for a.
-4
Suppose 5*p + 5*s = -20, 4*p + 0 - 14 = s. Solve 23*z - 19*z = f + 9, -6 = -p*z for f.
3
Let l(t) = t**2 - 14*t - 9. Let s be 4/8*(1 - -29). Let q be l(s). Solve w - 7 + 2 = 3*j, j + q = -4*w for w.
-1
Let r be 2 + (-2 + 3)*-47. Let z = -664 - -623. Let u = z - r. Solve -4*b - 23 = x, x = -2*b + u*x - 1 for b.
-5
Suppose 10*t - 5656 + 5636 = 0. Solve -20*i - 3*w = -16*i - t, 0 = 4*i - w - 10 for i.
2
Let u(f) = 3*f**2 + 4. Let t be u(0). Let w(p) = -p**2 + 4*p + 6. Let v be w(t). Suppose 4*k = v*k - 8. Solve 0 = 2*y - k, 5*y - 20 = -3*b + y for b.
4
Let i = -27 + 58. Suppose -32*c = -i*c + 4. Let o be c/1 + 32/8. Solve -5 = -f - 2, o = 2*m + 5*f - 11 for m.
-2
Let w = -15 - -22. Suppose -3*n - 112 = w*r - 2*r, -64 = 4*r - 4*n. Let l = -11 - r. Solve -3*g = l, -3*g - g - 2 = -5*m for m.
-2
Let r = -14991 - -15012. Solve -5*v + 4*k = -0*k - r, 3*k + 17 = 5*v for v.
1
Let a = -39128 - -39132. Solve 3*n - 12 = a*u, -15 = 3*n + 5*u + 27 for n.
-4
Suppose -175 = 4*k - 187. Suppose 2*h + 42 - 36 = -4*g, 4*h = -k*g + 3. Solve -3*r + h*i + 40 - 10 = 0, 4*i = r - 25 for r.
5
Suppose 0 = 12*s - 40 - 56. Suppose 0*t = -4*t + s. Solve -3*p = t*k - 5*p + 2, 0 = p - 3 for k.
2
Let s be 348/(-58) + 0 