4/4 - f**3 - 2*f**2. Let g be b(5). Let p be (-3)/(g/((-16)/(-6))). Solve -5*u + p*u = 0 for u.
0
Let l be (-1)/(1/(-9 + 3)). Let q(x) = x**2 - 5*x + 4. Let k be q(5). Suppose 0 = 2*a + 2*m - l + k, 0 = a + 2*m + 1. Solve 0 = -a*u + u - 6 for u.
-3
Let a(r) be the third derivative of -r**4/12 - r**3/2 + 4*r**2. Let p be a(-3). Solve -5 = -4*u + p for u.
2
Let x be 8/(-10) + (-72)/(-15). Solve h = -x*h for h.
0
Let w = 0 - -7. Let l(x) be the third derivative of -x**5/60 + x**4/3 - 2*x**3/3 + 8*x**2. Let i be l(w). Solve -b - 12 = i*b for b.
-3
Let x(y) = -2*y + 2. Suppose 11 = -2*l + 9. Let j be x(l). Solve -2*k = -4 - j for k.
4
Let l be (18/30)/(2/(-10)). Let k be (-1 - l*5) + 1. Solve 0 = 2*g + 3*g + k for g.
-3
Let q = 12 - 7. Let p = 9 + -13. Let o be 28 + (-4)/16*p. Solve q*d - o = -9 for d.
4
Let o = 5 - 1. Solve 3*c + o = -c for c.
-1
Suppose 3*v = -5*l + 70, l - 116 = -4*v - 17. Let b = v + -13. Suppose 5*s + 5*u = 35, -3*s + 9 = -u - 0*u. Solve s*h - b = -0 for h.
3
Let f be (2 - 0)/((-6)/(-42)). Solve 12 = 2*j + f for j.
-1
Let b be 2*(12/(-8) + 3). Solve 7 - 1 = -b*q for q.
-2
Suppose 6*r - 3 - 21 = 0. Solve -w = r*w for w.
0
Let b be 1/1*(-1)/(-1). Let m(n) = -3*n + 0 - 4 + b. Let l be m(-2). Solve l*c = c - 8 for c.
-4
Let f(r) = r + 2. Let s be f(-11). Let h = 9 + s. Solve h*i = 3*i - 9 for i.
3
Suppose 176*v = 177*v. Solve v = h - 2*h - 2 for h.
-2
Suppose -12 + 0 = 4*n. Suppose -5 = m - 1, 4*a + m = -4. Let i = a - n. Solve i*b - 10 = 8*b for b.
-2
Suppose 4*z + 6 + 26 = 0. Let u(s) = 9*s + 2. Let q(g) = -6*g - 1. Let r(n) = z*q(n) - 5*u(n). Let w be r(5). Solve 5*v = w + 12 for v.
5
Let n = 1 + 4. Let a be (0/(-1))/(2/2). Let o be (a/1 + 1)*1. Solve -n*l - o = 4 for l.
-1
Let g = 0 + 9. Solve -g = q - 4 for q.
-5
Suppose 0*j = 3*j. Solve v + v + 8 = j for v.
-4
Let b be 8/2 - (16 - 60). Let t(p) = 3*p - 4. Let r be t(4). Suppose -4*z = -b + r. Solve -m - z = m for m.
-5
Suppose 32 = s + 3*s. Suppose 16 = 3*r - 2*b, r + 2*b = 2*r - s. Solve 2*h + r = -4 for h.
-4
Suppose 2*h = 3*h. Let z = 4 - 1. Solve -3 = z*o - h for o.
-1
Let f = -2 - -10. Let p = -5 + f. Solve 7 - p = 2*u for u.
2
Suppose 0 = 3*w - w - 2*i - 20, -5*w = 3*i - 26. Let r = -5 + w. Solve -r*p + 5*p = -9 for p.
-3
Let x be (1 - -2)*(5 - 3). Let m(i) = i**2 - i + 4. Let g be m(0). Solve -x*l = -g*l for l.
0
Let x = -7 - -10. Suppose 12 = 8*a - 7*a. Solve -a = x*b - 3 for b.
-3
Suppose 8 = w + 3*w. Suppose -5*n = j - 85, -4*j = w*n + j - 57. Solve -2*v = 2*v - n for v.
4
Let d = 2 - 0. Let k be d/2*(-10)/(-1). Solve -3*u - k = 2 for u.
-4
Let p(c) be the first derivative of 3*c - 1 + 7/2*c**2 + 1/3*c**3. Let n be p(-7). Solve -3 = n*j - 15 for j.
4
Suppose 5*v = 4*a + 10, -5*a + 6 - 2 = 2*v. Suppose -4*t - 5*y + 40 = 0, 12 = -t + 4*y + 1. Suppose 5*m - 15 = t. Solve -j - j + m = a for j.
2
Let p(y) = -4*y + y - 5*y + y + 8 + y**2. Let i be p(6). Solve -i*z - 1 + 5 = 0 for z.
2
Suppose -5*s + 9 = 3*g, -5*s - 4*g + 25 = -9*g. Suppose 5*p + 5 = 5*i, i - 4*p - 4 = 5*i. Solve -s*c = -i - 3 for c.
1
Suppose 5*m = 5*v - 55, 2*v + v - 9 = 0. Let s(c) be the first derivative of -c**2 - 12*c - 2. Let f be s(m). Solve -3*u + 5 = -f for u.
3
Let x = 10 + -6. Solve s = -x*s + 10 for s.
2
Let l be (-7 + 7)/(-1 + -1). Solve l*u = u for u.
0
Let o = -7 + 7. Suppose 0 = -4*a + 5*g, -g = 4*a - o*g. Solve -q + 0*q = a for q.
0
Let o = -10 + 12. Solve -o*n = -5 + 1 for n.
2
Suppose 4 = 5*l - 3*f - 1, f = -5*l + 25. Suppose 3*b - l*b - 21 = -5*n, 2*n = -3*b + 5. Solve -n*x = 8 + 12 for x.
-5
Suppose 0 = 6*k - 29 + 5. Solve 6*i + 2 = k*i for i.
-1
Suppose -2 = j - 0. Let o be ((-2)/2 - j) + -1. Solve -u + 3*u + 8 = o for u.
-4
Let n(p) = -2*p**3 - p - 1. Let c be n(-1). Suppose -2*o - c*o = 0. Solve o = k + 2*k + 15 for k.
-5
Let v = 4 + 0. Solve v*x - 1 = 3 for x.
1
Let y(t) = -t**3 - 3*t**2 + 4*t + 2. Let x be y(-4). Let s be (0 - 1/x)*-4. Solve s*f + 3 = -1 for f.
-2
Suppose 0 = -2*d + d + 4. Let w = 4 - d. Let l(r) = r**2 - 6*r + 4. Let f be l(6). Solve 0 = -w*n + f*n for n.
0
Suppose y = -y - 10. Let p be (-61)/y + (-4)/20. Suppose -4*f + 0*f + p = 0. Solve -4*k - 1 = f for k.
-1
Suppose 2*a = 47 - 43. Let h(v) = -v**3 - 4*v**2 + 4*v - 1. Let l be h(-5). Solve l = a*m + 2*m for m.
1
Let t(i) = -2*i + 18. Let u(p) = -8*p. Let x be u(-1). Let y be t(x). Solve -3*b + 25 = y*b for b.
5
Suppose -4*s + 23 - 7 = 0. Suppose 0*o + s*o - 4 = 0. Suppose -5*a - 4 = -14. Solve -a*z - o + 3 = 0 for z.
1
Let i(n) = n**3 + n**2 + n + 3. Let l be i(0). Suppose -14 = l*m - 50. Let o = m - 8. Solve -r - o = -0 for r.
-4
Suppose 5*i + 10 - 30 = 0. Solve -4 + 0 = -i*k for k.
1
Let r(s) = -s**2 - s + 3. Let p be r(0). Solve -d = -2*d - p for d.
-3
Suppose -2*c = -2*v - 4, -3*c + v = -3*v - 6. Let z be (-3 + c)/(1/(-7)). Solve z*w - 3*w - 8 = 0 for w.
2
Let p(y) = 0*y + 6 - 4*y - 10. Let l be p(-2). Solve l*b + 0*b + 12 = 0 for b.
-3
Let l(v) = -v - 3. Let f be l(-3). Let m = -10 - -14. Suppose -m*s = 5*q + 1, 3*s = -2*q - 2*q. Solve 0 = -w - f*w + q for w.
3
Suppose 4*s - 16 = -4. Suppose -s = 5*z - 13. Suppose 0 = -g + 2*q + 7, -g + 10 = z*g + 5*q. Solve -g*m = 4 + 1 for m.
-1
Suppose 13*x - 5*x - 160 = 0. Solve x = -6*m + m for m.
-4
Suppose -2*p = 0, 5*g + 0*p - p = 10. Solve 3*q = -g*q for q.
0
Let o be -10*2*6/(-15). Let p be 0 - (-1*o)/2. Solve -p*i + 7*i - 15 = 0 for i.
5
Let a(b) = -b**3 - 6*b**2 + 2. Let m be a(-6). Solve 0 = -w - m - 2 for w.
-4
Let o be (0 - 1/(-1))*4. Suppose o*a - 7*a = -12. Solve a*f = -0*f for f.
0
Let v be ((-4)/1)/(8/4). Let m = 3 + -5. Let z be 0 + (2 + v)/m. Solve d = -z*d for d.
0
Suppose -3*d - 22 = 5. Let l = 13 + d. Solve 0 = l*s - 32 + 12 for s.
5
Suppose 0 = -4*a + 4, 5*s - 2*a = -0*s + 48. Solve 0 = -3*f + 1 - s for f.
-3
Let y be (15/(-12))/(2/(-32)). Solve -5*h + h = y for h.
-5
Let v be 3*((-2)/(-1) + -1). Suppose v*h = 2*h + 20. Suppose -i + 0 = -2. Solve h = 7*m - i*m for m.
4
Suppose a - 3*x - 16 = -5*x, -5*a + 4*x + 38 = 0. Solve -5*l = -0 - a for l.
2
Let b(c) = c**3 + c**2 - 5*c + 3. Let j be b(-3). Solve s = -j*s + 4 for s.
4
Suppose 8*o = 9*o - 4. Solve -9 - 11 = o*z for z.
-5
Let u be (-150)/(-35) - (-4)/(-14). Suppose u = f + f. Solve -4 = 3*k + f for k.
-2
Let i(f) = f**2 - 1. Let p be i(-1). Suppose -n + 0*n + 6 = p. Solve 0 = -g - g + n for g.
3
Let c = 92 - 92. Solve c = -d - 3 for d.
-3
Let s(j) = j + 15. Let m be s(-11). Suppose 6*r = 2*r + d + 9, -13 = -m*r + 5*d. Solve u + r*u = 9 for u.
3
Let x be (6 - 4)/((-6)/(-9)). Suppose -6 = -3*d - l, -x*d - 5*l = 2*d - 10. Solve i - d = 1 for i.
3
Let r be (0/3)/(-1 + 2). Suppose 4*j - 13 = -5. Solve r*p - j*p = -6 for p.
3
Let u = -1 + 6. Suppose -4*y = -u*y + 3. Let j = 11 + -7. Solve -j*l = -y*l + 2 for l.
-2
Suppose -5*x - 3*h - 25 = -8*h, 2*x - 3*h + 11 = 0. Let w be (2/x)/((-3)/18). Suppose 7*u - 12 = w*u. Solve p - u = 1 for p.
4
Let c = -20 - -20. Solve 4*z - z = c for z.
0
Let y be -2 - (-7 - (2 + -1)). Suppose 0 = 4*t + t + 10. Let g be (t - (-10)/4)*4. Solve -g*d + 20 = -y*d for d.
-5
Suppose 0 = -4*g - g - 20. Suppose -4 = -3*n + n + 2*x, 4*n = -2*x - 22. Let v be ((-3)/n*g)/(-2). Solve -2 = -v*w + 2 for w.
2
Suppose 4*o + 2*y = -4, -o + 4*y + 8 = -0*o. Let r = -3 + 7. Let j be -4*(9/r)/(-3). Solve o = b - j for b.
3
Let m be (-8)/(-68) - 128/(-68). Solve i + m = -i for i.
-1
Let l(b) be the second derivative of b**3/2 - 3*b**2/2 - 2*b. Let w be l(3). Let v be 2/w - 1/3. Solve 5*f - 2*f + 6 = v for f.
-2
Let a = -2 + 2. Suppose a = 2*c + 2*c + 12. Let x = 1 - c. Solve 0 = -x*d + d for d.
0
Let d(s) = s - 1. Let n = -3 + -2. Let w be (36/10)/((-2)/n). Let t be d(w). Solve 0 = t*v - 3*v + 20 for v.
-4
Suppose 0 = 4*f - 2*f. Suppose -4*m + 0*m = x + 2, m + 4 = -2*x. Suppose -2*w - 3*w + 30 = m. Solve f = -v + 3 - w for v.
-3
Let y(b) = b + 9. Let j be y(-9). Solve j = -2*k - 0*k - 8 for k.
-4
Let x(a) be the first derivative of -2*a**2 - 3*a + 6. Let h be x(-2). Solve 3*c = 2*c - h for c.
-5
Suppose 0 = -5*z + 4*z + 5. Solve -4*n - 25 + z = 0 for n.
-5
Suppose -4*z + 32 + 16 = 0. Solve 0*g - z = 3*g for g.
-4
Let n be (0 - (-1)/(-2))*-2. Let i be 2 + 1 + n/(-1). Solve 0 = -l - i for l.
-2
Suppose 6 + 9 = 5*r. Let c be (r/(-2))/(2/(-4)). Let q = c + -1. Solve 2*x = -q*x - 20 for x.
-5