Let w(p) = -p - 3. Suppose 4*t - 42 = 5*f, 2*f + 2*t + 9 = t. Let j be w(f). Suppose -6*m + 6 = j*l - m, 4*m - 10 = -5*l. Solve 0 = -l*r - 2 - 0 for r.
-1
Let z = 26 - 16. Let f = -7 + z. Solve -6*m + f = -3*m for m.
1
Let u(b) = 3*b - 2. Let z(s) = -2*s + 2. Let v(w) = 7*u(w) + 6*z(w). Let h be v(2). Solve -4*q = 4 - h for q.
3
Let p(h) = h3 - 2*h2 - 3*h + 7. Let f be p(3). Solve f*z - 2*z = 20 for z.
4
Let v(w) = -w3 - w2 + w + 1. Let l be v(0). Let r = 3 - l. Suppose 3*p - 3*o = -6, -r*p + 10 = -3*p + 3*o. Solve 0 = 2*n + p*n - 20 for n.
5
Suppose -12 = 3*y - 33. Solve 20 = y*t - 3*t for t.
5
Let q(l) = -5*l + 2 - 4*l3 + 3*l3 - 4*l2 + 10*l2. Let z = -1 - -6. Let r be q(z). Solve 0 = -r*d - d - 12 for d.
-4
Suppose 21 = -3*o - 3*a, -5*o - 28 = a + 27. Let v = 8 + o. Let y = -3 - v. Solve y - 6 = -5*p for p.
1
Suppose 2*g - 2*n = 16, -6 + 15 = -3*n. Suppose -2*p + 7*p = g. Let d be -8 - -5 - -7*p. Solve -2*c - 2*c = d for c.
-1
Let b(m) = 5*m - 23. Let k be b(6). Solve -2*n + 5 = k for n.
-1