Let v(t) = -t3 - t2 - 3*t + 5. Let q be v(0). Solve -1 = -3*m + q for m.
2
Let w(o) = 10*o - 4. Let l be w(4). Let z = -24 + l. Solve 0*d = 4*d + z for d.
-3
Suppose -4*r = 2*p - 6*r - 8, 12 = -3*r. Solve -5*q + p*q = -10 for q.
2
Suppose 0*d - 4 = d. Let v = -12 - d. Let j = v - -16. Solve 3*q - j = -q for q.
2
Let l = -1 - -5. Solve 8 - 4 = -l*g for g.
-1
Let n(q) = 3*q**2 - 5*q - 6. Let i be n(6). Suppose -3*s + 4*g - i = -6*s, 0 = s + 4*g - 32. Solve -6*o = -o + s for o.
-4
Suppose -92 = 10*r - 242. Solve -r = -o + 6*o for o.
-3
Let d(x) = x**2 + x. Let l be d(-2). Solve k = 4 - l for k.
2
Let l(g) = -g3 - 18*g2 + 2. Let c be l(-18). Solve -x + 6 = c for x.
4
Let i be 3 + (2 + 0)/(2 - 0). Solve -10 = -9*t + i*t for t.
2