Let b = 0 + 1. Let w(s) = -s**2 - 5*s + 1. Let v be w(-5). Let m be (v/(1⁄16))/b. Solve 3*q + q + m = 0 for q.
-4
Suppose 0 = 5*h + t + 1 + 1, 0 = 5*h - 5*t + 20. Let d be (-1)/h - (-8 + 6). Solve 0 = f + d for f.
-3
Suppose -f - 12 = -5*y, 2*y + 3*f = -0*y - 2. Suppose 16 = -4*s, -s - 5 = 2*r - 3. Suppose -7 = -5*g - 4*a + 8, 3*g = -5*a - 4. Solve r = y*l + g for l.
-3
Let s(a) = -a3 + a + 1. Let q(u) = -4*u3 + 2*u**2 + 7*u + 7. Let j(m) = -q(m) + 5*s(m). Let c be j(-2). Solve 2*x + 8 = -c for x.
-5
Let a = 84 + -92. Let v be (-84)/10 - (-2)/5. Let n = v - a. Solve 0 = 5*b - n + 10 for b.
-2
Suppose 2*c - b - b = -12, 53 = -3*c - 4*b. Suppose 0 = -2*s - 1 - 13. Let f = s - c. Solve f*w = -17 + 1 for w.
-4
Let c(t) = -t3 + 12 + 9*t2 + 2*t3 - 2*t3. Let a be c(9). Solve 0*y = 4*y + a for y.
-3
Let i = 5 - 2. Suppose 3*h = i, 5*h - 9 + 0 = -2*n. Solve 2*v = v - n for v.
-2
Let z(n) be the first derivative of 3*n**2⁄2 + n - 3. Let d be z(-1). Let o be (0 - d - 2) + 0. Solve o*k = 3*k + 3 for k.
-1
Let r = -9 + 11. Solve -r*b = -3*b - 1 for b.
-1