Let k be ((-7)/2 + 5)*(-4)/(-3). Solve k = t + t for t.
1
Let g(n) = n**2 - 5*n - 6. Let h be g(6). Solve -2*u = -h - 4 for u.
2
Suppose 0 = 4*s - s - 6. Suppose 6*c - 12 = s*c. Solve 0 = -5*j - c - 2 for j.
-1
Suppose 3*u + 15 = -0*u, -2*u - 8 = -2*z. Suppose h = -3*h - 4. Let k = z - h. Solve k = -a + 1 for a.
1
Let v(y) = y + 39. Let z be v(-14). Solve p = 6*p + z for p.
-5
Let t = 13 + -17. Let h be 48⁄9 - (-2)/3. Let w = t + h. Solve -w*v = -v + 5 for v.
-5
Let u(d) be the third derivative of d5⁄60 - 5*d4⁄24 - d3 + 5*d2. Let a be u(7). Solve 3*f - a = 1 for f.
3
Let c(y) = -y3 - 4*y2 - 4*y - 2. Let u be c(-3). Suppose u = k - 3. Solve -2*v = -0 + k for v.
-2
Let w = -9 + 12. Solve 3 = w*k - 3 for k.
2
Suppose 4*i - 41 - 39 = 0. Suppose 3*x - 2*b = -4, b + 2 = -4*x + 4. Suppose 5*a - 16 - 4 = x. Solve -n = a*n - i for n.
4