Let n(j) = 4*j3 - 3*j2 + 3*j - 3. Let q be n(2). Let x = -20 + q. Solve -4 + x = y for y.
-1
Let s = 9 + -16. Let k = s - -6. Let r be ((-40)/(-12))/(k/(-6)). Solve 0*g - r = 4*g for g.
-5
Let z be 28⁄6(-18)/4. Let k be -2(2 - z/(-6)). Solve 4*j + k = -1 for j.
-1
Let p(b) = 3*b - 3. Let t be p(1). Solve 3*c + 0*c = t for c.
0
Let s = -9 + 9. Let k(a) = a3 + 7*a2 + 8*a + 4. Let j be k(-5). Suppose 2*o - n - j = -o, 3*o + 2*n - 26 = 0. Solve s*l + 2*l = -o for l.
-3
Let f = 18 - 10. Let c = -1 + 5. Suppose -c*z - 5*q + f = -0*z, 0 = -3*z + 4*q + 6. Solve -2*l - z*l = 0 for l.
0
Let r(n) = n**3 + n. Let i be r(0). Solve c + 2 = -i*c for c.
-2
Let o(p) be the second derivative of p5⁄20 - 5*p4⁄12 - p3 - 3*p2 + 2p. Let h be o(6). Let l be (-1)/(-1(-2)/h). Solve 20 - 5 = -l*a for a.
-5
Suppose 0 = -6*t + 51 + 39. Solve -3*n + 0*n = t for n.
-5
Suppose -2*j + 24 + 6 = 0. Solve 2*y + j = 5 for y.
-5