Let b = -58 + 60. Solve -b = -2*c + 2 for c.
2
Let y be (-12)/(-4) - 3⁄1. Let x(d) = -d3 + 4*d2 + d - 1. Let w be x(4). Solve y = -w*n - n for n.
0
Let g = -49 + 53. Solve 0 = g*n - 1 - 11 for n.
3
Let l be (3 - 0) + -4 + 1. Suppose l = -g - 0*g + 19. Solve -g + 4 = -3*p for p.
5
Let c(n) = 11*n3 - 2*n - 25. Let g(b) = -5*b3 + b + 12. Let p(l) = 6*c(l) + 13*g(l). Let v be p(0). Solve -v = -2*y - 2 for y.
2
Suppose 5 = -3*z + 6*z - 4*j, 0 = 4*z - 3*j - 16. Solve -4*h = -z*h + 15 for h.
5
Let z be 3/(-6) - 9/(-2). Suppose -s + z*s = 45. Solve -2*c = -7*c - s for c.
-3
Suppose 3*y + l = 9, -2*y + 5 = 3*y + 5l. Let a be (-6)/4-2 + 0. Solve 5 = -a*i + y*i for i.
5
Suppose 5*z = z + 32. Suppose z*h - 3*h = 0. Solve 3*a + a = h for a.
0
Let w = 5 - 2. Suppose -5*o - 3*d + 8 = -2*d, 4*o - w*d - 14 = 0. Solve -v - v = -o for v.
1