Let k© = -c3 + 9*c2 + 11*c - 5. Let x be k(10). Solve x*f = 5 + 15 for f.
4
Suppose 0 = 4*c - 14 + 6, -5*c = 2*b - 20. Suppose -3*q = 5*o - 81, o - 3*q = 4*o - 51. Suppose -x - 2*x + o = 0. Solve -b - 10 = -x*h for h.
3
Let p = -5 - -11. Suppose 10 = x - p*x, 0 = 4*j - x - 14. Solve -3*t - j = -2*t for t.
-3
Let x = -24 + 29. Suppose -x*k + w = -9, k = 4*k - w - 5. Solve -k = 2*r - 0*r for r.
-1
Let j(v) = 2*v + 1. Let l be j(-4). Let k = -4 - l. Suppose 0 = 5*z - k - 7. Solve 0 = -i - z*i - 12 for i.
-4
Let r = 163 + -153. Solve 7 = 3*k + r for k.
-1
Suppose -4*k + 9*k - 5 = 0. Solve 0 = -p - k for p.
-1
Suppose -y - 5*y + 60 = 0. Solve -5*v + y = -10 for v.
4
Let q be 22⁄8 - 9/(-36). Suppose 2*n = 5*d - 40, q*d - 4*d = -5*n - 31. Solve 0 = -5*w + d - 1 for w.
1
Let t(x) = -2*x**2 + 2. Let c be t(-4). Let d be -2 + (1*c)/(-2). Solve -3*b = -2 - d for b.
5