Let m = 94 + -94. Solve m = 2*x + x + 12 for x.

-4

Let i = 57 - 41. Let c be (-2*1 - -4)*1. Suppose -12 = 5*n - 3*j, -3*n = -j + c + 2. Solve 2*o + 2*o + i = n for o.

-4

Let p = 7 - 2. Suppose -2*v + p*v = -3. Let q be (0 - -1)/(v/(-3)). Solve 16 = -q*i - i for i.

-4

Let k be -2*(-6 - (-3 + 5)). Suppose t = f - 8, -4*f + 3*t - 7*t + k = 0. Solve f + 9 = 5*b for b.

3

Let t(l) = 2*l3 - 2*l2 - 5*l + 2. Let m be t(3). Suppose 16 = -4*z - 4*x + 7*x, -5*x + m = -3*z. Let q be (0/z)/(2 - 3). Solve q*h = -5*h - 20 for h.

-4

Let w(g) = 2*g + 20. Let x be w(-10). Solve 4*d + 1 - 5 = x for d.

1

Let k = 17 - 15. Suppose 5*v - 7*v + k = 0. Solve v = -4*x + 21 for x.

5

Let o(b) = 3*b - 5. Let w be o(5). Suppose 11*j = w*j + 9. Solve -j = 2*k + 1 for k.

-5

Let c = -7 - -8. Solve -j + c = -0 for j.

1

Suppose -30 = -4*x - 22. Solve -3 = s - x*s for s.

3