Let c be (-32)/20*5/(-2). Solve -3 - 1 = -c*n for n.
1
Let a(f) = -3*f + 5. Let p be a(4). Let l = -6 - p. Suppose 0 = 5*k - l - 19. Solve 2*j - k*j + 2 = 0 for j.
1
Let o = 4 + -4. Solve 0 = -o*q - 4*q for q.
0
Let n(t) = t - 1. Let c be n(4). Let v = -1 + c. Solve 0 = -v*z + z for z.
0
Let r(x) = -x + 9. Let g be r(7). Suppose 2*p = -2*p - o + 17, g*p - o = 1. Suppose 0*m = -m + p. Solve -2*i - 13 = -m for i.
-5
Suppose 3*j + 8 = 17. Solve 16 - 1 = j*o for o.
5
Suppose o = l - 3*l + 4, -l = 4*o - 23. Let m = o - -2. Suppose 3*k - 1 = m. Solve 10 = -k*j + j for j.
-5
Suppose 0*l = 4*l - 8. Let v(d) = 7 - 2*dl + 9*d + 5 + d2. Let s be v(10). Solve 0 = -2*p - s + 4 for p.
1
Let s be 5 + -3 + -1 + -1. Suppose -2*d = d - 3. Solve s = q - d for q.
1
Let l(m) be the third derivative of m4⁄24 - m3⁄6 - 3*m**2. Let i be l(5). Solve 9*z - i*z = -10 for z.
-2