Let y(t) = t3 + 4*t2 + 4*t + 3. Let z be y(-3). Suppose 2*r - 4 - 2 = z. Let k = -1 + 2. Solve r*v = -k - 2 for v.
-1
Suppose -y - u + 5 = 0, 0 = 5*y - u - 0*u - 7. Suppose -y*a = -a - 4. Let t be -3 + (a + 1 - 2). Solve 4*f + t*f + 4 = 0 for f.
-1
Suppose 5*f = 2*c - 38 + 5, -5*f - 25 = 0. Suppose -2*i - 3 = -9. Suppose 0 = -3*k + c*k - i. Solve -2*l = k*l + 5 for l.
-1
Let m(x) = -x3 + 5*x2 + 2*x - 4. Let p be m(5). Solve -p*v + v = 0 for v.
0
Suppose 0 = -y + 5. Solve -2*r + 3*r = -y for r.
-5
Let c = 1 + 6. Let b be (c/(-1) - -3)/(-2). Solve 0*n - b = -n for n.
2
Let q be (24/(-10))/(2/(-10)). Suppose 4*k - 2*k - q = 0. Suppose v = 3, g = k*g - 2*v - 4. Solve c - g*c = 3 for c.
-3
Let a = -1 - -9. Suppose p = 5*p - a. Solve -i = -p*i for i.
0
Let w(a) = -a3 - 5*a2 - 5*a - 2. Let j be w(-4). Solve j*m = -m + 15 for m.
5
Let l(v) = 5*v + 111. Let q(w) = w + 22. Let z(j) = 2*l(j) - 11*q(j). Let x be z(0). Let d be (-3)/2*x/15. Solve 2*h = 3*h - d for h.
2