f - b + 43 = 0. Solve 0 = -4*o + 2*o - f for o.
-5
Suppose -4*d + 34 = -l, -5*l = -d - d + 26. Let b = -2 + d. Solve -3*v + 0 + b = 0 for v.
2
Suppose d + 15 = 6*d. Solve -d = -4*f + 17 for f.
5
Let v = 10 + -5. Solve -v*f = -7 - 13 for f.
4
Let b be 2/(-8) - 13/(-52). Solve b = -4*v - v - 15 for v.
-3
Let a(m) be the first derivative of m**4/4 + 2*m**3/3 - m**2 - 2*m - 4. Let t be a(-2). Solve -2*r = -3*r + t for r.
2
Suppose -d - 2*d - 24 = 0. Let n(r) = r**2 + 9*r + 10. Let f be n(d). Solve 2 = -4*g - f for g.
-1
Let w be -2*(-38)/(-4) + -1. Suppose -7 = -3*d + 2*d + i, -3*i = -9. Let o be (4/d)/((-2)/w). Solve 9*c - o*c = -15 for c.
-3
Let z be (0/7)/(1 - 3). Suppose 4*h = -2*q + 32, -4 = -0*q - q + 2*h. Suppose -3*b + 8 = b. Solve b*s = -z*s + q for s.
5
Let h be (2/2)/(11/33). Suppose h*k - 24 = -0*k. Let l = k + -6. Solve -l*n - 6 = n for n.
-2
Let m = -18 + 12. Let u = -2 - m. Solve 3*y + u = 2*y for y.
-4
Let m(d) = d**2 + 7*d + 1. Let g be m(-6). Let z = 10 + g. Solve z*f = 2 + 3 for f.
1
Let f(u) = -u**3 + 5*u**2 + 2*u + 1. Let a be 22/8 + 3/12. Suppose -k + 4*k = -c + 14, -3*k = a*c - 24. Let d be f(c). Solve -5*p - 26 = -d for p.
-3
Suppose n - 5 = 0, -4*w + 5*w + n = 20. Let r be w/(-36)*-3*4. Solve 3*o - r*o = -10 for o.
5
Suppose 4 = -3*o + 5*o. Suppose -3*x + 4 = -o*x. Suppose -4*r + 4*l = -0*l - 8, 8 = x*r - l. Solve -r = -h + 3*h for h.
-1
Let k(z) = -z**3 + 7*z**2 + 10*z + 10. Let n be k(8). Let y = -2 - -4. Suppose -a - 3 = -5, y*a + 21 = 5*g. Solve -n = g*w - 6 for w.
-4
Suppose -f + 19 = 9. Solve 4*m - 2*m = f for m.
5
Let h(z) = z**2 - 3*z + 4. Let r be h(5). Let w be 4/r - (-6)/(-21). Solve w = 3*a - 5 - 7 for a.
4
Let b(d) = -4 - d**2 + 7*d + 0*d**2 - 5 + 5. Let z(k) = 4*k - 2. Let n be z(2). Let o be b(n). Solve -2*h - o*h = 4 for h.
-1
Let l = -11 + 4. Let u = -19 - l. Let v be (-45)/u + 1/4. Solve -v*d = -d for d.
0
Let n = 8 + -6. Suppose -4*l + 2*s = -2*s + 8, n*s = 8. Solve -l*a + 0*a = 0 for a.
0
Let y = 3 + 4. Let h = y - 5. Suppose 31 + 5 = 3*l. Solve h*g + 2*g - l = 0 for g.
3
Let r be 42/(-7) - (-2 + -1). Let c(g) = g + 3. Let d be c(r). Suppose d = -k + 5*k. Solve 4*u - u - 12 = k for u.
4
Let t = -3 - -5. Solve 2 = 4*b - t for b.
1
Let d be (0/2)/((-3)/3). Solve d = 5*m - 3 + 18 for m.
-3
Suppose -3*i + 5*i = 0. Suppose 4 = -i*z - 2*z, 0 = 5*g - z - 32. Solve 2*o - g*o - 12 = 0 for o.
-3
Let d(h) = -h**3 + 8*h**2 - 7*h + 2. Let c be d(7). Suppose 3 = -o + 1. Let b = 6 + o. Solve -b*y = -c*y + 10 for y.
-5
Let b be -2*9/12*-10. Let c = b + -5. Let r = c - -2. Solve 0 = -2*k - 2*k - r for k.
-3
Let b(l) = -l - 7. Let t be b(-5). Let x be (2 + t)/((-2)/(-2)). Suppose x = -n - 4*n + 25. Solve 0*s - n*s = 0 for s.
0
Let y = 14 + -11. Suppose -19 = -4*h - y. Solve -h = 3*j + 5 for j.
-3
Suppose 6*f = 3*f. Solve z - 5*z = f for z.
0
Let c be (1*3)/((-39)/(-26)). Solve 4*t - 6 = c*t for t.
3
Suppose -2*y = -k + 10, -2*k - 2*k = -8. Let q = -4 - y. Suppose p - 23 + 3 = q. Solve g - p = -4*g for g.
4
Suppose 0 = -7*q + 4*q + 30. Suppose -2*t = 3*d - 0*t - 12, -3*t = -4*d - 1. Solve -4*l = -d*l - q for l.
5
Let k(o) = o**3 - 2*o**2 - 2*o - 4. Suppose -3*r = -14 + 2. Let q be k(r). Let h be (-12)/10*q/(-6). Solve -25 = -h*j - j for j.
5
Let y(h) = -3*h + 7. Let o be y(0). Solve -o = 5*v + 3 for v.
-2
Let w(d) = -d**3 + d + 2. Let p be w(0). Let v = p + 1. Solve -v*f = f + 12 for f.
-3
Let d = -6 - -4. Let f be (d + 3)*-3 + -1. Let s(p) = p**3 + 4*p**2 + 4. Let j be s(f). Solve 1 = a - j for a.
5
Let x(w) = -9*w + 3. Suppose 2*i + 4 + 2 = 0. Let y be x(i). Solve -5*g + y - 10 = 0 for g.
4
Let t(g) = 2*g - 3. Let b be t(9). Suppose b - 5 = 5*p. Let n be (0/p)/(3 - 2). Solve -3 + n = -3*s for s.
1
Suppose -4*v + 10 = -t, -t - 3*v = -0*t - 11. Suppose 3*w - 4*f + f = 18, -8 = t*f. Suppose m - 8 = -m. Solve -w*i - m = -0*i for i.
-2
Suppose 3*m - 10 = 2*j, -5*m + 0*j + 2*j + 18 = 0. Let d(w) = 6*w**3 - m*w**3 - 3*w**3 - 4 - 5*w**2 - 5*w. Let q be d(-4). Solve -p + q*p = -5 for p.
5
Let p be ((-10)/3)/((-2)/3). Let s(b) = b**3 - 4*b**2 - 4*b - 1. Let u be s(p). Let a be 32/3 + u/(-6). Solve -4*w = -9*w + a for w.
2
Let q = -62 + 67. Solve q*c = 2*c for c.
0
Suppose 2*x - 7*x + 1 = 3*m, 0 = 5*m + 5*x - 5. Suppose 4*r = b + 14, -m*r = -2*b - 2*b. Let y be 15/((-16)/(-4) + -3). Solve -3*g = b*g - y for g.
3
Suppose 3*a + 0 = 177. Suppose 0 = -h + 5*b + 23 - 6, 5*h = -b + a. Solve -5*q + 8*q = -h for q.
-4
Let i(t) = t**2 + 6*t - 3. Let b = 18 + -25. Let r be b + (0 - 0/(-1)). Let y be i(r). Solve 0 = 5*h - 3*h - y for h.
2
Suppose 6*q = -0 + 30. Solve -q = y - 2*y for y.
5
Let h(v) = v**3 + 4*v**2 + 6*v + 6. Let z be h(-4). Let p be (9/(-4))/(z/(-48)). Let s be (1 + (-3)/2)*p. Solve 3 = -s*o - 6 for o.
-3
Let w be ((-14)/6 + 3)*-12. Let o be (w/10)/(6/(-45)). Solve 2*n - 2 = -o for n.
-2
Let y be 5/(-2 - (-5 + 2)). Solve 2 = -y*d + 7 for d.
1
Suppose -2*y - 4*x = -0*x - 18, 2*y = -3*x + 16. Solve y = o + 3 for o.
2
Let b(a) = a**3 + 5*a**2 - 7*a - 2. Let h be b(-6). Suppose 0 = p - h*p - 3. Let k be (3/6)/(p/(-6)). Solve -k = 2*y - 1 for y.
-1
Suppose -6*p = -4*p. Suppose p = -5*z + 2*d + 123, d + 21 = z - 3*d. Solve 0*v - z = 5*v for v.
-5
Suppose d = -2*d + 6*d. Solve -2*b - b + 12 = d for b.
4
Let a(t) = -2*t**3 - 3*t**2 + 5*t + 3. Suppose p + 9 = -2*p. Let n be a(p). Solve n = 5*m - 5 for m.
4
Suppose -3*i = -0*i - 12. Let g be 10/(-2)*i/10. Let n be 2/(-8) - g/8. Solve 0 = -3*v - n*v for v.
0
Let d be 4/1*7/(-14). Let i be (-534)/(-27) + d/(-9). Suppose 4*r = -r + i. Solve -r*f + 16 + 4 = 0 for f.
5
Suppose x + 4 = -3*w - 0, 5*x - w = 12. Let c(f) = f**2 - 16*f + 2. Let y be c(16). Suppose -3*n - 4*z = y, -3*z - 29 = -n - 8. Solve x*m + 0*m = n for m.
3
Let m(i) = i**2 + 6*i - 5. Let h be m(-8). Suppose -3*c + 4 + h = 0. Solve 29 = -c*j + 9 for j.
-4
Let g = 4 + -4. Let l be (-4)/(-8)*g/2. Suppose -2*c - c = 0. Solve c*u + 4*u = l for u.
0
Let p be (0 - 3)*10/(-6). Suppose 0 = -p*d + 32 + 18. Solve 2*z = -0 - d for z.
-5
Let x be 25/(-35) - (-4)/(-14). Let q be (2/8)/(x/(-12)). Solve 2*o + 10 = -q*o for o.
-2
Let i(t) = -t**2 - 7*t - 6. Let k be i(-4). Let a be (3*4)/(9/k). Suppose -2*f + 4*f = 3*m - 8, 3*m - 4*f = -2. Solve -m*p - a = -2*p for p.
-2
Let l be (-16)/72 - 29/(-9). Solve -l*m + 4*m = 2 for m.
2
Let h(t) = 0*t - 6 + t**3 + 1 - t. Let s be h(0). Let z(r) = -r**2 - 6*r. Let m be z(s). Solve 2*d - m = 5 for d.
5
Let o(k) = -2*k - 2. Suppose -g + 10 = -20. Suppose 5*y + 3*t + g = -2*t, t = -5*y - 26. Let m be o(y). Solve b + b + m = 0 for b.
-4
Let u be (-2)/(-12) + 305/(-30). Let w(s) = s**3 + 10*s**2 - 2*s - 12. Let r be w(u). Solve 5*v - r = 3*v for v.
4
Let z = 15 - 6. Solve 2*w = -w - z for w.
-3
Let v(b) = b + 1. Let d(s) = s**2 - 9*s - 7. Let t(c) = -d(c) - 3*v(c). Let u be t(6). Suppose -u*l + 7 = -5. Solve l*x = 4*x for x.
0
Let j = 27 - 21. Let g = -2 - -4. Suppose 4 = g*b - j. Solve b = 5*i - 20 for i.
5
Suppose -3*n + 48 + 0 = 0. Let x be 3 + -1 + 44 - 2. Let v be x/n + 2/8. Solve -4*p - v = -p for p.
-1
Let t be 40/(-7) - 4/14. Suppose -4 = 5*i + 6. Let y be i/(-3) + (-56)/t. Solve h + h = y for h.
5
Let k = 9 - 7. Suppose 2*o = k + 4. Solve o = -a - 2 for a.
-5
Let a be (-5 + 1)/(8/(-12)*2). Solve 0 = -6*o + a*o - 9 for o.
-3
Suppose -8*x + 33 = -7. Suppose x*w - 52 = w. Solve -1 = -4*l - w for l.
-3
Let v(p) = -6*p - 5. Let x(u) = -u - 1. Let y(n) = -v(n) + 5*x(n). Let c be (-20 + 12)*(-2)/4. Let z be y(c). Solve z*d + 8 = 4 for d.
-1
Suppose -6*x = -l - 2*x + 8, -5*x = -2*l + 13. Suppose -4*z - z = l*i - 16, 2*z + 4*i - 4 = 0. Solve z*w = -17 + 5 for w.
-3
Let o be -3 + 7 + -1 + 2. Suppose -o*x = 2*x - 42. Solve 3*y - 3 = x for y.
3
Let v = 1 + 5. Let m be 4/14 - v/21. Suppose m = -o - 1 + 3. Solve o = -4*u + 3*u for u.
-2
Suppose 2*p - 6*p = -12. Solve 5*g - p*g = -6 for g.
-3
Let i = -39 - -41. Solve -3 = -i*w - w for w.
1
Let h be ((-36)/(-24))/(3/4). Solve 0 = h*q + 3*q for q.
0
Let i(f) = -f + 10. Let g be i(6). Let w = g + -2. Solve -16 = w*x + 2*x for x.
-4
Let l(k) = k**2 + 3*k - 7. Let b be l(-5). Suppose 3*t - 2*t = -2*j - 13, b*j = 3*t - 15. Let u be (-3)/(1*j)*0. Solve 2*f + f - 9 = u for f.
3
Suppose -4*k + 20 = -20. Suppose 0 = -2*l - 5*c + 3 + 25, 8 = 5*l - 3*c. Suppose -l*w +