Let x be 16⁄3 + 15/((-180)/16). Solve 5*s + 3 = x*s for s.
-3
Let y(w) = -w3 - 7*w2 - 6*w + 2. Let a = -15 + 9. Let b be y(a). Suppose -5 = 3*q - q + 5*l, 3*q = -3*l - 3. Solve q = b*p - 2 - 0 for p.
1
Suppose 49 = 3*o - 11. Solve -q = -5*q + o for q.
5
Let l be 482/(-12) - (-2)/12. Let n be (-16)/l + 46⁄10. Solve 2*i - n*i = 15 for i.
-5
Let p = -9 + 11. Suppose 0 = v + v. Solve 0 = -v*w + p*w for w.
0
Suppose 4*w = 6*w + 2. Let c be 9 + (w - (1 + -2)). Suppose -c - 7 = -4*y. Solve 0 = 3*r - 2 - y for r.
2
Let x be 2/(-3)*-6 + 1. Suppose -x*r + 2 + 3 = 0. Solve r = -2*i - 3 for i.
-2
Suppose 7*v - 6 = 4*v. Suppose -4 = -0*d - v*d. Solve d*u = 1 + 1 for u.
1
Let v(a) = -a**3 + a + 2. Let x be v(2). Let i be (x/6)/(4/(-6)). Let l be ((7 - -1) + i)/1. Solve 2*w = 5*w + l for w.
-3
Let k(u) = 2*u + 4. Let g be k(-2). Suppose -y = -g - 4. Solve y = p - 1 for p.
5