Let z(u) = -3*u3 - u2 - u. Let h be z(-1). Let d = 11 - 6. Let l = 6 - d. Solve j - l = -h for j.
-2
Let r(b) = -4*b. Let g be r(-1). Suppose g = -c, -5*u + 3*c + 17 = -0*u. Solve 0 = -f - 2 - u for f.
-3
Let h(j) = -j3 + 4*j2. Let c = 6 - 3. Let i be h©. Let y(x) = -x**2 + 8*x + 10. Let o be y(i). Solve 0 = -4*p - 5 + o for p.
-1
Let j(t) = t**2 - 13*t. Let r be j(13). Solve r - 6 = 3*q for q.
-2
Let f(w) = w - 1. Let o be f(5). Suppose -6*a + o = -2*a. Suppose 0 = -d + q - a, 0 = 2*d + 2*q - 5 - 13. Solve 14 = -2*m + d for m.
-5
Let l = 2 - -2. Suppose -5*m = -6 - l. Suppose 4*n + 9 = -y + 35, m*y - 22 = -3*n. Solve 3*t + n + 0 = 0 for t.
-2
Let c be (8/(-3))/(2/(-6)). Let u = c - 6. Suppose u*l + 0*l = 0. Solve l = -z - z - 4 for z.
-2
Let y(j) = j3 + j2 - j + 4. Let k be y(2). Solve 4 = k*o - 12*o for o.
2
Let w be 3⁄2 + (-39)/(-26). Solve v = w*v for v.
0
Suppose -15*c + 102 = -3. Let b(g) = g**2 - g. Let q be b(2). Solve c*y = q*y - 15 for y.
-3