Suppose 0 = -2*t + 11 + 1. Solve -3*z + 9 + t = 0 for z.

5

Let q be 1/((-1)/2) - -4. Suppose 0 = -g + 7 - q. Let n(x) = 3*x - 1. Let w be n(1). Solve -3*z + w - g = 0 for z.

-1

Let v = 32 + -30. Solve -1 = v*n + 1 for n.

-1

Let a be (-6)/1*(-15)/9. Suppose -k + 6*k = a. Solve 0 = k*v - 5 - 3 for v.

4

Suppose -a + 5 - 1 = 0. Solve t + t = a for t.

2

Suppose -10*m + 2*m = 0. Solve m = 3*z - 6*z - 6 for z.

-2

Suppose 5*t = 2*a + 2*a + 20, -4*a = -2*t + 8. Solve -j + 6*j + 15 = a for j.

-3

Suppose -12 = -3*m - m, 3*m - 12 = -h. Let o = 7 - h. Solve c = o - 5 for c.

-1

Let x(t) = -2*t - 18. Let b be x(-9). Solve 2*w + b*w = -2 for w.

-1

Let q(v) = -7*v**3. Let g be q(-1). Let r(n) = -8*n + 6. Let i be r(g). Let p be ((-4)/10)/(5/i). Solve p*y + 0*y = -12 for y.

-3