Suppose 3*a + i + 2*i - 12 = 0, 20 = 3*a + 5*i. Suppose -5*q + 15 = 5*w, -4*q + 3*w + 5 = -0*w. Solve -f + q = -a*f for f.

Let x be (-1 - -1) + (1 - -23)/6. Solve -x = 3*s + 2 for s.

-2

Let k = 14 + -4. Solve -i + k = 4*i for i.

2

Suppose 0 = -4*t + 4*a - 4, -3*t + 0*a + 1 = a. Suppose 4*k - 8 = -t*k. Let x = 422 - 422. Solve x*f + k*f = -8 for f.

-4

Let f = 5 + -5. Let k be 4/(-12) - 16/(-3). Suppose -5*a + k = -20. Solve -n + 4 - a = f for n.

-1

Let v(d) = d3 - 6*d2 - 7*d + 7. Let o be v(7). Suppose 0 = 2*r - o - 1. Solve -r*s - 18 = -6 for s.

-3

Suppose 0 = o + 4*x - 12, 4*x - 13 + 1 = 4*o. Suppose -3*q - q + 36 = 4*j, 4*q - 24 = -2*j. Let y = j - 2. Solve o = -g - y + 1 for g.

-3

Suppose -3*s - 3 = -0*s - 4*q, 4*s - 9 = q. Suppose 4*t = -4*u, s*t = -3*u + t + 2. Solve -u + 22 = -4*p for p.

-5

Let f be 14/(-49) + ²⁰⁰⁄₁₄. Let n = f - 12. Solve 0 = n*u - 0*u for u.

0

Suppose 2*m = -m + 21. Let i = m + -5. Solve -i - 10 = -3*a for a.

4

Let o(v) = v**2 + 3*v - 3. Let t be o(-4). Solve h - t = 2 for h.

3