Let k = -46 + 46. Solve 2*c - 6 = -k*c for c.
3
Suppose 3*c + 15 = -3*b, -2*c + 20 = c - 4*b. Let s be (c/(-1))/(5 - 3). Suppose -n - 3*a - 2*a - 7 = 0, -3*n + 15 = -3*a. Solve s = -2*j + 3*j + n for j.
-3
Let t be ((-12)/(-1))/1 + 0. Let m(n) = n3 + 8*n2 - n - 3. Let p be m(-8). Suppose p*f = -5*l + 35 + 25, -4*l - t = 0. Solve 4*c - f = 7*c for c.
-5
Suppose -4*v - c = -0*c - 7, 4*v + 4*c - 4 = 0. Solve k = -0 - v for k.
-2
Suppose -4*y = y + 25, -30 = -5*q + 3*y. Solve 0 = -3*g - q - 3 for g.
-2
Suppose -5 = 2*g - n, 3*g = 5n - 33 + 8. Let b be (-3 - -2)(0 + g). Suppose 0 = -4*k - b*k + 20. Solve -k*z = -z + 4 for z.
-1
Suppose -5*g + 2*g = 0. Let s be (g/((-2)/1))/(-2). Let a be 0/(-2 + s + 1). Solve a = -5*x - 3 - 22 for x.
-5
Let z = -5 - -5. Solve z*d = d for d.
0
Let n be (-14)/(-4)*(-8)/(-7). Solve 0 = -3*x + x + n for x.
2
Suppose i - 12 = -3*i. Suppose 11 + 4 = i*x. Solve -v + 0*v - x = 0 for v.
-5