Suppose 3*x - 20 = 85. Suppose -3*f + x = v, -4*f = -v + 5*v - 44. Solve 5*c = 2*c + f for c.
4
Let w = 30 - 22. Let z be 3 + 2 + w/(-4). Solve -8 = z*t + 4 for t.
-4
Let f = 23 + -18. Solve 0 = -0*p + f*p for p.
0
Let h(p) = -2*p - 2. Let o be h(-2). Suppose 0*m - 10 = -o*m + 2*f, 4*m + 4*f = 20. Solve l - m = -4*l for l.
1
Suppose 2*n - 17 + 63 = 4*f, -4*n = -3*f + 47. Let p = f + -9. Suppose c - 6 = -p. Solve -c = i - 3*i for i.
3
Let x(h) = -5*h + 27. Let o be x(5). Solve -8 = o*d + 2*d for d.
-2
5
Let k(x) = x**2 - 8*x + 2. Let l be k(8). Solve -l*d + 3 = -d for d.
3
Suppose -p - 16 = 3*p + 2*f, -5*p - 11 = -2*f. Let d be 2 - (-2 - p)/(-1). Solve d*t + 4 = t for t.
-2
Suppose -2*w = -r - 15, -3*w + 24 = -7*r + 5*r. Let f = -9 + 17. Suppose f = 2*o + 2*o. Solve -o*m = m - w for m.
2