Let r be (-6)/(-3) + 0 + 3. Let x = r - 1. Solve x*a - 3*a - 3 = 0 for a.
3
Let z = -4 - -2. Let t = z + 2. Suppose t = -2*s + 1 + 1. Solve -m = -2*m - s for m.
-1
Suppose 12 = -4*j + 24. Solve -2*x = j*x for x.
0
Let d(n) = n3 - 6*n2 + 7*n - 6. Let p be d(5). Let i(g) = -2*g - 6. Let k be i(-8). Suppose 6*u - k = p*u. Solve u*s + 15 = 2*s for s.
-5
Let y = -48 - -52. Solve -y*z + 20 = -9*z for z.
-4
Suppose -2*y = t - 18 + 7, -5*t + 5*y = -85. Suppose -4*x = -x - t. Solve x*k - k = 8 for k.
2
Let s be (-9)/(-3)*(-4)/(-6). Solve s*a + 2 - 12 = 0 for a.
5
Suppose -3*m + 23 = -2*m + 4*s, 4*m = -3*s + 66. Let r = m - 15. Solve 0*y + y + 1 = r for y.
-1
Let w be (-3 + 3)/4*-1. Suppose -4*f = 4*m + 16, 2*m + 8 = -f - 2*f. Solve w = -f*q - 2*q for q.
0
Suppose 3*k = 14 + 1. Solve -k*v + 4 = -1 for v.
1