*y = 3*y + 5*l - s. Solve 4 = 3*n - y for n.
5
Let m be 0 + -5 + (-2 - -4). Let b = -3 - m. Suppose -1 = 2*l - 3. Solve -w + b*w - l = 0 for w.
-1
Suppose -j + 5 = -0. Solve u + 0*u = j for u.
5
Suppose -110 = 5*a - 2*z, -3*a - 66 = 3*z + z. Let s = a + 37. Suppose -3*j = -6*j + s. Solve 0*u + u = j for u.
5
Suppose 0 = -10*o + 5*o + 15. Solve -o*u = -u for u.
0
Let m be -1 + -1 + 6 - 1. Solve 12 = o + m*o for o.
3
Let z = 2 - 0. Suppose -4*x - b + 20 = -5*b, 0 = x - z*b. Solve x = 2*o - 0*o for o.
5
Let x(z) be the first derivative of -z**2/2 + 3*z + 6. Let m be x(3). Solve -3*t + 0*t = m for t.
0
Suppose -5*g + 445 = 5*t + 165, 5*t + 112 = 2*g. Suppose i = -2*y + g, -2*i - 4 = -y + 19. Suppose 0 = -4*d + y + 9. Solve d*h + 5 = 4*h for h.
-1
Let j = -3 + 5. Suppose c = -4*s + 9, 4*c - j*s + 6 = 6*c. Let w = 2 - c. Solve -2*h + 3 = w for h.
1
Let g = -6 - -21. Suppose 0 = 3*f - 0*f - g. Suppose 0 = f*u - 2 - 3. Solve u + 1 = l for l.
2
Suppose -2*n + 2*t + 68 = -16, 2 = -2*t. Let i be (-1)/4 + n/4. Suppose 0 = 2*j + 2*j + 5*p + 25, j + 2*p + i = 0. Solve j = -3*q - 3 - 0 for q.
-1
Let s(j) = j**3 - 5*j**2 + 2*j - 4. Let q be s(5). Let y = 9 - q. Suppose b + 0*b - 3*c = 10, -y*c = 5*b + 4. Solve -4*i = -13 + b for i.
3
Let s(f) = f**2 - 8*f + 9. Let w be s(6). Let r be 1 - w/((-6)/(-8)). Solve -u + r*u + 4 = 0 for u.
-1
Let m(f) = -f**3 - 4*f**2 - 3*f + 1. Let i be m(-3). Let z be i/(2*2/4). Let c(v) = 3*v**3 - v**2 + 2*v - 1. Let l be c(z). Solve l*t = -t for t.
0
Let s = -12 + 32. Let d = 14 - 10. Solve -d*t = t - s for t.
4
Suppose 2*f - j = 8 + 3, 3*f - 27 = -2*j. Solve f = -k + 3 for k.
-4
Let l(b) = b + 21. Let n be l(-20). Solve n = 5*k - 9 for k.
2
Let m = 78 - 33. Suppose n + 30 = 5*k, 5*k + n = 5*n + m. Solve -8 = -k*u + u for u.
2
Suppose 0 = 5*c - 0*c + 30. Let p be 1/1 - (c - 0). Let x be 19/p - 10/(-35). Solve -x*k + 13 = 1 for k.
4
Suppose -3*m + 2*b + 3 = 0, 2*m + 7*b - 4*b = 2. Solve 2 = w + m for w.
1
Suppose 2*j - 24 + 22 = 0. Solve j = -a - 1 for a.
-2
Let o = 51 + -47. Solve -6*z + 4*z + o = 0 for z.
2
Let n = -3 - -11. Solve -3*x = x - n for x.
2
Let d(p) = 0 - 6*p + 4*p - 5. Let u be d(-5). Solve v - u = -0*v for v.
5
Suppose 0*c + 16 = 2*c. Let t be c/(-10)*(-20)/8. Solve 0 + t = p for p.
2
Let y be (39/(-2))/((-9)/12). Suppose -3*c + 4*t = -y, 3*c + 14 = 5*c - t. Suppose -3*f = -c*f + 3. Solve -2*m + f = 3 for m.
-1
Let l(j) = -j**2 + 6*j + 1. Let w be l(5). Suppose 2*z - w = 3*y - 14, -4*y + 3*z = -9. Solve y = -3*a + a for a.
-3
Let w(g) = -g**3 - 10*g**2 - 3*g - 14. Let m be w(-10). Suppose 5*f = -4*y + m, 3*f + 20 = 7*f + 5*y. Suppose 2*q - 6*q = f. Solve q = -7*o + 4*o for o.
0
Let a be 4 + 3 + -3 + -3. Solve -t + 0 + a = 0 for t.
1
Let i be -4 + (3 - (-68)/(-8)*-2). Solve 0*u - i = -4*u for u.
4
Let a = 0 - -5. Let p(h) = h**3 - 4*h**2 - 6*h + 11. Let c be p(a). Solve c*i = 3*i for i.
0
Suppose 0 = -d + 3, 4*d - 1 = 2*l + 1. Let h be -8*((-6)/(-4) + -2). Solve -h*c + 7 = -l for c.
3
Let p = 1 + 1. Let z = 5 - p. Suppose -z*y + y = -2. Solve 6 - y = -n for n.
-5
Let v(k) = -k**3 + 7*k**2 - 7*k + 9. Let i(o) = -7*o**3 - 2*o**2 - 2*o - 1. Let l be i(-1). Let z be v(l). Solve -z*w = -w for w.
0
Suppose 0 = -2*d + 5*h + 12, d - 4*h - 12 = -0*h. Let j = -6 - d. Let y = j + 7. Solve g - y = -1 for g.
4
Suppose 0 = 2*x - x - 3. Solve -1 = x*c - 4 for c.
1
Suppose -3*z + 2 = -2*z. Suppose 5 = -u + 2*u + j, -16 = -z*u - 4*j. Suppose -17*n + 12*n = -30. Solve -4*p + n = -u*p for p.
3
Suppose 18 = 2*p - 5*c + 4, 5*c = -2*p - 6. Let d = p + 0. Suppose 0 = h - 5*v - 4, -d*v - 2 = -h + 2. Solve h*z = -z for z.
0
Let j(x) = -x**2 + 10*x + 2. Let q be j(10). Solve i = -i + q for i.
1
Let v(z) = -z**3 - z**2 - z - 4. Let f be v(0). Let l be 2/f*(2 + -20). Let i = l + -5. Solve s + 0 = i for s.
4
Let b be (2/6)/(2 - 68/36). Solve -b*z = -2*z + 1 for z.
-1
Let f(g) = -g**2 - 9*g - 8. Let k be f(-7). Let p = 17 - 12. Solve -h + p = -k*h for h.
-1
Suppose 3*b = -2*b. Let k = b - -5. Let g be ((-2)/k)/(1/(-5)). Solve -g*p + p = -5 for p.
5
Let h be (4 - -1)/((-20)/(-24)). Solve 2*m - 2 + h = 0 for m.
-2
Let x be (-3)/(-2) + (-355)/(-10). Let o = -26 + x. Solve 0 = 3*t + 1 + o for t.
-4
Suppose -39 = 2*x + 5*c, -c = -x - x - 33. Let k = 19 + x. Solve k*s + s - 6 = 0 for s.
2
Suppose -1 = -n - 0. Let z be -1 + 3 + (-2 - n). Let r be -3 + 4 + (z - 0). Solve -i - 1 + 6 = r for i.
5
Suppose 0 = w + 2*w - 12. Solve -4*c = -2*c - w for c.
2
Let y be (96/(-56))/((-4)/14). Suppose 0 = t - 3*w - 17, 2*t - 19 = w + 2*w. Suppose 0*k = t*k - y. Solve 3*b + k = 9 for b.
2
Suppose 2*s = 3*j + s - 11, -2*j + 2*s = -14. Solve -j*o - 1 = -9 for o.
4
Let h(b) = 5*b + 10. Let l be h(1). Solve -x = 4*x - l for x.
3
Suppose -3*q = 2*r - 28, 5*r = 5*q + 149 - 29. Solve 0 = -0*d - 4*d - r for d.
-5
Let m = 2 - 4. Let v = m + 4. Solve v*n + 10 = -3*n for n.
-2
Suppose -2*t - t = 4*t. Solve t = -j - 1 - 2 for j.
-3
Let d be (-896)/91 + (-2)/13. Let o(f) = -f - 10. Let y be o(d). Solve y = -3*a - 3 - 3 for a.
-2
Let v = -24 + 17. Let c = -3 - v. Solve c*y + 2 + 10 = 0 for y.
-3
Let s be (2 - 0) + (4 - 4). Suppose -28 + 3 = -5*f. Suppose f*v + 40 = 5*n, -n + 0*v = v + s. Solve 0 = -2*o + n*o + 1 for o.
-1
Suppose y - 5*y + 2*q = -12, -5*q = -4*y + 6. Suppose 20*i - 22*i = -y. Solve 2*j - 16 = -i*j for j.
4
Let w(h) = -h**2 - 5*h + 2. Let p be w(-5). Suppose -p*y + 0*y = -16. Solve -y + 2 = -3*j for j.
2
Suppose 24 = 3*w - 4*f, -4*w - w + 26 = -2*f. Solve 1 = -w*p + 5 for p.
1
Suppose 0 = 4*j + j + 4*a - 21, -5*a = j. Suppose -m + j - 3 = 0. Solve -7*b + 20 = -m*b for b.
4
Suppose -4*k - 4 = 4*f, -4*f + 3*k = -0 - 3. Suppose 0 = x + 3*d - 15, -x = 2*d - d - 9. Suppose -2*o = o - x. Solve f = -o*p + p for p.
0
Let a be (2 + 13)*1/3. Solve 0 = a*r - r - 8 for r.
2
Let o(r) = r**2 + 3*r + 1. Let n be o(-5). Suppose -4*p + 4 = -4*q, -3*p + n = 5*q + 32. Let k = 7 + q. Solve 0 = -f + 1 - k for f.
-3
Suppose -4 = -2*y - 0. Let w(c) = 0*c - 2 + 2*c**2 + y*c - c**2. Let i be w(-3). Solve 0 = -b - 0*b - i for b.
-1
Let v(s) = s**3 - 10*s**2 - 8*s - 30. Let b be v(11). Solve -2*n + b = 5 for n.
-1
Suppose -9*t + 20*t = 0. Suppose 5*v = -2*a + 29 + 8, 5*v = -a + 31. Solve -3*g = a - t for g.
-2
Let d = 24 + -20. Solve -d*m + 0*m = 4 for m.
-1
Let p = 15 - 22. Let y = 23 + p. Solve 0 = 5*h - 9 - y for h.
5
Let d(o) = -o**2 - 6*o + 3. Let w be d(-3). Suppose -3*u - 2*x - 4 = -4*x, 4*x - w = 4*u. Suppose -4*a = u - 10. Solve a*l = l - 1 for l.
-1
Suppose 0 + 21 = -2*y + 5*p, p - 3 = y. Solve 0 = -j - y*j for j.
0
Suppose -3*c = -2*p + 8, -4*p + 6 = c - 2*c. Let q(h) = h**2 + 5*h - 5. Let v be q(-6). Solve -l + v + p = 0 for l.
2
Suppose 0 = 11*p - 4*p - 56. Solve -g = 3*g - p for g.
2
Suppose 3 = -f + 7. Solve 16 = f*i - 0 for i.
4
Let i be 39/195 + (-48)/(-10). Solve 2*m - i = m for m.
5
Let q(y) = y + 1. Let x be q(3). Suppose 4*a = x*c - c + 6, -4*a + c + 10 = 0. Suppose 2*g - 12 + 2 = 0. Solve g = 4*n - a for n.
2
Let v(x) = -3*x + 4. Let g be v(-3). Suppose 0 = 5*i - 33 + g. Solve -i*f = -0*f for f.
0
Let x = 23 + -10. Let f be x/3 - 16/(-24). Solve -f*k + 3 = 8 for k.
-1
Let u be (-3)/(-12) + (-23)/(-4). Solve -2 + u = -4*l for l.
-1
Let j(p) = -p**3 + 5*p**2 - 2*p + 3. Let f be j(5). Let x = -4 - f. Solve 0 = o + 5 - x for o.
-2
Let q be (4 - (-276)/(-66)) + 180/22. Solve 3*w + q = 7*w for w.
2
Let d = -3 - -1. Let u be (-2)/d*(-1 + 2). Let y = u + -1. Solve y = -6*t + 3*t for t.
0
Let a(m) = m - 3. Let q be a(3). Suppose -l - 1 + 3 = q. Solve -2*r = -0*r - l for r.
1
Suppose 5*z = 5*p - 20, -3*p = 4*z + z - 12. Solve -2*d - p = -6*d for d.
1
Let j = 4 - 3. Solve -5*a - j = -11 for a.
2
Suppose 5*a = -p + 11, -17 = a - 2*p + 7*p. Solve a*w = -w + 16 for w.
4
Suppose -s + 10 = 2*x + s, 5*x - 3*s - 1 = 0. Solve -x*j = -4*j - 4 for j.
-2
Suppose -41 = 4*a - 13. Let t = -2 - a. Solve 9 = -t*z + 24 for z.
3
Let j(y) = -20*y. Let l be j(-1). Solve -q + l = -5*q for q.
-5
Let f be (22/(-6) + 3)/(2/(-12)). Solve -n = -f + 1 for n.
3
Suppose -3*t = 3*i + 6, 2*t = 2*i - 1 + 5. Solve t = -0*b - 2*b for b.
0
Let u = 3 + -4. Let l = u - -1. Suppose -5*m = 3*q + 2, -5*m - 4*q = -l*q + 6. Solve 0 = 3*v + m*v - 5 for v.
1
Let m be ((-2)/(-4))/((-1)/(-16)). Suppose j = -4*k - 0*k + m