t -2/11, r, l in increasing order.
l, -2/11, r
Let u = -158.05 - -158. Put -2/3, u, 5, 3 in decreasing order.
5, 3, u, -2/3
Suppose 7*d + 58 = 9. Sort d, 4, 11, 3 in descending order.
11, 4, 3, d
Let k(t) = -17*t - 9 - 36 - 41*t**2 + 40*t**2. Let c be k(-14). Put -5, -19, c in descending order.
c, -5, -19
Let i = -8 - -12. Let u(c) = -c - 5. Let b be u(-10). Put i, 0, b in descending order.
b, i, 0
Let o(y) = -8*y + 4. Let l(u) = -2*u + 1. Let x(p) = 9*l(p) - 2*o(p). Let q be x(-1). Suppose q*g = 6*g. Sort -3, 1, g in increasing order.
-3, g, 1
Suppose -2 + 7 = p. Let i(b) = b**2 - 4*b. Let l be i(p). Let f be (-9)/3 - (-2 + 1). Sort 2, l, f.
f, 2, l
Suppose 14*w - 7*w - 7 = 0. Put 4, w, 2, -5 in descending order.
4, 2, w, -5
Suppose -40*a + 33*a + 1330 = 0. Put 5, -0.3, a in decreasing order.
a, 5, -0.3
Suppose 57 = -4*z + 29. Put z, 17, 1 in descending order.
17, 1, z
Let c be 1/(119/581) + 4/34. Put -0.1, 4/15, c in ascending order.
-0.1, 4/15, c
Suppose 0 = 47*z - 42*z - 30. Suppose z = -11*t + 5*t. Put 3, 1, t, -2 in ascending order.
-2, t, 1, 3
Suppose -10*h - 4 = 4*d - 11*h, -5 = 5*d + 3*h. Sort d, 6, 11 in descending order.
11, 6, d
Let n = -2647 - -2644. Put n, 6, -19, 0 in ascending order.
-19, n, 0, 6
Let d be ((-20)/(-15))/(4/3). Sort -5, d, 3, 2 in descending order.
3, 2, d, -5
Let l be (-4)/2 + -53*(-4 + 3). Suppose -2*g + 7 = u - 8, 2*g = -5*u + l. Put u, 2, 3 in descending order.
u, 3, 2
Let j(y) = -13*y + 166. Let z be j(13). Let w be (-3)/(-6)*-5*2. Sort -1, w, z, 0 in increasing order.
w, z, -1, 0
Let q be (-6)/10 - 1443/(-555). Sort 2/11, q, -1, -0.04 in decreasing order.
q, 2/11, -0.04, -1
Let n = -6.5 - -53.5. Let w = 28 - n. Let t = w + 18. Put 1/5, t, 3 in increasing order.
t, 1/5, 3
Suppose 2*m = k - 2, 14 = -61*m + 57*m - 3*k. Put 305, -3, m in ascending order.
-3, m, 305
Suppose 0 = 2*o - 7*o + 20. Suppose o*c - 30 = 9*c. Let v be 64/12 + 2/c. Put -3, -20, v in decreasing order.
v, -3, -20
Let x = 8 + 1. Suppose k + 5 = -2*j - 1, 3*k = -3*j - x. Sort k, -5, 29 in decreasing order.
29, k, -5
Let j = 176 + -95. Let h = -245/3 + j. Let w be 10/8 + 4/(-16). Sort w, 0.1, h in descending order.
w, 0.1, h
Suppose 2*o - 34 - 10 = 0. Let f = o + -45/2. Let v = -1.096 - -1.396. Sort f, 0.04, v.
f, 0.04, v
Suppose -16 = -3*z - u, -27 = 3*z - 8*z - 2*u. Sort -2, z, -12 in increasing order.
-12, -2, z
Let w be ((-2)/(-125))/((-18)/(-90)). Put w, 3, 0.4, 0.12 in decreasing order.
3, 0.4, 0.12, w
Let z = 6.46 - 6.56. Put -5, -138/5, z in increasing order.
-138/5, -5, z
Suppose 8 = -3*d + 4*q - 0, -5*d - 15 = -5*q. Suppose -61 = -47*b + 174. Put d, b, 4 in ascending order.
d, 4, b
Let l(z) = 6*z**2 + 3*z + 2. Let y be l(-1). Sort 3, -2, -5, y.
-5, -2, 3, y
Let t = -3 + 2. Let h = 5185.9 - 5186. Put h, -2, -3, t in descending order.
h, t, -2, -3
Suppose 4*b - 36 = 28. Let w be (b/(-168))/((-6)/(-9)). Sort w, -13, 0.4 in ascending order.
-13, w, 0.4
Let d = -141 - -141. Let r(p) = p**2 + 4*p - 2. Let m be r(-4). Put 2, m, d, 3 in increasing order.
m, d, 2, 3
Suppose 0 = -2*j - 11*j. Suppose -4 = u - i, j*u - u + 5*i + 4 = 0. Sort u, -2, 4 in decreasing order.
4, -2, u
Suppose 3*t + 1 = -2*q - 3, 3*q = 3*t - 6. Put 3, q, 5, -0.069 in decreasing order.
5, 3, -0.069, q
Let p be -2*(5/10 - 2). Put 5, -2, p in ascending order.
-2, p, 5
Let q be 2/(-6)*(-9)/(-2). Let a = -5.0238 - -0.0238. Sort 1/4, q, a in increasing order.
a, q, 1/4
Let n(y) = -16*y**3 + y**2 + y. Let l be n(-1). Let o be -1 + 0 + (16 - l). Sort 5, o, -2.
-2, o, 5
Let t(y) = -2*y**2 - 7*y - 7. Let p be t(-2). Put -0.4, -9, p, -2 in ascending order.
-9, -2, p, -0.4
Let z = -4.93 - -2.63. Put -0.01, z, 2/13 in decreasing order.
2/13, -0.01, z
Let s = 0.518 + -1.018. Put s, 8, -0.2, -0.3 in descending order.
8, -0.2, -0.3, s
Suppose 3*b - 2*b + 17 = 0. Let n = 5949 + -5952. Put b, n, -0.5 in increasing order.
b, n, -0.5
Let w be 2/(-11) + ((-736)/22)/(-8). Suppose -2*j - 1 - 7 = 0. Let k be -1 - (-1 + 0) - 3. Put j, w, k in descending order.
w, k, j
Let s = -789 - -788. Let z = 1.8 - 2.4. Put -0.5, s, z in descending order.
-0.5, z, s
Let g = 0 + 8. Let x be 60/14 + g/(-28). Let c(d) = d**3 - 4*d**2 + 3*d - 4. Let h be c(3). Put h, 0, x in descending order.
x, 0, h
Let n be 0 + (1 - 2 - -1). Suppose f + 0*q - 3*q - 75 = n, 3*f + 4*q = 186. Let g be f/(-24) + 2/(-8). Sort g, -1, 5 in increasing order.
g, -1, 5
Let z(o) = -o**3 + 6*o**2 - o + 5. Suppose 0 = -0*d - 3*d - 2*c + 18, 24 = 4*d - 5*c. Let f be z(d). Sort -5, 2, f, -2 in increasing order.
-5, -2, f, 2
Let g = 68 + -62. Suppose -h + g*h = 20. Let k be -2 - (-1*2 - -1). Sort h, k, -0.5.
k, -0.5, h
Let n be (4/2)/2 + 6. Let p(t) = -3 - 2*t - 6*t + 2*t + t**3 - 5*t**2 - 2*t**3. Let x be p(-4). Sort 2, x, n in decreasing order.
n, x, 2
Suppose -3*y + 5*q = 3*q - 2, 5*y - 2*q - 6 = 0. Let n(m) = 2*m**3 + m**2 - 2*m - 1. Let f be n(y). Let g = 14 - f. Sort 2, -2, g in descending order.
2, g, -2
Let m = 0.33 - 0.13. Let z = -7 + 4. Let r = 36 + -31. Sort z, m, r in descending order.
r, m, z
Let p be (-156)/65*10*1. Let d be 2/p + 3/4. Let t = -0.6 - -0.7. Put t, d, 4/9 in descending order.
d, 4/9, t
Let f = 260 + -263. Put -16, f, -0.1, -1/2 in ascending order.
-16, f, -1/2, -0.1
Let h(b) = 80*b + 331. Let k be h(-5). Sort 2, k, 4 in descending order.
4, 2, k
Let o = -0.0021 - -26.3021. Let x = 26.28 + -0.28. Let s = o - x. Sort s, 0.2, 2 in descending order.
2, s, 0.2
Suppose 10*d - 7*d - 12 = 0. Let n be 4/(-6) + d/(-12). Suppose 7*i = 10*i - 12. Sort -3, i, n in descending order.
i, n, -3
Let m be 1/(-9)*1/(6/18). Sort -37, 1, 4, m in descending order.
4, 1, m, -37
Let t be 4/30*(-6)/(-8). Let f = 1.6 + -1.1. Sort t, f, -0.03 in decreasing order.
f, t, -0.03
Suppose 56 + 39 = 19*z. Let a = 11 - 10. Sort a, z, 0 in descending order.
z, a, 0
Let c = -14.5 + 15. Put 5, -25, c, 0 in decreasing order.
5, c, 0, -25
Let c be -1 - (1 + 2) - -9. Suppose -252 = -c*m - m. Suppose -40*g = -m*g. Sort -15, -5, g in decreasing order.
g, -5, -15
Let a be -3 + 4 - (-6)/(-4). Suppose -4*y - 4*j - 4 = 0, 0 = 2*y - 4*j + 45 - 19. Sort -3, y, a, 0.2 in descending order.
0.2, a, -3, y
Let v = -4 - -8. Let j = 3.9 - v. Let g = 299 + -298.7. Put 0.2, g, j in ascending order.
j, 0.2, g
Let f = -92 + 55. Let x(q) = -q**2 + 4*q - 2. Let j be x(8). Let r = j - f. Sort -3, r, 4 in decreasing order.
4, r, -3
Let r be ((-1)/(-3))/(6/(-4)). Let f = -12 - -11.23. Let c = f - -0.37. Sort c, r, -2.
-2, c, r
Let c = 196 - 191. Put c, -18, -4 in decreasing order.
c, -4, -18
Suppose -63 = 9*q + 234. Let v be (-135)/(-10)*(-2)/q - 1. Sort -4, v, 0.5 in ascending order.
-4, v, 0.5
Suppose -4*w - 2*p = -10, w - 29*p = -33*p - 8. Put 0.4, -0.2, -6, w in ascending order.
-6, -0.2, 0.4, w
Let o = 3889 - 3890. Let q(p) = p**2 + 7*p + 3. Let g be q(-6). Let n = g - -5. Sort o, n, 4 in decreasing order.
4, n, o
Let l = -1 - -11. Let u be (-3)/(-1) + -15 + 1. Let n = l + u. Sort n, 4, -2.
-2, n, 4
Let o be (-2)/7 - 228/(-14). Suppose -4*d = 3*t - o, -5*d + 0*d + 13 = 2*t. Let k = 33 + -43. Sort 3/7, d, k.
k, 3/7, d
Let v = 265 - 1055/4. Let j = -2.954 + 2.9. Let q = -3.054 - j. Sort v, -4/3, q in increasing order.
q, -4/3, v
Let z = 128.3 - 128.8. Put z, -0.01, -3, 2/5 in ascending order.
-3, z, -0.01, 2/5
Let i(k) = -k**3 + 15*k**2 - 14*k. Let o be i(14). Suppose 5*d + 4*b = -4, 4*d + 5*b - 1 = -6. Suppose d = 2*a - a - 3. Put 4, o, a in descending order.
4, a, o
Let i = -280 + 57. Sort i, -4, 2, -2 in descending order.
2, -2, -4, i
Let r = -0.071 - 4.929. Let f = -60 + 59.7. Put r, -0.21, f in decreasing order.
-0.21, f, r
Let j = 6.17 + -1.17. Put j, 0.5, -2/3, -0.7 in descending order.
j, 0.5, -2/3, -0.7
Let p be (1 - -2) + (-26)/8. Put p, -48, 0.3 in decreasing order.
0.3, p, -48
Let f(l) = l**2 + 6*l - 2. Let s(w) = 7*w + 7. Let h(d) = d + 1. Let r(n) = -6*h(n) + s(n). Let q(a) = -f(a) - 2*r(a). Let p be q(-8). Sort p, 4, 2.
p, 2, 4
Let x be (-9 + 7)*-3*2/3. Sort 0, x, 2, -151 in descending order.
x, 2, 0, -151
Let k(n) = 7*n**3 - n**2 + 44*n + 44. Let o be k(-1). Put -2/9, o, -4/5 in descending order.
-2/9, -4/5, o
Let v = -51 + 61. Suppose 2*d - 7*u = -3*u + v, -u = -5*d - 2. Sort -0.4, -0.8, d.
d, -0.8, -0.4
Let g = 184 - 172. Sort -5, -4, g, -1/8 in incr