. Let v be m(2). Let y = v + 663/7. Sort j, 4, y in increasing order.
j, y, 4
Suppose 5*l - 4*y + 260 = 0, -3*l - 4*y + 148 = -6*l. Let m be 0 - l/(-48) - 2/(-12). Let x(c) = -c**2 + 2*c. Let s be x(1). Put 2, s, m in decreasing order.
2, s, m
Let j = 357.4 + -357. Sort -0.1, j, 2.7 in descending order.
2.7, j, -0.1
Let n be (1 - 7)/(-9*12/72). Put n, -3, -6 in descending order.
n, -3, -6
Let q = -2/58809 - 28639975/235236. Let a = 122 + q. Sort 2/3, -4, a in descending order.
2/3, a, -4
Let y = -31 + 55. Let t be (-26)/y - 4/(-3). Put t, -2, 0.3 in descending order.
0.3, t, -2
Let h be ((-1083)/(-2))/3 + 3/(-6). Let i be (-8)/h*-21 + (-1)/3. Let b = -5.6 + 6. Put -1.5, i, b in decreasing order.
i, b, -1.5
Suppose 15*q - 41*q = 52. Suppose 0 = -5*l + f + 14, -l - f = 2*l - 2. Suppose 4 = -l*v - 4. Sort 2, q, v in decreasing order.
2, q, v
Let m(t) = -t**2 + 19*t - 18. Let w be m(18). Suppose 0 = 2*y + n + 6, -y - 1 = -5*n - 9. Sort 1, y, -1, w.
y, -1, w, 1
Let n = -11 + 11. Let y(t) = -t**3 - 12*t**2 - 12*t - 12. Let c be y(-11). Sort n, c, -2.
-2, c, n
Let f be (4 + 230/(-50))*-5. Sort -4, -92, f in decreasing order.
f, -4, -92
Let i = 198 - 252.3. Let k = i - -54. Let p be (-32)/28 - 1*-1. Put p, 0.1, k in descending order.
0.1, p, k
Let t = -701 + 705. Put 0.4, t, 12 in increasing order.
0.4, t, 12
Let h = 1168 - 1164. Put -2/5, h, 1.28 in descending order.
h, 1.28, -2/5
Let o(b) = -2*b - b**2 + 4 - 4*b + b + 0*b**2. Let k be o(-5). Suppose m = a - 2, k*m - 2 + 28 = -5*a. Put -2, m, -5 in decreasing order.
-2, m, -5
Suppose 4*y - 11 = -3*o - 0*y, -4*o = -4*y + 4. Let x = 1108 + -1104. Sort -5, x, -0.3, o in ascending order.
-5, -0.3, o, x
Suppose -2*m - 3 = -c, m - c = -6*c - 7. Let x = 3 + -2. Let u be (-2)/(-7) - (-1 + x). Put u, -1/6, m in decreasing order.
u, -1/6, m
Let f be 1*3*15/9. Suppose -71*x - 130*x - 79 = 323. Sort x, f, 1 in increasing order.
x, 1, f
Suppose 58*c - 53*c = 10. Suppose 5*w - 8 = c. Put 10, w, 1 in increasing order.
1, w, 10
Let k = -6.7 - -6.8. Sort k, 0.2, -3 in descending order.
0.2, k, -3
Let y = -1 + -1. Let i = -18 - -14. Let w be i/3*21/7. Sort -3/2, w, y in ascending order.
w, y, -3/2
Suppose w - 59 = 5*g - 42, -g - 16 = 4*w. Put w, -9, 3 in ascending order.
-9, w, 3
Suppose 4*w = -8 - 12. Let g = -2.1 - -2. Let u = 24 - 32. Sort g, u, w.
u, w, g
Let x = -3 - -8. Suppose 3*k + 1 = -x, 0 = -4*l + 5*k - 2. Let g = -10 + 10. Sort l, g, 1 in increasing order.
l, g, 1
Suppose -4*l = 3*r - 2*l - 13, -r + 9 = -4*l. Suppose 0 = h - 5*p + 15, -34 = -r*h - 3*p + 3. Sort -1, -4, h, 2.
-4, -1, 2, h
Suppose -4*v - 204 = 13*v. Let x = 21 + -26. Sort 5, x, v in ascending order.
v, x, 5
Let f be 81/(-3)*(-4)/(-12). Let g be 9/(f/(-2))*(-6)/3. Put 5, g, -12, 0 in decreasing order.
5, 0, g, -12
Let q = -4.2 + 3.4. Let t = q - -0.2. Let h = 6 - 9. Sort t, 0, h in decreasing order.
0, t, h
Let m = 0.9 + -58.9. Let h = m + 48. Put 0.5, -0.1, h in decreasing order.
0.5, -0.1, h
Let q be ((-7)/14)/(1/(-6)). Let i = 31 + -31. Suppose -k = -i*k - 5. Sort -0.1, q, k in decreasing order.
k, q, -0.1
Suppose -5*w = 2*g - 421 - 10, 3*g - 663 = -2*w. Let i = g + -228. Suppose 4*q - 11 - 1 = 0. Sort q, i, -4 in ascending order.
i, -4, q
Let q = -679 - -688. Sort q, -7, -3, -2 in decreasing order.
q, -2, -3, -7
Let a = -2.09 - -0.09. Let n = a - -3.1. Let f = n - 0.6. Put f, 1/5, 4 in decreasing order.
4, f, 1/5
Suppose -30*s + 17*s + 39 = 0. Put -3, s, -4 in decreasing order.
s, -3, -4
Suppose 4*u = -0 + 16. Suppose -2*r = -5*l + 2*r + 41, -u*l - 5*r = 0. Let b(z) = -z - 7. Let k be b(-2). Put -1, k, l in increasing order.
k, -1, l
Suppose -5*f + 3 + 19 = -3*z, -3*f + 4*z = -22. Suppose 6*v = f*v. Suppose 4*n = r - 9, -2*n + v*n = 4. Sort r, -8, -4.
-8, -4, r
Let p = 8 + -11. Let w = p + 2. Let r be 4/10 + 34/(-10). Put w, 3, r in descending order.
3, w, r
Let x = 15/17 + -58/85. Sort x, 1, 4.4 in ascending order.
x, 1, 4.4
Suppose -4*n - k + 23 = 2, -16 = n - 4*k. Sort -5, -3, -35, n in increasing order.
-35, -5, -3, n
Let t(p) = p**3 + 4*p**2 + 4*p. Let v be t(-4). Let a be 4/v + 5/4. Sort 2, a, -16 in decreasing order.
2, a, -16
Suppose -2*s = -0*s - 6, 0 = 2*o - 3*s - 13. Suppose -o*z = -10*z - 4. Sort -4, z, 3.
-4, 3, z
Let b = -0.48 + 39.48. Let g = b + -35. Sort 0, 7, g in descending order.
7, g, 0
Let n(t) = t**3 + 2*t**2 + 4*t + 2. Let z be n(-1). Let d be ((z - 1)/2)/((-22)/44). Put -2, d, 5 in increasing order.
-2, d, 5
Suppose -3*g = -5*s + 2*s + 6, -3*g - 6 = 4*s. Let x be (-3 - -7)/(-3 + 1). Put s, x, 5 in increasing order.
x, s, 5
Let g = -17.1 - -17.17. Sort 0, -4/3, g, -2 in decreasing order.
g, 0, -4/3, -2
Let o = 136 + -81. Suppose o = 10*x + x. Sort -4, 3, x in decreasing order.
x, 3, -4
Suppose -2*q + 6 = -0*q. Suppose 4*g = -2*a + 4, 0 + 8 = 4*a + g. Sort 5, 0, q, a in descending order.
5, q, a, 0
Let m = 12 + -8. Let w be 62/(-8) - m/16. Let k be (-105)/(-20) + 2/w. Sort 3, k, -5 in decreasing order.
k, 3, -5
Let s = -103 - -99. Let q = 0.2 - 1.2. Let l = 0.9 + q. Sort s, l, -0.2.
s, -0.2, l
Let k(w) = 4*w**2 + 3*w + 2. Let o be k(-2). Let h be 9/o - -1*(-37)/(-4). Suppose -1 + 5 = -4*r. Sort h, r, 5.
r, 5, h
Let o(y) be the third derivative of y**5/30 - y**4/12 - y**3/2 + 4*y**2. Let s be o(4). Let k = 26 - s. Put -2, k, -11 in descending order.
k, -2, -11
Let s = -736 - -734. Sort 2/21, s, 8, 1 in decreasing order.
8, 1, 2/21, s
Suppose -9*m - 4*m + 78 = 0. Sort m, 4, 8 in decreasing order.
8, m, 4
Let f(a) = a**3 + 7*a**2 - 6*a - 68. Let r be f(-6). Put r, -5, -6 in increasing order.
-6, -5, r
Let y be 5/(135/(-12))*(-17)/(-34). Sort -0.02, 0.1, y in descending order.
0.1, -0.02, y
Let m(c) = c**2 - 36*c - 409. Let j be m(-9). Let u = 2 + -1. Let w = u - 1.1. Put w, j, -3 in ascending order.
j, -3, w
Let p be 174/45 + 1 - 5. Sort p, 0, -0.38 in decreasing order.
0, p, -0.38
Let k(l) = -l**3 + 7*l**2 + 10*l - 11. Suppose 2*n = -3*v + 28, -32 = -5*v - 3*n + 7*n. Let b be k(v). Sort 0, 1, -4, b in increasing order.
-4, 0, 1, b
Let n be ((-84)/175)/((-2)/5). Put 0.3, n, 2/7 in descending order.
n, 0.3, 2/7
Let t be 418/114 - (6 + -2). Let i be 43/(-24) - 4/(-6). Sort t, 3, i, -1/4 in decreasing order.
3, -1/4, t, i
Suppose 0 = -11*z - 5*z - 80. Sort z, 1, 33 in decreasing order.
33, 1, z
Suppose 0 = 4*n - 2*s - 2, -15 - 2 = n + 3*s. Put 5, 0, n, -4 in decreasing order.
5, 0, n, -4
Let h = 205 - 216. Sort 3, -4, -26, h in descending order.
3, -4, h, -26
Let i = 135 + -64. Let y = 70.86 - i. Put -2/7, 4, y, 0.1 in descending order.
4, 0.1, y, -2/7
Let n = -21 + 13. Put 5, -4, n, 0 in decreasing order.
5, 0, -4, n
Let s be (-1 - -6)/(-20)*-16. Sort 0, s, -18 in decreasing order.
s, 0, -18
Suppose 10*d = -130 + 100. Put 9, d, -5, -1 in decreasing order.
9, -1, d, -5
Suppose 0 = -3*b - 0*b + w + 19, 5*w - 24 = -2*b. Put 1, b, 3 in decreasing order.
b, 3, 1
Suppose 4*g + 4*o + 20 = 0, -o + 7 = -11*g + 9*g. Put 3, -6, -5, g in ascending order.
-6, -5, g, 3
Let s = -44 - -43.72. Let x = s + 0.58. Sort -0.07, -2/13, x.
-2/13, -0.07, x
Let t = 1 - 0. Let l(k) = 2*k**2 - k + 2. Let p be l(t). Put 11, p, -2 in descending order.
11, p, -2
Let f = 9.62 + 0.53. Let g = 0.15 - f. Sort g, -1, 0.3 in decreasing order.
0.3, -1, g
Suppose -d + 3 = -0*d + 2*h, -8 = -2*h. Let q = 4605 + -4604.97. Put d, 0.1, -2, q in descending order.
0.1, q, -2, d
Let a = -184 - -81. Put 0, 5, a in ascending order.
a, 0, 5
Let r(n) be the third derivative of n**5/60 + n**3 - 16*n**2. Let h be r(0). Put 3, -4, h in decreasing order.
h, 3, -4
Let c(l) = -l - 9. Let x be c(-7). Suppose 0 = 5*a - 9 - 11. Suppose 3*o - a*i = 19, 4*o - 3*i - 23 = -0*o. Sort -4, x, o.
-4, x, o
Let a = 646735/161 - 4017. Sort 2, -4, a in increasing order.
-4, a, 2
Let b be 1/((-9)/(-4) + -2). Suppose -4*w = -2*t - 6, 5*w + b*t = 2*t + 21. Let o be (w + -2)/(4/8). Put o, 1, 5 in increasing order.
1, o, 5
Suppose 3 = 2*j + 6*y - 5*y, 4*j = 2*y + 26. Suppose 0*d + 4*d = 8. Suppose -16 = -d*m - 3*x, 4*m + 3*x = -0*x + 26. Put m, -5, j in decreasing order.
m, j, -5
Let o(a) = -2*a**2 - 34*a - 1. Let y be o(-17). Sort 2, -4, y, -5 in increasing order.
-5, -4, y, 2
Let i = -66.93 - -67. Put 0.4, 0.3, 4/11, i in decreasing order.
0.4, 4/11, 0.3, i
Let y = -2 + 29. Suppose -3*o = 