Let m(h) = h**2 - 3*h - 7. Let i be m(5). Solve -i = 2*x + 1 for x.
-2
Let z = -7 - -16. Let b = z - 6. Solve -r - 20 = b*r for r.
-5
Let u be -2 - -4*(-10)/(-4). Solve m + u = -m for m.
-4
Let n be (48⁄40)/(2⁄35). Solve -3*z + 6 = n for z.
-5
Let o(d) = -d3 + 6*d2 + 7*d + 6. Suppose -q - 17 = -2*q. Suppose 11 = 4*a - q. Let i be o(a). Solve 0 = 4*t - 7*t - i for t.
-2
Let l = -11 + 18. Let r be (6/l)/((-2)/(-14)). Suppose -r = 2*t - 14. Solve -i = t*i + 25 for i.
-5
Let x be (-4)/(-8) - 3⁄6. Solve -b - b = x for b.
0
Let r = -81 - -96. Solve 0 = y + 2*y + r for y.
-5
Let u be 0*(-2)/(-4)*1. Suppose 5*t - t - 12 = u. Solve -17 = -5*o + t for o.
4
Suppose -7*f = -2*f - 25. Let r© = c**2 - 8*c + 5. Let g be r(8). Suppose k - g*v = -0*k + 26, 2*k + 4*v + 18 = 0. Solve -k = f*d - 16 for d.
3