Suppose n = 4*o + 24, -13 = -2*n + 2*o + 5. Solve 0 = -2*r + n - 12 for r.
-4
Let j be ((-16)/10)/((-3)/30). Solve 0 = -5*m + m - j for m.
-4
Let f = 3 + 10. Suppose -3*d + f - 1 = 3*u, 2*u = 4. Solve j = d*j + 2 for j.
-2
Suppose -s - 1 = -4*p + 8, -13 = -3*p + 2*s. Suppose 0 = -19*i + 24*i - 4*u - 16, -3*i - 12 = 3*u. Solve q - p + 5 = i for q.
-4
Suppose -2*y = y - 3. Solve -4*g + y = -19 for g.
5
Suppose -2*o + 13 = 5*s, -9 = -o + 3*s + 3. Solve 0 = -3*m + o for m.
3
Suppose -20*d = -17*d - 45. Let s(x) = x3 - 2*x2 + 3*x - 1. Let m be s(2). Suppose 23 = 5*r - 2, d = -m*z + 3*r. Solve -l - 1 = -z for l.
-1
Let m be 3 - (-1 + -1 - -1). Solve 9 - 1 = -m*o for o.
-2
Let r(x) = -x - 4. Let f be r(-8). Solve 0*i = -2*i + f for i.
2
Suppose -6*o + 3*o = -45. Solve 2*w + o = -w for w.
-5