 for n.
3
Let o(l) = 3 - 10 - 2 + 8*l - 7*l**2 + l**3. Let v be o(6). Solve 3*b = 2*h + 6 - v, 0 = -4*b + 3*h + 4 for b.
1
Let s = -12 + 14. Solve -6*k = 2*v - s*k - 10, v - 4*k - 5 = 0 for v.
5
Suppose 0 = -3*s - 2*b + 15, s + 5*b = 18 - 0. Suppose a = 2*a - 5. Suppose -25 + 5 = -a*o. Solve -x - 3 = -s*d, -4*x = o*d + x - 23 for d.
2
Let n(v) = -v**2 + 8*v + 6. Let q be n(7). Suppose q = 2*i + 3. Solve -1 + 11 = -i*l - 5*u, 4*l + 2 = -2*u for l.
1
Suppose 4*t = -n + 2, -3*n + 6 = -5*t - 0*t. Solve -3*p + n*w = 1 - 6, -5*p + 5*w = 0 for p.
5
Let r be ((-3)/2)/(30/(-200)). Suppose 0 = -5*l + 4*m + 9, -4*m + 25 = l + m. Solve -l = 3*q - 5*g, 3*q + 3*g - r = 17 for q.
5
Suppose m + 80 = 5*m + 4*q, -m - 3*q + 20 = 0. Solve 3*w - 9 - 19 = -4*h, -2*h + m = 3*w for h.
4
Let s be (0 + 0)/((1 - 0) + -2). Solve p + a - 6 = s, -6*a + 14 = -p - 2*a for p.
2
Let u(b) = b**3 + 10*b**2 - 3*b - 19. Let c be u(-10). Solve 4*l + 6 = 2*o, -4*l + 3*o - c = -0*l for l.
1
Suppose -q + 4*p - 12 = p, 16 = q + 4*p. Let y(s) = -s - 3. Let l be y(-5). Solve 3*k - 5*k - c - 4 = q, 4*k = l*c + 8 for k.
0
Let x = 11 - 5. Let s be (0*3/x)/2. Suppose s = 2*b - 8, 3*p - 4*p - 5*b + 23 = 0. Solve p*o = 3*v + 3, -5*v + 0 = -o - 15 for v.
4
Let u(y) = y**3 + 4*y**2 + 4. Let m be u(-4). Solve -2*l - 2 = 3*a + 20, m*l + 16 = a for a.
-4
Suppose -6 = -2*d - 2. Suppose f - 1 = d. Solve -2 = -0*w - 4*w - 2*z, w = -f*z - 2 for w.
1
Suppose -a = -7*a + 30. Solve -2*l - 10 = 0, -2*i + 0*l = -3*l - a for i.
-5
Let n = 22 - 19. Suppose -3*d - 8 + 5 = 0, -2*i + n = d. Solve -5*j - 2 = -22, i*o + 5*j - 12 = 0 for o.
-4
Let v(d) = d**3 + 7*d**2 - 9*d - 5. Let o be v(-8). Suppose 23 = o*q + 8. Solve 0*j - 2*m = j, -2*j - q*m = 1 for j.
2
Let l(g) = -6*g + g**2 + 0*g - 2 - 4 + g. Let j be l(6). Solve 3*x + i + 15 = j, -3*x - 5*i + 5 = -4*x for x.
-5
Let d = -16 + 20. Solve 8 = -4*b + 4*a, 0 = d*b - 3*a + 2 + 5 for b.
-1
Let q = -49 - -51. Solve q*g = -3*h + 3 - 19, -3*h - 12 = 0 for g.
-2
Suppose 19*j - 378 = j. Solve 0 = -s + 2*n - 6, -7*s + 5*n - j = -3*s for s.
-4
Let z(u) = u - 4. Let i be z(6). Solve -5*h - i*n + 17 = 0, -5*h - 4*n + 5 = n for h.
5
Let g = -37 - -39. Solve -g*n = b - 6*n + 14, 3*n = 2*b + 8 for b.
2
Suppose -l = -4 - 19. Let q = l - 10. Solve -w + 5*a = q, a - 5 = w - 2*w for w.
2
Let p(j) = -j**3 + 7*j**2 - 5*j - 2. Suppose -6 = 2*n - 3*n. Let s be p(n). Solve -f = -2*q - 2*q + 2, f - s = -2*q for q.
1
Let x = -8 + 20. Let r be 2/9 + (-129)/(-27). Solve -5*h - 5*s - 15 = 0, -r*h - 5*s = -s + x for h.
0
Let m be 5/((-15)/9) - 3. Let g be ((-2)/m)/(2/12). Solve 0 = 3*v + 5*o + 25, 2*v + o + 16 = -g*o for v.
-5
Suppose f + 0*f = 2. Let l be 54/(-12) + 5 + 51/2. Solve -k - 3*k + 2*n = l, -2*n + 18 = -f*k for k.
-4
Suppose 2*s - 10 + 2 = 0. Solve 0*a - 3*a - s*o = 3, -2*o - 3 = a for a.
3
Suppose -2*u - 2 = -4. Let h = u - -1. Let b be (2/h)/((-5)/(-125)). Solve -5*s - b = 0, -2*q - s - 5 = -0 for q.
0
Let u be (-27)/6*(-2)/3. Solve 4*f - q + 6*q - 14 = 0, u*q = 4*f + 2 for f.
1
Let d be (0 - 0)/(1*-2). Let a(h) = 2*h + d - 2 - 3 - 3*h. Let c be a(-5). Solve 2*m = g - c*m + 1, 2*g + 2 = -3*m for g.
-1
Let z be 7 + ((-3)/(-3) - 2). Suppose 0 = u - g - 1, -z*u + 3*g = -4*u. Solve 6 = -2*w, u*k + 3*w = -k - 21 for k.
-3
Suppose 44 = 5*d - 4*n, 5*n = -4*d + n + 28. Solve 4*i - 16 = -d*b + 4*b, -i + 8 = 2*b for b.
4
Suppose -m + 0*m = 0. Suppose m = -i + 4*i. Let s = i - -2. Solve 3*a + s*a = -t - 8, 1 = -4*a + t for a.
-1
Let u be 14/6 + (-3)/9. Suppose u*z - 16 = -2*z. Suppose -5*o = 5*m + 25, -m + 4*o + 24 - z = 0. Solve d - 4*r + m*r - 5 = 0, -4*r - 14 = 2*d for d.
-3
Let u be (-2)/(-7) + 18/(-14). Let p be 4 - (7 - u) - -9. Solve -5*f + 3*f + 4 = 0, 0 = 2*c + p*f - 20 for c.
5
Let r = 67 + -65. Solve -f - 1 = 2*v, -r*v = 3*f - 3*v - 11 for f.
3
Let s be ((2 + 2)*-1)/(-1). Solve -s*g = -i + 13, i + i = -3*g - 7 for g.
-3
Let m(k) = k**2 - 10*k + 9. Let q be m(6). Let p = q + 43. Suppose j - p = -3*j. Solve 3*s = 3*n + 4*s + j, n + 7 = -5*s for n.
-2
Let j(o) = -o**3 + 3*o**2 + 4*o + 4. Let s be j(4). Solve s*u + 4*i - 4 = -u, -4*i + 4 = 4*u for u.
0
Let z be 0/(1/(-1))*-1. Let r be (z + (-1)/2)*-8. Suppose 71*y = 69*y + 10. Solve 0 = -a + 5*p - 19, -1 = r*a + y*p - 0 for a.
-4
Let z be (-3)/(-15) - 448/(-10). Suppose 0*g + z = 3*g. Solve -3*o + 1 = 5*q + 11, 5*o = -2*q + g for q.
-5
Let n be (-14)/(-3) + (-10)/(-30). Solve 4*t = -n*i - 5 - 0, -12 = 3*t + i for t.
-5
Let j be ((-24)/(-30))/((-2)/10). Let a = j + 8. Solve -a*i - 1 = -17, 0 = 5*o + i + 11 for o.
-3
Let t = -95 + 100. Solve 0 = -3*n + 4*n + 5*k + 12, -2*n - t*k = 9 for n.
3
Suppose 4*j + 6 = 7*j. Solve -4*k - 8 = 2*x, j*k + x + 4 = k for k.
0
Suppose 0 = y - t - 1, 0 = y + 2*y - 4*t - 2. Suppose -y*o - 4 = 3*z + 1, o = -z - 1. Let d be 6/(-3)*(-5)/o. Solve 3*s = 3*c - 2*s - 13, c + d*s = -9 for c.
1
Let z(f) = -f**3 + 6*f**2 + 8*f - 9. Let s be z(7). Let n be (3/(3/s))/(-2). Let g be (-1)/(n*(-2)/4). Solve 2*w - 6 = -3*b + 4, 3*w = g*b + 2 for b.
2
Let s be ((-5)/4)/(2/(-32)). Solve 4*t - s = 0, 8 = 4*f - t + 29 for f.
-4
Let h be (3 - 2)/(1/4). Solve -p = 5*v - 10, h*p - v + 3*v - 22 = 0 for p.
5
Let f(l) = 4*l**2 - 3*l. Let q be f(2). Let r(o) = -o**3 + 27*o**2 + 27*o + 32. Let s be r(28). Solve -10 = h - s*t, -7*t + q = -2*t for h.
-2
Let p(i) = i**2 + 3*i - 7. Let d be p(-5). Let y(j) = j + 14. Let n be y(-11). Solve -4 = n*l - 2*l - d*t, 5*t - 8 = 2*l for l.
-4
Let a(l) = -5*l**2 - 3*l + 5 + 4*l**2 - 1. Let z be a(-4). Let c = 16 - 14. Solve c*k = -4*t - z*t - 20, 24 = -4*t - 4*k for t.
-4
Let h be 4/(3/(-12) + 0). Let v = h + 16. Solve 4*j - 5*y = 25, 5 = -v*y - y for j.
0
Suppose 0 = 4*u + u - 15. Suppose x = u*x + 16. Let d be 54/8 - 2/x. Solve 0 = 2*b + 4*i + 10, -2*i = 4*b + b - d for b.
3
Let r be ((-19)/2 + -1)/(69/(-92)). Solve -q = -p + 3, 4*p = 5*q + 3 + r for p.
-2
Let p(u) = -u**2 + 11*u - 7. Let c be p(10). Solve 0 = -4*y + 2*b, 2*b = 2*y - c*y for y.
0
Let b be -1 + (2 - -1) - 0. Suppose 18 = o + b*o. Solve -16 = -4*w - 2*c + o, 3*w - 15 = -c for w.
4
Let n = 10 + -7. Suppose -2 - 90 = -3*p - q, 0 = -p - n*q + 28. Solve -3*r = -3*x - 5*r - 23, -4*r = 3*x + p for x.
-5
Suppose -5*y = 4*u - 37, -3*y + 7*y - 20 = 0. Solve -3*k = -0*k + t + 9, -4*k - 25 = -u*t for k.
-4
Let i = 6 - -1. Let c = i - 4. Solve -3*n + c*f = -18, 0 = -2*n + f - 3 + 14 for n.
5
Suppose -3*o + 7 - 1 = 0. Suppose -3 = o*z - 7. Suppose -7 = -p - 3. Solve l - p*l = z*r + 6, 2*r - 3*l = -6 for r.
-3
Suppose -3*k + 30 = 3*d, 0 = -3*k + 2*d + d + 6. Let q(u) = u**3 - 5*u**2 - 7*u + 8. Let v be q(k). Solve z + 2 = 5*j, -10 = -v*z - 5*j + 1 for z.
3
Suppose 1 = -o - 9. Let x = -4 - o. Solve 4*n + 6 = -4*h - x, 4*h = -5*n - 11 for n.
1
Let a be 0/(5/(5/(-2))). Suppose -v + 0*v = a. Solve -5*b = 4*h - 32, v*h - b = -3*h + 5 for h.
3
Suppose -5*f = 5*q - 10, -3 - 1 = 2*f. Solve 3*y = 2*p - 13, -p - q*y + 1 = -0 for p.
5
Let l be -62*2/(-4) - 3. Suppose 5*c + 3 = -z + 16, 3*z + 4*c - l = 0. Solve 8 = 2*i - 2*p, -4*i = -0*i + 2*p + z for i.
0
Let v = 3 + 4. Let x(l) = -l**3 + 8*l**2 - 5*l - 9. Let z be x(v). Solve 5*c = -z*j, 0*c - 16 = 3*j - c for j.
-4
Let s = -5 + 8. Let w be ((-192)/(-9))/2*s. Suppose z = -z + w. Solve -v - z = -4*h, 11 + 10 = h + 4*v for h.
5
Let t(c) = 2*c**2 + 5*c - 6. Let s be t(2). Let x = 6 + 7. Solve 2*m - 3*m - x = -5*a, 3*a = 2*m + s for a.
2
Let c = -1 + 4. Solve -4*r = -h - 13, 3*r + c*h - 4 = -13 for r.
2
Suppose x - 1 = -2*g, 2*x - 3*x = -4*g + 17. Suppose 2*v + 3*z = -2 + 22, 28 = g*v + 4*z. Solve 2*b = 0, -v*f - b = 2*b - 20 for f.
5
Let v(d) = -d**3 - 3*d**2 - 2*d - 6. Let u be v(-4). Solve t = 5*f + u, 2*f = -f - 12 for t.
-2
Let z be (-1)/((-4)/(-16)*-2). Solve 2*d + 4*a - 2 - 12 = 0, 11 = 5*d - z*a for d.
3
Let d be 13 + -9 + 16/1. Let h = 0 + 0. Let v = -15 + 27. Solve h = -4*n - v - 8, 5*z + 3*n = -d for z.
-1
Let x = -12 - -17. Suppose 2*r - 7 = 3. Solve -2*v - r*a = x + 6, v = -5*a - 8 for v.
-3
Let y = 1 + -11. Let n be (-156)/y + 2/5. Suppose -3*s - n = -7*s. Solve 4*j + m = 7*j + 3, s*m = -5*j - 5 for j.
-1
Let k = 18 - 13. Solve k*v + 20 = -5*b, 0*v + 3*b = 4*v + 16 for v.
-4
Suppose 4*g - 3*w = 1 + 15, 5*w + 17 = -3*g. Let d be 1 + -1*(-2 + g). Solve 4*m + s = 2, -s = -0 + d for m.
1