, n - 3*u - 7 = 1 for n.
5
Suppose 2*y + 0*y = 2*v + 4, -3*y = -v - 12. Suppose -5*k + v = -7. Solve 2*s - k*i - 2 = 0, 5 = 4*i + i for s.
2
Suppose -8*r = -3*r - 20. Suppose -2*p - q + 70 = -5*q, -4*q - 124 = -r*p. Suppose -5*v + p = 2. Solve 3*y - 4*j + 0 + 1 = 0, -5*j + v = -5*y for y.
-3
Suppose 81 = -a + 89. Solve -7*b - h = -a*b, -h - 4 = 0 for b.
-4
Suppose 5*p - 80 = -5*m, 32 = 4*m - p - 3*p. Solve 3*g + g - m = 3*w, 4*w = 5*g - 15 for g.
3
Suppose 0 = 16*i - 198 + 38. Solve 2*d + 6 = 0, -i*l + 9*l + 17 = -5*d for l.
2
Suppose 7710*i + 40 = 7718*i. Solve 3 = i*z + 3*l - 9, 5*z - 13 = -2*l for z.
3
Let d(x) = x**2 - 62*x + 915. Let u be d(38). Suppose 0 = -3*k - 2*k. Suppose k = -5*r + 13 - 3. Solve -s + 9 = -r*f + u, f + 3 = 0 for s.
0
Let i = 125 - 72. Let b = 53 - i. Solve b = -5*z + 2*r - 4, 14 = -z - 4*r - 0*r for z.
-2
Suppose -4*a = -4*s + 4, -5*s + 0*a + 8 = -4*a. Suppose 0 = 4*q - 0*k - k - 12, 0 = 5*q + 4*k + 6. Solve 2*j = 2*v - 3 + 1, 0 = q*v - s*j + 6 for v.
5
Let y = 10 - 10. Suppose 7*d - 3*d + 20 = y, 5 = -3*a + 2*d. Let m be 2*(-1 - a/2). Solve -z = 0, -z = m*f - 2*z + 9 for f.
-3
Suppose -2*u + 36 = -3*m, 4*u = -0*m + 5*m + 68. Let n(k) = -k - 11. Let b be n(u). Let q = -21 - b. Solve -5*v + 0*r + 33 = q*r, 5*r = 4*v for v.
5
Let g be ((-21)/(-63))/(2/24). Suppose -4*l - h + 3 = -17, -l = -g*h + 12. Let o be (-2)/l + 63/14. Solve o*m + 3*t - 7 = 0, -5*m + 0*m - 5*t = -15 for m.
-2
Let q = -84 + 87. Solve 4*c + c + 17 = -f, -q*c - 9 = 0 for f.
-2
Let v = 1598 - 1594. Solve v*b + 3*g = 9, 0 = 2*b - 3*g + 7*g - 2 for b.
3
Let t = 134 - 132. Let y be 5/(-2)*4/(-2). Solve y*q - 3*b + 20 = 2*b, 5*q = -t*b - 27 for q.
-5
Let u be (-14)/(-1) + ((-756)/(-12))/9. Solve -3*g + 9 = 4*v, 4*v + 2*g = -15 + u for v.
0
Suppose 10 = 5*b, -7*m + 9 = -8*m + 5*b. Solve 3*f = z + 9, -f - 8 = 3*z - m for f.
2
Suppose -2*i + 39 = 5*b, 4*i - 4*b = -i + 48. Solve -z - v = 0, v + 3*v = i for z.
-3
Let h be 27/12 + (9/4)/(-9). Solve -d - 4*k + 3 = -h, 5*d + 4*k - 9 = 0 for d.
1
Let p be (1 - 1)/1 - (-112)/14. Suppose 0 = 2*o - 3*d + 5, 3*o + o - d = 15. Solve 0 = 2*x - 4*x + o*s + 16, s = 2*x - p for x.
3
Suppose 17*w = 110*w - 279. Let c = 0 - 0. Suppose -3*y + c*y - 6 = -5*n, -3 = 4*y - 5*n. Solve -s + y*s - q = 0, w*q + 6 = 0 for s.
-1
Let n = 14 - 14. Suppose -6*j + 7*j - 3 = n. Solve 5*g = j*s + 27, 3*s = -2*s - 2*g - 14 for s.
-4
Suppose 2*z + 4*a = 16, 4*z - 3*a + a = 32. Suppose 2*h - 28 = -h + 4*l, z = -2*l. Solve 0 = -4*o + 2*b - 20, 5*b + 5 = -h*o - 15 for o.
-5
Let d = 1261 + -1253. Let c(m) = -m**3 - 5*m**2 + 5*m - 2. Let s be c(-6). Suppose -3*g + s = -g. Solve 0 = -4*l + g*f - d, 5*l - 4*f + 2 = -5 for l.
-3
Let k be (6/10)/(36/120) - -5. Solve -i + 9 = 4*g, -k*g - i = -4*g - 7 for g.
2
Suppose 8*x - 6*x + 10 = 0. Let m be (-14)/(-8) + x + 63/12. Solve -5*a - 3*w + 15 = w, -4*a + 12 = m*w for a.
3
Let v = -11 + 4. Let j be -3 - v*(3 + -2). Suppose -j*c - 2 = -3*o, 8*o = 3*o - 2*c + 12. Solve 14 = 3*q + 4*w, o*q = 4*q - 4*w + 24 for q.
-2
Let g be 4*(-6 + 26*6/24). Solve 0*m + g = 4*m - b, -2*b = -4 for m.
1
Let a = 26 + -54. Let c = -24 - a. Solve 18 = m + 2*g + 2*g, 2*g - 2 = -c*m for m.
-2
Suppose 0 = -6*h + 7*h - 25. Let w be (-36)/10*h/(-10). Solve 5*a = 2*p + 3 + 18, 2*a = -5*p - w for p.
-3
Suppose 0*r - 32 = -4*a - 4*r, 3*a + 5*r = 30. Suppose 0 = 3*i + a*h + 4, 3*i + 2*h - 11 = -0*i. Solve 5*p + 5*g = -10, 9 = -2*p - i*g + 4*g for p.
3
Let b(g) = 4*g**2 - 32*g - 75. Let t be b(-2). Let s(l) = -2*l - 7. Let m be s(-6). Solve -m*i + 4*y + 12 = -i, 2*i - 21 = t*y for i.
-2
Suppose m + 4*m + 140 = 0. Let w be m/70 + 244/10. Solve -5*j + 4*d + w = 0, 0*d - d + 15 = 4*j for j.
4
Suppose 195 - 211 = -4*b. Solve -2*l + 5*t = -b*l + 15, -5*l + 3*t - 9 = 0 for l.
0
Let g = -15 + 33. Let z be (-1 + 0 - -2)*18/g. Solve 0 = 3*f - 9, 19 + z = -2*s + 4*f for s.
-4
Let g = 59 - 56. Suppose 4*v = g*v - v. Solve 5*c - 2*r + 22 = v, 3*r + 13 = -2*c - 2*c for c.
-4
Suppose 4*r = -4*w, 4*w + r - 3 = -2*r. Solve 5*y + 4 = -u, u - 3*u - w*y = 1 for u.
1
Let i = 55 - 62. Let u be (i + 4 - -2)*1*0. Solve 2 = -u*l + 2*l, -q = 3*l for q.
-3
Let v be 3/((2 - 4) + 3). Suppose -5*w = -g - 26, -2*g + 20 = v*g. Solve -2*a + 5*y - 6 = 12, -y - w = 2*a for a.
-4
Let k be ((-9)/(-2))/(12/32). Suppose 0 = 125*b - 131*b + 42. Solve w = -2*w + 2*m - k, -w - 3*m = -b for w.
-2
Let u = -1088 - -1094. Suppose 3*i + i = 20. Solve 6*c - 6 = -i*q + 3*c, 0 = -3*c + u for q.
0
Let a be -5*(-1 - 3/(-5)). Suppose a*t - 17 - 35 = -3*n, n - 2*t = 12. Suppose 3*r + r = n. Solve 7*l + 4*y = 3*l + 12, -3*l = r*y - 8 for l.
4
Suppose -2*n + 0*n = 4*x + 80, x + 20 = 3*n. Let q = -76 + 52. Let s = x - q. Solve 5*y - 2 = -4*m, 0*y + 4*y - s*m = -20 for y.
-2
Suppose 5 = 2*x - 1. Suppose -2*m - x*k + 6 = 1, -4*k = 4. Solve -4*b = -3*b, 3*z = -m*b - 12 for z.
-4
Let w = 1161 + -1152. Let y be (6/(-7))/(8/(-28)). Solve -3*c = -t + 7 - 16, 3*c - w = -y*t for t.
0
Let v(f) = f**3 + 6*f**2 + 4. Let r be v(-6). Let g(w) = -6*w + 31. Let y be g(11). Let j = y + 39. Solve j*p = r*u - 32, -2*u - 3*u = p - 16 for p.
-4
Suppose 20*g - 35*g - 59*g = 0. Solve -4*a - 16 = g, -4*a = -x + 6*x + 11 for x.
1
Let h be (18 + -30)*2/(-6). Solve b - z - 2 = 0, 3*z - h = b - 14 for b.
-2
Let r = -16 - -26. Let z be ((-12)/r)/(4/(-10)). Solve -2*q = -i - 12, z*i + 4*q = -0*q + 4 for i.
-4
Let g = -3 - -6. Let c be 12/3*-1 + 0. Let f be 10/4 + (-2)/c. Solve -f*p + 5*n = -19, -5 = 2*p + g*p - n for p.
-2
Suppose -4*j - 3 + 59 = 0. Suppose 18*w - j*w = 0. Solve w = i - 5*r + 1 + 15, r = i for i.
4
Let s(k) = -2*k - 12. Let u be s(-7). Let y(q) = -q**2 + q + 6. Let h be y(u). Let w = -4 - -6. Solve -4*l + i = -2*l - 9, 14 = w*l + h*i for l.
5
Let a(t) = -t**3 + 6*t**2 - 8*t + 1. Let j be a(3). Solve 6*i + 30 = i - 2*y, j*i + 2*y + 26 = 0 for i.
-4
Let r = 113 + -105. Solve -3*n + r*n + 2*p - 16 = 0, -2 = p for n.
4
Let m be (-43)/(-129) - (2 - (-23)/(-3)). Solve 0 = -4*k + 3*t - m, -3*k + 4*t + 0 = 1 for k.
-3
Let b = -811 + 813. Solve 5*x + 2*z + b = -2*z, -x - 4*z + 6 = 0 for x.
-2
Let v(b) = -2*b**2 + 26*b + 28. Let t be v(14). Suppose 3*w + 2*w + 3*w = t. Solve 5*o + 5*u = -40, w*o = -4*o + u - 17 for o.
-5
Suppose 15*f + 8*f - 7*f = 0. Solve f = 5*w - 10, -9*w + 3 = 3*s - 6*w for s.
-1
Let w(l) = 4*l + 6. Let u be w(-3). Let g be ((-4)/3)/(4/u). Suppose g*f + 4*d = 14, 4*f + 5*d - 19 = f. Solve -f = -5*x - 2*p + 20, 4*x - 3*p = 23 for x.
5
Let k = 2 + -4. Let s = 2 + k. Suppose s = 5*o - 8 - 7. Solve p + 3 = -o*l + 1, -3*p = -5*l + 20 for l.
1
Suppose 3*g = 3*p - 51, -15*p + 3*g + 79 = -10*p. Solve 10*j = 9*j + t + 3, 4*t = 5*j - p for j.
2
Suppose 2*x + 3*s - 17 = 0, -2*x = -4*s - 0*s + 4. Let m(p) = -p**3 + 7*p**2 - 9*p + 4. Let u be m(x). Solve -g + 11 = -3*h, -u = -2*h - 4*g - 0*g for h.
-2
Let g be 1 - 4 - (-29 - -25). Solve 4*x = -3*h + g + 10, -2*x - 7 = -h for h.
5
Let g(p) = -4 + 2*p + 3*p + 117*p**2 - 118*p**2. Let x be g(4). Solve -15 = -k + 3*o, x = 2*k - 0*k - 3*o - 15 for k.
0
Suppose -343 - 9 = -32*n. Solve 0 = 5*v + 4*a + 14, -4*v + 1 - n = 2*a for v.
-2
Let y = 21 + -16. Suppose -w - 60 = -y*w. Solve -w + 0 = 3*l + 5*m, -m = 0 for l.
-5
Suppose -167 = 72*u - 743. Solve -2*k - u + 33 = 5*x, -4*x = -5*k - 20 for x.
5
Suppose -2*l - 18 = -0*l. Let r be (0*3/l)/(-2). Let g = r - 0. Solve 4*x = -4, 4*h + 21 + g = -5*x for h.
-4
Suppose -3*h + 10*z = 12*z - 68, -z = 2. Solve -4*w + b = -h + 8, 3*w - 19 = -b for w.
5
Let b be (1/2)/((-2)/(-4)). Suppose b = 2*w - 9. Suppose 0 = t - 6 + 6. Solve -3*v + 5*h - 23 = 0, -w*v - 3*h + 7*h - 21 = t for v.
-1
Let n = -1027 + 1029. Solve n*l = -2*l + 2*z + 4, 4*z = 4*l for l.
2
Let m = 16 + -7. Suppose -2*r = 5*c - c - 6, 2*c + m = -5*r. Solve y + 17 = -5*v + 4*y, -5*v - c*y - 23 = 0 for v.
-4
Let p = 8 + -4. Let w be -2 + ((-2)/(-2) - 2) + 24. Let u(x) = -x**2 + 21*x + 3. Let q be u(w). Solve 2*h - 1 = -q, p*h = 2*i for i.
-2
Let b be -12*-2*(-5)/(-8). Let w be (-6)/b - 44/(-10). Let q(g) = -g + 23. Let f be q(20). Solve 0 = w*i, f*x + 2*i = i for x.
0
Let y = -8 + 58. Suppose 45*t - y*t + 20 = 0. Solve p - 3*p = 2*a + 8, -t*a = 5*p + 16 for a.
-4
Suppose 0 = 6*n + 26 - 26. Solve 2*q + 0*q + 3*z + 18 = n, -q = -4*z - 13 for q.
-3
Let j = 6 - 10. L