x, 2
Suppose -62*w - 25*w + 87 = 0. Let g be (-4)/6 - (-2)/3. Sort -5, g, 0.3, w in decreasing order.
w, 0.3, g, -5
Let u = -0.1 + 0.5. Let m = -3718 + 3717.85. Put u, m, -0.3 in descending order.
u, m, -0.3
Let c = 7 - 11. Let u = 27 + -24. Suppose -u*p + 10 = -5*p. Put -0.1, p, c in descending order.
-0.1, c, p
Suppose 2*i = -5*m - 61, i - m = -12 - 1. Let c = i + 22. Sort -5, 2, c.
-5, 2, c
Suppose 3*t + 3*s = 522, -5*t + 458 = -3*s - 436. Let k be -5 + t/24 - 2. Suppose -60 = 6*u - 3*u. Sort u, k, -0.5 in increasing order.
u, -0.5, k
Suppose -3*k + 16 = 3*j - 5, -3*j - 9 = -3*k. Suppose -5 = 5*m, -5 = -3*a + j*a + m. Put -4, 2/9, a in descending order.
a, 2/9, -4
Let u = 5 + -11. Let q be (-840)/18*u/(-5). Let d be (-1 - 50/q)*4. Sort 4, d, -5.
-5, d, 4
Suppose 2*i + 2 = -2*y, 5*y + 1 = 4*i - 5*i. Sort 0, -3, 3, i in decreasing order.
3, 0, i, -3
Let k = 2.49 - 2.41. Put 1, k, 0 in descending order.
1, k, 0
Let j = 0.1899 - 0.0899. Let p = 9/14 - 3/14. Sort j, p, 7 in increasing order.
j, p, 7
Let o = -29.6 - -29.1. Put -17, o, -1 in descending order.
o, -1, -17
Let z(g) = -75*g - 371. Let t be z(-5). Sort -4, -5, t, -2.
-5, -4, -2, t
Let u(d) = -4*d**3 - 22*d**2 - 11*d - 6. Let f be u(-5). Sort -5, f, -135, 5 in increasing order.
-135, -5, f, 5
Suppose 0 = -2*m - 3*u + 7, 30*u - 29*u - 7 = 4*m. Sort 15, -15, m in increasing order.
-15, m, 15
Let q(x) = 4*x**2 - 14*x - 5. Let h be q(6). Suppose h*k - 20 = 51*k. Sort 20, 4, -1, k in descending order.
20, k, 4, -1
Suppose 3*n - 33 = -8*y + 3*y, 0 = 5*y + 5*n - 35. Let z be (-48)/(-36) + (-26)/y. Put 0.1, -5, z in descending order.
0.1, z, -5
Let q = -22 - -18. Let m = q + 4. Let w = 1 + -4. Sort w, -5, m in descending order.
m, w, -5
Let h = -1 - 2. Let x = 211 - 1057/5. Sort -1, 2, h, x.
h, -1, x, 2
Let s = 84 + -80. Suppose 0 = 5*b + 3*x + 5, 3*x - 41 = s*b - 2*x. Let f = -55 + 278/5. Put f, b, 0.2 in ascending order.
b, 0.2, f
Let c(w) = -8*w - 5. Let u be c(0). Put 2, -1, u, -11 in ascending order.
-11, u, -1, 2
Let k = 0.289 - 3.289. Sort 4/9, k, 10 in descending order.
10, 4/9, k
Let l = 87.57 - 87. Let n = l - 29.57. Let x = -28.98 - n. Put -1/4, -1/5, x in descending order.
x, -1/5, -1/4
Let p be ((-1)/(-2))/(17/306). Suppose p*l = 4*l. Suppose -5*c = -5*b - 10, c = -0*b - 2*b + 5. Put c, l, -1 in descending order.
c, l, -1
Let m = -17 - -20. Let v = -14241 + 71608/5. Let p = v + -81. Put m, 4, p in descending order.
4, m, p
Let l be 13 - 15 - (-1 - 0). Let p be 0 - 5 - (l - 2). Let f be (2/3)/((-2)/(-6)). Sort f, 5, p in descending order.
5, f, p
Let y be ((-2)/3)/((-1)/(27/(-30))). Put y, -0.03, 7, 1/3 in decreasing order.
7, 1/3, -0.03, y
Let y be 188/(-10)*(-10)/60 + -3. Let d = -0.531 + 5.391. Let b = d + 0.14. Put b, -0.4, y in decreasing order.
b, y, -0.4
Let j be 12/(-24) + (-1)/2. Suppose -4*f - 16 = -3*s, 3*f - f + 8 = 0. Let d be -4 + -4 + 3 + 2. Sort d, s, j in increasing order.
d, j, s
Let c(s) = -13*s**2 - 2*s - 2. Let x be c(-1). Suppose 3*d + v = 4*v - 15, 3*d + 5*v - 9 = 0. Sort d, x, -1.
x, d, -1
Let h be 2/3 - (124/6 + -2). Let l be (1 - -1)*h/12. Sort l, 7, 2 in decreasing order.
7, 2, l
Let z = -0.13 + 0.03. Let o = 1734 - 36415/21. Put o, -1, z in decreasing order.
o, z, -1
Let a = 146 + -154. Let t(p) = p**3 + 9*p**2 + 7*p - 7. Let x be t(a). Sort -103, x, 2.
-103, x, 2
Let n(m) = -8*m**2 + 6*m + 1. Let u be n(3). Sort u, -2, 0 in decreasing order.
0, -2, u
Let z = 3 - 3. Suppose -2*v = -r + 6, -13 = -4*v - r - 25. Sort 13, z, 2, v in decreasing order.
13, 2, z, v
Suppose 4*g - 10 = 38. Suppose 21 = 11*s - 4*s. Suppose -s = -3*p - g. Sort 4, p, -5 in increasing order.
-5, p, 4
Let d = 73 + -70. Let x be (d/(-5))/(27/(-225)). Let k be (0 - 2/(-11)) + 0. Put x, 2/19, k in decreasing order.
x, k, 2/19
Suppose -17*x = 4*x - 105. Put x, -440, 4 in decreasing order.
x, 4, -440
Let g = 335 + -300. Let l(a) = a - 12. Let u be l(10). Put g, 0, u in descending order.
g, 0, u
Let a = -37 + 10. Put -0.4, a, -0.02 in ascending order.
a, -0.4, -0.02
Let j = -355 + 358. Let n be -8*(2 + (-22)/8). Let h be n/27 + (-16)/(-9). Put h, -2, j in decreasing order.
j, h, -2
Let h = -6908 + 6912. Let j(a) be the third derivative of a**4/6 + a**3/6 + 2*a**2. Let b be j(-1). Put h, 5, b in decreasing order.
5, h, b
Let d = -1701 - -1699. Sort d, -4, -20.
-20, -4, d
Let y be ((-12)/(-30))/((-3)/30). Suppose 0 = -4*k + 4*d - 7 - 5, -2*k - 2*d + 14 = 0. Sort k, 3, y in decreasing order.
3, k, y
Let u = 8.09 - 6.69. Sort u, -22, 0.1 in increasing order.
-22, 0.1, u
Suppose 11*r + 13597 - 13575 = 0. Suppose 3*q + 17 = -2*q - l, -3*q + 2*l = 18. Sort -5, q, 3, r in decreasing order.
3, r, q, -5
Let w = 92 + -89. Suppose 0 = -0*k + 3*k - 12, 5*o - 15 = -5*k. Sort 1, w, o.
o, 1, w
Let d be -1 - ((-8)/64 + 39/(-8)). Sort -40, 2, d, 1 in ascending order.
-40, 1, 2, d
Let f = 161 - 161. Let u = 52.8 - 47. Let l = 0.8 - u. Sort l, f, 0.2.
l, f, 0.2
Let k = -23.1 + 19.1. Put 0, 1/11, k, -2/15 in ascending order.
k, -2/15, 0, 1/11
Suppose -4*r + 8 = -20. Suppose -r*l = 36 - 1. Put -3, l, -2 in descending order.
-2, -3, l
Let m be 6/4*((1 - -2) + 3). Suppose -a + m = 2*b - 4, -2*b + 16 = 2*a. Sort -3, 1, 2, b.
-3, 1, 2, b
Let h = -0.306 - -0.246. Sort h, -4, -27 in descending order.
h, -4, -27
Let l = 18.7 - 20. Let s = 1 + l. Sort -4, -2/9, 0.3, s.
-4, s, -2/9, 0.3
Let p be (3 + -1)*(-24)/464. Let q = p - -41/116. Put 2/7, q, -1, 1/9 in decreasing order.
2/7, q, 1/9, -1
Let q = 0.0903 + -0.1403. Put 1/4, q, 0.3 in descending order.
0.3, 1/4, q
Let y = -8.56 + 4.56. Sort -10, 0, y.
-10, y, 0
Let l be 2/10 - (-78)/60. Let p = 86 - 85.98. Put l, 0.2, p in increasing order.
p, 0.2, l
Let d(x) = x**3 + 9*x**2 - x - 76. Let s be d(-8). Put 4, 1, s, -5 in decreasing order.
4, 1, s, -5
Let m = -529.6 - 3.4. Put 1, -1/4, m in decreasing order.
1, -1/4, m
Suppose 4*l = -3*q + 4, -2 = -3*l - 2*q + 1. Put l, -2, -84 in descending order.
l, -2, -84
Let l = 54 - 54. Let p be -3 + l/4 + 6. Suppose -3*t - y + 14 = 0, -6 = 5*y - 1. Put 0, t, p in decreasing order.
t, p, 0
Let n = 23 - 21. Suppose -n*x - x = 12. Let o be x/(-14) - 78/(-21). Put -1, o, 2 in decreasing order.
o, 2, -1
Let w = 606 - 601. Put w, 2, 3, -98 in increasing order.
-98, 2, 3, w
Suppose w = -2*c + 3*c, -2*c = 5*w. Suppose w = f + 10 - 5. Sort f, -1, 5 in ascending order.
f, -1, 5
Let w = 49.5 - 50. Put w, -1/11, -5 in descending order.
-1/11, w, -5
Let y = 218 + -213. Let p = 10 + -7. Suppose 4*a + 5 = -p. Sort 1, a, y in increasing order.
a, 1, y
Let z = 416.7 + -417. Sort -4, z, -91.
-91, -4, z
Suppose -4*s + 5*a - 133 = 0, 2*s + 136 = -2*s + 4*a. Let q = s + 33. Let p = 5 - 5.1. Put q, 0.7, p in descending order.
0.7, p, q
Suppose -3*o - 16 = 5*u, 4 = -4*o - 2*u + 4*u. Let g(h) = -4*h**3 + 2*h + 1. Let x be g(-1). Sort o, x, -3 in descending order.
x, o, -3
Let d be ((-2)/(-3))/(4/30). Let o = 125 + -127. Let x be (0/(4 + o))/4. Put x, d, -1 in increasing order.
-1, x, d
Let c = 21 + -64/3. Sort -0.2, c, 3, 2 in ascending order.
c, -0.2, 2, 3
Let z = -1.2 + -1.8. Let u = 39 - 34. Put u, -1, z in ascending order.
z, -1, u
Suppose 2 = 4*y - 10. Suppose -5*m - g + 37 = 4, 4*m = g + 21. Sort y, m, 4 in decreasing order.
m, 4, y
Let g(n) = -n**3 - 3*n**2 - 4*n - 1. Suppose 3 = -5*m - 12. Let w be g(m). Let x = w - 8. Put x, -5, 4 in decreasing order.
4, x, -5
Let v be 4 - (-1)/(-2)*2. Let j(k) = k**2 + 33*k - 35. Let f be j(-34). Let c = v - f. Sort 0, -1, c.
-1, 0, c
Let v = 29 + -41. Let t = v - -9. Sort 2, 0.3, t in descending order.
2, 0.3, t
Let a(l) = -l**3 + 9*l**2 - 9*l - 5. Let b = -26 - -33. Let i be a(b). Suppose -5*u + 16 = -2*w, 2*w - i = -3*w - 5*u. Sort 0, w, 5 in decreasing order.
5, w, 0
Suppose -29*q + 144*q + 16 = 131. Let j be 1/(1 - (-7)/1). Put 3, 0.5, q, j in descending order.
3, q, 0.5, j
Let v be (-143)/(-55) + (-2)/(-5). Suppose -v*o - 12 = 3*f, -o - 16 = 2*f + 2*f. Put f, 5, 2, -1 in decreasing order.
5, 2, -1, f
Let b be (-24 + 22)/(1/(-10)). Let l be (-20)/110 + b/(-11). Suppose z - 11 = 1. Put z, l, -4 in ascending order.
-4, l, z
Let a = 291 + -291. Put a, 1, 4 in decreasing order.
4, 1, a
Let q(l) = l + 4. Suppose -3*f = -0 - 6. Suppose 2*m - 3 = -4*s - 25, 4*m + f*s + 20 = 0. Let x be q(m). Sort 5, x, -5.
-5, 