s + u*s - 12 = 0 for s.
4
Let b = -6 + 6. Suppose -2*z = -4*z. Solve -n + z*n + 1 = b for n.
1
Let v be (-8)/(-6)*3/2. Let y(z) = -z**2 - 7*z - 6. Let k be y(-4). Suppose 16 = 5*c + k. Solve -v*o = c*o for o.
0
Suppose -4 = -3*j - 2*z, 2*j - z + 9 = 7*j. Suppose 4*q - v - 2*v = 18, -16 = -4*q + j*v. Solve -6*u + q*u = -12 for u.
4
Suppose 4*f - m = 4*m + 3, -4*m = 12. Let h be f/(6/(-10)) + -2. Solve h*s - 4*s + 5 = 0 for s.
5
Let j(h) = -h**2 + 8*h - 5. Let n be j(7). Suppose -2 = -4*a + n. Let k = a - 1. Solve -y - 4*y = k for y.
0
Suppose 2*f - 4 = 2. Solve -3 = f*o + 12 for o.
-5
Suppose 24 + 1 = 5*k. Suppose 3*m - k = 10. Solve m*l - 4 = 6 for l.
2
Let z = 13 - 10. Suppose -15 = -5*g + z*b, -g + 5*b - 3*b + 3 = 0. Solve 2*h - 3*h = g for h.
-3
Let j(t) = -10*t + 2. Let d be j(-2). Suppose -d = -5*w - 7. Solve -w*s = -11 - 1 for s.
4
Let n = 14 - 10. Solve -n*t - t = 0 for t.
0
Let g(r) = -2*r + 14. Let h be g(7). Solve h = 3*s - 2*s for s.
0
Suppose 3*s + 4*n = -14, -2*s + 10*n - 5*n + 29 = 0. Solve -o - s*o = -6 for o.
2
Suppose x + 7 = 3*q - x, 1 = -3*q - 2*x. Solve w + q = 5 for w.
4
Suppose 5*z - 5*a = 0, -2*a = -3*z - 0*a. Suppose 4*w + x = 3, 4*x + 2 = -2*w - z*x. Let g = -14 - -27. Solve 4*s - g = -w for s.
3
Let r(c) = -c. Let t(x) = -x**3 + 3*x**2 + x - 3. Let y(h) = -2*r(h) - t(h). Let b be y(3). Solve -b + 0 = -3*i for i.
2
Let o = -15 - -19. Solve q = -q - o for q.
-2
Let p = 8 - -19. Let g = -27 + p. Solve g*t = -t + 5 for t.
5
Suppose -173 = -5*m + 2*p, -2*m - 3*p + 23 = -50. Let n(w) = 3*w**2 - 2*w - 5. Let k be n(5). Let t be k/m - (-2)/7. Solve -2*j = t*j + 16 for j.
-4
Let y be 4/2 - (-18)/(-2). Let z be (18/(-21))/(1/y). Solve -2*t + 0*t = z for t.
-3
Suppose o - 26 = -o. Suppose -x = -8 - o. Suppose -4*n + x - 1 = 0. Solve 0 - n = 5*h for h.
-1
Suppose 3*g = -q + 16 + 12, 3*q + 4*g - 84 = 0. Let f = 59 - q. Let k = f - 15. Solve 4*w + 0*w = -k for w.
-4
Let x be (-2)/(-10) - (-48)/10. Suppose x*a - 24 = -4. Suppose -3*d + d = -a. Solve -d*h = -3 - 1 for h.
2
Suppose g = -0*g + 5. Solve 1 = g*r - 14 for r.
3
Suppose 2*j - 4*d + 8 = 0, -j - 3*j + 2*d = -8. Solve 11*p + j = 7*p for p.
-1
Let m(k) = k - 2*k**3 - 3*k**2 - 3 + k**3 + 6*k**2. Let p be m(3). Let o be (0 + p)/(1/1). Solve s + 4 = -o*s for s.
-4
Let x = 22 - 12. Let o = 2 - x. Let v = o + 28. Solve -v = j + 4*j for j.
-4
Let l be -2*(-2)/4 + 2. Let i(j) be the first derivative of 3*j**2/2 + 3*j - 1. Let r be i(l). Solve n = -3*n + r for n.
3
Suppose 4*d + 4*d = 6*d. Solve d = j + j - 6 for j.
3
Suppose 0 = f + 5*l - 29, f - 7*l + 4*l + 11 = 0. Solve -f*b + 7 + 9 = 0 for b.
4
Suppose 0 = -q - 0*q + 2. Solve -q*i = -i for i.
0
Suppose 14*r - 1 = 13*r. Solve 1 = h - r for h.
2
Let a = -6 - -9. Suppose 0 = -a*c - c. Suppose c = o + o. Solve o = h - 0*h for h.
0
Let c be (3 - 2) + (8 - -4). Suppose 25 + c = 3*w - 2*n, 2*w + n - 23 = 0. Solve w = 4*g - 0*g for g.
3
Suppose 0 = -4*a + 8 + 76. Suppose -a = b - 4*b. Solve b*j = 4*j for j.
0
Let t(c) = 3 - 11 - 5*c - c**2 - 9*c. Let w be t(-13). Suppose -5*d - 11 = -w*o - 1, -4*d = -5*o + 12. Solve -12 = i + d*i for i.
-4
Suppose 17 - 41 = -3*s. Solve 0 = -s*m + 7*m for m.
0
Let d(m) = -m - 3. Let u(q) = -q**2 - 7*q - 6. Let f be u(-5). Suppose f*a = -v - 20, -4*a = -3*v - 0*v + 4. Let z be d(a). Solve x + z = -4 for x.
-5
Suppose -v + z + 16 = -6*v, -v - 7 = 4*z. Let w = -1 - v. Solve 0*x + w = -x for x.
-2
Let u(t) = -5*t - 4. Let r be u(-2). Suppose 0 = v + 3*p + 2, 5*p - 2 = 3*v - r*v. Solve 0 = -v*k + 2*k - 6 for k.
-3
Suppose 13*v - 2*v = 77. Let o be 3/((-2)/(2 + 0)). Let u = 6 + o. Solve v*y = u*y for y.
0
Suppose 5*i - 35 = -6*m + m, 0 = i + 5*m - 23. Let g be (-16)/14*35/(-10). Solve -i*q - g = q for q.
-1
Let p(u) = u**3 + 8*u**2 + 7*u + 3. Let n be p(-7). Let z be (-2 - -1) + (6 - n). Solve z*l + l = 0 for l.
0
Suppose x - 3 + 6 = 4*s, 9 = -5*s - 3*x. Suppose 0 = 5*h - 10, s = 5*n - 2*n - 2*h - 5. Solve -4 = n*v + 2 for v.
-2
Let j be (12/3)/((-8)/(-20)). Let d = -14 + j. Let b = 6 + d. Solve u - b*u - 2 = 0 for u.
-2
Let u = 16 - 16. Solve -a + 2 = -u for a.
2
Suppose -3*y - 3 + 9 = 0. Solve 0 = y*f - 6*f - 8 for f.
-2
Suppose 2*t = -2*t. Suppose m = 2 + 3. Suppose -6 = -3*c, m*f + 5*c = -0*c + 20. Solve -f*v = -t*v - 4 for v.
2
Suppose 0 = u + 2*q - 0*q - 5, 0 = -4*u + q + 2. Solve -u - 9 = -2*x for x.
5
Suppose 5*l = l - 80. Let y = l - -23. Solve 5*v = y*v + 10 for v.
5
Let b be (-3)/(-1) - (-2 + 2). Suppose 0 = -u - 2*y, -5*u + 8 + 13 = b*y. Solve 2*k - 4 = u*k for k.
-1
Let l = -2 + 6. Suppose -l*q = -3*q - 4*n - 1, 0 = 3*q + n + 23. Let z be (-6)/(-3 - q/3). Solve 2*v - z = -3 for v.
3
Let f(n) be the third derivative of -n**4/24 + n**3/6 + 2*n**2. Let o be f(-3). Suppose -2*l - 5 = -3*m + 8, -4 = -o*l. Solve 4*r = -m + 1 for r.
-1
Suppose x + 119 = -0*x. Let d be 2/12 + x/(-42). Solve -5 = -2*a - d*a for a.
1
Let c be 6/(-3) + (9 - 2). Suppose -c*o + 15 = -3*a + 6*a, 0 = 5*o + 2*a - 20. Solve -4*d + o = -14 for d.
5
Suppose -z = -2, 5*g + z - 11 = 2*g. Let v be 8/g + (-7)/(-21). Suppose p + 3 = 4*n + 2*p, -2*p - 4 = v*n. Solve -m = n*m for m.
0
Suppose 0 = z + 3*w - 1 + 10, -5*z + 27 = -3*w. Suppose 3*x = -z*r + 15, 2*x = -3*r - 1 + 13. Solve 10 - r = 4*v for v.
2
Suppose z - 12 = -3*s, 3 + 25 = 4*z + 2*s. Let i(k) = k + 4. Let h be i(z). Solve 5*r + h = -15 for r.
-5
Suppose 3 = b - 2*b. Let l be 2/b*-3 + 4. Solve r + 1 = l for r.
5
Let i be (-2)/(-8) + (-63)/(-36). Suppose -2*w + 6 = -2*d, 9 = -i*d + d + 3*w. Solve d = 3*t + 10 + 5 for t.
-5
Suppose 0 = f - 6*f. Solve f = y - 2*y - 5 for y.
-5
Let h(f) be the first derivative of -f**4/4 + 2*f**3/3 - 4. Let x be h(2). Solve x = s + 4 - 0 for s.
-4
Let t = -10 - -13. Suppose t*q = -0*q - 5*c + 94, 0 = -3*q + 2*c + 59. Solve -8 = 5*i - q for i.
3
Let l = -8 - -13. Solve l*a = -0*a - 25 for a.
-5
Let u(m) = -13*m + 41. Let n be u(3). Solve n*g + 6 = 2 for g.
-2
Suppose -2*y + 8 = -y. Solve 3*u - 15 = y*u for u.
-3
Let g(h) = h - 1. Let l be g(6). Let a = 1 - l. Let i be (-1)/a*-1*-4. Solve -i = -4*t + 3 for t.
1
Let p(o) = -30 - 2*o**2 + o**3 + 7*o + 31 - 3*o**2 - 2*o. Let n(q) = q**3 - 7*q**2 + 8*q - 8. Let i be n(6). Let s be p(i). Solve b - s*b = -16 for b.
4
Let y be -2 + (-5)/(5/(-2)). Let m = -11 - -15. Solve -6*z + m*z = y for z.
0
Suppose -11 = -5*h - 2*v + 23, 24 = 3*h + 3*v. Let y be (-8)/h*(-6)/(-4). Let o be 1*(3 + y)*3. Solve -9 + 3 = -o*t for t.
2
Let y = -9 - -11. Let t(a) = -a**2 + 9*a. Let x be t(8). Let s(k) = k**3 - 8*k**2 + k + 6. Let h be s(x). Solve -y = 4*w - h for w.
3
Let t(b) = 7*b - 3. Let l be t(1). Solve -l*z = -15 + 3 for z.
3
Suppose 17 = 7*g - 53. Let h be 2*-1 + (2 - 0). Solve -5*c + g*c = h for c.
0
Suppose 5*v - 1 - 9 = 0. Suppose -v*h = -4*h. Solve h = 3*w - 2*w for w.
0
Suppose 16 - 10 = 3*u. Let n = 5 + -3. Solve 4*o + n = -u for o.
-1
Let k(p) = p**2 - 3*p + 5. Let w be k(0). Solve -3*v - 4 - w = 0 for v.
-3
Suppose 8 = -4*k + n, 3*n + 10 = -5*k - 0*k. Suppose 5*f + 5*t - 50 = 0, 0 = -2*f + t + t. Let a = f + k. Solve -a = -2*d - d for d.
1
Let i = 17 - 8. Let o be 12/(-10)*(-30)/i. Solve -2*v - o = -v for v.
-4
Suppose -3*p = -8*p - 15, -3*n = -p + 9. Let u be 2 - ((-9)/(-3) + 0). Let c be (n + (-1)/(-1))/u. Solve -6 = c*b + 6 for b.
-4
Let t = -14 + 16. Solve t*i + 4 = -0 for i.
-2
Let w(b) = -b**2 - 3*b - 2. Let c be w(-2). Suppose -12 = 2*g - 6*g - 5*q, -5*g - 2*q + 32 = c. Solve -z + 5*z = -g for z.
-2
Suppose 0 = -i + 4*p - 1 - 0, -3*p = -6. Suppose i*o = 2*o. Suppose 2*w - 5*t - 1 + 5 = 0, 2*t - 4 = o. Solve -w*x + 12 = x for x.
3
Let n(k) = -k + 2. Let q be n(4). Let z be 0 - 0 - (-4 - q). Let l = 0 + 5. Solve 13 + z = l*d for d.
3
Let y = -21 - -21. Solve 5*s + 19 + 1 = y for s.
-4
Let s be (0 + -1)/((-1)/7). Let l(z) = -z - 3. Let y be l(-6). Solve y*o = s*o for o.
0
Suppose 0*f = -f + 4. Let y be ((-2)/2)/(-2)*42. Solve f*n - y = -5 for n.
4
Let b = -4 + 5. Solve -r = -b + 2 for r.
-1
Let l = 5 + -3. Let w(v) = 11*v**2 - 1. Let b be w(1). Solve -b = -4*c + l for c.
3
Suppose 2*b = 3*h + 15, 8 = 3*b - 2*h - 2. Suppose b = 4*c + 3 - 19. Solve -c*u + 13 = -3 for u.
4
Let d = 145 + -129. Suppose -16 = -2*k + 5*u - 3*u, 2*k + 5*u = -12. Solve -k*l + 8*l - d = 0 for l.
4
Let h(o) = -11*o - 8 + 2*o - o - 1 