Suppose -2*m = -23 + 17. Solve -m*z + 8*z = 5 for z.
1
Suppose -i - p + 4 = 0, 0*i + 16 = 5*i + p. Suppose -i*z + 10 = -14. Solve -2*h = z - 0 for h.
-4
Suppose 15 = 4*c - 5. Solve h + c = 6*h for h.
1
Let n be 2/(-6) + 366⁄18. Solve -6*k + k + n = 0 for k.
4
Let a® = r3 + 6*r2 - r - 3. Let t be a(-6). Let o be ((112/(-20))/7)/(1/(-5)). Solve -o = t*u + u for u.
-1
Suppose -k - 6 = -2*k. Let t(w) = -w**2 + 6*w + 5. Let r be t(k). Solve 9 = -r*a - 1 for a.
-2
Let m = -22 + 33. Solve 4*t = 1 + m for t.
3
Let p = -24 - -44. Solve -5*y - p = -5 for y.
-3
Let v(q) = 5*q**2 + q + 1. Let l be 1 + (-2 - -2) - 2. Let i be v(l). Suppose t - 12 = -0*t. Solve t + 13 = i*x for x.
5
Let b(t) = 2*t + 6. Let g be b(6). Let q be 176/g - (-2)/9. Suppose u + 0*z = -z + 2, 0 = -u - 5*z + q. Solve -d - d + 2 = u for d.
1