= s - -0.72. Let b be 1 + -2 + (-15)/(-17). Put 1/7, b, v in decreasing order.
v, 1/7, b
Let w be (-90)/4*(-1)/(-6)*-4. Suppose 0*f = -3*f + w. Put 14, f, -4 in ascending order.
-4, f, 14
Suppose 16*w - 171 = 7*w. Suppose -w = 4*q - 7. Sort q, 3, 2 in increasing order.
q, 2, 3
Let k(r) = r**2. Let o(w) = -6*w**2 - 8*w + 9. Let g(i) = 5*k(i) + o(i). Let y be g(-9). Let h = 4 - 0. Sort 2, y, h in descending order.
h, 2, y
Suppose 0 = -25*l + 23*l + 10. Let p(d) be the first derivative of -2*d**2 + 15*d + 4. Let u be p(l). Sort 5, u, 1 in increasing order.
u, 1, 5
Let s(k) = k**2 - 3. Let o be s(0). Suppose 3*g - 2*g - 3 = 0. Put o, 1, g in decreasing order.
g, 1, o
Suppose g + 6*i + 17 = 3*i, 0 = -3*g + 3*i - 3. Put g, -4, 8, -2 in decreasing order.
8, -2, -4, g
Let o be -3*(3 - 2) - (2 - 8). Sort -1, -3, 37, o in decreasing order.
37, o, -1, -3
Let a(s) = s**2 - 9*s + 9. Suppose 5*o = 4*r + 40, 5*o - 6 = o - 2*r. Let y be (-16)/((-2)/4*o). Let l be a(y). Put 5, l, -5 in descending order.
5, l, -5
Suppose -17*i + 12*i - 130 = 0. Let u = -19 - i. Sort 1, 2, u in descending order.
u, 2, 1
Let r = -4 + 6. Suppose t + 6*m + 17 = 2*m, r*m + 4 = 4*t. Sort -2, -3, t.
-3, -2, t
Let t be 12/(-9) - 1/(-3). Suppose 21 = 11*i - 8*i. Let l be (i + -2 + 5 + -8)/1. Put 5, l, t in increasing order.
t, l, 5
Suppose -4*w + 9*w - 5*u - 55 = 0, 5*u = w + 1. Let g be 14/4 - 7/w. Suppose -s - l + 7 = 0, g*s - 2*l = -l + 13. Put 2, s, 1 in decreasing order.
s, 2, 1
Let g = -20 - -19. Let h = 6 + g. Put -7, h, -2 in descending order.
h, -2, -7
Suppose 25 = 9*k - 11. Let a = k + -4. Put a, -3, -1 in ascending order.
-3, -1, a
Let z = 7/68 + -6/17. Put -2/9, 0.3, z in decreasing order.
0.3, -2/9, z
Suppose 0 = l - 5*t + 14 - 29, -4*l - 2*t - 28 = 0. Sort -1, 168, l in descending order.
168, -1, l
Suppose 0 = -0*p - 2*p + p. Let x be -13 - (2 - 3 - -2). Sort 1, x, p.
x, p, 1
Let l be 2 + (-280)/(-68) + -6. Let j = -0.3 - 0.7. Sort l, -0.3, j.
j, -0.3, l
Suppose 3*p - 6 = 12. Let n be (-1)/(2 + -1 + 0). Suppose 5*s - z + 24 = 0, 0 = -2*s - s - 4*z - 19. Put s, p, n in decreasing order.
p, n, s
Let r(k) = k**2 - 5*k - 494. Let h be r(25). Put h, -0.3, 0.3, -11 in descending order.
h, 0.3, -0.3, -11
Let a(s) = 3*s**3 + 2*s**2 - 2*s + 1. Let j be a(1). Let y(w) = -2*w + 10. Let p be y(11). Let z = p + 38/3. Put z, j, -0.4 in ascending order.
-0.4, z, j
Let l = 102/11 + -328/33. Sort 2, l, 4, -0.5.
l, -0.5, 2, 4
Let m = 2 - 1.6. Suppose -4*l = -7*l. Let x be (3/(-15)*l)/1. Sort x, 5, m.
x, m, 5
Let u = -9.7 - -10. Let t = 5 - 4.98. Let s = 0.98 + t. Put 2, u, s in decreasing order.
2, s, u
Let g = -127 - -139. Put 5, 2, g, -3 in ascending order.
-3, 2, 5, g
Let p(f) = -f**3 - 6*f**2 + 9*f + 17. Let i be p(-7). Suppose -2*r + 1 = -3*g + 3, 2 = -i*r + 5*g. Sort 5, r, -6, -5 in decreasing order.
5, r, -5, -6
Let x be 1 + (-1 - 0) + 2. Let g(o) = o**3 - 5*o**2 - 17*o + 2. Let d be g(7). Let w = 18 + d. Sort w, x, -3 in ascending order.
-3, w, x
Let h be 12/(-15)*(-4 + (-15)/(-6)). Sort 5, h, -1 in increasing order.
-1, h, 5
Suppose u + 13*v - 11*v + 2 = 0, 0 = -2*v - 2. Put 1, u, 4 in decreasing order.
4, 1, u
Let f(j) = j**2 + 5*j + 1. Let b be 45/20*(-16)/(-6). Let u be ((-16)/b)/((-4)/(-6)). Let w be f(u). Sort w, -1/3, 4 in descending order.
4, -1/3, w
Let a = 103/4 + -26. Sort a, 0.2, 1 in decreasing order.
1, 0.2, a
Let a = 29/4 - 151/12. Sort a, 0.2, -3/8 in ascending order.
a, -3/8, 0.2
Let g = -10 - -15. Suppose -o + 0*o = 4*h + 35, g*h = 5*o - 75. Let v = h + 11. Sort -1, 3, v in descending order.
3, v, -1
Let u = 37 + 1. Suppose -5*w + p - u = -p, -2*w + 8 = 5*p. Let x be 3/9*(-4)/w. Put x, 3, -6 in ascending order.
-6, x, 3
Suppose 5*z + 3*z = -40. Sort 5, -8, z, -4 in descending order.
5, -4, z, -8
Suppose 2*r - s = 2*s - 7, 17 = -4*r + 3*s. Suppose 4*p - 16 = 0, 0 = 2*u - p + 5 - 3. Put r, u, 2 in descending order.
2, u, r
Suppose 220 = -2*b + 226. Let y(p) = -2*p + 4. Let m be y(4). Put -1, 0, b, m in decreasing order.
b, 0, -1, m
Suppose -5*q - 3*k = -k + 246, 3*q + 5*k = -159. Let o be 2/4*(-64)/q. Put 0.2, o, 1 in descending order.
1, o, 0.2
Let t = -30 + -68. Let d = t + 102. Put -5, -3, -1, d in descending order.
d, -1, -3, -5
Let b(k) = -k**3 + 5*k**2 - 3*k - 2. Let f = 2 + 1. Suppose f = -5*y + 23. Let u be b(y). Sort -2, u, 5 in descending order.
5, u, -2
Let q = -0.0022 + 0.0022. Sort q, -2/9, 1/2, -3.3 in descending order.
1/2, q, -2/9, -3.3
Suppose 1 = 2*p + 11. Put -6, 5, p in decreasing order.
5, p, -6
Suppose -17 = -3*b + 229. Suppose -s - 81 = -b. Put -3, 5, s, 3 in decreasing order.
5, 3, s, -3
Suppose -14*m + 11 = -31. Sort 0, m, -6, -2.
-6, -2, 0, m
Let s(y) = 11*y + 140. Let x be s(-12). Put -8, x, 0 in ascending order.
-8, 0, x
Suppose -3*b - 5*q - 17 = -6*q, -3*b + 4*q - 23 = 0. Put -1, -8, b in descending order.
-1, b, -8
Suppose -3*h = 4*j - 204, -302 = -4*j + 4*h - 98. Put j, -4, 5 in increasing order.
-4, 5, j
Let r = 16 + -11. Suppose -r*w = -3*w - 2. Suppose 0 = -31*c + 51*c + 60. Sort -1, c, w in decreasing order.
w, -1, c
Let s = 0.377 - 4.377. Sort 1.7, s, 5, -6.
-6, s, 1.7, 5
Let i(l) = l**2 + 18*l + 62. Let r be i(-13). Put 0, r, -10, -5 in descending order.
0, r, -5, -10
Suppose 0 = -19*x + 15 - 34. Let y = 3 + -3.3. Let p = -2.7 + 3. Sort y, x, p.
x, y, p
Let v = -222 - -220. Suppose 0 = -5*t - 58 + 18. Let m be 29/35 - t/(-20). Sort m, v, 0.4 in descending order.
m, 0.4, v
Suppose 2*d = -1 + 3. Let x be 228/44 - 2/11. Sort x, d, -5 in increasing order.
-5, d, x
Let t = -2.97 + 31.97. Sort t, -1/3, -4/9.
-4/9, -1/3, t
Suppose -47*z = -52*z - 15. Sort -1, 5, 16, z in descending order.
16, 5, -1, z
Let o = -1 + 2. Let f be 119/255 - (-2)/10. Put -3, -5, o, f in ascending order.
-5, -3, f, o
Let n = 2.6 - 2.6. Sort -3/2, n, -4.
-4, -3/2, n
Let o = 9 - 3. Let s = 26 + -31. Put 5, o, s, 4 in decreasing order.
o, 5, 4, s
Let x(b) = -b**2 - 7*b + 15. Let i be x(-7). Let y = -194 - -191. Sort 0, y, i in decreasing order.
i, 0, y
Let k be (-1065)/(-1207) + 4/34. Put -5, 0, k, 44 in descending order.
44, k, 0, -5
Let b = -441 - -418. Put 1, -5, b in increasing order.
b, -5, 1
Suppose -3*f + 8 = -7. Suppose -5*x + 2*r - f = 0, -5*x + 5*r = -0*x + 5. Suppose -2*b + 3 - 9 = 0. Sort 3, x, b.
b, x, 3
Let j(g) = 7*g**2 + 8*g - 3. Let l(n) = -11*n**2 - 12*n + 5. Let c(b) = -8*j(b) - 5*l(b). Let m be c(-2). Sort 1, 2, m in increasing order.
1, 2, m
Suppose -1032 = -s - 1034. Sort -3, 55, s in descending order.
55, s, -3
Let a = -23.7 - -32.65. Let v = a - -0.05. Let g = 17.7 - 18. Sort g, 5, v.
g, 5, v
Let z = -0.317 - -0.337. Sort 0.07, z, 3 in descending order.
3, 0.07, z
Suppose -4*u - 4*d = -4, -5*u = -2*u + 4*d - 2. Suppose -u*b - 3*c - 4 = 8, 9 = -5*b + 3*c. Put b, -6, 3 in descending order.
3, b, -6
Let g be 148/210 + 2/(-15). Sort -5, -134, 2, g.
-134, -5, g, 2
Let y(j) = -j**3 + 4*j**2 + 3*j + 50. Let m be y(6). Sort 2, m, -3, 67/5 in descending order.
67/5, 2, -3, m
Let c be 9/(-3) + 0 - (-232)/64. Let m = -19/24 + c. Sort m, 2, -2 in decreasing order.
2, m, -2
Let t = -2157.97 + 2158. Let u = 0 - 5. Let g = u - 0. Sort t, 4/7, g in increasing order.
g, t, 4/7
Suppose -2*x - 6 = 10. Let w(r) = -r**2 - 17*r. Suppose 7*i + 73 = -46. Let l be w(i). Sort x, 3, l in decreasing order.
3, l, x
Let b be (-36)/342 - (-69)/114. Sort 0, -4, b, 3/5 in increasing order.
-4, 0, b, 3/5
Let m = -19886 - -596669/30. Let f = -19/6 + m. Let a = 222 - 226. Put a, 3/7, f in descending order.
3/7, f, a
Let h = 201 - 198. Let t(o) = o**3 - 11*o**2 + 13*o - 28. Let w be t(10). Put h, w, 1, 4 in decreasing order.
4, h, w, 1
Let g be 332/(-20) + 11 + (-6)/(-10). Suppose 0 = -5*c + 8 + 17. Sort c, -2, g in decreasing order.
c, -2, g
Let r(a) = 64*a + 5. Let w be r(-4). Let g be 2005/(-2)*(-2)/8. Let v = w + g. Put 2, 1/5, v in descending order.
2, 1/5, v
Suppose 2*u + 0 = 10. Let r(g) = g - 8. Let j be r(u). Suppose 0 = -3*h - q - 8 + 10, -h = 2*q + 6. Put h, j, -2 in decreasing order.
h, -2, j
Let c(r) = 19*r - 122. Let p be c(7). Put -7, 5, p in descending order.
p, 5, -7
Suppose -99*p + 333 = -90*p. Sort -5, p, -2, 5 in increasing order.
-5, -2, 5, p
Let s = -647 + 650. Sort s, -32, -2, -4/5 in descending order.
s, -4/5, -2, -32
Let w be 143/55 - (-35)/25. Le