Let i(j) = -3*j + 2*j + 0*j + 7. Let c be i(5). Suppose 3*m + c - 1 = 5*p, -m + p = -3. Solve -o + m = 3 for o.
5
Let i(a) = 6*a - 46. Let k be i(8). Solve 0 = k*c + 3*c for c.
0
Let b(l) = 5*l + 2. Suppose -6 = -i - 2*i. Let a be b(i). Solve -3*j = a - 0 for j.
-4
Let z(b) = b3 - 3*b2 - b + 4. Let h be z(3). Solve -3 = 4*g + h for g.
-1
Suppose 4 = -3*s + 43. Suppose -s = -2*h - 1. Let z = -312 - -312. Solve -2*q + h + 2 = z for q.
4
Let k be 4/(-6)*6/(-1). Suppose -4*z - 8 = k*j, -z = -3*z + 2*j + 12. Suppose -2 = -z*y + 2. Solve 3*i = y - 8 for i.
-2
Suppose -30*q - 3 = -33*q. Solve -4*i = -5*i + q for i.
1
Suppose -2*c - 3*c = -125. Let y = -3 + 3. Solve y = -4*z - z + c for z.
5
Let r(i) = -i3 - 3*i2 - 2*i. Suppose 5*x - 2 - 43 = 0. Suppose x = -0*q - 3*q. Let k be r(q). Solve -b + k*b + 10 = 0 for b.
-2
Let t(n) = -20*n + 1. Let u be t(-1). Solve -4*i = -1 + u for i.
-5