Let v(o) = 2*o**2 + 4*o - 2. Let x be v(-6). Let t(l) = -30*l - 1. Let y be t(1). Let z = y + x. Solve 2*s = 5*s - z for s.
5
Let s(f) = -f3 - f2 + 5*f. Let w be s(-3). Solve 2*p - 5 = -w for p.
1
Let l(m) = m**3 - 6*m - 5. Let u be l(-2). Let x be ((-6)/1 + 4)*u. Solve x = y - 2 for y.
4
Let s(j) = -j3 + 4*j2 + j - 1. Let n be s(4). Suppose 0 = -2*f + 8, -n*h - 5 - 7 = -3*f. Let q be h + 2 - (6 - 4). Solve q*o + o = 0 for o.
0
Let o(d) = d**2 + 2*d + 2. Let r be o(0). Solve 0 = r*u + 3*u - 20 for u.
4
Let o be (-3)/(-15)*1*15. Solve 0 = -o*f - 0*f - 15 for f.
-5
Let m be ((-4)/3)/((-2)/9). Suppose m = 2*z - 0. Suppose z*g - g - 16 = 3*l, 2*g + 3*l = 4. Solve -13 = -g*h + 2 for h.
3
Let t® = r3 - 4*r2 - 2*r + 2. Let z be t(5). Let s = 10 - z. Let d = s - -7. Solve 0 = -d*x + 4*x - 8 for x.
2
Suppose 3*s - 6 = 9. Solve -2*v = -s - 3 for v.
4
Let y be -5 - (-6 - 4) - 5. Solve -3*c + 8 + 1 = y for c.
3