Let y be -1 - (-22 + -2 - -1). Let o be (-6)/(-3)*y/4. Let w = -7 + o. Solve 1 = h - w for h.
5
Suppose 6*m - 2*m = -2*y, 0 = 5*y + m - 9. Solve -y*x + 11 = 3 for x.
4
Let s be 1/(-1) - 3/(-1). Suppose h - d = d + 2, 4*h - s*d = 2. Solve h = m - 0*m for m.
0
Let s(i) = -5*i - 5. Let m be s(5). Let j be (-8)/(-5)*m/(-12). Suppose 0*r - l - 44 = -j*r, 60 = 4*r - 5*l. Solve -6*u = -u + r for u.
-2
Let n be (15/(-12) + 0)*-4. Suppose -n*j - 2*b = -8, 3 = 3*j + 3*b - 0. Suppose -5*l = -5, -l = -5*d - j*l + 41. Solve y = -d + 4 for y.
-4
Let b be (-2)/(-3)*(0 - -3). Solve -x + b = -1 for x.
3
Let j(f) = -f**2 - 6*f + 3. Let w be j(-6). Suppose 0 = -v + w*v + 8. Let l = -1 - v. Solve x = -l*x + 16 for x.
4
Let n(m) = m - 1. Let b be n(7). Let o be (80⁄15)/(2/b). Solve 0*t = 4*t - o for t.
4
Let y be (-6)/10 + 112⁄20. Let t = 0 + y. Solve -7*o = -2*o + t for o.
-1
Suppose 12 = -3*f, -3*v + 3*f + 0*f = -21. Solve -v*x = -x - 4 for x.
2