Suppose 4 = r - 3*z - 3, 3*r - 21 = -z. Let u(v) = -v + 4. Let w be u(1). Let s(k) = k3 - 2*k2 - k - 3. Let n be s(w). Solve 2*g - r = n for g.
5
Suppose 17*n - 5*z - 1 = 13*n, 2 = 2*n - 2*z. Solve n*k = 18 + 2 for k.
5
Suppose 2*x = 2*g - 0 + 6, -5*x - 9 = 3*g. Solve -s = -x + 1 for s.
-1
Let w(p) = 2*p**2 - p - 1. Let d be w(-1). Solve -r + 0*r + d = 0 for r.
2
Let r(z) = 4*z - 3. Let p(t) = -t - 1. Let f(s) = -3*p(s) - r(s). Let q be f(5). Let k = q + -1. Solve k = 3*v + 11 + 1 for v.
-4
Let u be 3/(-6) + 18⁄4. Suppose -2*b - u = -10. Solve 3*s = b - 0 for s.
1
Let s(p) = 9*p**2 + p + 1. Let a be s(-1). Solve 0 = 4*z + 3 + a for z.
-3
Let c = -3 + 2. Let l = c - -6. Suppose -l = -3*r + 4. Solve -2*p + r = -p for p.
3
Suppose -2*d = 3*d. Solve d = 2*p - 6*p for p.
0
Let i(x) = -3*x + 42. Let c be i(10). Solve 7*o + c = 3*o for o.
-3