Let v(l) = l3 + 5*l2 + 4*l + 2. Let i be v(-4). Let t be 0/(22/(-5) + 8⁄20). Let z = i + t. Solve u + 4 = z for u.
-2
Let s = -7 - -10. Let c(l) = l**2 - l + 2. Let j be c(3). Solve -j = -h - s for h.
5
Let p(l) = l**3 + l + 1. Let c be p(0). Solve 10 = 3*v + c for v.
3
Suppose -2*p = -2 + 8, 0 = -5*d - 3p + 6. Let n be 6/(-4)-2 + -1. Suppose -r = 2*r - n*u - 2, -5*u = -5*r. Solve -r + d = q for q.
1
Suppose 0*p + 2*p = 0. Suppose 0 = -a + 3 - p. Solve -j - 5 + a = 0 for j.
-2
Let b = -7 - -11. Solve 0 = 2*u - u - b for u.
4
Let a(x) = -x3 - x2 + x + 4. Let r be a(0). Suppose 3*v + 36 = o, 5*v + 16 = v. Suppose n = 3, 2*z - z - o = -3*n. Solve t = r*t - z for t.
5
Suppose -36 = -0*o - 9*o. Solve o = 4*l - 4 for l.
2
Suppose 5*u - 16 - 1 = c, 3*c = 4*u - 18. Solve 0*w + w - u = 0 for w.
3
Let g(d) = -2*d + 8. Let f be g(4). Solve f = -2*j + j for j.
0