Let q be 2⁄2*0/(1 - 2). Solve 2*d + 2*d - 8 = q for d.
2
Suppose 0 = -d + 2*q + 2 - 7, -3*q + 18 = 2*d. Solve -5*k + d*k = 0 for k.
0
Let y = -18 - -28. Let l be y*(5 - 3 - 0). Solve 2*g - l = -2*g for g.
5
Let p be 60⁄12 + 6/(-2). Let y = 4 + p. Solve 2*k = -k + y for k.
2
Let t(k) = -k3 + 6*k2 - 5*k - 2. Let v be t(6). Let p = -23 - v. Solve 3*w = -0*w + p for w.
3
Suppose -v + p - 1 = -4*v, 0 = 4*p + 20. Suppose -v*f = -10 - 10. Suppose 3*o + 4*t + 4 = 19, f = 2*o - 3*t. Solve o = -0*k - k for k.
-5
Let a® = r**2 + 6*r + 5. Suppose -2*t - p = 23 - 7, -3*p = 12. Let f be a(t). Suppose -3*j - 3*o + 9 = -3, 3*j + 12 = f*o. Solve -j = -2*u + 9 for u.
5
Let f(k) = -k3 + 14*k2 - 12*k - 7. Let i be f(13). Solve r = -r - i for r.
-3
Let p = 6 + -2. Let s be 2*(10/p - 0). Solve -20 = -3*x - s for x.
5
Let c = 54 + -52. Solve c*m + 10 = -3*m for m.
-2