Let t(s) = 3*s**2 - 9*s + 9. Let o be t(1). Solve q = 2 + o for q.
5
Let q = 1 - -1. Suppose 0 = -6*t + q*t. Suppose -8 = -t*u - 2*u. Solve u*k = 6 + 14 for k.
5
Let r(l) = 3*l**2 - l - 1. Let q be r(-1). Solve 2*p + q = 9 for p.
3
Let v = -6 + 3. Let c be -1 - (v - (-3 + 2)). Solve -9 = -4*u - c for u.
2
Let n(g) = -g3 + 10*g2 - 8*g - 9. Let d be n(9). Suppose -v = -d*v - 24. Suppose -2*l + v = 2*l. Solve s - l = -s for s.
3
Let u = -5 - -15. Solve 0 = -2*i - 0*i - u for i.
-5
Suppose 0 = -g + 4 - 2. Suppose 5*d - 41 - 19 = 0. Let s be (d/14)/((-3)/(-21)). Solve -g*o = -16 + s for o.
5
Suppose 2*m - 3 - 7 = 0. Let z be 12 - (0 + (4 - 2)). Suppose 0 = -2*b + 4*l + 16, 0*b + 3*l + 12 = 3*b. Solve m*y - z = -b*y for y.
2
Let c be 0/(-1)*(-5)/(-10). Let a(d) = -d**2 - 1. Let k be a©. Let p be ((-2 - 0)*2)/k. Solve -1 = p*r + 15 for r.
-4
Let m be ((-6)/(-24))/((-2)/(-40)). Solve -3 = -m*x - 8 for x.
-1