Let j be (0 - (-3)/(-6))*0. Let z = j - -2. Suppose -z + 0 = 4*v - 3*q, -6 = 4*v - 5*q. Solve -v = w - 5 for w.
4
Let c = -65 + 65. Solve c = 2*v - 2 + 8 for v.
-3
Let m be 2/(6⁄3)*10. Let b = m + -14. Let k = b + 10. Solve k = -3*v + v for v.
-3
Let p = -26 + 38. Solve -s + 4*s = -p for s.
-4
Let w = -6 + 8. Suppose 0 = -w*q + 7*q. Let a be (3 - q)/(-1 - -2). Solve a*h - 4 = h for h.
2
Let t(s) = 3*s**2 - 1. Let j be t(-1). Solve u = j*u - 3 for u.
3
Suppose -4*g = -4*d + 64, -d - 64 = -5*d + 5*g. Let q be (-2)/6 - (-8)/6. Let i be 7/(-14) - q/(-2). Solve 2*b - 6*b - d = i for b.
-4
Let i = 127 - 115. Solve -4*s - 8 = i for s.
-5
Let n(b) = -4*b - 2. Let r be n(-3). Suppose 3*x = r + 5. Suppose 0 = -x*q + 3 + 7. Solve 0*a = a - q for a.
2
Let b be 276⁄14 + 6⁄21. Let r be (4/(-10))/((-2)/b). Solve 0 = t - r*t for t.
0