Let m(n) = 3*n3 - 4*n2 + 3*n - 2. Let x be m(2). Suppose 3 = -4*b + 15. Suppose 5*k - b = x. Solve 5*c - k = 2 for c.
1
Suppose -4*y + 150 = 6*y. Solve 0 = -y*s + 20*s for s.
0
Suppose -3*x - 4 = -x, -2*x - 4 = s. Let a(o) = o + 5. Let j be a(s). Suppose 0 = j*d - 11 + 1. Solve -b = -d*b + 1 for b.
1
Let b = -39 - -39. Solve -d - 2*d + 12 = b for d.
4
Suppose -y - h = 4, 5*y - 4*h - 8 = -2*h. Solve -3*g - 2*g = y for g.
0
Let t be (-4)/(-10) + (-904)/(-40). Suppose t + 16 = 3*g. Let j = -10 + g. Solve -r = 2*r + j for r.
-1
Let a be 2/(-6)*(-71 + 2). Suppose 2 = 5*t - a. Solve -t*w - 4 = 11 for w.
-3
Let f(a) = -a. Let i(m) = m - 1. Let g(z) = 7*f(z) + 6*i(z). Let l be g(-7). Solve 2*k = -1 - l for k.
-1
Let f be -15*(-3 + -2 + 4). Let c = -12 + f. Solve -c*p = -p for p.
0
Suppose -2*q + 3 = -3. Solve -2*t + 1 = -q*t for t.
-1