der.
y, m, 1, 4
Let a = 120 - 120. Suppose -10*x - 5*x - 345 = a. Sort x, -3, -5 in decreasing order.
-3, -5, x
Let r = -745 + 963.9. Let d = -219 + r. Sort -42, d, 3, 1 in ascending order.
-42, d, 1, 3
Let l be ((-40)/(-25) - 1)/(5/(-25)). Let w(o) = 19*o**2 - 3*o - 14. Let z be w(-3). Put -5, z, l in increasing order.
-5, l, z
Let z = 372.6 + -372.8. Sort -5, z, 13/5, -0.1, 0.04 in descending order.
13/5, 0.04, -0.1, z, -5
Let b = 21 + -12. Let y = -14 + b. Let t = -31.8255 + 31.4255. Put 1, t, y in decreasing order.
1, t, y
Let j = -7 + 10. Suppose -112 - 26 = -23*m. Suppose -5*x = -2*s + 33, -4*s = 6*x - 4*x - m. Put 0, s, j in decreasing order.
s, j, 0
Let k = -10 + 1.5. Let u = -0.5 + k. Let r = u - -9.09. Sort r, 0.5, -3 in increasing order.
-3, r, 0.5
Let j be (-69)/5 + (-154)/(-11). Put -4, 42, 3, j in decreasing order.
42, 3, j, -4
Let w be 3/8 - ((-1545)/(-280) - (-6)/(-42)). Put -3, w, -617 in decreasing order.
-3, w, -617
Suppose -515*r - 456*r - 4504 = 155*r. Let z(m) = -m + 1. Suppose -j + 4 = 4*x + j, x + 2 = -2*j. Let a be z(x). Put 1, a, 0, r in decreasing order.
1, 0, a, r
Let d be (3/((-6)/20))/(-2). Suppose -22*c - 4*c = 9282. Let y = 355 + c. Sort d, -1, 0, y in descending order.
d, 0, -1, y
Let k = 0.29 - 5.29. Let j = -4191 + 29335/7. Sort j, k, 4/9 in decreasing order.
4/9, j, k
Let g = 16.725 + -16.925. Sort g, -1/2529, -5 in decreasing order.
-1/2529, g, -5
Suppose -5*j + 6 = -7*j - i, 6*j - 4*i = 10. Sort 337, 2, j.
j, 2, 337
Let d be 14/(-4) - 12/(-3). Sort 2, d, 14, -0.1, -3/2.
-3/2, -0.1, d, 2, 14
Let h = -818 - -877. Suppose -4*y - h = f - 84, -4*f = 4*y - 16. Sort y, 5, 1, -3 in decreasing order.
y, 5, 1, -3
Let d = 68.4 + -65.29. Let m = d + -8.11. Sort 1, 66/7, m.
m, 1, 66/7
Suppose 1069*g = 1051*g - 13050. Sort 0.1, g, 2/5, 1/3 in decreasing order.
2/5, 1/3, 0.1, g
Let y = 71 - 73. Suppose -77*i + 13*i = 320. Let q = -8 + 5. Sort y, q, i in descending order.
y, q, i
Let w = -3426 + 3427. Sort 5, 7.2, 0.4, w.
0.4, w, 5, 7.2
Suppose 3*f + 2*p = -f + 10, -2*f + 23 = 3*p. Put 6, 30, 2, 15, f in increasing order.
f, 2, 6, 15, 30
Suppose 2*a + 16 = j, 5 = -4*a - 3. Let w be ((-6)/(-16))/((-1)/1). Put -3, j, w, -0.2 in ascending order.
-3, w, -0.2, j
Let b be 0/(-1) - (-62)/(-15283). Let s = b + -964/5423. Put 0, 3/7, s in descending order.
3/7, 0, s
Suppose -6*t + 17 = -5*x + 29, 4*t - 3*x = -8. Put -1, -5, t, 2332 in decreasing order.
2332, -1, t, -5
Let h be -1 - (-64)/70 - (-10)/35. Let x = 0.033 - 0.06. Let k = -0.073 + x. Sort 5, k, h, 3.
k, h, 3, 5
Let t(h) = h**3 + 7*h**2 + h + 8. Let n be t(-7). Let o = 1998 + -2001. Sort o, -4, -2, n in increasing order.
-4, o, -2, n
Let k = -2 - -4. Let n = -44.6 + 44.6984. Let h = -0.0816 - n. Sort h, -0.5, k in descending order.
k, h, -0.5
Let w = -2 + 3. Suppose -5 = -5*g, 2*s = -6*g + 4*g + 2. Suppose -f + s + 9 = 0. Sort w, 3, f in ascending order.
w, 3, f
Let z(w) = w**3 + 22*w**2 + 21*w + 23. Let b be z(-21). Suppose -12*h = -35*h - b. Sort h, 4/3, -4, -2/9 in decreasing order.
4/3, -2/9, h, -4
Let j = -1519 + 1046. Let w = -475 - j. Sort 0, 9, w in decreasing order.
9, 0, w
Let o(a) = 2*a + 17. Let i = -48 - -37. Let z be o(i). Suppose -51*b + 59*b = -128. Put b, z, 1 in increasing order.
b, z, 1
Suppose 11*a + 1683 = 829 + 821. Sort -39, -13, a, 0 in descending order.
0, a, -13, -39
Let d = -90 + 126. Let q = 63898 - 63896. Sort q, 1, d in increasing order.
1, q, d
Suppose 28 = -5*n - 3*y, n + 3*y = 5*n + 17. Suppose 22*a - 28*a + 6 = 0. Let m be 9/(-6)*a*(0 + -2). Sort n, m, 5, 0 in increasing order.
n, 0, m, 5
Let k be (408/6)/((-12)/(-3)). Suppose 6 = -16*a + k*a. Sort -4, 0, a in descending order.
a, 0, -4
Let q = -19409.69 - -19536. Let y = -125 + q. Let z = y - 0.81. Sort 5, 4, z, -1 in increasing order.
-1, z, 4, 5
Let q = -0.29 + -0.01. Let f = -1.05 - -2.77. Let m = 1.32 - f. Put -0.2, m, 6, q in ascending order.
m, q, -0.2, 6
Let c(z) = -15*z**2 - 219*z - 75. Let x be c(-14). Put x, -4, 0, 5, 4 in descending order.
x, 5, 4, 0, -4
Let r = 5552 - 5706. Put r, 0.2, 4, -5/3 in decreasing order.
4, 0.2, -5/3, r
Let v(t) = t**3 - 10*t**2 + 11*t - 22. Let z be v(9). Let u be ((-78)/(-65))/(2/5) + -1. Put 5, 9, z, u in increasing order.
z, u, 5, 9
Let b(s) = s**3 - 14*s**2 + 2*s - 33. Let z be b(14). Suppose 4*o = k - 2*k - 13, -k = 1. Sort z, o, -67 in descending order.
o, z, -67
Let b = 7175 - 7180. Sort -20, 68, 1, b in descending order.
68, 1, b, -20
Let x = 35620 - 35619. Let u(i) = -i**3 + 3*i**2 + 4*i + 5. Let s be u(4). Put x, 6, s, -5 in decreasing order.
6, s, x, -5
Suppose -4*i - 34 = -2*a, -3*a = -486*i + 485*i - 21. Let k = 68 - 54. Sort k, 0, a in decreasing order.
k, a, 0
Suppose -119*h = -70*h - 62*h - 6656. Put -4, h, 1 in descending order.
1, -4, h
Let x = 38 + -29. Let q(c) = -c**2 + 6*c - 6. Let m be q(x). Let f = 37 + m. Sort f, -5, -2 in descending order.
f, -2, -5
Let o(v) = v**3 + 2*v**2 + 1. Let q = 17 + -20. Let k be o(q). Let j(y) = -56*y + 108. Let m be j(2). Sort k, m, 3 in decreasing order.
3, m, k
Let m = -1006 - -1016.17. Let q = m - 0.17. Sort -0.3, 0.4, q in increasing order.
-0.3, 0.4, q
Let v = 20629.928 - 20630. Sort v, -2/13, 4, -0.2 in increasing order.
-0.2, -2/13, v, 4
Suppose 3*p = -5*t - 2*p - 95, -4*p - 40 = t. Sort 148, -1, t.
t, -1, 148
Let w(y) = -20*y**3 - 9*y**2 + 4*y + 16. Let p be w(2). Sort 0, 1, p in decreasing order.
1, 0, p
Let i = 27637 - 27638. Put 5, -1.19, i in increasing order.
-1.19, i, 5
Suppose 10 = -0*g + 5*g. Suppose -5*b + 9 = 3*s, 2*s + g*b - 6 = -b. Suppose -s*r = -5*r + 6. Sort 2, 6, r, -1.
-1, 2, r, 6
Let n be (-27)/5 + (-38)/(-95). Suppose d - 84 = -2*g - 22, -2*g + 62 = 3*d. Put -2, -1, g, n in increasing order.
n, -2, -1, g
Let c = 59 - 66. Let x = 1450 - 1449. Put c, x, -3 in decreasing order.
x, -3, c
Suppose -137 = 21*w - 914. Sort -6, w, 1.
-6, 1, w
Let q = 7229 - 7231. Put -521, 2, q in descending order.
2, q, -521
Let q be (12 + (-2088)/168)/(12/(-14)). Sort 41/3, -4, q, -2.
-4, -2, q, 41/3
Let n = 9704 - 9710. Put -1, -5, n in decreasing order.
-1, -5, n
Let g be 156/(-208) + 5124/(-16). Sort 4, -4, g, 8.
g, -4, 4, 8
Let b = 0.164 + -4.454. Let g = b - -0.29. Let f = -96 + 95.9. Sort g, f, -6 in decreasing order.
f, g, -6
Let f = 358 + -359. Sort -3, 4, 5, -42, f in ascending order.
-42, -3, f, 4, 5
Suppose -5*n = -8*n - 189. Let x be 6/39 + n/(-13). Let u be 9 - (1 - 0 - -8). Sort 4, u, x in increasing order.
u, 4, x
Suppose 3*j = 70*x - 72*x + 28, -12 = x - 5*j. Sort -8, 5, -5, x, 0 in ascending order.
-8, -5, 0, 5, x
Let w = -38820 - -38921. Suppose 2*h + h = -3*r - 27, 4*r - 3*h + 8 = 0. Sort r, 4, -0.1, w in descending order.
w, 4, -0.1, r
Let i = 14 - 11. Suppose -11*j + 7*j - 40 = r, 0 = -i*r - 12. Put j, 4, -1, 0 in descending order.
4, 0, -1, j
Let n be (-429 + 441)/(0 + 1 + 1). Let o be (7/((-14)/12))/(-2). Sort -4, o, n, 1.
-4, 1, o, n
Let p be (-12)/(-28) - (-1164)/28. Suppose -3*n + 5*m + 24 = -4*n, -5*n = -m + p. Sort n, -1, 1, 5 in increasing order.
n, -1, 1, 5
Let x = 15550 - 15555. Sort x, -17, 5, 3, 13 in descending order.
13, 5, 3, x, -17
Let n = -22989 + 23020. Let s = 2/137 + 401/685. Sort s, 2, n in descending order.
n, 2, s
Suppose 6*l - 21*l + 30 = 0. Let u(p) = 17*p**2 + 75*p + 13. Let g be u(-4). Put l, 4, g in decreasing order.
4, l, g
Let o = -15471 - -15425. Put -4, -58, o in decreasing order.
-4, o, -58
Let l(t) = t**3 + 31*t**2 + 58*t + 4. Let p be l(-29). Let w be (-2*(5 - 22/p))/1. Sort -4, w, 3.
-4, w, 3
Suppose 0 = h - 5*h - 5*h - 27. Sort -68, h, -4, 3 in descending order.
3, h, -4, -68
Let b be 390/(-702) - (-8)/9. Put 3, -82, -2/5, b, 3/2 in decreasing order.
3, 3/2, b, -2/5, -82
Let t = -111.4 - -141.22. Let j = t + -29.8. Sort j, -1/2, -10 in descending order.
j, -1/2, -10
Let c be ((-188)/(-46) + -9 - -5) + (-282)/69. Let o(g) = g**3 - g + 2. Let v be o(2). Suppose -x - v = -3*x. Sort 1, c, x, -3 in decreasing order.
x, 1, -3, c
Let d = -115.53 + 116.03. Put d, -2/3, 228, -0.3 in ascending order.
-2/3, -0.3, d, 228
Let j = 26977 - 27016. Let f = -0.2 - -0.3. Sort 2, -2, j, f in ascending order.
j, -2, f, 2
Let j be 4/(100/73) + -3. Let c be 93/(-33) - 4/22. Put 7, 2/3, j, c in increasing order.
c, j, 2/3, 7
Let a = 124/21 - 39/7. Let r 