Let a = 5 + -3. Suppose -a*f - 3*b - 13 = 2, 21 = -2*f - 5*b. Let g be f + -2 + 1 + 11. Solve 3*l = g + 2 for l.
3
Suppose 0 = 5*c - i + 6 - 7, 5 = -5*i. Solve -p + 3 + 0 = c for p.
3
Suppose 0 = 5*l - w - 13, 3*l = l - w + 8. Solve -4 - 5 = l*t for t.
-3
Suppose -5*m = -8*m. Suppose -2*j = -m*j - 6. Solve -f + 20 = j*f for f.
5
Let z be -6 - -4 - (0 - 4). Suppose -t - z*t = 0. Solve 2 = -t*q - q for q.
-2
Let c be (1*-1)/(4/(-4)). Solve 2*w - c = -7 for w.
-3
Suppose 5 + 10 = l + 4*b, -5*l + 52 = -3*b. Solve 0 = 4*v - l + 3 for v.
2
Let a be (-4 - (0 - 4))*-1. Solve a = o + 2 - 3 for o.
1
Let p(o) = -3*o + 1 - 2 - 4. Let t(x) = x**2 - x - 5. Let v be t(0). Let f be p(v). Solve 3*s - f = s for s.
5
Suppose 2*y + a - 1 = 0, 7*a - 7 = -4*y + 4*a. Let h be (y/(-3))/((-16)/72). Let v be (3⁄2)/(h/(-16)). Solve s + s = v for s.
4