.
z, 1, 0.2, x
Suppose 5*a + 2 + 22 = 3*r, -3*r = -4*a - 21. Put 5, -3, -13, r, 0 in increasing order.
-13, -3, 0, r, 5
Suppose 4*k + 14 = 3*g + 35, 9 = -5*g - 2*k. Put -12, g, -5, -2 in descending order.
-2, g, -5, -12
Let g be (12/(-8))/1*40/30. Sort 28, -11, 3, g in decreasing order.
28, 3, g, -11
Let m = -6604 - -270762/41. Sort m, 2, 0.3 in descending order.
2, 0.3, m
Let m = 40.015 - 32.015. Put -6.3, m, 0.5 in ascending order.
-6.3, 0.5, m
Let l = 8957 - 8957.3. Put -2, l, -5/4, -0.49 in ascending order.
-2, -5/4, -0.49, l
Let d be (-12)/16 - (-400)/(-320). Let n = -5 - -9. Put n, -5, d, -1 in ascending order.
-5, d, -1, n
Suppose r = -4*y - 3*r + 128, 2*y - 85 = 5*r. Suppose 31*a - 8 = y*a. Put 8, 5, a, 0 in descending order.
8, 5, 0, a
Let u be 4654/(-1611) + (-1)/9. Put u, 0, -93, 2 in descending order.
2, 0, u, -93
Suppose 0 = 2*z + 2*y - 38, 624*y = 5*z + 628*y - 96. Put 4, -12, z, 0 in descending order.
z, 4, 0, -12
Let j(c) = c**3 + 7*c**2 - 6*c + 11. Let u(i) = -3*i**2 + 7*i - 8. Let h be u(4). Let t = h + 20. Let y be j(t). Put 0, y, 2, 4 in increasing order.
y, 0, 2, 4
Suppose 0 = -15*u + 52*u + 444. Let o be (1/u)/(6/27). Sort o, -2, -0.1, 0.8.
-2, o, -0.1, 0.8
Suppose 59*b = 2*o + 58*b + 14, 36 = -4*o + 3*b. Sort 9, 25, o in descending order.
25, 9, o
Let n(a) = -a**3 - a**2 - a + 3. Let w be n(0). Suppose -5 = -2*p + w*p. Let r = -3.143 - -3.343. Put p, r, -0.8, -1/3 in decreasing order.
r, -1/3, -0.8, p
Let h be 3*((-2)/(-4))/(369/(-36) + 5). Sort -1/5, h, 0.404 in descending order.
0.404, -1/5, h
Suppose -380 = 4*d - 27*d + 118*d. Put 5, 2, 1, d, -5 in descending order.
5, 2, 1, d, -5
Let l = 2151 - 2162. Sort 4, 0, l, -3 in descending order.
4, 0, -3, l
Suppose -x = -r - 3, -x - 5*r = -4 + 25. Suppose 283*o - 76 = 279*o. Suppose -3*a - 5*k = 39, 23*a - 2*k = o*a - 26. Sort a, 1, x in descending order.
1, x, a
Let o = -1.294 + 5.294. Put 142, 0.02, o in decreasing order.
142, o, 0.02
Let m = -0.12743 + 0.16743. Sort m, 0, 0.3, 5/2, -2.
-2, 0, m, 0.3, 5/2
Suppose -602*r + 606*r + 3*v = -11, 4*r = -2*v - 6. Sort -32, 0, r, -5, -1 in increasing order.
-32, -5, -1, 0, r
Suppose -2*k = -2*c + 14, 37*c - 27 = 36*c - 3*k. Let d be (6*4)/(3/3). Suppose 3*u + c = d. Sort 0, u, 119 in decreasing order.
119, u, 0
Let s(h) = -3186*h + 12746. Let a be s(4). Sort a, -2, 14, -4 in decreasing order.
14, a, -2, -4
Suppose 25*k + 3 - 6 + 3 = 0. Suppose -b + 2*b = 2*n + 6, -b - 9 = 3*n. Put n, k, -1, -5 in descending order.
k, -1, n, -5
Suppose 4*c + 2*v = -v - 1, -6 = 4*c + 2*v. Let d be 572/(-72) + (-2)/4. Let s = d + 8. Sort -3, s, c in ascending order.
c, -3, s
Let d = -398/3 + 397/3. Sort 0.07, d, -11, 11 in ascending order.
-11, d, 0.07, 11
Let c = -32802 - -32764.359. Let n = c + 38.1. Let z = 0.041 + n. Sort 2, z, -1 in descending order.
2, z, -1
Let n = 0 - 1. Let p = -187837 - -187837. Sort p, 5, n, -2.
-2, n, p, 5
Suppose -248*k - 188*k = -2180. Sort -2, -1, k, -3, -36 in descending order.
k, -1, -2, -3, -36
Suppose -4*l - 31*z + 21 = -36*z, -l + 6 = -2*z. Put 0.1, 5, -5, l in descending order.
5, l, 0.1, -5
Let c = 0.1 + -4.1. Let f = 651 + -648. Sort -5, c, 2, f in increasing order.
-5, c, 2, f
Let v(j) = j**3 - 26*j**2 + 27*j - 46. Let r = 630 + -605. Let m be v(r). Put -0.12, m, 8, -5 in decreasing order.
8, m, -0.12, -5
Let u = -8130 + 8133. Put 5, u, -292 in decreasing order.
5, u, -292
Let p be (-20)/(-8) + -3 + (-14)/(-4). Suppose 0 = -a - p*a, -2*u + 4 = 3*a. Sort u, -2, -17 in descending order.
u, -2, -17
Let f(g) = 5*g**3 + 241*g**2 + 46*g - 98. Let n be f(-48). Suppose 3*l + 0*l + 3*p + 12 = 0, 0 = 5*l - p - 4. Sort l, 2, 3, n in decreasing order.
3, 2, l, n
Let n = 0.011 + 0.389. Let u be (-27)/(-10) - (-3)/(-120)*-12. Sort u, n, 1/5, 1.
1/5, n, 1, u
Let i = -194.0468 + 194. Let y = 5.0468 + i. Put 2, y, -10 in descending order.
y, 2, -10
Let t = -5766 - -5770. Sort t, -4, -6, 1/2 in ascending order.
-6, -4, 1/2, t
Suppose -4 = -4*o - 0. Let d = -372 - -378. Suppose 35 = d*c + 5. Sort o, c, -4 in descending order.
c, o, -4
Let w = 764 - 764. Let p = 66/49 - 38/49. Put -7/17, w, p in descending order.
p, w, -7/17
Let g be -18*((-1141)/326 + 29/6). Sort g, -15, 0 in increasing order.
g, -15, 0
Suppose -2*l - a + 2 = -2, l + 2*a + 4 = 0. Suppose 6 + 2 = -4*w, w = -3*s + l. Sort 3, 1, s.
1, s, 3
Let q = -0.33845 + -76.66155. Put q, -2/17, 3, -3, -8 in decreasing order.
3, -2/17, -3, -8, q
Let q = -1168 + 1163. Sort -4, 3, q, -17 in decreasing order.
3, -4, q, -17
Let r = -426.82 + 18.81. Let s = r + 408. Put s, -0.31, -5 in descending order.
s, -0.31, -5
Suppose -130*b - 128*b + 388*b - 118*b + 36 = 0. Let g = 2 + -4. Put b, g, 0, 14 in increasing order.
b, g, 0, 14
Suppose -24*s = -15*s - 45. Suppose 3*i + 5 = b, s*i - i = -8. Put -5, 5, 3, b in descending order.
5, 3, b, -5
Let w = 0.14 + -12.14. Let j = -1.436 - 0.564. Let n = 124/205 + -33/41. Sort -1/3, n, j, w in ascending order.
w, j, -1/3, n
Let c = -5001.9 - -5003. Put -0.1, c, -8/7 in ascending order.
-8/7, -0.1, c
Let j(x) = -2*x**3 - 171*x**2 - 256*x - 339. Let f be j(-84). Sort f, 807, -1.
f, -1, 807
Let q = -0.807 - -0.707. Let v be (14/21)/(2/54). Let d be 1/(-2)*24/v. Put -0.5, 0.9, d, q in ascending order.
d, -0.5, q, 0.9
Suppose -15 = -3*j, -5*j - 5 = 6*y - y. Let n be (-14)/3 + 0 - y. Put 1.2, 0.2, -2/3, n in ascending order.
-2/3, 0.2, 1.2, n
Let v(n) = -n**2 - 26*n - 98. Let r be v(-19). Suppose -r*k = -31*k - 8. Put k, 4, 8 in descending order.
8, 4, k
Let m be 2*2/20 + (-205)/1025. Sort m, -4, -630 in decreasing order.
m, -4, -630
Let l be (-1 + 2)*(504/(-60) + 8). Put l, -11, 1/4, 0.39 in decreasing order.
0.39, 1/4, l, -11
Let p = 4 + -1. Let v(o) = -6*o**2 + o + 3. Let l be 23/46*(-3 - 1). Let a be v(l). Sort p, a, -2/3.
a, -2/3, p
Suppose 5*q + 2*b + 2*b - 53 = 0, -3*b + 6 = 0. Suppose q*p - 258 = 309. Let j = 78 - p. Sort 5, -4, j, 2 in increasing order.
-4, 2, 5, j
Suppose -2*z - 80 = -92. Suppose -6*t + z = -12. Sort t, -5, -12 in decreasing order.
t, -5, -12
Let f = 1340 + -1343. Suppose 0 = 5*o + 25, 0 + 7 = 3*a + o. Put f, a, -11 in decreasing order.
a, f, -11
Let r be (-7 + 0)*(-8)/(616/33). Sort -5, r, 786 in increasing order.
-5, r, 786
Let h be 1908/15 - (3 + (-70)/25). Let l = 130 - h. Sort l, -1, 18.
-1, l, 18
Let g = -0.13788 - -0.23788. Let q = -113/3 - -38. Let p = 5 + -5.3. Put q, g, p, 8 in descending order.
8, q, g, p
Suppose -53*b + 58*b - 20 = 0. Let m be 2/7 - (24/21)/b. Put m, 10, 3 in descending order.
10, 3, m
Let x = -0.03 - 1.97. Let k = 6 + -19. Let j = 545/31 - 1666/93. Put 4, j, x, k in decreasing order.
4, j, x, k
Let j = 1.1655 + 1.8345. Put 2, 10, j, -38, 0.1 in decreasing order.
10, j, 2, 0.1, -38
Let u be -1*(-2 + -10) + -7. Suppose -5*h + u = -4*a - 10, -5*h + 10 = -3*a. Sort -2, h, 2, -14.
-14, -2, h, 2
Let h = 1850/11 - 168. Let j(v) = 3*v**2 + 87*v + 233. Let t be j(-26). Put 5, t, -1/5, h in descending order.
5, h, -1/5, t
Let p = 39 + -37. Suppose p*x = -5*q, -2*q = 2*x - 3*x - 9. Put x, 5, -2, 4 in increasing order.
x, -2, 4, 5
Let l be -6 - (5 + -8 - 49). Sort -3, -1, l, 2.
-3, -1, 2, l
Let v be (-6)/4*(24/(-36))/(-1). Let z be -3 - (-1 - (2 + -2)). Sort z, v, -5 in decreasing order.
v, z, -5
Let h = 2111 - 2119. Put h, -0.5, 5, 7 in descending order.
7, 5, -0.5, h
Let r(p) = p**2 + 2*p. Let y be r(-4). Let t be (-2)/(-6)*(-12)/y. Let c be 39/10*32/48 - 3. Sort -3, t, c in decreasing order.
c, t, -3
Suppose u + 2 = l, -u + 4*u + 4*l = 29. Suppose -u*w = w - 24. Suppose d = -w*d. Sort -3, -4, d in decreasing order.
d, -3, -4
Let i(x) = x**2 + 5*x + 1. Let d be i(-6). Suppose 0*f = f + d. Suppose 10*p - 6*p - 16*p = 26*p. Put 3, -4, f, p in descending order.
3, p, -4, f
Let r = -12 + 12. Suppose b + 8 = 3*b. Suppose n - 3 = b*n. Put 5, n, r, 68 in descending order.
68, 5, r, n
Let m be (0 - -2)/(6/(-9)). Suppose 0 = u + 4, 3*g + 4*u + 9 = 29. Suppose 418*n = 412*n - g. Sort m, n, -1, 4 in decreasing order.
4, -1, n, m
Let y be (470/564)/((-2)/12). Let a = 2 - -3. Suppose 3*q - q = -a*c - 1, -4*c - 4 = 0. Sort -4, q, y in descending order.
q, -4, y
Suppose 2*g = 1 + 7. Let d be (1/(-3))/(4/g). Suppose -1448 + 745 = 31*w - 734. Put d, -2/7, w in increasing order.
d, -2/7, w
Suppose -4*c + 4*g + 388 = 0