Let y = -14 - -20. Solve -4 - y = -5*z for z.
2
Let u(n) = -n2 + 3. Let k(f) = -2*f2 + 6. Let v(o) = -3*k(o) + 5*u(o). Let q be v(3). Solve 20 = -2*h + q*h for h.
5
Let u = -13 + 17. Solve u*a + 11 + 5 = 0 for a.
-4
Let a be (0 - 3) + (-63)/(-9). Solve -4 - 12 = a*r for r.
-4
Let d = -3 + 3. Solve -m - 3*m + 8 = d for m.
2
Let g = 5 - 8. Let r(w) be the third derivative of -w4⁄4 - w3⁄3 - w**2. Let m be r(g). Solve -x - 3*x = m for x.
-4
Suppose -2*s - 5*v + 83 = 0, -62 = -2*s - 3*v + 5*v. Suppose -m = m - s. Solve -3*h - m = -5 for h.
-4
Let x be (156/(-24))/(2/(-4)). Suppose w + w = -4*z + 62, -z = 3*w - x. Let s be 1/((-1)/(-1) + 0). Solve -z + s = 3*n for n.
-5
Let a be -6*(-3 + (-10)/(-4)). Let u = 6 - a. Solve -4 = -u*y - 1 for y.
1
Let o = 0 + 0. Suppose 2*x = -3*l - 3, 2*l = -2*x + 1 - 3. Suppose -g - 5 = 0, -5*n - 4*g = -x*n. Solve -s + n = -o*s for s.
4