Let o be (28⁄2)/(6⁄3). Suppose 4*v = o + 5. Solve n - 1 = -v for n.
-2
Let u(f) = -2*f3 - 4*f2 - 3*f - 2. Let r be u(-2). Suppose 0 = 2*v - 0*v - r. Solve 0 = 3*y + v*y for y.
0
Suppose -3*z = -2*x + 2*z + 29, -4*z = -20. Suppose -x + 3 = -4*w. Solve 3*l - l + w = 0 for l.
-3
Let q be -1 + 3⁄3 - -3. Solve -16 = q*x + x for x.
-4
Let s(a) = -a**2 + 10*a + 11. Let u be s(11). Suppose 40 = 5*r - 2*x, u = -r - 2*x + 6*x - 10. Solve -5 = -3*y + r for y.
5
Let b(l) = -l + 8. Let o be b(2). Suppose -2*i + o*i = 4. Solve i = -n - 2 for n.
-3
Let x(w) = w**2 - 5*w + 4. Let t be x(5). Suppose 3*n = -t*f + 55, n = 4*f + 2*n - 61. Suppose -8*h + f = -4*h. Solve -10 - 6 = -h*l for l.
4
Suppose a - 2 = -0*a. Let d = -2 + a. Suppose -14 = -4*s - 6. Solve 2*x = -s - d for x.
-1
Suppose 5 = -b + 2*b. Suppose -28 = -o - b*j, 0*j - 2*j = -10. Let k = o - -1. Solve 2*u + 6 = k for u.
-1
Suppose 30 = 6*q - 0. Solve 4 = q*y - y for y.
1