-5/3
Let s(v) = v**3 + 4*v**2 - 7*v. Let t be s(-5). Let z = 20 - t. Suppose -z = 9*c - 7*c. Sort 4, -1, c.
c, -1, 4
Suppose 34*l - 10 = 29*l. Suppose -2 = p - 0. Let s be 5 + ((-1)/(-1))/(-1). Sort s, l, p in increasing order.
p, l, s
Let u be (-4 - (-57)/18)*(-4)/5. Put u, -0.6, -3/4, 3/4 in descending order.
3/4, u, -0.6, -3/4
Let t = 1756 - 8776/5. Sort -0.2, -1, t, 5/4.
-1, -0.2, t, 5/4
Let a = 364 + -437. Sort a, 1, 4 in descending order.
4, 1, a
Suppose 0 = g - 22 - 2. Let k be (-40)/g + (-2)/6. Sort k, -4, 0 in descending order.
0, k, -4
Let a = 254 + -274. Put a, 5, 9 in decreasing order.
9, 5, a
Suppose -3*t = t + 16. Suppose -8*r = -3*r + 5*i, -i = -3. Sort 0, r, t in increasing order.
t, r, 0
Suppose 0 = -3*h + 3 + 12, -5*m + 90 = -2*h. Put m, -3, -5 in descending order.
m, -3, -5
Let a be -5 + 13/(325/120). Let t be ((-45)/(-48) - 1)*-2. Let s = -1 + -2. Sort a, t, s.
s, a, t
Let t = 5 - 11. Let i be (6/18)/(t/(-4)). Suppose -10*p + 9*p + 3 = 0. Sort p, i, -5.
-5, i, p
Suppose -76*x + 80*x + u = -21, -4*x = -4*u + 16. Let o(h) = -h**3 + h + 2. Let v = 1 - 1. Let k be o(v). Put k, -1, x in decreasing order.
k, -1, x
Suppose -4*u - 7 = -4*j - 3*u, 4*j + 4*u = -8. Suppose 29*m - 195 = -224. Sort j, m, 4, 3.
m, j, 3, 4
Let m be 2 - 1 - 1 - -1. Suppose -89*f + 293 = 115. Sort m, 5, f, -3 in ascending order.
-3, m, f, 5
Let r = -156.7 + 157. Put 1/2, 5/6, 0.15, r in ascending order.
0.15, r, 1/2, 5/6
Let n = 502 - 497. Sort n, 2, 4, 3.
2, 3, 4, n
Suppose -7*b - 57 = -29. Put -5, 9, b in ascending order.
-5, b, 9
Suppose 1 = 7*f + 36. Sort -1, -4, f, 3 in decreasing order.
3, -1, -4, f
Let n = -2.3 + 2.4. Suppose 1 = s + 3. Let m = -37 + 149/4. Sort s, n, m in ascending order.
s, n, m
Let f = 0.063 + -27.563. Let v = f - -28. Let z = 3.986 + 0.014. Put v, -0.05, z in increasing order.
-0.05, v, z
Let i = -2 - -4. Let a(d) = -2*d + 22. Let v be a(11). Sort v, i, -4 in ascending order.
-4, v, i
Let h = 184 - 183. Suppose -v = 5*z + 2*v - 90, -20 = -4*v. Sort z, 5, h in descending order.
z, 5, h
Suppose 29 = 2*j + 5*h, -h = -4*j + 13 + 34. Let w = j + -15. Let i = 11 - 16. Put -4, w, i in ascending order.
i, -4, w
Let b be -1*1/(-1) + -5. Let a(r) = -r**2 + 17*r + 42. Suppose -3 + 0 = t, 2*z - 23 = -5*t. Let v be a(z). Put 5, v, b in ascending order.
b, v, 5
Let u = 216 - 216.3. Sort u, -5, 0.15, 17/4 in decreasing order.
17/4, 0.15, u, -5
Let b = -189 + 190. Let p = 11 - 8. Let s = -1 + p. Sort 3, b, s in increasing order.
b, s, 3
Let u = 207/14 + -4789/322. Put -4, -0.5, u in ascending order.
-4, -0.5, u
Suppose 5*u - 23 = -4*w, 3*u = 5*w - 2 + 1. Let n be 1/(-3)*(u + -2 - 4). Put n, 3, -4 in increasing order.
-4, n, 3
Let m = 190 - 186. Put -12, -8/7, m in ascending order.
-12, -8/7, m
Let o be 3 - 1 - 788/5. Suppose -5*w + 773 = 2*g, -5*w + 0*g + 771 = 4*g. Let u = w + o. Sort 5, -0.4, u.
u, -0.4, 5
Let g = 380.5 + -380. Sort 5, -0.3, g, 1/5 in ascending order.
-0.3, 1/5, g, 5
Let h = -38.7 + -2.3. Let w = h - -41.5. Sort w, -0.5, 1.2 in decreasing order.
1.2, w, -0.5
Let i(p) = 2*p - 35. Let n be i(17). Sort n, 0.2, -22, -0.2 in decreasing order.
0.2, -0.2, n, -22
Let n(m) = 3*m**2 - 20*m + 7. Let q be n(7). Sort q, 5, -4 in descending order.
q, 5, -4
Let d = -6.52 + 6.42. Put -0.2, -20, d in descending order.
d, -0.2, -20
Let x = -6 + 4. Let v = 535 + -539. Put x, -3, v in decreasing order.
x, -3, v
Let b = 426 - 2131/5. Sort -0.03, b, -0.3, 3 in descending order.
3, -0.03, b, -0.3
Suppose -32 = 12*y - 10*y + 3*b, 0 = 4*y + 4*b + 64. Put y, 5, 1 in decreasing order.
5, 1, y
Let r = -9 - -7. Let w be 1 + 1 + (4 - 5). Sort 4, w, 6, r.
r, w, 4, 6
Let t = -29 - -29.4. Let a = 551/8 - 69. Let y = 0.2 - 0.7. Sort a, t, y.
y, a, t
Let p(g) = -5*g - 12. Let l be p(-7). Let w = l - 19. Sort 3, w, -1 in increasing order.
-1, 3, w
Let r(c) = -c - 35. Let o be r(-38). Let g = -10 - -14. Sort 0, g, o.
0, o, g
Let f = -1680.8 - -1681. Put -13, f, -4/3 in decreasing order.
f, -4/3, -13
Let k = -82 - -86. Suppose -2 = -g - 5*t - 10, 2 = -2*g + k*t. Put g, 2, 5 in decreasing order.
5, 2, g
Let p be 4/(-8)*-3 - 1. Suppose 9 - 37 = 7*v. Put p, v, -2/19, 1 in descending order.
1, p, -2/19, v
Suppose -14*t + 8 = -10*t. Let g be 1 + (3 - 2 - t). Suppose -5 = -g*y - y. Put y, -3/4, -2/13 in decreasing order.
y, -2/13, -3/4
Suppose -2*l + 14 = -c + 2, l - 20 = 4*c. Let t be l/14 + -1 + (-99)/(-21). Sort 5, -3, -1, t in increasing order.
-3, -1, t, 5
Suppose -16*b + 6*b + 10 = 0. Suppose 2*o - o - b = 4*a, 0 = 5*o - 4*a - 37. Sort o, 2, -4, 1 in increasing order.
-4, 1, 2, o
Let a = 3/185 - 934/555. Put a, 0.5, -15 in ascending order.
-15, a, 0.5
Let f = -617 + 611. Put 3, -56, f in increasing order.
-56, f, 3
Suppose 32*n - 450 = -37*n - 174. Let p = -0.01 + 2.01. Let y = p + 1. Put y, -1, n in increasing order.
-1, y, n
Let k = -16.6 - -17.6. Sort -1/4, 1/3, -3, k.
-3, -1/4, 1/3, k
Let s be (-2)/(-4)*(-1 - -1). Suppose s*o = -4*o - 4. Suppose 184 = -11*r + 239. Sort r, o, -2.
-2, o, r
Let s = -6.5 - -11.5. Put -0.3, 23, 2, s in increasing order.
-0.3, 2, s, 23
Let l be 29/(-9) + 16/72. Let i = 16 - 17. Put i, 5, l in decreasing order.
5, i, l
Let n = -0.49 - -0.99. Sort 3, 1, n, -2 in descending order.
3, 1, n, -2
Let g = -82 - -78. Let t be 4/(-20) - 4*g/(-20). Sort t, 1, 4 in ascending order.
t, 1, 4
Let a = 6 - 11. Let c(m) = -2*m**2 - 6*m + 5. Let s be c(1). Sort a, s, -11 in descending order.
s, a, -11
Suppose -29*u = 194 + 1401. Sort u, -3, 0 in decreasing order.
0, -3, u
Let p(i) = i - 3. Let k be p(8). Let o(j) = 3*j - 20. Let c be o(7). Sort k, 0, -3, c.
-3, 0, c, k
Suppose 2*d - 23 = 5*s - 3, 3*s + 16 = 2*d. Sort -1, 16, d, 1 in decreasing order.
16, d, 1, -1
Let h = 489 + -486. Let c = -1 - -1. Suppose c = -w + 6*w - 5. Put w, -1, h in descending order.
h, w, -1
Suppose 8 = 3*r - 1. Suppose r*k + 5 = -4. Suppose -16 = -4*o - 4*f, f - 4*f + 12 = 2*o. Put -4, o, k in increasing order.
-4, k, o
Let z(a) = -a**3 + 2*a**2 - 1. Let i be z(2). Let f = 147 - 124. Let u = f + -18. Put i, u, 3 in increasing order.
i, 3, u
Let j = 2842.02 - 2842. Let m be (-158)/5 + 8/(-20). Let u be 10/15 + m/39. Sort j, u, -2 in ascending order.
-2, u, j
Let n(c) = -19*c**2 - 189*c + 8. Let k be n(-10). Sort 7, k, -3, -7 in increasing order.
-7, -3, k, 7
Let x = -658.02 + 658. Suppose 3*j + 22 = 3*c + 2*c, -3*j = c - 8. Put x, -0.1, j in ascending order.
-0.1, x, j
Suppose -1 + 7 = t. Suppose -111 + t = 5*l. Let q be (-4)/(-6)*l/(-2). Put -3, 4, q in ascending order.
-3, 4, q
Let b = -10562/11 - -960. Put 0.403, 0.2, b in decreasing order.
0.403, 0.2, b
Let o = -1611/5 - -322. Let j = -6 - -9. Suppose 0*b + 3*b + 3 = -5*m, 5*m - 2*b + 23 = 0. Sort m, j, o in ascending order.
m, o, j
Let s be (1 - (-18)/(-10)) + 0. Let x = 40.36 + -41.36. Sort -0.11, s, 1, x in ascending order.
x, s, -0.11, 1
Let q(k) = -k**2 - 18*k + 40. Let m be q(-20). Put -1, 161, m in decreasing order.
161, m, -1
Let u = -0.734 - -0.234. Suppose -v + 4*j - 77 = -4*v, -2*j - 28 = -2*v. Sort -0.4, v, u in increasing order.
u, -0.4, v
Let c = 11 - 6. Let w(i) = 2*i**2 + 20*i - 146. Let v be w(-15). Sort -4, v, -2, c in decreasing order.
c, v, -2, -4
Suppose 22 = -v + 3*y, 9*v - 2*y = 6*v - 45. Sort -1, -4, v, -3 in increasing order.
v, -4, -3, -1
Let p = 421.2 + -388. Let y = 33 - p. Sort -3, y, 0.3 in descending order.
0.3, y, -3
Let c = 19 + 13. Suppose 0 = 4*k - 4 - c. Let a = k - 8. Put a, 0, -3 in decreasing order.
a, 0, -3
Suppose 24*b - 6 = -30. Let g be (21/35)/(b/(-5)). Let k be -3 + -2*(-2)/4. Sort k, g, -3 in increasing order.
-3, k, g
Let u(o) = -o**3 + 16*o**2 - 33*o + 34. Let t be u(14). Sort 5, t, -4 in decreasing order.
5, -4, t
Let w(y) = -y**2 - 15*y + 3. Let x be w(-15). Let k be 3/3*(0 - x/(-9)). Suppose -2*s - 4*b + 6 = 0, 0 = -5*s + 5*b - 3*b - 33. Sort k, s, 2.
s, k, 2
Let u = 3628/237 - -2/79. Sort -1/2, u, -1.
-1, -1/2, u
Let k(i) = i**2 + 4*i + 1. Let g be k(-2). Suppose -5*t = -4*h + 22 + 14, -t = 2*h - 4. Sort g, 5, t, -5.
-5, t, g, 5
Suppose -15*b = 3*y - 13*b - 32, 2*y = 5*b - 4. Sort 4, y, -4 in decreasing order.
y, 4, -4
Let z = -0.1 - 0. Let k = -26 - -11. Let h = -18 - k. Sort z, h, 0.1.
h, z, 0.1
Let c = -256 + 255. Sort c, -12, 5 in ascending order.
-12, c, 5
Let 