 m = t + 6. Solve -m*j - j = -o for j.
2
Let j(o) be the third derivative of o**6/120 + o**5/10 - 3*o**4/8 - 4*o**3/3 + o**2. Let w be j(-7). Let y = -4 + w. Solve u = -y*u for u.
0
Let h(b) = b**2 + b. Let z be h(-3). Suppose z*q - q = 0. Solve m + 4*m + 10 = q for m.
-2
Suppose 0*n - n + 10 = 0. Let c = n - 6. Let o be 1/2*c + 1. Solve -u + 4 = o*u for u.
1
Let g be 2*10/4*-1. Let z = g + -4. Let s be z/(-2) + 1/(-2). Solve s*r = r - 9 for r.
-3
Let a = 10 - -6. Suppose -2*l + 5 = 1. Solve 6*o + a = l*o for o.
-4
Suppose 5*o - 13 = -4*l, -2*o + 3*l + 25 = 6. Solve -j = -o*j + 16 for j.
4
Suppose 14 = 4*z + 3*z. Solve -a = z*a for a.
0
Suppose 16 = -4*t, 2*t = j - 4 - 7. Solve -2*i + 7 = -j for i.
5
Suppose -5*k = -0*k + 2*w + 12, 0 = -2*k + 5*w + 1. Let z be (-45)/5*k/6. Solve z = 2*i - 3 for i.
3
Let y be ((-1)/2)/((-1)/6). Suppose y*q = -2*q + 3*d + 36, -3*q - 4*d + 10 = 0. Solve s + q = 3*s for s.
3
Suppose 3*w - d - 1 = 4, 3*d = -4*w - 15. Solve -3*u + 2*u - 2 = w for u.
-2
Suppose 7*c = 2*c + 10. Suppose 0 = t - c*z + 6, -7*t - z = -2*t - 3. Suppose 3*h - 59 - 1 = t. Solve -5*a + a - h = 0 for a.
-5
Let f = -8 - -24. Suppose -x = -2*x + 4. Solve -4*l + f = -x for l.
5
Suppose -5 - 7 = -3*m. Suppose -v = o, -29 - 1 = -2*o + 4*v. Solve -l = m*l - o for l.
1
Let r(q) = q**3 + 10*q**2 - 10*q + 14. Let h be r(-11). Solve 0 = -0*b + b + h for b.
-3
Suppose 4*r = 25 + 19. Let x = 11 - r. Solve 6*o - o + 20 = x for o.
-4
Suppose -l + 3*l - 3 = 3*i, i + 1 = -5*l. Let g(k) = k**3 + 1. Let h be g(l). Let x be (h + 0/(-3))*5. Solve 8 = -3*t + x*t for t.
4
Suppose 2 = 3*w - 10, -2*w - 2 = -2*z. Let m(p) = p**3 - 3*p**2 + 3*p. Let r be m(2). Suppose r = y, 2*t - 24 = -0*t + 2*y. Solve -4 + t = -z*o for o.
-2
Let d be (-5 + 6)/(-3)*0. Suppose 2*q + q - 12 = 0. Solve -3*k + q*k = d for k.
0
Let q = -4 - -7. Let x(j) = -3*j + j**2 - 3 + 7 - q*j. Let c be x(6). Solve -c*k = -k + 15 for k.
-5
Let t be 15 - (3 - 2 - -1). Let c = t + -13. Solve -3*w + 2*w = c for w.
0
Suppose -y - 2*y = -6. Let c = y - -15. Suppose -5*d = -4*n + 24, -5*n + c = -4*d + d. Solve n = 2*u - 5 for u.
3
Let g(v) = v**2 - 4*v + 2. Let t be g(4). Let m(s) = 2*s**3 - 12*s**2 + 10*s + 3. Let o be m(5). Solve o*y - y = -t for y.
-1
Let q(r) = 0*r**2 + 2*r + 2 + 4*r - r**2. Let l(g) = g**3 + 12*g**2 + 9*g - 16. Let v be l(-11). Let a be q(v). Solve 0*y = -2*y + a for y.
1
Suppose 0 = 4*x + 2*g + 14, -x - 2*x = 5*g. Let t(k) = 7*k**2 + 1. Let m be t(-1). Let l = m + x. Solve -r = l*r for r.
0
Let r be (-1)/((6/45)/(-2)). Suppose 10 + r = 5*p. Solve -4 = -p*t + t for t.
1
Let n be (-15)/(-9)*18/15. Solve n = -2*t + 6 for t.
2
Let d be (-12)/24 + 105/6. Solve -5*m - d + 2 = 0 for m.
-3
Suppose -37 = -9*h - 19. Solve 0 = 4*a - h*a - 4 for a.
2
Let i be (-10)/4*(-36)/15. Suppose z + 2*z - 63 = 0. Suppose 20 = 5*j, i*j - 5*j + z = 5*n. Solve n*c - 4*c = 0 for c.
0
Let t = 9 - 3. Let g = 4 - t. Let r be (4/(-6))/(g/15). Solve -r*o = -o - 4 for o.
1
Suppose p + 6*s = 2*s + 23, 0 = -2*p - s + 11. Suppose -24 = -0*r - p*r. Suppose 0 = -4*l + w + 39, -l = 3*w - r*w - 24. Solve -4*m + m = l for m.
-3
Suppose 0*x = -3*x + 15, 2*z + 3*x - 15 = 0. Solve z = -3*n - 6 for n.
-2
Let u = -4 - -6. Let n be ((-4)/6)/(u/(-45)). Solve 4*p - n = -p for p.
3
Let y be (-1)/(-2 + 9/6). Suppose -5*k - y = -i - 21, -4*k = -2*i - 20. Let a be 4*(k + -1)/4. Solve -a*z = 3*z for z.
0
Let u = -12 + 13. Solve 0*i - u = i for i.
-1
Suppose 121 = 5*t - 69. Suppose -1 = -3*z + t. Suppose -7 - z = -5*j. Solve 3*q = j*q + 5 for q.
-5
Let s be (2/4)/(5/40). Suppose -2 - s = -k - u, -3*k + u = -10. Solve 0 = k*z - 7 - 13 for z.
5
Suppose 2*p = 7*p. Let r be p/(-4)*(-1 - -2). Suppose -2*b - 10 = r, 0*d + 2*d - 2*b = 10. Solve -y = -d*y + 5 for y.
-5
Suppose -5 = -6*l + l. Suppose 0 = 3*y - l - 5. Solve -1 = 3*b + y for b.
-1
Let a = 20 - 12. Let n = -2 - 1. Let j be -2*(-2 - n/6). Solve -j*b = -a*b for b.
0
Let j = 55 - 52. Solve 2*a + j = -1 for a.
-2
Let x(u) = 2*u**2 - 63*u - 32. Let w be x(32). Solve w = -3*t - 3 for t.
-1
Suppose 0 = -2*o + 2*w + 10, -w + 27 = 2*o + 5. Let u be 8/3 - (-2)/6. Suppose -3*g = -u*x - x - 22, 4*x = 2*g - 20. Solve g*p = o - 1 for p.
4
Suppose 0 = 3*j - 5*j + 10. Suppose j*v - 9 = 3*s, -4*s - 19 = -9*s - 3*v. Solve q - 6 = -s for q.
4
Let o = 2 + 1. Let j be 14/4 - (-5)/10. Suppose -k - j*k = -l - 23, 3*k = -o*l + 21. Solve 2*u = -l*u + 20 for u.
5
Let k = 3 + -2. Let b = -2 + -1. Let i be 2/(-1 - b) - k. Solve 0 = -i*g + g - 5 for g.
5
Let q = 3 - -3. Let a be 1/(2/(-10))*q. Let c = 45 + a. Solve 4*n + c = -n for n.
-3
Suppose -2*q - 16 = -6*q. Suppose -4 = -3*x + q*x. Let c = x - -6. Solve c*o - 1 = o for o.
1
Let c = -21 - -24. Let h(v) = -v**3 + 3*v**2 + 2*v - 4. Let y be h(3). Solve t - c = y for t.
5
Suppose 2*v = -2*q + 4, -2*q + 4 = -0*v + 5*v. Solve 3*w + 9 = -v for w.
-3
Suppose -3*i - 23 = 5*t, 5*t - 6 = 4*i + 13. Let g be i/27 + (-2)/(-9). Let d = 4 - 2. Solve -d*k + 6 + 2 = g for k.
4
Let b(k) = -k**2 + 4*k + 6. Let p be b(5). Suppose 0 = y + y - 5*i - 31, -5*i - 13 = 4*y. Let t = p + y. Solve -2*q + t*q = 0 for q.
0
Suppose -138 + 10 = -16*v. Solve 5*y - v = 7 for y.
3
Suppose 5*l - 275 = -q, 2*q = 2*l + 6*q - 92. Let x = l + -40. Solve -4*g + 0*g + x = 0 for g.
4
Suppose -3*z = 3*n - 33, -7*z + 2*z = 4*n - 45. Solve -3*l = -l + n for l.
-5
Let g be 6/10 + 21/15. Suppose -2*c - 6 = 2*q - 2, -g = q - 5*c. Let f be -5*3*q/3. Solve k = -k - f for k.
-5
Let n(b) be the first derivative of -2*b**2 - b + 1. Let k be n(-1). Suppose 29 = 3*g - 4*t, 3*g + 0*t + 2*t + 1 = 0. Solve 0 = g*h - k for h.
1
Let q(m) = 3*m - 21. Let v(d) = -d + 10. Let o(x) = 2*q(x) + 5*v(x). Let s be o(-4). Solve 0 = -s*y + y + 3 for y.
1
Let n be -4 + 4 - (-1 - 2). Suppose 15 = n*y + 3*k, y + 2*k = 2 + 5. Solve 0*b + y = b for b.
3
Let l = 159 + -151. Solve 5*w - l = 7 for w.
3
Let k(b) = -b. Let p be k(-4). Suppose 5*f - 46 = -y, 4*y + 7*f - 3*f = 120. Suppose 4*h + 0*r = -3*r + y, -h + 3*r = 1. Solve 11 = p*x - h for x.
4
Let b(k) = k**3 - k**2 + k - 1. Let d be b(0). Let o be (1/4)/(2/56). Let u = o - d. Solve -u = 5*p - p for p.
-2
Let v = -14 - -17. Suppose 0 = -4*t - 4*r + 4, v*r + 8 = 2. Solve 0 = -t*w - w for w.
0
Let q = 201 + -197. Solve -1 = q*r - 9 for r.
2
Suppose 72 = 6*s + 18. Let o be -1 - (-5 - 2)*1. Solve 3*c + o = -s for c.
-5
Let c(t) = 8*t**2 + 3*t - 3. Let z be c(1). Let y(v) = -2*v. Let g be y(-2). Suppose g = 4*b - z. Solve b - 2 = h for h.
1
Let s(t) = t**3 + 9*t**2 - 4*t - 11. Let d be s(-9). Solve -3*y + d = 2*y for y.
5
Suppose -3*o = -12, 0 = -4*n - 3*o - 0*o + 20. Solve b = -n*b + 15 for b.
5
Let l be (6/3)/2 + -7. Let h be (-2)/l + 20/3. Suppose -5*k - h = -17. Solve -8 = k*x + 2 for x.
-5
Let g = -16 + 31. Solve 4*y + g = 3 for y.
-3
Suppose -5*z + 92 = 2*l - 15, -5*z = -5*l + 285. Suppose -5*s = -44 - l. Suppose 4*k + 5*h - s = 0, 0 = -0*k + 2*k - 5*h + 20. Solve k*q = 2*q - 10 for q.
5
Suppose 4*q = 2*j - 3 + 11, -5*j = -5*q. Solve 0 = q*u - 4 + 16 for u.
-3
Suppose -116*m = -119*m. Solve -4*b + 5 + 3 = m for b.
2
Let a be 0 + (-12)/(-9)*3. Let z = -1 + 16. Solve -k + a*k = z for k.
5
Let v(b) = -3*b - 27. Let d be v(-10). Solve -d = 5*x + 12 for x.
-3
Suppose -62 = -2*d - 26. Let z be (4/(-3))/((-4)/d). Let m be (-4)/z - 11/(-3). Solve -m = 5*k - 18 for k.
3
Suppose -7*b + 15*b = 24. Let q be (-1)/1 + (-99)/(-9). Solve 2*y = -b*y + q for y.
2
Let b(m) = -m**2 - 9*m - 2. Let y be b(-6). Suppose 0 = -4*n + 3*t + 31, -2*n + 3*t = -0*n - 23. Solve -n + y = 4*c for c.
3
Let u be (1 - -1) + (-8)/(-8). Solve -2 = -o + u*o for o.
-1
Suppose 24 = c - 0*c + 4*k, 10 = 2*k. Suppose -5*g - 5*i = -10, 0*g + c*g - i = 3. Solve -m = g - 0 for m.
-1
Suppose -41 = -5*o - 1. Solve 0 = -0*s - 2*s - o for s.
-4
Suppose c = -c - 3*q + 13, 0 = 5*q - 15. Suppose -c*d = d. Suppose -3*h + 8*h = d. Solve -4 = o - h for o.
-4
Let q = -26 + 35. Solve q = -2*k + 1 for k.
-4
Suppose 0 = -p - 4*p + 15. Let k be (-108)/(-21) + p/(-21). Solve 1 = w + k for w.
-4
Suppose 3*o - 4*x = -0*o + 26, -x - 11 = -3*o. Suppose 2*p = -3*z - 2*p, -2*z = o*p - 2. Suppose 1 + 3 = a. Solve 0 = -3*k + a*k + z for k.
-4
Suppose 0 = 6*n + 7 + 5. Let y be n/6 - 48/(-9). Solve 0 + 10 = -y*s for s.
-2
Let t = 0 + 2. Suppose -3*y