Suppose 3*h - 48 = -3*l - 0*h, 4*l - h - 59 = 0. Let k be (-3)/(-9)*0/1. Suppose k*t = 4*t - 12. Solve -t*y + l = -8*y for y.
-3
Let z(a) = 6*a - 11. Let w be z(6). Let g = -23 + w. Let f be 12⁄10*40⁄6. Solve g*o = 4*o + f for o.
-4
Let l be 10/(-6)*-3 - 2. Solve 10 = -5*s + l*s for s.
-5
Let i(j) = -j - 3. Let t be i(-6). Suppose 3*u + t - 12 = 0. Suppose -9 = -u*c - 0. Solve -3 = -3*y + c for y.
2
Suppose -5*b = 5*s, 2 = -4*b - 6. Suppose -5*u = s*n - 14, -4*n + 7*n = -2*u + 10. Solve u*c = -2*c - 16 for c.
-4
Suppose j - 7 = -2*t - 2, 5*t - 14 = -3*j. Let m be (-13)/(t + -2 + 0). Solve 0 = 3*u - m + 4 for u.
3
Suppose -q = 0, -v - 2*q = -3*q - 1. Let j be (-4)/(-1) + (v - 2). Suppose -3 - 18 = -j*s. Solve 3*m + 8 = s*m for m.
2
Let a be 2/(-6)*9/(-1). Suppose 2*d + 14 = a*c + 46, -32 = -2*d + 4*c. Solve 3*i + i = d for i.
4
Let r(y) = -y + 3. Suppose 0 = n + 4*n + 5. Let f = n + 4. Let c be r(f). Solve c = 5*l + 15 for l.
-3
Let k = -3 + 5. Let c(o) = k*o - 3*o - 3 - 2. Let f be c(-5). Solve f = -2*t + t + 2 for t.
2