Let o = -1 - -7. Let q be (2/(-6))/((-1)/o). Solve -5*f - q = 3 for f.
-1
Let q = -5 + 1. Let w = q - -14. Suppose -l = l - w. Solve -o + 8 = -l*o for o.
-2
Let a(u) = -u + 10. Let k(d) = d + 2. Let s be k(5). Let z be a(s). Suppose -4*v - 1 + z = -3*w, -w - 2*v = -6. Solve -w*c + 2 + 0 = 0 for c.
1
Let n be 20⁄3*24/(-20). Let i be (-26)/n - 4⁄16. Solve -3*o + 4*o = i for o.
3
Let u be -1*6*1/(-3). Let r be 0 + (u - 3) + 1. Solve r = -9*i + 5*i for i.
0
Suppose 0 = -14*n + 18*n - 80. Let c(x) = x**2 + 4*x + 3. Let a be c(-3). Solve 5*u + 0*u - n = a for u.
4
Suppose -z + 4*p = 12, -z - 3*p + 2*p = -3. Solve -l + 0 - 5 = z for l.
-5
Let d(u) = -u + 1. Let g be d(-7). Let x = 11 - g. Solve -b + x = 1 for b.
2
Suppose 0*k + 2 = k. Suppose 0 = 4*f + k - 10. Solve 10 + 0 = f*j for j.
5
Suppose 20 = 5*m + 5*g, 3*m = -0*g - 4*g + 11. Suppose -m*q = 17 - 52. Solve -5 = -4*r + q for r.
3