Let v be 2 + (0 - -10)/(-2). Let w be v*((-4)/(-2) + -3). Solve -w = -s - 8 for s.
-5
Let b be -32/(2-1). Let d = -3 + b. Suppose d*c = 5*c. Solve -2 = -2*u - c for u.
1
Suppose -3*f + 5 = -l, l + l + 5*f = 34. Let i = 6 + 2. Solve -3*c - l = i for c.
-5
Suppose -12 = -2*s + 2*r, 5*s - s - 22 = 3*r. Solve 0*d - s*d = -8 for d.
2
Let g(z) = -z + 3. Let d be g(3). Suppose -5*x = 5*k - 30, 0 = -3*k - d*x + x + 38. Suppose 0 = 3*v - w - k, -3 = 3*w + 3. Solve -8 + 23 = -v*h for h.
-5
Suppose 2*s - 8*s + 30 = 0. Solve 0 = s*c - 0*c for c.
0
Let u(a) = -a**2 - 3*a + 5. Let n be u(5). Let m = 55 + n. Solve -t = 4*t - m for t.
4
Suppose -1 = v - 4. Solve v*t + 2 = -4 for t.
-2
Suppose -3*x + x = 52. Let q = x - -36. Let p be (-2)/(-1) - (-3 + 1). Solve -p*v = v + q for v.
-2
Let l = 44 + -44. Solve -2*m + 3 - 7 = l for m.
-2