Let n(o) = -o - 5. Let d = 4 + -13. Let m be n(d). Solve 0*t + 8 = -m*t for t.
-2
Suppose -y + 6 = -0*y. Suppose -s - 3 = -y. Solve j - 4 + s = 0 for j.
1
Suppose 5*a - 3*m = -2*m + 140, 0 = -m. Let q = -17 + a. Solve 5*j + 4 = -q for j.
-3
Let a(x) = x**2 - 4*x + 2. Let l be a(4). Let h be (4⁄8 + l)*2. Solve -h*u + 5 = -0 for u.
1
Let q(b) = -3*b**2 + 1. Let l be q(-1). Let n = l - -6. Solve -4 = -n*j - 0*j for j.
1
Suppose -3*b + 8*b = 0. Let c = 32 - 23. Let o = c + -7. Solve b*j + o = j for j.
2
Let q® = 4*r - 3. Suppose -h = h - 4*x - 14, 5*x = 2*h - 16. Let f be q(h). Let o be 1/(-3) + (-2)/(-6). Solve 5*t + f + 11 = o for t.
-4
Let t = 65 + -45. Let n be (496/(-44))/(-4) + 34⁄187. Solve -2*g = n*g + t for g.
-4
Let c be ((-2)/(-3))/((-28)/(-378)) - 2. Solve -3*j = -c + 4 for j.
1
Let v be (2/(-6))/((-1)/15). Let b = -4 + 5. Suppose -9 = -v*r + b. Solve -r*y - 2*y - 8 = 0 for y.
-2