4
Let o(g) = -41*g**2 - 30*g + 26. Let z be o(1). Sort 113, 2, z in increasing order.
z, 2, 113
Suppose -238 - 290 = -42*j - 134*j. Put j, -40, -5, 7 in ascending order.
-40, -5, j, 7
Let l = 342.5 + -351.5. Suppose 4*w + 8 - 4 = 0. Sort -11, w, l in increasing order.
-11, l, w
Suppose 5*u - 2*l = 171, 8*l - 6*l = 2*u - 72. Let c = -30 + u. Put c, -12, -4 in decreasing order.
c, -4, -12
Let j = -668.7 + 799.7. Put j, 0.4, 6/7, -2 in ascending order.
-2, 0.4, 6/7, j
Let q = -124.7064 - 4.2936. Put -2/13, 0.5, -0.2, q in increasing order.
q, -0.2, -2/13, 0.5
Let t = -8 + 6. Let r = -5.2 + 6. Let q(d) = 164*d**2 + 5*d + 1. Let x be q(0). Put t, x, 4, r in decreasing order.
4, x, r, t
Let l be (-339)/27 - (34 + -47) - (-1016)/(-18). Sort -39, -4, l.
l, -39, -4
Suppose 71 = -76*w + 5*w. Suppose 3*d + 6*i = 10*i - 31, -23 = 3*d - 2*i. Sort w, 46, d.
d, w, 46
Suppose -h - 564 = a, 8*h + 0*a + 4482 = -2*a. Let r = -552 - h. Put 3, -3, r, -1 in ascending order.
-3, -1, 3, r
Suppose 2*c = 6*z - 20, 2*c - 5*z + 21 - 6 = 0. Sort 21, -2, 4, -5, c in descending order.
21, c, 4, -2, -5
Let r = 85 + -52. Let n = r + -63. Let q = n - -34. Sort 6, q, 0.5 in decreasing order.
6, q, 0.5
Let d(n) = -45*n + 14. Let t be d(17). Let z = -722 - t. Sort z, -0.2, 0.5, -3 in decreasing order.
z, 0.5, -0.2, -3
Let x be 3/((36/8)/3). Suppose 0 = -126*q + 160*q + 102. Put q, x, 16 in decreasing order.
16, x, q
Let z = -13936.1 + 13938.1. Let w = 0.27 + 0.03. Put 0.109, z, w in decreasing order.
z, w, 0.109
Let m be 4/(-6) - (-8)/3. Let w = -1596 + 1594. Let i be 18/12*(-2 + 0). Put m, i, w in ascending order.
i, w, m
Let b be 366/(-21) - (4 - (-403)/(-91)). Sort b, 2, -3, -20, -2 in decreasing order.
2, -2, -3, b, -20
Let o = 381.57 - 374. Let n = -7.68 + o. Put 2/5, 3/2, n, -4 in decreasing order.
3/2, 2/5, n, -4
Let h be (5 + 66/(-6))/(6/4). Let d be -3 - (0 - (0 + 0)). Suppose -29 + 37 = 4*c. Put c, h, d, 0 in descending order.
c, 0, d, h
Let g = -8150 - -8115. Sort -3, -4, 4, 2, g in increasing order.
g, -4, -3, 2, 4
Let u be (-21)/(-6) + 3/(-6). Suppose 6*s + 4*s + 30 = 0. Let p be -18*(4 + 13/s). Put p, u, -1 in descending order.
p, u, -1
Let o = -0.916 - -50.016. Let b = o - 49. Sort b, 2/5, -0.2 in decreasing order.
2/5, b, -0.2
Suppose 4672 = -11*s + 19*s. Put -5, 1/8, s, 5 in ascending order.
-5, 1/8, 5, s
Let a = -0.13653 - -1.13653. Sort 0.4, 433, a in descending order.
433, a, 0.4
Let d = -1099 + 1084. Let c = -57 + 52. Put 1/3, c, d in descending order.
1/3, c, d
Let v be 455/40 + (-3)/8 + 0. Suppose -5*r - v - 21 = -4*a, -r - 4 = 0. Put -1, 25, a in increasing order.
-1, a, 25
Suppose 23*w - 15 = 3*t + 19*w, 5*w = 4*t + 18. Sort 0, -0.05, 0.02, t in increasing order.
-0.05, 0, 0.02, t
Let l = -20672 - -20672. Sort 14/3, -3, 1, l, 0.03.
-3, l, 0.03, 1, 14/3
Suppose 104 = -11744*q + 11770*q. Sort -980, q, 1 in increasing order.
-980, 1, q
Let p be (396/9)/4 - (-3 + 13). Sort 25, -2, 5, p, -3 in ascending order.
-3, -2, p, 5, 25
Suppose -9*v = -11*v + 2*u - 22, 0 = 4*v + 2*u + 2. Sort -6, v, 4, 21.
-6, v, 4, 21
Suppose -3*y = 2*y - 35. Let o be (2/(-3))/((-3)/(-18)*-1). Put y, o, 0 in increasing order.
0, o, y
Let d be (-35)/9 - (54 + 16975/(-315)). Let y = 11 - 2. Let n = 4 - y. Sort -0.5, n, d, 0.4.
n, d, -0.5, 0.4
Suppose -54 = 26*n - 8*n. Let s be 4/10 + 10/200*n. Sort 0.02, 2/3, -3, s.
-3, 0.02, s, 2/3
Let t(q) = -q - 2. Let o be t(2). Let x = 5 + o. Let s(n) = -1020*n + 3064. Let a be s(3). Sort -1, a, -4, x.
-4, -1, x, a
Let b be (-18)/(-10)*-35*38/399. Put b, 3, -8, -1 in decreasing order.
3, -1, b, -8
Let z = 126416 + -634567/5. Let q = -497 - z. Sort 5, -12, q, 3 in decreasing order.
5, 3, q, -12
Let d = 17184887/52 - 330441. Let f = 151/4 - d. Sort -10/3, f, -4 in descending order.
f, -10/3, -4
Suppose -1 + 5 = -q - 5*m, -4 = -2*q + 2*m. Suppose w + 12 = -3*d, -4*w - 2*d = q + 7. Suppose -3*k - 5*k + 40 = w. Put 3, k, -16 in increasing order.
-16, 3, k
Let q = -23840 - -23842. Put -5, q, -10, 0, 1 in decreasing order.
q, 1, 0, -5, -10
Suppose -5*w = 3*a + 30, 3*w = 5*w - 4*a - 14. Let u be (2/w)/(10/15). Put u, -4, -2, -19 in ascending order.
-19, -4, -2, u
Suppose 4*j + 3*p + 37 + 44 = 0, -5*p + 5 = 0. Put 0, j, 2, -5 in decreasing order.
2, 0, -5, j
Suppose -8 = -4*f + 4*w, -2*w + 50 = 5*f + 3*w. Suppose -3*r + 4*u - 105 = 0, 0 = -4*u + f + 6. Sort -3, r, 1, -1 in descending order.
1, -1, -3, r
Let j = -0.4 - 0. Suppose 698 + 1367 = -338*c - 977. Sort 0.3, c, j in decreasing order.
0.3, j, c
Let u = 1008 + -1006. Suppose -2 = 3*x - 2*x. Put u, 0.4, x, -4 in ascending order.
-4, x, 0.4, u
Let g = 51288/64085 - 4/12817. Let y = 87 + -47. Sort y, g, -1/9 in decreasing order.
y, g, -1/9
Suppose 0 = 5*q + 5*y - 51 + 121, 4*q = 2*y - 62. Sort 3, -6, q in decreasing order.
3, -6, q
Suppose 10 = -4*a - a. Let f(k) = -k**3 - k**2 + 3*k + 4. Let p be f(a). Let d = 2 + -1. Sort d, p, -1 in decreasing order.
p, d, -1
Let t = 0 + -4. Let k = 0 - -0.2. Suppose -14 + 18 = 12*f + 64. Sort k, -7, t, f in decreasing order.
k, t, f, -7
Let a = -1.3708 - 0.6292. Let x = -15 + 10. Let d = x - -1. Put a, -2/5, d in decreasing order.
-2/5, a, d
Let g(k) = 884*k + 3537. Let j be g(-4). Put j, -22, 3, -5 in ascending order.
-22, -5, j, 3
Let x be 1/(-8) - 410/(-80). Let h(t) = -t**3 - t**2 + 45*t + 88. Let v be h(-2). Sort x, -7, 7, v in ascending order.
-7, v, x, 7
Suppose 0 = -i + 5*i - 32. Suppose 0 = -4*x + 4*z + 32, -17 = x - 4*z + i*z. Suppose l + x = -q, -3*q - 9 = -0*q - 2*l. Sort 0, q, -29 in descending order.
0, q, -29
Let q = -823864/13211 + 686/11. Sort -4, -5, 1, q.
-5, -4, q, 1
Let f = -3101 + 2890. Put -3, -5, f in decreasing order.
-3, -5, f
Let i = 117 + -68. Let d = -44 + i. Put -3/2, 26, d in increasing order.
-3/2, d, 26
Let c be 3 - (8/(-2) - -3). Suppose -3*f = 14*j - 13*j - 10, 2*f = -2*j + 8. Put -2, f, 16, c in decreasing order.
16, c, f, -2
Let s be (4*95/10)/(-1 + 3). Let z(k) = -9*k + 176. Let o be z(s). Put 2, o, 3, -4 in ascending order.
-4, 2, 3, o
Let t(d) = 390*d - 2728. Let w be t(7). Sort -1059, 4, w.
-1059, w, 4
Let d(n) = n**3 - 5*n**2 + 3*n + 5. Let v be d(4). Let l = -70745 + 70744. Put 58, v, l, 0 in increasing order.
l, 0, v, 58
Let t = 26573 + -26568. Sort t, 3, 32, 75.
3, t, 32, 75
Let f be (-6)/12 - 141/18 - -7. Let o be -1 - (-5 + 1 + 0). Sort 0.01, o, f.
f, 0.01, o
Let b(r) = 1063*r + 4257. Let h be b(-4). Let x(w) = -w**3 + 10*w**2 - 9*w - 8. Let c be x(9). Put -2, h, c in increasing order.
c, -2, h
Let h be 4/10 + (-18)/20. Let c = 748 + 72. Let p = c + -822. Put 0.5, p, -5, h in descending order.
0.5, h, p, -5
Let k = -240 + 252. Suppose 4*w = -k*v + 13*v - 6, 2*v + 2 = w. Let m(q) = -q**3 + 5*q**2. Let s be m(5). Put v, s, 2, 7 in increasing order.
v, s, 2, 7
Let g be 148/(-16)*(0 - (3 + 1)). Let h = -34 + g. Suppose 0 = t + f + h, t - 1 = f - 0. Sort 8, t, 2, -3.
-3, t, 2, 8
Let p = -263 - -270. Suppose 17*c + 53 = 121. Sort p, c, -3 in descending order.
p, c, -3
Let v(s) = s**2 - 18*s + 3. Let n be v(16). Put 0, 14, -2, n, -1 in descending order.
14, 0, -1, -2, n
Suppose -10*y + 2*t = -6*y + 10, -5 = -y - t. Let n be 2 + 18*4/(-34). Let q = -0.3 + 0.1. Sort q, n, y in ascending order.
q, n, y
Suppose 0 = 3*m + k - 2990, -2*k = 2*k - 20. Suppose m*j - 999*j = 12. Put j, 3, 5, -2 in descending order.
5, 3, -2, j
Let h = -0.08754 - -1.18754. Sort 3, 2/77, h, -0.1 in decreasing order.
3, h, 2/77, -0.1
Let d = -4/2747 + -2731/10988. Sort d, 0.14, 4 in descending order.
4, 0.14, d
Let l be 14 - (-14)/(84/(-30)). Sort 1, 44, l in ascending order.
1, l, 44
Let c = -1.41 + 1.281. Let f = -0.529 - c. Sort f, -4, 6, 3 in descending order.
6, 3, f, -4
Suppose 23*c + 3*c = -1297 + 1427. Sort -18, -2, c in descending order.
c, -2, -18
Let o = 1080218/99 + -10911. Let p = -2/99 + o. Let z be (-25 + 24)*-3*(-4)/6. Sort p, 1, -3/4, z in descending order.
1, p, -3/4, z
Let s(z) = -4*z + 16. Let l be s(7). Let v = 8 + l. Let k = -1 + 5. Sort k, 3, v in descending order.
k, 3, v
Let f(w) = -w**3 + 4*w**2 + 10*w - 24. Let t be f(5). Suppose -q - t = -0, -5*j + 5*q - 10 = 0. Put 2, j, -6, 5 in ascending order.
-6, j, 2, 5
Suppose -2*w + 41 = 3*z, z + 0*z = -3*w + 79. Put -5, 8, w in decreasing order.
w, 8, -5
Suppose -5*a = -4*z - 51, -4*a