Suppose 3*t + 3 = 4*f + 31, 4*t = 4*f + 32. Solve 0 = i + t*i for i.
0
Suppose -d - 1 = -x, -10 = -4*x - 0*d + d. Let b(g) = g3 + g2 + g + 2. Let v be b(0). Solve -x*y + v = -5*y for y.
-1
Let w be (-1 + 1)/(0 - 2). Solve t + w + 3 = 0 for t.
-3
Let v = 79 + -40. Suppose 3*w = v - 15. Solve -3*o + 7 = -w for o.
5
Let x = 2 + 0. Let y be 1/x - (-102)/4. Suppose -5*i = -y - 19. Solve -i = 4*g - g for g.
-3
Let p be 2*(-2)/(4/(-3)). Let n(l) = l3 - 4*l2 + 3*l. Let k be n(4). Let r be (0 + -4)/((-8)/k). Solve -r = -p*v + 3 for v.
3
Let s = -8 + 11. Suppose s*v - 2 = -8. Let l = 4 + v. Solve l*h = h for h.
0
Suppose 0 = -2*f + 5*f - 27. Let o(l) = -l**2 + 10*l - 4. Let b be o(f). Solve b = -4*c + 3*c for c.
-5
Let z = 145 - 143. Solve 3*s = -z*s + 25 for s.
5
Let t = -3 + 5. Solve -m - 6 = t*m for m.
-2