Let y(f) = -f - 6. Let n be y(-6). Let g be -1 - (-1 - (n + 4)). Solve 20 = -g*c - c for c.
-4
Let q(z) = z**2 - 4*z - 18. Let r be q(7). Solve -r = 4*n + 1 for n.
-1
Let d be 10*((-22)/(-5) - 4). Solve u + d*u = 0 for u.
0
Suppose 5*h + 16 = 3*n - 24, -3*n = 4*h + 5. Solve 0 = n*c - 9 - 6 for c.
3
Suppose -2*n + 27 = 3*v, -2*v + 8 + 10 = 5*n. Suppose 0 = -2*l + 3*l. Let h be 2 + (-1 - (0 - l)). Solve v + h = -5*f for f.
-2
Let g(o) = -2o - o - 3 + o. Let z be g(-3). Let q be 1(-1*(-6 + 3) + -3). Solve -3*c + q = z for c.
-1
Let v© = c**2 + 2c + 3. Let j be v(-2). Let s be j/6-2 + -1. Let m = 4 - s. Solve -4*h + m = -h for h.
2
Suppose -4*i = -3*i - 2. Suppose -3*y + y = -4. Suppose -i*v = -10 + y. Solve 4*w + 16 - v = 0 for w.
-3
Let n be 7⁄28 - 15/(-4). Suppose -4 = -2*r - 5*x, -r - 3*x = r - n. Solve 0 = -r*q + q + 2 for q.
2
Suppose -3*v - 3 = -39. Solve -v = -8*h + 4*h for h.
3