Suppose -12 = 2*i - 5*i. Let j be (0/(-1)*1)/(-2). Let h = j + i. Solve -h*d = -13 - 7 for d.
5
Let j = -2 - -4. Let i(z) = 6*z3 - z2 + z. Let n be i(1). Solve -n*s = -j*s for s.
0
Suppose 0 = -3*l + 2*u - 6*u + 12, 0 = 4*u - 12. Solve -6*r + r - 20 = l for r.
-4
Let c = 80 + -78. Solve 3 = -i - c*i for i.
-1
Let w(z) = -3*z3 + 2*z2 + z. Let r be w(-1). Solve -1 = 5*m - r*m for m.
-1
Let y be 4 + (-2 - (1 - 3)). Suppose 4*c - 44 = -y*j, c + 3*j - 8 = 5*j. Solve 2*o = c - 2 for o.
4
Suppose 0 = f - 5*f. Let s(o) = o**3 + 3. Let m be s(f). Suppose 0*v = v + 4*z + 16, 0 = -m*z - 15. Solve 3*n - v = -n for n.
1
Suppose 38 = 3*y - 10. Let v = 12 + -20. Let t = y + v. Solve 2*b - 2 = -t for b.
-3
Suppose -y = 4*y - 30. Suppose 10 = 2*o + y. Solve -2*x + x - o = 0 for x.
-2
Let f be 8⁄28 + 5⁄7. Let t be (-1 + 3⁄3)/f. Let y be 1/(((-8)/12)/(-2)). Solve 3*s + t = -y for s.
-1