Let g = -4 + 10. Let k = 6 - g. Let r be 2/(-4)*-2 + k. Solve 0 = 2*t - 5 + r for t.
2
Suppose 0 = -5*z - 2*b, 0 = -3*z - 4*b + b - 9. Solve -z = 5*k + 8 for k.
-2
Let i(j) = -j**2 + 5*j + 6. Let y be i(5). Suppose -5*t = 3*b + y, -3*b - 2*t = -1 - 2. Solve 0 = -u - 0*u + b for u.
3
Let y be 1⁄1 - (-3 - 6). Solve c = -4*c - y for c.
-2
Let x(f) = -f**2 + 6. Let d be x(-3). Let z be 3 + 1 + (d - 0). Solve -2*o + z - 3 = 0 for o.
-1
Let m be (-21)/(((-2)/(-2))/(-1)). Let g be 5 - (0 + -1*2). Let l(o) = -o3 + 7*o2. Let y be l(g). Solve -4*p - 1 + m = y for p.
5
Let b be (2 - 1 - 0)*5. Solve 0*h = -5*h - b for h.
-1
Suppose 0 = l + 2*z - 7 - 9, -2*l + 35 = 5*z. Solve -2 = 9*h - l*h for h.
2
Let q = 188 + -176. Solve 7*y + q = y for y.
-2
Suppose 4*p + 1 = -4*k + p, 3*k + 2*p = 0. Solve 0 = -k*x - 0 + 2 for x.
1