Let i = -7 + 7. Let y be 174⁄8 - (-2)/8. Suppose q + y = 5*r, 2*q - r + 2*r - 11 = i. Solve 2*n + 1 = -q for n.
-2
Let o(d) = d3 + 5*d2 + 2*d + 5. Let f(y) = -y. Let i be f(4). Let v be o(i). Suppose 0 = 30*c - 4*c. Solve -2*j - v + 3 = c for j.
-5
Let s = -6 - -6. Let j be 0*(s - -1)*1. Solve j*x - 15 = -5*x for x.
3
Suppose s = -v + 1, -2*v - 4*s + 0*s + 2 = 0. Suppose -4*c + 20 = 4*q, -5*c + 14 = q + v. Solve -k + q = -1 for k.
4
Suppose 3*y = 5*y. Suppose 2*o + 3*o = y. Suppose o = -3*w - g + 18, -2*w = -3*w + g + 6. Solve -w = -x - x for x.
3
Let d(h) = -h - 1. Let x be d(-3). Suppose -2*s - r + 15 = 0, s + r = -x*s + 20. Suppose -t = -1, s*p + 0*t - 19 = -4*t. Solve 0 = -p*a + 4*a + 3 for a.
-3
Suppose 32 = 5*d - u, -d + 2*d + 3*u - 16 = 0. Suppose -5*g = -d*g. Solve 0 = n - g + 1 for n.
-1
Let m be 3/(-6)*(-12)/3. Solve -1 = -m*a + 3 for a.
2
Suppose 1 + 0 = l. Solve 3 = o - l for o.
4
Suppose -12 = -c + 3. Solve -2*j - c = -7*j for j.
3