o + 0*o = 0. Solve o = f*t - 3*t for t.
0
Suppose 0 = -5*a + 10, -2*z - 5 = 5*a - 15. Suppose 4*s - 52 = -5*d - z*d, 0 = d - 3*s + 1. Suppose -3*m - 10 = -d*m. Solve -2*n - 8 = m for n.
-5
Suppose 0*w + 16 = w. Suppose 0 = 3*n + 4 + 5, n = -a - w. Let r = -4 - a. Solve m = -2*m - r for m.
-3
Let u be (4/(-2))/((-4)/8). Solve 0*a + 2*a = u for a.
2
Let a be 23/8 + (-12)/(-96). Solve -8 = a*j - j for j.
-4
Let n be (-10)/(-12)*42/7. Solve -14 = -n*p + 11 for p.
5
Let v(j) = j**3 + 10*j**2 + 4*j - 1. Let c(z) = -z**3 - 9*z**2 - 4*z + 2. Let o(b) = -4*c(b) - 3*v(b). Let t be o(-5). Solve t*y = -2*y + 8 for y.
4
Let m(n) = 2*n - 7. Let r(l) = -l**2 + l + 11. Let g be r(0). Let c be m(g). Suppose 5*t + c = 40. Solve 0 = -5*a - t for a.
-1
Suppose 6*u - 11*u = -50. Solve -2*c - 3*c + u = 0 for c.
2
Let j = -12 - -8. Let f be ((-2)/j)/((-1)/14). Let a be 2/f + 8/28. Solve r - 4*r - 15 = a for r.
-5
Let s(f) = f. Let x be s(2). Let u(c) = c + 10. Let q be u(-8). Solve 2 + x = -q*o for o.
-2
Let l be (-3)/(-12) + (-230)/(-40). Solve l*u - 20 = u for u.
4
Let x = 13 - 13. Solve x*v = 2*v + 4 for v.
-2
Let i be (1 - 12/9)*-9. Suppose -i*h = -4 - 2. Suppose -h*n + 16 = 2*n. Solve -r + 3 = n for r.
-1
Let a(d) = -3*d - 29. Let v be a(-10). Solve -z = -0*z + v for z.
-1
Let j = 14 + -7. Let z(s) = -s - 8. Let b(c) = -c - 7. Let p(k) = -3*b(k) + 2*z(k). Let a be p(j). Solve 5*d = d + a for d.
3
Let l be 6*(12/(-9) + 2). Solve p + l = -p for p.
-2
Let r = -6 + 30. Suppose -6*v + r = -2*v. Solve -5*h + 3*h = -v for h.
3
Let a = -7 - 1. Let o = 13 + a. Solve x = -2 + o for x.
3
Let x be (-6)/(-8)*-2*28/(-3). Solve -x = -3*t + 1 for t.
5
Let o be -1*0/((-8)/2). Suppose 4*g + o*b + 8 = -4*b, -5 = -2*g + b. Solve q = -g - 0 for q.
-1
Suppose -3*i + 6 = -6. Suppose -i*v + 12 = -v. Suppose -2*k - u + 0 = -6, -5*k = v*u - 18. Solve 1 - k = -x for x.
1
Suppose 0 = -k - k + 6. Suppose k*l - t - 15 = 0, 5*l + 3*t + 0*t = 11. Solve w = 2*w + l for w.
-4
Let f be -4 + -2 + 30/5. Solve f = 4*t - 7*t - 9 for t.
-3
Let o = -10 - -13. Solve 2*d = o*d + 5 for d.
-5
Let r(p) = p - 11. Let w be r(8). Let o be ((-3)/w)/(3/6). Solve -o*d = -0*d for d.
0
Let v = 56 + -56. Solve -3*p + 6*p - 6 = v for p.
2
Let c(r) = r**2 - 3*r - 3. Let n be c(4). Suppose -3 = -a + n. Suppose 2*j + a*y = -12, 4*j = -2*y + 7*y + 28. Solve 4*v + 22 - j = 0 for v.
-5
Let f(h) = 5*h**2 + 2*h + 1. Let d be f(-1). Suppose 0 = 5*l + 5, -c + 0*c + 4*l = -3. Let v be c - -20 - (1 - 1). Solve -3 = d*z - v for z.
4
Suppose 12 = 4*c - 4*r, -3*c + 8*c = 3*r + 13. Let k be (-12)/10*(-5)/c. Suppose 2*x - 4*q - 8 - 6 = 0, 0 = k*q + 6. Solve 0 = -n + x*n for n.
0
Suppose -w + 2*w - 3 = 0. Suppose y + 5*q = -w*y + 7, -4*y + 42 = -2*q. Solve 0*s - y = 4*s for s.
-2
Suppose -8 + 23 = 3*o. Let s(r) = -r**3 - 3*r**2 - 2*r + 1. Let x be 2/(-3)*(-2 + 5). Let h be s(x). Solve o*i = -h - 14 for i.
-3
Let v be (-130)/(-14) - 6/21. Solve 3*p - 24 = -v for p.
5
Let x be 5*24/20 - 1. Suppose -31 = x*b - 131. Let u be 1 + (11 - (0 + 1)). Solve -6*v + b = -u*v for v.
-4
Let v = 4 + 11. Suppose -2*i = i - v. Suppose 2*a - 2*j - 6 = 0, 3*j + 5 = i*a - 12. Solve -a = -y - 2 for y.
2
Let y(b) = -b**2 + 2*b + 3. Let g be y(0). Solve -2*k + 3*k = g for k.
3
Let l(w) = w**2 - 4*w + 6. Let u be l(4). Let y be (8 - u)*6/4. Suppose 2*n + n = 0. Solve g - y*g = n for g.
0
Let b(p) = 3*p**2 + 15*p - 2. Let i be b(-7). Let d be 8/3 - i/(-30). Solve d + 8 = -4*s for s.
-3
Let p(u) = u**3 + 11*u**2 + u + 15. Let d be p(-11). Suppose 7 = d*w + m + 2, -13 = w + 5*m. Solve w*g + 8 = -2*g for g.
-2
Let p = 9 - 27. Let a = 33 + -46. Let f = a - p. Solve -f*l = -3*l - 10 for l.
5
Suppose k + 0 = 3, 4*k - 12 = -5*f. Solve f = m - 2*m + 2 for m.
2
Suppose 3*y - 8 = 14*i - 13*i, 4*y - 5*i - 7 = 0. Solve 4*s - y = -23 for s.
-5
Let h(v) = -v**3 - 4*v**2 + 2*v + 1. Let i be h(-5). Suppose 0*l - i = -4*l. Suppose 0 = -p - 2*u - 0 - 4, -u - 2 = l*p. Solve 0 = -r + 2 - p for r.
2
Let t(k) = 7*k - 22*k - 7 + 7*k + 7*k. Let r be t(-10). Solve -2*n = r + 3 for n.
-3
Let x(i) = 0*i - i + 2 + 0. Let a be x(3). Let q(y) = y**2 + 1. Let k be q(a). Solve 2*z - 16 = -k*z for z.
4
Let c(t) be the first derivative of t**4/4 - 7*t**3/3 - 4*t**2 + 6*t - 3. Let r be c(8). Solve r*m = 3*m for m.
0
Let a = 13 + -3. Let f be 24/a - (-22)/(-55). Solve f*b - 2 - 2 = 0 for b.
2
Suppose 0 = -0*f - f. Suppose 0 = -2*r - o - f + 5, -3*r = -2*o - 25. Let w be 0 + -3 + r + -2. Solve w*l + 9 = -3*l for l.
-3
Suppose 5*o - 8*o + 12 = 0. Solve 0 = 12*q - 8*q - o for q.
1
Suppose -5 = -r, 4*r - 21 - 37 = -2*q. Suppose -43 = -4*p - 27. Solve q = p*k + 3 for k.
4
Suppose -4*o - 5 = -5*o. Suppose 0*j = 4*j - 52. Solve o*l + 3 - j = 0 for l.
2
Let v(a) = -a**2 + 8*a - 3. Let y be v(7). Let r = -9 - -5. Let z = r + 4. Solve -2*q - y = -z*q for q.
-2
Let p = 8 + -10. Let u = p + 14. Solve r - u = -2*r for r.
4
Let z(f) = 2*f + 2. Let h be z(1). Solve -6*i + h*i = -2 for i.
1
Let n(o) = o**2 + 10*o - 9. Let j be n(-11). Solve p + 7 - j = 0 for p.
-5
Suppose 11 = 3*r - 13. Let m(v) = v - 6. Let a be m(r). Solve -a*l = 3*l for l.
0
Let t be 16/(-7) + 12/42. Let s be 0 + (-1 - -2)*2. Let g = s + t. Solve -2*b + 6 = -g for b.
3
Let i(p) = p**2 - 5*p - 6. Let c be i(6). Solve -4*z = -c*z for z.
0
Let w(i) be the third derivative of -i**5/60 + i**4/24 + i**3/3 - 3*i**2. Let b be w(2). Solve -3*z + 0*z + 15 = b for z.
5
Suppose 2*i + 22 = 4*y - 3*i, -8 = -2*y + i. Suppose 0 = -2*c - 0*c. Solve 0 = -y*u - c*u + 3 for u.
1
Let l(p) = -3*p**3 - p**2 + p + 1. Let g be l(-1). Suppose g*q + 0*q - 12 = 0. Solve 0*t - 2*t + q = 0 for t.
3
Let f = 11 - -15. Let c = -26 + f. Solve -2*r + 5*r = c for r.
0
Let p(d) be the third derivative of 0 + 0*d + 1/120*d**6 + 1/2*d**3 - 2*d**2 + 1/10*d**5 - 7/24*d**4. Let v be p(-7). Solve -2*b + 3*b + v = 0 for b.
-3
Let a(y) = y**2 - 21*y + 5. Let w be a(21). Solve -4 = -x - w for x.
-1
Let k(i) = -2*i - 6. Let u be k(-5). Solve -2 = u*o - 3*o for o.
-2
Let s be 2/3*(-18)/(-6). Solve -s*v - 5 = 5 for v.
-5
Let f = -33 + 51. Solve 3*r - f = -6 for r.
4
Let f be ((-15)/(-25))/(1/15). Solve 4*u = u - f for u.
-3
Suppose 7*n = 3*n - 5*w + 31, 3*n + 5*w - 27 = 0. Suppose -n*v - 1 = -49. Let h = v - -1. Solve -5*i - 38 = -h for i.
-5
Suppose f + 0 = 2. Let x be -2 - (f + 27/(-3)). Solve x = -4*t + 5*t for t.
5
Let r = 14 + -10. Solve 9*h + 10 = r*h for h.
-2
Let h(a) = a + 3. Let r be h(5). Suppose -3*i + 4*s = r, -3*s = 5*i - 2*i - 6. Solve i = 2*d - 7*d + 15 for d.
3
Let z be ((-8)/5)/(4/(-10)). Suppose 13*n - 8 = 9*n. Suppose -n*i = -z*i. Solve -c + 3 + 0 = i for c.
3
Suppose -3*k + h = -0*k - 16, -3*h - 16 = -k. Suppose 0 = -5*s + k*c + 33, 24 = -s + 4*s - c. Solve 5*m - 16 = s for m.
5
Let b be ((-8)/(-14))/(20/70). Solve b*g - 4 = g for g.
4
Let y(n) = n + 11. Let g be y(-10). Suppose 0 = 3*l + 5*j + g, -3*l + 4*j - 4 = -7*l. Solve 2*u = -l*u for u.
0
Let z = -4 + 12. Let h be (-10)/(-4) - 4/z. Solve 0 = -h*i - 3 + 13 for i.
5
Suppose -3 = -c + 13. Solve 4*x - c = -0*x for x.
4
Let c(t) = t**3 - 9*t**2 + 9*t - 17. Let n be c(8). Let a be (-1 + 1)/(-7 - n). Solve a = -3*k + 1 + 5 for k.
2
Let j be (-2)/10 - (-30)/25. Let o = 1 - j. Solve -2 = -c - o for c.
2
Suppose -20 = 6*w - 16*w. Solve -w*y - 3*y + 5 = 0 for y.
1
Let x be (-1)/(-4) + 3/(-12). Solve g + 1 + 2 = x for g.
-3
Suppose -y + 6*f + 6 = 3*f, -4*y = 3*f + 6. Suppose y = -2*l + 5*l. Suppose -3*u + 5 + 1 = l. Solve 0 = -2*g + 4*g - u for g.
1
Let n be -1 + (4 - -2) - 3. Suppose -4*b = 5*c - 18, 2*b = 4*c - n*b - 36. Solve -h = h + c for h.
-3
Let k(z) = -z - 1. Let j(w) = -w**2 - 11*w + 2. Let r(m) = -j(m) + 6*k(m). Let s be r(-6). Let d be (s/6)/((-5)/45). Solve -d*q + 0*q = 0 for q.
0
Let b be (-6)/(-1) - 2 - 3. Solve 4*d + 13 - b = 0 for d.
-3
Suppose -r = -5*r + 8. Solve r*h = 7*h for h.
0
Suppose -2*z = -10 + 2. Suppose y - z*y = -36. Suppose -7*s - s = 0. Solve s = -0*g - 3*g - y for g.
-4
Suppose j = -j - 3*y + 4, 0 = -2*j - 2*y. Let t = j + 8. Solve 0 = -t*w - 0*w + 16 for w.
4
Let d(p) = 2*p**2 + 10*p - 3. Let r be d(-7). Let i be (-24)/(-10) + 15/r. Solve n + i = -0*n for n.
-3
Suppose l - 4*l = 3, -g + 5*l = -39. Suppose -g = -5*c + 66. Let z = -313 - -313. Solve 5*f - f - c = z for f.
5
Let b = 47 +