Let t = 0 + 20. Let i = t + -15. Solve 9 + 11 = i*q for q.

Suppose 0 = s - 2*s - c + 6, 2*s - 4 = 2c. Let v = 5 + -3. Let u be -10(³⁄₂ - v). Solve 3*r + s = -u for r.

-3

Let j = -10 - -15. Let w be (j/(-10))/(2/(-136)). Let r be ⁴⁄₁₈ + w/9. Solve -4*v - r - 4 = 0 for v.

-2

Suppose 0 = -b + 7 - 3. Suppose -10 = -x - x. Suppose i - 3*o = -6, -x*i - o = o - 21. Solve s + b = i for s.

-1

Suppose 0 = -q - 0*q. Let a be (2/(-5))/(2/(-10)). Suppose c - t + 2 = 0, 2*c + t = -a*t + 6. Solve c = 2*n - q*n + 6 for n.

-3

Let g = 17 - 14. Suppose -3*v = -g*y - 2 - 1, 5*y = 3*v + 3. Solve -4*x = y + 5 for x.

-2

Suppose 4*s = 4*b - 8, -3*s + 8 = -0*s + 4*b. Suppose 5*g = -3m + 34, -m - g + 7 + 1 = 0. Let n be -25-6*m/30. Solve 4*l + l - n = s for l.

3

Let q(f) = f**2 - 7*f - 6. Let d be q(9). Solve -3*o + d - 27 = 0 for o.

-5

Let v(y) = y**2 + 2*y - 2. Let d be v(-6). Let z = -2 + 4. Let a = 2 + 3. Solve a*x = -z + d for x.

4

Suppose -2v - 3 = -11. Let a be (-10)/14 - (-4)/(-14). Let c be a(-2)/4*0. Solve -12 = -c*s + v*s for s.

-3

Suppose 0 = 2*d + 2*o - 12, -2*d - o + 3 = -5. Solve d*t = 3*t - 1 for t.

1