Let x = 0 - -3. Let k = 20 - 17. Suppose k*v - 1 = -2*b + 7, x*b - 12 = -v. Solve 2*j - 5*j = v for j.
0
Suppose 12*g - 52 = 20. Solve -2*x = 2 - g for x.
2
Let z(s) = -s2 + 5*s - 7. Let q(g) = 3*g2 - 16*g + 20. Let r(u) = 3*q(u) + 8*z(u). Let a = -23 + 31. Let i be r(a). Solve -3*m = -7*m - i for m.
-1
Let k(u) = u**2 + 6*u - 15. Let o be k(-7). Let a = o - -11. Solve -a*c - 6 = -c for c.
-3
Suppose -3*j + 9 = -39. Let g = -14 + j. Solve -g*s - 1 - 5 = 0 for s.
-3
Suppose 2*q - q = 0. Let r = 0 + 4. Suppose q = -c + r*c. Solve -3*n + 1 - 16 = c for n.
-5
Suppose 0 = -5*s - 3*d - 5, -5*s = -d + 6*d + 15. Suppose j - 5*w - 5 = 0, -2*j = -3*w + w - s. Solve j = m - 2 - 1 for m.
3
Let v be 0 - (-5 + 3 - -8). Let t(s) = -s3 - 6*s2 - 4*s - 4. Let o be t(v). Let d(z) = -z3 + 4*z2 - 3. Let q be d(3). Solve -q*a = -a + o for a.
-4
Suppose -4*k = -3*o + 65, -2*o + 6*o - 88 = 5*k. Let u be ((-4)/6)/((-6)/o). Solve -7 - 5 = -u*d for d.
4
Suppose 0 = -5*i + 25, d - 2*i - i = -10. Suppose -d*f + 15 = -0*f. Solve -16 = -v - f*v for v.
4