Let x(l) = 3*l2 + 3*l - 4. Let t© = -c2. Let y(h) = -4*t(h) - x(h). Let s be y(3). Suppose w = -0 + s. Solve -w - 6 = -5*v for v.
2
Let r(h) = h**2 + h + 5. Let l be r(0). Suppose l*s - 12 = -2. Let v be 0/(-1 - 0) - -10. Solve 4*x + v = -s for x.
-3
Let k be 3/(-2) - (-26)/4. Solve a - k = -4 for a.
1
Let w(o) = -3*o + 2. Let d be w(-6). Suppose 4*u = -3*x + 25, u + d = 4*u + 2*x. Solve 2 = -4*v + u for v.
2
Let k(u) = 3*u3 + 2*u2 - 3*u + 1. Let q be k(1). Solve 0 = 4*v - q + 11 for v.
-2
Suppose -2*k - 5 = k - 4*p, -2*k + 4 = p. Solve -4 = -3*u - k for u.
1
Suppose -3*z + 2*t = -6*z + 2, 5*z - 3*t = 16. Let a(n) = -n + 14. Let r be a(12). Let s be ((-15)/12)/(r/(-8)). Solve s*i = z*i for i.
0
Suppose 0 = -c - w + 7, -w + 22 = 4*c - 3. Solve c + 0 = 2*n for n.
3
Let v(z) = z**2 - 5*z - 4. Let a be v(6). Suppose -a*n + y + 7 = -6, 2*n + 4*y - 8 = 0. Solve 5*c = n + 4 for c.
2
Let i(f) = -f3 - 3*f2 - 4. Let o be i(-4). Let u be 0*(-3)/o*2. Let j be (1 + -2)/(1/(-3)). Solve j*w = -u*w + 6 for w.
2