Let x be (2/(-2))/((-4)/12). Suppose -34 = 2*l - x*a, 3*l + 31 = -5*a - 58. Let c = 33 + l. Solve 4*r = 2*r + c for r.
5
Let y = 124 - 119. Solve -5 = -0*r - y*r for r.
1
Suppose -4 = k + 5*z - 17, 5*k = -4*z + 23. Suppose 0 = l + 4*l. Suppose 0 = -4*s - x - x + 4, 4 = 2*s + 2*x. Solve l = -c - k - s for c.
-3
Let v = -23 + 23. Solve -3*n + 6 = -v for n.
2
Suppose 7*u - 3*u + 76 = 0. Let s = u + 28. Suppose 0 = 2*f - f - s. Solve -2*n - n = f for n.
-3
Let w = 15 - 10. Suppose -w*y - 40 = -10*y. Solve s = -3*s + y for s.
2
Let g = -13 + 32. Solve 5*i - 4 = -g for i.
-3
Suppose w - 1 + 0 = 0. Suppose 5*j - 18 = 4*i, -5*i - 7 = -j + 5. Let q be (j/6)/((-1)/(-3)). Solve -q = -r + w for r.
2
Suppose 4*o - 9 - 9 = -2*l, -13 = -4*o - l. Solve 0 = j + o*j - 3 for j.
1
Let x = 1 - -2. Let a(z) = -z2 - z3 - 1 - 5*z2 + 6*z + 0*zx. Let b be a(-7). Solve b*c = c for c.
0