- w for a.
2
Suppose -4*s + 2 = -6. Solve 2*t + 4*b = -t + 12, 3*b - 9 = s*t for t.
0
Suppose 5*x + 5 = l, 4 = 5*l + 4*x - 21. Suppose -3*g = -l*g + 4. Solve 0*b + j = -2*b - 3, g*j = 2 for b.
-2
Let p(t) = -t**2 + 4*t - 3. Let c be p(2). Let f(u) = 2*u. Let r be f(c). Let a be -1 + 4 - (3 + -1). Solve h - 3*v = 9, 5 + a = -h - r*v for h.
0
Let q be (-2)/4*2*-5. Let g = 40 + -21. Solve -q*w - 4 = 2*v - 0, 3*v - g = 5*w for w.
-2
Suppose -2*s + 3 = -3. Solve -5*u = 0, s*u + 0 + 4 = -2*o for o.
-2
Suppose 3*s = -5 + 2. Let a be (4/8)/(s/(-80)). Solve r - 10 = -4*o + 9*o, -5*r = 5*o + a for o.
-3
Let h = -71 + 74. Solve -k - 3*k - 24 = -4*o, -12 = h*k - o for k.
-3
Suppose 0 = -10*r + 6*r. Solve 0 = -5*u + 3*w - w - 7, r = 5*u + 5*w for u.
-1
Suppose -36 + 16 = -w. Solve -5*d = -p - w, -4*d + 3*p = -d - 24 for d.
3
Let b be ((-12)/(-8))/(6/80). Solve l = 3*i + 10, 5*i - 6 = l - b for l.
4
Let p = -9 + 13. Suppose 5*f + 14 = -0*h - 2*h, -p*h + f + 16 = 0. Suppose -2*x + 25 = h*x. Solve 2*w = -x*s - 27, 2*s + 3*w + 6 = 7*w for s.
-5
Suppose g = -4*w + 14, 7*w - 5*g = 3*w + 2. Solve t = 5*v + 19, 0 = -w*v - 9 for t.
4
Suppose -2*r + 29 = 5*p, 4*r - 5*p + 3*p + 2 = 0. Solve r*l - 3*f - 2 = -6*f, -3*f - 1 = -l for l.
1
Suppose -2*j - 13 + 3 = 0, -2*w + 4*j + 56 = 0. Solve -2*c = n - 10, 0 = -5*n + 5*c - 7 - w for n.
0
Suppose -5 - 13 = -6*y. Solve 11 = -h - y*j, -j + 4 = 3*h - 3 for h.
4
Suppose 4*y - 9 + 1 = 0. Let k = -1 + 1. Let x = k + y. Solve x*v - 8 = p, 6*p = p - 4*v + 16 for p.
0
Suppose -v = -3*x + 4 + 10, -x = 2*v - 7. Solve 0 = -4*g - 5*z + 7, g + g - x = -z for g.
3
Suppose -5*v + 4 = -u - 13, -3*u = 3*v - 21. Let c = -17 - -17. Solve u = 3*k + 3*z, c = 4*k - 6*z + z + 14 for k.
-1
Let w be (1 - 29)*(-2)/4. Let q be (1 + (-12)/(-9))*3. Let k = w - q. Solve -2*x - 3*v + k = 0, 3 - 10 = -4*x + v for x.
2
Let w(i) = i**3 - 6*i**2 + 7*i - 6. Suppose 3*z + 2*z + l - 28 = 0, 2*l - 26 = -4*z. Let d be w(z). Solve k = 3*g, 3*k - k = d*g for g.
0
Suppose -4 = 4*q - 0. Let d be 6/(-3)*q/1. Solve 5*t + 3*a = -20, d*t - 5*a + 4 = -4 for t.
-4
Let z(a) = -a**3 - 5*a**2 + 7*a + 9. Let d be z(-6). Let h = -21 + 29. Let b(x) = 4*x - 3. Let n be b(2). Solve d = m - j, 3*m + 31 = -n*j + h for m.
-1
Suppose 4*u + 2 = -4*m - u, u + 8 = 3*m. Solve 5*k = 5, 0 = 2*c - m*k - 2*k - 2 for c.
3
Suppose -u = 6*u. Solve -2*h - 3*k - 2 = u, 4*h + 4*k = h - 4 for h.
-4
Let x(o) = -o - 1. Let u be x(-3). Solve 2*c - z = -u, c + 10 = 6*c + 5*z for c.
0
Let j(g) = 11*g**2 + 4*g + 3. Let r be j(-1). Solve 2*b - b = 4*x - 12, x = -3*b - r for x.
2
Suppose -3*k = -4*k + 4, -4*j + 3*k = 0. Let m(a) = -a + 2. Let b be m(-4). Suppose b*v = 2*v + 20. Solve j*d = 7*i - 3*i - 11, d = 2*i - v for d.
-1
Suppose g + g = 10. Suppose -5*o - 21 = -4*o + g*c, -5*o + 15 = c. Solve j = -3*l + 11, 0 = j - 6*j - o*l + 33 for j.
5
Let q = -1 + 3. Let w be (-4)/q*(-3 - -1). Solve -3*n + 4*p + 12 = -4*n, 2*p - w = 2*n for n.
-4
Suppose 3*k + 0*k + 3*y = 0, -5*y = 10. Suppose -5*f + 23 = 3. Let a(c) = -c**2 + 6*c - 6. Let b be a(f). Solve b*q = o + k, 2*q + 2 + 4 = -3*o for q.
0
Let f be (-98)/(-21)*(-12)/7*-3. Solve 4*j - 4*h = -f, -4*j - 16 = 2*h + 2 for j.
-5
Let l(j) = 6*j**2 - 3*j - 4. Let b be l(-4). Let c = b - 72. Solve 3*f + 2*f + c = 4*a, -4*a - 4*f - 4 = 0 for a.
3
Let o(n) = 6 - 2*n**3 + 3*n**3 + n**2 - 4*n**2 - 4*n. Let h be o(4). Solve 3*c = h, -4*y + c = -0*c - 2 for y.
1
Let l be ((-12)/(-10))/(3/15). Let g be 1/3 + l/9. Let h be 9/g + 1/(-1). Solve m + 4 = -o + 4*o, 3*o = -m + h for m.
2
Let b be (-27)/(-6)*(-6)/(-9). Let k(o) = -o**3 + 25 - 3*o - o - o**2 + b*o. Let g be k(0). Solve 4*v + 5 = 2*p + g, -v + p + 7 = 0 for v.
3
Suppose 5*u = -4*f + 9, 0 = 4*u - 2*f + 3*f - 16. Let s be (8/5)/(4/10). Let g = 1 + s. Solve -4*c = -4*a - 4, g - 1 = 2*a - u*c for a.
-3
Suppose -2*b + 42 = 2*k - 0*k, 2*k = 4*b - 90. Solve 0 = i + i + 3*q - b, -q - 21 = -5*i for i.
5
Suppose 2*j - 10 + 0 = 5*t, -2*t - j - 4 = 0. Let p = t + 7. Let l = p + -2. Solve -3*d + 0*x = 2*x - 9, -l*d + x = -18 for d.
5
Let t be 7*((-11)/(-7) + -1). Solve -t*y = -4*i, -5*y = i + i + 7 for y.
-1
Let k(i) = i**3 + 3*i**2 + i - 2. Suppose 6*v + 8 = 2*v. Let q be k(v). Solve -3*c = -q*d + 3*d - 21, 4*d - 10 = 2*c for d.
4
Let n(o) = -3*o - 6. Let k be n(-3). Solve j + 12 = 3*j + 2*z, -k*j = -5*z + 6 for j.
3
Suppose -72 = c - 78. Solve d + 9 = c*d + 2*p, d - 5*p = -9 for d.
1
Let u = 8 + -9. Let k = u - -19. Solve -2*c = 5*z - 19 - 10, -c + 4*z = k for c.
2
Suppose 0 = -4*l - 20, 0 = 3*b - 0*b + 5*l + 19. Solve 4*p + 4 = -4*y, -4*p + b*y - 2 = 4*y for p.
0
Suppose -22*b = -17*b. Solve b = 5*d, 2*h = d + 2*d for h.
0
Suppose 4 = -3*u + 2*y - 1, u + 3 = 2*y. Let g = 2 - u. Solve -5*k + 0*k = -g*n + 13, 2*k + 6 = 2*n for k.
-2
Let j = -8 - -13. Solve 4*u - 5*b + 0 + j = 0, 0 = -3*u - 3*b + 3 for u.
0
Let l be (6/(-2))/(-6*(-4)/(-32)). Suppose i - 6*i = -50. Suppose -4*p + 2 = 3*g - i, l*p - g = -4. Solve m + 4*r - 6 = p, -4*m + 3 = -4*r - 1 for m.
2
Suppose -l = -j + 3*j - 1, -21 = -3*j + 5*l. Suppose 0*d = -2*d + 8. Let t = d - j. Solve -v = -2*g + 2, -t*g + 18 = 2*g + 5*v for g.
2
Let k be 2 - (-2 + -2)/(-2). Let d be -3*(4 - 1) - -1. Let p = 11 + d. Solve 3*q - 3 = -3*n, -q + 2*n - p + 13 = k for q.
4
Let j = 28 + -25. Solve l = p + 5, -j*l + 16 = -5*p - 3 for l.
3
Let y(l) = l**2 + 2*l - 8. Let x be y(-4). Let h be 21/3 - (0 - 1). Suppose 2*r = -x*r + h. Solve 2*k + 2*k - 3*n + 29 = 0, 0 = 4*k + r*n + 8 for k.
-5
Let n be ((-46)/(-18) + -3)*(-18)/4. Solve -h - 22 = -6*h - n*y, -9 = -3*h + 3*y for h.
4
Suppose -4*b + 4*f + 44 = 0, 2*b - f + 2 = 25. Solve -g - 3*g - 5*l + 18 = 0, 5*g + l = b for g.
2
Let n = 16 + -19. Let h be 4*(2 - n/(-4)). Solve 9 = -3*p - 3*d, 2*p + 3 = p - h*d for p.
-3
Suppose 5*k - 9 = 1. Let w = 23 - 41. Let t be (-158)/w - 8/(-36). Solve l + t = -4*p, 5*l + k + 11 = -4*p for l.
-1
Let n be 6/9 - (-22)/3. Suppose 0 = -3*w + w + n. Solve -6 - 2 = w*j - 4*u, -3*j - 4 = -4*u for j.
-4
Let o(n) = n. Let z be 2/(1 - (-4)/(-8)). Let c be o(z). Solve -10 = -5*s + 4*x, 4*s - c*x + 2*x = 8 for s.
2
Suppose 5*t + 0 = -5. Let x = 5 + t. Solve -17 = -5*m + j, -5*j = x*m - 2*m + 4 for m.
3
Let z(w) = -3 - 4*w - w + w**2 - 2. Suppose 2*j - 5*v - 21 = 0, 3*j + 3*v - 25 = 4*v. Let m be z(j). Solve 4*b - k - m = 7*b, -b - 21 = 4*k for b.
-5
Let d be (1 + 0)*(-8 + 10). Solve 0 = -4*a, d = l - 0*l + 2*a for l.
2
Let m = 170 + -166. Solve p + 5*d = 21, m*p - d = -p + 1 for p.
1
Let k be 2 - (-3 - -3 - 0). Solve 0 = -3*t - k*r - 2, -5 = -5*t - r - 6 for t.
0
Let o = -38 + 70. Suppose -o = -0*u + 4*u. Let g be u/(-2)*(-22)/(-4). Solve 3*f + 11 = 2*c - 0*f, -c - 4*f - g = 0 for c.
-2
Let r(b) = -5 + 3 - 1 - b**2 - 8*b. Let g be r(-7). Let c be 4*1 - (-2 - 2). Solve -j = -g*l + c, 2*j - l - 1 = 4 for j.
4
Suppose -3*t + 6 = -5*y + 28, -2*y = -5*t - 24. Suppose -4*h - 2*z = -26, -h - y*h + 3*z - 3 = 0. Solve -h*i = -0*a - 2*a + 12, i - 4*a = 11 for i.
-5
Suppose 0 = 5*k - 10*k + 5. Solve -y = s + k, 3*s - y + 0 = 1 for s.
0
Suppose -2*m + 9 + 4 = -3*o, 29 = 5*m - 4*o. Suppose m*v - 7 = 8. Solve p + w + 7 = 0, -5*p + 6*w - v = 3*w for p.
-3
Let r = 17 - 12. Suppose r*s = 5 + 5. Solve s*k + 3*i = -3*k - 3, -4*k - 4 = 2*i for k.
-3
Suppose 27*n = 22*n + 10. Solve 0 = u - 2 - 2, f - n = -u for f.
-2
Suppose 0*s - 12 = -2*j - 4*s, -6 = -3*j - 3*s. Let o(y) = -y**3 - 2*y**2 - 2*y. Let x be o(j). Suppose 2 = 2*k - x. Solve i - w - 5 = -3*w, 4*i = -k*w for i.
-3
Let m be 42/9*(5/2 + -1). Solve 2*b + 19 = -3*n, n = -4*b + 4*n + m for b.
-2
Let c(v) = 2*v + 8. Let p be c(-3). Solve -r - 5*w - p = 0, 0 = -r - w - 2*w for r.
3
Let r = 9 + -6. Suppose 2*a + 121 = r*y + 4*a, -5*y - 4*a = -205. Solve -2*f = -5*d + 2*f + y, 0 = d + 3*f + 4 for d.
5
Let w(y) = 2*y - 4*y**3 - 7 + 5*y**2 - 10*y + 5*y**3. Suppose -5*b - 4 - 26 = 0. Let x be w(b). Solve 0 = -5*p + 3*m + 11, 4*m = -x - 3 for p.
1
Let p be (-280)/(-25) + 2/(-10). Solve 2*s = -5*f + 28, -4*s + 9 + p = f for f.
4
Let u(n) = n**3 - 6*n**2 + 5*n + 4. Suppose p - 3 - 2 = 0. Let g be u(p). Solve -q = 2*a - 8 + 22, -a + 11 = -g*q for a.
-5
Let t = -6 - -8. Suppose -5*h = -4*z + 10, -4*h + 1 = -z - h. Let p = z - t. Solve 3*d + 2 + 1 = p*b, -b - 5*d - 29 = 0 for b.
-4
Let c be 