 - 20 for n.
-2
Suppose 5*d + 1 = 26. Solve -k + d = u, -4*k - 35 = -5*u - 10 for u.
5
Let p = 5 + -3. Suppose 4*v - 3*m = 1 + p, -3*v = 2*m + 2. Suppose v*s = -3*s. Solve 5*g - 5*l + 20 = s, 0 = g - 0*g + 3*l + 4 for g.
-4
Let q be ((-22)/6)/(1/(-3)). Suppose -5*j + q = -2*g, -3*j = 5*g + 2*j - 25. Solve -4*b = -4*i + 28, 5*b = -g*i - 3 - 4 for b.
-3
Suppose 11*z - 16*z + 35 = 0. Solve 7 = -2*d + 5*f - z, 2*f = -d + 2 for d.
-2
Suppose n - 2 = 9. Let u be 1 + -1 + 2 + -2. Suppose -3*d + 16 + n = u. Solve 3*h + 4 = 4*k, -4*h + d*h + k = 1 for h.
0
Let n be (3/6)/((-3)/36). Let b = 10 + n. Solve -b*u + 7*u = -2*g + 4, -2*u - 5*g = -10 for u.
0
Let l = 67 - 62. Solve 5*g - 4*y - 36 = 0, 0*g + 5*g = -l*y for g.
4
Let n = 50 + -47. Solve z = -n*r - 17, -2*r - z + 3 - 16 = 0 for r.
-4
Suppose t - 10 = s + 3*s, t + 2 = 0. Suppose 4*z - 4 = -3*c - 10, 4*c = -3*z - 1. Let x = c - s. Solve 0 = 5*b + v - 4*v - 20, 2*b - x*v = 8 for b.
4
Let v(h) = h**2 + 3*h - 2. Let a be v(-4). Let r be 0*1*(-3)/(-6). Let c = 7 - r. Solve 0 = -f + 4*u + 6, -a*u - 17 = -4*f - c for f.
2
Suppose -5*s + 30 + 15 = 0. Suppose 4*g - 20 = 2*m, 4*m = 3*m + 2. Solve 5*n = -3*c - s, 4*c - 2*c + n + g = 0 for c.
-3
Let c(x) = -x**2 + 7*x - 3. Let h be c(6). Solve 0 = 5*g + w, 5*g - h*w = 7*g - 13 for g.
-1
Let i(p) = -3*p**2 - 15*p + 2. Let d be i(-5). Solve -5*f + 35 - 2 = 2*k, -d*f + 4*k - 6 = 0 for f.
5
Let r(v) = v**2 + 2 - v**3 - 2*v**2 + 2*v**2. Let o be r(0). Solve 0 = o*d - 6, 2*g - 3*g = d for g.
-3
Let n = -7 + 10. Suppose -4*t - 16 = 3*c, c = -n*c - 16. Let d be t/((-1)/2) - -1. Solve d*x - 18 = 5*j + 2*x, 0 = -j - x for j.
-3
Suppose 3*k = -3 - 6, 0 = 4*g - 4*k - 24. Let f = -3 + g. Suppose f*h - 3*z = -5*h - 6, 2*h - 4*z = -8. Solve h = 2*d - 3*t + 9, 5*d + 6*t = 2*t + 12 for d.
0
Suppose -2*z + 2*d = -6, -9 = 6*d - 3*d. Let s be 1/(-1) + 3 + z. Solve -s*v + 5*v - 16 = -5*j, 4*j - 2*v - 4 = 0 for j.
2
Let f = 39 + -39. Solve -5*b = a - 23, -7 + f = a - b for a.
-2
Suppose -2*h - 4*f - 26 = -4*h, 4*f = -5*h - 5. Solve -2*y + 2 = -n + h, 2*y + 4 = 0 for n.
-3
Suppose i - 4*h + 8 = 1, 3*i - h = 12. Solve -i*r = 3*v - r - 11, -4*v + 8 = 4*r for v.
-3
Let m = 88 - 86. Solve m*r + 4*y + 4 = -0, 0 = 4*r - y + 17 for r.
-4
Suppose 3*m = 4*a + 32, 2*m + 3*a + 7 = -0. Solve -m*h + 2 + 2 = -4*f, -3*h + 11 = -5*f for h.
-3
Suppose x - 5 = 2*m - 1, -4*x + 5*m + 25 = 0. Let r be (2 - x/6)*9. Solve 0 = -q + 2*h - 3, q - 6 = r*q + 5*h for q.
-3
Let d(h) = 2*h**2 + 5*h + 2. Let o be d(-3). Suppose -3*r = -p - 21, 7*r = 2*r - o*p + 15. Solve -2*n - 2*n + r = 2*m, 4*n = 2*m + 10 for m.
-1
Let z be (-2 + -1 + 3)/(-1). Solve z = m + c + 2 - 9, m - c = 3 for m.
5
Let g = -8 - -22. Suppose 5*h - 1 - g = 0. Solve -3*c + 12 = h*t, -2*c - 7 = -t - 2*t for t.
3
Let x = -97 + 97. Solve 4*z - 5*s - 8 = 0, x = -2*z - 0*s - s - 10 for z.
-3
Let b be (-2)/5 - (-54)/10. Suppose b*s - 91 = -31. Solve t - 4*y - s = 0, -2*t + 4*y + 17 = 5 for t.
0
Suppose k + 3*c - 6 = 0, -3*c + 14 = 3*k + 2*c. Solve 2*h + 15 = -2*h + a, k*a = 5*h + 10 for h.
-5
Suppose 4*m + 4 = 4*j, 0*j = -2*j - 5*m + 16. Let a = 6 - j. Solve -a*z - 12 = 3*b, -5*b + 16 = -3*z - 4 for z.
-5
Let h be 1/((-2 + -1)/(-9)). Solve c + 3*r + 5 = 0, -c - 2 = -2*r + h for c.
-5
Suppose -14*k = -19*k + 20. Solve 3*w - 4*z = -3*z - 5, -4*w + 2*z - k = 0 for w.
-3
Let u(n) = -n + 1 - 4 + 13 - 8*n**2 + n**3 + 0*n**3. Let r be u(8). Solve 3*h - 9 = -r*o, 5*h - 15 = o + o for o.
0
Let g(o) = -o**3 - 4*o**2 + 2*o + 2. Let a be g(-4). Let k = a - -11. Solve 5 = k*i - 0, t - 6 = -i for t.
5
Let k = 5 - 0. Solve k*w + 13 = -0*g + 3*g, 3*g - 3 = 3*w for g.
-4
Suppose 0 = 4*z + 4*h - 11 - 41, -4*z + 5*h = -16. Suppose -j = -3*b + z, 5*b + 5*j + 0*j = 15. Let w = 9 - 7. Solve 2*r + w = -2*u - 2, r = b*u + 10 for r.
1
Suppose 5*j + 4*s + 0*s = -64, -3*s + 12 = 0. Let u be j/6*(-6)/4. Suppose -4*x = 4*w - 12, u*x - 16 = 5*w - 4. Solve 5*o - 10 - 2 = -l, -8 = -l - x*o for l.
2
Suppose 13 = -y - 5*a - 7, 5*y + 8 = -2*a. Suppose -2*i + d + 2*d + 15 = y, 4*i - 15 = 3*d. Solve i = 5*w - 5*z + 45, -4*w + 3*z - 42 + 10 = 0 for w.
-5
Suppose 5*i + 3*w - 11 - 3 = 0, 18 = 5*i + w. Let b = 7 - i. Let c be 1/(b/6 + 0). Solve c*a + r = 3*r, -32 = 4*a + 4*r for a.
-4
Let s(z) = 3*z**3 + z**2. Let q be s(-1). Let m = q - -2. Let n be (-24)/(-10) + (-6)/15. Solve -f = m, -n*f = -2*g - 4*f + 10 for g.
5
Let q = 2 - -1. Suppose -l - 3*s - 2 = 0, 24 = -q*l + 7*l - 4*s. Let m = -4 + l. Solve m = c, 5*n + 19 = 4*c + 4 for n.
-3
Let b = -15 + 17. Let f = -2 + 1. Let z be b - -2*1*f. Solve 3*o = d - 5, -3*o = 4*d - z - 5 for o.
-1
Let s = -5 - -8. Suppose -3*k - 50 = -5*o - 8, 4*o - 32 = 2*k. Solve 0 = 3*c - o - 3, 3*c = -s*a for a.
-3
Let a(b) = 2*b**2 - 5*b + 3 + 3*b**2 - 4*b**2 + 0. Let y be a(5). Let m be (-39)/(-15) + (-4)/(-10). Solve -y*f + 6*f = w - 9, -m = f - 5*w for f.
-3
Let z(f) = f**2 + 6*f - 5. Let w be z(-7). Solve 5*q - 21 = b, 0 = -3*b - w*q + 3*q + 7 for b.
4
Suppose 3*r + 9 = -0, -2*f + 16 = -2*r. Suppose -l + 2*o = -13, 54 = 4*l + f*o - 11. Solve 3*z = w + 7, -2*w = w - l for z.
4
Suppose -22 = 4*j - 106. Solve 0 = -5*y - 2*k - j, 3*k - 4 = -y - 3 for y.
-5
Let q be 6 - (2 + 2/(-1)). Let l = q - -4. Solve -12 = -3*w + 3*k, w - 6*w + l = 5*k for w.
3
Let o be (3 - 0)/(1 + 0). Suppose 3*l = l. Suppose -4*v + w + 7 = l, -3*v = 2*v + 2*w - 25. Solve -y = o*s + 4, v*s - 1 - 3 = y for s.
0
Let p be -3*(15/(-9) + -1). Let z = 13 - p. Suppose m - 3*g - 10 = -g, -4*m + z*g = -34. Solve 0 = 3*h - b + 11 - 2, 2*h - 2*b + m = 0 for h.
-3
Suppose 2*t - 5*t = 0. Let r(u) = -u**2 + 2*u + 19. Let f be r(5). Solve t*b + 2*k - 7 = -3*b, -5*b - f*k = -13 for b.
1
Let h be 2/4 + 44/8. Let c be ((-20)/h)/(8/(-12)). Solve 0*r + 24 = c*o - 3*r, -5*o + 5*r + 30 = 0 for o.
3
Suppose 5*p = 12 - 2. Solve -3*y = p*h - 7, -5*h - 3*y = -4*y - 9 for h.
2
Suppose 11 = -3*i + 29. Let z = 2 - 1. Suppose z + i = q. Solve -3*y = -5*u - 4 - 13, 3*y = -5*u + q for y.
4
Suppose -13*b + 4*b + 216 = 0. Solve -z = -4*g - 21, -4*g + 5*z - b = z for g.
-5
Let z = -14 - -16. Solve -f - 9 = -3*x - z*x, 4*x = 8 for f.
1
Let w(i) = -i**2 - 11*i. Let v be w(-11). Solve 2*g - q = -v*q, -5*g - 1 = -3*q for g.
1
Let m(f) = -f + 2. Let d be m(5). Let r be 1*(5 + -1 - 1). Let z = d + r. Solve -4*b - 3*y = 13, -19 = 5*b - z*b + y for b.
-4
Let y(v) = -v - 2. Let b be y(-7). Solve -3*t + w - 12 = 0, -5*t = -w + b*w + 20 for t.
-4
Suppose -4*n - 8 = 32. Let q = n + 13. Solve f + 15 = q*r, 3*r = f - 2*f + 9 for f.
-3
Suppose -2*q = 2*z + q - 18, -z - 2*q = -11. Solve -a - 3 + 2 = 0, -z*a = 2*p + 13 for p.
-5
Suppose 2*z - 6 = 2*t, 0 = -5*t - 2*z + 6*z - 10. Suppose -d = -2*d. Solve -5*c + 2 = j - t, d = -j + 2*c + 4 for j.
4
Let a be 7/1*54/21. Solve -2*o + 3*h = -o + 13, 4*h - a = o for o.
2
Let d(o) = -o + 6. Let r be d(-4). Let x be -2 - (2 + 2/(-1)). Let a be (-1)/(x*(-1)/(-10)). Solve -a*l + 2*h + 1 = 19, 3*h = -l + r for l.
-2
Suppose 2 = -2*p - 2. Let u(w) = w**2 + 2*w + 2. Let o be u(p). Solve z + 5*f + 3 = 0, -z + 12 = 4*z - o*f for z.
2
Let v be -2 + 2 - 3*-4. Solve -3*k - 4*w + 12 = 0, -4*w + 9*w = -3*k + v for k.
4
Let o(k) = -k**2 - 11*k - 18. Let v be o(-6). Solve 0 = -4*d - 0*d - 4*p + v, 3*p = 5*d - 7 for d.
2
Let s(o) = -4*o - 3. Let h be s(-4). Let t = -2 + h. Solve t = -6*c + c + 3*q, 4*q - 8 = 0 for c.
-1
Let p be 2 + -1 - 7*-3. Let b be 5/10*p*-1. Let w be (-2)/b - 2/11. Solve w = 2*s - 4*v + 4 + 8, 5*s - 10 = 2*v for s.
4
Let n be (-1 - 1) + 1*5. Suppose -n*p + 6 = -p. Solve o = l + 6, 0 = -5*l - p*o - 0 + 2 for l.
-2
Suppose -5*s + 2*y = -17, -y + 4 + 0 = 0. Solve 0 = 4*p + 4*h - 28, 6 = 3*p + s*h - 23 for p.
3
Let z = 7 + -3. Let t be (-8)/36 + z/18. Solve 6*d = 2*d - n - 22, -4*d - 5*n - 30 = t for d.
-5
Suppose -15 = 4*a - 7*a. Suppose 3*n + 3*w = -24, n = 2*w - 4 - 19. Let u = 4 - n. Solve -16 = -4*b + 2*y - 2, -a*b + 2*y = -u for b.
3
Suppose 6 = -z + 11. Suppose -5 + 3 = 2*v. Let q be -2 - (-2 - -9)*v. Solve g + 2 = d - z*d, g + 2 = -q*d for g.
-2
Let c be -1*(-2 + 3)*0. Let q be 4 - 2 - (-1 + c). Suppose 60 = q*d + 2*d. Solve 0 = 2*h + 3*a + d, -h + 1 = -a - 3 for h.
0
Suppose -9*q + 4*q = -25. Suppose q*f - 15 = 2*f. Solve 4*y - f*d = -1, 0 = -3*y - 2*d + 3*d + 2 for y.
1
Let u = -