Let z be (-2 + 5/((-5)/(-3)))*3. Solve z*y + 9 = 6*y for y.
3
Suppose 2*c - 5 = -1. Let u(i) = i + c*i - 6*i2 + 6 - 7*i - i3. Let b be u(-5). Solve -b = -4*t + 5*t for t.
-1
Let z be ((-1)/(-2))/(10⁄40). Suppose 2*n + 0*n + z = -3*l, -4 = 5*l + 4*n. Solve -5*h - 10 = -l*h for h.
-2
Suppose 24 = 5*k - 2*j, -2*k = 2*k - 5*j - 26. Suppose 0 = q + 2*i + 2, -i - 32 = -4*q + i. Solve f = -q + k for f.
-2
Let y(f) = f - 1. Let h be y(4). Let s = h + -3. Solve s*t - 2*t = -10 for t.
5
Let j = 15 + -15. Solve j + 2 = -2*o for o.
-1
Let v = 39 + -12. Suppose 2*f + f - v = 0. Solve -1 = 4*z - f for z.
2
Suppose 5*f - 24 = -9. Let y = 5 - f. Suppose x - 3*h + 2 = 2*h, 10 = 4*x - y*h. Solve 4*g = -1 - x for g.
-1
Let s(i) = -2*i3 - 8*i2 + 4*i - 5. Let v(f) = f3 + 8*f2 - 3*f + 5. Let t(h) = -2*s(h) - 3*v(h). Let p be t(8). Solve p*j = -2*j for j.
0
Suppose 0*q - 11 = q + 3*w, 3*q + 13 = -4*w. Solve 2*h = -q + 5 for h.
2