 l in descending order.
2, v, l
Let h = -192 + 188. Sort -1, 17, h, 3/7 in increasing order.
h, -1, 3/7, 17
Let q be ((-2)/(-10))/((1/(-15))/(-1)). Let p be (-70)/(-21)*3*2/5. Sort -11, q, 0.3, p in decreasing order.
p, q, 0.3, -11
Let u = -4.8 - -0.8. Let b = 0.236 - 0.28. Let k = -0.144 - b. Sort -4/3, k, u in increasing order.
u, -4/3, k
Let v = -0.22 - 1.78. Let l be (-12)/(-42)*29/(-2). Let m = l - -27/7. Sort 1, v, m in increasing order.
v, m, 1
Let d = 1333/110 - 117/22. Let s = -7 + d. Put -0.4, 0.11, 0.4, s in increasing order.
-0.4, s, 0.11, 0.4
Let d = -91.2 + 91. Put d, -2/5, 3.1, 0 in ascending order.
-2/5, d, 0, 3.1
Suppose -12 - 6 = 2*f + 5*o, 4*f + 3*o = -8. Let p be (-1)/(-3) + (-2)/6. Let t(l) = l**2 + 8*l - 4. Let v be t(-8). Sort v, p, f.
v, p, f
Let r be (0 - 8/10)/(26/195). Sort 31, 4, r in increasing order.
r, 4, 31
Suppose -1 = -2*i + 7. Suppose -i*z + 0*z = 0. Suppose -m - o = -4, z*o + 5*o + 16 = 4*m. Put 2, m, -1 in ascending order.
-1, 2, m
Suppose -96 + 95 = -o. Sort 401, o, -3 in ascending order.
-3, o, 401
Suppose 32*g - 250 = -58. Put g, -2, -10, 4 in descending order.
g, 4, -2, -10
Let g be 0 + (-3)/(-4) - 1. Let k = -0.0586 + 0.1586. Put -1/5, k, g in increasing order.
g, -1/5, k
Let b(n) = n**3 - 10*n**2 + 10*n - 6. Suppose -25 - 29 = -6*x. Let c be b(x). Sort -4, c, 5 in descending order.
5, c, -4
Let o = 188.95 + -195. Let w = -6 - o. Sort 0.3, w, 1 in increasing order.
w, 0.3, 1
Let w = -134 - -143. Put w, 2, -1, -5 in ascending order.
-5, -1, 2, w
Suppose -2*g + 3*g + 4*d - 19 = 0, 5*d - 20 = -5*g. Let p = 1.8 - 4.8. Sort 0.4, -1/18, g, p in descending order.
0.4, -1/18, g, p
Let d = -268 + 264. Put d, -18, -3/8 in descending order.
-3/8, d, -18
Suppose 2*q - 5 = -5*o, 4*q + 0*o - 3*o + 29 = 0. Suppose 4*f = -0*f + 32. Suppose f*x - 4*x = 8. Sort q, x, -4 in ascending order.
q, -4, x
Let r = -128 + 211. Sort 5, -1, r, 0.
-1, 0, 5, r
Let y = -29 - -28. Sort 1/5, -0.11, y.
y, -0.11, 1/5
Let v be 28/10 + (-20)/(-100). Put v, -6, 5, 13 in ascending order.
-6, v, 5, 13
Let b be (-3)/(2 + -1) + -2. Let p = 490 - 8332/17. Sort b, 1, p in increasing order.
b, p, 1
Let a = -18.83 + 19. Let h = -0.83 - a. Let u = -0.5 + 1. Put u, -4, h in decreasing order.
u, h, -4
Let m = 491 + -493. Sort 5, -14, -3, m in increasing order.
-14, -3, m, 5
Let q = 46 - 28. Let g = q + -17.5. Sort 5, 2, g.
g, 2, 5
Let n = 4 - 8. Suppose -5*z - 258 = -w, -4*z - 225 = 5*w - 36. Let q be (-3 - 12/(-2)) + 159/z. Put 0.1, q, n in descending order.
0.1, q, n
Suppose i + 2*i + 22 = 2*c, 0 = -2*i - 8. Suppose 0*m = c*m - 90. Let h = 16 - m. Put -6, h, 5 in decreasing order.
5, h, -6
Let t = 4/42745 + -72965759/470195. Let j = t - -155. Let w = -1 + 0. Sort j, w, 0 in decreasing order.
0, j, w
Suppose -5*s = -w + 10, 7 = 3*s - 3*w + 1. Let r be (-2)/s - 11/3. Put 6, r, 5 in decreasing order.
6, 5, r
Let g = 190 + -186. Sort -1/3, 2, g, 0 in descending order.
g, 2, 0, -1/3
Let r = 823/2 + -411. Put r, -1/2, -0.3 in decreasing order.
r, -0.3, -1/2
Let j be (((-90)/(-8))/5)/((-48)/(-64)). Sort 2, 14, j in increasing order.
2, j, 14
Let i be (-2 + 2/1)*(-12)/36. Sort -4, 1, 17, i.
-4, i, 1, 17
Let o = -0.153 - -0.553. Sort o, -4, 13 in decreasing order.
13, o, -4
Suppose 0 = -12*y - 36 - 12. Sort y, 14, 7.
y, 7, 14
Suppose -188 = -29*f - 43. Let y(j) = 3*j + 2. Let h be y(-5). Put h, -1, 3, f in decreasing order.
f, 3, -1, h
Let n = -1410 - -1414. Sort 3/11, n, 34.
3/11, n, 34
Let s be ((-8)/10 + 731/(-255))*-2. Sort 1, s, -0.1.
-0.1, 1, s
Suppose 0 = -5*w - 0*s + 5*s - 70, 2*s = 3*w + 37. Let a = -8 - -8. Sort 1, a, 4/3, w in descending order.
4/3, 1, a, w
Let f = -5/2626 + 2433/4036162. Let r = f - 7673/9222. Let x = 9 + -12. Put r, 1, x in decreasing order.
1, r, x
Suppose 29*j - 12 = 25*j. Sort 4, j, -2, 10.
-2, j, 4, 10
Let r = 306/29 + -21404/2001. Let t = r + -28/759. Put -0.3, -3, -0.5, t in increasing order.
-3, -0.5, -0.3, t
Let f be 400/240*6/70. Let x = -1 - 1. Let h = x - 2. Sort f, h, -0.08 in increasing order.
h, -0.08, f
Let v = 138.2 + -42.2. Sort v, -0.2, 5, 1 in decreasing order.
v, 5, 1, -0.2
Let h = -40 + 43. Let c(k) = k**2 - 8*k + 21. Let n be c(7). Put h, n, 0 in ascending order.
0, h, n
Let c = -8 + 17. Suppose 0 = -9*s - 0 - c. Sort 2/19, s, 2/5 in decreasing order.
2/5, 2/19, s
Let p = -9 - -14. Let g = -282 - -282.4. Put g, 3, p in descending order.
p, 3, g
Let h(c) = c**3 - 9*c**2 + 8*c + 5. Suppose -3*y - y - 28 = -u, -27 = -4*u - y. Let g be h(u). Put -2, g, 2 in increasing order.
-2, 2, g
Let m be 14*(-5)/(-60)*(-12)/42. Sort 4, -163, -3, m in ascending order.
-163, -3, m, 4
Let f = -6.4 + 6.8. Sort 0, f, 16, -1/2.
-1/2, 0, f, 16
Let a be (-14 + 2)*18/4. Let b be 4/(-18) + (-174)/a. Sort -2, -4, b in descending order.
b, -2, -4
Let a be (7 - 5)*(-18)/4. Let s = 47/5 + a. Sort -0.4, 0.3, s in decreasing order.
s, 0.3, -0.4
Let d = 87 - 785/9. Let l = -19 - -19.4. Sort d, -2/13, l.
d, -2/13, l
Let z = -18 + 21. Let i = -5.2 + -0.3. Let q = i - -2.5. Sort q, 2, z in increasing order.
q, 2, z
Let p = -3 + -6. Suppose 2*n = -4*q + 1 - 21, 3*n - 10 = 4*q. Let s be (-1 - q)/(-4 - -3). Sort s, 0, p in decreasing order.
0, s, p
Suppose 4*q - 11 = -y - 0*y, 3*q - 4 = -5*y. Put 0.5, 3.3, y, -3 in descending order.
3.3, 0.5, y, -3
Suppose -28 = 4*t + 5*s - 20, -2*t - 5*s - 4 = 0. Sort 0.08, t, 4, -0.2 in increasing order.
t, -0.2, 0.08, 4
Let b = 6168 - 6173. Let v = -0.04 - 0.36. Sort v, 2/9, b, 0.
b, v, 0, 2/9
Suppose -r - 3 + 7 = 0. Let d(g) = 6*g. Let j be d(-2). Let p be r/(-6)*(-3)/j. Sort -0.5, -5, p in descending order.
p, -0.5, -5
Suppose -18*n - 1 = -145. Put n, 24, 0 in ascending order.
0, n, 24
Let h(y) = -y**3 - 8*y**2 - 18*y - 20. Let b be h(-5). Sort b, -46, 2, 5 in decreasing order.
5, 2, b, -46
Suppose -f - 12 = -36. Let h = 25 - f. Put h, -12, 5 in descending order.
5, h, -12
Let x = 39.9 - 118. Let t = -78 - x. Put -18, t, -4 in decreasing order.
t, -4, -18
Suppose 7*v - 6*v = 6. Suppose f = v - 5. Let u be (f - (-14)/(-8)) + 1. Put -1, -2/9, u in increasing order.
-1, -2/9, u
Let o = -157 + 157. Sort 3, o, 12, -5.
-5, o, 3, 12
Let i(b) = b**3 - 47*b**2 - 3. Let x be i(47). Suppose 7 + 17 = -4*k. Let y(v) = -v**3 - 7*v**2 - 6*v - 1. Let l be y(k). Put l, -2, x in ascending order.
x, -2, l
Let x be (-26)/(-10) + (-12)/20. Let a be 6/12*x*1. Let z(d) = -4*d - 19. Let o be z(-6). Sort a, o, -1 in descending order.
o, a, -1
Let z = 1 + 0. Let j be (1/(-6))/1*204/(-85). Sort 3, 1/7, j, z.
1/7, j, z, 3
Let h(i) = 5*i**2 + i + 1. Let u be h(-1). Suppose -3*f - 11 = -r + 3*r, 0 = -5*r + 10. Put 4, f, 1, u in decreasing order.
u, 4, 1, f
Let j be -1 + -3 + 10 + 2. Let a = j - 8. Suppose -3*s + 2*s + 3 = a. Sort -0.2, s, 0.4.
-0.2, 0.4, s
Let f be (10 - (-1125)/(-63)) + 8. Sort 270, f, -2/5.
-2/5, f, 270
Let j = -0.7 + 6.7. Let i = j - 5.7. Let t = -2643 + 2643. Sort 0.2, i, t in ascending order.
t, 0.2, i
Let h be 2/8 + (-21)/108. Let p = h + -13/18. Let n be 2/(-4) + (-6)/18. Sort n, p, 0.5.
n, p, 0.5
Let l = -1 - -2. Let x be 6/2 - 141/45. Sort l, x, -3 in increasing order.
-3, x, l
Suppose -2*b - 4 = 0, j + b = -2*b + 4. Suppose v + 5*k = 6*v - j, 4*v = 3*k + 7. Let l be (2 - 6) + (0 - 6)/6. Put l, 5, v in decreasing order.
5, v, l
Let v be 6 - (-20)/(-4) - 3. Put v, -3, -4 in ascending order.
-4, -3, v
Let o = -0.192 - -0.592. Put -2, 65, o in descending order.
65, o, -2
Let j(x) be the first derivative of x**2 - 4*x - 1. Let n be j(5). Suppose 0*g = -n*g + 30. Put 0, g, -4 in descending order.
g, 0, -4
Suppose 4*q = 4*x + 8, 4*q = -3 + 19. Let y = -32 + 30. Sort x, y, -3, -1 in descending order.
x, -1, y, -3
Suppose -2*j = -4*j - 8. Let z(r) be the first derivative of -4*r**2 + 93*r + 56. Let s be z(12). Sort 11, j, s in decreasing order.
11, s, j
Let x = -8 + 10. Let m be 8/(-80) + x/(-4). Let p = 0.215 - 0.015. Sort p, m, 2 in increasing order.
m, p, 2
Suppose -2*c + 3*c = 3. Let f be c/6*6*1. Suppose 4*p - 4*h + 5*h + 16 = 0, 3*p - 3*h = f. Sort 3, 5, p in descending order.
5, 3, p
Let j = 2499/8 + -312. Put -0.2, -0.01, -2/7, j in decreasing order.
j, -0.01, -0.2, -2/7
Let c(w) = w**3 + 6*w**2 + 1. Let v be c(-6). Let g = -15 - -11. Let s = -243 - -247. Sort g, v, s.
g, v, s
Let a(d) = -5*d + 2. Suppose 