Let x(n) = 11*n. Let a be x(-2). Let b be (-2)/(-4) - 11/a. Solve 0*l + l - b = 0 for l.
1
Suppose y = -0 + 2. Let o(q) = q - 4. Let x be o(6). Let r be 0 - (-3 - x - 0). Solve -r*f = 18 + y for f.
-4
Let p = -26 + 37. Solve 5*x - 4 = p for x.
3
Suppose -4*s + 55 = 3*t, 0 = t - 0 - 5. Let k(g) = g**2 - 10*g + 9. Let f be k(s). Solve 3*j = -0*j - f for j.
-3
Let p = -13 - -7. Let j = p - -10. Solve -8*m + j*m = 16 for m.
-4
Let f(s) = s + 6. Let v = -5 - -1. Let i be f(v). Solve -r - i = -0*r for r.
-2
Let y be (-3)/2*(4 + -10). Let g(p) = 7*p - y*p - 3*p. Let k be g(-5). Solve -2*i - k = 3*i for i.
-5
Let t be ((-1)/2)/((-2)/8). Let a = -2 + 8. Suppose -a = -u - t. Solve 8 = u*y - 12 for y.
5
Let l(k) = k3 + 12*k2 - 13*k + 2. Let q be l(-13). Let u(b) = b**2 + 3*b - 7. Let t be u(-5). Solve q*i + t = i for i.
-3
Let u = -3 - -8. Let x be (0/1)/(u + -4). Solve -4*v + 3*v + 4 = x for v.
4