Let d(o) = -o**2 + 5. Let y be d(0). Suppose 0 = y*s - 3*s - 4. Solve 2*t = s + 6 for t.
4
Suppose 0*f - 2*v + 5 = -5*f, -2*v + 10 = 0. Let z = f + 2. Solve z*m + 8 = -4 for m.
-4
Suppose 3*x - 1 + 4 = 0, 0 = 4*b + 5*x - 11. Solve -25 = -b*o - 9 for o.
4
Let h = 5 + -2. Solve -6 = -h*o - 0 for o.
2
Let x = 10 - 13. Let w = x - -11. Solve -3*r = r + w for r.
-2
Let o(d) = d + 2. Let m be o(0). Suppose q - 4 = 0, -2*p - 2*p + 20 = 3*q. Suppose 2*l = -m*y - p*y + 12, 0 = y + l - 4. Solve w + y*w = 9 for w.
3
Let v(d) = 2*d*2 - d - 1. Let z be v(-1). Let h be (-360)/300(-10)/6. Solve 0 = h*p + z for p.
-1
Suppose 5*r - 24 = 2*r. Let n be 4*6/r + 0. Solve -2*u = n*u for u.
0
Suppose -3*w + 6 = 21, 3*a + w = 7. Solve a*t = -0*t for t.
0
Let a(z) = 13*z3 - 2*z2 + 1. Let u be a(1). Let f(b) = b3 - 6*b2 + 2. Let y be f(6). Let h = 9 + -4. Solve u = h*g + y for g.
2