Let r(k) = -2*k + 6. Let n be r(7). Let y = -6 - n. Solve y*x - 12 = -x for x.
4
Let x be 5/(-10)*(1 - 1). Solve 4*l + 20 + 0 = x for l.
-5
Suppose -5*u - 4*g + 0 = -5, 2*g = -2*u + 2. Suppose 3 = a + u. Suppose 0 = -a*x - x. Solve -12 = -x*t + 4*t for t.
-3
Let k be 1/((-3)/114*-2). Suppose -4*q = -k - 5. Solve -5*o - q = -2*o for o.
-2
Let g(h) = -h3 - 11*h2 + 2*h + 1. Let m be g(-11). Let z = -20 - m. Solve -6 = -d - z for d.
5
Suppose o = -5*g - 3*o + 30, 3*g - 5*o = -19. Solve -27 = -5*j - g for j.
5
Let l(j) = -j + 2. Let w be l(-3). Suppose -w*y - 2 = -22. Solve 6 + 10 = y*n for n.
4
Suppose 4*j - 8 = 2*j, 5*j - 23 = -s. Let h(x) = -x. Let f be h(0). Let v(b) = b**2 - 1. Let l be v(1). Solve l = -f*m - s*m for m.
0
Let f = -9 + 3. Let b be -6 - 1 - 12/f. Let j = 5 + b. Solve j = -q - 3*q + 20 for q.
5
Suppose 4*t = 9*t - 80. Solve 2*o = 24 - t for o.
4