Let u(v) = -5*v - 18. Let t be u(-7). Let g(d) = d**2 - 2*d - 6. Let m be g(-4). Suppose m = 5*y - t. Solve -2 - y = 3*f for f.
-3
Let r = 3 - 1. Solve -r + 0 = -h for h.
2
Suppose d = -0*d + 5. Suppose -4*c - 3 = -2*z + 1, -10 = -d*z - 5*c. Solve -3*h = z - 5 for h.
1
Let n = 81 + -80. Solve 0 = 2*l - 3 + n for l.
1
Let u = -13 + 19. Let b(a) = a**3 - 1. Let k be b(1). Solve k = 2*r - u for r.
3
Let t be (-2)/5 + (-37)/(-5). Let g = -5 + t. Let l = 0 + g. Solve -l*x = -3*x + 5 for x.
5
Suppose 6*i - i - 25 = 0. Solve -3*u + 4*u - i = 0 for u.
5
Let i be (2/(-4))/((-3)/(-6)). Let y be ((-3)/6)/(i/8). Suppose -u - 1 = -y. Solve -10 = u*s + 5 for s.
-5
Suppose 0 = 4*a - 1 - 7. Let s = -19 - -19. Let d = s + a. Solve -6*p + d*p + 4 = 0 for p.
1
Let n be 45⁄21 - (-1)/(-7). Suppose -12 = -k - n*k. Solve -q - k*q - 20 = 0 for q.
-4