Let n = 14 + -7. Solve n + 5 = 4*v for v.
3
Let b = 2 - 0. Let d(u) = u**2 - 3*u + 3. Let g be d(3). Solve -b*j = -g*j + 4 for j.
4
Let p(z) = -z + 3. Let x be p(-5). Suppose -x*n + 5*n + 21 = 0. Solve n*o = 2*o - 25 for o.
-5
Suppose -d + 1 = 5, n + 3*d + 10 = 0. Suppose -5*y - 5*x + 70 = 0, -44 = -4*y - n*x + 4*x. Suppose -20 = -5*q, -4*q + 15 = 3*o - 10. Solve y = 6*p - o*p for p.
4
Suppose -2*k - 4 = -2*h, k = -2*h + h + 4. Suppose -2*r + 5 = k. Suppose -r*n = y - 15, 4*y - 12 - 6 = -n. Solve -n*b + 2*b = 0 for b.
0
Suppose 0 = -2*m - 2*m. Let l be 1 + 0 + m + 1. Suppose r = 6*r - 10. Solve r = -l*o - 0 for o.
-1
Let p(m) = -m**2 + 9*m - 6. Let j be p(9). Let i(l) = -l + 7 + 7 - 18. Let n be i(j). Solve c = -c - n for c.
-1
Suppose 2*q = -83 + 101. Solve 2*j + q + 1 = 0 for j.
-5
Suppose -j = c - 5, -2*j - 8 = -4*c - 0*c. Solve -12 = 5*p + c for p.
-3
Let a(x) = x + 2. Let m be a(3). Suppose 4*n = -6 + 18. Solve 0 = m*w - 2*w + n for w.
-1