b*y - 3*y - 3 = 0. Solve -y*l - 1 + o = 0 for l.
1
Suppose 4*s + 47 = g, -111 = -3*g + 3*s - s. Let q = g - 23. Solve -v + q = 2*v for v.
4
Suppose 25*u = -19 + 469. Solve 4*a - 6 = -u for a.
-3
Suppose -2*n - 10 + 51 = 3*l, -3*l = -3. Solve -5*o + n = -1 for o.
4
Let v be 6/(5 + -2 - 1). Suppose -2*j - 1 = y - v*j, -4*y - 5 = -5*j. Solve c = -y*c + 1 for c.
1
Let o(w) = -2*w**3 - 10*w**2 - 7. Let z(k) = k**3 + 3*k**2 + 2. Let j(y) = -2*o(y) - 7*z(y). Let l be j(-1). Solve l = -3*f + 11 for f.
3
Suppose 5 = g + t, -g - 2*t + 4*t + 8 = 0. Solve -2 = b - g for b.
4
Suppose 2*u + 6 = 18. Let c = -2 + u. Solve -c*j = -2*j for j.
0
Let v be (-4)/4*(-3 - -3). Solve -5*r - 15 = -v*r for r.
-3
Suppose 4*f = 6 + 6. Solve -f*d + d = 4 for d.
-2
Suppose j - 5*j = -48. Solve -j - 3 = 5*x for x.
-3
Suppose 2*l = 3*l - 3. Solve -g = l*g + 4 for g.
-1
Let o(s) = -s**2 - 7*s - 7. Let v be o(-5). Suppose d + 3*d + 4 = 0, -2*d = 4*y + 10. Let n(j) = -3*j + 2. Let k be n(y). Solve 0 = v*m + m + k for m.
-2
Suppose 0 = 6*o - 5*o. Solve 3 = r - o for r.
3
Suppose 0 = 4*n + n - 10. Suppose -4*b + 2 = -n. Let l be ((-6)/5)/(12/(-30)). Solve -b = -4*d + l for d.
1
Let f be 1 + 0 + (-1 - -5). Suppose 0 = 2*o - f*t - 9 - 30, -4*o = -t - 33. Solve -5 - o = 3*k for k.
-4
Suppose 4*w + 3 = 11. Let n = w - 0. Solve 6 = -0*v - n*v for v.
-3
Let h(z) = z**2 - z - 3. Let i be h(3). Solve i*t = -t + 12 for t.
3
Let q be 0 + (5 + -4 - -3). Suppose -j - q*j = 0. Let m be (1 + 2/4)*2. Solve m*w - w - 8 = j for w.
4
Let y = 17 - 15. Solve -2*l + 3*l - y = 0 for l.
2
Let c(x) = x**2 - 6*x - 9. Let f be c(8). Let u be (-1)/(-2)*-6 + f. Suppose 11 = -2*l + 5*k, -7*l + 2*k + u = -2*l. Solve -10 = -4*z + l*z for z.
5
Suppose -2 = 7*d - 4*d + 4*a, -4*d - 5*a - 3 = 0. Suppose -6*k + 8*k - 2 = 0. Let h be -5 + 2 + k - d. Solve h = -0*v + 3*v - 9 for v.
3
Let s = 8 - 4. Let g = 9 - s. Let i(k) = k**2 + 7*k + 10. Let y be i(-5). Solve y*t - 5 = g*t for t.
-1
Let y = 13 - -3. Solve -4*f = -0*f - y for f.
4
Suppose 5*j - 4*a - 7 = 0, 5*j = 2*a - 0*a + 11. Let k be (-18)/(-10)*(-10)/(-3). Solve k - 3 = j*h for h.
1
Let s be 16/(-28)*(-14)/4. Solve -6 = -4*z - s for z.
1
Suppose -v - 2*v = -3*g + 6, 4*g - v = 5. Let l(y) = y**2 - 4*y - 5. Let z(n) = n + 14. Let u be z(-9). Let o be l(u). Solve o = -k + g + 1 for k.
2
Suppose 26 = 5*x + 1. Let o(l) = l**3 - l. Let s be o(1). Suppose 0 = -x*m - 2*i + 48, s*m + i + 20 = 3*m. Solve m = -4*z - 4 for z.
-3
Suppose -4*a = -a. Solve a*g = -g for g.
0
Let w(n) = -2*n - 3. Let m be w(-3). Solve m = -5*o - 2 for o.
-1
Suppose -3 = b, 0 = -3*v + 5*v + b + 1. Let f be -2*(-2)/4 + v. Solve 0 = f*a - 5*a for a.
0
Let h(j) = 13*j - 3. Let z be 4/(-4) - (0 - 3). Let f be h(z). Solve f - 3 = -4*v for v.
-5
Let r(a) = -2*a - 3. Let j(i) = 5*i - i**2 + 9*i**2 + 6 + 5*i - i**3 + 2*i**2. Let x be j(11). Let z be r(x). Solve -4*n + z*n - 6 = 0 for n.
2
Let n be 2/2 + 4 - 1. Solve 2 = w + n for w.
-2
Let y(l) = 2 + 0*l**2 + 2 - l**2. Let h be y(0). Suppose 3*t + h*x + 20 = 0, -x = 3*t - 0*x + 5. Solve t = i + 6 - 3 for i.
-3
Let z be 7*(2 + -2 + 1). Let q(a) = -a + 4. Let d be q(z). Let j be ((-20)/(-3))/((-1)/d). Solve -3*w + 5 = j for w.
-5
Let n = -37 - 3. Let h(c) = c**2 + 4*c - 6. Let x be h(-5). Let i be (x/2)/(4/n). Solve i*o + 4 = 4*o for o.
-4
Suppose -4*d + z = -7, d + 2*z = -0*z + 4. Solve d*o = -0*o + 8 for o.
4
Suppose 4*p = p + 12. Suppose -12 = -p*o - 3*c, -8 = 4*o - 2*o + 5*c. Solve 4*b - b = -o for b.
-2
Suppose -6*z = -z + 15. Let s be z/(9/60)*-1. Let f be 3*((-6)/(-9))/1. Solve 3*r - s = -f*r for r.
4
Suppose -4*m = 3*g - 11, -g + 6 = m + 3*g. Solve x + m = 3 for x.
1
Suppose -17 = -5*n + 18. Suppose n*r - 3*r = 52. Solve -3 = -4*o + r for o.
4
Let a be ((-30)/(-3))/(1 + 1). Suppose 8*b + 11 = a*r + 4*b, -4*b = -4. Solve r*t - 1 = -7 for t.
-2
Let t(q) = 2*q - 10. Let k be t(5). Solve 0 = -k*x + 4*x - 8 for x.
2
Let b be 4/(-10) - (-215)/(-25). Let p = -4 - b. Solve -5 = p*s + 15 for s.
-4
Suppose -7 = 2*s - 1, 0 = 5*f + s + 3. Suppose -8*m + 13*m = f. Suppose -c + 0*c + 1 = m. Solve c = p - 0 for p.
1
Let c(r) = r**3 + r**2 - r + 1. Let l(m) = 5*m**3 - 14*m. Let n(v) = -6*c(v) + l(v). Let t be n(-5). Solve 1 = -5*z - t for z.
-2
Let u = -15 + 8. Let y = u + 7. Solve 0*b - b - 1 = y for b.
-1
Let r = 17 + -6. Solve -r = 2*u - 1 for u.
-5
Suppose -4*w + a = -16, -5*w - 3*a + 12 = -8. Solve w*q + 6 = -6 for q.
-3
Suppose 3*f + 3*s = 4*f + 10, 0 = -3*f - s - 10. Let x be (-1 + -5)*22/f. Solve x - 8 = -5*q for q.
-5
Let b(k) = -k**3 - 10*k**2 + 10*k - 10. Let j be b(-11). Solve -j + 11 = 2*h for h.
5
Let a(i) = i**2 - 9*i + 12. Let v be a(8). Solve v*f = f - 9 for f.
-3
Suppose 4*k + 1 = 5. Suppose -k = -u, 0*u + 7 = 2*r + 3*u. Solve r*d = 3*d for d.
0
Suppose 3*g - 6 = -2*z, -3*g + 4*z = -8*g + 10. Suppose 2*w - g*l + 0*l - 46 = 0, -w = 2*l - 35. Suppose 5*m - w = 8. Solve -m*k + 2*k = 25 for k.
-5
Let k = -20 - -30. Let u = k + -8. Solve -d - d + u = 0 for d.
1
Let l(m) = m**3 - 17*m**2 + m - 14. Let y be l(17). Solve -y*d - 2 = 1 for d.
-1
Suppose -5*y + 3 - 1 = r, 2*r - 3*y = 4. Solve r = -q - 2 for q.
-4
Suppose 0 = 4*v - 20 - 0. Solve 4*n = -1 + v for n.
1
Let j(p) = p + 4. Let g be j(0). Suppose -4 = r, g*f = 5*f - 2*r - 124. Let c be 1/(-4) - f/(-16). Solve 3*t + c = -2 for t.
-3
Let r = 8 - 6. Suppose -3*n = -4*o - 52, 5*o + 0*n + 65 = -5*n. Let y = o - -20. Solve y*z - 20 = r*z for z.
4
Suppose 2*o - 6*o - a = 0, -o + a - 5 = 0. Let v(r) be the first derivative of -r**2/2 - r - 2. Let u be v(o). Solve -2*i + 7*i + 25 = u for i.
-5
Let x be -3*(-2)/8 - 9/12. Solve x*t + 2 = t for t.
2
Suppose 25 = 13*s - 8*s. Solve 0 = -s*f - 0 - 10 for f.
-2
Suppose 34*q = 29*q + 45. Solve 2*r - 1 = q for r.
5
Let o(r) = -r. Let y(w) = -2*w - 10. Let v be y(-5). Let n be o(v). Solve -t + 3 - 1 = n for t.
2
Let v(h) = -h**3 - 5*h**2 + 4*h + 9. Let k be v(-6). Solve -1 = -5*z - k for z.
-4
Let k(t) = 3*t - 2. Let m be k(2). Suppose 5*q - 16 = m. Let l = 6 - q. Solve 2*a = -2 - l for a.
-2
Let t be 4 + 6 + -3 - 1. Suppose -t = -4*c + 10. Solve -5*x = c + 1 for x.
-1
Let q(u) = -u**3 + 6*u**2 - 5*u + 4. Let p be q(5). Let l(h) = -h**3 - 2*h**2 + 3*h - 3. Suppose -s + 2*s + 4 = 0. Let b be l(s). Solve b = p*v + 1 for v.
4
Let i = 22 - 12. Let w = i - 5. Suppose 0 = 4*b - 20, j + w*b - 21 = 3*j. Solve l = j*l + 5 for l.
-5
Suppose 2*g = 4*f, -g + 8 = 3*g. Solve -3*p = -f - 2 for p.
1
Suppose -3*z - t - 22 = -68, 4*t = -8. Suppose 0 = 5*r - 4 - z. Let i = 18 + -8. Solve r - i = 2*c for c.
-3
Suppose 2*u - 4 = 3*u. Let j be ((-6)/u + -1)*0. Solve -4*i = -j*i + 12 for i.
-3
Suppose 0*s - 5*s - 4*z = -13, 2 = -2*s - 4*z. Suppose -17 - 3 = -4*h. Solve h = 5*m - s for m.
2
Suppose 44 = d + 44. Solve d*u = 5*u + 25 for u.
-5
Let l = -7 - -8. Solve -z = -l + 2 for z.
-1
Let n be -12*(14/4 - 4). Solve -n*o - 5 = -o for o.
-1
Let h(d) = d**2 + 8*d + 16. Let o be h(-5). Solve j - 2 = -o for j.
1
Suppose -4*c + 0*q = 5*q - 38, -5*c - q = -37. Let f = c + -5. Solve 10 - 2 = -f*n for n.
-4
Suppose 3*m - 6 = 2*x, 2*m - 4 = -4*x - x. Suppose -d = m - 4. Suppose d*p + 3*i - 4*i = 4, -4*p = -3*i - 8. Solve -p*n - n = 0 for n.
0
Let m(z) = z**3 + 3*z**2 - 6*z - 5. Let o be m(-4). Suppose 2*l + o*d - 12 = -2*l, -2*l = -3*d - 6. Suppose l*h + h - 8 = 0. Solve -w = h*w - 6 for w.
2
Suppose -7*o + 52 = 5*w - 3*o, 0 = 2*w + 3*o - 25. Let p = w + -8. Solve p = j - 2 for j.
2
Let m(h) = h**2 + 14*h - 5. Let r(c) = -c**2 - 13*c + 5. Let x(d) = -3*m(d) - 4*r(d). Let o be x(-11). Solve o*n - 3*n = 12 for n.
4
Let q(w) = -w**2 + 13*w + 3. Let g be q(13). Suppose -v - 3*v + 20 = 0. Solve v*b - g*b + 4 = 0 for b.
-2
Suppose -10 = 4*k + 3*o - o, -2*k + 5*o = 23. Let g = -2 - k. Solve 0 = g*t - t for t.
0
Let h(s) = s - 3. Let w be h(7). Let v(d) = 3 + 5*d - 2 - d**3 - 5 + 2*d**2. Let m be v(3). Solve m*b - 2 = w for b.
3
Let d(m) = m**2 + 9*m - 6. Let v be d(-10). Let x be 1/1 - (-2 + 0). Let p = -3 + 7. Solve -x*z = -v*z - p for z.
-4
Suppose -2*z + 12 = -0. Solve -x + z = x for x.
3
Suppose -16 = -p - 4*z, 3*z = 5*p + 7 + 5. Solve 3*i + i = p for i.
0
Suppose -3*x + 0 + 9 = 0. Solve 2*y - y + x = 0 for y.
-3
Let l be ((-1 - 1) + 2)/(-2). Let y be 2/(-4)*l/(-2). Suppose y = -q - 2*q + 30. So