Let q be (1 + 31 + -6)/2. Solve 0 = q*s - 9*s + 4 for s.
-1
Let h(v) = 21*v**2 - 2*v + 1. Suppose 5*u = -k, u = 2*k + 4 + 7. Let r be h(u). Suppose 4*w = 4, 2*w - 2 = -b - 0. Solve 4*o - r = -b*o for o.
5
Suppose 40 = -4*q + 8*q. Solve -q = 4*c + c for c.
-2
Suppose 0 = 3*w - 12 + 3. Let j(y) = -y**2 + 2 - 2 - 2 + w. Let u be j(1). Solve 0 = 4*d - u + 4 for d.
-1
Let k(o) = o - 8. Let i be k(10). Solve -3*u + i*u = 0 for u.
0
Let s(j) = j. Let o be s(2). Solve -w + o = -3*w for w.
-1
Let x(j) = 3*j - 1. Let m = -3 + 5. Let u be x(m). Solve -2*c + u*c = 0 for c.
0
Let n = 0 - -1. Suppose -5 - n = -p. Let r be p/(1 + 2 + -1). Solve -2*x + r - 13 = 0 for x.
-5
Suppose -u - 5*q = -4*u - 5, 4*u = 3*q - 3. Solve 3*z + 12 = -u*z for z.
-4
Suppose 6 = -3*t + 5*t. Suppose 0 = -3*q + d, -2*q + 0*d + t*d = 0. Solve q = f + 4*f - 5 for f.
1