Let n = o + -13/253. Sort 0.4, n, 2, 4/7.
n, 0.4, 4/7, 2
Suppose 0 = p - 2 - 3. Suppose -p*l + 3*l + 2 = 0. Let s(v) = 29*v + 752. Let x be s(-26). Sort x, l, -3.
-3, x, l
Suppose 0 = 3*w - 0*w + 4*n - 2, -12 = w - 5*n. Put 3, 4, w, -0.4 in increasing order.
w, -0.4, 3, 4
Let u = 1256 + -1260. Sort u, 0.3, -1/7 in decreasing order.
0.3, -1/7, u
Let r = 5 - 2. Let u be 56/(-14) - 21/(-5). Sort u, r, 2/21 in decreasing order.
r, u, 2/21
Suppose -3 = -2*u + 7*u + 2*j, -10 = 5*u - 5*j. Let p be u/2*(-6 - -6). Let f(h) = h**2 + 1. Let y be f(-2). Sort -2, y, p.
-2, p, y
Let z = 6 + -6. Suppose -2*q + 5 + 15 = z. Let o = 5 - q. Sort o, 0, -2 in decreasing order.
0, -2, o
Let h = -1.517 - -1.117. Sort 1.1, 0, -1/6, h in decreasing order.
1.1, 0, -1/6, h
Let k = 14 - 18. Suppose 6*n + 19 = 211. Let f = -32 + n. Sort f, k, 5.
k, f, 5
Let a be (-38)/16*(-72)/(-6). Let i = a + 28. Sort -4, -0.06, i in increasing order.
-4, i, -0.06
Let d = -1887.4 - -1887. Let m = -32 + 32.63. Let b = 0.6 - m. Sort b, -3, d in ascending order.
-3, d, b
Let v be (-1 + 10/6)*3. Suppose -3*u = -5*x + 8 - 35, -5*x + u - 29 = 0. Sort 0.2, v, -2/3, x in descending order.
v, 0.2, -2/3, x
Let r = 3.385 - 0.385. Sort 2/9, -4, -19, r in increasing order.
-19, -4, 2/9, r
Let v be 340/200 + ((-1)/(-2))/(-1). Sort v, -0.4, 0, -20/3 in descending order.
v, 0, -0.4, -20/3
Let b be (1 + 2)/(3/4). Let y = 7 + -3. Suppose -3*f - 3*p = f + 10, -y = -2*p. Sort b, f, 2 in decreasing order.
b, 2, f
Let g be (-15)/(-10) + 21/2. Let s(h) = -13*h + 8*h**3 + g*h**2 + 3 + 6*h**3 - 13*h**3. Let w be s(-13). Sort w, -1, 1 in ascending order.
-1, 1, w
Suppose 4*n = 2*z - 16, 0 = -0*n + 3*n - 2*z + 14. Let g be 18/(-22) + 3*(-8)/132. Sort n, 3, g in decreasing order.
3, g, n
Let i be (1 - -1)/((-52)/(-17) + -3). Put 4, 2, i, -1 in decreasing order.
i, 4, 2, -1
Let w be (-1 + 5)*4/8. Suppose 2*f - 4*r - 8 = 8, 4*f = 3*r + 27. Let j be (-16)/(-4) + (0 - (f - 0)). Sort 4, j, w.
j, w, 4
Let b = -4.07 + 4.27. Let d = 8.18 + -0.18. Put d, 4, b in increasing order.
b, 4, d
Let r = 133/612 - -1/204. Let k = -3.94 - 0.06. Let s = 247/7 + -35. Sort k, r, s in descending order.
s, r, k
Let o = 978.1 + -978. Sort 0.27, -4/7, o in decreasing order.
0.27, o, -4/7
Let a be 1/(-3 + 2)*1. Let j(v) = v**3 - 12*v**2 + 10*v + 12. Let s be j(11). Let n be 6/48*-10*(1 - -3). Put n, a, s in ascending order.
n, a, s
Let h = 39 - 35. Suppose -7*u + h*u = 0. Suppose -5*p - q = -11, 4*p - 32 = 4*q + q. Put u, p, -4 in descending order.
p, u, -4
Suppose -105*t - 68945 + 18545 = 0. Sort -5, t, -1.
t, -5, -1
Suppose -22*o = -6*o + 64. Sort 3, o, 11, 0.
o, 0, 3, 11
Let b = 0.0171 - 6.7571. Let u = b - 0.26. Sort 4, 0.4, -2, u in ascending order.
u, -2, 0.4, 4
Let n be (-4)/(-14) + (-126)/98. Sort -3, 123, n in ascending order.
-3, n, 123
Suppose -20*d + 126 = -17*d. Let h = d + -43. Let o = 13/75 + 2/75. Sort o, -3, h.
-3, h, o
Let r = 0 - 1. Let v be -7 + (0 - 0) + (7 - 36/(-48)). Put v, r, -13 in increasing order.
-13, r, v
Let a = -8.6 + 8.7. Sort -2, a, -8, -6.
-8, -6, -2, a
Let p = -19 + 22. Sort p, -0.18, 1/2, 5 in decreasing order.
5, p, 1/2, -0.18
Let d = -10.05 - -0.05. Let i = d - -10. Let j = 45 + -45.1. Sort j, 4/5, i in descending order.
4/5, i, j
Suppose 23*w - 4*n = 26*w, 2*w = -n - 5. Sort -3, w, 2, 91 in ascending order.
w, -3, 2, 91
Let t = -24.82 - -24.8. Sort -3/7, t, 0.4 in descending order.
0.4, t, -3/7
Let a = 28.8 + -26. Let l = 1.2 + a. Put -1/3, 0.2, l in increasing order.
-1/3, 0.2, l
Let q be (-36)/(-21) - 56/(-196). Put q, 1, -43, -1 in descending order.
q, 1, -1, -43
Suppose 3*q = -0 + 3. Suppose 5*f + 2 = o + 13, -q = o. Sort -1, f, 9 in ascending order.
-1, f, 9
Let f = 91/5 - 1537/85. Sort f, 0.2, -5 in decreasing order.
0.2, f, -5
Suppose -4*l - 22 = s, -4*s + 2*l = s. Suppose 0 = -12*u - 3*u + 105. Sort s, u, 0.
s, 0, u
Suppose 48 = -2*i - 2*i. Let l be 2/4*i/(-6). Let k(r) = -r. Let s be k(-3). Sort s, l, -4.
-4, l, s
Suppose -12*i + 8 = 8. Put -5, 0.4, -1.9, i in descending order.
0.4, i, -1.9, -5
Let p = 2 + -4. Let h = -25391/77 + 2307/7. Let s = 99 - 499/5. Sort s, p, h in decreasing order.
h, s, p
Let p(o) = -6*o + 38. Let t be p(7). Put t, 2, 71, -5 in ascending order.
-5, t, 2, 71
Let u = 2 - 9. Let f(j) = 2*j**2 - 15*j + 11. Let o be f(7). Let l = 12 - 11. Sort l, o, u in increasing order.
u, l, o
Let g be ((-8)/24)/(6/(-36)). Let v = -6 - -3. Sort v, -5, g, 6 in decreasing order.
6, g, v, -5
Let q = -0.361 - -0.261. Let s be -2*(0 + 3/(-8)). Sort -0.3, q, s.
-0.3, q, s
Suppose x = -a - 4, a + 5*x + 4 = x. Let g be (-10)/a*1/10. Let o = 79.2 - 78.7. Put 0.4, o, g in increasing order.
g, 0.4, o
Let x(s) = -7*s - 107. Let q be x(-15). Put -9, -1, 3, q in ascending order.
-9, q, -1, 3
Let b be (57/(-38))/((-6)/16). Suppose 5*d + 13 - 3 = 5*q, b*q - 22 = -3*d. Sort q, 1, 2 in increasing order.
1, 2, q
Let z = 0 + -5. Let c be (3/(-3))/((-10)/30). Let s be ((-6)/8)/(5/20). Put z, s, c in increasing order.
z, s, c
Suppose 0 = 4*o - 3*o - 24. Suppose -f + o = 5*f. Sort -2, f, -1, -5.
-5, -2, -1, f
Let g = -467 + 465. Sort 1, g, 2, -9.
-9, g, 1, 2
Let x = 567 - 563. Let t = -0.31 - 6.79. Let y = t + 0.1. Sort x, 0.2, y in descending order.
x, 0.2, y
Let n be ((-16)/6)/(2/(-3)). Suppose n*s - 3*s - 1 = 0. Let y(r) = -r**2 + r - 1. Let c be y(0). Sort c, s, -2 in increasing order.
-2, c, s
Let f = 2.3 + -0.3. Put f, -0.5, -0.1 in ascending order.
-0.5, -0.1, f
Let w be (-15)/30*(-20)/(-6). Let z = -6 - -6.25. Let b = z - -0.05. Sort w, b, -0.4 in increasing order.
w, -0.4, b
Let v be (-4)/(-5)*5/(-1). Put v, 0.5, -23 in ascending order.
-23, v, 0.5
Let a = -400 + 399. Sort a, -4, 16 in ascending order.
-4, a, 16
Let j be 28/6*18/(-12)*1. Sort -5, j, 1, 5 in ascending order.
j, -5, 1, 5
Let d = 6.97 + -1.91. Let o = d - 5. Let j = -62.3 - -62. Sort o, 2/5, j in descending order.
2/5, o, j
Let w = -7.3 + 0.3. Let n = -365 + 364.5. Sort -1/8, n, w, 0.1 in decreasing order.
0.1, -1/8, n, w
Let b(k) = k**3 - 3*k**2 + 5*k + 1. Let v be b(2). Let y be 7/(-6) + v/14. Sort y, 2, 1/13 in increasing order.
y, 1/13, 2
Suppose 24 = -440*o + 432*o. Put o, 16, -2, 2 in increasing order.
o, -2, 2, 16
Let w(q) = q**3 - q**2 + 16*q + 17. Let h be w(-1). Sort 5, -5, h in increasing order.
-5, h, 5
Let p(n) = n + 8. Let u be p(-8). Let y(f) = -2*f - 5. Let s be y(-10). Suppose -10 = 5*a + s. Sort -3, u, a.
a, -3, u
Let a(i) = -i**3 - 8*i**2 + i - 2. Let z be a(-7). Let k be 110/z + (4 - 2). Let o = k - -43/145. Sort -2/5, o, 2 in increasing order.
-2/5, o, 2
Let u = -396 - -393. Sort -2, u, -1, -8.
-8, u, -2, -1
Let f = 108 - 113. Sort 173, f, 3 in ascending order.
f, 3, 173
Let l = 8.3 + -8.7. Let t = 0.04 + 11.96. Let b = -8 + t. Sort l, b, 2/7 in descending order.
b, 2/7, l
Let n be 0/4 - ((-9)/(-3) + -2). Let a be (-3)/(-4) - 2/(-8). Sort -0.3, n, a.
n, -0.3, a
Suppose -5*k + 1098 = 39*g - 35*g, -k - g = -219. Sort k, -2, 1 in descending order.
k, 1, -2
Let u(h) = 12*h**2 + 27*h + 2. Let d be u(-2). Sort 4, d, 5, 1.
d, 1, 4, 5
Let c = -635 + 665. Sort 1/3, c, 1.
1/3, 1, c
Let v = 0.0599 + 0.2001. Let y = -0.25 - 0.21. Let c = y + v. Sort c, -1/3, 2/7 in ascending order.
-1/3, c, 2/7
Let a be (-6)/(-9)*(-3)/2*-3. Suppose -a*y = -3*y + y. Sort -5, y, -3.
-5, -3, y
Suppose c + 8 = -3*c. Suppose -26 = 1509*a - 1535*a. Put c, a, 5, 8 in decreasing order.
8, 5, a, c
Let n = -35906/25 + 1436. Let c = n + 61/150. Put c, 5, -7 in increasing order.
-7, c, 5
Let d(s) = -s. Let c be d(-2). Suppose 20 = 5*h - r, -r - 21 = -c*h + 2*r. Suppose -1 = x - 2*g - 4, 2*x - g + h = 0. Put x, -2, -4 in ascending order.
-4, x, -2
Let q = 19 + -14. Let r(j) = -2*j**3 + 7 - 15 - q*j**2 + 16*j**2 - 13*j + 3*j**3. Let b be r(-12). Sort b, -1, 1 in descending order.
b, 1, -1
Let c be 6 - (4 + -4 + 3). Suppose c*l - 2 = -2. Let y(j) = -j - 1. Let w be y(0). Sort w, 4, l in descending order.
4, l, w
Let f = 1.8 - 1.81. Put f, -4, -3/7, -25 in ascending order.
-25, -4, -3/7, f
Let l = -12.47 + 12.5. Sort 2/7, 85, l in ascending order.
l, 2/7, 85
Let y = -2059 - -2058. Suppose 0*z - 20 = -4*z. Put z, y, -12 in descending order.
z, y, -12
Suppose 5*a = 3*a. Suppose a = -4*y - 1 + 17. Sort -3, y, -6 in decreasing order.
y, -3, -6
Suppose 3*n =