Let z = 12 - 4. Let t = z + -5. Solve 8*l + 10 = t*l for l.
-2
Let f(u) = u**2 - 5*u - 9. Let j be f(7). Solve 16 = -j*i + 41 for i.
5
Let h(f) = f3 + f2 - f + 1. Let y(j) = -3*j3 - 4*j2 + j - 3. Let m(s) = 4*h(s) + y(s). Let k be m(3). Suppose 4 = x + 3*x. Solve -4*l = x + k for l.
-5
Let x(g) = -8*g - 35. Let r be x(-5). Suppose 3*h = -b + 23, 3*b + 0*h = 2*h + 47. Solve r = -3*o + b for o.
4
Let c(f) = -f. Let l(q) = 6*q + 2. Let y(p) = -5*c(p) - l(p). Let w be y(-9). Solve 0 = w*s - 2*s for s.
0
Suppose 8*z = 14*z - 30. Solve 0 = -5*c + 4*c + z for c.
5
Let a(b) = -6b + 1. Let u be a(-1). Let m be (0 - 1)(-2)/1. Suppose -25 = -3*s + m*g - 8, -5*s - 2*g + 23 = 0. Solve s*l + u + 3 = 0 for l.
-2
Suppose 3*x - v - 10 + 3 = 0, -x + 4*v - 16 = 0. Solve 0 = -0*k - x*k - 8 for k.
-2
Suppose 3*s = -2*s + 20. Suppose s*a = 13 - 5. Solve 0 = -x + a*x - 1 for x.
1
Suppose 0 = -3*u - 4 + 40. Let t = 22 + -14. Let w be (30⁄4)/3*2. Solve w*y = -u - t for y.
-4