))/(-1*5/15). Let x = 0 + 1. Put x, 5, j in decreasing order.
5, x, j
Suppose -19 = 2*n - a, n + 0*n - 8 = -3*a. Let c be 31/8 + (n - -3). Sort c, -9, -2/13 in decreasing order.
c, -2/13, -9
Let r be (7/(-14))/(12/8 - 1). Sort -7, -4, r, -2 in decreasing order.
r, -2, -4, -7
Let z be 45/84 - ((-27)/36 + 1). Put 75, -1/5, z, -0.5 in decreasing order.
75, z, -1/5, -0.5
Let s = -810 + 814. Sort -23, s, 3, 0.5 in descending order.
s, 3, 0.5, -23
Let y(k) = -22*k - 20. Let h be y(-1). Let x be ((-6)/(-2))/((-6)/(-8)). Put 5, h, x in decreasing order.
5, x, h
Let k = 1.14 - 0.04. Let n = k + 0.9. Sort 3/7, 0.3, -2, n in ascending order.
-2, 0.3, 3/7, n
Suppose 3*j + r + 17 = 0, 8*j - 10*j = -2*r + 6. Put j, -7, -1, 1 in increasing order.
-7, j, -1, 1
Let r(i) = 3*i - 2. Let c be r(1). Suppose -5*n + 8 = -n. Let w(s) = s**2 - 4*s + 2. Let t be w(3). Put c, t, n in descending order.
n, c, t
Let b = -52.4 + 49.4. Sort 2/21, b, -4, -0.12 in decreasing order.
2/21, -0.12, b, -4
Let k be 7/8*(-30)/(-35). Sort -4, k, 0.4 in ascending order.
-4, 0.4, k
Let m = -15 - -82. Suppose -m = -4*h - 355. Let p = h + 362/5. Put p, -1/2, -3 in decreasing order.
p, -1/2, -3
Suppose 3*r - 34 = 20. Sort -2, r, 2/3 in increasing order.
-2, 2/3, r
Let h be (90/120)/((-6)/(-40)). Put h, 3, 2 in descending order.
h, 3, 2
Let b = 32 - 30. Let p be (4 - 20/(-8))*b. Sort p, -1, -2 in descending order.
p, -1, -2
Suppose 0*x - 5*x + 5 = 0. Let f be (3 + -8)*x + -2. Sort f, -4, -3 in descending order.
-3, -4, f
Let v = 4 + -2. Let p = v + -2. Let x = 1053 + -1053.2. Put 5, x, p in increasing order.
x, p, 5
Suppose -6*t + 7 + 5 = 0. Let n(p) = p**3 - 4*p - 247*p**t + 242*p**2 - 5 - 2*p. Let u be n(6). Sort u, -4, -1 in descending order.
-1, -4, u
Let w be ((-6)/(-4))/(3/(-16)). Let q be (-122)/(-8) - 2/w. Let r = 15 - q. Sort r, -3/5, -3/4 in ascending order.
-3/4, -3/5, r
Let l = 129 - 125. Let n(g) = -g - 8. Let d be n(-10). Suppose -d*u + 3*c = -2, -c = -3*u + 4 - 1. Put 5, u, l in ascending order.
u, l, 5
Let z be ((-2)/(-4))/((-5)/(-10)). Let r be (-6 - (-240)/50)/(4/10). Put 0.2, r, 5, z in increasing order.
r, 0.2, z, 5
Let t = 4/5 - 14/15. Sort -3, t, -16 in increasing order.
-16, -3, t
Let v = 388/135 - 2/27. Let a = v - 136/45. Sort a, 2, -2/3 in ascending order.
-2/3, a, 2
Suppose 5*p = -2*k + 34, k - 20 = -4*p + 9. Let j be (2/3)/(6/72). Suppose -6*v = -p*v + j. Sort -1/4, v, -1.
-1, -1/4, v
Let q = -37852/21 - -1802. Sort -3/4, 5, q in decreasing order.
5, q, -3/4
Let j(h) = -h - 17. Let y be j(-14). Let w be y - (2 + -3)/(-1). Let t = -37/36 - -16/9. Sort t, 1/7, w in decreasing order.
t, 1/7, w
Let r(s) = 2*s - 1. Let m be r(1). Suppose 0*y = -2*y + 20. Suppose 5 = q + y. Sort 5, q, m.
q, m, 5
Suppose d + 44 = 40. Put d, -1, -39 in decreasing order.
-1, d, -39
Suppose -2*z + 3*z = 8. Let q be 80/102 + z/(-12). Let v = 4.08 + -2.08. Sort v, q, 2/5 in ascending order.
q, 2/5, v
Let l = -14 - -13.73. Let d = 0.4 + l. Put 3, -5, d in decreasing order.
3, d, -5
Let b = 0.06 + -14.06. Let u = -15 + 26. Let z = u + b. Put -0.1, z, 3 in descending order.
3, -0.1, z
Let o be (-2)/(-12) + (-495)/(-270). Let v(t) = 2*t. Let u be v(o). Let z = -6 - -4. Sort u, z, -1 in descending order.
u, -1, z
Let n be 82/3 + (-8)/(-12). Suppose -25*x = -n*x. Sort -9, x, -4 in decreasing order.
x, -4, -9
Let v(b) = b**2 - 4*b - 7. Let t be v(6). Let u be (-3)/(-6)*4 - 20. Let k = u + 19. Sort t, -1, k in descending order.
t, k, -1
Suppose 1 = j, -4*h - 2*j - 51 = 27. Let p be (-2)/6*12/h. Let f be (-21)/5 + 1/5. Sort -0.5, p, f.
f, -0.5, p
Let m = -135.152 + -0.848. Put m, -4, -1 in ascending order.
m, -4, -1
Suppose -7 = 5*j + 4*u, -32*u + 4 = -30*u. Sort 4/3, j, -8.
-8, j, 4/3
Let d = -0.5 - -1. Let u = 4.13 + -0.13. Let y = 5 - 7. Sort y, d, u in ascending order.
y, d, u
Let v(w) = w**2 - 10*w + 6. Suppose 2 = b - 7. Let c be v(b). Put -4, 5, c in ascending order.
-4, c, 5
Let o = -1.1 + -11.65. Let c = o - -13. Let g = c - 0.45. Sort 14, 0, g in decreasing order.
14, 0, g
Suppose l = -4*o + 13*o - 24, l = 5*o - 12. Put l, 4, 1, 8 in decreasing order.
8, 4, l, 1
Let y be (33/24 + -1)*-4. Let n = 0.0441 - 0.0441. Put y, n, 1/2, 2/9 in ascending order.
y, n, 2/9, 1/2
Let v be ((-87890)/105)/(-11) + (-2)/21. Put -4, 2, v, 3 in descending order.
v, 3, 2, -4
Let g = 4.21 - -0.79. Put -7, -3, g, 0.2 in descending order.
g, 0.2, -3, -7
Suppose -6*i = 188 + 88. Let h = 49 + i. Put -4, 2, h, -1 in decreasing order.
h, 2, -1, -4
Let m = 396 + -491. Sort m, 2, 4 in decreasing order.
4, 2, m
Let x = -466 + 465. Let k = 22 - 21. Put 8, x, k in descending order.
8, k, x
Suppose i + 2*i - 17 = -v, 2*v - 2*i = 2. Suppose 5*r - 2*p = 29, r + v*p = -6 + 1. Suppose -4*g = -r*g + 1. Put g, -2, 4 in increasing order.
-2, g, 4
Let j = -20.9 + 40.9. Sort -2, j, -4 in decreasing order.
j, -2, -4
Suppose -8*t + 46 = -9*t. Let c = 38 + t. Put 1/5, c, 0.1, 1 in descending order.
1, 1/5, 0.1, c
Let i be (-38)/(-10) + 7/35. Suppose 5*t - 1 = i. Put 7, t, 2, -2 in decreasing order.
7, 2, t, -2
Suppose -3*g + 9 = v - 1, 0 = 5*g + 3*v - 22. Let u = 139 + -144. Sort 14, g, u in ascending order.
u, g, 14
Let q be -1 + 6 + 0 + -2. Let m = -552 - -550. Put q, m, 0.5 in decreasing order.
q, 0.5, m
Suppose -q - 19 = 3*h, 22*h = 3*q + 17*h - 13. Put 0, -21, q, 2 in decreasing order.
2, 0, q, -21
Let d = -25.8 - -25.7. Put -1.2, 5, 1/9, d in ascending order.
-1.2, d, 1/9, 5
Let v be (-13 - -2) + 45/5. Sort -6, -3, v.
-6, -3, v
Let w(j) = -j**3 - 17*j**2 + 12*j + 130. Let g be w(-17). Put 6, -1/8, -3, g in increasing order.
g, -3, -1/8, 6
Suppose b - 2 - 19 = 0. Let j = b - 22. Sort j, 3, -5.
-5, j, 3
Let x = -20.3 - -20. Let r = 0.1 + 1.2. Let m = 14.3 - r. Put m, x, 0.1 in decreasing order.
m, 0.1, x
Let o = 154.48 - 154. Let g = o - 0.38. Put -0.13, 2/7, g in decreasing order.
2/7, g, -0.13
Let d = 15 + -15.5. Let a = 0 + 0. Suppose -2*p + 0*p = 10. Sort p, d, a.
p, d, a
Let y(f) = -5*f - 200. Let z be y(-41). Sort z, -2, -6 in ascending order.
-6, -2, z
Suppose -318 = -0*n - 3*n. Let p = 110 - n. Sort -0.4, 0.17, p in ascending order.
-0.4, 0.17, p
Let t = 81 - 51. Let b = 796 - 801. Sort t, b, -4, 2 in decreasing order.
t, 2, -4, b
Let t = 95 + -93. Sort -4/5, t, -0.3 in descending order.
t, -0.3, -4/5
Let s be (8/12 - 4)*(-15)/25. Sort 2/3, -4/3, 0.088, s in decreasing order.
s, 2/3, 0.088, -4/3
Let a = -841 + 821. Put a, -2/7, -4, 1 in descending order.
1, -2/7, -4, a
Let j(u) = -3*u - 22. Let o be j(-8). Let g = 0.5 - 0.1. Let t = g + 0. Sort t, o, 3/2.
t, 3/2, o
Suppose 135*t - 145*t = 30. Sort -0.2, -5, t in increasing order.
-5, t, -0.2
Let t = 8.6 + -100.6. Let n = 91.6 + t. Sort 1, -0.5, n.
-0.5, n, 1
Let b = 64/13 + -397/78. Let r = -6 - -11. Sort 3, b, r, 1/4.
b, 1/4, 3, r
Let n be 352/16 + (-1 - 4/(-1)). Sort 5, 1, n, -3.
-3, 1, 5, n
Let m be ((-9)/(-6))/3*2. Suppose -2*i - i = 2*x - 15, 0 = 4*x + 2*i - 18. Let g be 6/(m - x/(-6)). Sort -3, g, -1 in descending order.
g, -1, -3
Let r = -286/1125 - -4/125. Put -0.3, -0.13, 0.6, r in decreasing order.
0.6, -0.13, r, -0.3
Suppose -q + 13 = -2*x, 0 = 5*q + 4*x + 5 - 0. Suppose -5*b - 2 = 3*c, -c - q = -4*b + 9. Sort -1, -9, c in descending order.
-1, c, -9
Let w = -1240.1 + 1240.2. Let m be (-11)/(-5) - (-4)/(-2). Suppose 4*y + 22 = x, 3*y + 28 = 5*x + 3. Put w, y, m in ascending order.
y, w, m
Let m = 0.0012 - -4.9988. Put 1, 0.06, m, -0.13 in increasing order.
-0.13, 0.06, 1, m
Let w = 4.74 - 4.54. Put w, -0.1, 60 in increasing order.
-0.1, w, 60
Let c = -937/3 - -311. Put c, -0.4, -2/3, -0.2 in increasing order.
c, -2/3, -0.4, -0.2
Let q = -554 + 558. Put -4, 0, -9, q in decreasing order.
q, 0, -4, -9
Let d = 669 - 664. Sort 4, 402, d in ascending order.
4, d, 402
Let w(s) = -3*s**3 + 6*s**2 + 19*s - 8. Let j(q) = 8*q**3 - 19*q**2 - 56*q + 24. Let h(t) = -4*j(t) - 11*w(t). Let u be h(-8). Sort -5, 2, u.
-5, u, 2
Suppose -71*j - 34 + 176 = 0. Suppose k = 5*c - k, 2*c - 5*k = 0. Suppose 3*a + 3*v - 13 = -34, c = -4*a - 2*v - 24. Sort j, a, -3 in decreasing order.
j, -3, a
Let y = -20 - -15. Let r = -16 - -19. Let j = -1 - -3. Put j, r, y in decreasing order.
r, j, y
Let l = 5 - 2. Let h be 3 + (2/(-6))/(22/286). Sort -1/7, h, l, -1/5 in increasing order.
h, -1/5, 