Let v = -1 + 1. Solve v = f - 5 + 1 for f.
4
Let h(g) be the second derivative of g4⁄12 - g3 - 3*g**2⁄2 - 3*g. Suppose 3*w = b - 2*b + 19, -27 = -5*b + 2*w. Let l be h(b). Solve 2*c - 4 = l*c for c.
-2
Let i = 9 + -5. Let w be (-2)/i*0/(-7). Solve 0 = -v - w*v - 1 for v.
-1
Suppose 4*f - 1 = -3*v, 0 = -f - 4*f - 10. Let r = v - 1. Solve -r*h = 3 + 3 for h.
-3
Suppose 5*m - 54 - 16 = 0. Let n = 18 - m. Solve 9 = n*o - 3 for o.
3
Let y(x) = -x**2 - 15*x - 31. Let t be y(-12). Solve w = t*w + 8 for w.
-2
Let t(y) = -y - 5. Let g be t(-5). Suppose -3*h + 14 + 1 = 0. Solve h*m - 15 = -g for m.
3
Suppose 5*k + 29 = -s, 4*k = -2*s + 4*s - 12. Let d = k + 8. Let m be 1 + 0/2 + d. Solve -24 = m*o - 8 for o.
-4
Suppose 0 = x - 5*q - 23, 6 = 5*x + 2*q - 1. Suppose x*w + 2*w = 0. Let h be w/3*3/(-9). Solve 4*t + h = 12 for t.
3
Let f = -3 - -6. Solve 2*t = f*t - 1 for t.
1