uppose 0*r - h = r - 8, 2*h - 4 = 0. Let x = 17/3 - r. Sort x, 0, y in decreasing order.
y, 0, x
Let r(s) = s**3 - 2*s**2 - 3*s + 3. Let l(b) = b + 7. Let i be l(-5). Let m be r(i). Let a = -42 - -44. Sort m, a, -1 in increasing order.
m, -1, a
Let n = -5 + 10. Let k = 879.064 - 875. Let q = 0.064 - k. Put n, 2, q in decreasing order.
n, 2, q
Let p = 1268.1 + -1276.089. Let a = p - 0.011. Sort -1/3, 2, a.
a, -1/3, 2
Let t = -896 + 892. Sort 5, t, 1, 0 in ascending order.
t, 0, 1, 5
Let w = 10 - -5. Suppose 12*x = w*x - 3. Sort -5, x, 4.
-5, x, 4
Let h = 1.6 - 1.28. Let j = -0.12 + h. Sort j, -4, -1/6.
-4, -1/6, j
Let d = -224 - -221. Put 7, 0, -4, d in increasing order.
-4, d, 0, 7
Let w = -44 + 28.4. Let o = 2 - -14. Let k = o + w. Sort k, 1/9, 1/4.
1/9, 1/4, k
Suppose -5*f = -20*f + 1305. Sort 0.4, 4/9, f.
0.4, 4/9, f
Let z = 2172 + -2147. Put 3, 4, z in descending order.
z, 4, 3
Let b be ((-75)/5)/(-3) + (-23)/5. Let a = 5 + -10. Put b, a, 3, 0.1 in descending order.
3, b, 0.1, a
Let i be 473/(-44) - -13 - 1*3. Let w = 1.3 - 0.3. Let b = w - 2. Sort i, 3, b in decreasing order.
3, i, b
Suppose 3*r - 75 + 12 = 5*d, r + 4 = 0. Let h be (-52)/(-20) + (-4)/(-10). Put 2, h, -4, d in ascending order.
d, -4, 2, h
Let z = 47 - 45. Put -1, z, 14 in decreasing order.
14, z, -1
Let s = 0.4 - 0.14. Let h = -0.04 - s. Let w be (9 - 10) + 36/28. Put h, w, 2/3 in decreasing order.
2/3, w, h
Suppose o - 40 = 2*n, 5*o = -n - 54 + 34. Sort -10, n, 0.5.
n, -10, 0.5
Let g(n) = -n**2 - 8*n + 69. Let j be g(5). Sort -18, 2, j, 1 in decreasing order.
j, 2, 1, -18
Let r be (-3 + 0/(-3))/(-1). Let f(n) = n**3 + 4*n**2 - n + 22. Let y be f(-5). Suppose 1 = m - 4*j, -4*m + 6*j - j = 7. Sort y, m, r in increasing order.
m, y, r
Suppose 4*q = -z + 24, 2*q - z + 10 = 4*q. Let v be 1 + 8 + 1 + -7. Sort q, v, 5 in decreasing order.
q, 5, v
Let b = 1.5 + -1.4. Put -4, b, 2 in descending order.
2, b, -4
Let u be (-129)/15 - (-19 + 11). Sort -8, -3, 0.4, u in decreasing order.
0.4, u, -3, -8
Let y = 50 + -57. Sort 13, 1, y in ascending order.
y, 1, 13
Suppose 11*z - 8*z = 6. Put z, 11, 7 in ascending order.
z, 7, 11
Let n be (-3)/(-2)*8/6. Let q = 1.2 - 0.2. Put q, 1/4, n in descending order.
n, q, 1/4
Suppose -8*x = -10*x - 10. Put 1, -8, x, -1 in decreasing order.
1, -1, x, -8
Let p be 0 + (-1 - -2) + 1. Suppose 4*j - 1 = -5*b, -4*j - 9 = 3*b - 8. Suppose q = -p*s + 7, s - 3*s + b = -5*q. Sort -1, 5, s.
-1, s, 5
Let g(v) = v - 12. Let r be g(12). Let a(w) = -2*w**2 - w - 2. Let k be a(r). Put -5, k, 2, 5 in decreasing order.
5, 2, k, -5
Let d(w) = w**3 + 26*w**2 + 86*w - 49. Let v be d(-22). Let l(u) = -u**3 + u + 1. Let b be l(0). Put b, v, 5, -2 in decreasing order.
5, b, -2, v
Let j = 36 + -40. Suppose h + 2*l = 2*h - 7, 0 = -5*l - 20. Sort 2, j, h.
j, h, 2
Let d(l) = l**2 - 5*l - 4. Let g be d(6). Let x be 45/(-10) - 40/(-16). Put 8, x, g in increasing order.
x, g, 8
Suppose -b + 3*b = 0. Let d = 2.04245 + -0.04245. Put 3/4, d, -0.3, b in descending order.
d, 3/4, b, -0.3
Suppose 3*h + 1 + 26 = 0. Let r(w) = w - 9. Let c(i) = 5*i - 36. Let o(a) = 2*c(a) - 9*r(a). Let u be o(h). Sort u, 1, 2 in descending order.
2, 1, u
Suppose -13*x = 8*x + 2*x. Suppose -3*q - 12 = 0, 4*v = 6*q - q. Put 1, x, v, -1 in ascending order.
v, -1, x, 1
Let g = 15 - 11. Let p be ((-81)/3)/(12/32). Let q be ((-162)/p)/((-3)/(-8)). Put q, 5, g in ascending order.
g, 5, q
Let x be (-192)/(-189) + (-6)/(-63). Let d = 17 - 15. Let t be 539/187 - (d - -1). Sort 0.1, t, x in increasing order.
t, 0.1, x
Let p be 537/(-120) + 2/(-5). Let g = -569/120 - p. Sort -4, -1, g in ascending order.
-4, -1, g
Suppose -2*d = -d - 44. Let w = -41 + d. Let m = 2.8 - 3. Sort 1, w, m in decreasing order.
w, 1, m
Suppose 0 = -5*t - 7*u + 10*u - 13, 4*t = -3*u - 5. Put -6, t, -3 in ascending order.
-6, -3, t
Let h = 2 - 7. Let o = 105 + -104.9. Sort -0.2, h, -1, o in ascending order.
h, -1, -0.2, o
Let c = 0.2 - -0.5. Let o = -13 + 18.8. Let q = o - 2.8. Sort 5/4, c, q.
c, 5/4, q
Let l be ((-4)/(-6))/(69/(-45) + 1). Let g = 0.03 + 0.17. Sort -1, l, -3/7, g.
l, -1, -3/7, g
Let t = 6.2 + 20.8. Let n = t - 19. Let z = n - 8. Put -5, z, 4 in ascending order.
-5, z, 4
Suppose -391 = -56*r - 2463. Put -4, r, 4, 5 in increasing order.
r, -4, 4, 5
Suppose -23*t + 18*t = 100. Let d be -2 - (4 - t/(-4)). Suppose 0 = -4*f - 4*h + 16, -15 = -0*f - 2*f + 5*h. Put d, 6, f in increasing order.
d, f, 6
Let y be -3 + 3/(42/50). Sort y, -22, -0.5.
-22, -0.5, y
Suppose -9*w = -5*w. Let l(f) = -f**3 + f**2 - f - 3. Let h be l(w). Let i = 1 - -2. Put i, h, -1 in descending order.
i, -1, h
Let w be (2/(-44))/((-742)/56 + 13). Put 4/15, w, -1/8 in descending order.
4/15, w, -1/8
Let j(k) = k**3 - k**2 - 2*k + 58. Let m be j(0). Let p = m + -73. Put -3, 2, p in ascending order.
p, -3, 2
Let g = 4.566 - -0.434. Put -1/6, -14, g, 2 in decreasing order.
g, 2, -1/6, -14
Let s be (-126)/4 - (3 - 27/6). Let y = s + 29. Sort -3, y, -7 in descending order.
y, -3, -7
Suppose 0 = 3*h + 6*f - 3, 1 = 3*h - f - 16. Suppose 4*k + 0 = 8. Suppose -k = -a - 3. Sort h, 3, a in decreasing order.
h, 3, a
Suppose -3*m + u = 15, 3*m + 35 = -2*m + 5*u. Let q(k) = 3*k**2 + 3*k - 31. Let s be q(3). Sort m, -6, s, 0 in ascending order.
-6, m, 0, s
Let j = -144830/9 - -15845. Suppose 4*v - 478 = 2*q, 2*v = -4*q + 9*q + 1227. Let d = q - j. Sort -0.3, -3/5, d.
-3/5, -0.3, d
Suppose -33*p - 46 = 86. Sort 5, p, -1, 2 in increasing order.
p, -1, 2, 5
Let h = 103 + -106. Sort -7, -1, h in ascending order.
-7, h, -1
Let m = -6.38 + 6.37. Sort m, 0.5, 3, -0.06.
-0.06, m, 0.5, 3
Let c = 4 + -2. Suppose 0*z = z + c*g + 3, 5*z + 4 = g. Sort 4, z, -8 in ascending order.
-8, z, 4
Suppose 7*d = 2*d + 150. Let w = 35 - d. Sort -5, 3, w, 0.
-5, 0, 3, w
Let y = 5.21 - 0.21. Suppose 2*c + 5 = -3*c. Let n be 0 + (1/(-5) - c). Put y, -1, n in decreasing order.
y, n, -1
Let n = -192 + 188. Put n, 14, 4, 3 in descending order.
14, 4, 3, n
Let a = -348 - -343. Sort 3, -3, 5, a in increasing order.
a, -3, 3, 5
Suppose -3*c - 18 = 3*b, -b + 4*c = 3*b + 48. Put b, 0.08, 5 in increasing order.
b, 0.08, 5
Suppose 0 = l - 0*l - 5. Suppose 4 = -3*n + 7. Let t = -207 - -203. Put t, l, n in descending order.
l, n, t
Let f = -36 - -45. Put 10, -3, f, 2 in decreasing order.
10, f, 2, -3
Let r = 626 + -98907/158. Let m = -118/79 - r. Let c be 2/(-3 + 4 + -6). Sort 0, c, m in decreasing order.
0, c, m
Let l = 4 + -9. Let g(a) = a**3 + 2*a**2 + a. Let f be g(-1). Suppose 2*t + 2*x + 4 = f, 3*t + 2*x = 4*t - 1. Put 0, l, t in descending order.
0, t, l
Let f = 2.9 - 2.4. Let p = 5.1 + -0.1. Let q = 1 - 3. Put f, q, p in increasing order.
q, f, p
Let x = -1555 + 1559. Put -2, x, 5, 0.2 in descending order.
5, x, 0.2, -2
Let o be 32/7 + (-6)/(-14). Let s = 526/11 - 48. Sort 0.1, -2/21, s, o in ascending order.
s, -2/21, 0.1, o
Let p = -2606 + 2602. Sort -1, -4/5, 8, p.
p, -1, -4/5, 8
Let g = 2.03 - -0.97. Let x be 3*(4 - 400/105). Sort g, x, 0.1 in descending order.
g, x, 0.1
Let r = -1 - -2. Let c(d) = d - 10. Let p be c(9). Let k be p - (3 - 1) - -1 - -6. Put k, -1, r in descending order.
k, r, -1
Let b = -469 - -4220/9. Put b, 0.1, -3, 4 in descending order.
4, 0.1, b, -3
Suppose -5 = -q - 3. Suppose -4*r + q*u + 26 = -10, -3*r = -3*u - 30. Suppose 56*a = 61*a. Sort a, r, 4 in increasing order.
a, 4, r
Suppose 4*w = 3*c - 392 + 384, 0 = 2*c + 5*w + 33. Let m be (-14)/(-6) - 3/9. Suppose m*u = -0*u. Put u, c, 4 in descending order.
4, u, c
Let l = -9 + 24. Let t be (l/9)/(-5)*2*-3. Put 3, t, 7, -2 in increasing order.
-2, t, 3, 7
Let q = -2401 + 2401. Sort q, -2, 10.
-2, q, 10
Let y = -1091/735 - -130/147. Let v = -68/5 - -486/35. Put y, 2/9, v, -2 in increasing order.
-2, y, 2/9, v
Let v(l) = -11*l - 8 - l**2 - 4*l - 5*l + 6*l. Let p(j) = j**3 + 11*j**2 + 11*j - 4. Let t be p(-10). Let k be v(t). Sort 2, -1, k in increasing order.
k, -1, 2
Suppose -3*j + 4 = x - 4, 4*x - 2*j = -24. Let w = -2 + 5. Let u = 4893 + -4895. Sort u, w, x in descending order.
w, u, x
Let u(g) = -7*g - 261. Let j be u(-37). Sort 13, -4, j, -3 in descending order.
13, j, -3, -4
Let l = -4297/44117 + 22/281. Let s = l - 607/1099. Sort s, -3, 2.
-3, s, 2
Let m = -59.1 + 74.1. Sort 4, m, 69.
4, m, 69
Let m be (1071/(-12))/(-2 +