Let b be (0/(-4 - -1))/2. Suppose b = -2*j - j + 12. Suppose 4*t - j = 16. Solve 0 = 5*z - t for z.
1
Suppose -4 - 3 = -b. Suppose -b = -d - 2. Solve 0 = d*i + 23 - 3 for i.
-4
Let y be -2 - (-4 + 3⁄1). Let v be (1 + y)/(-3 + 1). Solve -4*u + v*u - 8 = 0 for u.
-2
Let z = -2 + 7. Let q = z + -3. Solve 5*p = q*p for p.
0
Let c = 5 - 2. Let t = c + 2. Suppose t*h = -15 + 50. Solve 1 = -2*v - h for v.
-4
Let c(z) = 2*z**2 + 40*z + 42. Let h be c(-19). Solve h*n = 3*n for n.
0
Let d = 4 - 3. Suppose m - 7 = -d. Suppose m + 4 = 5*s. Solve -s*b + 9 = 3 for b.
3
Let q be (1/(-1) - -3) + 6⁄1. Solve -1 = -3*o + q for o.
3
Suppose -5*x = -0*x - 30. Suppose 0 = -4*w + 18 + x. Suppose 0 = 6*r + 4*r. Solve -c - 2 + w = r for c.
4
Let v be 5⁄5 + 9*1. Let j = 1 - 2. Let z = j - -1. Solve -6*i + i - v = z for i.
-2