Let d be (-10)/4*(-520)/100. Solve 3*f + 4 = d for f.
3
Suppose 0*p + p + 5*f = 23, -1 = p - f. Solve -p*y - 1 - 2 = 0 for y.
-1
Suppose 6*v - v = 0. Let o(b) = 9*b - 13. Let z be o(2). Solve 0 = -v*u + z*u + 10 for u.
-2
Suppose 5*a - 15 = 0, -2 = n - 4*a + 8. Solve 0 = 4*r + 6 - n for r.
-1
Let o = -96 - -96. Solve -5*m - 12 + 2 = o for m.
-2
Let p = -116 - -194. Suppose 0*v - p = -4*v - 2*u, 2*v = 3*u + 43. Solve 0 = 8*g - 3*g - v for g.
4
Let u be 0/((1 - 0) + 0). Let a be (u + 0)*(-2)/(-4). Solve a*t = -4*t + 20 for t.
5
Suppose -s = -4*a - 6, s - 2*s - 6 = 2*a. Let o be 1 - (0 - (1 + s)). Solve o*f = f - 1 for f.
1
Let y = 14 - -11. Suppose 6*d - 25 = d. Let o be (-34)/(-6) + (-26)/39. Solve -d = -o*t - y for t.
-4
Let h = 15 + -8. Let g = h + -5. Solve -4*i - 2 = g for i.
-1