 = 4*d + c*w, -2*w - 2 = d + 3 for d.
5
Suppose 4*w = 43 + 5. Let f = 18 - w. Suppose 22 = 4*j - f. Solve 0 = -2*i + 3*s + 5, i - 3*s = 2*i - j for i.
4
Let f(a) = 7*a**2 + 15*a - 7. Let m(q) = -6*q**2 - 14*q + 7. Let v(p) = 5*f(p) + 6*m(p). Let j be v(-6). Solve j = -5*k + 2*b, 4*b - b = -k + 12 for k.
-3
Let b = -9 + 5. Let p(c) = 0*c - 1 - c**3 + 0*c**2 - 5*c - 4*c**2 - 2. Let h be p(b). Solve -4*u = 2*t + 2, -2*t - h = 2*t - 5*u for t.
-3
Let v be 1*(-1 + -41 + -1). Let q = -26 - v. Let t(s) = s - 1. Let w be t(3). Solve 4*r - q + w = -m, 2*r - 5 = -m for m.
-5
Let t(p) = -p. Let c(s) = 3*s. Let y(o) = -4*c(o) - 11*t(o). Let u be y(-5). Solve 1 = 2*j + u*l, -j - 6*l - 2 = -l for j.
3
Suppose -4*v + r + 11 = 0, 0 = -v - r + 5 - 1. Solve 3*h - 4*h - 22 = 5*p, 0 = v*p + 5*h + 22 for p.
-4
Let t(m) = 9*m + 3. Let g be t(1). Solve -3*f = 3*k + f - 2, -2*k = -4*f + g for k.
-2
Let k(u) = 10*u + 3. Let r be k(-6). Let d = -41 - r. Suppose -4*n + d = 5*o, -o - 8 = o - 2*n. Solve 4*t = m + 15 + 5, -2*m - 5*t + 25 = o for m.
0
Let d(p) = -9*p. Let v be d(-1). Let i be (-129)/(-12) + v/(-12). Suppose r = -4*u - 6, 2*r - 3*u - i = -0*r. Solve 6*o - 2*o - 3*m = 6, 2*o - 2 = r*m for o.
3
Let o(c) = c + 4. Let h be o(-4). Solve -4*g + 0*a = -3*a - 22, h = 2*g + 4*a for g.
4
Let u(p) = -48*p - 1. Let l be u(-1). Suppose c - 8 = -c + 4*m, -3*c - m + l = 0. Let f be c/4 - 2/4. Solve -f*j + 2*j + 3*d = -3, 3*j = -3*d - 3 for j.
0
Suppose 32 = -m + 5*m. Let l = -4 + m. Solve -5*q - l = 4*s, s + 36 = 5*s - 5*q for s.
4
Let d(b) = b - 1. Let u be d(1). Suppose 5*j - 21 = 2*h, -2*j + 3*h + u = -4. Solve i - 8 = -3*f, 0 = -f - 4*f + j*i + 20 for f.
3
Let p be 29 + (-2 + -3 - 14/(-7)). Solve -2*n - z + 4 = 2*n, 4*z = 5*n - p for n.
2
Let u be (105/(-10))/(2/(-4)). Let v = 14 - u. Let f be v/(-7) - 1/(-1). Solve f*g = -5*c - 29, -2*c - 20 = 6*g - g for c.
-5
Suppose -r = 2*r - 18. Let i be 10*(r/(-4))/(-3). Suppose -i*o - 5*w - 25 = 0, -2*w + 7*w = -25. Solve -17 = -2*j - j + p, 2*j - 3*p - 23 = o for j.
4
Let w be (-2)/5 + (-51)/(-15). Suppose -i + 3 = 2*d - 5, -4*d + w*i - 4 = 0. Suppose -3*h + d*h = 0. Solve -2*n - 2*n = -2*v, -2*v - 5*n = h for v.
0
Suppose -m + 3 = -13. Let z be 0/(-2) + m + 6. Suppose -5*c + 0*c - h + z = 0, 0 = 4*c - 3*h - 10. Solve -2*w - 10 = -0*a - 2*a, c*w = -12 for a.
2
Suppose b + 2 = 2*b. Suppose -5*y + 2*q = 10, -b*y - 3*q = -4*y - 15. Solve 3*h + 3*k + y*k = -21, -2*h - k - 12 = 0 for h.
-5
Suppose 14*b = 15*b - 20. Solve -4 = -0*m - m + 3*g, -5*m - 4*g = -b for m.
4
Let m = 5 + 2. Suppose 5*r + m*d - 65 = 3*d, -4*r + 52 = 3*d. Let b be 8/2 + 0 + 1. Solve -3*n = -2*n - 2*k - b, n + 4*k + r = 0 for n.
-1
Suppose 2*h + 2*h = 12. Suppose -5*v - 7*i = -4*i - 9, 3*i = 9. Suppose -2*t + 11 - 1 = v. Solve 0 = -3*z - 5*l + 19, l - t = h*z + 6 for z.
-2
Suppose -11 - 19 = -5*x. Suppose -5*p + 21 = l - 4*l, 0 = 3*l + x. Solve -p*d + 2*u - 1 + 6 = 0, 0 = -4*d - 4*u - 20 for d.
-1
Suppose 4*l + 3*n - 14 = -0, -5*n = 5*l - 15. Solve 5*r = 4*w + 25, 4 = -l*r + w + 14 for r.
1
Let g be 8/(-28) + (-130)/(-14). Let m be 39/g + 2/(-6). Solve 4*w = 4*d - 8, m*w - w = d - 10 for d.
-2
Suppose -5*a - 11 = -6*a. Solve -4*z + 2*f + 4 = 0, 5*z + 0 = 4*f + a for z.
-1
Let z = 0 + 3. Let w(o) = -6*o - 3. Let h be w(-5). Let g be (-4)/(-6) - (-63)/h. Solve 0 = g*b + 2*y - 0 - 2, 2*b - z*y + 3 = 0 for b.
0
Let t(y) = 41*y + 11 - 22*y - 26*y - y**2. Suppose 3*u + 0*u = -24. Let d be t(u). Solve 0*f = -d*v - 3*f, 4*v - 5*f = 45 for v.
5
Suppose -3*s = 0, 24 = 5*y + 3*s - 21. Let p be (-2)/(-10) - 4/20. Suppose z + p*z = 2. Solve -15 = 4*t + u, u + y = -z*u for t.
-3
Suppose 2*q - 13 = -5*y, -y = -2*q + 6*q - 17. Suppose q*o + 4*s - 28 = 0, 2*o = -0*o + 4*s + 2. Solve -1 = -d + m, -7 = d - o*d + m for d.
2
Let r be 22/(-33) - (-32)/(-6). Let a = 15 + r. Solve -g - 4*q = a, -q + 21 = 5*g - 3*q for g.
3
Let k(j) = -j + 8. Let o = -9 + 15. Let y be k(o). Solve w - 5*m = -16, 3*w + y*m - 14 = 6 for w.
4
Let r = 4 + 0. Let f be ((-6)/r)/(21/(-140)). Solve 3*z - w + f = 0, 4*w + 9 = -3*z - 11 for z.
-4
Let d(c) = -c + 1. Let y be d(-3). Suppose -4*b = -2*r - 10, -y*r - 5 = -5*r. Solve 0 = -2*s - j - 12, b*j = -2*s - 3*s - 35 for s.
-5
Let n(h) = h + 3. Let d be n(-3). Suppose d = -5*c + 6 + 19. Solve c*v - 16 = 2*o, 6*v = -3*o + 3*v + 18 for o.
2
Suppose 0*g - 24 = -2*g + 4*v, 0 = -4*g + 2*v + 18. Suppose g*o = 7*o - 80. Solve 0 = -2*f - 3*f - 4*h + o, 4*f + h - 4 = 0 for f.
0
Suppose -a - 7 = -7. Solve -2*n + 6*n - 5*p = -5, a = 2*n + p - 1 for n.
0
Suppose 11 - 1 = 2*h. Suppose 0*x + 36 = 2*x - 4*f, -2*x + 12 = 2*f. Suppose 4*o = x + 2. Solve -h*d = -10, 1 = -o*p - 4*d + 18 for p.
3
Suppose r - 5*r = -4. Suppose -b - r = -6. Suppose b*c - c + 28 = 4*p, -31 = -4*p + 5*c. Solve 0 = -5*t + 2*n - p, -t = 3*t + 4*n - 8 for t.
0
Let s be 6 + 6*(-1)/2. Suppose s*x - x = 4. Solve -x*k + 3*j = 12, k - 3*k = -2*j + 10 for k.
-3
Suppose 0 = 2*k + 1 - 21. Let p(w) = -w**2 + 9*w + 12. Let s be p(k). Solve o - 4*x - 17 = -s*o, 2*o + 22 = -4*x for o.
-1
Let t(y) = y. Let k = -13 + 19. Let j be t(k). Suppose 5*w - 12 = -2*i, 26 - j = -5*i. Solve -3*q = -w*f + 2*q - 3, 18 = 3*f + 3*q for f.
3
Let i be (-33)/(-22)*2/1. Solve i*n - 12 = -a + 1, 3*n = -3*a + 15 for a.
1
Suppose 2*m = -0*m. Let j = 0 + 4. Let n be ((-5)/(-4))/1*j. Solve -5*d + m*p + n*p - 20 = 0, -2*p = -d - 5 for d.
-3
Let y = -104 + 109. Solve -y*z - w = 10, -2*w - 9 = -5*z + 4*z for z.
-1
Suppose 4*h - 24 = -0*h. Let v(m) = m - 2. Let g be v(h). Solve -28 = -9*f + g*f - 2*q, 0 = 5*f + 5*q - 40 for f.
4
Let z(c) = c**2 - 14*c + 18. Let j be z(13). Suppose 2*p + 2*u = 4*u + 4, 0 = j*p + u - 10. Solve -2*n - 26 = 5*f, 4*n - p*n = -4*f - 22 for f.
-4
Let h = 110 - 108. Solve 5*p - 3*r = -29, 2*r + r - 1 = -h*p for p.
-4
Let s = 31 + -29. Solve 5*w + a = -s + 1, 4*a - 16 = 0 for w.
-1
Let w(o) = o**3 + 6*o**2 + o + 2. Let p be w(-4). Let f be (p/9)/(8/60). Solve 2*s = 5*c + f, -3*s = -4*c - 4*s - 7 for c.
-3
Let t be 21/(-2)*(-80)/60. Solve -4*x - 2*h + 0*h = t, 4*x + h = -15 for x.
-4
Suppose r + n - 39 = 0, n = r - 0*n - 29. Let x = r + -22. Solve 3*b - 3*c = -x, 4*b - 9 = 2*c - 25 for b.
-4
Let s be 0 + 0/2 - -2. Suppose -s*b = -b - 13. Suppose y - 2*y = -b. Solve -l = 3*n + y, l + 22 = -3*l - 2*n for l.
-4
Let n = 2 - 17. Let b = 33 + n. Solve -c - l = 4 - 1, -2*l - b = 5*c for c.
-4
Suppose -164 + 914 = 5*u. Let k be (-2)/(4/u*3). Let p be (30/k)/((-2)/5). Solve 12 = -p*t - 3*r, -r = -3 + 4 for t.
-3
Let r = -3 + 3. Suppose -2*t - 2*t = r. Suppose t = -3*d - 5*l + 32, -3*d + 2*l + 18 = -2*d. Solve 5*n + 2*m = 3*n - d, n + 11 = -3*m for n.
-5
Suppose -3*x - 1 = -13. Suppose r + 3*j = 0, 6 + 7 = 5*r + 2*j. Solve -r*b - 2 = 5*m, -3*m + 9*b = x*b + 8 for m.
-1
Suppose -3*u + 3 = -3. Let a be 18 + -3 - u/(-2). Solve -i = 3*b + a, i + i + b + 7 = 0 for i.
-1
Let u be (-22)/(-2) + (5 - -2)/(-7). Solve m = -5, -5*n + 3*m + 0*m - u = 0 for n.
-5
Let z be (1 - 9)/(1*-1). Let d = 30 - z. Let m be d/4 + (-2)/4. Solve 2*b + 2 = m*y + 1, -3*y - 1 = -2*b for b.
2
Let q(h) = -h**3 + 2*h + 4*h**2 + 2 + 4*h - 1. Let o be q(5). Suppose -2*p = -r + 6 + o, -p = -3*r + 61. Solve -5*l + r = 3*d, -4*d + 2*d - 3*l + 14 = 0 for d.
4
Suppose -g - 3*w = 15, -g - g - 5*w = 27. Let i be ((-12)/(-21))/(g/(-21)). Solve 5*q - 4*b = -6, -3*b + 28 = 4*q + i*b for q.
2
Let v(w) = w**2 + 6*w - 3. Let r be v(-7). Suppose -t + 5*t - r = 0. Suppose 19 - t = 3*m. Solve z - m*z - 25 = -4*s, -5*s = 5*z - 20 for s.
5
Let z be 2/(-6) - 1/(-3). Let l be (1 - z - 2) + 1. Let f be 2 + 1 - 9/3 - -2. Solve 4*r + 10 = -2*h + f, -5*h - 5*r - 10 = l for h.
0
Let q be (9/(-12))/((-4)/16). Let y be q/(5/((-40)/(-6))). Solve 3*c = 3*d + 24, 3*c = -d - 0*d + y for d.
-5
Suppose 0 = 6*i - 2*i - 44. Suppose 4*s - 5*s = -2. Let z be 25*(-2 - 12/(-5)). Solve j + i = -s*p, -5*j + 2*p - 9 = z for j.
-5
Suppose -2*v + 4*s + 4 + 8 = 0, -v - 3*s = 4. Solve -3*a = n + 12, 0*n - 2*a - 8 = v*n for n.
0
Let v(p) = p**2 + 15*p + 41. Let a be v(-12). Solve -l + 1 = -a*x, 3 = x - 0*l - l for x.
-1
Suppose -4*u + 2 = 26. Let r = u + 11. Solve 2*t - 5*q = -2*q + 14, -r*q - 24 = -4*t for t.
1
Suppose -25 = -5*n - 10. Suppose -5 = 5*d - n*t, d - 4*t = -4*d - 10. Solve -4*u + 8 + 4 = -s, 0