Let y(s) = -s**2 + 13*s - 3. Suppose 0 = v - 5*v + 48. Let f be y(v). Solve f + 3 = -4*p for p.
-3
Let v be 8⁄5*20⁄8. Suppose i - 4 = v. Solve 5*g = -i - 2 for g.
-2
Let r(t) be the second derivative of t4⁄12 + t3⁄3 - 3*t**2⁄2 + t. Let v be r(-5). Suppose 0 = -m + 3*z - 1, -m + z = 3*z - 4. Solve -2*l - v = m*l for l.
-3
Let l(v) = v3 + v2 - v. Let p be l(0). Suppose 4*q - 6 - 42 = p. Solve 0*n = -3*n - q for n.
-4
Suppose 0 = -3*m + 2 + 4. Suppose -2*b - m*b - 12 = 0, -q = 2*b + 5. Let o be (1 - 0) + (q - -2). Solve 0*i + o*i = 0 for i.
0
Suppose 10 = 20*n - 18*n. Solve -2*z - 12 = -n*z for z.
4
Suppose -d + 12 = d. Let s = 16 + -9. Suppose -2*z - 20 = -s*z. Solve z = v + d for v.
-2
Suppose 7*z = 12 + 2. Solve z*t + t = 6 for t.
2
Suppose -d - 3 = -2, 2*o - 4*d - 28 = 0. Suppose -4*y = -y - o. Solve -y*t + t = -12 for t.
4
Let y = -77 - -77. Solve -3*p + p + 2 = y for p.
1