Let b = -37 + 21. Let v = -9 - b. Solve -2*x + v*x = 25 for x.
5
Let h(v) = 2*v**2 + 1. Let o be h(-1). Solve -7*n + 8 = -o*n for n.
2
Let d be (-1 - 2*-1) + 1. Suppose 5 = d*g - 5. Suppose g*a - 3 = 2*v + 3, -4*v = 5*a + 12. Solve 0 = -u - a*u for u.
0
Let o(g) = g3 - 16*g2 - 35*g - 2. Let f be o(18). Solve n = 5*n + f for n.
-4
Let u be 1⁄4-2-6. Suppose 0*c = u*g + c + 3, 4*g - 9 = 3*c. Solve -2*i + 3 + 3 = g for i.
3
Let y = 2 - -2. Suppose -2*u - 3*r - 8 = -26, 2 = u - 2*r. Solve u = -i + y*i for i.
2
Let i(x) = 3*x - 7. Let n be i(3). Suppose -11 = -n*d - 7. Solve 0 = 3*r - 4*r + d for r.
2
Suppose -11 + 19 = 2*s. Solve 2*c = -s - 0 for c.
-2
Let b be (-8)/6(-3)/(-2). Let q be b/2(2 - 4). Let z = q + 4. Solve -5*p = -1 + z for p.
-1
Suppose -4*n + 4*i - 9 = 7*i, -5*i - 15 = -4n. Let p be n-3*1/(-6). Solve p = -d - 4*d + 10 for d.
2