Let f(i) = -2*i + 4*i + 7 - 13. Let a be f(4). Solve a*b + 1 = 3 for b.

Suppose u + 7 = 2*m - 4, 0 = -2*u - 10. Suppose 0 = -r + 2*r - m. Suppose 0 = -r*v - 0*v + 3. Solve 4*g = 5*g + v for g.

-1

Suppose -2*d = 0, 0 = 4*a - 2*d - 0*d - 20. Solve -a = -0*c + c for c.

-5

Let x© = c3 - 5*c2 + 5*c - 4. Let q be x(4). Let y be (q - 3)/(-3) - -3. Suppose -3*j - 18 = -3*r, -2*r = -j + y*j - 32. Solve 8*o - 3*o = -r for o.

-2

Let l be (0 - (-4)/(-2)) + -1 + 6. Solve -l*s - 15 = 2*s for s.

-3

Let u = -2 + 4. Suppose t = -u*t. Solve -s = -t*s for s.

0

Suppose 7*q - 10 = 2*q. Solve -9 = -q*s - 3 for s.

3

Suppose 6*p = 2*p - 4. Let l be p/(2 - 3) + 3. Solve 0 = -l*i - 6 - 10 for i.

-4

Let t be 5/((-5)/3) + 9. Suppose 75 = t*q - 45. Solve 0 = -2*v - 2*v - q for v.

-5

Let d = -11 + 20. Let y = d - 13. Let u be (-2)/4 - 6/y. Solve -3*z - u - 2 = 0 for z.

-1

Let z be (-22)/(-6) - 2/(-6). Suppose -3*a - z = -4*g - 22, a = -3*g - 7. Let l = g - -3. Solve -2*i + 6*i = l for i.

0