2 = 0 for n.
2
Suppose 3*o - 38 + 8 = 0. Suppose -4*s + 18 = -o. Let d(z) = z - 2. Let t be d(s). Solve t*f - 12 = 13 for f.
5
Let c = -20 - -10. Let n = c + 11. Let r be 3 - (n + 0 + -1). Solve -2*q - r*q = -25 for q.
5
Let z(j) = j**3 + 8*j**2 - 9*j + 2. Let r be z(-9). Suppose 1 = -r*c + 9. Solve 0 = i + c*i + 25 for i.
-5
Suppose 3*z - 8 = -z. Suppose -n = 2*n. Solve -z*f + f + 4 = n for f.
4
Let m(s) be the third derivative of -s**5/40 + s**4/24 + s**3/2 - 2*s**2. Let j(k) be the first derivative of m(k). Let a be j(-8). Solve 0*d = -5*d + a for d.
5
Let t be (9/6)/(1/2). Let d = -24 + 25. Suppose x - k = 3 - 1, x + 3*k = 10. Solve -x*m + d = -t for m.
1
Suppose 0*t - 4*t = -3*g - 8, 5*g = 2*t - 18. Let k = -19 - -27. Let b = g + k. Solve -b + 20 = 4*c for c.
4
Suppose 0 = -3*b + b. Solve -5*i + b*i = 0 for i.
0
Let q be -3*(-3)/(45/5). Solve 2*i + 5 = q for i.
-2
Let h(s) = -s - 10. Let u be h(-10). Let x be (1 - 0)/((-1)/(-5)). Solve -5*t = x - u for t.
-1
Suppose 0 = b + 16 - 18. Solve 2*u + b*u = -12 for u.
-3
Let b(t) = -3*t - 3. Let j be b(-2). Suppose -j*d = 2*d + 10. Let r be d - (-1 - 1*6). Solve -z = -r + 1 for z.
4
Let a = 39 - 25. Solve 4*x + 6 = a for x.
2
Suppose -2*h = 3*h. Suppose 5 = -4*s + 1. Let c be (-1)/(-2) + s/2. Solve h*a - 3*a - 12 = c for a.
-4
Suppose 3*y + 4*a = -16, -3*a - 12 = -7*y + 2*y. Solve -3*b + 12 + 3 = y for b.
5
Suppose 2 - 4 = -d. Solve -d = -z - 0 for z.
2
Suppose 3*b - 6 = -0. Solve -b*w - w = -12 for w.
4
Let c(u) = -u**3 - 2*u - 8. Let v be c(-2). Solve k + k + v = 0 for k.
-2
Let c(a) = -4*a + 8. Let q be c(7). Let d = -15 - q. Solve -2*i + i = -d for i.
5
Let q(w) = 5*w**2 + 8*w + 25. Let x(b) = -b**2 - 2*b - 6. Let y(p) = 2*q(p) + 9*x(p). Let l be y(4). Solve l*t = 3*t - 1 for t.
-1
Let u(i) = 2*i**2 + 3 + i - 4*i + 0*i**2 + 0*i**2. Let p be u(2). Solve b + p - 10 = 0 for b.
5
Let u = 5 + 4. Let z be 2/(-3)*u/(-2). Suppose -y + r - z = 0, -4*y + r - 5 = -2. Solve -5*w + y*w = -20 for w.
4
Suppose -3*d - 2 = i - 5, d + 9 = 3*i. Solve 0 = -2*k + i*k for k.
0
Let q = -2 + -3. Let h = q - -5. Suppose 2*w = -h*w. Solve w = -3*a - 4 + 1 for a.
-1
Let d = -6 - -2. Let o be 0/((-5)/(10/d)). Suppose 2*r - 4*r = o. Solve -3*p = -r + 9 for p.
-3
Let i be 20/(-32)*-2 - 2/8. Solve -3*v - i = -4*v for v.
1
Suppose -w + 7 = -c - 3, -2*c = -4*w + 50. Solve -4*h = -9*h + w for h.
3
Let v be -4*(-1)/((-12)/9). Let b be 20 + (-5 - v) - -1. Solve -5*a - 4 = -b for a.
3
Let d = 4 - -2. Let t = d + -2. Suppose -7*p + 2 = -2*j - 2*p, t*p = 3*j - 4. Solve -j = 5*n + 11 for n.
-3
Suppose b + 1 + 4 = 0. Let l be 1 - 3 - (-9 - b). Solve j = l*j - 3 for j.
3
Let o(q) = -q**3 + 5*q**2 + 5*q + 9. Let f be o(6). Solve p - f*p = 0 for p.
0
Suppose 3*t - t = 0. Let w = -74 + 140. Suppose 5*k - 82 = h - 2*h, -4*k = h - w. Solve -4*d + t = -k for d.
4
Let d(x) = 2*x**2 - 2*x - 3. Let j(z) = 5*z**2 - 4*z - 7. Let m(a) = -7*d(a) + 3*j(a). Let b be m(3). Solve -6*v + b = -v for v.
3
Let q = -8 - -2. Let r be -2*(q/4 - 0). Solve -r*y = 10 + 5 for y.
-5
Let g be (-133)/9 + 6/(-27). Let c be (g/10)/((-3)/4). Solve c*q + 0*q - 4 = 0 for q.
2
Let l be ((-18)/8)/(18/(-48)). Suppose 0*f = -f + l. Solve 0 = f*j - j + 10 for j.
-2
Let u = 64 - 50. Solve 0 = -3*c - u - 1 for c.
-5
Let q be 6 + -9 - 4*-2. Solve 0 = -q*n - 2 - 3 for n.
-1
Let s be 14 - (-3 - -15 - 6). Solve -s*z = -11*z for z.
0
Suppose -4*x + 38 - 2 = 0. Let p = -15 - -11. Let n(z) = -z**2 - 4*z + 3. Let t be n(p). Solve 3 = t*j + x for j.
-2
Suppose -3*m - 1 = 8, -m - 7 = -2*p. Let i = 2 + p. Solve i*u = 5 + 3 for u.
2
Suppose -4 = -5*n + 1. Let v be -2*n/(-1 + 2). Let l = 3 - v. Solve l*y - 5 = 5 for y.
2
Let w be 6/(-10) - (-132)/20. Let v be (0/(-1))/(w/(-6)). Solve v = u + 1 + 1 for u.
-2
Suppose 0 = 5*s + 3*m - 34, -3*s - m + 6*m = 0. Let j be (-16)/(-12)*(-9)/6. Let n be 10/4 - (-1)/j. Solve -s*w = -3 - n for w.
1
Let a be (-10)/(-8) + 2 + (-2)/8. Solve x = a*x + 8 for x.
-4
Suppose -3*z - 2*z + 5 = 0. Suppose -4 = -h - z. Suppose 0*d - 12 = -h*d. Solve -d*o = -3*o - 3 for o.
3
Suppose -5*s + 5 = -30. Suppose 0 = -s*l + 4*l + 30. Solve 2*d - l = -0*d for d.
5
Let j be 8/2 + -3 + -6. Let y(u) = u**3 + 5*u**2 - 2*u - 6. Let v be y(j). Solve 0 = -v*r + 14 + 2 for r.
4
Suppose -2*i - 5*a - 10 = -0*i, 3*i - 5*a = 35. Solve -i*t + t = 0 for t.
0
Suppose 2*a - 4 = m + 6, 4*m = 2*a - 16. Solve a*x - 6*x + 2 = 0 for x.
1
Let r(g) = 2*g**2. Let l be r(1). Suppose 0 = -j - 4*f - 8 - 3, -5*f - 25 = 5*j. Let b = j - -6. Solve l*n - 15 = -b*n for n.
3
Suppose 0 = -5*x - 0*x. Suppose -11 = 4*d - 31. Solve x = d*n - 10 + 25 for n.
-3
Let s be (1 - 2/1) + 2. Solve -2*y + 3 = s for y.
1
Suppose 5*c = -z - 2, -3*z = -4*z + 3*c + 6. Solve 0 = z*m - m + 10 for m.
-5
Suppose -5*t - 15 = -5*m + m, 0 = 3*t - 3. Solve 4 = -m*f - 16 for f.
-4
Suppose 6 = h + 2. Let x = 5 + -3. Suppose -g - 2*j + 6 = x*j, h*g + 5*j - 13 = 0. Solve -2*o = -g - 2 for o.
2
Let q(r) = -r**3 - 17*r**2 - 15*r + 16. Let b be q(-16). Solve b*t = -t + 1 for t.
1
Let f(p) = -p - 1. Let g(k) = -3*k. Let v(m) = -2*f(m) + g(m). Let j be v(-3). Solve -j*n + 9 = -1 for n.
2
Suppose 0*g + 4*g - 10 = -3*y, g + 45 = 4*y. Solve 6*x = x - y for x.
-2
Suppose 10 = -3*g + 2*i - 0, 3*i + 4 = -5*g. Let u be g - (-3 - (-2)/2). Solve u = 3*f + f - 4 for f.
1
Suppose -3*n + 2 = -3*g - 1, 2*n - 17 = -g. Solve 0 = 4*m - 18 + n for m.
3
Let o = 43 - 26. Let h = o + -5. Solve 0 = 3*m - 0 + h for m.
-4
Suppose 3*a - 5*a = -8. Solve o - a = -o for o.
2
Suppose -4*j + 20 = -0*j. Solve 0 = j*u - 2*u + 12 for u.
-4
Suppose -11*f + 7*f = 0. Solve -2*z + z = f for z.
0
Let i(x) = 2*x**2 + 4*x + 3. Let a be i(-2). Suppose 0 = 2*l - 8 - 2. Solve -l*f = 13 - a for f.
-2
Let i be (0 + 3 - 3)/2. Suppose -p + 10 = -4*f, i = f - 2*p + 6. Let y be (4/f - -2)/2. Solve y*g + 3*g = 0 for g.
0
Let p be ((-16)/(-5))/((-3)/(-15)). Solve -p + 6 = 2*a for a.
-5
Let k be 3 - 2 - (-6)/(-2). Let o = k + 2. Solve 0 = 3*p - 12 - o for p.
4
Suppose 7*c = 14 + 56. Solve -6*j + 4*j = c for j.
-5
Suppose 2 = -3*b + g + 6, 4*g - 8 = 4*b. Let r be 11 + -3 - (b + -1). Let p = -3 + r. Solve i = 4*i - p for i.
1
Suppose -3*t - 7 = -c, 4*c - 9 - 9 = 2*t. Solve -c*m = -0*m for m.
0
Let q(b) = b**3 + 7*b**2 + 7*b. Let k be q(-6). Let y be (-5)/(k/(-9) - 1). Solve -4*f + y = -f for f.
5
Let l be 17 + (48/32)/((-6)/8). Solve -5 = -5*u - l for u.
-2
Suppose -3*q - 3*f - f = -6, 5*f - 25 = 5*q. Let k = q + 4. Let x be (-6)/(-27) + 8/(-36). Solve k*r = -x*r - 10 for r.
-5
Let p(y) = y**2 - 2*y + 5. Let v be p(5). Let n(d) = d**2 + d - 2. Let u be n(2). Suppose 2*s - 4 = u. Solve -b = s*b - v for b.
4
Suppose 2*q - 4 - 8 = 0. Let n be q/4*18/27. Solve -k + n = -3 for k.
4
Let l = -36 - -36. Let g(z) = 2*z**2 - 5*z + 3. Let x be 2*(2 - 0) + -1. Let s be g(x). Solve l = s*p - p for p.
0
Let f(q) = q + 3. Let i be f(-6). Let n be ((-18)/(-4))/(i/(-4)). Suppose -s = -n*s + 10. Solve s = 2*c - c for c.
2
Let q = 15 - 13. Solve -q = -2*x + 4*x for x.
-1
Suppose 0 = -f + 4*b - 2 - 8, -f - 3*b + 11 = 0. Solve -f*x + 3*x = -5 for x.
-5
Let s(q) = 11*q**2 + 1. Let u be s(1). Solve 3*d + 0*d = -u for d.
-4
Suppose 5*w - w = 0. Let j = -4 - -9. Let f(q) = -q**3 + 4*q**2 + 7*q - 6. Let m be f(j). Solve -u + w + m = 0 for u.
4
Suppose 0 = 5*o - 25, -2*v + 28 = 5*o + 3. Suppose -2*a = -v*a. Let i be (3 - a) + 3*-1. Solve -j + 2*j = i for j.
0
Suppose 2*j = 7*j. Suppose -4*z + 65 = -q, q + 1 = -j*q. Let l = z - -1. Solve 2 = -3*a + l for a.
5
Let t = 6 + -1. Let c(s) = s**3 - 4*s**2 - 5*s + 1. Let j be c(t). Let k(q) = q**2 + 6*q - 5. Let u be k(-7). Solve -u*a = -a + j for a.
-1
Let i be 8/(4 - 8) - -14. Solve 0 + i = -3*b for b.
-4
Let m = -8 + 13. Suppose -u - 2 - 4 = m*o, 5*u + 2*o = 16. Solve 14 = u*j - 2 for j.
4
Suppose -2*a = -h + 20, 2*h - 3*a + 4*a = 40. Solve -5*r - h = -r for r.
-5
Let t(r) be the first derivative of r**5/24 + r**4/24 + r**3/3 - 5. Let s(u) be the third derivative of t(u). Let a be s(1). Solve 0*p + 2*p = a for p.
3
Let f be -2 - 2 - (-2 + -2). Solve -10 = -f*l - 2*l for l.
5
Let l be 6 + 1 + -4 + 0. Solve -j - 10 = -l*j for j.
5
Let q be -2 + 3 - (0 - -4). Let l be (-2)/1 - (0 + q). Solve 3*g + 4 = l for g.
-1
Suppose 0 = -14*h + 27 + 1. Solve 5 - 7 = -h*i for i.
1
L