. Solve 1 = o*b - 2*b for b.
1
Let y(d) = d**3 + 6*d**2 - 17. Let x be y(-5). Solve 6*p = x*p for p.
0
Let o be (-5)/20 + 18/8. Suppose -3*f - 14 = -5*l, -o*l + f + 2 + 4 = 0. Suppose -l*w = -3*w. Solve w - 4 = m for m.
-4
Let l be (2 + -3 + 2)*2. Let i be (-1)/l - (-18)/4. Let w = -3 - -5. Solve -i*o = -2 - w for o.
1
Suppose 5*c - 18 = -c. Solve 0 = i - 2*i - c for i.
-3
Let d(g) = -g**2 - 22*g - 17. Let i be d(-21). Solve 2*a = -2 + i for a.
1
Let i be 5 - (2 - (-2)/2). Suppose -i*c = -3*w - 14, 26 = -5*w + 2*c - 0*c. Let m = -6 - w. Solve m*k + k = 0 for k.
0
Suppose -5*q = 10, -2*b - q = q - 8. Solve 4*y - b + 2 = 0 for y.
1
Suppose 5*i = -5*z + 40, -2*i + 6 = -4*z + 20. Let f = 36 + -35. Solve -5 - f = -i*s for s.
2
Let g(r) = 2*r**2 + 1. Let q be g(1). Suppose -q*o = -7 - 5. Solve k + o = -1 for k.
-5
Suppose -3*g = 5*n - 61, n - 3*n = -3*g + 26. Solve g = -h - 3*h for h.
-3
Suppose 4*i = 41 - 1. Solve 4*o = i + 2 for o.
3
Let j = -3 + 9. Suppose 3*k - 3 = -0*k, -5*l + 4*k = -j. Solve -l + 0 = g for g.
-2
Suppose 23 = 5*u + y, 4*y + 24 = 4*u + 2*y. Let b = 7 - u. Solve b*z + 0 = -6 for z.
-3
Suppose -5*n = 5*g - 15, n = 5*g - 0*n - 9. Let x = g - -2. Solve 0 = -b - b - x for b.
-2
Suppose -5 = -2*k + k, -21 = -3*t - 3*k. Solve -t*m - 1 = -m for m.
-1
Let r be 0/(0 + 1 - 0). Let i be (-3)/4*(-56)/21. Suppose -i*f = f. Solve -p + 4 + r = f for p.
4
Suppose -2*v - 3*o = -2*o, 3*o = -12. Solve -v*w = 2*w - 16 for w.
4
Suppose 0 = -431*f + 433*f - 8. Suppose y + 17 = 5*y + d, -5*y = 3*d - 30. Let l be (-2*y)/(-2 + 1). Solve -f*z + l = -6*z for z.
-3
Let r(k) = -k**2 - 8*k - 5. Let i be r(-5). Let v be i/(-5)*(-30)/4. Solve -v = 5*l - 0 for l.
-3
Suppose -2*b = -7*b. Let s be (-2)/(-1) + 0/1. Let a = s + b. Solve 9 = -a*y - y for y.
-3
Suppose -g - 8 = -7. Let o be (1 - g)*(-1 - -2). Let u(n) = -n + 9. Let i be u(6). Solve -x + o = -i*x for x.
-1
Let n be (-1 - 0 - -2)*3. Let s be 6/2 - (-1 - 1). Suppose -s*r + 44 + 81 = 0. Solve -8*b + n*b = -r for b.
5
Let i(g) = -g - 17. Let o be i(-20). Solve -4 - 2 = -o*s for s.
2
Let q be -4 - (1 - 9)/(1/2). Solve -q = 3*x - 0*x for x.
-4
Let l(z) = -z**2 + z. Let p be l(0). Let n(c) = c**3 + 16*c**2 - 2*c - 12. Let h be n(-16). Solve p*y + 5*y = h for y.
4
Suppose -i - 3*j + 2 = 0, -j + 1 = -4*i - 4*j. Let q = i + 3. Solve c = -q*c + 9 for c.
3
Let n(d) = -2*d - 4. Let q be (0 + 1)*2 - 6. Let z be n(q). Solve -z*v - 15 = 5 for v.
-5
Suppose 4*c = -4*c + 16. Solve -c*s = -0*s - 8 for s.
4
Suppose 0*d + 5*d = -4*f - 9, 0 = 4*f - 3*d - 31. Suppose 0 = -f*h - h. Solve -2*z = -h + 4 for z.
-2
Suppose -3*a + 4*a + 11 = -5*p, a - 10 = 2*p. Let n be (18/10)/(p/(-15)). Solve n = 5*t - 2*t for t.
3
Suppose 3*l + c + 2*c + 9 = 0, -3*l + 15 = -5*c. Suppose -k - 2*j - 7 + 3 = l, -5*j = -3*k - 1. Let p be 8 - (4/k + 5). Solve -t = -0*t + p for t.
-5
Suppose 2 = 2*u - u. Let o(r) = -r**3 - 7*r**2 + r + 7. Let d be o(-7). Solve y + u*y = d for y.
0
Suppose 5*c + 24 = c. Suppose -14 = 2*d + 4*q + 10, -5*d - 3*q = 46. Let a = c - d. Solve -z = -a + 3 for z.
-1
Let n = -2 - -6. Suppose n*w - 16 = -0*w. Solve 0*f - w = -f for f.
4
Let m = -51 - -51. Solve m = 2*r - 8 - 2 for r.
5
Let w = 7 + -5. Suppose 0 = -s + 3*g + 1, 5 = s + w*g - g. Solve -s*p = -0 + 8 for p.
-2
Suppose -4*s = -3*z - 12, -s = -6*s + 5*z + 20. Suppose -t + 0*t = s. Suppose t = x - 3 - 0. Solve x*v - 10 = 5*v for v.
-5
Suppose 0 = -3*d - 6, 5*d = -4*x + d + 12. Let u be (60/(-16))/((-2)/8). Solve -u + 0 = x*b for b.
-3
Let n(l) be the second derivative of -1/20*l**5 + l**2 + 1/2*l**3 + 0 + 2*l - 1/6*l**4. Let h be n(-3). Solve 2*a = -h*a for a.
0
Let r be (-6)/5*50/(-3). Let m(b) = -b**3 - 11*b**2 + b + 14. Let p be m(-11). Suppose -3*s + 5*t = 3 + 1, -4 = s - p*t. Solve 2*x + r = -s*x for x.
-5
Suppose -10 = -m + 3*t - 3, 0 = -3*m + 3*t + 21. Solve 0 = -m*u + 3*u + 8 for u.
2
Let k(r) = -r - 4. Suppose 0 = 3*b + 12 + 6. Let f be k(b). Suppose 0 = -0*i - f*i + 16. Solve -y - y - i = 0 for y.
-4
Suppose 0 = -3*t + t + 8. Let r = 9 - 21. Let n = r + 12. Solve t = 2*d - n for d.
2
Let i(t) = t**2 - 2 + 6 - 2. Let p be i(-2). Let v = 8 - p. Solve -v*j = -3*j - 4 for j.
-4
Let z = -12 - -28. Let f be ((-42)/35)/((-6)/40). Let l = f - 2. Solve 2*i + z = l for i.
-5
Let b be ((-4)/(-5))/(4/70). Let h = -2 + 4. Suppose -3*l - 8 = h*s, -2*l = -s - 2*s + b. Solve -4 + 0 = s*y for y.
-2
Let j be 3 + (2 + 2)/4. Solve 0 = -m + j*m for m.
0
Suppose -a + 2 = -3*i, 0 = 2*a + 2*i - 2 - 2. Solve a*m = 4*m - 4 for m.
2
Suppose 6*w - 5*s - 27 = 2*w, 2*w - 4*s = 18. Solve -w*i + 19 = 4 for i.
5
Suppose -2*m - 2 = -0. Let u be 0 + (m - 3) - -10. Solve -3 = j - u for j.
3
Suppose -2*j + 15 = 3*j. Solve -4*i = -j*i + 5 for i.
-5
Suppose m + 9 = 12. Solve m = d + 2*d for d.
1
Suppose 4*o = -f + 2*o + 11, -5*f - 3*o = -34. Let w = f + -3. Solve 0 = w*d + 2*d for d.
0
Let u be ((-15)/2)/((-9)/12). Suppose 0 = -c + u + 8. Suppose c = 4*a + 5*j - 8, -3*j = -2*a + 2. Solve a - 2 = -y for y.
-2
Let v(x) = x**2 - 7*x + 6. Let w be v(6). Suppose w = -m - o + 3 + 1, 0 = m + 4*o - 4. Solve -5 + 1 = m*s for s.
-1
Let v(m) = -2*m + 2. Let o be v(-1). Suppose 5*r = -2*p + 27, o*r + 5*p - 5 = 20. Solve -r*t - 16 = -t for t.
-4
Let q(a) be the third derivative of a**2 + 0*a + 1/12*a**4 - 1/30*a**5 - 1/2*a**3 + 0 - 1/120*a**6. Let g be q(-3). Solve 20 = 5*h - g*h for h.
4
Let s(q) = -q + 3. Let j be s(-1). Solve j*f = -f - 15 for f.
-3
Let k(g) = g**2 - 3*g. Let h be k(4). Suppose q - h*p + 2 = 20, 0 = q + p - 3. Let j = 17 - 17. Solve j = -3*y - q for y.
-2
Let f(b) = -b**3 + b**2 + 3*b - 1. Let l be f(3). Let t = l + 14. Solve t*c + 16 + 4 = 0 for c.
-5
Let m = 12 + -8. Let y(q) = -q**3 - 4*q**2 + 6*q + 5. Let t be y(-5). Suppose a + m*a = t. Solve 8 = 2*k - a*k for k.
4
Suppose 3 + 5 = -4*r. Let i be (-37)/(-13) - r/13. Solve 5 = i*s + 11 for s.
-2
Let l(t) = -3*t**2 - 1. Let s be l(3). Let f = -25 - s. Solve -v - f*v - 8 = 0 for v.
-2
Let g(o) = o + 12. Let l be g(-7). Solve 0 = -4*v + 7 + l for v.
3
Suppose -8 = -5*o + 3*p, 7 = -3*o + 5*p - 1. Solve -o*g - 6 = 2 for g.
-2
Let k = 41 + -39. Solve -2*f = k*f for f.
0
Suppose 4*w - 2*l + 3*l - 9 = 0, -2*w + 2*l = -2. Suppose -3*v = -3*r + 21, w*v + 14 = 4*r - 4. Solve -5*n + r*n = 12 for n.
-4
Suppose 2*i - 3 - 5 = -2*z, -2*i - 4*z + 12 = 0. Solve i*p - 7*p = -5 for p.
1
Let h(l) = l**3 + 2*l**2 - 1. Let a(p) = -p**3 + 5*p**2 - 3*p - 5. Let u be a(4). Let b be h(u). Solve b = 2*r + 2*r + 8 for r.
-2
Let u(l) = l**2 + l - 32. Let w be u(-7). Solve -2*y + 4*y = w for y.
5
Let r = -8 + 12. Suppose -t - 11 = -l, -3*l - r*t + 0 = -5. Let p be 344/44 + (-4)/(-22). Solve -l*m + 3*m = p for m.
-2
Let u(p) = -p**3 - 4*p**2 + 6*p + 6. Let v be u(-4). Let j be (2/(-2))/(6/v). Suppose -12 = -j*n + n. Solve 0 = -l - 2*l - n for l.
-2
Let h(w) = -5*w + 6. Let t(p) = -9*p + 11. Let c(n) = -11*h(n) + 6*t(n). Let y = 7 - 2. Let r be c(y). Solve 9 + 16 = r*l for l.
5
Let c be 17/34*(1 + -1). Let t be 2/7 + (-190)/(-70). Solve 2*f + 1 - t = c for f.
1
Let t(a) = a**3 - a**2 + a + 12. Let f = 2 - 3. Let p be -2 + (f - -2) + 1. Let n be t(p). Solve -s - 2*s - n = 0 for s.
-4
Let p be 8/(-6)*(8 - 11). Solve 2*b + 2*b = p for b.
1
Let d be 2 + (0/3)/2. Let c = d - 5. Let w be 0/((-3)/c*-2). Solve 0 = -w*n + 2*n - 4 for n.
2
Suppose 2*c - 2 = -0. Solve -c + 4 = p for p.
3
Suppose 3*v + 2*b + b - 24 = 0, -3 = b. Suppose -z - s = z - v, -3*z = -4*s - 11. Solve 0 = -c + z*c - 4 for c.
1
Suppose -27 = -4*k + 1. Let r(z) = -z**3 + z**2 - z. Let u be (-2)/4 + (-1)/(-2). Let g be r(u). Solve g = -3*y + k + 2 for y.
3
Suppose 2*f + 3*f = x + 5, 23 = 4*f + 3*x. Let a be (1*(3 - 13))/(-2). Solve f*r - 15 = a*r for r.
-5
Suppose -4*q = h - 9, -2*h - 15 = -4*q + 3. Suppose 0 = o + q*o. Let i = 1 - o. Solve 4 = f + i for f.
3
Let g be 6/4*(-16)/(-6). Solve 15 - 7 = -g*d for d.
-2
Suppose 4*y + 2 = 3*y. Let i = 0 - y. Suppose -22 = -3*q + 4*u, 0*u - u - 8 = -2*q. Solve 0 = -q*h - 10 + i for h.
-4
Let v be ((-4)/(-6))/((-1)/(-6)). Solve n + v*n = 0 for n.
0
Suppose k + 8 = b - 2*k, 2*k = -4. Let d(f) = -f + f - 3*f + 2*f. Let o be d(-7). Solve o*t = b*t + 20 for t.
4
Suppose 4*x = -r + 1, x - 2*r - 2*r = -4. Suppose 0 = -5*w - 5, -2*o = 4*w - 2 - x. Solve -o*k = -6*k for k.