Let p = -7 + 12. Let s be p/2*(-4)/(-5). Suppose 0 = 3*u + s*u - 15. Solve 0 = v + u - 0 for v.
-3
Let t(g) = 9*g**2 + 2*g - 1. Let h be t(1). Let k = -6 + h. Solve 0*n = 2*n + k for n.
-2
Suppose 6*s - 4*h + 28 = 2*s, 5*h + 45 = -3*s. Let l be 1*s/(-4)*2. Solve -8 = -o + l*o for o.
-2
Let l = -3 - 0. Let u be -1*(-8 + (l - -6)). Solve -j + u*j = 8 for j.
2
Let u be (-2)/(-4) + 2⁄4. Let b be (1 - 3/u)/1. Let y be (b - -1)*4/(-4). Solve -3 = -g + y for g.
4
Let y(k) = 2*k + 8. Let z be y(6). Suppose 4*d - 28 + 0 = 0. Suppose d*c = 2*c. Solve c = 3*t + 5 - z for t.
5
Let o = -22 + 24. Let k be 2/(-4)*o - -16. Solve 2*w + k = -3*w for w.
-3
Let t® = r3 - 7*r2 + 1. Let p = 5 + 2. Let m be t(p). Suppose 4*j = 13 - m. Solve 0 + j = -c for c.
-3
Let a = 11 + -9. Let o = -1 - -1. Let j = a + o. Solve j*d + 1 = 3*d for d.
1
Suppose -k + 11 = 2*b + b, -3*k = 3. Let l = 3 + 1. Suppose b*o = 3*o + l. Solve -2*g = -o + 2 for g.
1