Let a be 1 - -3 - (8 - 6). Solve 0*z + a = 2*z for z.
1
Suppose -15*w + 68 = 8. Solve -w*q - 3 = 1 for q.
-1
Let a = 2 - -1. Suppose -4*p = 4*i - 20, -a*i + 0*p = -4*p - 8. Suppose i = 2*m - 0. Solve m*f + 2 = 3*f for f.
2
Let c(a) = -a + 10. Let i be c(6). Solve -i*v + 0*v + 8 = 0 for v.
2
Let o(s) = -s - 12. Let i be o(-18). Solve f - i*f = -15 for f.
3
Let v© = -c2 - c + 1. Let n(g) = -g2 - 1. Let z be n(1). Let q be v(z). Let b = q + 4. Solve 2*w - 15 = -b*w for w.
3
Let n(p) = p + 6. Let c be n(-4). Let g be 0 - c - -2 - -3. Solve g*u + 2*u = 20 for u.
4
Let k(n) = n + 3. Let a be k(11). Suppose 2*b - a + 4 = 0. Solve -5*z + 5 = -b for z.
2
Suppose 2*z + 2*z - 28 = 4*k, 4*z - 5*k - 32 = 0. Solve z*q - 8 = q for q.
4
Let v = -5 - -11. Solve -14 - v = -5*p for p.
4