g order.
2, -4, s
Suppose 0 = 5*p - 16 - 4. Suppose -p*k - 18 = 2*g, 3*k + 11 = k - 3*g. Let f = -862/33 - -302/11. Put f, k, 0.2 in descending order.
f, 0.2, k
Let j = 827.5 - 828. Sort -2/11, j, 0.57 in decreasing order.
0.57, -2/11, j
Suppose -4*w + 2*w - w = 0. Put 283, -3, w in descending order.
283, w, -3
Let c be (10 - 4)/(2/(-2)). Let s(x) = -x**2 - 3*x + 6. Let j be s(c). Suppose -6*t = -5*t. Sort j, 3, t in descending order.
3, t, j
Suppose 2*u - 5*u - 3 = s, 0 = 5*u + 6*s - 8. Sort -5, 3, -23, u in decreasing order.
3, u, -5, -23
Let r = -3 + -1. Let b(v) = v**2 + 11*v - 10. Let j be b(-12). Sort -15, r, j in decreasing order.
j, r, -15
Let r = -52/119 + 223/238. Let u = -498 + 3492/7. Sort 3, r, u, -0.2 in ascending order.
-0.2, r, u, 3
Let s be 105/(-14)*2/60*6. Sort s, -145, 3 in increasing order.
-145, s, 3
Let t be (-120)/1155 - 12/(-42). Sort 0.5, t, -2/13.
-2/13, t, 0.5
Let f be (20 + 1)*2/(-3). Let n(w) = -115*w - 578. Let i be n(-5). Put 1, i, f in descending order.
1, i, f
Let s be 1*(-125)/(-10)*12. Let x = 146 - s. Put 4, -6, x in descending order.
4, x, -6
Suppose 10 = -4*t + 6*n - 4*n, n = 5*t + 5. Sort -5, 11, t in decreasing order.
11, t, -5
Let h be -12*3*6/(-72). Suppose a - 2*p - 2 + 3 = 0, 0 = 3*a - 2*p - 17. Let y be 1 - (a/21 + 1). Put -1/3, y, h in increasing order.
y, -1/3, h
Suppose -3*r - 12 = -0*r. Let o = 80 + -80. Sort o, -2, r in descending order.
o, -2, r
Suppose -13 = 2*j - 5. Let l be (4/24)/(j/(-24)). Put -9, l, -4 in decreasing order.
l, -4, -9
Suppose -34*b + 29*b - 15 = 0. Let d be -1*(-3)/b - 9/(-12). Put d, -4, -1/2 in descending order.
d, -1/2, -4
Let k(r) = 6*r**2 - 1. Let s be k(1). Suppose -2*m - x = -35, -4*x + 20 = 2*m - 30. Sort 3, s, m in decreasing order.
m, s, 3
Suppose 4*t - t = 4*z, -4*t - 2*z = -22. Let x(f) = -f**3 + 6*f**2 + 9*f - 19. Suppose 4*b = 8*b - 28. Let i be x(b). Put i, t, 0 in decreasing order.
t, 0, i
Suppose -10*n + 210 = -24*n. Let c be -3 + (35/n)/7 + 3. Let j be (-10)/12 + 1/3. Sort j, 1/7, c in descending order.
1/7, c, j
Let k = 19 + -35/2. Put -9, 5, k in increasing order.
-9, k, 5
Let i = -73 - -73.78. Let c = i + -0.88. Sort c, 0, 46 in descending order.
46, 0, c
Let v be 10/(-8)*4*8/(-5). Put -2, v, -20 in descending order.
v, -2, -20
Suppose -2*n = 3*r + r - 242, -2*n + 3*r = -214. Let x = 117 - n. Put x, -8, 1 in decreasing order.
x, 1, -8
Let l be 3/(-9) + 85/(-15). Sort l, -2, 2, 4 in increasing order.
l, -2, 2, 4
Let i = 3.2 - -6.8. Let v = i - 13. Let t = -8 + 13. Sort t, v, 7 in ascending order.
v, t, 7
Let z(o) = -4*o + 16. Let t be 1*(-1 - 0)*-5. Let u be z(t). Sort -2, 2, 7, u in descending order.
7, 2, -2, u
Suppose 2*g - 10 = 0, 7*g = 3*c + 10*g + 27. Let z = 12 + c. Put 4, z, 3 in decreasing order.
4, 3, z
Let z = 166 + -143.6. Let k = 22 - z. Let u be 48/(-9) - (-6)/(-9). Sort k, -0.5, u in increasing order.
u, -0.5, k
Let x = -39 - -35. Let v = 3 + -9. Let a = v + 0. Sort x, a, -0.3 in decreasing order.
-0.3, x, a
Let p be 960/(-464) + (-8)/(-116). Put 1, -4, p, 727 in ascending order.
-4, p, 1, 727
Let a = -30 + 25. Let l = -4 + 9. Let b = l + a. Sort 5, -4, b in increasing order.
-4, b, 5
Suppose -40*m - 141 = 139. Sort 4, -3, m in increasing order.
m, -3, 4
Let m = -160 - -146. Put m, 4, -4 in decreasing order.
4, -4, m
Let m(q) = -q**2 - 11*q - 8. Let s be m(-9). Suppose -w - s = -6*w. Suppose r = -4*p + 17, r = -w*r - 9. Put -2, 0, p in descending order.
p, 0, -2
Let w = 0.0647 + -1.0647. Sort w, -2/3, -1/3, 0.04 in decreasing order.
0.04, -1/3, -2/3, w
Suppose -254 - 322 = 16*y. Put 2, y, 8 in decreasing order.
8, 2, y
Suppose 47 = -3*j + 4*u, -6*u - 7 = j - 3*u. Put 1, -3, 0, j in ascending order.
j, -3, 0, 1
Let u = 110805209 - 605328854321/5463. Let f = u + -2/607. Sort f, 2, 1, -6 in decreasing order.
2, 1, f, -6
Suppose -3*w + 5*w + 5*v = 24, -w + 14 = 3*v. Let o(n) = -n**2 - 5*n + 11. Let r be o(-7). Put r, -7, w in decreasing order.
w, r, -7
Let r be (-4)/(-6)*(-1 - 2). Suppose 51*x - 5*f = 48*x - 19, -4*x + 3*f - 18 = 0. Put -1, r, x in increasing order.
x, r, -1
Let i(n) = -n - 4. Let t be i(-11). Let b be 2/t - 30/7. Suppose -3 - 1 = -4*y. Sort 5, b, y in increasing order.
b, y, 5
Let y = -2.2 + 2. Let q = 31 - 31. Let o(s) = 3*s - 8. Let f be o(q). Sort f, y, -2/9 in increasing order.
f, -2/9, y
Suppose 0 = -2*f + i - 19, 2*f - 5*i = -0*f - 39. Suppose -4*j = -q - 18, 8*j - 2*q = 6*j + 6. Put j, f, 3 in descending order.
j, 3, f
Let k = 1 + 15. Let m = -11 + k. Let n = 3 - 2. Sort 0.4, m, n in descending order.
m, n, 0.4
Suppose -4*s = -13 - 3. Sort s, -4, -10, -2 in increasing order.
-10, -4, -2, s
Let r be 6/2 - (-5 + 5). Suppose -r*j = 5 - 20. Suppose -4*s + 0*d = -d + 22, -30 = 4*s - j*d. Put -4, s, 0 in increasing order.
s, -4, 0
Let p be 5 + ((-30)/20 - 12/8). Sort -4, p, 0, -11.
-11, -4, 0, p
Let n = 0.13 + -4.13. Let f = -1486.01 + 1486. Put 6/5, n, f in descending order.
6/5, f, n
Let x(k) = k**3 - 6*k**2 - 7*k + 5. Let i be (-21)/(-2)*(-4)/(-6). Let r be x(i). Let m = -2 - 1. Put r, m, -2 in descending order.
r, -2, m
Let a = 133 + -43. Suppose a*k = 95*k. Suppose 0 = -3*c + 6, 3*y - 5*c = -c + 7. Sort k, -4, y in descending order.
y, k, -4
Let v = -12 - -11. Let f(r) = 2*r - 4. Let j be f(10). Suppose 3*o = 2*t + 12, 4*o + 0*o + 3*t = j. Sort o, -2/11, v.
v, -2/11, o
Let f = -5.3 + 5. Let w = -45.2 - -44.8. Sort f, -14, w in increasing order.
-14, w, f
Let u = -1777 - -1774. Let t(s) = -s**3 + s**2. Let c be t(-1). Sort 4, c, u, -5 in decreasing order.
4, c, u, -5
Let z = -17.6 + 18.6. Sort -5, -3, 4/7, z in ascending order.
-5, -3, 4/7, z
Suppose 7 = -5*k + 27. Suppose t = 2*t - 2*i + 11, 3*t - k*i + 27 = 0. Let b(m) = m. Let o be b(-2). Put o, 3, t in ascending order.
t, o, 3
Let c = -580 + 632.8. Let y = c - 40. Let p = 13 - y. Sort p, 6, 0.4 in decreasing order.
6, 0.4, p
Let k(h) = h**2 + 9*h - 1. Let g be k(-10). Suppose -3*a = -a + 5*w - 18, a - 20 = 3*w. Let s be a/2 + -6 + 3. Sort g, 5, s in descending order.
g, 5, s
Let i = -7.9 + 10.9. Sort -1, -1/3, i, -2.7 in ascending order.
-2.7, -1, -1/3, i
Suppose 3*d + 2*d + 26 = -2*h, 3 = -5*h + 3*d. Sort 99, -4, h in ascending order.
-4, h, 99
Let i = -118 - -117.9. Suppose -10 = -2*l, k - 3*l - 2*l + 20 = 0. Let h be -1 + (-3)/(-4 + 3). Sort i, h, k.
i, h, k
Suppose -8*r + 4*r - 5*p - 1 = 0, -13 = r - 3*p. Let w = 35 - 50. Sort -1, w, r.
w, r, -1
Let r(l) = l**3 - 5*l**2 + 6*l - 2. Let t be r(2). Let n be 8/(40/3) - 8/5. Suppose 5 = 5*q + 10, -4*v + q + 13 = 0. Put t, v, n in increasing order.
t, n, v
Let w be (4/5)/(8/40). Suppose b = -w, 5*b + 14 = i - 6. Put -3, i, -0.4 in ascending order.
-3, -0.4, i
Suppose 11 = -i + 17. Suppose 2*x = i*x. Suppose 3*j + 2*p + 16 = x, 0 = 2*p + 3 + 1. Sort -19, j, -1 in increasing order.
-19, j, -1
Let s = 2.95 - -0.05. Let u = 232 - 232.3. Let f = -4/7 - 2/21. Put f, s, u in increasing order.
f, u, s
Suppose 64 = -8*g - 8*g. Sort 5, g, 151 in descending order.
151, 5, g
Let z(q) = -q**2 + 7*q. Let t be z(5). Let k be (3 - (-35)/(-10)) + 81/(-18). Sort k, t, 5, -4 in ascending order.
k, -4, 5, t
Let o = 34.96 + -39. Let p = o - -0.04. Let c = 103/7 + -15. Sort p, c, 4/5.
p, c, 4/5
Let o = 3/56 - 127/280. Sort o, -2, -25, 2/7.
-25, -2, o, 2/7
Let z be 10/(-35) - 3*6/(-63). Suppose 4*b = 1 - 29. Let m be b/4 - 3/12. Sort z, 1, m in decreasing order.
1, z, m
Suppose -3*j = 7*u - 3*u - 66, 5*u = -5*j + 105. Put j, -3/7, -0.6 in increasing order.
-0.6, -3/7, j
Let l = -32 - -129/4. Suppose -o + 0*o = 0. Suppose -w = -o*w + z - 1, 2*z = -3*w + 3. Sort l, 0.2, w.
0.2, l, w
Let z = 0.3 - 2.3. Let u = 3 + -2. Let c = -315/2 - -4099/26. Sort u, z, c in increasing order.
z, c, u
Let m = 0.06 - 2.06. Suppose i + v - 16 = 5*v, 4*v + 8 = -i. Put -5/6, i, m in increasing order.
m, -5/6, i
Suppose q + y = -3*y - 8, 2*y - 32 = -5*q. Suppose 196 + 42 = 119*l. Put q, 5, l in decreasing order.
q, 5, l
Let i(f) = -2*f + 7. Let q(w) = -2*w + 8. Let c(v) = 5*i(v) - 4*q(v). Let o be c(2). Put -2, -5, o in descending order.
o, -2, -5
Let y = 64 + -71. Let f(a) = 0*a**3 + a**3 + 14 + 2*a + 7*a**2 - 5. Let g be f(y). Sort 5, -4, g.
g, -4, 5
Let j = -182 - -182. Put 3, -2, j in ascending order.
-2, j, 3
Suppose 3*d + 2*m - 4 = m, -4*m = 20. Suppos