Let y = -8 - -11. Solve y*r = 2*r - 3 for r.
-3
Suppose 0 = 4*v - 43 - 13. Let o(f) = f - 4. Let t be o(5). Solve -3*g - v = t for g.
-5
Let k(l) = l + 5*l3 - 1 + l2 - 3*l + 3*l + 0*l**3. Let c be k(1). Solve -c = 2*s - 2 for s.
-2
Let h = 11 + -10. Let p be 2 - -1 - (h - -2). Solve p*u = -5*u + 15 for u.
3
Let o be ((-2)/6-3)/1. Let k be 4(1 + 7/(-4)). Let h be 4 + k + (o - 0). Solve -h = w + 1 for w.
-3
Let k = 30 + -20. Solve k + 2 = -4*c for c.
-3
Let s(h) = 3*h + 1. Let d be s(1). Solve -d*u - 20 = -0*u for u.
-5
Let x = 144 + -140. Solve 5*p - x = 1 for p.
1
Suppose 4*u - 11 = -3. Let d be 1/((4/(-10))/(-2)). Solve d*n = u + 3 for n.
1
Suppose -2 - 12 = -t. Solve 0 = 2*u - t + 4 for u.
5