Let x(t) = t - 7. Let r be x(10). Let v = -1 + r. Solve -4 = -0*s + v*s for s.
-2
Let s be (-3)/12 - (3 - 63⁄12). Solve s*n - 6*n + 16 = 0 for n.
4
Let k be 1 - -9 - (1 + 1). Suppose -10*t = -25*t + 105. Solve -k = 5*y + t for y.
-3
Let j = -57 - -63. Solve -3*x + 0 = j for x.
-2
Suppose 0*u - 5*u = -150. Suppose 0 = 3*w + 4*i + 3, 7*w - 5*i - u = 2*w. Suppose -w*g - 24 = -5*h, 3*h + 3*g + 6 = 30. Solve -h*j = -2*j for j.
0
Let j be ((-3)/6*4)/(-1). Suppose -i = 5*y - 31, 5*y - 19 = i + 20. Suppose y*s - j*s = 15. Solve 3*n - 6 - s = 0 for n.
3
Let g = -15 - -18. Solve -6 = g*l + 9 for l.
-5
Suppose 2*a - 3*w - 9 = a, -a + 3 = -w. Suppose -2y - y - 12 = 0. Let f be 1/(y/(1-8)). Solve x + f*x - 15 = a for x.
5
Let h(p) = p + 2. Let m be h(-8). Let d = m + 7. Solve -d = -w - 4 for w.
-3
Let v be (4⁄3)/(1⁄3). Let g be 10⁄1*(-1)/(-1). Solve g = -v*r + 2 for r.
-2