Let a = 144 - 136. Solve 0 = -h - 3*h + a for h.
2
Let v(a) = 3*a - 3. Let i be v(4). Let j = 8 + i. Solve -2*r - j = -7 for r.
-5
Let o be -3 - ((-12)/(-2))/(-3). Let y = 6 + o. Suppose -5*s + 18 - 13 = 0. Solve s + y = -2*l for l.
-3
Suppose 13 - 10 = d. Suppose -d + 15 = 3*z. Solve r + z = 3*r for r.
2
Suppose 4*z - 20 = -4*j + 8*j, 5*z = 2*j + 10. Let p(k) = -2 + k + z - 1. Let i be p(3). Solve -2*h = -i*h for h.
0
Suppose 0 = -0*t + 4*t + 8. Let x = 5 + t. Solve -4 = g - x for g.
-1
Suppose -3*b = -3*f + 2*f + 8, 3*b = 4*f - 23. Let a be f/3 + (-3)/(-9). Suppose -a*d + 4 = -4. Solve 0 = -t - d*t + 10 for t.
2
Let j be 3 - -4*3/(-12). Solve j*l = -0*l - 8 for l.
-4
Let j = 2 - 2. Suppose 0 = -b + 3, 2*o - 4*b + 5 + 11 = j. Let p be (-3 + 1 + 2)/o. Solve p = -4*h + 3*h for h.
0
Let m be (-34)/(-12) - 2/(-12). Suppose -6 = -o + m*v + 1, -5*v - 9 = -o. Solve o*a - 3 = -7 for a.
-1