Let f = -14 + 10. Let z be ((-6)/4)/3*f. Suppose z*t + 15 = 5*g, -g = 3*g + 3*t - 12. Solve -2*o - o = -g for o.
1
Suppose -2 = -2*u - 4*k, 6 - 3 = 3*u - k. Solve -u - 1 = -c for c.
2
Suppose -34 = -3*m + 5*b, 2*m - 10 + 2 = -4*b. Let o(n) = 16 + 0*n2 - m + 6 - 11*n + n2. Let y be o(10). Solve -y*v = -2 - 18 for v.
5
Let l = 16 - 14. Suppose -1 = d, -3*i - 2*d - 2*d + l = 0. Solve i*c = -3*c + 20 for c.
4
Let k be 6⁄4 - 187/(-22). Solve -5*m = -0 - k for m.
2
Suppose 3*p - 2*p + 6 = 0. Let m be -2 - (-1 - (-3 - p)). Solve -3*g = m*g for g.
0
Suppose -x + 28 = -4*v, x + 5*v + 9 = -x. Suppose -2*h - 10 - x = 0. Let d be (-2)/h + 20/(-90). Solve -3*n - 2*n = d for n.
0
Suppose -21 = -3*k + 2*b + b, 5*b + 3 = -3*k. Solve -k*m + 15 = -m for m.
5
Let v(s) = -s**2 + s. Let o be v(1). Suppose 0 = -2*t - 5*d - 3, o = 4*t - 0*d + 5*d + 1. Suppose m + t = 5. Solve 0 = m*a + 3 + 9 for a.
-3
Suppose 28 = -3*a + 7*a. Solve -a = -5*v - 22 for v.
-3