Let k = 11 - 6. Solve -18 + 3 = -k*o for o.
3
Let m = 23 - 22. Solve 2 = -c + m for c.
-1
Suppose 0 = 2*d - 7*d + 20. Solve 2*a + 4 = -d for a.
-4
Suppose -2*z + 27 - 3 = 4*a, -2*z = -2*a. Let v = -2 - -5. Solve -7 = -a*q - v for q.
1
Let c = 21 - 10. Suppose -3*p = -n - 9, -2*p + 9 + c = 4*n. Solve n*z = -z for z.
0
Let s = -10 + -1. Let l = -7 - s. Solve t - 3*t - l = 0 for t.
-2
Suppose -p - 2*i + 17 = 3*i, 0 = -2*i + 2. Solve -n - p = 2*n for n.
-4
Let m be -18 - 0/(4/(-2)). Let l be (-1)/(((-21)/m)/(-7)). Solve -2*g + l*g = -8 for g.
-2
Let a(h) = 3*h + 5. Let q be a(0). Solve t = -1 + q for t.
4
Suppose 15 = -0*c + 3*c. Solve 0 = x - c*x + 16 for x.
4