Let q(o) = -o**2 + 15*o - 12. Let w be q(13). Let h(y) = 6*y - 3. Let t be h(2). Let d = w - t. Solve 5*x + 5 = -d for x.
-2
Let c(u) = -2*u - 20. Let p be c(-14). Solve 5*o - p = 2 for o.
2
Suppose 3*o + 15 = -0*y + y, -5*o - 23 = -y. Solve 8*j - y*j = 15 for j.
3
Suppose 5*s - 5*w - 30 = 0, 4*w + 18 = -s + 2*s. Solve -s*d - 8 = 2 for d.
-5
Let s(z) = z**2 - 8*z + 6. Let x be s(6). Let g(f) = f + 12. Let q be g(x). Solve 4*b + 10 + q = 0 for b.
-4
Let b = -28 - -33. Solve 2*d + b - 1 = 0 for d.
-2
Let q(a) = -2*a - 1. Let b(g) = 5*g3 - g2 - g + 1. Let t be b(1). Let n be t/(-18) + (-50)/18. Let f be q(n). Solve -5 = f*c - 0 for c.
-1
Suppose -5*d = -3*r - 166, 3*r = -5*d - r + 187. Let o be 42/d*20⁄6. Solve -t + 9 = -o*t for t.
-3
Let t be (-3)/6*(-4)/2. Solve -u + t = 2 for u.
-1
Suppose k + 2*k - 4*f = 4, 3*k + 5*f = -32. Let m = k + 8. Solve 0 = -3*s - 5 - m for s.
-3