Let x be (-4)/1*2/(-8). Suppose -x = -3*g + 2*y + 4, -3*g = 2*y - 25. Solve -g*t = -t + 4 for t.
-1
Let r(s) = s + 15. Let d be r(-12). Solve d*i = 8 - 23 for i.
-5
Let g be -2 - ((-1 - 22) + 1). Let q = g + -10. Solve -4*l + q = l for l.
2
Let t(d) = -3*d - 11. Suppose 0*v - 4*v = 20. Let j be t(v). Solve -j = l - 2*l for l.
4
Let d(j) = -j + 2. Let w be d(2). Suppose w*n - 40 = -5*n. Solve n = -5*z + 3*z for z.
-4
Let x(t) = -7*t + 2. Let b be x(-3). Solve b = -4*p + 3 for p.
-5
Let s = 8 - 4. Let w(a) = 5*a**2 + a - 1. Let h be w(1). Suppose -4*z - 3*t + 28 = -0*z, -z + 5*t = -7. Solve s*x + h = -z for x.
-3
Let a = -2 - -4. Let l = -25 + 25. Solve -x - a*x = l for x.
0
Let g(a) = 4*a - 4. Let h(k) = 1. Let m(q) = -g(q) - 4*h(q). Let r be m(-1). Solve -r = 3*l - 1 for l.
-1
Let h = -17 - -23. Solve h = -0*o + 3*o for o.
2