Let x be (15/(-3))/(3/(-12)). Suppose 0*r = r - 1, -x = -5*d - 5*r. Suppose 3*w - 3*m = -6, -d*m + 4 = -2*m. Solve -3*y - 1 - w = 0 for y.
-1
Let n = 7 - 2. Let s(k) = k - 5. Let c be s(n). Solve c = -4*o - o - 25 for o.
-5
Suppose 23 + 1 = 2*f. Solve 3*y = -0*y + f for y.
4
Let h(s) = 3*s + 4 - 3 + 2*s - 2*s. Let g be h(1). Suppose 5*b - 42 = -g*y - 4, -3*y - 18 = -4*b. Solve -2*m + 5*m = -b for m.
-2
Let w be (30⁄9)/(4⁄6). Solve 0 = -w*m + 4*m for m.
0
Let o(k) = k + 18. Let n be o(-8). Solve -r = 4*r + n for r.
-2
Let o(v) = v - 3. Let k be o(5). Let z = -2 + k. Let x be z + 3/(-6)*-4. Solve 0 = x*h - 3 - 7 for h.
5
Let w(l) = -l + 17. Let i be w(12). Solve 0 = -i*j + 5 + 10 for j.
3
Let t(v) = v**2 + v + 15. Let q be t(0). Solve -6*n + n = -q for n.
3
Suppose -16 = 5*z + 4, 10 = -2*f - 4*z. Solve f*s = -0 - 3 for s.
-1