Let c(q) = -q3 + 6*q2 + 3. Let s = -10 + 16. Let t be c(s). Let z(h) = -h**2 + 2*h + 3. Let u be z(t). Solve 2*j - 4*j - 4 = u for j.
-2
Suppose 3*t = 4 + 2. Suppose 15 = -y + t*y. Let d = -7 + 11. Solve q = d*q - y for q.
5
Let x be 8⁄20 - 4⁄10. Solve -2*h = -x*h for h.
0
Let z(a) = 10*a + 55. Let x be z(-5). Solve -x*l + 6 = -4 for l.
2
Let v = 3 + -8. Let f be 28⁄5 - 2/v. Suppose -q = q - f. Solve q - 6 = y for y.
-3
Suppose 0*c + 2*c = -5*z + 19, -5*c + 10 = 5*z. Solve 0*k = -z*k + 25 for k.
5
Suppose v - s - 52 = -4*v, 2*v + 4*s = 12. Solve 7*y - 5*y = -v for y.
-5
Let f(q) = 12*q - 3. Let a be f(-3). Let x = -24 - a. Solve 0 = 4*i - i - x for i.
5
Let x = 22 - 17. Suppose 4*u - 65 = -x*h, -5*u - 2*h + 75 = 3*h. Solve -y = y + u for y.
-5
Let z = 12 - 9. Suppose -j + z + 1 = 0. Suppose -3*c - v = -6, -j*v = 3*c - 2 - 4. Solve -2*h = c*h - 4 for h.
1