Suppose 5*n - 2*f = f + 7, n + 3 = 5*f. Let b(z) = z**2 + z - 6. Let w be b(-5). Suppose 4*m - w = -n*k, -2*m = 3*k - 3 - 2. Solve m*a - 12 = a for a.
4
Let x = 3 - 5. Let b be 4/x*10/(-4). Solve i + 16 = b*i for i.
4
Let y = -14 - -18. Let u = -1 - 0. Let f = 1 + u. Solve f = -a + 2*a - y for a.
4
Let n = 23 + -18. Solve -8*p + n = -3*p for p.
1
Let t = -15 - -18. Suppose 1 = y + 2*z, t*y + 2*z - 5 = 2. Solve q - 4 = y*q for q.
-2
Suppose 3*m + 1 = n - 2, m = -1. Let o = 5 + n. Solve a - o = 2*a for a.
-5
Let s(d) = d3 - d2 - 2*d - 1. Suppose 0 = -i + z + 2, 1 - 5 = -i - z. Let o be s(i). Let v(k) = -k + 11. Let f be v(8). Solve f = 2*l + o for l.
-4
Let j(i) = 2*i + 2. Let l be j(2). Let b = 6 - l. Solve 0 = -b*v - 2*v + 2 for v.
1
Suppose -3*k + 3 = -3. Suppose -k*g = 3*g - 25. Solve -4*r = -5*r + g for r.
5
Let z(k) = -k**2 + 3*k + 4. Let a be z(3). Suppose -23 = -5*n + 12. Suppose a*w - 29 - n = 0. Solve 4*y + w = -11 for y.
-5