Let m(a) = -2*a**3 + 2*a + 1. Let y be m(-1). Let p be -2 - (1 - y) - -12. Let c be (-4)/p - 6/(-15). Solve 6*q - 4*q = c for q.
0
Let u be (-12)/7*14/(-2). Solve 3*d + d - u = 0 for d.
3
Suppose 6*c = -5 + 23. Let d = -5 + 10. Solve -d*i + c = -2 for i.
1
Suppose -4*u = -4 - 4. Suppose -2*x + u = -4. Let o = x - 3. Solve o = 4*m + 17 - 1 for m.
-4
Suppose -q - q = 0. Suppose -10 + 2 = -4*k. Suppose -k*o = -5 + 1. Solve b - 3 - o = q for b.
5
Let h(i) = i**2 - 3*i. Let s be h(3). Suppose 4*q + 24 - 4 = s. Let u be (-2)/q - 152/(-20). Solve -z = -5*z + u for z.
2
Suppose -2*i = -5*c + 4*c - 12, -23 = -3*i + 4*c. Solve i*f - 3 = 4*f for f.
3
Suppose -3 = 4*j - j. Let g be -2 + 50 + (j - -2). Let v = g - 34. Solve v = x + 4*x for x.
3
Let k(b) = -b3 + 5*b2 - 5*b + 2. Let f be k(3). Let r = f + -3. Let i be r + -6 + 2 - -5. Solve 0*t = 3*t + i for t.
-1
Let q(s) = -s - 3. Let a be q(-8). Suppose -44 = -a*y + 16. Suppose -5*l + y = -13. Solve l*k - 2 = 8 for k.
2