der.
5, b, h, -0.6
Let d = 1570 - 1572. Put -83, -6, d in descending order.
d, -6, -83
Let q be (-7)/(-28) + 2*(-3)/(-8). Let h be ((0 - 0) + 7)/1. Let j = 972 + -972. Sort q, j, h, 4 in increasing order.
j, q, 4, h
Let x be (-2)/3*6*56/(-56). Sort 0.3, -609, x, -5/6 in ascending order.
-609, -5/6, 0.3, x
Suppose 0 = -10*x + 5*x + 285. Let v = -97 + x. Let c = -43 - v. Sort c, 0, -6 in ascending order.
-6, c, 0
Let j be -2 - ((-7)/(-35) + 5/(75/(-183))). Put -7, j, 6, 2 in decreasing order.
j, 6, 2, -7
Suppose -2*q - 3 + 33 = 5*g, -3*g - 5*q = -37. Sort -5, 33, -0.5, g.
-5, -0.5, g, 33
Let i be (-10)/8 + (-2)/(-8). Let n = -17789 + 17791. Sort i, n, -5, -3 in increasing order.
-5, -3, i, n
Let y = 5872134 - 5872153. Let z = -6 - -5.91. Let s = z - 4.91. Put 0, s, y in decreasing order.
0, s, y
Suppose 0 = 790*w - 776*w + 42. Sort -6, -2/11, w, 0.021 in descending order.
0.021, -2/11, w, -6
Let y be 9/(-6) - 59/(-2). Let l = y - 16. Suppose 0 = w + l - 13. Sort w, 0, 8.
0, w, 8
Let s(l) = l**3 - 4*l**2 - 8*l - 21. Let v be s(6). Sort v, 4, 0, 2, 1 in decreasing order.
4, v, 2, 1, 0
Let r(c) = -c**3 + 11*c**2 - 46*c + 509. Let f be r(11). Sort 39, -9, f, 1 in descending order.
39, f, 1, -9
Suppose -4*p - 4*i - 924 = 0, -4*i - 1037 = 3*p - 348. Let b = p + 234. Put -4, b, 1 in decreasing order.
1, b, -4
Let c be -1 + 3 - (2 - 2). Let q = c - -2. Suppose -588*u + 635 = -715*u. Sort u, q, -2 in descending order.
q, -2, u
Let s = 0.0272 - 0.2672. Let o = 381 - 211. Let m be ((-6)/(-4))/(51/o). Sort m, 0, s in decreasing order.
m, 0, s
Suppose -20*v - 112*v = -14*v - 236. Sort v, -3, -35, -11 in increasing order.
-35, -11, -3, v
Suppose -2*x + 2 = -6*b, -171 = -b + 5*x - 204. Let j(q) = -6*q**3 - 2*q**2 - 2*q - 1. Let z be j(-1). Let m = 52 - 31. Put m, b, z in ascending order.
b, z, m
Let n = 4930 - 4945. Put 1, -63, n in increasing order.
-63, n, 1
Suppose 5*k - 2*y + 127 = 117, -5*y = 0. Sort 29, 5, -4, k.
-4, k, 5, 29
Let m = 11 - 8. Let y = -114 + 57. Let a = -53 - y. Sort m, a, -5.
-5, m, a
Let z = -0.23 - 0.27. Let o = 134 - 69. Let y = -70 + o. Sort z, 3, y in ascending order.
y, z, 3
Let q be (-2 + 35/20 + -2)/((-11)/748). Put q, -5, 1 in descending order.
q, 1, -5
Let h = -24477.7 + 24478. Sort -310, h, 3, 0 in decreasing order.
3, h, 0, -310
Let t be (-1 - 3) + 0 + 0. Let j be 19 - 198/(-117)*-13. Put 0, t, j in descending order.
0, j, t
Suppose 22 = 3*r - 53. Let h = r - 23. Let n be ((-20)/(-18))/((-84)/(-378)). Put n, h, 4 in decreasing order.
n, 4, h
Let l = 244021/13 + -18771. Put -44/3, l, 0.5, -4, 1 in increasing order.
-44/3, -4, l, 0.5, 1
Let r = 145.1 - 140.1. Put r, -5, -1/144, 4 in decreasing order.
r, 4, -1/144, -5
Let m = 4276 - 4275. Sort -2, 6, 8, 3, m in ascending order.
-2, m, 3, 6, 8
Let q = -448 + 999. Let y = -565 + q. Sort y, -1, 5 in decreasing order.
5, -1, y
Suppose -3 = -3*k, -5*m + k = 5*k - 289. Let b be 5/10 - m/6. Let i be (33/b - -3)/(2/(-12)). Sort i, -1/11, -0.11 in decreasing order.
i, -1/11, -0.11
Let d = -7294 - -7012. Put -4, 3, 0.1, d in increasing order.
d, -4, 0.1, 3
Let w(i) = 17*i**2 - 644*i - 90. Let z be w(38). Sort -5, z, -205.
-205, z, -5
Let b(p) = p**3 + p**2 - 20*p - 5. Let t be b(-5). Put -20, -26, 3, t in descending order.
3, t, -20, -26
Let f = 36524.5 - 36525. Sort -3, -193, f, 4, -2/21.
-193, -3, f, -2/21, 4
Let t(j) = -j**2 + 27*j + 56. Let o be t(29). Let m = -69 - -68.9. Put -4, o, -3, m in ascending order.
-4, -3, o, m
Let v = 2819 + -2820. Sort 5, 0, v in descending order.
5, 0, v
Let a(c) = 2*c + 3. Let o be a(7). Suppose 6*r - 2*r - 4 = 4*g, g + 5 = 3*r. Suppose 4*h = -s - 2, 7 = -36*h + 33*h + r*s. Put o, h, 4 in descending order.
o, 4, h
Let w = 557 - 415. Sort w, -1, 0.2.
-1, 0.2, w
Let i = -1.5215 + 1.9215. Put -1.4, i, 80 in descending order.
80, i, -1.4
Let x(v) = 28*v**2 + 168*v - 24. Let k be x(-7). Sort 4, 0, k in increasing order.
0, 4, k
Let u = 10.4 - 1.4. Let l = 588 - 590. Let n = -0.22 + -0.08. Put n, l, u, -1 in increasing order.
l, -1, n, u
Let c = 335 - 342. Let i(h) = 0 - 3 - 2*h - 11. Let d be i(-5). Sort -1, c, d in increasing order.
c, d, -1
Let s = -613.43 - -608. Let o = 0.57 - s. Let m = 2 - 5. Sort 1/3, o, m.
m, 1/3, o
Let h(r) = -r + 10. Let v be (-56)/(-12)*(-18)/(-21). Let o be 4 + (3 - v) - -3. Let t be h(o). Sort -3, t, 5 in decreasing order.
5, t, -3
Let c = 12946 - 13331. Sort c, 1/9, 0.1 in descending order.
1/9, 0.1, c
Let r(m) = -m**2 - 3*m + 3. Let i be r(-3). Let o be (-40)/(-15)*(-3)/(-4). Suppose -q + 2*k = 4*k - o, 4*k = -i*q + 8. Sort q, 2, -5 in descending order.
q, 2, -5
Let c = -47.7 + 45.7. Let y be 46/(-4)*2*3/(-15). Put c, -1, y in decreasing order.
y, -1, c
Suppose -2*q = 2*q - 20. Suppose 2*t - 8 = 2*n, t + 2*n = q*t - 18. Let u be (-1 - (-11 + 27/3))*1. Sort -1, t, 0, u in decreasing order.
t, u, 0, -1
Let i(m) = m**3 + 25*m**2 + 24*m + 6. Let a be i(-24). Let y be ((-7)/(-2))/(3/a)*-1. Sort 5, -3, 4, y in decreasing order.
5, 4, -3, y
Let y = 4401 - 4395. Sort 2, 0, 9, y in ascending order.
0, 2, y, 9
Suppose 8*k + 17*k = -272*k. Suppose -2*y + 2 = -4. Put k, 1, -1, y in descending order.
y, 1, k, -1
Let n be (-8)/(-51)*(-51)/68. Put 3, 2, 0.14, -3/2, n in descending order.
3, 2, 0.14, n, -3/2
Let w be 2*(-7)/70*5*3/24. Sort w, 1/14, -7, -0.1 in decreasing order.
1/14, -0.1, w, -7
Let o be 1/(-57)*(-15408)/744. Let s = -8/31 + o. Put s, 0.1, 0, -1 in ascending order.
-1, 0, 0.1, s
Suppose 0 = 4*u - 5*d - 25, 8*d - 4*d = 5*u - 29. Suppose -33*i - u - 61 = 0. Sort i, -0.4, -1.9, -0.1 in increasing order.
i, -1.9, -0.4, -0.1
Suppose -17*z + z = -5008. Let d = -308 + z. Put -78, d, 0 in increasing order.
-78, 0, d
Suppose -5*t + 0*t - 15 = 0. Let i = -4224.2 - -4224. Sort 1, t, i, 2/3.
t, i, 2/3, 1
Let m = -127.5 - 98. Let s = m + 226. Put -2, s, 0.81 in descending order.
0.81, s, -2
Let m(q) = -q**2 + 5*q - 6. Let r be m(4). Suppose 3*f - 5*b + 11 = 0, 2*f - 14 - 4 = -3*b. Suppose f*d = -17*d + 40. Sort 3, d, 0, r in descending order.
3, d, 0, r
Let a(y) = -3*y - 21. Let g be a(-7). Suppose g = 9*s - 25 + 7. Suppose 0 = s*b + 6 + 4. Sort b, 5, 2.
b, 2, 5
Suppose 3 = -4*l + r, 4*r - 12 = -0. Suppose -12*f + 19*f - 21 = l. Suppose -5 = 4*v + f. Sort 3, v, 2 in increasing order.
v, 2, 3
Let t = -7515.9 - -8186. Let y = t + -670. Put 1, -13/8, y in decreasing order.
1, y, -13/8
Let x(b) = 10*b + b**2 - 3 + 3 + 13. Let m be x(-8). Let v = -44 + 47. Sort -2, v, 4, m.
m, -2, v, 4
Let b = -0.4193 + 1.4193. Sort -4, b, -136 in ascending order.
-136, -4, b
Let x = -1.2209 - -1.1209. Put -3, 43, x, -3/2 in increasing order.
-3, -3/2, x, 43
Let f = -200 - 53. Let b = f + 253. Suppose 17 = -3*x + x - 3*o, -3*o = 5*x + 20. Put 4, b, x, -2 in descending order.
4, b, x, -2
Let f = 978 + -977. Let o(s) = s**2 - 2*s - 5. Let b be o(4). Sort -2, b, 6, f.
-2, f, b, 6
Let r(f) = 23 + 3*f - 70 + 2*f - 143. Let a be r(38). Let g(t) = -t**3 - 7*t**2 - 6*t + 2. Let m be g(-6). Sort a, 4, m in ascending order.
a, m, 4
Let d = 0 + 5. Let v(u) = 957*u + 12439. Let q be v(-13). Sort d, -15, q in descending order.
d, q, -15
Let c = 4126.7 - 4126.3. Sort 1/4, c, 2269 in decreasing order.
2269, c, 1/4
Suppose 0*i - 5*f - 20 = -2*i, -2*i + f = -20. Suppose -i*a = -5*a - 20. Suppose -j + 11 = -3*t, 10 = -j - a*t - 0*t. Sort 3, -1/2, j, 1/2 in decreasing order.
3, j, 1/2, -1/2
Suppose 0 = 4*x + 5*r + 835, x + x - 2*r + 440 = 0. Let u = x - -211. Sort 12, -5, u in increasing order.
-5, u, 12
Let v = 19.3 + -191.3. Let a = -24 - v. Let x = a + -146. Sort 5, x, 0.5 in increasing order.
0.5, x, 5
Suppose 3*z + 2*x = -16, 0*z - 4*z - 3*x = 23. Sort -4, z, -17, -1, 0 in decreasing order.
0, -1, z, -4, -17
Let n = -1.9 - -2. Let z = 0.1 + n. Let d = -2282 + 2281. Put d, z, -0.3 in decreasing order.
z, -0.3, d
Suppose 0 = -987*m + 973*m + 98. Sort -5, m, 4.
-5, 4, m
Let t = -11249.9 + 11250. Sort 2/17, 2/11, 1, -20, t in decreasing order.
1, 2/11, 2/17, t, -20
Let b = -2493 + 2492.9. Sort 2/11, -2/13, -2/3, b in descending order.
2/11, b, -2/13, -2/3
Let r = -547 + 585. Sort r, 22, 0 in descending order.
r, 22, 0
Let g = -114 - -114. Let m = 5 + g. Sort m, -2, 2, 3 in decreasing order.
m, 3, 2, -2
Let a be 3*((-512)/(-6))/(-16). Sort 10, a, -3 in increasing order.
a, -