Suppose 4*i + 11 - 1 = 3*p, -5*p + 3*i + 2 = 0. Let x be p + (0 - -3 - -2). Solve -x*d + 0 = -9 for d.
3
Let r(x) = x**2 + 2. Let v be r(-3). Suppose o + 0*o - v = 0. Suppose -3*n + 8*n = q - 27, 3*n + o = -2*q. Solve h - q = 2 for h.
4
Let m = 10 + 2. Solve -m = 2*u + u for u.
-4
Let w(p) = -p + 4. Let d be w(4). Let s be -10*(d + (-12)/15). Solve 4*h = -0 + s for h.
2
Suppose 0 = 5*u - 10*u + 5. Let m(b) = -b + 10. Let k be m(9). Suppose 0 = -4*s - u + 5, x + k = 4*s. Solve 2 + x = -w for w.
-5
Let y be 1 - -3 - -1 - 2. Let d be ((-5)/15)/(1/(-12)). Solve -9 - y = -d*p for p.
3
Suppose -1 = -4*y - 3*t + 8, y + 1 = -4*t. Solve 5*u + y + 2 = 0 for u.
-1
Suppose 4*f - 2 = 10. Solve -f*t = t for t.
0
Suppose 3*b = b. Solve -2*n = 4 - b for n.
-2
Suppose 10*u = 7*u. Solve u = 4*v - v - 9 for v.
3