Let s = -1 + 3. Suppose -4 = -v - s. Solve -v*z = -4 + 2 for z.
1
Suppose -4*f - 12 = 0, 25 = k + k - 3*f. Suppose 0 = 5*g - 2*b - 20, 3*g - 2*b - 3*b - 31 = 0. Let i = -2 + g. Solve 2*q + 2*q - k = i for q.
2
Suppose 6*s = 7*s. Solve c + s*c = 2 for c.
2
Suppose -s = 2*f - 14, 5*s = 4*f - 7 - 35. Suppose -28 + f = -4*u. Suppose k + u*z + 7 = 0, z + 2*z + 9 = 0. Solve 3*j = -4 - k for j.
-4
Let b(w) = -3*w2 + 13*w - 12. Let i(y) = y2 - 6*y + 6. Let v(d) = 2*b(d) + 5i(d). Let s be v(-5). Let z be 28⁄8(-4)/(-7). Solve j - s = z for j.
3
Suppose -10*g + 20 = -5*g. Solve -g*k + 2 = -2 for k.
1
Suppose -2*y + 23 = 4*v - 5, -3*v = y - 19. Solve -x = -0*x - v for x.
5
Let i be -5*(0 + 6/(-15)). Suppose 3*f + i = 4*f. Suppose o + f*d - 12 = 0, 4*o - d + 0*d = 3. Solve -6 = o*w - 0 for w.
-3
Let y(a) = -a3 + 5*a2 - 3*a. Let k be y(4). Let t be 10*3/(-6) + -2. Let w be -4 + 1 - (k + t). Solve w = x + x + 6 for x.
-3
Suppose -4*z - 3*o - 31 = 0, 2*z - 4 = 2*o - 2. Let y = 1 - z. Suppose 0 = -y*q + 5*u + 30, 4*q + 1 = -5*u - 2. Solve -q = -l + 2 for l.
5