Let d(v) = -v3 - 3*v2 - 3v - 3. Let j be (-2 - -1)(-1 + 4). Let t be d(j). Let x be (-3)/(-1) - (3 + -3). Solve t = g + x for g.
3
Let b(t) = 2*t - 4. Let w be b(6). Suppose -2*v = -0*v - w. Suppose 0 = -y - v*y. Solve y = -x - x + 2 for x.
1
Suppose -44*x + 48*x = 8. Solve 2*n - 2 = x for n.
2
Let w be ((-8)/(-12))/(4⁄30). Solve 0 = w*s + 19 - 4 for s.
-3
Let g be 14⁄3(-39)/(-26). Solve -x - g = -2*x for x.
2
Suppose 4*a = 24 - 0. Let o = a + -2. Solve 5*s + o = 19 for s.
3
Let y(a) = 3*a - 8. Let b be y(6). Let r(d) = -d**2 + 7*d + 22. Let i be r(9). Solve i*j + b = -j for j.
-2
Suppose 5 = 4*v - q - 2*q, 0 = -5*q + 5. Solve -z + 3*z - v = 0 for z.
1
Let o(l) = -l - 1. Let b be o(-3). Suppose -k - 3*c - 15 = 0, 20 = k - b*c - 2*c. Suppose k*y - 3 = -y. Solve 2*a - 15 = -y*a for a.
3
Let r(v) = -v3 + 7*v2 - 6*v - 2. Let l be r(6). Let a be 1⁄2*l - -5. Let i = 10 + -10. Solve a*o - o = i for o.
0