Let z be ((-8)/(-12) - 0)*12. Solve 4*b - z = 12 for b.
5
Let k = -171 - -171. Solve k = -4*n + 7*n - 15 for n.
5
Let x = -1 + 4. Let r = 3 + x. Solve -2*m + 0*m + r = 0 for m.
3
Suppose 4*b = -20, 0 = -5*a + b + 2*b + 35. Let p = a + -4. Let o(v) = -v**3. Let k be o(p). Solve k*q - 3*q + 12 = 0 for q.
4
Suppose -3*v + 38 = 5*s, -2*s + 27 = 2*s - v. Let p = 11 - s. Suppose 4*h = -p*j, j + 3*j - 2*h = 6. Solve 4*o + 5 = j for o.
-1
Let x(a) = 6*a - 6. Let r(k) = -k3 + 8*k2 + k - 3. Let z be r(8). Let j be x(z). Suppose -3*p = -7*p + j. Solve 0 = -5*d - 16 + p for d.
-2
Suppose 0*l - 6 = -2*l. Suppose -l*d + 4 + 0 = 4*j, -5*d - 4*j + 4 = 0. Suppose 3*n + 3*z - 1 - 2 = 0, 3*n = -z + 7. Solve d = n*t + 2*t - 10 for t.
2
Let g(q) = 37*q - 1. Let r be g(1). Let j be 2⁄8 - (-27)/r. Solve -3*p + j - 4 = 0 for p.
-1
Suppose 2*k + 4*q - 10 = 0, 0*q + 4*q - 8 = 0. Let l be (1*6/k)/2. Solve 2*s = s - l for s.
-3
Suppose 2*h + 8*h - 20 = 0. Solve 5 = -h*o - 1 for o.
-3