Let q(l) = l3 + 12*l2 + 10*l - 2. Let t be q(-11). Let i(m) = -41*m3 - m2. Let o be i(1). Let g be (2/(-4))/(3/o). Solve g*c - 4*c - t = 0 for c.
3
Suppose -2*m + 4*c - 14 = 0, 0*m - 17 = 3*m - 5*c. Let n(g) = g + 3. Let w be n(5). Suppose 4*x + w = 28. Solve -h - m = -x for h.
4
Let x = 7 - -11. Let i = x + -13. Solve -8 = i*v - v for v.
-2
Let b be 18 + -18 - ((-2 - -4) + -3). Solve b = -x + 6 for x.
5
Let l = -6 - -7. Let q be l/(3 + (-8)/3). Solve -q*f = f for f.
0
Suppose -3*y - 4 = -13. Suppose -3*t + 5*h = -16, -4*t - y*h - 10 = -6*t. Solve 5*a - 3 = t for a.
1
Let k be -1*(0/(-3) - -6). Let q = -4 - k. Suppose -q*z = -6*z + 20. Solve -z*c = 23 - 8 for c.
-3
Let d(a) = a**2 - 7*a + 1. Let i be d(7). Let m be (10⁄6)/(i/3). Suppose 5 = j + 1. Solve -m*x - j - 11 = 0 for x.
-3
Suppose 0 = -p - 3*p. Let f be (0 - -5)/(p - -1). Suppose 4*u + 5*y + 11 = u, 3*y - 3 = -f*u. Solve -7*x - 12 = -u*x for x.
-3
Let d be 4*(-2 - (-45)/12). Let t = -1 + d. Suppose -5*o = -c - 3*o - t, c - 3*o + 11 = 0. Solve c*u + 2 = -18 for u.
-5