Suppose -4*q - 25 = 3*t, -3*t + 5*q - q = -7. Let a be -2 + 6 - (7 + t). Solve -u - 3*u - 16 = a for u.
-4
Suppose 0 = -0*u + 4*u. Let d = 3 - u. Suppose -2*z = a + d - 2, a - 1 = -z. Solve 0 = -h + a*h for h.
0
Let f = 50 + -27. Solve -f = -4*x - 3 for x.
5
Let y = 2 + -4. Let x be -2*(2 + 5/y). Let t be 2 + (14 - x) + 0. Solve 0*s - 5*s + t = 0 for s.
3
Suppose -8*d = -9*d + 4. Solve -2*y = 2*y - d for y.
1
Let k(m) be the second derivative of m4⁄12 - 3*m3⁄2 + m**2 + 2*m. Suppose -4*y + 18 = -2*y. Let w be k(y). Solve -4 = -o - w for o.
2
Let t(n) = n2 - 6*n - 11. Let b(o) be the third derivative of 5*o4⁄24 - o3⁄6 - 2*o2. Let v be b(2). Let k be t(v). Solve -s - 3*s = -k for s.
4
Let f(v) = 3*v + 5. Let a(y) = -y + 1. Let l(u) = -2*a(u) - f(u). Let o be l(-7). Solve z = -o*z + 4 for z.
4
Let k = -17 + 22. Suppose -k*x = -x. Solve -5*h + x*h = 10 for h.
-2
Let v(t) = t**2 + 3*t - 4. Let g be v(-5). Let h = g + -4. Solve 0 = -4*f + h*f for f.
0