Let g be 5⁄10 - (-3)/2. Let l be -6 + 4 - (g + -6). Solve 5 = -3*y - l*y for y.
-1
Let k = -1 + 17. Solve 0 = -4*l - 0*l - k for l.
-4
Suppose 0*d - 3 = -d. Suppose -d*q = -4*q. Solve -5*h - 1 - 24 = q for h.
-5
Let t = 0 + -3. Let o be 6*(-1 - 7/t). Solve 5*y + o = 3*y for y.
-4
Let p(a) = a**2 - 4*a + 1. Let m be p(3). Let x be 1 + (6⁄3)/m. Suppose -2*j - 3*j = x. Solve j = -i + 4*i - 9 for i.
3
Suppose -5*d = -34 - 6. Suppose -5*y + 2*y + d = 4*h, -3*h + 4*y + 31 = 0. Solve -3*v + h - 14 = 0 for v.
-3
Let r be (32⁄6)/(8⁄12). Solve -2*f + 0*f = r for f.
-4
Suppose 4 = 2*t + 4*h + 62, -3*h - 6 = 0. Let m be 20/t*15/(-6). Let i = 4 + 1. Solve 3 = -i*b + m*b for b.
-1
Let q(j) = -j3 - j2 + 6*j. Let i be q(-3). Let v = 6 - i. Solve -3*w - v = 6 for w.
-4
Suppose -5*n + 20 + 0 = 0. Suppose 0 = -4*g + 2*q + 24, -n*g + q + 28 = -3*q. Suppose 4*w + g + 1 = -2*t, -5*t = 4*w - 9. Solve 4*u + u - t = 0 for u.
1