y - 88. Put 25, t, y in decreasing order.
25, y, t
Suppose 0 = -4*f, l = -2*l - f - 9. Let v(n) = -n**3 - 5*n**2 - 5*n + 1. Let j be v(l). Put -1, -26, j in descending order.
-1, j, -26
Let n = 2/1905 - -1217/655320. Let i = 341/1032 + n. Sort -58, 0.1, i in descending order.
i, 0.1, -58
Let o = 1112/2755 - 2/551. Let a be (3 + -7)*1/(-2). Sort 3/2, a, o in increasing order.
o, 3/2, a
Suppose -4*r + r - 3*k = 51, 0 = -4*r + 5*k - 32. Let l = r - -15. Let q(f) = -f**3 + 5*f**2 - 2*f - 12. Let c be q(4). Sort -1, l, c, 0 in decreasing order.
l, 0, -1, c
Let o = -5 + 5.5. Let g be 8*(-4)/(-16)*2. Let d be (1/g)/(5/((-100)/(-5))). Put d, 5, o in ascending order.
o, d, 5
Let u be -4 + 5 + (-1 - 3). Let w(a) = -a + 20. Let j be w(-6). Let y(v) = -v**3 - 13*v**2 - 30*v - 2. Let b be y(-10). Sort 3, j, u, b in increasing order.
u, b, 3, j
Let i be ((-104)/6)/(-4) + -3. Let s = 21091 - 21083. Sort 4, i, 2, s.
i, 2, 4, s
Let m = -0.5308 - -0.0308. Sort -1/65, m, 4/9, -0.1 in decreasing order.
4/9, -1/65, -0.1, m
Let c be 15*((-176)/(-10))/2. Suppose -2*f - f = 5*b - 659, -2*f - 137 = -b. Let o = b - c. Put 0.3, o, 45/2 in descending order.
45/2, o, 0.3
Let x = -4.2 + 2.2. Let t = -2804.3 + 2804. Put x, -5, t in ascending order.
-5, x, t
Let n be 109 - 76 - (6 - 1/2*2). Let m be -2*1 + (-5 - -10). Sort m, -3, n in decreasing order.
n, m, -3
Suppose 2*m = 10, 3*m - 31 = -4*r - 4. Let n be (22 - 26) + (9/2 - 0). Sort r, n, 0.4.
0.4, n, r
Let f = 12.129 + -11.729. Put -26, -1, 3, 1, f in decreasing order.
3, 1, f, -1, -26
Suppose 57*h + 6 = 54*h. Put -3, h, -5, 0.4 in decreasing order.
0.4, h, -3, -5
Let f = 20523 - 20525. Sort 1, f, -0.2, 0.2, 836 in increasing order.
f, -0.2, 0.2, 1, 836
Let z = -97 - -97. Sort 4, z, 21, 6, -3 in descending order.
21, 6, 4, z, -3
Let d be (32/72)/(26/(-117)). Suppose 25 = -3*k - 158. Sort -3, d, 1, k.
k, -3, d, 1
Suppose -188 = 10*v - 198. Let k be (-42)/(-10) - 4/20. Sort -3, k, v, -1.
-3, -1, v, k
Suppose -2 = -3*g + 16. Suppose 4*p - 13 - 11 = 0. Let l = p - g. Sort 2, l, -1 in descending order.
2, l, -1
Let c(f) = f**3 + 6*f**2 + 6*f - 1. Let q be c(-5). Let t be q/1*15/5. Let s be (-8)/(-36) + (-50)/t. Put 1, s, -5 in ascending order.
-5, 1, s
Let u be (2/(-4))/(161/(-322)). Let z = -25 - -17. Put z, u, 5 in ascending order.
z, u, 5
Let n = -519.507 - -2.107. Let j = -517 - n. Sort j, 0.1, -3.
-3, 0.1, j
Let q(r) = r**3 - 3*r - 2. Let l be q(-2). Let s = -79 + 155. Let w = s - 74. Sort -2, l, 22, w in decreasing order.
22, w, -2, l
Suppose -5*b + 20 - 60 = 0. Suppose 5*a + 20 = -5*m, -10*a + 7*a - 16 = 5*m. Sort -1, 4, a, b in decreasing order.
4, -1, a, b
Suppose -242*z + 205 = -283*z. Suppose -3*h + 4*v - 57 = -0*h, 2*h + 36 = 2*v. Sort h, -1, z, 1 in descending order.
1, -1, z, h
Let g be ((7 - 14)*-5)/((-20)/(-8) + 0). Sort -2, 3, g, -1 in decreasing order.
g, 3, -1, -2
Let f = 31727 - 31731. Suppose 0 = -0*k - k. Sort -2, k, 2, f in descending order.
2, k, -2, f
Suppose -199*x + 155*x = -2684. Let m = 148 - 102. Let g = m - x. Sort g, 2, -4.
g, -4, 2
Let y(s) = -100*s + 1704. Let n be y(17). Let q(d) = -d**3 - 4*d**2 + d + 4. Let l be (-30)/7 + (-4)/(-14). Let u be q(l). Sort u, n, 3.
u, 3, n
Let j(z) = 2*z**2 + 61*z + 31. Let n = -348 + 318. Let g be j(n). Let i = 33.8 + -3.8. Sort i, -2, g.
-2, g, i
Let w = 16360 - 16257. Sort -2, -0.04, w.
-2, -0.04, w
Suppose -5*h = 2*b + 11, 3*b + 11 = -5*h + 3*h. Suppose -162 - 390 = 491*g + 4358. Put b, g, 3, -4 in ascending order.
g, -4, b, 3
Let w be 53/(-9) - -2 - (-28 - -25). Sort -0.5, w, 6/13, -5/6 in ascending order.
w, -5/6, -0.5, 6/13
Suppose 5*h + 3 = s, 0*s + 4*h + 44 = 4*s. Suppose 5*g - s*g - 64 = 0. Put -4, -5, g, -2 in descending order.
-2, -4, -5, g
Let r = -0.02842 + -1.97158. Sort 8, r, -52, 0 in descending order.
8, 0, r, -52
Suppose -19*a = -198*a - 358. Sort 3, 4, a, -6, -1 in increasing order.
-6, a, -1, 3, 4
Let i(b) = 2*b - 2. Let t be i(-2). Let h(n) = -n**3 + 121*n**2 - 330*n + 10948. Let f be h(119). Sort t, 5, -5, f in decreasing order.
5, f, -5, t
Suppose n = 4*m - 128 + 224, -2*n - 3*m = -258. Sort 1, -2, n in increasing order.
-2, 1, n
Let q = 120.07 + -123.07. Let t = -242/95 - -13/5. Sort 4, q, t in increasing order.
q, t, 4
Let g be (4/(-6))/(1/(-3)). Let l(p) = 6*p + 13. Let w be l(-3). Let y be 4 - (2/(-1) + (-2 - w)). Sort y, g, -5 in decreasing order.
y, g, -5
Let k = -14957 - -14910. Put -2, 0, k in increasing order.
k, -2, 0
Let o be (-234)/104 + -9*9. Suppose 4*j - 3*x + x - 336 = 0, 170 = 2*j - 2*x. Let r = j + o. Sort 0.1, -2, r in decreasing order.
0.1, r, -2
Suppose 0 = 3*y + 4*n + 67, -y + 0*y - 21 = n. Suppose 2*o - 1 = 3*g, 0 = -151*o + 148*o + 6. Put y, g, -5 in increasing order.
y, -5, g
Suppose -15*n - 2 = 22*n - 39*n. Put -3, -13, n, 2 in decreasing order.
2, n, -3, -13
Suppose 3*j = -5*d - 34, 2*d + d + 4*j + 27 = 0. Suppose -435 = 15*s - 20*s. Suppose s = -4*r + 15. Put d, r, -4 in decreasing order.
-4, d, r
Let r be (-12)/2 + 8088/1347. Let t = r - -848/11225. Sort 6, t, -1/5, -0.5.
-0.5, -1/5, t, 6
Let z = 253/4 + -323/4. Put -0.5, z, -5, 0.3 in decreasing order.
0.3, -0.5, -5, z
Suppose 6 = -3*s + 5*s. Let y = -1.5 - -5.5. Sort -1, y, s, 0.06 in ascending order.
-1, 0.06, s, y
Let n = -8.2186 - -0.3856. Let r = -0.067 + n. Let a = 7.5 + r. Put -1/11, 0.4, a in increasing order.
a, -1/11, 0.4
Let a = -7.99 - -8. Let c = -176 - -238. Let h = 61 - c. Sort -0.4, h, a, 1 in ascending order.
h, -0.4, a, 1
Let x = 121.47 - 121.17. Suppose -29 = -d + 5*k, 2*d = -k - 2 + 5. Put x, 0.5, 15, d in increasing order.
x, 0.5, d, 15
Suppose -84 = -8*g - 20. Let m be (-9 + 13)*2/g. Sort m, 0, 3/4, -20 in decreasing order.
m, 3/4, 0, -20
Suppose 2*w - 2*l = 6, 2*l - 12 = 4*w - 14. Put 4, w, 88 in decreasing order.
88, 4, w
Suppose -v = -3*q - 40, 0 = q - 5*v - 6 - 4. Let h be ((-81)/q + -5)/((-2)/(-10)). Let m(y) = 2*y**2 + 2*y - 7. Let d be m(h). Sort 7, -1, d.
-1, d, 7
Let x = 0.1 + -10.1. Let s = x - -11. Let j be ((-9)/(-36))/(3*2/(-8)). Sort -1/7, s, j.
j, -1/7, s
Suppose 7 = 4*f + s, -f + 4*s - 7 = 4. Let p be -2 + (4 - f) + 0. Let k = 3 + 1. Sort k, -3, p, -5.
-5, -3, p, k
Let b(n) = -182*n - 8556. Let a be b(-47). Sort -32, -4, -3, a, 0 in increasing order.
-32, -4, -3, a, 0
Let u = 2.2552 - 1.7552. Sort -220, u, 1/3.
-220, 1/3, u
Suppose -f - 11*v + 12*v = 3, -4*v = -3*f - 15. Let i = -16 - -22. Let r(y) = -y**3 + 6*y**2 - 3. Let q be r(i). Put 5, q, f, 1 in decreasing order.
5, f, 1, q
Suppose -2*m - 4*y + 10 = 2, 5 = 2*m + y. Suppose 6*z = 2*z - m*n, -4*z - 5*n + 12 = 0. Sort 5, 2, z, 3 in descending order.
5, 3, 2, z
Let j = -2.5 - -20.5. Let s = j - 14. Let f = -15.1 - -15. Put -1/8, s, f in descending order.
s, f, -1/8
Suppose 556 = 5*i - 4*i + 4*w, 3*i = w + 1642. Let l = -549 + i. Sort -0.5, -0.2, l, 26 in ascending order.
l, -0.5, -0.2, 26
Let m = 16524 - 16518. Sort -2, 1, 0, 569, m.
-2, 0, 1, m, 569
Let l = -164 - 180. Let w = -349 - l. Sort -34, 4, w.
-34, w, 4
Suppose -75 + 141 = b + 10*b. Let a = -11 - -9. Put a, 22, 4/9, b in increasing order.
a, 4/9, b, 22
Let k be 7*1/(-15) - (15 + (-237)/15). Put 3/5, k, 2/9, -0.3, -0.62 in descending order.
3/5, k, 2/9, -0.3, -0.62
Suppose 0 = -9*n - 8*n + 68. Let g = -234 + 230. Put -5, -0.4, n, g in ascending order.
-5, g, -0.4, n
Suppose -4*f - 2*p = -20, -4*f + 10*p + 24 = 13*p. Put -6, 18, f, 2 in descending order.
18, f, 2, -6
Suppose 5*d - 7 - 93 = -5*i, -4*i - d = -74. Suppose 4*w - i = w. Suppose 17*g - 32 = 14*g - 5*z, -4*z = -3*g - 4. Sort g, 0.4, w in ascending order.
0.4, g, w
Suppose 125 - 120 = -5*o. Let p = o - 3. Let x be (1*-2 - p)*6/(-30). Sort 0.2, 3/5, x, -3 in descending order.
3/5, 0.2, x, -3
Suppose 4*a = 4*d - 220, 19*d = 17*d + 8. Let k = 167 + -162. Put k, 1, a in increasing order.
a, 1, k
Let l = 806.847 + -807. Sort 3, -3/5, l in decreasing order.
3, l, -3/5
Let k be (3 - 2)*(-6 + 9). Let a be k - (-1 - (-3 + (-16)/(-4))). Let q = 0.02 + -3.02. Sort a, q, 1, 0.1.
q, 0.1, 1, a
Suppose -244*d = -233*d + 11. Suppose 51*h = 46*h. Put h, -2, d in increasing order.
-2, d, h
Let x = 25/164 + 3/2132. Put x, 0, 5, 3 in descending order.
5, 3, x, 0
Let t(g) = g**2 + g + 1. Let f(k) = -7*k - 2. Let u(d) = -f(d) + t(d). Let c be u(-6). Let l be -2 + -1