Let t(l) = l3 + 3*l2 - 4*l - 10. Let d be t(-3). Solve 10*x + d = 8*x for x.
-1
Suppose -2 = 3*u - 4*u. Let v(o) = o**3 - o + 2. Let s be v(u). Solve 4*p + 28 = s for p.
-5
Let k(u) = 2*u - 3. Let c be k(2). Solve 2*s - 9 = -c for s.
4
Suppose k - 3*l = 3*k + 8, 5*k + 4*l = -13. Let h be 29⁄4 + k/4. Let v(a) = a**2 - 17*a + 2. Let r be v(17). Solve -3*o + r = -h for o.
3
Let p = 3 - 1. Solve 4 - p = -2*z for z.
-1
Suppose 0 = 4*z - 2*z. Let n = -1 - -3. Solve -2*j - n*j - 16 = z for j.
-4
Suppose 0 = 4*b + c - 15, 0 = -5*b + c - 0 + 12. Suppose 8*a - 7*a - 2 = 0. Let j be (b/a)/((-6)/(-40)). Solve 0 = -4*q - q + j for q.
2
Let n be 2⁄2 + (-72)/(-18). Let s(f) = f3 + 6*f2 + 4*f + 1. Let t be s(-5). Let g be 4/(-6) - (-22)/6. Solve g*i = n*i + t for i.
-3
Let t(u) = -u - 3. Let b be t(-5). Suppose 4*a - 4 = x, 5*a + 7 = -b*x + 4*x. Solve 5*n + x = -4 for n.
-4
Let k be 1/(-4) + 9⁄4. Suppose 5*d = 34 + 66. Let y be (30/d)/((-3)/(-4)). Solve m = k*m + y for m.
-2