Let s© = 2*c**2 - c - 3. Let m be s(-3). Suppose 7 = 5*l - m. Suppose -o - 1 = -l. Solve o*w + 7 + 5 = 0 for w.
-3
Let q(x) = -x**2 + 5*x + 2. Suppose -3*c - c + v + 17 = 0, 15 = 5*v. Let f be q©. Solve f*o + 3 = -o for o.
-1
Let y(t) = -t + 12. Let z be (6/(-3))/(-2)*0. Let a be y(z). Solve 4*v + 8 + a = 0 for v.
-5
Let p be 20/(-6)*(-126)/15. Suppose 4*q - p = -0*q. Solve 25 = -2*k + q*k for k.
5
Let o(u) = 5*u - 1. Let g = 1 - -1. Let h be o(g). Suppose k + 5*c - 16 = 1, -3*c + h = 0. Solve k*a - a = 5 for a.
5
Let z = 7 - 0. Let o = -4 + z. Suppose o*m - 34 = -4. Solve 0 = -2*i - 0*i + m for i.
5
Suppose 0*w + w - 3 = 0. Suppose -5*n = 4*l + w - 11, -l = -5*n - 2. Solve n = -4*r + r - 9 for r.
-3
Let o = -16 - -7. Let p be (-2)/(-3) - 12/o. Solve f - 1 = p*f for f.
-1
Suppose 13 = 5*q + 3. Suppose 2*l + q*m - 50 = -0*m, 0 = -l - 4*m + 13. Suppose 5*z - u - l = -0*u, 5*u + 20 = 0. Solve -3*t - 1 = z for t.
-2
Let z be (-2)/8 - (-43)/(-4). Let x = z + 13. Solve b + x = -b for b.
-1