Suppose -4*y = 2*v + 10, 2*v + 2*y - 1 + 5 = 0. Solve -16 = -3*f - v for f.
5
Suppose -3*r - 21 = -6*r. Solve -2*c - 1 = r for c.
-4
Let t(s) = -s3 + 5*s2 + 6*s - 1. Let j be t(5). Suppose 2*a = -5*l - j, 0*a + 9 = 3a. Let z be 1(-2 - l)*1. Solve -o + z = -2*o for o.
-5
Let k(y) = -y + 5. Let i be k(-5). Suppose 0 = -5*z + i + 5. Solve 1 = b + z for b.
-2
Let f be (3*1)/((-3)/(-2)). Suppose 0 = 2*z - f - 4. Suppose -2*o + z = -17. Solve 0 = -0*m + 2*m + o for m.
-5
Let o(n) = n3 - 4*n2. Let c be o(4). Solve c = -3*i - 15 for i.
-5
Let y(q) = 2*q - 22. Let v be y(13). Solve -v = z + 1 for z.
-5
Let w = -48 + 55. Solve 3*r = w*r + 20 for r.
-5
Suppose 5*y - 14 = -2*w, 0 = -4*y - 0*w + w + 6. Solve 2*q - y = 2 for q.
2
Let t be -1 - 0 - (-1 + -17). Let c = -5 + t. Let u be (4 - c)/(0 - 2). Solve -12 = k - u*k for k.
4