Let f be -17*(-1 - 0/3). Let y = f - 14. Solve -y*m + 2*m + 5 = 0 for m.
5
Suppose 2*w + 18 = 8*w. Solve 2*r + 10 = -w*r for r.
-2
Suppose 0 = -3*k - 6. Let p be (-12)/(-2) + k - -1. Solve -p*z + 2*z - 3 = 0 for z.
-1
Suppose 4*n - 9*n = -20. Suppose -2*d - n = -6*d. Solve -4 + d = u for u.
-3
Let m(h) = 2*h**2 - 3*h + 2. Let t be m(2). Suppose 0 = 3*j - 4*v + 3*v + 8, v = 5. Let r = t + j. Solve 2*q - r = -5 for q.
-1
Let r(y) = y + 6. Let s be r(-6). Solve s = 5*p - 3 + 23 for p.
-4
Let r(o) = -o3 + 2*o2 + 4*o - 3. Let d be r(3). Suppose 0 = -2*v + 6. Let k = v + -1. Solve l + k = -d for l.
-2
Suppose i + 3*i - 12 = 0. Suppose 1 = i*z - 5. Solve 0 = f - z + 1 for f.
1
Let f be 10⁄2 + 0/(-3). Suppose -3*j - f = -5*b, 3*j - 2 = 3*b - 5. Solve -4*u - 4 = -j for u.
-1
Let d = -53 + 68. Solve 2*x = -x + d for x.
5