Let c = 7 - 5. Solve 5 - 3 = -c*z for z.
-1
Suppose -7 = 3*s - 7. Solve 4*q + s = 8 for q.
2
Suppose -2*n + 3 - 1 = 0. Solve -n = 4*f - 5 for f.
1
Let f(z) = z**2 + z - 3. Suppose -7*u = -3*u + 12. Let k be f(u). Solve k*y = -y - 8 for y.
-2
Suppose 2*a = -17 + 3. Suppose -4*t = c, 0 = 5*c - 4*t - 54 - 18. Let y = a + c. Solve -5*q - y = -0 for q.
-1
Suppose 19 = 12*r - 29. Solve -y = r*y for y.
0
Let w(s) = s3 + 5*s2 + 2*s - 3. Let a be w(-4). Solve -a*r - 4 - 16 = 0 for r.
-4
Suppose 0 = -2*x + 10, k - 6 = 2*k - 2*x. Suppose 3 = 4*y - y. Let n be 0 - (1/y + -3). Solve -2*b = n*b + k for b.
-1
Let q = 1 - 1. Solve 0 = a - q*a + 4 for a.
-4
Let v = -9 + 16. Suppose -3*m + 2 = -1. Let q = m - -2. Solve q*k = v*k - 12 for k.
3