Let a(z) = -z3 + 12*z2 - z + 16. Let k be a(12). Solve -2*g = -k*g - 2 for g.
-1
Suppose -6 = v + o, 0*o + 3 = o. Suppose 65 = -5*n + 4*r, 6*r - 5*r + 26 = -2*n. Let i = v - n. Solve u = -i*u for u.
0
Let c(q) be the first derivative of -q4⁄4 - 2*q3 - q2⁄2 - 3*q + 1. Let p be c(-6). Let j(d) = d2 + 2*d - 5. Let t be j(-4). Solve t*z + 0 = p for z.
1
Let s(f) = -f2 - 8*f + 4. Let l be s(-8). Let b(q) = q3 - q**2 + 3*q - 3. Let z be b(2). Let w = 13 - z. Solve l*j = w + 10 for j.
4
Let x be 46⁄8 - (-12)/(-16). Solve 0 = -10*j + 5*j + x for j.
1
Suppose 2*b + v - 12 = 0, -2*b = 3*v + v - 24. Let y be 33/b - (-4)/(-16). Solve -y = -5*o + 7 for o.
3
Suppose -2*x = 3*x - 10, 4*p - 34 = -3*x. Let v = p - 6. Solve i = -v - 4 for i.
-5
Suppose -2*u + 13 = -5*a, 39 - 11 = 3*u + a. Suppose -2*r + u = r. Solve 9 = -r*s - 3 for s.
-4
Let t = 13 - 12. Suppose -u - 2*u + 9 = 0. Solve -u*m - 2 = t for m.
-1
Let i(o) = -2*o**2 + 17*o - 17. Let p be i(7). Solve 4 = 4*g - p for g.
2