lve -m + o = m for m.
3
Suppose -9*v + 6*v + 15 = 0. Suppose -3*i = -a + i - 5, 0 = 5*a - v*i - 5. Solve 0 = a*c - c for c.
0
Suppose 0 = 3*y - 0 - 9. Suppose y*r = 4*r - 2*z - 22, 4*z + 20 = 0. Solve 4*j = -r - 4 for j.
-4
Let m(i) be the third derivative of 1/120*i**6 - 1/24*i**4 - i**2 + 1/3*i**3 - 1/60*i**5 + 0*i + 0. Let k be m(2). Solve k*p + 23 - 7 = 0 for p.
-4
Suppose 0*q - 4*q = 92. Let l = q + 37. Let h = l + -5. Solve -4*m = -h*m - 20 for m.
-4
Let m(i) = i**2 - 9*i + 9. Let o be m(8). Suppose 5 = b - o. Solve 4 = -2*x - b for x.
-5
Suppose 0 = -0*k + 3*k + 12, -4*k - 34 = -2*d. Suppose u - d - 11 = 0. Solve 2*s + 2*s = -u for s.
-5
Let m be 2 - (-1 + 0 - 1). Suppose 0 = -4*n + 1 + 7. Suppose -g = 3, 6*g = -t + n*g - 9. Solve t = -m*k - 1 for k.
-1
Let u be 1*(-7)/(7/(-10)). Suppose -5*x + 3*j = -74, u = -0*x + x - 3*j. Suppose 5*f - x = 4. Solve 2*a = -0 + f for a.
2
Suppose -5*o - 15 = -2*s + 16, -s - 5*o = 22. Solve -10 = 2*w + s*w for w.
-2
Let s = 47 - 45. Solve 0 = -4*b + 14 + s for b.
4
Let v = -12 - -21. Let x(w) = w**3 - 9*w**2 + 1. Let s be x(v). Solve 0 = 4*k - s - 7 for k.
2
Suppose 0 = -4*k - 3*h + 61, -3*k = 5*h - 0*h - 54. Let c = -7 + k. Solve r + r = -c for r.
-3
Let q(m) = -4*m - 1. Let r(n) = n - 2. Let y be r(1). Let x be q(y). Solve -x*v = -v for v.
0
Suppose 16 = 2*x + 3*i, -2*i = 2*x - 7*i. Let h be 11 + (0/(-2) - 1). Let k = h - x. Solve 0 = -2*c - k - 1 for c.
-3
Suppose -4 = 2*j - 3*j. Let p(r) = -r**2 - 4*r + 18. Let v be p(-6). Solve 2 = -j*s - v for s.
-2
Suppose -2*n + 14 = 3*z, n + 0*n - 1 = 0. Solve z*u - 3*u = 2 for u.
2
Let c(w) = -w - 3. Let i(m) = -m - 3. Let d(t) = 4*c(t) - 5*i(t). Let x be d(0). Suppose -4*o - 8 = -4*b, 5*o = 2*b - 0*o - 4. Solve x = y - b for y.
5
Let k = 0 + 1. Suppose n = -k + 8. Suppose 5*r - o = 63, 3*o = -4*r + 5*r - n. Solve 0 = 5*x + 28 - r for x.
-3
Let h be 1/(-1) - (-1 - -1). Let f be (4/(-2))/(h/3). Let k be 10/(-3)*51/(-34). Solve f*d + k = d for d.
-1
Let g(b) = b**3 - 2*b**2 - 4*b - 1. Let z = 15 - 11. Let v be g(z). Let d(c) = 4*c - 3. Let x be d(2). Solve -x*y = -0*y - v for y.
3
Suppose c - 19 = 4*x, 9*c - 4*c - 2*x = 23. Solve -c*g = -0*g for g.
0
Let t(o) = o**2 + 3. Suppose 3*x = -0*x. Let f be t(x). Solve f*r + 3 + 0 = 0 for r.
-1
Suppose -5 = -4*s + 11. Let r = s + 0. Solve -11 = -r*c - 3 for c.
2
Suppose 3*p + p = 40. Suppose -p = -4*q - q. Solve -y = y - q for y.
1
Suppose 0 = 4*p + 3*b - 6, 0 = 2*b - b + 2. Solve p*j + 4 = 7 for j.
1
Suppose s = 6*s - 25. Suppose p + 0*p = s. Suppose 0 = -y + p. Solve -5 + 0 = y*n for n.
-1
Suppose -5*w - 3*l = -30 - 10, 0 = 4*l - 20. Suppose -5*c - 5 + 15 = 0. Suppose -14 = -i + c*q + 2*q, -5*q - 5 = w*i. Solve -2*z - i = -z for z.
-2
Let g(k) = -k - 2. Let d be g(-3). Solve -4*x = -d + 9 for x.
-2
Let v = -4 + 4. Let q be 4/6*(v + 18). Let d = q - 8. Solve z - 3 = d*z for z.
-1
Let z be 2 + -1 + -4*(-12)/16. Let c = -3 + 5. Suppose a = -0*a + c. Solve -a*m = -3*m + z for m.
4
Let s(a) = a**3 - 4*a**2 + 4*a + 1. Let k be s(3). Suppose -v + 0*g + 3 = 2*g, 8 = k*v + 4*g. Let u = v - -3. Solve -n + u - 1 = 0 for n.
3
Let w = 23 - 33. Let y = -16 - w. Let u be 3/(-9) + (-26)/y. Solve -u = 3*t - t for t.
-2
Suppose 0 = 5*j + 5*j - 50. Solve j*h - 10 = -0*h for h.
2
Suppose -2 + 6 = -5*d + 2*h, 4*h = -d + 8. Suppose d = -5*r + 3*r. Suppose 0*t - 4*t = r. Solve t*j + j + 2 = 0 for j.
-2
Let r(n) = n**3 - 4*n**2 - n - 15. Let a be r(5). Solve 0 = 15*k - 10*k + a for k.
-1
Let h be ((-2)/4 + -2)*-2. Solve -h*c + 23 - 8 = 0 for c.
3
Let p be 250/8 + ((-180)/(-16))/15. Solve -5*m = -12 + p for m.
-4
Let p = 9 - 6. Solve -x + 1 = p for x.
-2
Let a(q) = -q. Let i(l) = 2*l - 7. Let m(h) = -a(h) + i(h). Let f be m(3). Solve -b + f = -0 for b.
2
Let q(j) = 2*j**3 + j**2 - j. Let g be q(1). Suppose 0 = f + w - 6, -7*f = -4*f - g*w - 13. Suppose 0*p = p - 1, 5*y = 2*p + 13. Solve -4*v + y = -f for v.
2
Let h(w) = 9*w + 2. Let u be h(2). Solve -4*p - p = -u for p.
4
Let p = -11 - -14. Solve 5 = p*n + 14 for n.
-3
Let u be (-14)/35 - (-44)/10. Suppose -12 = -u*g + 4. Solve j = 3*j + g for j.
-2
Let i(j) = j + 1. Let h be i(8). Let w = 1 + 0. Let x be (1/w)/((-1)/(-3)). Solve -x*c - 24 = -h for c.
-5
Let o(h) = 3*h. Let g = -2 + 7. Suppose 4*m + m = g. Let w be o(m). Solve 7*d = 4*d + w for d.
1
Suppose 9*m - 4*m = 30. Suppose 2*v - m = 3*a, -2*v - 2*v + a = -2. Solve 0 = -v*w - 5*w for w.
0
Let m = 17 + -17. Solve 5*p + 20 + 0 = m for p.
-4
Let a(m) = -m - 3. Let r be a(-9). Let o be (2/r)/(2/24). Solve o*s + 21 - 5 = 0 for s.
-4
Let o(b) = b**3 - b**2 - b + 1. Let p be o(2). Let i = 11 - p. Solve 4*d - 2*d - i = 0 for d.
4
Let k be (1 - -1)*(-16 - -17). Solve -k*v + v - 3 = 0 for v.
-3
Let m(t) be the second derivative of t**5/20 - 2*t**4/3 + t**3 + 9*t**2/2 - 2*t. Let p be m(7). Solve -5*q = -3 - p for q.
1
Let c(m) = m**3 - 9*m**2 + 7*m + 11. Let o be c(8). Suppose 2*d + 6 = 0, -5*l + o*l = 5*d - 17. Let q be l/20*(-25)/(-2). Solve w - q = -w for w.
5
Suppose 4 = 4*f - 5*a + 19, -2*f - 12 = 2*a. Let q(o) = o + 5. Let r be q(f). Suppose r = -4*p + 44 - 0. Solve -p = -2*h - 1 for h.
5
Suppose p + 8 = 2*p. Let w = p - 8. Solve w*n = 2*n + 6 for n.
-3
Let b = -4 - -4. Let l = 70 + -70. Solve l*k + k + 2 = b for k.
-2
Let u = -12 + 6. Let s = -6 - u. Suppose -3*x - 3*g + 24 = s, x - 3*x + 4*g = -10. Solve c = 4 - x for c.
-3
Let v be -1 - (0/3 + -1). Suppose -5*i + 10 = -v*i. Suppose -3*z - i*z = -25. Solve -z*g + 1 = -24 for g.
5
Let y(s) = 22*s**2 - s. Let z be y(-1). Let k = z - 21. Solve -k*b - 2*b + 20 = 0 for b.
5
Let h be 3/(-9) + (-26)/(-6). Suppose -h*v = l + 7, 5*l - 18 = 4*v + 19. Suppose 0 = 5*b - l, -5*a + 26 = -0*a - 4*b. Solve -a = n + n for n.
-3
Let p(s) = -s - 1. Let o(k) = -4. Let c(f) = o(f) + p(f). Let m(r) = -r**3 + 5*r**2 + 6*r - 5. Let a be m(6). Let y be c(a). Solve y*u = u - 2 for u.
2
Suppose 5*f - 30 = 5*w, 9 = 2*f - 4*w - 3. Solve f*o - 2*o = -16 for o.
-4
Let t = 115 - 34. Let o = t + -57. Let u be o/14 + 10/35. Solve 1 + 9 = -u*y for y.
-5
Suppose -3*w = -9, -g + 0 = -2*w + 4. Solve 0 = -g*c + 3*c + 5 for c.
-5
Let r(a) = a + 7. Let q be r(-5). Suppose -5*f + q*v - 13 = -3, -5 = -v. Suppose 8 = 2*h + n, f*n - 5*n + 26 = 3*h. Solve k + 4 = h*k for k.
4
Let y = 22 - 17. Solve -2*z - y = -7*z for z.
1
Let m = 6 + -7. Let n be (2 + -1)/(m/(-42)). Let r be n/10 - (-1)/(-5). Solve 0 = 2*p + 10 - r for p.
-3
Let s(w) = -2*w + 4. Let o be s(3). Let j be (-1 - -4)*o/(-6). Solve 0 = l + j - 0 for l.
-1
Let i(g) be the third derivative of -g**6/120 - 3*g**5/20 + 3*g**4/8 - 7*g**3/6 + 9*g**2. Let m be i(-10). Solve -m*y - 6 = -y for y.
-3
Let i = 17 + -18. Let f = i - -1. Solve -4*c + c + 12 = f for c.
4
Suppose -8*f - 6 = -22. Solve f*k = 3*k - 4 for k.
4
Suppose 3*t - 2*t - 3 = 0. Suppose -k - 2*k = -t. Let b be (k/(-3))/(2/(-18)). Solve -2*y = -b*y + 2 for y.
2
Let n = -1 - 2. Let o be (-5)/(-15) + (-35)/n. Solve 2*z = -2*z + o for z.
3
Let b(x) = 3*x - 4. Let w(s) = s + 11. Let k be w(-8). Let i be b(k). Solve 12 = 2*u - i*u for u.
-4
Let g = -30 + 47. Suppose -n = -19 + g. Let u(a) = -a**3 + a - 2. Let l be u(-2). Solve -n*m + l = -2 for m.
3
Let a(y) = -y**3 + 3*y**2 + 6*y - 6. Let l be a(4). Suppose 3*p - 7*p = -12. Solve p*i + l*i = 25 for i.
5
Let n(g) = g - 4. Let q be n(7). Solve -2*b - 3 = -q*b for b.
3
Suppose y + 3 = f, -2*f + 1 = -3*f - y. Let v be 4/(-22) - (-78)/66. Solve -q - f = v for q.
-2
Let m = -20 + 22. Solve -m = 2*x + 8 for x.
-5
Let z = 2 - 4. Let q be z/(-5) - (-24)/15. Solve -3*x = -q*x for x.
0
Let v(m) = -m**3 + m**2 - m + 1. Let u be v(1). Let j = 4 + u. Solve 0 = -j*t + 3 + 1 for t.
1
Let k = 2 - -2. Suppose k*x - 3*x = 2. Solve j - x = -j for j.
1
Let n = -26 - -33. Solve 4*i - n = 9 for i.
4
Suppose -12 = 3*a - 3. Let g be 0*(-2 - -3) - a. Suppose t + 5 = 0, -3*z + 6*z = 3*t + 21. Solve -3*n = -z*n + g for n.
-3
Let d(z) = -z**3 + z**2 + 1. Let v be d(0). Suppose -u = -v - 1. Suppose 5*x + 3*w - w + 4 = 0, -4*w = 8. Solve -2*f + u + 4 = x for f.
3
Suppose 20 + 20 = 5*n. Suppose 3*t = -2*y + n, -2*t - t = 4*y - 16. Solve -b - 4*b + 25 = t for b.
5
Suppose 3*z = 2*i - 11, 0*z = 4*i + z - 15. Solve 1 = -i*m + 5*m for m.
1
Let i(p) = -p + 3. Let m be i(-3). Solve -a = -m*a - 20 for a.
