Let t be -10 + 1*(2 - -2). Let k = t - -11. Solve 1 = -2*n + k for n.
2
Let z be 6/(-5 - -7)*1. Solve 4*i - 1 = z for i.
1
Let z(d) = -1. Let y(x) = x + 10. Suppose 0 = 2*h - v - 14, -h - h - 3*v = -6. Let i(s) = h*z(s) + y(s). Let b be i(-4). Solve b*f - 12 = -3*f for f.
4
Let s = -4 + 1. Let i = -1 - s. Solve -i*g = -0*g for g.
0
Suppose -4*t = -t. Suppose t*n - 3*n = 3. Let a(w) = -3*w - 1. Let d be a(n). Solve -d*k = -k + 2 for k.
-2
Suppose 0 = -b - 2*b + 2*u + 8, -2*b - 8 = 2*u. Solve 0 = c - b*c + 4 for c.
-4
Suppose k - 62 = -5*q, -q + 24 = 5*k + 2. Solve -4*u = -0*u + q for u.
-3
Suppose 3*f = 3*i - 39, 4*f + 21 = 2*i + 3*f. Suppose -c + 0 + i = 5*q, 4*c = -q - 6. Suppose 3*l - q*l - 3 = 0. Solve -t - 2 = l for t.
-5
Let u = -14 - -9. Let c(p) = -p**2 - 2*p + 7. Let s be c(-5). Let x = u - s. Solve 2 = l - x*l for l.
-1
Let k = 121 + -118. Let n(g) = -g3 + 3*g2 - 2*g. Let l be n(2). Solve l*b - b = k for b.
-3