Let d be -1*(4 + -10) + -3. Solve 1 = g + d for g.
-2
Suppose 4*c + 5 = 4*q - 7, -2*q + 6 = -3*c. Suppose c*b + b = 3*n - 7, -2*b = -5*n + 11. Suppose 3*o = -b*o. Solve -2*g - 5 - 1 = o for g.
-3
Let a = 4 - 0. Solve -k - a = -0*k for k.
-4
Let g = 0 + -3. Let m be (-31)/(-2) + g/6. Solve -3*y - 3 = -m for y.
4
Suppose f = q + 5, -5*f + q - 10 = 3*q. Solve -8 = 4*g - f for g.
-2
Let h(y) = -y**2 - 3*y - 1. Let q be h(-1). Suppose c + 5 = 6. Let m = q - c. Solve -2*v + v - 5 = m for v.
-5
Suppose -j - 2*u = 1, 3*j + 2*u + 1 + 2 = 0. Let p = j + 2. Let q be (-22)/(-2) + p/1. Solve r = -2*r + q for r.
4
Let m(l) = l - 5. Let z be m(4). Let c be 18/(z + 1 - -1). Suppose -3*k + 2*k = -2. Solve k = -4*s + c for s.
4
Let g(i) = i3 + 2*i2 - 4*i + 1. Let f be g(-3). Solve f*s - 10 = 2*s for s.
5
Suppose 2*g + 1 = 3, 0 = 4*w - 4*g - 12. Let n = 0 + w. Suppose 0 = 5*o - n*o - 12. Solve -4*h + o = -h for h.
4