 v = -8*y + 49. Suppose -2*u + 1 - 3 = 0. Put u, 4, y in ascending order.
y, u, 4
Let g be 41 + 13/(26/(-8)) + 1. Put g, 3, 1, -1 in increasing order.
-1, 1, 3, g
Suppose -74858*k = -74839*k + 76. Let r be (2/5)/(2/10). Suppose -5*i = r*w, -4*i - 2*w = -7*w - 33. Sort -2, 3, i, k.
k, -2, i, 3
Let f = 3.232 + -0.232. Let c = 0.2 + -8.2. Let n(i) = -i**2 - 9*i - 24. Let v be n(-4). Sort v, c, f.
c, v, f
Suppose 0 = -v + 3*v + 10, -2*r + 10 = 2*v. Suppose 8*b - r = 6*b. Suppose b*z = m + 6, m - 1 = -4*z + 2*z. Sort -5, m, 5 in increasing order.
-5, m, 5
Let t = 0.194 + -0.727. Let o = t + -4.467. Put 0.15, o, -0.3 in increasing order.
o, -0.3, 0.15
Suppose j + 1 = -g, g + j - 6*j + 19 = 0. Let d be -1*(-30)/(-5)*g/8. Put d, 5, -1, 8 in ascending order.
-1, d, 5, 8
Let d = -10.2167 - -1.2167. Sort 2, -9/2, d, 0.3 in decreasing order.
2, 0.3, -9/2, d
Let f = -3.6 - 0.4. Suppose -2*t = -5*t + 6. Suppose -t*b + 47 = 43. Sort f, -4/9, b.
f, -4/9, b
Let r(u) = -1087*u + 5434. Let a be r(5). Let m = -7 - -4. Put a, m, 13 in decreasing order.
13, a, m
Let z = 719/2 + -15077/42. Let u = 4/21 - z. Suppose -3*d = 3*n + 12, -5*n = 3*d - d + 29. Sort u, 0, n, 4 in decreasing order.
4, 0, u, n
Suppose 3*j - 6*j = -5*f + 71, -5*j = -15. Suppose 2*z = 6 - f. Let d = 68 - 342/5. Put 0.3, d, z in descending order.
0.3, d, z
Let c be (-1554)/(-18)*3 + 1. Suppose -24*j - c = 28*j. Put j, -3, 1 in increasing order.
j, -3, 1
Let u(v) = -v**3 + 38*v**2 - 311*v - 15. Let p be u(12). Put 7, p, 2, 21 in increasing order.
p, 2, 7, 21
Let f = 0.3 - 0.8. Suppose -23*g + 209 = -182. Suppose -6*q - g = 31. Sort f, q, 6/7 in descending order.
6/7, f, q
Let k = -7.03 + 7. Let d = -0.23 - k. Let m = 1.475 + -1.545. Sort d, 2/11, m.
d, m, 2/11
Suppose -65*w - 75 = -80*w. Put 11, 2, w, 4 in descending order.
11, w, 4, 2
Let j be -4 - (0 + -3 - (-3480)/14). Let w = j + 250. Put -0.5, w, -4, -1/4 in increasing order.
-4, -0.5, -1/4, w
Let t be 2/5 + (-6)/15. Let c(p) = -2*p**3 - p - 1. Let m be c(-1). Suppose 0 = 2*a - f + 4, f - 2 = m*a - a. Sort t, -3, a, -1 in decreasing order.
t, -1, a, -3
Let k = -4.33 - 2.67. Put -2/13, 16, k in ascending order.
k, -2/13, 16
Let k = -358 - -451. Let y = k + -92. Sort 0.4, 3/8, y, 0.27 in ascending order.
0.27, 3/8, 0.4, y
Let k = 433 - 430. Suppose 2*s + 12 = -2*c + 6*c, -2*c + 4 = -2*s. Let r = 1 - 4. Put r, s, k in increasing order.
r, s, k
Let z be (-12 - -10)/((-2)/2). Let c be (-8)/(-28) + 103/7. Suppose 3*j = 4*y + c, 0*y = -j + 2*y + 5. Sort -3, -2, z, j.
-3, -2, z, j
Let z = 0.9 - 0.5. Let h = 43183 - 302277/7. Put 2, 0.1, z, h in ascending order.
0.1, z, h, 2
Suppose -4*v + z + 17 = -v, 3*z = -15. Let x(k) = -55*k - 180. Let m be x(-8). Let o = m + -261. Sort v, 3, 0, o in increasing order.
o, 0, 3, v
Suppose 5*w = -3*l + 154 + 50, 4*w - 215 = 5*l. Suppose 0 = -5*g - 4*s + 1, -3*g - 5*s + 3 = -8. Let b be (g/w)/(-1)*-2. Sort b, 3/7, 0.1, -0.4.
-0.4, b, 0.1, 3/7
Let l = -331 - -472. Let q = -140.5 + l. Put -4, -0.1, -37, q in descending order.
q, -0.1, -4, -37
Let k = 264 - 527/2. Let c = 2.9 + -4.9. Sort k, -5, c in increasing order.
-5, c, k
Suppose 3*c + 0*a + 2 = a, 10 = -4*c + 5*a. Let l = 2 - c. Let x be (-4)/18 + 7 + (-624)/108. Put 6, -4, x, l in increasing order.
-4, x, l, 6
Let w(n) = 106*n**2 - 2649*n - 28. Let d be w(25). Sort 3, d, -5.1, -0.11.
-5.1, d, -0.11, 3
Suppose 0 = 11*b - 73 - 4. Let w = 270 + -270. Let j be 7/3 - (-6)/9. Put b, w, j in ascending order.
w, j, b
Let z(g) = g**3 + 3*g**2 + 2*g + 1. Let j be z(-2). Let v = 110 - 152.5. Let u = v - -42. Sort j, u, -4 in ascending order.
-4, u, j
Suppose 0 = h - 4*s + 5 + 31, 0 = 4*h + s + 8. Sort 3, 53, h, 0.
h, 0, 3, 53
Suppose -l = -5*y - 6, 178*y - 176*y + 4*l - 24 = 0. Sort y, 16, -2, 5, -6.
-6, -2, y, 5, 16
Suppose 36*k + 5728 - 5440 = 0. Let w = -4 - -5. Sort k, w, -3.
k, -3, w
Let n = 15283.1 + -15283. Let o = -0.7 - 0.3. Let d = -0.2 - 0.3. Sort o, n, d, -3 in increasing order.
-3, o, d, n
Let b(k) = 2*k**2 + 16*k + 13. Let q be b(-7). Let v be 9/(-18)*(q + 13) - -2. Sort v, 6, 2.
v, 2, 6
Suppose 2*y + 6 = -4*q, 0 = -5*y + q - 9 - 17. Let t(a) = -857*a - 4306. Let d be t(-5). Sort y, d, 2.
d, y, 2
Let w = -277 + 277.0646. Let l = 0.0964 + w. Put l, 1/4, 5 in decreasing order.
5, 1/4, l
Suppose -16 = 6*v + 194. Let b = v - -29. Sort 0, 5, 1, b in decreasing order.
5, 1, 0, b
Let h(o) = 2*o + 10. Let c be h(-2). Let y(k) = -4*k + k**3 - 4 - 15*k**2 + 21*k**2 + 20. Let r be y(-7). Sort r, c, 1 in descending order.
c, 1, r
Let f = -353 + 354. Let u = -11 - -15. Put u, f, 5, -5 in descending order.
5, u, f, -5
Let j = -0.4171 + 1.0171. Put -2/17, -1/3, 1, j, 0.2 in ascending order.
-1/3, -2/17, 0.2, j, 1
Suppose -18*l + 21*l = 9. Suppose 6*d = b + 2*d, -l*b - 11 = -d. Sort 1, -5, b.
-5, b, 1
Suppose -4*j + 26 = 2*y, j = -3*y - 12 + 31. Let o be 0 - 4 - (3 - 3). Sort 0, 1, j, o in increasing order.
o, 0, 1, j
Suppose 0 = 5*x + r + 14, 0 = -5*x + 23*x + 4*r + 52. Put 18, x, 15 in descending order.
18, 15, x
Let p = -17.1335 - -17.4335. Let q = -4.3 - -32.3. Sort q, p, -3 in descending order.
q, p, -3
Let y be 1/(6*6/10368). Let c = y - 285. Sort -4, 1, c, 5.
-4, 1, c, 5
Suppose 5*t = 5*l - 65, 277*l - t - 58 = 273*l. Sort 7, 8, l, -1 in increasing order.
-1, 7, 8, l
Suppose 0 = x - 4*q - 12, -36*x = -34*x + 4*q - 96. Put 3, -6, x in ascending order.
-6, 3, x
Suppose a + 22 - 2 = 4*r, 3*r - 5*a = 15. Let b be -3 + (-3 + 4)*20. Suppose b = r*z + 7. Put 1, z, -3 in ascending order.
-3, 1, z
Let f = -7/40784 + 285426859/203920. Let g = f + -1401. Let b = 9/10 + g. Sort 25, 3, b in descending order.
25, 3, b
Let f(u) = u**3 - 5*u**2 - 7*u + 9. Let o be f(6). Let x = -14 + 12. Suppose -656*l = -1320*l + 663*l. Put 7, x, o, l in increasing order.
x, l, o, 7
Suppose 37*m + 171 - 21 = 2. Put -7, 3, -5, 5, m in ascending order.
-7, -5, m, 3, 5
Let h(v) = v**3 - 4*v + 3. Let d be h(2). Let a be (-14)/(-21)*12 - (-1 + 4). Let o be ((-8)/32)/(2/(-8)). Sort d, a, o in increasing order.
o, d, a
Let c = -8583 + 8577. Put 12, c, -2/7, -3 in increasing order.
c, -3, -2/7, 12
Suppose 112 = 40*o - 48*o. Let y(i) = 2*i**3 + 28*i**2 + 2*i + 18. Let w be y(o). Put -4, 0, w, -1 in decreasing order.
0, -1, -4, w
Let c = -0.53 - 4.45. Let t = -2.98 - c. Put -3, 1/16, t in ascending order.
-3, 1/16, t
Let k be (-126)/(-4) + 9/(-6). Let x be 4*(k/(-8))/(-3). Let c = 107.7 - 109.2. Sort -0.1, c, x in descending order.
x, -0.1, c
Let y = 522 - 744. Let d = y - -266.6. Let v = 45 - d. Sort 1, 0.2, v, -3/2.
-3/2, 0.2, v, 1
Let j = 2072/3 - 691. Suppose 12 = 6*p - 3*p. Sort j, 5, 1, p in decreasing order.
5, p, 1, j
Suppose 13*r = 73 - 125. Let l = 38.78 - 38.9. Put l, r, -1 in decreasing order.
l, -1, r
Let r be 3/(-6)*-1*10. Suppose 0 = -q + 4*l - 2 - 23, -2*q - 2*l = 80. Sort r, q, 0.4 in decreasing order.
r, 0.4, q
Let i = -30.28 + -0.72. Let b = -0.453 - 0.047. Put -3, 1, b, i in increasing order.
i, -3, b, 1
Suppose p + 3*l - 32 = l, 2*l = 6. Suppose p*i - 31*i = 15. Put 4, i, 9, -5 in decreasing order.
9, 4, i, -5
Let l = -44 - -56. Let y be 20/495 - (-4)/(-18). Let m = -440.6 + 441. Sort l, m, y in ascending order.
y, m, l
Let c = 34.122 + -0.122. Suppose 12*r - 210 = -150. Sort -1, c, r in decreasing order.
c, r, -1
Let h be -4 + 123/12 - 7. Sort -16, -0.2, 1.48, h in ascending order.
-16, h, -0.2, 1.48
Let j be (-4)/34 + (-44)/(-612)*-3. Let b = -4564909/71142 + -6/11857. Let d = 64 + b. Put j, d, 1 in descending order.
1, d, j
Let p = 11942 - 11941. Put 47, -4, p in decreasing order.
47, p, -4
Suppose 5*b = -5*r + 45, 3*b + 2*r = -3 + 24. Let h = 1 + 1. Sort h, -12, 0, b.
-12, 0, h, b
Suppose -5*h = -l - 4*l + 210, 0 = h. Suppose l = -5*z + 2*c, 3*z - 3 = -5*c - 53. Sort -14, z, 0 in increasing order.
-14, z, 0
Let f(v) = 2*v**2 + 151*v - 1334. Let u be f(8). Sort 5, -4, 1/13, u, -38 in ascending order.
-38, -4, 1/13, u, 5
Suppose -2*j - 3*j + 32 = 3*m, -47 = -2*j - 5*m. Let g be 0 + 1 - (4 + -1). Put j, 2, 1/4, g in ascending order.
g, 1/4, j, 2
Let c = 31 - 77. Let y = 64 + c. Let b = y - 18.01. Put b, -3, -1/3 in decreasing order.
b, -1/3, -3
Let p be ((-3)/(1 + -7))/(2/8). Suppose 4 = 6*t - p*t. Suppose 15*h = 14*h + 4. Sort -4, -1, h, t in descending order.
h, t, -1, -4
Let s = 0