Let c = 2 - -5. Solve -2*n - 1 = -c for n.
3
Let c be 2⁄4*-3*2. Let s be 6 - (0 - -3) - c. Solve 0 = -7*o + 4*o + s for o.
2
Let d = -3 - -6. Suppose 4*c = d*c + 1. Let l = 11 - 7. Solve l*a + 3 = -c for a.
-1
Suppose 0*b - 5*b + 70 = 0. Suppose v = -j + 2, -v + 4*j = 8*j - b. Let g be v/(-3) - 8/(-6). Solve -g*z + 2 = 8 for z.
-3
Suppose 5*z - 52 = 2*h, -4*z - 5*h = -3z - 5. Let f = 1 + 0. Let r be (2 + -3)(1 - f). Solve -2*u + r*u = z for u.
-5
Let a(z) = z**2 + 15*z + 14. Let l be a(-14). Solve l = 2*v + 1 + 5 for v.
-3
Let r be (-1)/(-2) + (-2)/4. Let f = 1 + -2. Let n(m) = 5*m**2 - 1. Let d be n(f). Solve r = -0*o + d*o + 4 for o.
-1
Suppose 0 = -4*d - 0*d + 4. Let u be d - 1/(2/(-48)). Solve -u = -3*m - 2*m for m.
5
Let n = 12 - 8. Suppose -n*v - 63 = -5*w - v, w + 5*v = 35. Solve -3*a + w = 3 for a.
4
Let a(k) = k2 + k + 3. Let r be a(0). Let i(d) = -d3 + 5*d**2 - 2*d - 2. Let y be i(4). Suppose r = -3*p + y. Solve 4 + p = x for x.
5