Let n(u) = -u + 7. Let r be n(6). Let h(m) = -47*m + 7. Let l(a) = -24*a + 4. Let t(b) = -3*h(b) + 5*l(b). Let f be t®. Solve -f = -v - 3*v for v.
5
Let d(s) = -s. Let z be d(-2). Suppose a = -z*a + 6. Suppose 2*f + y = -1 - 1, -f - 7 = a*y. Solve -h + 1 = -f for h.
2
Let u(g) = g**2 - 5*g - 6. Let t be u(6). Solve 4*a - 2 - 6 = t for a.
2
Let k = 105 + -102. Let h be (6 - -1) + -1 + 1. Solve -1 = k*l - h for l.
2
Let a(k) = 8*k - 32. Let n be a(4). Solve 0 = -4*i - n*i + 4 for i.
1
Suppose i = -2*i + 6. Let d(o) = -o**2 + 11*o - 20. Let y be d(4). Solve 0*n - y = i*n for n.
-4
Suppose -4*o = -2*n - 28, n = o - 0 - 6. Suppose -9*p + o = -7*p. Solve -h - 7 + p = 0 for h.
-3
Let j = 5 - 0. Let o(s) = -s + 7. Let y be o(j). Solve 4*w - y + 6 = 0 for w.
-1
Suppose 4*p - 6 = 2*p. Solve -p - 6 = 3*b for b.
-3
Suppose 0 = 2*x + 3*w + 15, -5*x - w - 1 - 4 = 0. Let l(d) = -d**2 - 6*d - 4. Let q be (-15)/4 + (-1)/4. Let c be l(q). Solve x = -i - c for i.
-4