Let g(b) = -b**2 + 9*b - 7. Let j(z) = -7*z. Let x be j(-1). Let a be g(x). Solve 3 = -4*s + a for s.
1
Suppose 0 = -3*g + 6 + 6. Solve 0 = g*w + 5 - 13 for w.
2
Suppose 0 = t - 0*t - 5*l - 36, 2*t = l + 45. Solve 6 = -3*p + t for p.
5
Let l be (-11)/(11/(-24))*2⁄4. Solve -l + 3 = 3*w for w.
-3
Let d be (-4)/10 - 517/(-55). Solve 5*b - d = 6 for b.
3
Let b(q) = 3*q - 3. Let r be b(-4). Let s be (-5)/2*24/r. Let f be ((-10)/s)/((-1)/2). Solve -c + 8 = -f*c for c.
-2
Let j be (-10)/65 - 6/(-39). Suppose j = -3*t - z + 7, -t = 4*t + 5*z + 5. Solve 2*x - t = -2*x for x.
1
Let g = 4 - 2. Let a = g + 1. Solve 3*v = a + 6 for v.
3
Let h be -3 + 0 + 1 + -3. Let j = 5 - h. Let a = 3 - 0. Solve -a*b + b = -j for b.
5
Suppose 4*h = -h + 10. Solve -h*d - 1 = 1 for d.
-1