Let j(a) = 3*a**2 - 5*a + 2. Let l be j(4). Suppose -2*t - t = -x - l, x + 25 = 2t. Let u be -3-4*x/(-9). Solve u = 4*f + f for f.
4
Let g(s) = s3 - 4*s2 + s - 4. Suppose 4*t - 21 = -5. Let i be g(t). Solve -16 = -i*w - 4*w for w.
4
Suppose 5*l + 17 = -f + 3*f, f - 13 = l. Let t be (0 + 6)/(2⁄5). Let q = -11 + t. Solve -q*p = -0*p - f for p.
4
Let k(n) = -n - 3. Let d be k(-7). Let l = -101 + 101. Solve -2*f + l + d = 0 for f.
2
Let t(i) = i**2 - i + 1. Let r be t(2). Suppose -r = x - 13. Solve 9*k - 4*k = -x for k.
-2
Let v = -9 - -5. Let k(l) = l3 + 3*l2 - 4*l + 3. Let i be k(v). Solve -3 = 3*m + i for m.
-2
Let c(t) = -t**2 + 4*t - 2. Let d be c(2). Suppose 0 = -4*h + 2*h - 3*p + 17, -2*p + 6 = 0. Suppose 3*u - 47 = -17. Solve d*r - h*r = -u for r.
5
Let t be -12*((-2 - -1) + 0). Suppose z = -3*z - 4*y - 16, 20 = -3*z - 5*y. Solve -3*f + z*f = -t for f.
4
Let z(o) = o3 - o2 + o - 2. Let b be z(2). Suppose 16 + 4 = -b*p. Let r = 7 + p. Solve -r*f = -5*f + 15 for f.
5
Let r(n) = -4*n2 + 4*n + 8. Let a(s) = -3*s2 + 4*s + 7. Let d(p) = 5*a(p) - 4*r(p). Let u be d(-5). Solve u = 3*t - 1 for t.
3