
Let p(u) = -59*u + 398. Let w be p(7). Sort 15, w, -1 in descending order.
15, -1, w
Let d = 1481 - 1483. Suppose -5 = -4*z + 3. Sort d, z, 1.
d, 1, z
Let r = 1100.5 + -1101. Sort -1, 0.1, -2/7, r, 0.
-1, r, -2/7, 0, 0.1
Let c = 58 + -22. Suppose -4*y = -2*a - 12, -4*y - 9 + 23 = -a. Let m be 9/a + (-18)/c. Sort 0.1, -4, m.
-4, 0.1, m
Suppose -38*b = -35*b + 447. Let g = -146 - b. Sort 1, -14, g in decreasing order.
g, 1, -14
Let k be 1 - 1 - 0 - (-571 - 84). Let h = k + -643. Sort 5, h, 2, 0.2 in descending order.
h, 5, 2, 0.2
Let o = 56 + -61. Suppose 16*b = -t + 15*b - 2, -3*b + 6 = -3*t. Put t, 21, o in descending order.
21, t, o
Suppose 0 = 5*j - 152 + 42. Suppose 20*u - j*u = 0. Let z be (46/(-46))/((-2)/2 + u). Sort z, 2, 23 in ascending order.
z, 2, 23
Let h be 2 + ((-56)/(-12))/14 + 10/6. Sort h, -4, 5, 26, -5 in ascending order.
-5, -4, h, 5, 26
Let i = 889.56 + -875. Let d = i + -13. Sort -6/11, 0.4, d in descending order.
d, 0.4, -6/11
Let g = -1.1514 - 3.8486. Sort 2/3, g, -269 in descending order.
2/3, g, -269
Suppose o = 3*p + 50 - 30, 0 = 4*o - 2*p - 30. Let w(a) = a**3 - a**2 - 3*a + 3. Let m be w(2). Put m, -6, o, 2 in decreasing order.
o, 2, m, -6
Let r(z) = z**3 - 3*z**2 - 3*z - 5. Let k be r(4). Let b = -320 - -374. Suppose -u - 5*d + 0 + 5 = 0, -2*u = -d - b. Sort u, -2, k in decreasing order.
u, k, -2
Let i(o) = -3*o**2 + 84*o - 207. Let g be i(25). Put -5, 2, -4, g, -1 in ascending order.
-5, -4, -1, 2, g
Let p = 62.5 - 327.5. Let n = 247 + p. Sort 5, -4, n in increasing order.
n, -4, 5
Suppose 4*l = -b - 27, 3*l + b - 20 = -42. Let c be ((-2)/(-6))/(2/30). Sort 0, 1, l, c in decreasing order.
c, 1, 0, l
Let f(y) = -2*y + 3. Let v be f(4). Suppose -42*b = -39*b + 15. Let g(h) = -h**2 - 10*h - 25. Let n be g(b). Sort 4, v, n in ascending order.
v, n, 4
Let u = 1087 - 1088. Sort -4, -19/3, 1, u.
-19/3, -4, u, 1
Let r = -448 + 422. Let h = 17 + -44. Let m = h - r. Sort -0.2, m, -0.5 in decreasing order.
-0.2, -0.5, m
Suppose -1608 = 54138*d - 54540*d. Let f be (1/18)/(-1)*4. Let i be (-23)/(-28) + (-2)/8. Put f, d, -0.4, i in decreasing order.
d, i, f, -0.4
Let v = 19606 - 19605.8. Sort -2/3, -0.1, -1/28, v, 0.3 in descending order.
0.3, v, -1/28, -0.1, -2/3
Suppose -5*u - 20 = -5*v, -4*v + 0*u + u + 10 = 0. Suppose -2*y + 9*k = 4*k + 508, -8 = 4*k. Let m = y - -260. Put v, m, -4, 5 in decreasing order.
5, v, m, -4
Let g = 12 + -7. Let i(d) = -48*d + 298. Let v be i(6). Put g, 0, v in ascending order.
0, g, v
Suppose 75*k = 70*k + 170. Suppose 4*y + k = 2*a, -3*a + y + 52 = -19. Put 2/5, 4, a, 2 in ascending order.
2/5, 2, 4, a
Let d = -3503.67 + 3503. Sort d, -3/8, -2, 0 in increasing order.
-2, d, -3/8, 0
Suppose -5*k + 73*g - 68*g = -15, -2*k + 3 = -g. Sort k, 3, 4, -5, 10 in descending order.
10, 4, 3, k, -5
Let n = 6 + -4. Suppose 6*m = 2*m - 20. Suppose -248*c - 505 = -1347 - 398. Put m, n, c, -2 in ascending order.
m, -2, n, c
Suppose 0 = h + 3, -5*y - 195 = h + 1113. Let c = y - -265. Put c, -3, -2 in increasing order.
-3, -2, c
Suppose -10*b + 12*b = -8, 0 = -s - 2*b - 13. Sort -74, s, -2, -1, 0 in decreasing order.
0, -1, -2, s, -74
Let d = -1161.6 - -1143.6. Sort d, -1, 0.031 in descending order.
0.031, -1, d
Let n = 2431/43 + -210204/3655. Let x be -2 + 2/(34/31). Let o = n - x. Put o, 8, -1 in descending order.
8, o, -1
Let x be (136/204)/(-2*(-1)/9). Let a be (-5 + x + -3)/1. Put 2, a, -11 in increasing order.
-11, a, 2
Let r be (8 - 10)*-8 + -23. Sort 6, -3, r, 1, 4.
r, -3, 1, 4, 6
Let t be 4 - (4 - 4) - -9. Let n = 8 - t. Let j = 4 - 2. Sort -40, j, n in ascending order.
-40, n, j
Suppose -b - 24 = 5*l, -2*l = -5*b + 2*l + 25. Let d be (24/(-3))/(-2 + b). Suppose -2*x + d*x = -12. Sort x, 2, 14 in decreasing order.
14, 2, x
Let k = -366.4 - 15.6. Let h = k - -381. Sort -8/29, h, 0.2 in descending order.
0.2, -8/29, h
Suppose 9*z + 57 = 28*z. Let i be 1 + (121/(-11) - (4 + -1)). Put -5, i, z, 4 in ascending order.
i, -5, z, 4
Let d = 71.9 + -206.9. Let k = 185 + d. Let x = 4 + -3. Sort -2, x, k in ascending order.
-2, x, k
Let t be (13/(-7) + 1)/(14/(-98)). Suppose a + t = -2*j, j = 7*a - 3*a - 21. Put 3, -4, -2, a in increasing order.
-4, -2, 3, a
Let f = -6290 - -6294. Put 3, f, 2930 in ascending order.
3, f, 2930
Let z = -2.62 + 0.62. Let v(b) = b**2 + 7*b + 8. Let w be v(-6). Let c be (-68)/238 + (-1 - -1)/w. Sort 0.4, z, c in ascending order.
z, c, 0.4
Let z be (-3)/9*36/(-3 + -1). Suppose -4*h = -b - 13 + 11, 0 = 5*b + h - 32. Put -1, z, b, 4 in ascending order.
-1, z, 4, b
Suppose c = 2*c + 2. Suppose -972*s + 468 = -1089*s. Sort s, c, 3.
s, c, 3
Let b be 2 + (30/(-8) - -2). Let x = -27863 + 27856. Sort b, x, 6.
x, b, 6
Let i = 859.31 - 0.31. Let t = i + -854. Put 0.4, t, 15 in descending order.
15, t, 0.4
Let q(m) = -7*m**2 + 250*m + 45. Let s be q(36). Sort -10, s, 2 in decreasing order.
2, -10, s
Suppose -5*v - 5*m = -950, 3*m - 2*m - 5 = 0. Let c = v + -1667/9. Let w = -247.9 - -248. Sort 1/6, c, w in descending order.
1/6, w, c
Let m be (-54)/14 - (-36)/42. Suppose -2*w = 7 - 7. Let p be 0/(m + w) + -3. Put 15, -5, p, 2 in increasing order.
-5, p, 2, 15
Let t(w) = -w**3 - 8*w - 14. Let p be t(-6). Let j = -254 + p. Sort 0.2, 1, j, -3/25.
j, -3/25, 0.2, 1
Let t = 319/123 - 38/41. Let g = 66.92 - 67. Sort 0.1, 1, t, g in descending order.
t, 1, 0.1, g
Let o be ((-15)/(-6) - 3)*0. Suppose o = 4*m - 11*m - 154. Let r = -23 - m. Sort r, -5, 1 in decreasing order.
1, r, -5
Let x = 0.512 + -643.512. Let c = x - -675. Put -1/2, -0.1, c, 1/4 in increasing order.
-1/2, -0.1, 1/4, c
Let t = -10776 - -10775. Sort 1/10, -0.06, 8/5, t in decreasing order.
8/5, 1/10, -0.06, t
Suppose -132*l + 13*l = 95*l + 20*l. Put l, -2, 3, 32 in ascending order.
-2, l, 3, 32
Suppose 4*o + 43 = 3*b, 130 - 15 = -5*o - 5*b. Sort o, -5, 4, -2 in decreasing order.
4, -2, -5, o
Let q = -0.08 - 0.32. Let h = -218.71 + -28.89. Let x = h + 248. Sort x, -0.6, q.
-0.6, q, x
Let u(a) = a**2 + 62*a - 408. Let n be u(6). Put 2, n, -791 in increasing order.
-791, n, 2
Let x(g) = -2*g**3 - 439*g**2 - 653*g + 223. Let w be x(-218). Suppose -9 = -3*h + 3. Put w, -4, 3, h in ascending order.
-4, 3, h, w
Let y = -20632 + 20627. Sort 5, -2, y, -1, 2146 in ascending order.
y, -2, -1, 5, 2146
Let d be (-1 - 3)*(-2)/4. Let x be ((-6)/2)/(-15) + 102/(-10). Let w(r) = 2*r**2 + 18*r - 12. Let h be w(x). Put 4, d, h in descending order.
h, 4, d
Let o = -9060 + 9057. Put 0.044, o, 1/2, 4 in descending order.
4, 1/2, 0.044, o
Let v = 128.7 + -149. Let c = -20.7 - v. Let d = -4.96 + -0.04. Put d, c, 2 in decreasing order.
2, c, d
Let v(o) = -o**3 - 11*o**2 + o - 23. Let g be v(-12). Suppose g*i - 16 = 105*i. Suppose 0 = b - 4*b. Sort b, i, 2 in descending order.
i, 2, b
Let f(x) = -2*x**2 + 2*x + 7. Let d be f(3). Let n = d + 14. Let o be 12/10*320/192. Sort o, -1, n in ascending order.
-1, o, n
Let h = -152 - -1213/8. Let o(x) = -27*x**2 + 246*x + 2. Let m be o(9). Sort -0.2, m, h.
h, -0.2, m
Let r = 0.61 - 0.71. Let d = 1552 - 29490/19. Put 8, 0.5, r, d in ascending order.
d, r, 0.5, 8
Let c be (-11 + -36)/((-4)/(((-8)/(-1))/(-2))). Sort -5, -1, c in descending order.
-1, -5, c
Let u = -1.85507 + 2.05507. Let c = -603/5 - -121. Put 1/4, u, -0.16, c in decreasing order.
c, 1/4, u, -0.16
Let t be (-3)/((-3)/(-5)) - -1. Let p = 75 - 8. Let d = p - 66.9. Sort -0.2, 2/7, t, d in decreasing order.
2/7, d, -0.2, t
Let t = -2 - 0. Let n be (-3 + 27)/(2/(-2)*1). Let m be n/30*(-30)/12. Sort m, -1/9, t.
t, -1/9, m
Let k be 2/(-6) - 416/(-78). Let v = 2 + -20. Let u = -14 - v. Put k, -5, u in decreasing order.
k, u, -5
Let g be (240/(-224))/(85/(-68)). Let f be ((-10)/8)/(1/(-16)). Suppose -d - f = 4*d. Sort d, -0.4, -0.2, g in decreasing order.
g, -0.2, -0.4, d
Let l = 785 + -781. Let m be 0/2 - (-1)/(l/(-16)). Sort -2, m, 24, 5.
m, -2, 5, 24
Let t = 10 - -8. Suppose -2*j = 2*m + j - t, 10 = 2*m + j. Let f be (-9)/3 + 6 + 2. Sort m, -1, f, 2 in increasing order.
-1, 2, m, f
Suppose -5*v - 46 = -9 - 12. Sort 2, -1, 24, v, -3 in descending order.
24, 2, -1, -3, v
Let g = 16.5 + -210.5. Sort g, -0.1, 1/9 in decreasing order.
1/9, -0.1, g
Let v = 816/7 + -4073/35. Sort -0.2, 49, v, 8, 0.4 in decreasing order.
49, 8, 0.4, v, -0.2
Let k = -6359 - -6361. Let h(l) 