Let v(o) = o**2 - o - 1. Let k be v(-3). Suppose t + 4*j - 23 = 0, -2*t - 2*j = -j - k. Solve t*d - 3 = 3 for d.

2

Suppose 0*i = -2i - 4. Let o be (-4)/i(9 + -4). Solve 0 = w - 3*w + o for w.

5

Let s(f) = 15*f - 50. Let m be s(5). Solve 6*a - a - m = 0 for a.

5

Suppose 2*s + 2*y + 2 = 0, 0 = 2*s + 5*y - 0 + 14. Solve -5 = -s*l - 2 for l.

1

Suppose 0 = -2*v + 5 + 11. Solve v = 5*w - w for w.

2

Let a be (-6)/(-8) - (-52)/16. Solve 0 = -i + a - 3 for i.

1

Suppose -3*o + 8*o = 30. Suppose 156 = 3*c + o. Suppose -3*v = 2*v - c. Solve -v = -2*n - 0*n for n.

5

Let c be (31 - 11)*25 - 3. Solve 0*u - u + c = 0 for u.

5

Let i be 39 + (-60)/(-9). Let y(v) = v - 4. Let q be y(i). Solve 0 = -q*k - 4 + 13 for k.

3

Suppose 3*l - 3*h = 51, -4*h = 5*l + 30 - 151. Suppose 3*m = -0*m - 5*o + l, 5*m = -3*o + 51. Let v = -49 + 86. Solve -v + m = -5*b for b.

5