Let k(z) = z3 + z2 - 3*z. Let r(g) = 3*g3 + 2*g2 - 8*g. Let u(x) = 11*k(x) - 4*r(x). Let t be u(2). Let c be (6⁄12)/(1/t). Solve c + 3 = -2*m for m.
-2
Suppose -14 = -2*m - 6. Suppose -2*g - m = -4*g. Solve g*k - 2 = -12 for k.
-5
Suppose -n = -0*r + 3*r - 1, -3*n - 13 = r. Let o(m) = -5*m2 + m3 - 4*m + mr - 4 - m2. Let p be o(6). Solve p = -3*d + 2 for d.
-2
Let m = 0 - -24. Let k be 80/m*(-12)/(-10). Solve k*l - 3*l = 0 for l.
0
Let b(k) = k3 + 1 + 2*k2 + 2*k - 2*k - 2*k + 0*k**2. Let r be b(-2). Solve -r = 4*z + z for z.
-1
Suppose -4 = -2*w + h, 5*w + 7*h - 2h = -20. Let t be (-16)/(-10)(0 + 15⁄6). Solve 7*l - t*l = w for l.
0
Let z = -12 - -19. Solve 3*w + 2 = -z for w.
-3
Suppose -7 - 19 = -2*r. Solve -3 + r = 2*g for g.
5
Let y be 12/(-8)*20/(-6). Solve b - 10 + y = 0 for b.
5
Suppose b - 10 = -4. Let t be b/(3 + (-3)/3). Suppose -28 = -5*u - t. Solve 2*c - u = 3 for c.
4