Let q(g) = g3 + g2 - 11*g + 5. Let v be q(3). Solve 8*a - 10*a = -v for a.
4
Let i = 13 - 7. Let z be i-1(-1)/2. Solve -1 + 10 = z*d for d.
3
Let w be (17 + -12)*(-1)/((-2)/4). Solve -u - u = w for u.
-5
Let i(z) = 2*z + 8. Let b be i(-7). Let a be (3 + b + 3)/(-1). Solve -2*m - 1 + 11 = a for m.
5
Suppose 0 = 5*o + 5, -3*o - 9 = 2*a - 5*a. Let b(h) = 6*ha - 2*h2 - 3*h**2. Let d be b(2). Solve d*u = u for u.
0
Suppose 0 = 2*x - 0 - 6. Solve -x*h - 4 - 11 = 0 for h.
-5
Let a be 68⁄20 + 8/(-20). Solve a*t = -t - 20 for t.
-5
Let m be -20*(2 - (-11)/(-4)). Solve 0 = 2*w - 5*w - m for w.
-5
Let s(p) = 2*p - 13. Let h be s(8). Solve h*v = -v + 4 for v.
1
Suppose -3*s - 2 = -14. Suppose -s*p + 60 = p. Solve k - p = -3*k for k.
3