 Let c be 2/(-3) + g/(-165) + 4. Sort 8, -4, c.
-4, c, 8
Let w(s) = 5*s**2 + 22*s - 26. Let d(l) = -2*l**2 - 7*l + 9. Let b(z) = -8*d(z) - 3*w(z). Let q be b(12). Suppose 3*t + q = -3*t. Sort t, -4, 1.
t, -4, 1
Let j(f) = -f**3 + 15*f**2 - 4. Suppose 11*t = 15*t - 60. Let u be j(t). Let h be 4 + u + (-12)/9. Sort -4, 3/7, h in descending order.
3/7, h, -4
Let i = 2.06 - 2.36. Put i, -5, 33 in descending order.
33, i, -5
Let g be (-166)/(-8) + (-7)/(-28). Let s be 8/4 + 2 + g. Let i = s - 20. Put i, 3, -2 in decreasing order.
i, 3, -2
Let x = -259/2860 - -3/220. Sort 0.2, x, -0.3 in ascending order.
-0.3, x, 0.2
Let c = 1 + -31. Let t be c/(-20)*4/3. Let z = 2 - 2. Put -1, t, z in descending order.
t, z, -1
Let l be 2/26 - ((-105)/(-13) + -8). Sort 7, l, 8 in increasing order.
l, 7, 8
Suppose 20 + 142 = -t. Let g be (-4)/(-10) - t/45. Put -2/3, g, -0.2, -0.5 in descending order.
g, -0.2, -0.5, -2/3
Let b be (-8 + 136/16)*(-298 + -6). Put -3, -5, 0, b in descending order.
0, -3, -5, b
Let j = 452 - 443. Sort 1, 0, 3, j.
0, 1, 3, j
Let d be -6 + (1 - 0)*1. Let a = -44.62 + 0.62. Let j = -44.5 - a. Sort 2, j, d.
d, j, 2
Let v be (-4)/18 + 100/126. Suppose -2*t - 9 = -4*r - 7, -5*r - 3*t = 3. Sort r, v, -0.4.
-0.4, r, v
Suppose 3*c - 31 = -5*r, r + 3 = c + 6. Let m(y) = y**2 - 5*y + 1. Let d be m(r). Suppose 2*o = -d + 9. Sort 2, -3, o in decreasing order.
o, 2, -3
Let c = -25 + 23. Let g be 64/12 + 4/6. Let k(w) = w**2 - 7*w - 2. Let h be k(g). Put -5, h, c in ascending order.
h, -5, c
Let v be 108/10 + 10/50. Put -2, 0, -16, v in decreasing order.
v, 0, -2, -16
Let s = -2 - -1. Let y = -2.24 - -3.34. Let o = y + s. Put o, -1/3, -0.01 in descending order.
o, -0.01, -1/3
Let b = 450 - 1351/3. Put 1, b, 20/7 in descending order.
20/7, 1, b
Let u = 5 + -3. Let o = -1 - -2. Suppose 0 = m - 4*i - 39 + 32, 2 = 2*m - 4*i. Put m, o, u in ascending order.
m, o, u
Let m be (0 + 2)*(3 + -1). Let j(k) = 2*k**2 + 2*k - 10. Let o be j(2). Sort m, o, 12.
o, m, 12
Let k = 2.656 + 0.344. Put k, -19, 1/3, 0.2 in ascending order.
-19, 0.2, 1/3, k
Let c = 2194/7 - 314. Suppose 0 = 2*a - 6*a - 40. Put c, a, -2, 0 in increasing order.
a, -2, c, 0
Let s be (((-12)/26)/(-3))/((-18)/(-117)). Let x be ((-2)/(-5))/(2/(-10)). Sort x, s, 2 in decreasing order.
2, s, x
Let a = -3.96 - -3.9. Put -4/5, -5, a, -1 in ascending order.
-5, -1, -4/5, a
Let z = -3 - 0. Suppose 0 = -a + 3*o + 27, a + 5*o - 10*o = 35. Sort a, 0, z in increasing order.
z, 0, a
Suppose 0 = -5*z + 4*g - 6, 8*g - 3*g + 1 = 2*z. Let a(v) = 45*v - 103. Let m be a(2). Sort m, z, 1 in descending order.
1, z, m
Let f = -119.4 - -119.5. Put f, 21, 1, -0.4 in increasing order.
-0.4, f, 1, 21
Let w = -22 - -28. Let c be 4/32 - (-51)/(-24). Put c, w, -4 in increasing order.
-4, c, w
Let s = -31541 - -31542. Let j = 8 - 5. Sort j, s, 0, -6.
-6, 0, s, j
Suppose -29*w - 8 = -33*w. Put 22, -3, w in ascending order.
-3, w, 22
Let n = 2377.49 - 2368. Let c = 0.51 + n. Let p = 11 - 6. Sort c, p, 1 in decreasing order.
c, p, 1
Let c be (9 + -6 + -11)*-1. Suppose c = -3*k + 3*f + f, 2*f = 4*k + 14. Suppose -2*i + 4*i - 4 = 0. Sort -3, i, k in decreasing order.
i, -3, k
Let b be 4/2 - (-80)/(-55). Put 5, 3, b in descending order.
5, 3, b
Let t(d) = -2*d**2 + d + 1. Let w be t(2). Let m = w - -10. Suppose -m = 4*i - 3*i. Sort -4, 0, i in descending order.
0, -4, i
Let b = 1470 + -1472. Sort -5, 5, -44, b in decreasing order.
5, b, -5, -44
Let g(i) = -2*i + 5. Let r be g(6). Let o = r + -3. Let u be o/(-4)*(-54)/(-45). Put 0.1, -1, u in ascending order.
-1, 0.1, u
Let d = 2.06 - 0.06. Let a = 66 + -61. Let r = a - d. Put 4/7, r, 0.2 in increasing order.
0.2, 4/7, r
Let m be 54 - 59 - (-74)/14. Let s = 0.01 + -1.01. Sort 1, m, s, 2 in descending order.
2, 1, m, s
Let g(v) = 13*v + 74. Let u be g(-6). Sort u, -7, -6 in descending order.
u, -6, -7
Let g(s) = s**3 - 43*s**2 + 184*s + 32. Let p be g(5). Let x = 0.1 + 0.1. Sort 0.4, x, p, 3 in descending order.
3, p, 0.4, x
Let s = -2.0087 + 0.0087. Sort 0.4, 2/27, -3/5, s in descending order.
0.4, 2/27, -3/5, s
Let r be 0/4*1/(-2). Let y(j) = -j**3 - j**2 + 2*j - 3. Let t be y(r). Sort 0, t, -2, 3 in ascending order.
t, -2, 0, 3
Let p = -1028 + 1037. Sort -0.3, 4, -1, p in increasing order.
-1, -0.3, 4, p
Suppose 4 = 2*r + 14, -4*c + 5 = -r. Suppose -6 = 3*l, -4*u + 13 = -4*l - 7. Let t be ((-12)/(-30))/(24/(-45)*u). Put c, t, 3/2 in increasing order.
t, c, 3/2
Let r(x) = 2*x**2 - 2*x + 2. Let h be r(2). Let w be h/6 + (-18)/15. Sort 6, w, -3 in descending order.
6, w, -3
Let g = -64 + 120. Let j = g - 56.03. Sort 0.1, 3, j, 0 in ascending order.
j, 0, 0.1, 3
Let w = 16 + -54. Let g = w + 35. Put g, 4, -1 in increasing order.
g, -1, 4
Let g = -0.06 - -4.06. Let t be -2*(33/(-6) + 4). Suppose 0 = t*u - 2*u - 5. Sort g, u, -2/17 in decreasing order.
u, g, -2/17
Let k = 1539 - 1535. Sort 3, k, -17, -5.
-17, -5, 3, k
Let b = -778 - -779. Sort b, 2, 12.
b, 2, 12
Let d = 1 + -3. Suppose -x - 87 = -0*x. Let s = -91 - x. Put d, s, -3/2 in decreasing order.
-3/2, d, s
Suppose -3*b + 5*b = -12. Let z = 10 + b. Sort 0.5, 1, -1/3, z in descending order.
z, 1, 0.5, -1/3
Let h(x) = -2*x - 17. Let n be h(-10). Suppose 2*u + 5 = -n*u. Suppose -4 = -3*d - 0*q - 4*q, -5*d - 4*q = 4. Put d, -8, u in descending order.
u, d, -8
Suppose -2*u = 2*u - 12, -5*u = 5*h - 20. Suppose 5*v - 7*q + 6*q = -25, 3*q - 35 = 5*v. Put h, 0, v in ascending order.
v, 0, h
Let t(v) = -2*v - 20. Let i be t(-9). Let d be (-2)/i + 14 - -4. Let g = d + -15. Sort -1, 0, g in decreasing order.
g, 0, -1
Suppose 10*v - 7*v = 309. Let p = -1753/17 + v. Put p, -0.2, 1 in increasing order.
-0.2, p, 1
Let t = 7 - 9. Suppose 3*b - 33 = 27. Let u be 16/b + 34/(-5). Put u, t, -5 in increasing order.
u, -5, t
Suppose 0 = 3*m + 3*o - 12, 21*m + 5*o = 17*m + 19. Put m, 0.11, -5, -2 in descending order.
m, 0.11, -2, -5
Let t(o) = 6*o**3 - 2*o - 2. Let u be t(-1). Let q = -16 + u. Put 4, q, -1 in decreasing order.
4, -1, q
Let i = -36 + 34. Let k be i + ((-24)/(-2))/2. Suppose k*q + 15 - 3 = 0. Put 1, q, -4 in descending order.
1, q, -4
Suppose 2*t = t - 3*s + 10, 3*t + s = -10. Let c(o) be the first derivative of -o**2/2 + 30*o + 32. Let d be c(27). Put d, -3, t in ascending order.
t, -3, d
Let v = 189 - 189.36. Sort v, 4, -2 in increasing order.
-2, v, 4
Let x = -384 - -383. Put 4, x, -0.3, 2/5 in decreasing order.
4, 2/5, -0.3, x
Let o = 100 - 102. Suppose -12 = 4*x + 16. Sort -3, o, x in decreasing order.
o, -3, x
Let b be 171/(-36) - 5/20. Suppose -4*l = -l. Sort -1, l, b, 2.
b, -1, l, 2
Let n(o) = 2*o - 10. Let l be n(7). Let y = -0.0313 - -0.1313. Sort y, -1/5, 0.2, l in ascending order.
-1/5, y, 0.2, l
Suppose 0 = -5*v - 5*k - 50, -290*k + 289*k - 5 = 0. Suppose 18 = -2*r + 2. Let p be ((-12)/16)/((-2)/r). Sort p, -2, v in ascending order.
v, p, -2
Suppose -2*m = -2, 3*a + 3*m + 3 + 3 = 0. Suppose -11*c - 2*c = 2*c. Sort 4, 3, a, c.
a, c, 3, 4
Let y be 135/(-1350) + (-1)/5*7. Put y, -4, 5 in increasing order.
-4, y, 5
Let v = 506 - 557. Put -4, v, -2, -3 in ascending order.
v, -4, -3, -2
Let l = 7 + -11. Let y = 2.6 + -20.6. Let p = y - -17. Put 0.04, l, p in decreasing order.
0.04, p, l
Let g be ((-4)/5)/((-68)/(-170)). Sort 3, g, 13 in decreasing order.
13, 3, g
Suppose 0 = -3*z + 2*y + 16, -z - 2*y = 2*y + 18. Suppose -8*q = -z*q - 18. Sort 1, -5, q.
-5, 1, q
Suppose 0 = -2*m + w - 8 + 2, -4*w + 4 = -3*m. Sort 6, m, 0, 3 in decreasing order.
6, 3, 0, m
Let p = -55 + 49. Let s = -6.6 - p. Sort s, -3/4, -2/15 in decreasing order.
-2/15, s, -3/4
Let p(f) = -f + 24. Let j be p(22). Let s(q) = q**2 - 3*q + 2. Let a be s(2). Put a, 1, -6, j in descending order.
j, 1, a, -6
Let g(f) = 3*f**2. Let a be g(1). Let d = -5.0241 + 0.0241. Sort a, d, 0.3 in ascending order.
d, 0.3, a
Let x = -0.073 + -0.036. Let n = 2.891 - x. Let i = -0.1 + 0. Put i, n, -0.2 in increasing order.
-0.2, i, n
Suppose 4*o - 5*o + 5 = 0, 5*y = -5*o + 35. Sort 7, y, -30 in decreasing order.
7, y, -30
Let a = 12 + -24. Let j = 545 + -540. Let x(y) = y**3 - y**2 - y. Let u be x(2). Sort a, j, u in increasing order.
a, u, j
Suppose 4*y = -288 + 264. Suppose -3*f + 2 = -4*m, -5*m + 6*f - 3*f = 1. Sort -1, 5, y, m.
y, -1, m, 5
Let d = -857 + 866. Sort 2, d, -3.
-3, 