Let d(z) = -2*z + 9. Let m be (32⁄20)/((-4)/(-10)). Let b be d(m). Solve -b = 4*r + 15 for r.
-4
Let k(d) = 4*d**2 + 1. Let n = -9 - -10. Let v be k(n). Solve v = 4*f + f for f.
1
Suppose 2 = -d + 3. Let m be ((0 - 0) + 0)/d. Solve m = -w - 2*w for w.
0
Suppose 5*f - 9 + 34 = 3*t, -10 = 2*f. Solve -3 = -3*i - t*i for i.
1
Suppose 0*f = 4*f - 8. Solve -h + 15 = f*h for h.
5
Suppose 0 = -2*y - 3*y + 10. Suppose 6 = -4*a + y. Let c = -1 - a. Solve -4 = k - c*k for k.
-4
Let r = 1 + -9. Let v be (-2)/r - (-24)/32. Solve -6 + v = -5*f for f.
1
Let n(w) = -w**2 - 6*w - 5. Let v be n(-3). Solve -v*i + 13 = -7 for i.
5
Let k = -6 + 4. Let j© = c**2 + c - 2. Let z be j(k). Solve m + z = 2 for m.
2
Let d(i) = 6*i + 3. Let h be d(-2). Let p be h/(-12)*4 + -3. Solve p = -0*k + 3*k + 9 for k.
-3