Let t be ((-8)/6)/(2/(-12)). Let z = t - 8. Solve 2*n + 2*n - 16 = z for n.
4
Suppose -2*s + s = 0. Suppose 2*m = -8m + 90. Let q be s(2 - m/3). Solve j - 1 = -q for j.
1
Let w = 6 - 4. Suppose -s = 3*s + 28. Let q = s - -10. Solve q = w*p + p for p.
1
Suppose 4*k - 4*n + 3*n = 26, -26 = -3*k + 4*n. Solve -k*t + 2*t - 8 = 0 for t.
-2
Let n be -20*(-2 + 14⁄8). Suppose 0 = -5*w - 0 + n. Solve -5*q - 14 = w for q.
-3
Suppose 5*n + 2 = 2*t + 20, -2*n + 4*t = -20. Solve -5 = -3*a - n*a for a.
1
Let c(z) = z**2 - 7*z + 13. Let d be c(4). Solve 0*l - d = l for l.
-1
Suppose -4*o - 3*g = -11, 2*o = 3*g - 2*g - 7. Let a be o + (1 - 1) + -5. Let u = a + 8. Solve -v = -u*v + 3 for v.
3
Let d be 6/(6 - 3) - -63. Suppose 5*j + 3*q = 5*q + d, 0 = -2*j + 4*q + 10. Solve 3*a = 6*a - j for a.
5
Suppose 6*n = n - 30. Let t = 11 + n. Suppose -3*q + 29 = -q - 5*l, 0 = -3*l - 3. Solve -q = -t*v + 13 for v.
5