 z be 1/n + (-2)/(-8). Solve q + 0*q - 4 = z for q.
4
Let s(d) = d**2 + 21*d + 38. Let r be s(-19). Suppose -4*b = 4*f - 5 - 19, -12 = -f - 3*b. Solve f*y - y = r for y.
0
Suppose -2*n + 16 = -0*n. Suppose 2*s = 4*o - 2*s + 4, 2*s - n = 0. Suppose -2*p + o*p = 5. Solve p = -3*f - 1 for f.
-2
Suppose 0 = -4*s - 5*z - 17, -2*s - z - 3*z = 4. Let w = s + 11. Solve -2 = w*h + 4 for h.
-2
Suppose -3*r - 8 = -5*r - 3*m, -4*r - 5*m = -16. Suppose 0 = -0*z - 3*z + r*o + 1, -2*o = 5*z - 45. Solve z*f = 2*f - 10 for f.
-2
Suppose -2*b + 17 = 3*v, 4*v - b = -2*b + 26. Let m = v - 4. Suppose 3*r - 5 = 13. Solve m = -u + r for u.
3
Let h(a) = -a**3 + 5*a**2 + 1. Let c be ((-3)/2)/((-2)/12). Suppose -z + 3*s + c = 1, 3*z - s = 16. Let w be h(z). Solve 0 = 5*q - 9 - w for q.
2
Let h = -4 + 8. Solve 0 = -x + h*x for x.
0
Suppose -4 = 3*x - 4*x, x = 5*a - 141. Suppose -5*o - 3*f = -a, 5*f + 3 - 38 = -5*o. Solve c = o*c for c.
0
Suppose -23*u = -27*u + 8. Solve -4*g = -u*g for g.
0
Let t be (1 + 3/3)/2. Let i be ((-4)/16)/(t/(-4)). Solve 7 = -3*o + i for o.
-2
Let h be 1 - (2 + 15/(-5)). Solve -h*z + z = 0 for z.
0
Let m(b) = -5*b**3 - 6 - 27 + 7 - 16*b. Let j(z) = z**3 + 3*z + 5. Let d(w) = 11*j(w) + 2*m(w). Let x be d(0). Solve 0 = -x*k + 6*k - 6 for k.
2
Let l = -7 - -18. Suppose l - 5 = 3*z. Solve -z = -t - 7 for t.
-5
Let m = -9 - -15. Let w(d) = d**2 - 7*d + 8. Let f be w(m). Solve f*o - 5 = -7 for o.
-1
Let a(d) = d**2 - 9*d + 12. Let s be a(8). Suppose 0 = s*q - 1 - 15. Solve 0 = -q*t - t + 10 for t.
2
Suppose 5*v = 4*o - 6, 3*v - 18 = -2*v - 2*o. Suppose -v*b = -10 + 2. Solve -n + 10 = b*n for n.
2
Let o be (6/18)/((-2)/12). Let k be 2/(o/(-3)) - 1. Solve 0*u - 4 = k*u for u.
-2
Suppose -5*s = -0*s. Let o(k) = k**3 - 3*k**2 + 3*k - 2. Let m = 1 + 1. Let x be o(m). Solve 5*l + x*l = s for l.
0
Let t = -34 - -49. Suppose -z = 4*z - t. Suppose 5*r = 2*q + 2, 0*q - 3*q = -z*r + 3. Solve 0 = -p - r*p - 3 for p.
-3
Suppose -12 = -0*l + 4*l, 4*l + 12 = 5*n. Suppose 8 = 4*z - n*z. Let d be (-1 - 3)/(z - 4). Solve 0*k = d*k for k.
0
Suppose -2 = t - 4*c, -3*t + 6*c - 3*c + 21 = 0. Let d = t - 6. Suppose -3*y - 5*b + 20 = 0, -d*y + 0*y = -5*b + 20. Solve y*q = 4*q + 8 for q.
-2
Suppose 0 = -2*q + q + 4. Let c(h) = h**3 + 4*h**2 - 2*h - 6. Let t = -6 + 2. Let m be c(t). Solve -q*g - 6 = -m*g for g.
-3
Let x = -3 - 0. Let k = 8 + x. Suppose 3*i = -q + 3, -3*q - i + 4 = -k. Solve -q = 4*h - 7 for h.
1
Let g = 5 - -1. Let j be (4/g)/((-4)/(-6)). Let h be ((-6)/(-3) - -1) + j. Solve -4*n - 16 - h = 0 for n.
-5
Suppose 0 = 2*g - 4*d + 16, 2*g + 2*d = -g + 16. Let h be 6 + 0 + g + -4. Suppose -w - h*x = -11, 4*w = -8*x + 3*x + 22. Solve w - 2 = -u for u.
-1
Let z = 25 + -25. Solve -t + z*t = 4 for t.
-4
Let j = -7 + 8. Let o be 6/j + 3 + -6. Suppose -o*p + 3*y = -2*p - 13, 2*y = -8. Solve p = s - 4 for s.
5
Let b(p) = -p + 1. Let w be b(1). Let j = 5 + w. Solve d + 0*d = j for d.
5
Suppose -n - 24 = -5*n. Suppose -2*k = 2*l - n, 4*k + l - 13 = -4*l. Solve 5 = -k*f - 5 for f.
-5
Suppose -3*j + j = -8, -2*j - 4 = -3*t. Suppose -2*y = a - 9, y + 6 = t*a - 3. Solve 2 = -y*m + 2*m for m.
-2
Let o = 4 + -4. Let k be (o - -2)/(-1) - -1. Let j be (k - (2 + -3))/2. Solve x + j = -5 for x.
-5
Let u be (-1)/(-4) - (-147)/(-28). Let p(d) = d + 7. Let a be p(u). Solve 0 = -c + a*c - 1 for c.
1
Let z = -32 + 34. Solve d = z*d - 1 for d.
1
Let q(v) = -v**3 - 3*v**2 - 1. Let g be q(-4). Let f = g + -11. Solve f - 3 = r for r.
1
Let j = -4 - -7. Let o be (-2)/(-3) + 1/j. Solve o + 0 = r for r.
1
Suppose -17 = i + 16. Let l be (i/(-55))/((-1)/(-5)). Solve 5*k - l*k = -8 for k.
-4
Let p = -5 + 6. Let b be ((-3)/2)/(p/(-4)). Suppose -9 = 3*k, 4*k + 0*k = -3*q. Solve q*g = 2*g - b for g.
-3
Suppose 0 = -11*l + 12*l. Solve l = f - 1 + 5 for f.
-4
Suppose 4*a = -4*b - 11 + 39, a + 18 = 4*b. Let w = b - 5. Suppose w*q - 3*q = -r + 3, -2*r = -5*q - 5. Solve -h + r = -5 for h.
5
Let r(i) = i**2 + i - 11. Let c be r(-5). Solve -13*o + 20 = -c*o for o.
5
Suppose 0 = b - 2*p - 1, 0*b + p = -b + 1. Let q(r) = r**2 + 2*r - 1. Let m be q(b). Solve -5 + m = -k for k.
3
Suppose -5*d = 5*j - 35, -4*j + 3*j - 8 = -2*d. Suppose -j*y = -y. Solve -4 = 4*i - y for i.
-1
Suppose t - 4 = n, 2*n - 2 - 6 = -2*t. Solve n + 10 = 5*x for x.
2
Suppose 2*g - 22 = 4*g. Let z be (-35)/g - (-2)/(-11). Solve 0 = -z*j - j + 20 for j.
5
Let i(n) = 4*n - 12. Let v be i(3). Solve 3*x + 9 = -v*x for x.
-3
Suppose 0*t + 2*t - 10 = 0. Let d(q) = -q**3 + q**2 + 10*q**2 - 3*q - 6 - 5*q**2. Let p be d(t). Solve 0*r = p*r for r.
0
Let f(w) = 3*w + 20. Let c be f(-6). Let d(x) = -x**3 - 2*x**2 + x - 2. Let j be d(-3). Solve -2 = c*b - j for b.
1
Let p(m) = m + 9. Let s be p(-5). Let u be s/20 + 114/5. Let z = u + -12. Solve 0 = -2*r + 1 - z for r.
-5
Let m be (16/(-12))/(4/(-30)). Suppose 0 = 5*q + 5*j + 10, -q + 2*j = 3*q + 32. Let k = m + q. Solve -k*a + 6 = -2*a for a.
3
Suppose -4*o + 6 = -14. Solve 0 = -0*n - o*n - 25 for n.
-5
Let w be 7/(-35) - (-31)/5. Solve 4*c = w*c + 6 for c.
-3
Let j(d) = -4*d**2 - d + 2. Let k(w) = -7*w**2 - 2*w + 5. Let u(m) = -5*j(m) + 3*k(m). Let i be u(0). Suppose -3 = o - 4. Solve 0 = i*f + 21 - o for f.
-4
Let f(w) = w**3 - 2*w**2 - w - 4. Let l be f(3). Let t(q) = -q + 3. Let j be t(3). Let s = 0 + j. Solve l*g + 6 + s = 0 for g.
-3
Let d be 4/((-3)/((21/2)/(-7))). Solve 0 = -d*l - 6 - 0 for l.
-3
Suppose -2*g - q - 20 = 2*q, 3*g + 5*q + 30 = 0. Let t = g + 25. Let l = -9 + t. Solve -x = x - l for x.
3
Suppose -26*n + 2 = -25*n. Solve 0 = h + n*h + 15 for h.
-5
Let d = 2 + -9. Let i(r) = -r**3 - 7*r**2. Let j be i(d). Let o be (0 - -18) + -3 + j. Solve -3*c + o = 2*c for c.
3
Let f = 0 + 4. Suppose 12 = f*w, -5*w = -0*i - i + 15. Suppose -5*x - 7*q + 2*q + 30 = 0, -x + 5*q + i = 0. Solve 5*n - x - 10 = 0 for n.
4
Let a(u) = 4*u**2 + 2*u + 3. Let o be a(-2). Suppose 3*s - o + 3 = 0. Let c(m) = 3*m**2 + 3*m - 4. Let q be c(-3). Solve -6 = -s*k + q for k.
5
Let c(u) = u**3 + 6*u**2 - 7*u + 2. Let t(z) = z**3 - z**2 - z - 7. Let o be t(0). Let n be c(o). Solve -h = -n*h for h.
0
Suppose 2*w + 3*w - 350 = 0. Let a be ((-6)/7)/((-15)/w). Solve -m - a = m for m.
-2
Let o be ((-4)/(-10))/((-1)/(-10)). Suppose 5*b + 1 = -4, -22 = -o*u + 2*b. Solve 3 = -a + u for a.
2
Suppose q + 3*q = -252. Let l be 4/(-18) - 14/q. Solve 5 = -5*d - l for d.
-1
Let i be (-72)/(-12)*(-1)/(-1). Solve x + i = 3*x for x.
3
Let r = -15 + 20. Suppose -5*q + 20 = r. Solve 19 = -4*l + q for l.
-4
Let j(w) = w**2 + 5*w + 6. Let u be j(-4). Let m be (-6)/(-4)*(-70)/(-15). Solve u*y + m = 17 for y.
5
Let q be 13/5 + (-28)/(-70). Solve -q*h - 8 = -h for h.
-4
Let t(b) = b + 6. Let i = -15 - -24. Let r be (-51)/i + 1/(-3). Let k be t(r). Solve k = -9*z + 4*z for z.
0
Suppose -6*h + 27 = -21. Solve 4*u + 0*u + h = 0 for u.
-2
Suppose y + 21 = 4*y. Suppose y*m = 3*m. Suppose 4*t - 5*g = 13, -3*t - g + 6 = 1. Solve m = -4*q + t - 22 for q.
-5
Suppose 0 = -2*r + 3*w + 11, 2*r - 2*w = 5*r - 10. Let z = -2 + r. Let g be (-3)/6 + z/4. Solve g = 6*s - s + 10 for s.
-2
Let q be (-1)/(-4) - 1/4. Suppose -p - p = q. Let s = 3 - p. Solve s = -h - 0*h for h.
-3
Let m be 4 + (-15)/5 + 4. Solve -m*f + 4 = -1 for f.
1
Let p be 4 + 0 - (-3 + 1). Let q(o) = 4*o - 7. Let h be q(p). Let n = h + -12. Solve -5*w = -6*w + n for w.
5
Let n(l) = l + 1. Let z(t) = 11*t + 6. Let r(v) = 4*n(v) - z(v). Let q = 41 + -43. Let d be r(q). Solve -3*o - d = o for o.
-3
Suppose -5*b = -2*l + 7*l + 10, -3*l - 5*b - 14 = 0. Suppose -w + l*w - 12 = 0. Let z(o) = o**2 - 3*o + 2. Let x be z(4). Solve -2*c + x*c = -w for c.
-3
Suppose -40 + 36 = -2*i. Solve 0 = -i*t - 3*t + 20 for t.
4
Let g = -13 - -21. Let o = g - 6. Suppose -3*z + 3 = -v, 2*v - 2*z - 3 = -1. Solve -o*c - 25 = v*c for c.
-5
Let r = 28 + -13. Solve r = 3*n - 0*n for n.
5
Suppose 0*q + 4*q - 28 = 0. Let r = -2 + 1. Let a be (r - 1)/((-4)/2). Solve 0 = 2*d + a + q for d.
-4
Suppose n = 3*u - 4, 0 = 4*u - 3*n - 6 - 6. Suppose 3*t - 4*t + 4 = 4*a, t + 3*a - 4 = u. Solve 4*h - t = 5*h for h.
-4
Suppose 35 = -0*g + 5*g. Solve 2*d + g - 1 = 0 for d.
-3
Let a = 5 + -3. Solve 0 = 2*v - v - a for v.
2
Suppose -t + 5*t - 180 = 0. Suppose 0 = 6*z - z - t. Solve z - 3 = -3*x for x.
-2
Let p be (-2)/11 + (-105)/(-33).