Let n be 12 - (-2 - (-6)/2). Suppose 0 = -o - 4*g - n - 2, -3*o + 5*g + 12 = 0. Let i(a) = -2*a - 1. Let w be i(o). Solve v + 0*v = w for v.

Let c = -4 + 7. Let d(w) = 2*w + 33. Let m be d(-15). Solve 0 = c*x - 6 - m for x.

3

Suppose -y + 12 = -2*c - 5*y, 12 = -3*c - 4*y. Suppose 4 + 4 = 2*x. Solve 2*o + c = x for o.

2

Let s(i) = i**2 + 10*i + 1. Let c be s(-11). Let g = 33 - c. Solve -5*y - 6 = -g for y.

3

Let y be -1*3 - (10 + 0). Let s be y/2*2/(-1). Suppose 3 = 4*j - s. Solve -j*g = -3*g for g.

0

Let h(x) = -x**2 + 10*x - 16. Let g be h(5). Solve 3 + g = -4*o for o.

-3

Let z = 267 - 262. Suppose 9*d - 4*d - 20 = 0. Solve d - z = -q for q.

1

Let l be (³⁄₂)/((-2)/(-20)). Let k(b) = b**2 + 2*b - 4. Let w be k(0). Let d be w/14 + ³⁰⁶⁄₄₂. Solve 4*h + l = d for h.

-2

Let j = -7 + -1. Let v = 7 - j. Solve -3*q + 0*q + v = 0 for q.

5

Suppose 0 = 3*b + 4*r - 29, 0*b - 2*r = -3*b - 1. Solve -2*q = b*q + 5 for q.

-1

Suppose 5*s + q = 5 + 17, 4*s - q = 14. Solve -k = k - s for k.

2