order.
d, 0, -0.3
Let n = -816 - -807. Sort n, -21, 3.
-21, n, 3
Let m(x) = -111*x - 166. Let w be m(-2). Sort -1/9, -0.7, 0, w in increasing order.
-0.7, -1/9, 0, w
Let c = 0.0227 + -0.3227. Put -2/9, c, 12 in decreasing order.
12, -2/9, c
Suppose -11 - 61 = 24*c. Sort -2, c, -5.
-5, c, -2
Suppose 13 - 22 = -3*s. Let b = s + 1. Sort b, -0.4, 3.
-0.4, 3, b
Suppose -i - 3*y + 317 = 0, -116*i + 121*i = y + 1569. Sort 2/13, -1/4, i.
-1/4, 2/13, i
Let p = -34 + 34. Let b = -1.5 - -1.3. Put p, b, 4 in decreasing order.
4, p, b
Let k = -27 + -99. Sort k, -4, 0 in descending order.
0, -4, k
Let g = 0.38 + 0.02. Let d = -10355 + 10359. Sort g, d, 21 in descending order.
21, d, g
Let d = -640 + 641. Sort d, 3, -1, -0.3 in decreasing order.
3, d, -0.3, -1
Let b(i) = -20*i - 23. Let k be b(-8). Let y = k + -689/5. Sort 0.1, y, -2/9, -0.4.
y, -0.4, -2/9, 0.1
Let i = 20.632 + -2.562. Let n = i - 18. Let z = n - -4.93. Put 0.1, 2, z in decreasing order.
z, 2, 0.1
Let x = -235.8 + 236. Sort x, -5/4, 4/27 in ascending order.
-5/4, 4/27, x
Let j = -909 - -905. Sort j, -69, 4, -2 in ascending order.
-69, j, -2, 4
Let w be 2/((-9)/(54/(-4))). Suppose 0 = w*x - 39 - 45. Suppose l + 5*p - x = 0, 0 = 4*l - 3*p + p - 2. Sort -2, l, -5.
-5, -2, l
Let w = 0.98 - 0.9. Let g = -0.2 - w. Let i = -0.08 - g. Put i, 12, -2/17 in increasing order.
-2/17, i, 12
Let c = -2 + 2. Let u be -2 + (20/(-8))/(-5). Let v = -285 - -287. Sort v, u, c.
u, c, v
Let l be 5 + -2 - 30/2. Let r be (-6)/l - 6/(-4). Let v be (6/(-5))/((-3)/10). Put v, 3, r in descending order.
v, 3, r
Suppose -m - 2*t + 0*t - 5 = 0, 0 = -2*m + 2*t + 14. Suppose g - m*d + 13 = 3*g, 3*d = 4*g + 1. Suppose y - g = -4. Put -2/13, -0.2, y in descending order.
-2/13, -0.2, y
Let g = -1 + -2. Let v(w) = -w + 7. Suppose 8*x = 34 + 14. Let l be v(x). Sort g, l, -5 in increasing order.
-5, g, l
Let c = 334 + -336. Put 0, 2, 0.04, c in increasing order.
c, 0, 0.04, 2
Let h be -2 - 6/54*9. Sort h, 5, 4, -1.
h, -1, 4, 5
Let i be (3/(-304))/((-7)/(98/21)). Let z = -301/456 - i. Put z, -1/4, 0.5 in descending order.
0.5, -1/4, z
Let z = -9.3 - -6.4. Let x = z - -3.3. Suppose 2*t - t + 1 = 0. Sort -4, t, x in increasing order.
-4, t, x
Suppose -2*l + 3*p - 5 = 0, 3*l + p = 2*p + 10. Suppose 0 = 57*o - 53*o. Put -3, o, l in decreasing order.
l, o, -3
Let f(c) = 5*c**3 + 5*c**2 + c + 7. Let u(d) = -9*d**3 - 10*d**2 - d - 13. Let g(y) = -11*f(y) - 6*u(y). Let s be g(2). Sort s, -5, 1 in descending order.
s, 1, -5
Let x = 14 + -6. Let p = x - 6. Let w be (-3)/p*(-8)/(-6). Put 4, w, -4 in ascending order.
-4, w, 4
Suppose 2*w = 6*w - 16. Let j(x) = -x**3 + 5*x**2 - 5*x + 2. Let i be j(w). Suppose -12*g + 8*g = 3*y - 17, 2*g - 5*y = -11. Sort i, g, -5 in increasing order.
-5, i, g
Let r = 2365 + -2370. Let g be (-1)/5 + (-51)/(-5). Sort g, r, 1 in decreasing order.
g, 1, r
Let q = 1.3 - 1.5. Let a = -2 + 3. Suppose -2*n + n = -a. Sort n, 2, q.
q, n, 2
Let x(b) = 2*b - 8. Let f be x(18). Let a = f + -30. Suppose 8 + 12 = 4*c + 4*m, -3*c - 2*m + 15 = 0. Put c, a, 2 in ascending order.
a, 2, c
Suppose 4*f = 4*l + 12, 0 = -5*l - 0*l + f - 19. Sort l, 0, -9, -7.
-9, -7, l, 0
Suppose 0 = 2*b + 3 + 7. Let g = -437 + 435. Let u be 5 + -1 - (-3 + 3). Put b, u, g in descending order.
u, g, b
Let t = -84 + 90. Let w(r) = r**3 - 6*r**2 + 3*r - 14. Let i be w(t). Sort 1, i, 10 in decreasing order.
10, i, 1
Let i(f) = f**3 + 10*f**2 - f - 37. Let x be i(-11). Let m be (-2 - -5)*14/x. Sort m, 28, 2.
m, 2, 28
Suppose -l - 4*y = 8, 3*l - 9*y + 10*y + 2 = 0. Let b = 28.1 + -27. Put b, 0.4, -0.2, l in descending order.
b, 0.4, l, -0.2
Let u(o) = -2*o**2 + 25*o + 34. Let j be u(14). Suppose 4*n - k = -5*k + 8, 4*n - 4*k = -8. Sort j, n, 1.
j, n, 1
Let a be (-66)/18 + 2/(-6). Let u = 22 + -17. Suppose 0 = 3*q - 8*q - u. Sort 3, a, q in ascending order.
a, q, 3
Let u be 15/((-945)/18) - 2/(-7). Sort u, 0.2, -10/33, 3 in decreasing order.
3, 0.2, u, -10/33
Let v(n) = -7*n + 45. Let c be v(7). Sort -2, 1, 5, c.
c, -2, 1, 5
Suppose -5 = z - 2. Sort z, 6, -9 in decreasing order.
6, z, -9
Let m = 5 - -2. Sort 5, m, -2, 3 in descending order.
m, 5, 3, -2
Let h(g) = -g**3 - 38*g**2 - 76*g - 142. Let m be h(-36). Let w = 3 + -2. Suppose 4*k = -w - 19. Sort 0, k, m.
k, 0, m
Let a = 0.0029 + 0.3971. Suppose -3*u = 5*x + 9 + 19, -51 = 5*u + 4*x. Let v = 8 + u. Put a, v, 3 in decreasing order.
3, a, v
Let h be ((-4)/8)/((-2)/(-8)). Suppose 4*k = -u + 12 + 1, -3*k = -4*u - 5. Sort h, k, 37 in descending order.
37, k, h
Let z be ((-4)/24 - 0) + 23/(-6). Let o = 0.1 + -0.7. Let x = -2.6 - o. Sort 2/3, x, z in ascending order.
z, x, 2/3
Let u = 129 + -254. Let a = u + 501/4. Put 0.5, -3, 1, a in descending order.
1, 0.5, a, -3
Suppose -5*j + 115 = -4*o - o, -4*j + 85 = 3*o. Sort j, 0.5, 1 in decreasing order.
j, 1, 0.5
Let y be (19 + -19)*1/3. Suppose 2*v + 2*s = -4, -5*v + 0 = 2*s + 13. Sort -2, v, y in ascending order.
v, -2, y
Let m be (1/10)/(10/(-75)). Let u = 80 - 83. Put m, 0.2, u in descending order.
0.2, m, u
Let y = -0.09 - 0.11. Let v = 16.2 - 16. Let p = v - 5.2. Sort p, y, 4 in decreasing order.
4, y, p
Let u be (-78)/144 + 2 + 68/(-32). Let c = 0 + 2. Sort u, 1/5, c in decreasing order.
c, 1/5, u
Let f = 0.039 + 0.201. Let z = f - 1.24. Let q = 2 - 4. Sort 5, q, z in ascending order.
q, z, 5
Suppose 12*f = 9*f + 2*w + 6, -2 = -f - 3*w. Put 43, 5, 0, f in decreasing order.
43, 5, f, 0
Let k(o) = -2*o**3 + 16*o**2 - 2*o + 19. Let t be k(8). Let v(n) = -n**3 + 3*n**2 - n - 1. Let l be v(t). Sort l, -3, 0, 4 in ascending order.
l, -3, 0, 4
Let h be (4/(-10))/((-1)/10). Suppose 2945*n - 2935*n = -50. Sort n, 2, h.
n, 2, h
Let c = 267/7 - 39. Sort c, -0.5, -3/14 in descending order.
-3/14, -0.5, c
Let t(f) = -f + 4. Let j = 27 + -22. Let q be t(j). Put 2, -4, q in increasing order.
-4, q, 2
Let o(y) = 28*y + 1038. Let x be o(-37). Let u(i) = i**2 + 3*i - 6. Let c be u(-5). Suppose -f = c*f. Sort -4, f, x in ascending order.
-4, f, x
Let a be (16/(-12))/((-56)/24*2). Sort -3, -1/3, a, 3/7 in decreasing order.
3/7, a, -1/3, -3
Let c = 18 + -13. Let u(h) = -h**2 - 16*h + 38. Let q be u(2). Sort -5, q, 4, c in increasing order.
-5, q, 4, c
Suppose c - 75 = 5*r, -r - 4*r - 255 = -4*c. Let l be (c/(-18) - -3) + (-26)/(-6). Let x = -3 + 4. Put x, l, -4 in decreasing order.
l, x, -4
Let a be 5 + 0 - (1 - 0). Let f be ((-126)/(-12) + -10)/(2*(-2)/104). Sort a, -4, f in descending order.
a, -4, f
Let j be 2*-1 - (14 - 20). Suppose -j*b = -5*u + 86, -3*b + 21 = -2*u + 3*u. Suppose 3*d + 2*d + 3*s = -25, -4*s = -d + u. Sort 8, d, 2/3 in descending order.
8, 2/3, d
Let n = -800 + 805. Let t = -14 + 20. Sort 2, n, t in decreasing order.
t, n, 2
Let d = 5.84 - 6. Let h = 0.06 + d. Let u = 38 + -33. Put u, h, 1 in descending order.
u, 1, h
Let q = 17 + -12. Let u = -41/196 + -2/49. Sort q, u, -0.1 in increasing order.
u, -0.1, q
Let p be (6/(-12))/(3*(-4)/1296). Put p, 0, -4 in descending order.
p, 0, -4
Let q = 0.196 + -4.196. Sort 23, -3, q, -1/2 in descending order.
23, -1/2, -3, q
Let k = -202/9 - -1028/45. Sort k, -3/5, 1 in ascending order.
-3/5, k, 1
Suppose 0 + 0 = -13*r. Sort -15, r, 4 in descending order.
4, r, -15
Let o be (-5 - -3) + 11 - 4. Let k be ((-1)/(-2))/(-3 + 1). Put o, k, 0.1 in decreasing order.
o, 0.1, k
Let r(g) = -2*g**2 - 21*g - 9. Let a be r(-10). Let i = -5 - -3. Sort i, a, -1.
i, -1, a
Suppose -2*i = -4*s - 0*i - 4, 4*i = 2*s - 4. Let y be 14/(-49) + 3/(21/44). Let b(v) = 5*v - 27. Let w be b(y). Sort w, s, -1 in increasing order.
s, -1, w
Let v be -1 + (-4 - 0) - -5. Suppose v = -2*x + x - h + 4, -x + 8 = -3*h. Put x, 4, 2 in increasing order.
2, 4, x
Suppose -3*j + 2 = -2*j, 2*j = -5*u + 34. Suppose -2*a = -u*a. Suppose a = 4*z - 2*z. Sort 2/5, z, -0.3.
-0.3, z, 2/5
Let x = 6 + -1. Suppose i + j = -9, -25 = x*i + 5*j - 4*j. Put -6, 3, i in increasing order.
-6, i, 3
Suppose 17*b - 8 + 25 = 0. Let v = 2 + -2. Let j be 10/2*(-1 - v). Sort b, j, 1 in ascending order.
j, b, 1
Let h(k) be the second derivative of -k**4/12 - 7*k**3/6 + 6*k**2 - 39*k. Let g be h(-8). Sort -10, g, -5, -2.
-10, -5, -2, g
Let d = 941.8 - 944. Sort -12, d, 0.5, 2 in ascending order.
-12, d, 0.5, 2
Let n = -3 + 3.2. Let u = -90.84 - -98.84. Sort n, u, 2/7, -0.1 in desce