251 in decreasing order.
251, z, -5
Let n = -9 - -4. Let r = n + 8. Suppose s + 4 - r = 0, 3*a - 1 = 4*s. Sort 5, a, 4.
a, 4, 5
Let s = -4 - -27. Let l = s - 17. Sort -5, -2, l in increasing order.
-5, -2, l
Let o = -34.7 + -6.3. Let x = o + 27. Let k = 15 + x. Sort 0.2, k, 2/9.
0.2, 2/9, k
Let o = 13 - 13.1. Let p(c) = 2*c. Let k be p(14). Sort k, -2, o in descending order.
k, o, -2
Let r = 201 - 181. Put 5, 3, r in increasing order.
3, 5, r
Let h be 1/((-4)/84 - (-4)/(-14)). Suppose 3*k + 9 = 15. Put 3, k, h in descending order.
3, k, h
Let b = 120 + -119. Let f be b*(-5 + 96/20). Let m be 2/(-4)*-2*-1. Sort 5, f, m in decreasing order.
5, f, m
Let f = 2.466 - 0.466. Sort f, 4, -27 in decreasing order.
4, f, -27
Let q = -0.3 - 0. Let b be 8/(-3) - (-38)/57. Sort b, 2/27, q, 1 in descending order.
1, 2/27, q, b
Let v = -0.0365 + -0.1635. Let a = -5 + 1. Put v, -24, 2, a in decreasing order.
2, v, a, -24
Suppose 64 = -3*x + 58. Let f(j) = -2*j**3 + j**2 + j - 2. Let p be f(2). Put p, 1, x in descending order.
1, x, p
Suppose -7*g = 6*g - 13. Sort g, 30, 0, -3 in descending order.
30, g, 0, -3
Let x = 4.148 - -0.43. Let w = x - 0.468. Let k = w - 0.11. Sort -3, k, -0.01 in ascending order.
-3, -0.01, k
Let s be 6/8 - (-1)/(-2). Let d = 0.0107 - 0.0107. Sort -0.1, d, s in decreasing order.
s, d, -0.1
Let s be (0*2/10)/(-1)*1. Put 5, 4, s in descending order.
5, 4, s
Let r(i) = -i + 1. Let q be r(6). Let a = -470 + 463. Sort q, a, 3, -4.
a, q, -4, 3
Let n be (0 - 1)*(160 - 165). Sort -1/3, n, -75 in increasing order.
-75, -1/3, n
Suppose 2*z - 5*n + 19 = -z, 0 = 4*n - 8. Let f be (-7)/8*(10 + -6). Put 5, z, f in decreasing order.
5, z, f
Let b = 0.16 + -7.16. Let c = -1.8 - -0.7. Let f = -0.8 - c. Sort -4, f, b in descending order.
f, -4, b
Let b = -20 - -16. Suppose -3*p + 0*d = -d + 41, 4*d = p + 10. Let m(v) = -v**2 - 15*v - 12. Let g be m(p). Put g, -3, b in decreasing order.
g, -3, b
Let p = 69 - 69.5. Let b be (-1)/36 + (-2)/9. Let a(j) = -j**2 - 5*j + 9. Let z be a(-7). Sort z, p, b in ascending order.
z, p, b
Let f = 0.3711 - -0.0289. Sort 1, -2, f.
-2, f, 1
Let u = 37 + -36.3. Let w = -2.3 - u. Put -4/5, 0.4, -0.09, w in decreasing order.
0.4, -0.09, -4/5, w
Suppose -5*k - 15 = -2*k, -5*k = 2*r + 85. Let u = r + 30. Put -1/2, -5, u in ascending order.
-5, -1/2, u
Suppose 0*j = -5*j + 20. Suppose -n - 6*x - 14 = -2*x, n + x = -2. Sort -3, j, n in decreasing order.
j, n, -3
Suppose -50 = -10*y + 5*y - 5*b, 3*y - 5 = 2*b. Let g be ((-4)/(-10)*y)/((-4)/10). Sort g, -27, -4 in descending order.
-4, g, -27
Let o = 9 + -6. Let p = -2.8 + o. Let h = -131 + 133. Sort p, -0.6, h in increasing order.
-0.6, p, h
Let p = 2095/3 - 4757/6. Let a = -93 - p. Let k = 0.8 - -0.2. Sort k, a, -3 in descending order.
a, k, -3
Let g be -1 - (1 + -2 - -3). Suppose 0 = 6*i + 62 - 314. Let x = i - 40. Sort g, -2, x in descending order.
x, -2, g
Let d = -45 - -60. Let w = -15 + d. Suppose 2*g = 4*m + 20, 2*m + 10 = 4*g - g. Sort w, m, 0.1.
m, w, 0.1
Let n = -273 - -278. Put -1, 1, -2, n in descending order.
n, 1, -1, -2
Let f = -1/58 - -61/174. Sort f, -0.4, -2 in decreasing order.
f, -0.4, -2
Let h = -10.6 - -10.4. Sort -2/9, h, -5.
-5, -2/9, h
Let l(v) be the first derivative of -2*v**3/3 + 4*v - 3. Let q be l(2). Sort 0, 5, q, -11 in increasing order.
-11, q, 0, 5
Suppose w = 3*z - 7 + 5, -w = -2*z + 5. Put w, -5, 0 in increasing order.
w, -5, 0
Let k = 16/19 - 170/247. Let a = -3 - -1. Let h = -111/52 - -18/13. Sort k, h, a in increasing order.
a, h, k
Suppose -8*p + 49 = 9. Sort p, -55, 4, -1 in decreasing order.
p, 4, -1, -55
Suppose -8*i = -4*i - 5*p - 24, -20 = 5*p. Suppose 2*c - i = -5. Sort c, 1, -4, -5 in ascending order.
-5, -4, c, 1
Let y be (28/12 + -3)*2/(-4). Let k = 77 - 695/9. Put y, 0.4, k in descending order.
0.4, y, k
Let v = 46.86 + -39.86. Let o = 12.1 + -13. Let i = -1 - o. Put v, i, -0.5 in decreasing order.
v, i, -0.5
Let i = 118 - 166. Sort i, 4, -4.
i, -4, 4
Let m be (0 - 3)/1 - 2. Let b = -187.5 + 188. Sort m, b, 16.
m, b, 16
Let g = 4.37 - 4.47. Put 2, g, 28/5 in descending order.
28/5, 2, g
Let s(v) = -3*v - v**3 + 2 - 4*v**2 + 1 - 4 - 3. Let d be s(-4). Let p = -12 + d. Put 4, 6, p in increasing order.
p, 4, 6
Let q(v) = v**2 - v + 6. Let r be q(0). Let t = 60 + -60. Suppose 19*i - 14*i = t. Sort r, i, 5 in decreasing order.
r, 5, i
Suppose 3*u + 2*j = 0, -4*j - 4 = 3*u + 2. Let f = -13 - -16. Put f, u, 1 in decreasing order.
f, u, 1
Let r(b) = b + 5. Let u be r(-6). Let d(z) = 19*z + 34. Let y be d(-4). Let m = 45 + y. Sort 4, m, u in decreasing order.
4, m, u
Suppose -934 = 3*x + 8*x - 967. Let n(v) = v**2 - 4*v - 3. Let k be n(5). Suppose 3*m + 20 = k*i + m, 3*i + 4*m = -5. Put x, i, -3 in ascending order.
-3, x, i
Suppose -f + 6 = -2*f + 3*s, -s + 7 = -2*f. Let x(y) = y - 3. Let v be x(8). Let b(u) = -u**2 + 6*u + 3. Let i be b(7). Put f, i, v in descending order.
v, f, i
Let n be (-653)/(-22) + (-10)/55. Let r = -31 + n. Let y be ((-34)/(-18) + -2)/((-4)/(-12)). Sort r, -2/9, y.
r, y, -2/9
Let k(v) = v**3 + v**2 + 16*v - 13. Let w be k(0). Put -4, 1/7, w, 5 in ascending order.
w, -4, 1/7, 5
Let t = 0.14 - 1.74. Let d = 49.5 - 48. Let z = t + d. Sort 1, -2, z.
-2, z, 1
Let y = -861.2 - -861. Sort y, 4/5, 0.4 in ascending order.
y, 0.4, 4/5
Let s = -147.1 + 146.1. Sort 3, -14, s, 5.
-14, s, 3, 5
Let p be 12/10*5 + -10. Sort -2, p, -6, 4 in increasing order.
-6, p, -2, 4
Let b = -13/9 + 82/63. Suppose 85*p + 390 = 7*p. Put b, -0.1, p, -1/11 in decreasing order.
-1/11, -0.1, b, p
Let j(u) = -2*u**2 + 4*u + 6. Suppose -4*f = 36 - 52. Let m be j(f). Put m, 2, 3 in increasing order.
m, 2, 3
Suppose a + 5*s + 2 = -a, -a + 2*s + 8 = 0. Sort 1, 70, a.
1, a, 70
Let p = -0.3 + 0.8. Suppose -y = -7*j + 3*j + 7, -3*y + 12 = -j. Let b = j - 0. Sort 1/4, p, b in descending order.
b, p, 1/4
Suppose -2*z = -4*g + 62, 0*z + 3*g = -3*z - 111. Let r = z + 33. Put 0, -8, r in ascending order.
-8, r, 0
Let y(w) = w - 3. Suppose 0 = -5*g + 2*v - 3*v + 2, 2*g = -3*v - 7. Let i be y(g). Let s be (-2)/5*20/2. Sort i, s, 1 in ascending order.
s, i, 1
Let g = 0 - 1. Let j = 107 + -111. Let a = g + j. Sort 0.2, a, -0.5 in descending order.
0.2, -0.5, a
Let f = -0.5 - -3.5. Let s = -12081.6 - -12082. Put f, -0.2, s in descending order.
f, s, -0.2
Let t = -402 + 401.7. Put 3/4, t, 4/13, -0.4 in increasing order.
-0.4, t, 4/13, 3/4
Let o = -1164 + -890. Let h = 14302/7 + o. Let w = 72/7 + h. Put w, 1/6, -4 in decreasing order.
1/6, w, -4
Let t(x) = -x**2 + 5*x - 2. Let b be t(4). Let p = -611 + 611.4. Sort b, p, 0 in descending order.
b, p, 0
Let s = 3000 - 2998. Put s, 5, -1, -3 in decreasing order.
5, s, -1, -3
Suppose 10 = u - 4*s, -2*u + 5*s = -0*s - 14. Suppose 2*i - 15 = 3*g, 4*i - 7*g + 2*g - 27 = 0. Sort u, i, -3.
-3, u, i
Let a = -1390 + 2785/2. Let n = -0.2 - 0.3. Sort n, a, 3/8 in descending order.
a, 3/8, n
Let v = 155/333 + -9/37. Put v, -0.2, 0.5, 21 in increasing order.
-0.2, v, 0.5, 21
Let l = -1 - -3. Suppose -4 = -l*b + 8. Suppose 13*z + 258 - 206 = 0. Put z, b, 4 in decreasing order.
b, 4, z
Let f = 249 - 244. Sort 16, 1, f in ascending order.
1, f, 16
Let r = -0.03 + 15.03. Let q = -14 + r. Let d = q - 4. Sort -4, 2/3, d.
-4, d, 2/3
Let p = -313 + 305. Put -3, p, -4 in increasing order.
p, -4, -3
Let d(q) = q**3 - 3*q**2 - 9. Let h be d(4). Suppose -h*n + 14 = -0*n. Sort n, 3, -1.
-1, n, 3
Let d = -798.9 - -799. Put -18/53, d, -3/8 in ascending order.
-3/8, -18/53, d
Let n be (-29)/(-7) - 1/7. Let w be (8/6)/(n/6). Let v = 7 - w. Sort -3, -9, v in descending order.
v, -3, -9
Suppose 97 - 97 = 43*t. Let n = -4 - -9. Sort 3, n, -4, t.
-4, t, 3, n
Suppose -5*t = -1091 + 1096. Put -1/8, -26, t in decreasing order.
-1/8, t, -26
Let k be ((-3)/(-38))/(3/(-4)). Let u = 23025/11 + -2093. Put u, k, -0.5 in increasing order.
-0.5, k, u
Let j be (-3)/((-8)/16*9). Sort j, -9, 0.2, 5.
-9, 0.2, j, 5
Let p = -8 + 12. Let a be (-57)/38 + (-2)/p. Put -1, -4, a in increasing order.
-4, a, -1
Suppose -3*f + 2*f + 3*k - 7 = 0, 0 = -5*f + 2*k - 9. Sort 41, 3, f, 0.
f, 0, 3, 41
Let d be 1 - 81/15 - 20/(-50). Put 0, -11, d in descending order.
0, d, -11
Let r be 24/16*32/(-24). Put 0, r, -36 in descending order.
0, r, -36
Let y be 0 - -1 - (0 + 0). Let s be 