Let v(d) = -2*d + 18. Let t be v(12). Let q(m) = m**2 + 5*m - 6. Let y be q(t). Solve 4*r + y = -4 for r.
-1
Suppose -d - m - 2 = m, 0 = 3*d - m - 15. Solve 0 + d = 4*t for t.
1
Let l(z) = z**2 + 4*z + 2. Let m be l(-4). Solve m*a + 16 = -2*a for a.
-4
Suppose 2 = -o + 2*o. Let y = o + -2. Solve y = 4*f - 5*f + 4 for f.
4
Let a be 4⁄26 - (-24)/13. Suppose -5 = -q - a. Solve -2*t = t + q for t.
-1
Suppose -5*w + v + 22 = 0, -2*v = w - 0*v. Suppose -w*u + 30 = -2*u. Let j(q) = -q + 8. Let o be j(6). Solve -y + u = o*y for y.
5
Suppose 0 = -46*k + 41*k + 15. Solve 0 = -k*w + 4 + 11 for w.
5
Suppose -2*u + l = -0 - 2, -5*u + 19 = l. Suppose 3*i - 6 = -h, -u*i + i + 5*h + 21 = 0. Solve -i = -2*d - d for d.
1
Let s be 13 + (0 + -2 - -2). Suppose -s = -g - 5*r, -2*g + 3*r - 6*r = -12. Solve g*i = 2*i for i.
0
Suppose 3*t + 9 = 3*a, -2*t + 0*t + 5*a - 12 = 0. Let f = t - -4. Solve u = 2*u + f for u.
-3