Let i(s) = -s**3 - s. Let x be i(1). Let d be (x/(-4))/(2⁄8). Suppose 4*v = 2*a + 18, d*a = -0*a - 6. Solve -8 = -5*p - v for p.
1
Let t = -5 + 5. Suppose t = -3*b + 51 - 6. Solve b = -0*n + 3*n for n.
5
Let f = 4 + -4. Suppose -16 = -4*b, f = -i - 4*b + 19 + 7. Suppose -t - 4*t + 50 = 5*r, -5*r + 4*t = -5. Solve -r*n + 0*n = i for n.
-2
Let v be (-50)/(-15) + (-4)/(-6). Let r be ((-1)/2)/((-1)/v). Suppose -o = 5*j - 10, 0*j - r = -j - 5*o. Solve -j + 7 = 5*y for y.
1
Suppose -5*x + 3 = -7. Solve 2*c = -x*c + 4 for c.
1
Let a(z) = -z - 1. Let c be a(-3). Let t be 3 + -1*2 + c. Let u(o) = -o**2 - 10*o + 2. Let h be u(-10). Solve -t*w = h*w for w.
0
Let m = 167 - 161. Solve 0 = -5*r + 2*r - m for r.
-2
Suppose 2*h = 4 + 2. Let k be (-2 - 1) + (h - -2). Solve 0 = -k*z - 7 + 1 for z.
-3
Let v(f) = -f**2 + 6*f - 6. Let l be v(4). Let x = l + -2. Solve -3*r - 6 = -x*r for r.
-2
Suppose 6*t - 8 = 16. Solve t*z - 10 = 6*z for z.
-5