o, -0.17
Suppose 4*m - 6*m + 32 = 5*d, 5*m + 2*d = 38. Put m, 5, 4 in decreasing order.
m, 5, 4
Suppose -k = 3*g + 3*k + 75, -3*g + 3*k - 96 = 0. Sort -4, 1, g in increasing order.
g, -4, 1
Let y = -39/29 + 1/87. Let h = 8 + -6. Let u = 244 + -243.99. Sort h, u, y in ascending order.
y, u, h
Let z be 2/2*(-39 - -32). Sort z, -0.2, -0.03 in increasing order.
z, -0.2, -0.03
Suppose -3 = 3*p - 0. Let q be 32/(-80)*p/(-3). Sort -1/9, -2, 2/3, q in increasing order.
-2, q, -1/9, 2/3
Let o be (-464)/1920 - 2/15. Let u = -18 - -21. Put u, 1, o in ascending order.
o, 1, u
Let h = -267 - -270. Sort 1, h, -5, 44.
-5, 1, h, 44
Suppose 2*r - 5*m = r, 0 = -r + 3*m - 6. Let t = r + 15. Let i be ((-1)/(-1))/(-2 - -1). Sort -2, i, t.
-2, i, t
Let s = 244 + -244.12. Sort s, -4, 2/5, -0.1 in increasing order.
-4, s, -0.1, 2/5
Let h = -10.9 + 10.9. Let t = 10 - 10.3. Put t, -4, 5/4, h in increasing order.
-4, t, h, 5/4
Let c = 1338 - 1273. Sort 1, -4, c in descending order.
c, 1, -4
Let u(p) = -p**3 - 4*p**2 - 14*p - 61. Let s be u(-4). Let y = 4 + -3. Sort 7, s, 5, y in descending order.
7, 5, y, s
Let o = -2 + 0. Let d be (8/6)/(o/(-3)). Let h(v) = -12*v - 204. Let t be h(-17). Put 3, d, t in descending order.
3, d, t
Let g(z) = z**3 + 4*z**2 + 4*z + 2. Let w be g(-2). Suppose 0*u - 147 = 166*u + 517. Sort -1, w, u, -2.
u, -2, -1, w
Let s = -15.8 + 16. Sort 0, 6, s.
0, s, 6
Suppose i - 5*z - 30 = 0, -14*i + 16*i - 45 = 5*z. Put 5, -5, i in decreasing order.
i, 5, -5
Let f(a) = 2*a**3 - 6*a**2 - 3*a + 7. Let b be f(3). Sort 38, b, 1 in ascending order.
b, 1, 38
Let y be (1/(-3))/(8/(-168)). Let x be 0 + (-10)/35 - (-52)/(-14). Sort y, -2, x in decreasing order.
y, -2, x
Suppose 2*m + 10*m - 48 = 0. Let t be (8/(-12))/((-4)/(-3)). Sort m, 0.9, t.
t, 0.9, m
Let z(p) = 2*p**2 + 19*p + 9. Let a be z(-9). Suppose a = 2*q + q - 3. Sort 3, -7, 2, q.
-7, q, 2, 3
Let d be (-8)/6*18/(-6). Suppose d = -4*n - 4*v, -3*n - v + 0 = -1. Let j = 31.9 - 32. Sort j, n, -1/11 in increasing order.
j, -1/11, n
Let q = 77.1 + -77. Let w = 4 + 3. Put w, q, 1 in descending order.
w, 1, q
Suppose 225 = -3*q + 240. Sort -3, -6, 2, q.
-6, -3, 2, q
Let p = -72 - -48. Let h be 12/(-28) + -1 + p/(-7). Sort 4, 5, 0, h in increasing order.
0, h, 4, 5
Let f = 307 + -301.04. Let o = -6 + f. Sort 0.2, o, -5/4 in increasing order.
-5/4, o, 0.2
Let c = 72.97 + 0.03. Let o = -77.1 + c. Let n = 0.1 + o. Sort 3, 2/5, n in decreasing order.
3, 2/5, n
Let m = 34 + -43. Let a be 1 + 2/2*-2. Sort -3, -4, a, m.
m, -4, -3, a
Let d = 11 + -13. Let n be 57/(-24) - d/1. Let g = -0.05 + 0.25. Sort g, -1, n in increasing order.
-1, n, g
Let c = 223.5 + -224. Sort -2, c, 3 in decreasing order.
3, c, -2
Let m = -0.3 - 3.7. Suppose 25 = 2*v + 31. Let x be v - ((-2)/4 + -3). Sort m, -1/3, x.
m, -1/3, x
Let y be 3/(7 - (10 - 10)). Sort -2, y, 5/13, 3/5 in increasing order.
-2, 5/13, y, 3/5
Let m(c) = -3*c**3 - 2*c**2 + 2*c + 1. Let g be m(-2). Suppose -q = -g + 7. Suppose 0 = -0*p + 2*p - q. Sort 5, p, -2 in descending order.
5, p, -2
Suppose 0 = -4*c, -4*u + 5*c - 6 = -2*u. Sort -19, u, 4.
-19, u, 4
Let j be (4/(-6))/((-8)/(-6)). Let a = 287/2 + -145. Sort a, j, 0.2, -1.
a, -1, j, 0.2
Suppose 3*g + 3*v = 4*g + 12, 0 = -g - 2*v + 13. Suppose -4*s + 26 = -a, a + 3 = -4*s + 17. Let x = a - -5. Sort g, 4, x in ascending order.
x, g, 4
Let y(v) = v. Let b be y(2). Let m(x) = 4*x - 3. Let t be m(b). Suppose -t = -2*z + 3. Sort z, -2, -5 in ascending order.
-5, -2, z
Let x = 42.5 + -42.3. Put -31, -2/13, x, 2/15 in descending order.
x, 2/15, -2/13, -31
Let g = -80 + 79.98. Sort g, 0, -1/3 in descending order.
0, g, -1/3
Let p = -3 - -1. Let t = -405 - -402. Let v be (1*2)/((-4)/10). Sort v, t, p in increasing order.
v, t, p
Let s = 81.922 + -82. Let j = 0.002 - s. Put 0, 2/5, -2/3, j in descending order.
2/5, j, 0, -2/3
Suppose 4 = 4*z - 12. Let y be 2/z - (-7)/(-21). Let x = -8 + 8.3. Sort y, -0.1, x in descending order.
x, y, -0.1
Let y = -0.418 - -4.418. Let n be 4/(-14) + (-600)/(-1071). Let z = n - 20/51. Sort z, -3/7, y in descending order.
y, z, -3/7
Let u = -123 - -203. Let q be 2/(-10) + (-144)/u. Put -4, q, -35 in decreasing order.
q, -4, -35
Let s = -2.5 - -2.1. Let h = s - -0.1. Let c = 0.2 + -0.2. Sort -2, h, c.
-2, h, c
Suppose c + 4 = g + 5*c, 0 = -g + 4*c - 12. Suppose -4*y = 18 - 14. Let w be 0 - (-1 - -2 - 1). Put w, g, y in ascending order.
g, y, w
Suppose -p - 2*m = -m - 1, 0 = -p + m - 1. Suppose 3*q + 0*q - 21 = p. Let d(k) = 4*k**2 - 26*k - 14. Let c be d(7). Put q, c, -4 in ascending order.
-4, c, q
Let u = -0.2 + 0.7. Let k be 1/(-1) + (-18)/(-20). Let j = 85 - 87. Put u, k, j in descending order.
u, k, j
Suppose 4*c - 12 = a, -3*a - 16 = -2*a - 5*c. Let k be -3 + ((-112)/(-4))/a. Suppose -3 = k*f + 9. Sort f, 3, 1 in descending order.
3, 1, f
Let z = -1661.982 - -1658. Let f = z + -0.018. Put -2, f, 1 in descending order.
1, -2, f
Let x = 88 + -90. Let i = 17.96 + -1.36. Let q = i - 1.6. Sort -3, x, q in decreasing order.
q, x, -3
Let d be (3/2)/(18/192). Let u = 12 - d. Suppose -4*s + 10*s - 6 = 0. Sort 0, s, u in increasing order.
u, 0, s
Suppose -5*h - 3 = 2. Let k = -415 - -411. Put 0, h, k in decreasing order.
0, h, k
Let q be 4/2*2/1. Suppose n - 3*k - 1 = 0, 19*n - 18*n + 4*k = -6. Put q, -4, n in increasing order.
-4, n, q
Let t(b) = b**2 + 2*b - 4. Let z be t(-3). Let v = -7.3 + 5.3. Let h = 37/129 + 2/43. Put h, z, v in decreasing order.
h, z, v
Suppose 5*h + 2*g - 14 = 3*g, -2*g - 4 = -2*h. Let w(c) = c**3 + 11*c**2 + 9*c - 11. Let q be w(-10). Put 5, h, q in decreasing order.
5, h, q
Suppose -4*y + r - 3 - 5 = 0, 2*r = y + 9. Let u(b) = -b**2 - 3*b + 4. Let x be u(-4). Put y, 5, -2, x in descending order.
5, x, y, -2
Let p(m) = m + 5. Let n be p(-4). Let i = -73 - -77. Put i, -2, n, -1 in ascending order.
-2, -1, n, i
Let l = -17 - -22. Put 2, 2/3, 0.4, l in descending order.
l, 2, 2/3, 0.4
Let b = -2 + 8. Suppose 2*z - 8 = 0, b*z - 10*z + 13 = 3*g. Put g, -5, 0 in descending order.
0, g, -5
Let g = 1.48 + -1.08. Sort g, 0.04, -5, 3.
-5, 0.04, g, 3
Let l(b) = b**3 - 2*b**2 - 5*b + 2. Suppose 3*n + v = 2*n + 6, 2*n = -3*v + 15. Let u be l(n). Suppose 0 = -5*d + d + 28. Sort d, u, -0.1 in increasing order.
u, -0.1, d
Let k be (0 + 2)/((-2)/(-41)). Suppose k = 5*x - r + 13, 0 = -3*x - 5*r. Let o be 18/x + 18/(-30). Sort o, 0, 1 in increasing order.
0, 1, o
Let x = 423.1 + -423. Sort 2/7, -2.15, -1, x in descending order.
2/7, x, -1, -2.15
Let r = 1050 + -3152/3. Put r, -3, 26 in increasing order.
-3, r, 26
Suppose -p - 7 = 4*n, 0 = 2*n + 2*p + 6 - 4. Sort -30, 1, n in increasing order.
-30, n, 1
Let m be 21/14*2/(-1). Let q(w) = 2*w - 5. Let d be q(3). Sort d, -5, 2, m in decreasing order.
2, d, m, -5
Let z be -8 - 5*(-33)/15. Put z, 26, 0, 4 in increasing order.
0, z, 4, 26
Let w = -165 + 167. Let k = 1/19 - -53/76. Put 2/3, w, -3, k in decreasing order.
w, k, 2/3, -3
Let c = -0.5 + 0.9. Let y = 14 + -14. Let v = c - y. Sort 2, -1/10, v in decreasing order.
2, v, -1/10
Suppose -33 = -8*a - 1. Sort 6, a, 3 in increasing order.
3, a, 6
Suppose -21*o + 45 = -12*o. Sort -5, 1, 4, o in decreasing order.
o, 4, 1, -5
Let r(f) = -4*f**3 + 2*f - 4*f + 2*f**3 - 2*f**2 + 17*f**3 - 1. Let k be r(-1). Let m = -17 - k. Sort -4, m, 0.
-4, m, 0
Let i(m) = m**3 - 3*m**2 - 4*m + 3. Let p = 22 + -14. Let t be (-6)/p + 57/12. Let o be i(t). Put o, 5, 0 in increasing order.
0, o, 5
Let y(u) = 40*u + 105. Let x be y(-3). Sort 5, -2, x, -5 in ascending order.
x, -5, -2, 5
Let h(a) = -5*a - 6. Let t be h(-6). Let o be t/(-150)*10/4. Sort 0, 1, o in ascending order.
o, 0, 1
Suppose 10 = 4*v + 5*f, 5*v - 9*v - 3*f + 6 = 0. Put -3, -17, v, -2 in descending order.
v, -2, -3, -17
Suppose 0 = 4*m - 2*f + 22, 0*m - 34 = 3*m - 5*f. Let s be (-2)/2*-2 + -1. Let w = -1.1 + 1. Sort m, s, w in decreasing order.
s, w, m
Let s(d) = 8*d - 597. Let m be s(75). Sort -4, -24, m, -3 in ascending order.
-24, -4, -3, m
Let l = -1/514 - -1111/42662. Put -0.4, 1/3, l, -5 in decreasing order.
1/3, l, -0.4, -5
Let h be (2 - 1 - (-34 + 33)) + -2. Sort 3, h, -4 in decreasing order.
3, h, -4
Let h = -892 + 893. Put h, -1/4, -507 in ascending order.
-507, -1/4, h
Let o be ((-142)/36 + 4)/((-2)/(-9)). Let w = 0.86 + -0.8. Sort -0.1, o,