Let i(v) = -v**2 - 8*v - 3. Let q be i(-7). Suppose -3*t + t = -q. Suppose -n + 6*n = 10. Solve 0 = n*o + t - 12 for o.
5
Let m be -3*(-5)/(-15) + 9. Solve 6*c = 2*c + m for c.
2
Suppose -4*k + 10 = k. Suppose y - 9 = -2*q + k*y, 2*q + y - 15 = 0. Suppose 2*p = q*p - 20. Solve -p*j = -3*j + 8 for j.
-4
Suppose 4*q + 4 = 3*q. Let g = q + 4. Solve 2*k - 6 = -g*k for k.
3
Let i be 6*(15/(-9) - -2). Let h(b) = -2*b - 5 - i + 3*b - 2*b. Let p be h(-8). Solve p = 4*m - 3*m for m.
1
Let q© = -c + 7. Let o be q(9). Let d = 0 - o. Let k be 1*-9*d/(-6). Solve -6 = k*t - 0 for t.
-2
Suppose -4*j = -0*j. Suppose 0*i + i = -y - 2, j = 4*i - 4*y - 24. Let r(u) = u**2 + u - 2. Let c be r(i). Solve -5 - 11 = c*p for p.
-4
Let h be -2 + 5 + 1*-1. Suppose 0 = -3*j - 2*j. Suppose -4*i + 9 = -l, l + 0*l = -1. Solve 0*b + h*b + i = j for b.
-1
Let c be (3 + -23)*(-2)/4. Suppose 4*i - 36 = -2*i. Solve i*d - c = d for d.
2
Let j be (0 + 0)*(-4)/12. Solve 2*w + 4 + 6 = j for w.
-5