Let k = 13 + -23. Let b be (-24)/(-10) + 4/k. Let a = -6 + 14. Solve -a + b = 3*y for y.
-2
Suppose -7*w - 2*w = -27. Solve 0*t - w*t = 0 for t.
0
Let r = 5 + -2. Suppose 3*v + 4*h = -56, -v + r*h = 4 + 32. Let o = -16 - v. Solve 8 = -o*q + 4*q for q.
-2
Let h be 6⁄4*(-56)/(-21). Solve b = h + 1 for b.
5
Let l(b) = -b + 11. Let u be l(8). Suppose a + 14 = u*a. Solve -d - 2 + a = 0 for d.
5
Let v(d) = d3 - 12*d2 + 13. Let r be v(12). Solve -5*z = -r - 2 for z.
3
Let i(w) = 11*w - 5*w3 + w2 + 6*w3 + 12*w2 - 12. Let t be i(-12). Solve -1 = -x - t for x.
1
Let h be 114⁄9 - 4⁄6. Let g be ((-4)/h)/(1/(-30)). Solve 4*t = 2*t - g for t.
-5
Suppose 3*u - 20 = 4*t, -12 = -2*u + t - 2. Let s = -8 - -11. Let b = 7 - s. Solve -b*r + 12 = u for r.
2
Suppose -5*l = -3*f + 170, -52 = -f + 4*l + 14. Suppose 50 + f = 5*q. Suppose -m = m - q. Solve -m = -5*d + 10 for d.
4