Let q(o) = 2*o - 3. Let i be q(4). Suppose 0 = a - i - 0. Suppose -a*r + 0*l + 26 = 3*l, -12 = -r - 4*l. Solve 1 = 5*n - r for n.
1
Let d(y) = -y + 5. Suppose 0*p + 2*p - 10 = 0. Let l be d(p). Solve l = 3*w - 10 - 2 for w.
4
Suppose 2*h = -6*h + 32. Solve -h*q + 2 = -14 for q.
4
Let r = -171 + 174. Solve -r*w - 12 = w for w.
-3
Suppose -a - 10 = 1. Let m = -9 - a. Solve -5 = m*n - 3*n for n.
5
Let t = -5 + 3. Let d(p) = -3*p - 1. Let l be d(t). Let q be -1 - -20 - (1 + -2). Solve 0 = -v + l*v - q for v.
5
Let i = -1 - -5. Suppose -20 = -4*x + 2*d + 2*d, 21 = 5*x - i*d. Solve -5 = z - x for z.
-4
Let q = -7 + 11. Suppose -4*y + 41 = -19. Let h = y + -10. Solve -k = -h*k - q for k.
-1
Suppose -1 = -n, 3*c + 8*n = 3*n + 14. Solve c*l = -1 + 4 for l.
1
Suppose 30 = 5*o - 5*n, o + 2*o - 17 = 2*n. Suppose o = 2*y + 2*y + 3*h, 3*y + 4*h = 2. Solve -r + 2 = -y for r.
4