Let m = -10 - -13. Solve -m*d + 20 = -8*d for d.
-4
Let k = 4 - -1. Solve 0 = k*t - 7*t for t.
0
Let u be (10⁄3)/((-8)/(-12)). Suppose -5*l + u = -0. Solve 6 - l = x for x.
5
Let m(w) = -w**2 - 4*w + 5. Let a be m(-5). Solve 0 = -a*s - 3*s - 3 for s.
-1
Let l be 1/((-6)/(-4) + -1). Suppose r = -u + l, 5*r + 3*u = 7*u + 10. Solve -n + r*n = 0 for n.
0
Let t = 4 + -1. Suppose -t*a + 10 = 1. Solve 2 - a = -r for r.
1
Let h be 2 + 2 + 0 - -1. Suppose -2*y + h*y - 9 = 0. Let k = y + 9. Solve -4*v + 0*v = k for v.
-3
Let t(k) = k - 3. Let w be t(4). Let o be (w + -6)*(-6)/10. Solve 4*a = 3*a - o for a.
-3
Let y = 30 + -27. Solve 12 = y*z - 0*z for z.
4
Suppose 0 = -5*x + 15, -3*j + 0*x + 2*x = -3. Solve 2*b - j = -11 for b.
-4