Let c(t) = -t3 - t2 - 6. Let w be c(0). Let i be 1 + w/3 + 5. Let g(j) = j**2 - 4*j + 3. Let s be g(i). Solve -s*b - b = 0 for b.
0
Suppose -4*g + 3 + 3 = -2*c, -4*c + 33 = g. Solve -c = -2*w - 1 for w.
3
Suppose 5*a - 2*a = 0. Let n(b) = -b + 10. Let z be n(a). Solve 4*h - z = 2*h for h.
5
Let t be (45⁄20 + -1)/((-3)/(-12)). Solve -22 = t*l - 7 for l.
-3
Let k = 31 + -28. Solve -s + 2 = -k for s.
5
Suppose 5*a = -3*t + 55, -2*t + 0*t = -4*a + 22. Suppose 62 - 11 = -3*f. Let v = f + 24. Solve -v + a = -l for l.
-1
Suppose -2*o - 15 = -3*k, -3*o = -8*o + 3*k - 15. Solve -2*r = -o*r for r.
0
Let a(t) = -2*t + 3. Let h be a(1). Solve -h + 21 = -5*n for n.
-4
Let w be 10⁄25 - 233/(-5). Let t be 12/(-30) - w/(-5). Solve 0 = -4*r - 25 + t for r.
-4
Let z(j) = 2*j - 6. Let b be z(4). Let k be 18⁄2 - (-1 + 5). Solve b*i - k = 7*i for i.
-1