Let a(q) = -q**2 + 4*q + 5. Let y(l) = -l - 1. Let i® = -a® + 2*y®. Let c be i(7). Solve -h - h - 4 = c for h.
-2
Let b(v) = 2*v - 15. Let k be b(10). Let n = k + 10. Suppose 8 = x + 3*x - 3*o, 0 = -x + o + 1. Solve -2*f = -x + n for f.
-5
Suppose 0 = 4*a - 25 - 3. Solve -3 = -4*j - a for j.
-1
Let s(m) = 7*m + 10. Let t(j) = 2*j + 2*j + 11 + 4*j. Let v(f) = -5*s(f) + 4*t(f). Let u be v(-6). Solve 0*r - u = 3*r for r.
-4
Suppose 3*p - 2*k + 62 = 5*p, -5*k = -p + 31. Let n = 43 - p. Suppose -c + 2*c - n = 0. Solve 0*w + c = 4*w for w.
3
Let t = 6 + -1. Suppose -4*b - 11 + 1 = 2*k, 0 = -k - t*b - 17. Suppose k = 4*x - 5. Solve x = -c - 0 for c.
-2
Let u(l) = -l3 + l2 + 3*l + 1. Suppose -2*w - 7 = j, 0*w - 6 = 3*w - 3*j. Let d be u(w). Suppose -12 = -4*p + d. Solve n + n - p = 0 for n.
5
Let y(q) = q3 + 5*q2 + 2*q - 2. Let t be y(-4). Let p(n) = -12*n + 3*n + 10*n - 6. Let i be p(t). Solve 4*x + 22 - 6 = i for x.
-4
Let v = -3 + 3. Solve v = s - 5*s - 20 for s.
-5
Let j = -2 - 3. Let f(b) = -b - 1. Let o be f(j). Solve -o*x + 3 = -5 for x.
2