 n.
5
Suppose -3*d - 2*d = 0. Suppose -4*f - 4*o + 20 = -d*o, 0 = -5*o. Suppose -f*g - 4 + 14 = 0. Solve 4 = -g*i, 0 = -c - 4*c + 4*i + 3 for c.
-1
Suppose -4*w = -0*w - 20. Suppose 4*g - 27 = w*s, s = -2*g + 2*s + 9. Solve f - 2*j + 8 = 0, g*f + 5*j - 2 = f for f.
-4
Let w be (1/3)/(3/27). Let a be ((-2)/w)/(4/(-78)). Let k = a + -8. Solve -5*h - 5*b = k, 2*h + b + 2*b = -6 for h.
3
Let k(w) = -w**2 - w. Let u be k(-1). Suppose -3*c - s = -0*s + 4, -c = -2*s - 8. Suppose -f + c*f = -2. Solve u = f*g + 5*b - 5 - 8, -4*g - 4*b + 8 = 0 for g.
-1
Let g = -19 + 19. Let w be 55 + -3 + 1*-1. Suppose 4*h = s + 31, -4*h = -g*h + 3*s - w. Solve 4*c + 10 = 3*x - 0*x, 5*c = 2*x - h for c.
-1
Suppose 3*x = 2*s - 19, 0 = -5*s - 3*x - 2 - 3. Suppose 3*v - 7*v = -32. Suppose 0*g = -s*g + v. Solve -5*w + 2*u = 12, -g*u = -5*w + u for w.
-4
Let m = 19 - 17. Let z be (m/(-6))/(1/(-9)). Solve -6 = 5*c - 31, z*s + 22 = 5*c for s.
1
Let t(c) = c**3 - 8*c**2 + 6*c + 9. Let b be t(7). Solve 5*f - 1 = -6*x + 4*x, -4*x - b*f + 10 = 0 for x.
3
Suppose 5*j + 9 = 39. Let z be 8/24 + 4/j. Suppose -14 = -2*c - c + o, o = z. Solve -2*x - 9 = 3*m, c*x - 5 = 2*m + 1 for m.
-3
Suppose -w + 2 = -3. Suppose -5*r = -w - 15. Solve r*x + 2*n = -4, -10 = 2*x - 0*n - n for x.
-3
Suppose 4*g = -3*u - 63, 0 = u - 2*u - 5. Let n be (-246)/(-10) + g/(-30). Solve -2 + 9 = 5*w - y, 5*y - n = -5*w for w.
2
Let p(w) = -7*w - 19. Let z be p(-3). Solve -4*v + z = 3*l - 2, -5*v = l - 16 for v.
4
Let z = 91 + -88. Solve -3*m + z = 5*w, 7*w - 2*w = -5*m - 5 for w.
3
Suppose 0 = -3*h + 4*h - 2. Solve 0 = 5*w + z - 8, 2*z - z + h = 0 for w.
2
Let s be 0 - (4 + -12 - -3). Solve 0 = -0*h - 3*h - 4*o + s, -2*h - 4*o = -2 for h.
3
Let d = 19 - 21. Let z = 4 + d. Solve 4*a + 4 = 2*g, -2*a + 6 = z*g - 5*g for g.
-4
Suppose 4*d = 2*d + 6. Solve d*x = 4*n + 35, n - 7 = 2*x - 22 for n.
-5
Suppose -3*x = 2*x - 15. Let q = 5 - x. Solve 4*v + 14 = -2*b - 0*v, 0 = 4*b - q*v + 18 for b.
-5
Suppose 3*v + 23 = -4*p, -13 = -v + 4*v - p. Let n = 5 + v. Suppose n*z = 5*z - 10. Solve z*r + 2*j = 8, -3*r + 5*j - 11 = r for r.
1
Let x(p) = -3*p - 2. Suppose 1 + 5 = -2*b. Let n be x(b). Let l be (-10)/(-4) - (-1)/(-2). Solve -3*m - 10 = -l*d + n, 2*d = 8 for m.
-3
Let o be 10/(-55) + (-664)/(-22). Solve -4*h + 2*z + 2 = -h, 2*z = -5*h + o for h.
4
Let c = 89 + -13. Suppose c = 2*x - 0*x + 4*j, -4*x + 3*j = -130. Suppose 9 = p - 0*p. Solve -13 = 2*r + 3*u, 5*r - x = 4*u - p for r.
1
Let f(s) = -s**2 + 15*s + 5. Let j be f(15). Solve -j*h - o = -20, -3*h = -h + 2*o for h.
5
Let w(m) = 3*m + 33. Let z be w(-10). Solve o + 11 = -z*p, o = 2*o - 1 for p.
-4
Suppose t - 3 - 12 = 0. Let x = 15 - t. Solve 2*b = -n - n, x = -b - 2*n + 1 for b.
-1
Suppose -43 = -y - 40. Solve -5*c + 10 = 3*f, 3*c = 2*f + 3 + y for f.
0
Let o be (-12 - -11)/(1*-1). Solve -o = -3*p + z, -z = -5*p + 1 - 0 for p.
0
Let t be (-62)/2 + (-4)/(-4). Let m be (-4)/(-10) - 438/t. Let v be m/6*(-8)/(-10). Solve 2*i + 3*z = -3, 2*z = -4*i - v*z - 8 for i.
-3
Let h(s) = -s - 4. Suppose -v - 4*n - 9 = 0, -3*v + 2*n = 5*n. Let u = v + -9. Let i be h(u). Solve i*f + 16 = 4*o + o, 0 = 4*o + 3*f - 22 for o.
4
Let r be 6/(-4) + (-1)/(-2). Let c = r + 3. Solve c*a = -i, -i - a + 1 = -1 for i.
4
Suppose q = 3*i + 9, -6*q = -5*q + 4*i + 5. Solve 0 = -5*v + q*f + 4, -5*v = -v - 2*f - 4 for v.
2
Let p(x) = 21*x + 1. Let y be p(1). Let n = y + -19. Solve 0 = -4*c - 3*r - 19, -c + n*r + 18 = 4 for c.
-1
Suppose -8 - 12 = -5*l. Solve -4*m + 5*d + 1 = 0, 0 = -3*m + l*m + 5*d - 19 for m.
4
Suppose 0 = 7*l - 19 - 16. Solve -j + y - l = j, -7 = j + y for j.
-4
Let y(u) = 2*u**2 - 5*u + 4. Let q be y(4). Solve 2*d - o + 4*o - 12 = 0, -4*o + q = 5*d for d.
0
Let s be ((-7)/((-21)/(-18)))/(6/(-4)). Solve 0 = -s*n + 4*j - 12, -n + 2*j - 16 = 3*n for n.
-5
Let f(i) = -i**3 + 6*i**2 - 5*i + 2. Let r = -6 + 11. Let q be f(r). Solve -2*p = -4*g + 24, p - 3*g + q = -15 for p.
-2
Suppose 2 - 6 = -w. Solve o + 7 = -a - o, w*a = -o for a.
1
Suppose -2*j = -5*f + 65, f + 3*f - 39 = -j. Let v = 24 - f. Solve -4*i = i - 4*p + v, i + 2*p - 3 = 0 for i.
-1
Let m(d) = d - 4. Let r = 9 - 3. Let c be m(r). Solve 2*y + c = 4*k - 0, 2*k + 5*y = 19 for k.
2
Suppose 0 = 3*y + 12 + 15. Let g = 1 - 5. Let d = g - y. Solve d*u + 2*z - 15 = 0, 3*u - 4*u + 4*z = -3 for u.
3
Suppose -2*k + 3*r + 0*r - 2 = 0, 9 = 5*k - 4*r. Let d = -6 + 11. Solve -45 = -k*w + 5*a, 2*w = -d*a - 10 - 0 for w.
5
Suppose a - 9 = -24. Let g = a + 17. Solve -7 + 21 = -5*z - q, -g = 3*z - q for z.
-2
Let s(g) = -g**2 - 7*g - 7. Let v be s(-5). Suppose 0 = -3*w + 12 + v. Solve p + 0*p + y - 2 = 0, w*y + 4 = 2*p for p.
2
Let k(s) = -s**2 + 17*s + 65. Let m be k(20). Solve 0*a = -3*a - m*p - 5, 4*a = -5*p for a.
5
Suppose -2*s + 8 = 3*j, j - 4*s = -10 - 6. Suppose 3*l + 2 - 8 = j. Solve -4*y + l*k - 9 = k, 2*y + 5 = k for y.
-2
Let l(a) = a**3 - 3*a**2 + 5*a - 2. Let u be l(4). Let g be 4/(2 - (-6)/(-4)). Suppose -g - u = -2*n. Solve 0*t + 17 = 4*t + 5*p, -3*p = -3*t - n for t.
-2
Suppose -3*w + 2*y = -2, w + 3*y - 35 = -4*w. Solve 2 = 4*k - x - 3, -w*k + 3*x - 1 = 0 for k.
2
Let u be 3/9*(-2 - -32). Solve 3*i = t + u, i + i = -5*t + 35 for t.
5
Let n(f) = f - 9. Let b be n(11). Suppose -2*d + b*h = 2, d + 1 = 5*d - 3*h. Solve d*m + 8 = -5*t, -4 = 4*t + 3*m - m for t.
0
Suppose 6 - 18 = 4*a. Let t be a*((-44)/6)/2. Suppose -2*d = -t + 1. Solve 5*s + 2*x = -3*x, -2*x = d*s + 3 for s.
-1
Suppose 0 = 5*g - 27 + 7. Let n be -1 - (-3 - (1 - 2)). Let t = n + g. Solve 5*i + t + 3 = 4*c, 4*i = 4*c - 8 for i.
0
Suppose 0 = x - 3, -3*x = -5*h - 10 + 1. Let d = 12 + h. Solve -c + 4*c = 5*r - d, r - 5*c + 2 = 0 for r.
3
Let z = 35 + -32. Solve -4*h - 7 = -z*d - 0, 5*h + 3*d - 25 = 0 for h.
2
Suppose -5*j + 18 = -12. Let h be 6/(-4)*4/(-3). Suppose 4*r - 12 = -0*r. Solve -h*d + 7 = -i + 2, i = r*d - j for i.
-3
Let x(m) = -m + 8. Let z be x(-8). Let d = z + -14. Let v be (-1 - 0)/(2/(-6)). Solve -3*p = d*b - 22, v*b + 3*p = 10 + 17 for b.
5
Suppose -4*n = 4*w, 2*w + 6 = -0*w - 4*n. Let d = 29 + -27. Solve 5*h = 2*p + 6, -h - d - 2 = -w*p for h.
2
Let k = -1 + 17. Let l be (15/(-1))/(3/(-2)). Let y be 62/l - (-5)/(-25). Solve -6*f - m - y = -f, -4*f = -2*m + k for f.
-2
Let n be (2/5)/(2/160). Suppose 2*l - n = 6. Suppose -1 = -5*o + l. Solve -2*t = o*m - 5*t - 3, 4*m - 1 = t for m.
0
Suppose 9*n - 15*n + 24 = 0. Solve -4*l + n*h + 16 = -0*l, -h + 20 = 5*l for l.
4
Let m = 4 - 0. Solve -i - 2*x + m = 0, 3*i - 4 - 4 = -2*x for i.
2
Suppose 5*l = 5*z + 40, 4*l + 2 = -z + 19. Suppose 4 = 4*a - 3*a. Solve -a*g - l*f - 2 = 7, -f - 2 = g for g.
-1
Suppose 3*h = -9, 22 = -m - h + 7. Let t(l) = l**3 + 11*l**2 - 12*l - 8. Let d be t(m). Let x = -3 - d. Solve -5*k = -3*s - 2*k, x*k - 30 = -s for s.
5
Let r be (-2*1 - -1)/(-1). Let b = 3 - r. Let p be b + (0/(-3) - -1). Solve 2*g = -5*z - 23, 22 = -5*z - 0*g - p*g for z.
-5
Let y(t) = 5*t + 14. Let d(n) = 11*n + 29. Let g(z) = -4*d(z) + 9*y(z). Let k be g(-6). Solve 0 = -3*o + 4*s - 10, -k*s + 0 + 14 = -5*o for o.
-2
Let y(p) = 4*p - 2. Let s be y(1). Suppose -3*v = -4 - s. Solve -v = -3*m + 5*c - 37, 0 = 4*m - 3*c + 32 for m.
-5
Let x(h) = -h**2 - 8*h + 30. Let o be x(-9). Solve 5*s = -k - k + 9, -o = 4*k - 3*s for k.
-3
Let y be 8/14 - (-2564)/(-28). Let f be y/(-13) + (1 - 5). Solve 2*t + 3*p + 15 = 0, -f*p + 7*p = -20 for t.
0
Let f = -10 + 5. Let d = f - -10. Suppose 4*g - d*g + 6 = 0. Solve -3*y = -2*r - 16, -y + r = -g - 1 for y.
2
Suppose 5 = -4*t + 21. Suppose 0*v = -t*v + 20. Let j = 5 + 0. Solve 0 = -3*s - r - j, -v*s - 11 - 4 = 3*r for s.
0
Suppose 3 = 5*n - 2*o, 8 - 4 = -n + 5*o. Solve -5*t + 45 = -5*v, -5*v = 5*t - n + 6 for v.
-5
Let c(k) = k**3 - 10*k**2 - k + 14. Let q be c(10). Let h be 94/18 + 4/(-18). Suppose h*t - q = 6. Solve -9 = -t*j + 5*m + 7, -2*j - 3*m = 0 for j.
3
Let h be (-4)/2*30/(-4). Let m be -10*(2 + (-15)/6). Let x = 10 - m. Solve -2*a + w + h = 0, w = x*a - 6*a for a.
5
Let o(q) = -2*q**2 + 14*q + 3. Let k be o(7). Solve 0 = 3*m - i - 8, 0*m + k*m - 32 = -5*i for m.
4
Let l(n) = n - 2. Let t be l(-6). Let o = t - -11. Solve o*k + 4*y - y = -18, -3*k + 3*y = 0 for k.
-3
Let z(c) = c**3 + c**2 - 3*c - 1. Let w be z(-2). Solve -4*g = -4*y + 15 + w, 0 = -4*g - 3*y + 5 for g.