2*n, 0 = m*o - 2*n - 20. Solve 3*s - o = s for s.
2
Suppose 0 = -m + 6 - 1. Suppose -29 + 9 = -m*r. Solve r*s = -1 + 5 for s.
1
Suppose -3*s + w + 55 = -4*w, -4*s + 5*w + 65 = 0. Suppose h - 2*h = -k + 13, 3*h = k - 15. Suppose -3*n = k, n = p + 4*n + s. Solve p*u = u - 3 for u.
-3
Let i be 0*2/(2 - 4). Suppose 0 = -i*z + 2*z - 6. Solve 0*n - 3*n = z for n.
-1
Suppose 3*s + 0*s = 6. Let y be (-4)/(-16)*-2*-20. Suppose -y = t - s*t. Solve 0*z - 2*z = -t for z.
5
Suppose 5*z + 0*z = 2*l - 32, l + 3*z = -6. Solve -l = -3*y - 0*y for y.
2
Suppose -5*b = 12 + 8. Let h = -4 - b. Let o = 18 - 6. Solve h = -g - 2*g - o for g.
-4
Let c = 3 - -3. Let f(k) = -k + 8. Let d be f(c). Solve 2 = d*l + 4 for l.
-1
Let p = 25 - 23. Solve 0 = 4*o + 22 - p for o.
-5
Suppose -d = -2*d. Suppose d*l + 20 = l. Suppose -2*a = 4*i - 42, -4*i + l = 4*a - 44. Solve -5*w = a + 4 for w.
-3
Let z(w) = 4*w - 1. Let v be z(1). Solve -v*k = -0*k + 9 for k.
-3
Suppose 0 = 5*f - 5*q - 50, 5*f + 7*q - 2*q = 0. Suppose f*c - 3*o = 29, o = 3*c - 4*o - 27. Let h = -6 - -14. Solve c*x + h = -0*x for x.
-2
Let j(n) be the third derivative of -n**5/60 - n**4/6 + 5*n**3/6 + 3*n**2. Let w be j(-5). Let x(a) = -2*a - 9. Let y be x(-6). Solve -y*z - z - 8 = w for z.
-2
Let a(q) = -15*q + 10. Let x(z) = -z + 1. Let t(k) = -a(k) + 10*x(k). Let n be t(2). Solve -4*o + n = o for o.
2
Suppose -4*r = -8*r - 120. Let f = -12 - r. Solve -6 + f = 3*q for q.
4
Suppose -8*m = -2*m - 96. Solve m = -0*n - 4*n for n.
-4
Let w = -38 + 22. Suppose 2*d = -d + 27. Let t be w/(-6) + (-6)/d. Solve -15 = -t*s + 7*s for s.
-3
Let i be 6/(6 + -2 + -2). Solve i*v + 8 + 7 = 0 for v.
-5
Suppose 0 = 10*i + 3*i - 6*i. Solve i = -4*s - 7 + 3 for s.
-1
Let b(i) be the second derivative of i**3/6 + 11*i**2/2 + 2*i. Let w be b(-7). Solve -w = 3*t - 16 for t.
4
Let g be 1 + ((-4)/6)/((-7)/147). Solve -14*a + g*a - 3 = 0 for a.
3
Let t = 0 + 2. Suppose -3*l + 0*l + 12 = 0. Solve -l*i + t = -6 for i.
2
Suppose 0 = -2*a - 6*a + 40. Solve 0*z = a*z + 25 for z.
-5
Let w(j) = j**2 + 2*j - 1. Let s be w(1). Solve -s*k = k for k.
0
Let a = 62 + -53. Solve a*l - 10*l = 5 for l.
-5
Let x(f) = 3*f**2 + 2*f - 2. Let b be x(2). Suppose b + 4 = 3*m. Solve -2*d - 4 = -m*d for d.
1
Suppose -4*w + 21 = -w. Let v = w + -7. Solve v = -u - 0*u + 4 for u.
4
Let n(j) = j**2 + 12*j - 13. Let h be n(-13). Solve h = 5*x - 2 - 3 for x.
1
Let c be (-4 - -3)/((-1)/3). Solve 5*m = c*m for m.
0
Let g = 55 - 97. Let l be 2/(-8) + g/(-8). Solve -l*m + 2*m = 0 for m.
0
Suppose -2*h + 7 + 23 = -3*s, 0 = -3*s - 5*h - 30. Let c be (-4)/s + 6/(-15). Solve c = 5*o - 11 - 9 for o.
4
Let s be (1*-1)/(-11 + 10). Let w = 4 + s. Solve 0 = w*d - 2*d for d.
0
Suppose 0 = -o - m + 6 - 2, -m + 2 = 0. Suppose -o*q = -3*q + 2. Solve 0 = s - q*s - 3 for s.
-3
Let k(i) = -5*i + 3*i - 2*i**2 - 3 - i**2 + 4*i**2. Let m be k(-2). Solve l = 2*l + m for l.
-5
Suppose -5*u - 5 = 2*k + 18, 3*k + 2*u = -7. Let d be (-21)/(-14) - (-1)/2. Let x = -2 - -2. Solve 3*a + d + k = x for a.
-1
Let b be (6/(-9))/(1/(-9)). Let i be (-10)/15 + 16/b. Solve 0 = -6*y + i*y for y.
0
Let n = -50 - -50. Solve 3 = s - n for s.
3
Let m(x) = 2*x - 4. Let f(t) = -t**2 + 8*t - 1. Let b be f(7). Let w be m(b). Suppose 2*j = -y + w, 3*j + 5*y - 9 - 17 = 0. Solve -n - 6 = j*n for n.
-2
Let p be 5*(36/(-15))/3. Let h = p + 6. Solve h*s = -2*s - 16 for s.
-4
Let w(b) = -b**2 - 2*b + 23. Let j be w(-5). Solve -4*o + j = -0 for o.
2
Let p(r) = r**3 - 4*r**2 - 3*r - 2. Let c be p(5). Suppose 29 = 3*a + c. Solve -3 + a = -k for k.
-4
Let f(c) = -4*c - 12. Let u be f(-5). Solve -u = 5*l + 2 for l.
-2
Let f = 25 - 20. Solve 7*c = f*c for c.
0
Suppose 3*g + 10 = 8*g. Let n = -114 + 121. Solve -3*h - n = g for h.
-3
Suppose 5*q - 11 + 1 = 0. Suppose k = -3*l - 0*l + 9, -4*k = -5*l - q. Solve k = -m + 4 for m.
1
Suppose b - 5*q = -6, -4 + 0 = b - 4*q. Suppose 4*g - 7 = 9. Suppose 10 = g*k + h - 2, -h = 4. Solve -4*r - k = b for r.
-2
Suppose 6*n - n + 75 = 0. Let i = n - -17. Solve -i*m - 4 = 2*m for m.
-1
Let l(j) = j**2 + j. Let t(w) = w**3 + 6*w**2 + 5*w. Let c be t(-5). Let y be l(c). Solve 5*n - 20 = -y*n for n.
4
Let v = 1 - 0. Suppose -v = -3*o + 11. Solve -o*h - 2 = 2 for h.
-1
Suppose 3*k + 3 - 15 = 0. Solve m + k = -m for m.
-2
Suppose -5*g + 2*q - 1 = 3*q, -2 = 2*g + 2*q. Solve 3*u + g*u + 6 = 0 for u.
-2
Let t(r) = -r**2 + 11*r - 6. Let m be t(9). Suppose -2*g - 3*o = -m, -g + 1 = 2*o - 3*o. Let x(y) = y**2 + y + 3. Let j be x(3). Solve 4*d = -j + g for d.
-3
Suppose -3*m = -m + 6. Let b be 46/(-1 + 3) + m. Let n = b + -11. Solve -2*v + 5*v - n = 0 for v.
3
Let g = 2 + 4. Suppose -3*d - 3*f + 6 + 0 = 0, 0 = 3*d - 2*f - g. Solve -d = -2*t + t for t.
2
Let p = 1 + 4. Suppose -3*g - 67 + 22 = 0. Let x be 57/2*(-10)/g. Solve -p*b - 1 = x for b.
-4
Let u(w) = w + 13. Let o be u(-10). Suppose 5*q + 4 = q + 2*d, -3*q + 2*d = 2. Let a be q*1/4*-4. Solve -y = a + o for y.
-5
Let r be -1 - (-1 + 0)*-1. Let g be 0/((-4)/r - 4). Suppose 2*a + 2*q - 14 = -g*a, -3*a = -2*q - 11. Solve a*h = -3 - 2 for h.
-1
Suppose 4*a = 9 + 11. Suppose -2*r + l + 0*l = -13, r = a*l + 29. Solve -3*f - f = r for f.
-1
Let f be ((-5)/5)/((-1)/16). Let k = f - 13. Solve k*r = 4 + 2 for r.
2
Let q(t) be the first derivative of t**3/3 - 5*t**2/2 - t + 3. Let k be q(6). Solve 3*p - 2*p = k for p.
5
Suppose -g - 15 = -4*g. Let s = -5 + 21. Solve 36 = g*u + s for u.
4
Let s(r) = r + 11. Let n be s(-5). Let v be (-14 + n)*1/(-2). Solve -5*j - 29 = -v for j.
-5
Let o = -4 + 4. Solve -3*m - m = o for m.
0
Let p(c) = c**2 + 7*c - 8. Let z be p(-7). Let m(y) = -y**3 - 7*y**2 + 7*y - 3. Let d be m(z). Solve d = -5*s - 0 for s.
-1
Let k = -13 - -29. Suppose n + 3*n - k = 0. Let w = 4 - n. Solve w = -0*s + s + 4 for s.
-4
Let n = 130 + -121. Solve 3 = -2*s + n for s.
3
Let v = -79 + 82. Solve v*j + 20 = 7*j for j.
5
Let p(n) = -n**2 + 4*n + 7. Let x be p(5). Suppose -4*h + 15 = -3*m + 8*m, 4*h + 6 = x*m. Solve 0 = -2*c + m*c - 3 for c.
3
Let d = 16 + 9. Suppose 2*b + 45 = 5*k + 6*b, 3*k + 2*b = d. Let o(g) = -g + 8. Let v be o(k). Solve x - 8 = -v*x for x.
2
Let a be 23*(3/3)/1. Suppose -n = 3*u - 2*u - 7, 5*n = u + a. Solve t - u*t = 5 for t.
-5
Suppose x = -2*x. Suppose -2*r - 2*k - 30 = x, 5*k + 0*k = -15. Let h be (-15)/6*r/15. Solve 0*j - h = -j for j.
2
Suppose 0 = 4*g + q + 44, 3*g - 3*q + 28 = -g. Let p = 4 + -11. Let c = p - g. Solve -7*r + c*r = 4 for r.
-1
Let i be -1 - 3*4/(-3). Solve -2*l - i = 7 for l.
-5
Let c(u) = -u + 13. Let m be c(11). Suppose 0*h = -h + m. Solve h*v = 6*v + 4 for v.
-1
Let f(j) = j + 6. Let q be f(-5). Let z = -7 + 11. Solve -q = d - z for d.
3
Suppose 2*p + 6 = 3*a, -p - 4*a = -a - 15. Solve 2*k - 15 = -p*k for k.
3
Suppose -z - 6 = f - 0, -4*z - f - 9 = 0. Let o = z + 3. Suppose -4*s + 18 = o*n, 7*n - 4*n - 7 = -s. Solve 2 = -b + n for b.
-1
Let t be 1/(3 + -4) + 2 + -1. Solve t*h + 4*h = 12 for h.
3
Let a = -5 + 8. Suppose 0 = a*c - 6 - 0. Solve 0 = -j + c*j for j.
0
Suppose -8*z + 21 = -z. Solve 4*i - z = -23 for i.
-5
Let u be (11 + -9)/((-4)/(-6)). Solve -h + 1 = -u for h.
4
Let v(y) = -y**3 + 2*y**2 + 3*y - 3. Let p be v(2). Solve c - 2*c = -p for c.
3
Suppose 100 = j + 3*j. Solve 5*t = -0*t + j for t.
5
Let l = 4 + -4. Let u = l - 5. Let r = 8 + u. Solve 4*g = 1 + r for g.
1
Let z(d) be the first derivative of -d**2/2 - 6*d - 3. Let y be z(-10). Solve 0*h = y*h + 8 for h.
-2
Suppose k - 30 = -2*k - 3*a, -4*k + 4 = -5*a. Solve -2*f = -0*f - k for f.
3
Suppose 3*s = -3*y + 4*y, y - s = 2. Solve 0 = -v - y*v for v.
0
Let t(s) = -19*s - s**2 + 12*s + 9*s. Suppose 4*u + b = 3*b, -16 = -4*b. Let r be t(u). Solve 0*g + 2*g = r for g.
0
Suppose -12 = 2*z - q - 2*q, 2*z - 4 = -q. Let o = z - -11. Solve 5*n - 4 = o for n.
3
Let f(l) = -5*l**2 - 2*l + 1. Let c(j) = j**2 - j. Let k(n) = 2*c(n) - f(n). Suppose -3*p + 5*p + 2 = 0. Let m be k(p). Solve a = -2*a + m for a.
2
Suppose 25 = -2*p + 7*p. Let g(y) = -y**3 + 5*y**2 + 2*y - 6. Let t be g(p). Solve -d + t = d for d.
2
Let w = 9 - 6. Suppose -w - 2 = -y. Suppose -y = -u - 2. Solve 3 = -u*c + 15 for c.
4
Let v(f) = f**2 - 6*f + 7. Let g(n) = -n**2 + 5*n + 6. Let s be g(5). Let h be 20/s*3/2. Let t be v(h). Solve -2*c + t - 12 = 0 for c.
-5
Let c = 36 + -34. Let