Let s be 12*((-14)/4 + 3). Let m = s - -6. Solve 2*y + 2 = -m*y for y.
-1
Suppose -5*v + 2*v - m = -14, 0 = 5*v - m - 18. Solve -v*u + 0*u + 4 = 0 for u.
1
Let g be (-54)/(-9)*(-2 - -3). Solve -g*c - 15 = -c for c.
-3
Let q be (2 + 0)*1⁄1. Suppose 102 = 5*a - 3*p, 0 = 2*a + 3*a - 2*p - 98. Suppose -2*j - 2*r = -0*j - a, -j + 3*r - 3 = 0. Solve j = -h - q*h for h.
-2
Let z be 16⁄4*(-2 - -3). Solve -z*r = 6 + 2 for r.
-2
Suppose 1 = 4*t - 19. Solve -t = 2*l - 3 for l.
-1
Let y be ((-6)/4)/(3/(-6)). Let m = 6 - y. Solve -m + 0 = 3*i for i.
-1
Suppose -1 = -o + 2, -2 = 2*w - 4*o. Suppose -16 = 3*f - s, 3*f - 6 = w*f - 3*s. Let v = f - -10. Solve 1 = -d - v for d.
-5
Suppose n + c + 35 = 3*n, -3*n + 3*c + 54 = 0. Suppose 0 = 3*a - n + 2. Suppose -5*v - 7*j = -2*j + 15, 0 = -4*v - a*j - 15. Solve -5*g - 21 + 6 = v for g.
-3
Let a(x) = -13*x + 21. Let g be a(1). Solve -g = -4*i + 8*i for i.
-2