Let w be (-3 - -2)*0/(-3). Solve -n + 3*n - 10 = w for n.
5
Let m = 36 + -59. Let n = m + 26. Solve 0 = -0*k + n*k + 6 for k.
-2
Let l(n) = -n**2 - 2n + 7. Let g be l(-4). Let r be g - -3(-4)/(-12). Solve p + r*p = 3 for p.
3
Let p = -51 - -51. Solve p = 5*s - 2 + 7 for s.
-1
Let i(s) = 2*s - 13. Let l be i(9). Suppose -4*p = -3 - l. Solve 0 = -2*z + p + 2 for z.
2
Let o(w) = w - 1. Let z be o(3). Let f = -27 + 13. Let b = f - -21. Solve b = y + z for y.
5
Suppose -4*t + 3*t = -2. Suppose d - 5*k = 5 + 5, 0 = -d - 3*k + 2. Suppose -24 = -d*o + 2*o. Solve -2*z - t = -o for z.
3
Let c(d) = 2*d3 + d2 - 2*d + 1. Let v be c(1). Solve 3 = -v*y + 1 for y.
-1
Suppose -d + 6*d = 3*g + 15, -4*d = -g - 19. Solve a + d = 3*a for a.
3
Let r(x) = -x3 - 8*x2 - 8*x - 2. Let q be r(-7). Suppose 3*u - q*p = -2*u, 0 = 4*u + 5*p - 45. Suppose -4*v = -7*v - 7*v. Solve v*g - g + u = 0 for g.
5