Let p = 5 + -5. Let y be p + (6 - -3) + 0. Solve -y = -2*o - o for o.
3
Let k be 6⁄12 + 0 - 7/(-2). Solve -6*b = -k*b + 2 for b.
-1
Let u = -4 + 8. Let d = -2 + u. Let x be (5/(-25))/(1/(-5)). Solve -k = d - x for k.
-1
Suppose 3*v - 5 = -t, -6*v + 3*v + 10 = -4*t. Suppose 4*w = -n - 22, -5*n - v + 30 = -3*w. Let h(d) = -d**2 - 8*d - 6. Let l be h(w). Solve l*u - u = -10 for u.
-2
Suppose -t + 6 = 2*a, 4*t - a - 30 = -6. Solve 0 = -t*c + c + 15 for c.
3
Let s be -3 + 1 - (-8 + 2). Suppose -5*z - 2*n - s = 0, -3*z - 4*n = 8 - 0. Solve z = -2*f + 5*f - 9 for f.
3
Let v = 18 + -13. Suppose -3*w + 4*l - 20 = 0, w - 1 = 4*l - 21. Suppose -8 = -a - w*a. Solve -v*z + a = -z for z.
2
Let a = 4 + -4. Let p = 2 - a. Solve 5*w = p*w - 15 for w.
-5
Let f = -1 + -1. Let u = -3 + 2. Let k be fu/(-6)-9. Solve -k = -3*v - 0*v for v.
1
Suppose 0 = 5*p - p. Solve -z = 1 - p for z.
-1