Let f = -133 + 133. Solve -3*h + 17 - 5 = f for h.
4
Let k(z) = 2*z + 2. Let j be k(7). Suppose -b + 8 = s, 4*b - 2*b - j = -3*s. Solve -b = -w - w for w.
4
Let a(h) = -h3 + 5*h2 + h. Let i be a(5). Solve i - 1 = -4*t for t.
-1
Let h(s) = s**2 + 4*s + 2. Let d be h(-4). Let l be (-15)/(-21) - 4/(-14). Let w = -27 - -27. Solve -d*v + 1 + l = w for v.
1
Let d(o) be the second derivative of o**4⁄12 - o. Let t be d(0). Solve t*i - 9 = -3*i for i.
3
Suppose 0*v + 6 = v. Let w = 10 + -6. Suppose 5*l = -2*y + 12, -2*y = -w + 12. Solve -5*f = l + v for f.
-2
Let q be (-1 - -4)/3*0. Suppose -2*k + 22 + 10 = q. Solve 4*z - k = -0*z for z.
4
Let c(p) = -7*p. Let u(z) = 8*z. Let m(t) = -7*c(t) - 6*u(t). Let g be m(0). Suppose 4*d + 3*q - 21 = g, 3*q - 12 = -2*d + q. Solve 1 = d*i + 4 for i.
-1
Suppose 9*g - 14*g - 10 = 0. Let u = 2 - -2. Let v = g + u. Solve v*n + 2*n + 12 = 0 for n.
-3
Let z be ((-325)/15)/(-5) - 3⁄9. Solve 4*c + 0 = -z for c.
-1