 4*v - 16 for n.
-5
Let z be ((-1130)/1356)/((-17)/(-84) + 4/(-14)). Solve -z*t = -8*t - 6, -3*m + 4*t = 3 for m.
3
Let b = 10027 + -10021. Solve 3*w - b = 4*f, -72*f + 11 = -4*w - 73*f for w.
-2
Suppose -2264*u + 224 + 1069 = -1768 - 1467. Suppose 0*h = -3*h + 12. Solve 0 = f - u*f + h*p - 3, -p = -2*f - 6 for f.
-3
Let g(c) = -3*c + 144. Let t be g(42). Solve -5*q + 2*p = -t, 9*q - 4 = 5*q - p for q.
2
Suppose 7*c - 4*c = -3*a - 66, a = 5*c + 134. Let d be (-1157)/(-169) + (-4)/c. Let m = -424 + 425. Solve 5*z = -4*i + 6, 3*z - d = -m for i.
-1
Let y = 45 - 19. Suppose -q - 3*q = j - 30, -2*q + 5*j = -y. Solve 12 - 1 = 2*l + 5*b, q = 2*l + 2*b for l.
3
Suppose 4*u = 3*g - 0*u - 40, 3*u = 6. Suppose -10 = -4*d + 5*d - 3*q, -5*q + g = -2*d. Solve 2*y = 3*r - 8*r - 27, -d*r - 10 = 0 for y.
-1
Let s = 151 + -148. Solve -4*v = s*f + v + 3, 4*v = -3*f for f.
4
Suppose 7816 - 7834 = -2*s. Solve -36*i + 37*i - 5*z + 18 = 0, -5*i - 2*z - s = 0 for i.
-3
Let p be (-1 + (1 - -785))*2/10. Suppose -p + 151 = -2*c. Solve 0 = -4*v - c*q - 19, -4*q - 11 = 2*v - q for v.
-4
Let x be 4/12 + 11/3. Let l(i) = i**2 - 5*i + 4. Let t be l(x). Let v(n) = 16*n + 880. Let g be v(-55). Solve t = -2*s - 2 - g, 4*p = 5*s + 13 for p.
2
Let y be (-20)/(9*4/(-18)). Solve -3*i + r + y = 0, 3*r - 24 = -36 for i.
2
Let u(l) = -l**2 + 42*l + 3919. Let w be u(87). Solve w*g - 4*y = -5 + 9, -5*y - 1 = -3*g for g.
2
Let w(b) = b - 7. Let v be w(7). Let k(d) = d**3 + 10*d**2 + 40*d + 84. Let r be k(-5). Solve i - a - r = -2*i, v = -2*i - 2*a + 14 for i.
4
Let z be (-70)/(-105)*111/2. Suppose -5*a + 25 = 0, 2*w + 4*a - z = -7. Solve 0 = -k + s - 5, 0 = -w*k - s - s + 10 for k.
0
Suppose 5 - 6 = -w, s - 65 = 3*w. Suppose -2*m - 2*m = s. Let x = m + 20. Solve 15 = -4*d - 3*p, 2 + 3 = -x*d - p for d.
0
Let o = -29 - -38. Let p(c) = -c - 56. Let q be p(-18). Let z = 41 + q. Solve 0*d = 4*d + 2*m - 6, 3*m + o = z*d for d.
2
Let b(d) = -d**3 + 20*d**2 - 15*d - 65. Let v be b(19). Suppose -y = v - 11. Let k(a) = a. Let q be k(9). Solve 3*m + 19 = -4*f, 0 = 5*m + f - y*f + q for m.
-1
Let l = 6682 + -6680. Solve 0 = -4*z + l*t + 10, -8*z - 2*t = -3*z - 17 for z.
3
Let k(y) = -y**3 - 147*y**2 - 430*y + 298. Let q be k(-144). Solve -13*h + 2*u - 8 = -11*h, 4*u - 10 = q*h for h.
1
Let h = -17 + 6. Let q be (h + 4 - -4) + 6. Solve g - 5 = x - 0*x, -2*g + q*x + 11 = 0 for g.
4
Let i be (2 + 13/(-2))*(28 + -30). Solve 0 = -4*k + 3*x + 3, 6*k + 29 + i = -4*x for k.
-3
Suppose -2*v + 3*t = 10, 1681*t - 1678*t - 18 = 0. Solve -2*y = -5*b - 8, -v*y + b - 165 = -181 for y.
4
Suppose 23*x = -185 + 691. Solve -2*r - x = 3*i, 4*r + 5 + 19 = -i for r.
-5
Let g be 1/(((-4)/(-13))/4). Suppose 20*t - g*t - 9*t = 0. Solve 0 = 2*d + 10, 4*n = -t*n - 5*d - 29 for n.
-1
Let l(q) = -q - 3. Let v be l(-5). Suppose -2*n - 34 = -v*y, -3*y + 0*y - n + 47 = 0. Suppose 20*g - 88 = y*g. Solve -5*c = 3*i - g, i = -0*c - 5*c + 14 for i.
4
Suppose 5*o - 16*o = 14*o - 75. Solve -3 + 9 = -3*u - 5*m, -u + 12 = -o*m for u.
3
Suppose 147*x - 156*x + 6408 = 0. Let i = x + -707. Solve 0 = y + i*j + 3, -y = -6*y - 2*j - 15 for y.
-3
Let b = -649 - -661. Let g = -348 - -350. Solve 0 = -3*f - 2*v + 20, -f - g*v + 0 = -b for f.
4
Let c be (-1)/((-2)/7 - 3/(-84)). Suppose -3*d - 7 = -2*p + 2*d, 0 = 2*p - c*d - 10. Suppose -3*v + 1 = -p. Solve s = -5*b + 7, -3*b = -7*b - v*s + 12 for b.
1
Suppose 3*z + 1 = 2*r - 3, 0 = 2*z - r + 1. Suppose -115 = -p - 33. Let b = 84 - p. Solve 0 = 3*q - 5*n - z, q + 2*n = -b*n + 12 for q.
4
Let c be 8/(-31 - 1) + 165/20. Solve -4*v + c = 4*g, -4*v + 8 = 7*g - 11*g for v.
2
Let y = -1947 + 1951. Solve u - 25 = 5*r, -3*u = -y*r - 9 - 22 for r.
-4
Let o = 1777 + -1767. Solve q = -4, o*q - 6*q + 31 = 5*j for j.
3
Let n be ((-3)/(-7))/((279/217)/9). Solve 4 = -2*k + 8*j - 5*j, -4*j + 28 = n*k for k.
4
Let w be (57/(-15) - -1)/(3/105). Let u = w + -44. Let n = u - -145. Solve -5*f - 3*p + n = 0, -2*f + 3*p = f + 3 for f.
0
Let l = 28 - 24. Let w(r) = -r - 3*r - 3*r**2 + 2*r - r**3 - 2*r**2. Let x be w(-5). Solve 20 = -l*q - z + 3*z, 2*q + x = 2*z for q.
-5
Suppose 6*y - 3*y + 10 = -5*f, -11 = -f + 2*y. Solve -n = -5*g + f, -5*n - 13 + 8 = 0 for g.
0
Suppose -32 + 8 = -3*k - 4*m, -3 = m. Suppose 2*y + y = k. Solve -3*t - 5*j - 18 = 0, 2*t + 13 = t - y*j for t.
-1
Let a = 9150 + -9140. Solve 4*m - 4 = -4*f, -a = 3*f - 25 for m.
-4
Let t = -7047 + 7047. Solve 3*r - j - 2 = t, -4*j - 17 - 8 = 5*r for r.
-1
Suppose 2*i = y + 24 + 13, 3*y - 109 = -5*i. Solve -x = -4*w - 6*x + 33, 5*w - i = -2*x for w.
2
Suppose -92*m - 234 = -105*m. Solve 4*y - 6*y + 2*h = m, 0 = 5*y - 4*h + 41 for y.
-5
Let t(q) = q**2 - 2*q - 1. Let c be t(3). Suppose -276 - 24 = -42*j - 18*j. Solve -c*g = 8, -4*m + 2*m + j*g = -26 for m.
3
Let q = 10909 + -10892. Solve 3*o - 2 = 15*c - q*c, -2 = 2*o + 3*c for o.
2
Let x be ((-6)/(-4))/(18/168). Let p(f) = -f**3 + 62*f**2 + 130*f - 128. Let y be p(64). Solve y = 2*b - 8, 1 = -a - 2*b + x for a.
5
Let s = 511 - 508. Suppose -28*k + s*k + 125 = 0. Solve k*o = 5*v + o - 21, -o = -v + 4 for v.
5
Let t be -22*(-8)/48 + (-8)/12. Solve -2*f + f + t*q - 17 = 0, 4 = q for f.
-5
Let c(o) = -2*o**3 - 8*o**2 + 63*o + 215. Let u be c(-3). Solve 30 = -x - 5*v + 2, v + u = -x for x.
-3
Let v = 12 + -3. Let q(i) = -i**2 + 8*i + 26. Let g be q(v). Suppose x + f - g = -0*f, 3*f = 2*x - 49. Solve -m + x = 5*w, -m + 5*w + 2 = 12 for m.
5
Suppose 2*g + 23 = -3*p + 37, -5*p = -3*g + 2. Suppose 0 = -0*m + g*m - 12. Solve 0 = -5*i - j + m, -4*i + 4*j + 13 = i for i.
1
Suppose 0 = -0*a - 2*a - 90. Let y = 47 + a. Let n(j) = j**2 - 4*j + 4. Let q be n(y). Solve -3*h = z - 7, -3*h - 5*z + q*z - 13 = 0 for h.
4
Let k(f) = -12*f - 196. Let w be k(-17). Suppose 39 = w*x - 41. Solve -5*q = 5*c + x, 3*c - 2*q - 20 = -1 for c.
3
Let d be (16/(-10))/((-16)/120). Suppose -4*t + 5*t = 6. Suppose -4*v - 16 = -p, 5*v + 20 = t*p - 2*p. Solve -4*l = -d, s - 5 = -p*l - l for s.
2
Let q = -14883 - -14891. Solve 30 = 5*m + j, q*j + 15 = m + 10*j for m.
5
Let v = 8 - 4. Suppose -2*r + 9 = -m, -639*r + 3*m + 19 = -637*r. Solve 4*c = -3*k + 7, k - v*c + 1 = -r*k for k.
1
Let u = -63 + 60. Let y be (90/(-20))/(u/2). Solve -y*n = -2*h - 7, 0*h + 5*n - 21 = h for h.
4
Suppose 0 = 3*i + 2*r - 23, -2*i = 206*r - 209*r + 15. Solve i*k = 2*z, 2*k = -z + 2*z for z.
0
Suppose -16*w = -2*w + 154. Suppose -2*d + 2*n = -30, 2*d - 18 = -0*d - 4*n. Let q = w + d. Solve 3*f = f - 10, -5*f - 25 = q*r for r.
0
Let k(d) = -d**3 - 13*d**2 + 6*d + 80. Let i be k(-13). Let h(n) = -n**3 + 2*n**2 + 6. Let a be h(i). Solve 4*f - 5*c = a*f - 15, 2*f - 12 = -4*c for f.
0
Let b(q) = -q. Let z be b(0). Let l = -1427 + 1430. Solve l*s - 14 = -z*u - 5*u, 8 = 2*u + 2*s for u.
1
Suppose 15*u - 108 + 16 = 238. Solve -5*c + 3*h = u - 8, -18 = 5*c - h for c.
-4
Suppose 5*n - 86*n = 36*n - 351. Solve 5*z - 3*z = n*c + 8, 5*c + 12 = 2*z for c.
-2
Let f be -6 - 40/(-8 - -3)*1/1. Solve -23 = -5*j + 4*d, 4*j - 46 + 30 = f*d for j.
3
Suppose 1039*z = 1025*z + 238. Solve -3*a - 2 = z*g - 12*g, 0 = 5*g - 5*a - 30 for g.
2
Let x = -478 + 484. Let h be (x/(-2))/(2/(-18)). Solve -4*l + i - h = l, 3*l - 3*i = -21 for l.
-5
Suppose 0 = 3*n + 12, j - 4 = -3*n + 1. Solve j = -3*x + d + 9, 2*x - 3*d + 17 = 0 for x.
-1
Suppose 23 + 26 = 7*z. Suppose -z*w = -8*w + 2. Suppose -2*l + 4*r + 18 = 0, 0 = -w*l - 0*r + r + 24. Solve -2*q - 2*q = m + l, 4*m + 3*q + 13 = 0 for m.
-1
Suppose 0 = -4*x + 16, -i - 12 = 3*x - 27. Solve 10 = 5*f - p, f - 4*p - 6 = -i*p for f.
1
Let h(k) = k**2 - 3*k + 37. Let m be h(0). Suppose 25 = -32*r + m*r. Suppose 8 = 7*t - r*t. Solve -5*f + 0*u = -2*u + 25, t*u = 0 for f.
-5
Let u be (-31025)/153 + 3*6/(-81). Let x = u - -217. Solve -x = 3*m + o, 4*m - 3*o = -o - 12 for m.
-4
Let p(r) = 2*r**2 + 51*r - 137. Let z be p(-28). Solve 0 = a + 5, 10 = z*j - 3*a - 17 for j.
4
Let o be ((-243)/12)/3*60/(-105)*7. Solve 23*y - 25*y - 5*k = o, 4*k = y - 19 for y.
-1
Let f(y) = y + 4. Let g be f(-1). Let l be 2/(g + (-5)/2). Let j = 98 + -90. Solve -3*m - 1 + j = l*q, 2*m = 4*q + 18 for m.
5
Suppose -1900*c = -940*c - 939*c - 252. Solve -14*l = -c*l + 2*z + 8, 0 = 4*l - z + 1 for l.
-1
Suppose 0 = 4*j + 5*o - 137, 0*j + 3*o - 99 = -3*j. Suppose 4 = j*m - 248. Solve r + 3*b