 2*a for n.
4
Suppose 2*a + 2*n + 3*n - 7 = 0, 35 = -5*a - 2*n. Let i(f) = -f**3 - 8*f**2 + 8*f - 4. Let x be i(a). Solve 3*j = -x*m - 30, m + 4 = 2*j + 11 for j.
-5
Let x be 6/(-15)*(220 + -5) + -1. Let v = 93 + x. Solve -5*i + 3 = -r, 1 = -r + v*i - 3*i for r.
2
Suppose 0*l - 2*l + 5*x + 25 = 0, -4*x = -2*l + 20. Suppose 35 = -0*w + 5*w + n, -2*n + 10 = l. Solve 4*m = -4, k + 5*m = w*k + 15 for k.
-4
Suppose -4*i + 4*o + 31 = 7, -3*i - 3*o = 6. Solve -p - i*n - n = -13, -2*n + 12 = 4*p for p.
1
Suppose 5*v = 3*s + 13, -4*s + 6 = -16*v + 14*v. Let k be (-1)/(-3) - 22/(-6). Solve 2*j + 8 = z + s*j, 4*z + k*j = 16 for z.
0
Suppose -5*o + 82 = 52. Suppose k - 3*k = o*k. Let n = -3 + 6. Solve 4*r + 2*z - 10 + 0 = k, -n = z for r.
4
Let n be 38*1 + (-5 - -7). Suppose 10*o - n = 2*o. Solve -11 = -o*s - x + 4, 2*x = -2*s + 14 for s.
2
Let d be 1 - (2 + -2 - 9). Suppose 6*s - s + d = 0. Let w be s/3 + 11/3. Solve -22 = w*r - 5*n, -n = r + 2*n - 2 for r.
-4
Suppose -16*f = -9*f - 21. Solve -4*k - 3 = -5*b, f*b = 4*k - k for k.
3
Suppose 5*h = -3*s - 2, -6*s = -3*s + 2*h - 1. Let q = 2 + 0. Suppose 19 = 4*k + 7. Solve q*l + 3*l - k*j - 35 = 0, -l = j + s for l.
4
Suppose 13*k = k + 60. Solve k*g + 5 = -5*w, 4*g = -w - w - 4 for g.
-1
Suppose -2*o = -5*a - 22, 5*o - 9*o = -4*a - 44. Solve 2*q = 6*q + 2*h, 3*q - o = 4*h for q.
1
Let d = 89 + -62. Let c = d + -13. Solve 5*t = -2*u, 2*t - 4*t + 2*u + c = 0 for t.
2
Let j(n) = -1 + 9*n + 5 + 7 + n**2 - 3. Let f be j(-8). Suppose 3*i + 3*s + f*s - 21 = 0, 3*i - 24 = -4*s. Solve h - 11 = -2*h - 4*u, i*h - 4*u = -32 for h.
-3
Let p be (-78)/2*(-4 + 3). Let v = -15 + p. Solve -24 = 5*r - c - 0*c, -4*r - v = 4*c for r.
-5
Let z be (0 - 0 - 1)/1. Let t be z/(-3 - -2) - -4. Suppose 0 = 4*b - 31 - 97. Solve t*u = 4*o + b, -u + 0 + 1 = o for u.
4
Suppose -5*d - n = -32, -2*d + 14 = d - 2*n. Let t be d/(-12)*(-1 + 1). Suppose 2*o = f - t*o + 3, -5*f = -o - 12. Solve -3*j + 2*j + 1 = 0, f*q + 10 = j for q.
-3
Let a be 1 - (-6 + 8 + -13). Solve -3*s - 3*f = 15, f - 7 = 2*s - a for s.
0
Suppose 0 = 2*m + m + 24. Let l = m - -12. Suppose 14 = l*y - 6. Solve u = 5*a - 1 + 6, -y = -2*a - u for a.
0
Suppose 0 = 12*m - 3*m - 54. Suppose 2*k = 4*i - 26, 0 = m*i - 8*i - k + 7. Solve 2*j + 4 - 17 = -i*s, -4*j = -5*s - 11 for j.
4
Suppose -4*n + 3*n = -2*x, 0 = -n + x + 1. Solve r = -r + 3*w + 11, n = -2*w for r.
4
Let n(q) = 2*q**3 - 12*q**2 + 10*q - 7. Let x be n(6). Let h = 53 - x. Solve j = 3*l - h*l + 10, 16 = -5*l + j for l.
-3
Let v = 16 - 18. Let f be v/(-2) - 51/(-17). Suppose 3*t - p - 9 = -t, 2*t - p - 7 = 0. Solve -5 = 5*a - 5*j, f*a + 2*j - j = t for a.
0
Let z = 1535 + -1531. Solve 2*h - 4 = 3*x, -z*h + 4 = -4*x - 4 for x.
0
Let f(r) = 4*r - 10. Let m(t) = 3*t - 10. Let v(y) = 4*f(y) - 5*m(y). Let c be v(-6). Solve 0 = c*o - 4*p - p + 3, -2*p + 9 = o for o.
3
Suppose -1431*o - 14 = -1438*o. Solve 0 = -2*d - h - 1, 5*h - 40 = o*d + 3*d for d.
-3
Let t be (-2)/(-14) - 510/(-105). Suppose 5*c - 10 = 2*u, 0 = -6*u + 2*u + t*c - 10. Solve -1 = 3*m + 4*w + 2, 3*w - 9 = u for m.
-5
Suppose -7*j = -2*j - 20. Suppose 0 = 2*u + 6*u. Let s be (-12)/42 + 354/14. Solve u = 4*x - w - 5 - 8, 3*w = -j*x + s for x.
4
Let o(x) = -3*x - 4*x - 6*x + x**3 - 30 + 9 - 6*x**2. Let t be o(8). Solve -t*s = 5*q - 29, -5*s + 7 + 12 = q for s.
3
Let m(t) = -t**3 + 25*t**2 - 42*t - 90. Let w be m(23). Solve -w*b = -2, -2*b + 5 = -i + 2 for i.
-1
Suppose 0 = -20*v + 15*v + 2*z + 66, 2*z + 38 = 3*v. Solve 0 = -i + 3*m - 7, -4*i - v = 3*m - 1 for i.
-4
Suppose 9*r - 338 + 158 = 0. Solve -r = 2*o + 5*v, 5*o - o + 8 = -2*v for o.
0
Suppose -5*h + 4*j + 5 = 45, -4*h - 3*j = 32. Let c = h + 8. Suppose -4*x + 8*x - 4 = c. Solve -5*a = -3*b + x, -2*a - 5 = -3*b - 1 for a.
1
Suppose 32*j - 8 = 30*j. Solve 5*r = 4*n + 1, r - 2*r = j*n - 5 for n.
1
Suppose -y + 3*u = -u + 5, 0 = 2*u. Let s be 3/(y/10 - -2). Let b = 7 - 2. Solve s*r + 7 - 19 = 2*m, b*m + 5*r + 10 = 0 for m.
-4
Suppose -19*o = -35*o + 32. Solve n = 4*q - 13, 2*n = -q + n + o for q.
3
Let l be (-738)/(-12)*6/9. Suppose 5*d = -5*m - 50, -7*d + 2*d = -4*m + l. Let v(j) = -j - 6. Let w be v(d). Solve 2*q = 6, -w*b - q = 4*q for b.
-5
Let l be (0 + 0 + 2)/((-36)/(-144)). Suppose l + 37 = 3*d. Solve -5*i = 2*j + j - d, 5*j + i = 3 for j.
0
Suppose -29 = 2*m + 3*r - 46, 3*m - 5*r = -22. Solve 1 = -6*x + 3*x - 2*q, -q = -m for x.
-1
Let v(k) = -k**2 + 13*k - 14. Let w be v(13). Let m = 1 + -13. Let q = m - w. Solve -x = -4*n - n - 4, 5 = -q*n - 3*x for n.
-1
Let r(l) = -25*l + 3. Let s be r(0). Solve 0 = -4*x - o + s*o + 22, -3*x - 2*o = -13 for x.
5
Let s be 3 + (-2 + 6 - 7). Suppose -g + 1 = 2*f, 2*g - 3*g - 5 = s. Solve f*a + 5*m = 13, 3*m + 0*m - 23 = 2*a for a.
-4
Suppose -3*o = 2*t + 8, -3*t = -2 + 14. Solve -4*w - 2*l - 16 = o, 1 - 5 = 2*l for w.
-3
Let u(i) = -i - 4. Let n be u(-7). Let s(k) = -k**3 - 2*k - 2. Let t be s(0). Let d = n - t. Solve 15 = 2*j - 5*l + 38, -2*j = l + d for j.
-4
Suppose 0 = -3*f - 4*f + 21. Solve -3*a + 16 = -u + 6*u, f*u = 4*a - 2 for u.
2
Let v = -2124 - -2128. Solve 0 = -t, -2*t - v = -l - 0*t for l.
4
Suppose 10*x - 41 = 59. Solve 4*i - 1 + 6 = u, 5*i + 2*u = x for i.
0
Suppose 3 = 2*s - 7. Let l(j) = j**2 + 9*j - 8. Let v be l(-10). Suppose s*m = v*z - 4*z - 10, 8 = -2*z - 4*m. Solve 0 = -z*q + 2*q + 4*c, -c = 0 for q.
0
Let t = -1663 - -1666. Let s(i) = -i**3 - 3*i**2 - 2*i - 3. Let d be s(-3). Suppose d*k = 7 + 8. Solve 0 = -t*b - f - 12, b - f + k = -3 for b.
-5
Suppose i + g = -0*i + 6, 5*i + 4*g - 35 = 0. Let j = i + -8. Solve 6 = 2*s - 2*r - 2, -j*s - 3 = 2*r for s.
1
Let p be (13/3)/(23/69). Solve -5*w - 2*r + 13 = -6*r, -2*w - r = -p for w.
5
Suppose -a - 17 = -21. Solve 4*n + 4*f = -20, 5*f = 2*n - a + 7 for n.
-4
Let r = -8 - -12. Suppose 4*h = -r*s - 0 - 4, 5*h = 5*s + 45. Solve 3*f + 3*p = -2*f + 27, 4*f - 2*p - h = 0 for f.
3
Let y be (5/3)/(-5)*-12. Let k be (6/y)/(4/8). Let h = 124 - 116. Solve -2*x = k*w + h, -2*x + w = x + 1 for x.
-1
Let b(i) = 3*i + 66. Let m be b(-21). Solve 0 = 3*c - 2*f - 9 + 28, -5*c + m*f - 30 = 0 for c.
-3
Let x be 5*(-2)/(-2)*1. Let j(g) = -106*g + 1382. Let r be j(13). Solve 4*m - r*w = -8, 0 - 1 = x*m + 4*w for m.
-1
Let f(n) = -2*n**2 - 27*n + 19. Let o be f(-14). Solve -l = -o*b + 6, 2*b = -b - l + 10 for b.
2
Suppose -5 = -2*g + 2*l + 3, 5*l + 10 = 0. Let w be 3/(-5) + 72/20. Suppose g*p = w*p. Solve 0 = -b - p + 3, u - 2*b + 11 = 0 for u.
-5
Let i(f) = -f**2 - 8*f + 11. Let o be i(-9). Suppose -4*x + 2*q = -o*x - 20, -4*x - 4*q = -8. Solve 2*c + x = l - 3*l, -5*c + 3*l = -9 for c.
0
Let d(z) = -2*z**3 - 140*z**2 - 140*z - 135. Let c be d(-69). Let k(l) = -l**3 + l**2 - l + 5. Let s be k(0). Solve 4*b + 7 = s*r + b, 4*r - c*b = 5 for r.
2
Let j be 4/38 - (-132)/(-1254). Solve 8 + j = 2*t, 2*y - 12 = -t for y.
4
Let o be -5 + (-2 - (-4 + 3)*14). Let c be 4*(-1)/3*-3. Solve -3*q - 16 = -o*q - c*y, -3*y + 8 = q for q.
2
Let v be (6/(-21))/((-6)/126*3). Solve -2*s + 6 = -0, v = -t + 2*s for t.
4
Suppose 3*q = -2*p + 7, 2*q + 0*q + 2 = 0. Suppose i + 2*h = -p + 14, 2*h + 35 = 3*i. Solve 3*j + 1 = 4*u - 4, -j + i = 5*u for u.
2
Let z(r) = -3*r - 23. Let h be z(-8). Let k be (h + 5)/(-3) - -5. Solve 2*x = -3*i + k, -2*x - 1 - 2 = -3*i for i.
1
Suppose 0 = -72*z + 59*z + 26. Solve -5*l + 3*t = -2*l + 12, 13 = -3*l + z*t for l.
-5
Let g(x) = -x**3 + 3*x**2 - 3*x + 3. Let u be g(0). Solve 0 = r - 2*q - u, 3*r - r + 6 = q for r.
-5
Let c = 21 - 18. Suppose 10*o - 5*o - 5 = 0, -c*i = -2*o + 2. Solve 4*y + 5*v - 8 = i, -5*v - 1 = -y + 1 for y.
2
Let v(l) = -l - 7. Suppose -p - 3*w + 0*w - 6 = 0, -p = -4*w + 6. Let h be v(p). Let d = h - -6. Solve -2*f - f + 8 = d*s, -2 = -s - f for s.
1
Let g = 6 - 41. Let b be ((-60)/g)/((-2)/(-14)). Let l = b + -7. Solve -5*p + 40 = -5*i, -3*i - 49 = -l*p - 19 for p.
3
Let x be 1*(4 - (-3 + 0)). Let r(t) = t - 3. Let s be r(x). Suppose s*z = -0*z + 16. Solve -3*w - z*l + 11 = 0, w - 3 - 5 = 3*l for w.
5
Suppose 0*z + 3 = 2*z - 5*l, -3*z - 4*l = -39. Suppose -3*y = -0*y - z. Solve 0 = o - 3*o + h, 3*h - 18 = -y*o for o.
2
Let m(d) = d**3 - 2*d**2 - 9*d + 6. Let q be m(4). Let s be 3 + 32/(-12) - q/6. Solve -5*a + 4*k + 0*k + 40 = s, -5*a + 25 = -k for a.
4
Suppose -2*a - 4*b = 8, 2*b = 