 Put -3, -0.3, o in increasing order.
-3, -0.3, o
Let s = -206 - -206.05. Put s, -3/5, -0.02 in descending order.
s, -0.02, -3/5
Let f = -165 + 165.5. Sort f, -0.4, 165.
-0.4, f, 165
Suppose -24*g + 23*g = -19. Sort -3, g, 3, -4.
-4, -3, 3, g
Let a(x) = 9 - 142*x**3 + 143*x**3 + 4 - 10*x - 8*x**2. Let k be a(9). Let b = 3 + k. Sort 5, -1, b in descending order.
b, 5, -1
Let q = -7 - -8. Let h(r) = -r**3 + 2*r**2 - 1. Let s be h(1). Suppose s = -7*v + 5*v - 10. Sort v, 5, q in descending order.
5, q, v
Suppose 5*i + 50 = -l + 4, -i - 182 = 5*l. Let n = l - -43. Put -2, n, -5 in descending order.
n, -2, -5
Let a be 3/3 - (-1 + 6). Let v(m) = 2*m**2 - 6*m - 8. Let w be v(6). Let d = -29 + w. Sort a, d, 3 in ascending order.
a, d, 3
Let b = 0.07 - -0.02. Let v = b + 3.91. Let w = 3.2 - 0.2. Put v, -4, w in descending order.
v, w, -4
Let n(o) = o**2 - 2*o - 1. Let r be n(-1). Put -9, 4, r, -4 in ascending order.
-9, -4, r, 4
Let d = -0.01 + -0.39. Let t = d - 5.6. Sort -5, 0.1, t in decreasing order.
0.1, -5, t
Let j be -8 + (-6)/(-3) + 3. Let f be (-10)/j*(-6)/(-5). Let t = -19 + 21. Sort -1, f, t.
-1, t, f
Let c(g) = g + 152. Let r be c(0). Suppose -2*j - r = -10*j. Sort j, -2, 3.
-2, 3, j
Suppose -3*p + 19 = 2*f, -6*p = p - 2*f - 11. Suppose 4 = 2*n - 4. Sort p, n, -3, -2 in increasing order.
-3, -2, p, n
Let b = 65.3 + -65. Let l = b + -0.8. Sort 0.5, l, -0.7, -1 in decreasing order.
0.5, l, -0.7, -1
Let s be 0/(-8) + -2 + 12/2. Sort -3, -1, 0, s in descending order.
s, 0, -1, -3
Let z = 1.16 + 2.84. Let a = 2.4 - 2. Sort a, 5, z in ascending order.
a, z, 5
Suppose -57*u + 12 = -51*u. Sort -2, 56, -1, u in increasing order.
-2, -1, u, 56
Let f = 3.115 - 0.115. Let j = 5 - f. Sort 3, -0.2, 1, j.
-0.2, 1, j, 3
Suppose 10 = -2*k + 5*u, 12*k - 2*u = 11*k - 4. Put -0.5, -1/5, k, 1/12 in decreasing order.
1/12, k, -1/5, -0.5
Let y = 2229 + -2228. Let j be 25/51 + (-8)/12. Put j, y, -2/11 in descending order.
y, j, -2/11
Let c(s) = 17*s**2 + 119*s + 11. Let z be c(-7). Sort z, 5, 0, -5 in ascending order.
-5, 0, 5, z
Suppose -5 = 5*k, -4 = 2*r + 2*r + 4*k. Suppose -4*v - 3*h - 96 = 0, 0*v - 3*h = 3*v + 69. Let u = v + 31. Sort u, 5, r.
r, u, 5
Let f be (1 - 10/4)*(-168)/(-252). Sort f, -2, 5 in decreasing order.
5, f, -2
Let u(v) = -8*v + 66. Let f be u(8). Sort 4, 3, f.
f, 3, 4
Let m be (-16)/10*12/48. Sort m, 6, 4 in descending order.
6, 4, m
Let q = 0.09 + -7.09. Let o = q + 8. Suppose 5*w = 5*h + 25, 0*h - 5*w = h + 5. Sort h, -0.4, o in descending order.
o, -0.4, h
Let w = 14 + -12. Suppose w*f = 4*u + 3 - 9, 5*u = -4*f + 1. Sort 2, -3, f in decreasing order.
2, f, -3
Suppose 4*v - 3*v + 2 = 0. Suppose 0 = -362*h + 323*h. Put v, 1, h, 3 in decreasing order.
3, 1, h, v
Suppose 0 = 5*v - 3*l - 33, 4*v - 40 + 11 = 5*l. Sort 1, 0, 2, v.
0, 1, 2, v
Let n be (-30)/(-20)*(-20)/(-3). Let g be (-66)/15 + 4/n. Suppose 0 = 8*m - 59 + 83. Sort g, m, -13 in decreasing order.
m, g, -13
Let h = 2 - 3. Suppose 83*s - 43*s = 50*s. Sort s, h, 17.
h, s, 17
Let t(j) = -3*j**3 + 47*j**2 + 17*j - 15. Let b be t(16). Put -3, 8, 3, b in descending order.
8, 3, b, -3
Suppose -58*s + 35 = -51*s. Sort s, -3, -6.
-6, -3, s
Let n = -12 - -5. Let m = 3 + n. Let f = -0.86 - -3.86. Sort -5, f, m in descending order.
f, m, -5
Let r be (-1)/(-4)*(-12)/(-10 + 13). Sort -4, 4, r, 1 in ascending order.
-4, r, 1, 4
Let c be 21/(-56)*(-2)/3. Let p = -70 + 75. Put p, c, -12 in increasing order.
-12, c, p
Suppose 0 = 2*c + 3*c + 35. Sort c, 0.5, -0.05 in increasing order.
c, -0.05, 0.5
Let p(q) = 0*q + 3 - 6*q - 5*q + 9*q. Suppose 4 = t - f - 2, 4*t = -2*f + 12. Let o be p(t). Sort o, 0.09, -0.4.
o, -0.4, 0.09
Let t = 1271 - 1275. Put -5, t, -53 in decreasing order.
t, -5, -53
Suppose 2*x + 5*q + 6 + 13 = 0, 0 = 4*x + q + 11. Let h be x/((-1)/((-2)/16)). Sort h, 0.4, -8 in descending order.
0.4, h, -8
Let r = -181 + 187.15. Let s = r + -0.15. Let y = -10 + s. Sort 4, y, -2/3 in decreasing order.
4, -2/3, y
Let y(w) = w**2 - 18*w + 12. Let d be y(13). Let i = 133391/6 - 22179. Let o = i + d. Sort o, 0.03, -0.4 in ascending order.
-0.4, o, 0.03
Let l = -363/2960 + -12/185. Sort l, 18, -2 in increasing order.
-2, l, 18
Let y(p) = 10*p - 5. Let i be y(2). Suppose i = 3*o + 3. Suppose -n = c + 6, -3*c - o*n + 13 = 32. Sort c, 2/9, -1 in increasing order.
c, -1, 2/9
Suppose 18 = 5*c + 2*y, -2*y = c + 2*y - 18. Let k = 542 - 545. Sort c, k, 13 in descending order.
13, c, k
Let j be (-16)/9 + (-4)/18. Let m be 15/12*(-8)/(-2). Suppose 176*t - 196 = 332. Sort m, t, j.
j, t, m
Suppose 2*d - d = 3. Let z be 9/(-2)*(-180)/54. Suppose -d*y + 5*o - z = 25, -2*y + 4*o = 30. Sort y, -3, -2 in ascending order.
y, -3, -2
Suppose -3*u - 3*y = -y - 7, -4*y = u - 19. Sort 2, 8, u in ascending order.
u, 2, 8
Let v = -9 + 1044. Let q = -7295/7 + v. Let b = q + 7. Sort -0.2, -0.4, b in descending order.
b, -0.2, -0.4
Let l be 20/(-9) - (-28)/126. Let w = 8 - 13. Let t = 9 + w. Sort t, -3, l.
-3, l, t
Let m(b) = -b**3 + 5*b**2 + 12*b + 8. Let s be m(6). Suppose -35 = 5*t - 3*a + 24, -4*t - s = -4*a. Sort 1, -0.2, t in ascending order.
t, -0.2, 1
Suppose 15 = 11*l - 6*l. Suppose -x - l*x - 4*a = -28, -2*a - 7 = -5*x. Sort -1, x, -2 in increasing order.
-2, -1, x
Let y be 3*(-1)/(13 + 14). Let p = 2252/11 + -205. Put y, 1/3, -1/12, p in descending order.
1/3, -1/12, y, p
Let y = -157 + 787/5. Sort -4, y, 176.
-4, y, 176
Suppose 9483 - 3675 = 24*j. Put -2, j, 3 in decreasing order.
j, 3, -2
Let u be ((-1)/(-1))/((-19)/(-95)). Put -4, u, 4, -2 in descending order.
u, 4, -2, -4
Let c be (10/(-10))/(1 + 12/(-15)). Sort c, 3, 5, 0 in descending order.
5, 3, 0, c
Let t = -2876 - -2881. Put -3, 0, 90, t in decreasing order.
90, t, 0, -3
Let z be 1/((-8)/(-144) + 2/(-9)). Put z, -4, -1 in decreasing order.
-1, -4, z
Let u = -144.5 + 93. Let n = u + 52. Sort -1/3, n, -0.3, 2 in decreasing order.
2, n, -0.3, -1/3
Let i be 4*1*550/440. Sort i, -4, 0.
-4, 0, i
Let g be (-81)/(-9) + 14/(-2). Sort g, -2, -142, 0.
-142, -2, 0, g
Let l(s) = 4*s**3 + 46*s**2 + 24*s + 21. Let y be l(-11). Sort -74, -3, 0, y in ascending order.
-74, -3, y, 0
Suppose 4*d = -8 - 0. Let s(f) = 2*f**3 - 86*f**2 - 4*f + 177. Let i be s(43). Sort d, i, -1, -5 in increasing order.
-5, d, -1, i
Let q(k) = -k + 9. Let w be q(5). Suppose 0 = 85*f - 138 + 53. Sort w, -4, 3, f in decreasing order.
w, 3, f, -4
Let v(a) = -2*a**2 - 3*a - 3. Let o be v(-2). Let b be 2/7 - 26/(-7). Suppose -b*m + 0*j + 6 = -2*j, 2*j - 2 = 0. Put 5, m, o in descending order.
5, m, o
Suppose 4*r - 12 + 4 = 0. Let m = -7 - -6.8. Sort m, 1, r in increasing order.
m, 1, r
Let f = -81.18 - -77.231. Let n = -0.051 + f. Sort -1/3, -5, n, 2/13.
-5, n, -1/3, 2/13
Let m = 0.0558 + -16.0558. Sort m, -0.4, 0.2 in increasing order.
m, -0.4, 0.2
Let a = 57.2 + -34. Let s = a + -23. Put s, 11, 2/13 in decreasing order.
11, s, 2/13
Let h be (-1)/(1 - (-64)/(-68)). Let q = -20 - h. Put 5, -2/5, q in descending order.
5, -2/5, q
Let o = -271 + 261. Sort 3/5, o, -2/15, 2/25 in decreasing order.
3/5, 2/25, -2/15, o
Suppose 0 = -3*w + 3*p + 12, -3 = 3*p. Suppose -4*s + 23 = 5*v, -2*s + 5*v = -4*s + 19. Suppose 0 = -s*l - 75 + 85. Put l, w, 0 in descending order.
l, w, 0
Let i be -1 + -1 + (1 - -1). Suppose 0 = -i*f - 3*f + 4*k - 206, -332 = 5*f - k. Let o be -3*(4/f)/(-1). Sort 4/3, 1/4, o.
o, 1/4, 4/3
Let c(s) = s**2 + 9*s - 16. Let d be c(-11). Suppose 5*g - 3*g - d = 0. Suppose 4 = g*o - 2*o. Sort 0.2, o, 0.4.
0.2, 0.4, o
Let a(j) = 11*j - 51. Let k be a(5). Sort 0.2, -1/15, k, 5 in decreasing order.
5, k, 0.2, -1/15
Let v = -615 + 617. Sort 4, -5, v.
-5, v, 4
Let u = 25.98 - -0.02. Let x = u - 38. Let c = -11.6 - x. Put c, 2, 5 in descending order.
5, 2, c
Let b = -0.21 + -1.79. Put 3/10, b, 2/7 in descending order.
3/10, 2/7, b
Suppose -638 = 4*a - 638. Put a, -6, 19 in descending order.
19, a, -6
Let z = -9 + 4. Let r = 33 - 3. Suppose p + r = 29. Put z, p, 2 in descending order.
2, p, z
Suppose -2*o + 6 = -2*f - 0*f, 0 = -o - 5*f + 3. Suppose 3*c + 5 = -5*u, -4*u = -3*u - 4*c - 22. Suppose u*m + 1 + 1 = 0. Sort o, m, 5.
m, o, 5
Let u = 4.3 - 4. Let m = u + -0.1. Let c = -0.3504 + -0.6496. Sort 2, m, c in increasing order.
c, m, 2
Let a be (2/4)/((-8)/(-48)). Suppose -3*w = a*p + 15, 2*p - 3