Let c(v) = -3*v - 8. Let x be c(3). Let z = 22 + x. Solve -4*a + z*a = 4 for a.

Suppose 5*g + 1 = 21. Suppose 0 = a + g*a - 60. Solve a = -4*r - 0*r for r.

-3

Let g = 0 - 0. Suppose -3*a - 6*w + w + 6 = 0, w = g. Suppose 3*t = -a*t. Solve 5*v = -t*v - 10 for v.

-2

Let s be (-2)/11 + ⁷²⁄₃₃. Suppose -3*z = -s*z. Solve 0 = 2*j - z*j - 2 for j.

1

Let g = 73 + -73. Solve g = -x - 2*x + 9 for x.

3

Let x = 68 + -68. Solve j + 2 - 5 = x for j.

3

Let x(k) = -k3 + 3*k2 + k + 2. Suppose 0 = -4*z - 20, -3*w - 2*z = 5 - 13. Suppose m - w = -m. Let c be x(m). Solve 2 + 13 = -c*g for g.

-3

Suppose -4*m - 16 + 0 = 0. Let w be 0 + -6*m/6. Solve -w*d = d + 10 for d.

-2

Suppose -5*f = 5*o - 35, -5*f - 1 = -5*o + 14. Let m be (0/1)/(4/(-2)). Let i = m - 0. Solve 0*u + f*u = i for u.

0

Suppose -4*g + 35 = -13. Solve -g = -5*d + 2*d for d.

4

Let t = 29 - 25. Solve -t*w - w = 5 for w.

-1