Let c(g) = g3 + 2*g2 + 2*g + 1. Let t = -2 - -1. Let j be c(t). Solve o + 0*o = j for o.
0
Let o = 5 + -5. Suppose -5*j - 12 = -4*r, o = 5*r - 11 - 4. Suppose c - 30 = -2*c. Solve -4*q + 2 + c = j for q.
3
Suppose 25 + 35 = 3p. Let t be (-24)/(-36)(-15)/(-2). Suppose 6*n = 3*n. Solve -h + t*h + p = n for h.
-5
Suppose -55 = -7*h - 20. Solve -c = -h*c for c.
0
Let s = 66 - 60. Solve u = -s + 5 for u.
-1
Let i(s) = 2*s**2 + 25*s - 9. Let k be i(-13). Solve -t = k*t + 5 for t.
-1
Let k(b) = -b**2 + 17*b + 6. Let i be k(17). Solve 2 = -2*u + i for u.
2
Let i be 14/(-2) + (-6)/6. Let n be 22⁄8 + (-2)/i. Let p(u) = -u - 4. Let q be p(-6). Solve -r - n = q*r for r.
-1
Let r(x) = -14*x**2 - x - 1. Let s be r(2). Let v = -41 - s. Solve -2 = -4*u - v for u.
-4
Let j be 266⁄70 + 2/(12 + -2). Solve -v + j = 6 for v.
-2