Let l(k) = -k*3 - k + 2. Let m be l(0). Let j be (24⁄20)/(-3)-5. Solve 3*z - m*z = -j for z.
-2
Suppose 18 = 5*s - 7. Solve -s*l + 5 = -0 for l.
1
Let j(a) = a3 + 11*a2 + 15. Let g be j(-11). Solve 0 = -o - 2*o + g for o.
5
Let o(a) = a**2 - 9*a. Let m be o(10). Let c(t) = -4*t + 1. Let b be c(-1). Suppose b*s + 0*s - m = 0. Solve 0 = -s*y - 1 + 11 for y.
5
Suppose -4*z + 20 = -0*z. Let x(t) = -3*t2 - 2*t + 8*t + 2*t2 - 3. Let q be x(z). Solve 4 + 4 = -q*f for f.
-4
Let x = -23 - -29. Solve -5*n - 1 = -x for n.
1
Suppose r = -r + 12. Suppose -2 - r = -2*i. Solve 8*l + 12 = i*l for l.
-3
Let t = 4 - -2. Suppose t*g = 2*g - 2*k + 6, -3*g - 5*k + 15 = 0. Let o = -4 + 4. Solve g = -q - o*q + 2 for q.
2
Suppose -80 = -6*m + m. Let g be (-8)/m - 10/(-4). Solve -g*k = k for k.
0
Let i(q) = -q**2 + q + 4. Let v be i(0). Let m be (-18)/(-5) - (-20)/50. Let t be -6 + (m - 1) + v. Solve w - 2 = t for w.
3