Suppose 0 = 4*a - 0*a - 12. Suppose -3*w + 3 - 13 = -5*r, a*r - 20 = -w. Solve 15 - 5 = r*h for h.
2
Suppose -11*x + 10*x = 0. Suppose -3*o + 4*t = -7*o + 24, -5*o + 5*t - 10 = x. Solve 0 = o*l - l for l.
0
Let v(i) = 3*i + 1. Let n(u) = -15*u - 5. Let t(f) = -4*n(f) - 22*v(f). Let m be t(-1). Solve -k = -2 + m for k.
-2
Suppose 4*x + 3*u - 11 = -0*x, 3*u = -9. Solve 5 + x = -2*j for j.
-5
Let v = -6 + 9. Solve -v*j + 0 + 3 = 0 for j.
1
Let s be (-5 + -1)*(-5)/3. Solve -q - q = s for q.
-5
Let i(y) = -y3 + 3*y2 + 2. Let m be i(3). Solve m*l - 5 = -3 for l.
1
Suppose -3*d + 6 = 0, 2 = -u - 0*d + 2*d. Let x(f) = -5*f - 29. Let q be x(-6). Solve 3*i = u + q for i.
1
Suppose 7*c - 3*c = -5*m + 18, 2*m + c - 6 = 0. Suppose -i + 0*i = -m. Suppose -o = -i - 3. Solve 12 = -o*h - 8 for h.
-4
Let g be 4*(3/(-6) + 1). Suppose 4*r = x + 27, -7 = 3*x + g. Suppose r + 6 = 4*m + 3*w, -m + 3 = 2*w. Solve 0 = m*j - 8*j - 5 for j.
-1