Let y = -2 - -3. Let b = y + -3. Let d = 0 - b. Solve -d = 3*s + 1 for s.
-1
Let y be ((-27)/(-6) - 4)*0. Solve -f = -y*f + 4 for f.
-4
Let o(f) = -f**2 + 3*f - 1. Let g be o(2). Let u = 3 + g. Suppose -j = -4*k - 2*j + 48, -3*k - u*j = -36. Solve 0*y - k = 4*y for y.
-3
Let d = -28 - -30. Solve -d = -u + 2 for u.
4
Let u be (3 + -3)/(-4 + 3). Solve u = b + 1 for b.
-1
Suppose 0 = -k - 0*k. Suppose 2*r = -k + 2. Solve -r + 5 = g for g.
4
Let r be (-222)/(-18) - 1⁄3. Let b = r - 10. Solve 0 = b*p + 3*p - 5 for p.
1
Let q be 16⁄10*5⁄2. Solve -q = f + 3*f for f.
-1
Let f = 63 + -55. Solve 0 = -0*u - 4*u + f for u.
2
Let r(f) = -f**2 - 7*f + 2. Let l be r(-6). Suppose 4*a = -3*z + 19 - l, -3*z - 9 = 0. Solve 0*v - a*v = 25 for v.
-5