Let m = 3 + -2. Let k(v) = -7 + m + 8 - v. Let z be k(0). Solve -y + z = 1 for y.
1
Let j be (-2)/(2/(-10)*-2). Let c = j - -5. Solve c = 7*i - 3*i - 4 for i.
1
Suppose 0 = -2*o - 5*f + 3 - 13, -3*f = -2*o + 6. Suppose o*r - 4*r + 24 = 0. Solve -s = -r*s + 25 for s.
5
Suppose -4 = -2*c, 3*n + 3*c + 2 = 8. Solve n*w - 1 = w for w.
-1
Let q(l) = -2*l - 27. Let u be q(-16). Solve -3*v + u = -1 for v.
2
Suppose 3*k = -0*k + 3. Solve t + 0*t + k = 0 for t.
-1
Let u(b) = -2*b + 1. Let y be u(1). Let r be y - (-16)/2 - 2. Solve -r*d + 4*d - 1 = 0 for d.
-1
Let r(x) = x**2 + 8*x + 6. Let n be r(-9). Let f = n + -13. Solve -j + f = j for j.
1
Let c = 8 + 5. Solve -2 - c = -3*i for i.
5
Suppose -g - 3*z = -6*z - 8, 0 = -3*g - z + 4. Solve 4 = g*x + 2 for x.
1