Let y© = 3*c3 + 0*c + 2*c - 4*c3. Let q be y(2). Let t be 0/(-4)*2/q. Solve t = 4*g - 3*g - 1 for g.
1
Suppose 2*t = t - 3*t. Solve t = -4*x + 2*x + 2 for x.
1
Suppose 70 - 20 = 2*k. Solve -4*t = -5 + k for t.
-5
Suppose -o + 5 + 3 = 3*t, -5*t - 38 = -3*o. Solve 4*w - 9 - o = 0 for w.
5
Suppose 0 = -f + 17 - 8. Solve f*a = 4*a for a.
0
Let a® = -r - 3. Let k be a(-16). Solve -7 - k = -4*w for w.
5
Let s be -6 + 5 - (-12)/(-3). Let k = s - -9. Solve k*c = -c + 5 for c.
1
Suppose -2*a = -0*a - 12. Solve -m = m + a for m.
-3
Let d be (-172)/(-16) + (-2)/(-8). Let p = d + -11. Solve p*v - 5 = 5*v for v.
-1
Let q(p) = -p3 - 9*p2 - p - 7. Let k be q(-9). Let b(y) = y**2 - y - 2. Let x be b(2). Solve a + 5 - k = x for a.
-3