der.
-1, 0, 4, n
Suppose -79*a + 171 = -145. Suppose -2*w = 2*w. Suppose c - 3*c = w. Put -2, c, a in increasing order.
-2, c, a
Let h = -333.1 + 332. Put 4, 2/21, h, 1/3 in descending order.
4, 1/3, 2/21, h
Let u = -21 - -19. Let k be (0 - -2) + -2*1. Sort k, -1, u in ascending order.
u, -1, k
Suppose 19 = -5*i + 4*b - 17, -2*i = -3*b + 20. Sort 5, -55, i in descending order.
5, i, -55
Suppose 4*o - 230 = -z, 8*o + 2*z - 232 = 4*o. Let a = o + -57. Sort 0.5, 3, 2, a in descending order.
3, 2, 0.5, a
Let n = -26/3 + 34/3. Sort n, -0.2, -3, 1.
-3, -0.2, 1, n
Suppose -2*i = 2*w - 5 - 3, -4*w = 2*i - 14. Suppose 3*t + 1 - 2 = a, -3*a = t + w. Put 17, a, 2 in descending order.
17, 2, a
Suppose 0 = -199*g + 198*g. Sort 4, -1, g, -5.
-5, -1, g, 4
Let n(g) = -2*g**3 - 29*g**2 + 9*g**2 - 6 - 5*g + 3*g. Let r be n(-10). Put 3, r, 4 in decreasing order.
r, 4, 3
Let m = 0.137 + -8.537. Let o = -8.7 - m. Let x be (0 + 1)/(2/4). Sort -0.5, x, o in ascending order.
-0.5, o, x
Suppose s - 18 = 2*l - 9, 0 = 2*l + 3*s + 5. Let k(h) = -2*h. Let x be k(-4). Let r(f) = 3*f - 24. Let n be r(x). Put n, -2, l in increasing order.
l, -2, n
Let r = 429.5 - 333. Let s = r - 97. Let j be (-2)/(-12) + 1/(-2). Sort j, s, 1 in descending order.
1, j, s
Let g be 2 + (-30)/5 + 5. Sort -2, -3/2, -0.4, g in descending order.
g, -0.4, -3/2, -2
Let x = -16/41 - -326/205. Let l be (-8 - -4) + 0 - (-84)/22. Put l, x, 2 in decreasing order.
2, x, l
Let k = 9.467 + -0.067. Let v = k + -7.4. Put v, -2/7, -0.05, -0.2 in ascending order.
-2/7, -0.2, -0.05, v
Let a = 4/437 + -453/1748. Sort 2/3, a, -9, -0.2 in increasing order.
-9, a, -0.2, 2/3
Let p = 1 - 0.9. Let g = -22.9 - -6.9. Let s = g - -18. Sort p, 0.03, s in decreasing order.
s, p, 0.03
Suppose -b = -2, 5*z - 3 - 6 = 3*b. Put z, -2, -3 in descending order.
z, -2, -3
Let w = 2 - 1.9. Let n = 4.2 + -4.43. Let l = 0.07 - n. Sort w, l, 0 in ascending order.
0, w, l
Let w be (11 + -16)*((-1212)/(-20))/3. Sort w, -5, 2.
w, -5, 2
Let h be (-7 + 8)*(-1 + 6). Let g = -5 + h. Let t = 0.97 - 1. Sort 4/3, g, t.
t, g, 4/3
Let q = 139.4 - 153. Let z = 12.6 + q. Put -0.1, 4, 0.3, z in ascending order.
z, -0.1, 0.3, 4
Suppose 0 = -o - 2*m - 6, -3*o + 2 = 3*m - 7*m. Let f(v) = v**3 + 8*v**2 + 8*v + 9. Let s be f(-7). Sort o, s, 0 in descending order.
s, 0, o
Suppose 369 = -53*h + 12*h. Let y be ((-3)/(-2))/((-15)/6). Sort -5, y, 5, h.
h, -5, y, 5
Let r be (-3 + 2 - -1)/(-1). Let w = -0.23 + -10.77. Let z = -6 - w. Sort r, -0.4, z in decreasing order.
z, r, -0.4
Suppose 194 = 3*j - 391. Let g be 48/j + (-2)/5. Let t be (-1 - 0)*(-22)/(-66). Put t, 1/11, g in descending order.
1/11, g, t
Let h = 0.02 + -0.32. Let r = 6 - 10. Let v = r - -3.5. Sort h, v, 0.1 in increasing order.
v, h, 0.1
Let r = -0.53 - 6.47. Let l = r + 7. Sort 2/13, 1/3, -10, l.
-10, l, 2/13, 1/3
Suppose -i = 5*r + 19, 7 = -2*r - 3*i + 2. Put 147, 0, r in ascending order.
r, 0, 147
Let s = 91 + -91.2. Sort 2, 5, s, 8 in decreasing order.
8, 5, 2, s
Let h be (6/4)/(15/20). Suppose -3*c = -8*c + 30. Let f(g) = 92*g + 363. Let n be f(-4). Put n, h, c in decreasing order.
c, h, n
Let r be ((-3)/84*6)/3. Put 2/5, r, 2 in decreasing order.
2, 2/5, r
Let t(i) = 84*i - 421. Let n be t(5). Sort n, 1, 12, 3.
n, 1, 3, 12
Let s = 270 - 272. Sort s, 4, 1, -4 in decreasing order.
4, 1, s, -4
Let j(v) = -v**3 - 10*v**2 + 10. Let f be j(-10). Suppose 5*b + f = 5*q, -3*q + 6*q + 2*b - 1 = 0. Sort -4, -5, q in decreasing order.
q, -4, -5
Suppose 0 = 5*m + 60 - 80. Put 66, m, -4 in descending order.
66, m, -4
Let t be (6/(-9))/(4/(-18)). Let q be (16/(-3) + t)*-3. Sort -2, q, 1 in descending order.
q, 1, -2
Let t = 11137 - 11135. Let h(a) = -a + 6. Let g be h(0). Suppose -2*z - 3*y + 22 = -0*z, 2*z - y = 6. Put t, g, z in descending order.
g, z, t
Let a = -152 + 169. Suppose -2*f = a + 15. Sort -1, 4, f, -3 in ascending order.
f, -3, -1, 4
Let c(b) = b**2 - 25*b + 116. Let s be c(6). Let m be 168/(-44) + 2/(-11). Sort 5, s, m in decreasing order.
5, s, m
Let n = 1.3 - 1.68. Let p = n - 3.02. Let j = p - -3. Put 5/3, 3, j in decreasing order.
3, 5/3, j
Let z(c) = c - 1. Let u be z(-5). Let k = -4 - u. Let y be -2 + 0 + (3 - k). Sort -2, y, 1.
-2, y, 1
Let w(b) = -b**3 - 6*b**2 + 3. Let n be w(-6). Let t = -2 - -26. Suppose 4*g = -d + 9, d = -3*d + 4*g - t. Put n, d, -5 in increasing order.
-5, d, n
Let f be 1 + -2 + (2 - 1). Suppose g + 4*q = -f*q + 21, -g - 24 = -5*q. Sort g, -3, 0 in ascending order.
-3, 0, g
Suppose 5*v = -7 + 32. Suppose 0*j = v*j - 310. Let t = j + -557/9. Put 0.2, 0.3, t in descending order.
0.3, 0.2, t
Let w = -0.007 - -28.007. Let b = -34 + w. Put -2, b, 4 in increasing order.
b, -2, 4
Suppose 0 = -2*b - n + 3, 2 = -5*b + 3*n + 4. Sort 10, b, -9 in increasing order.
-9, b, 10
Let n = 67 + -52. Let x be (n/(-20))/(162/(-16) - 0). Put -2/15, 0.1, 3/2, x in descending order.
3/2, 0.1, x, -2/15
Let t = -25 + -52. Let w = -81 - t. Let s be (4/(-50))/(2/10). Put s, -3, w in descending order.
s, -3, w
Let a be (18/3 + -3)*58/2. Let p = a + -90. Suppose 5*q = -4*d - 37, -d - 6 - 2 = q. Sort p, q, -17 in decreasing order.
p, q, -17
Let r be (4 + -2)*(0/(-3) + -1). Suppose -2*m - 4*k + 6 = 0, -5*m + 2*k = -3*k. Sort 10, r, 0, m in decreasing order.
10, m, 0, r
Let r = -488 + 486. Put 11, 0, r in increasing order.
r, 0, 11
Suppose 0 = -i - 3*y - 20, 3*i - 2*i - 2*y - 5 = 0. Suppose 42*n - 43*n - 5*q = -40, -3*n - 3*q = -36. Put n, i, 3, 2 in descending order.
n, 3, 2, i
Let z = -1.11 + 0.21. Let c = z + 1. Let s = 5.2 + -2.2. Put c, s, -3 in decreasing order.
s, c, -3
Let p = -22.8 - -22.8. Put p, -1/5, 1/9 in descending order.
1/9, p, -1/5
Let d be 138/874*(0 + -2). Sort -0.3, -7, d.
-7, d, -0.3
Let m = 181 - 182. Let c = 4.1 - 1.1. Sort c, m, -5 in descending order.
c, m, -5
Let p(t) = t**3 + 4*t**2 - 10*t + 7. Let y be p(-6). Sort 2/15, y, -2, -8/9 in decreasing order.
2/15, -8/9, -2, y
Let r = 16 + -13. Let p(q) = q. Let f be p(-3). Sort -1, r, f in ascending order.
f, -1, r
Let r = 2574 - 2772. Sort r, 1/7, -2 in descending order.
1/7, -2, r
Let u be (10/(-3) - -3)*6. Let r be (1/12)/(-1 + (-9)/(-18)). Sort r, 17, u.
u, r, 17
Let f = -26.5 - -24.49. Let y = f - 0.39. Put -4, 4, y in decreasing order.
4, y, -4
Let l = -988 + 1042. Sort 0, 2, l in descending order.
l, 2, 0
Let j = 0 + 0.5. Let t = -40316/11 + 3668. Let k = t + -289/88. Put k, -2/9, j in decreasing order.
j, -2/9, k
Let s be 1/(22/26) + -1. Let h = -47/78 + 4/39. Put -1/7, s, h in increasing order.
h, -1/7, s
Let t = -4.18 + 4. Let b = -0.48 - t. Let u be (2/(-14))/((-6)/21). Put 1/5, u, b in descending order.
u, 1/5, b
Suppose -15*l + 180 = -25*l. Put 5, -4, 0, l in increasing order.
l, -4, 0, 5
Let m = -83 - -39. Let u be (2 - (-80)/m) + 16/154. Sort u, 0, -2, 4 in ascending order.
-2, 0, u, 4
Let z = 0 - -3. Let q = 6.1 - 6.1. Let k = 49 - 48.8. Sort z, q, k in descending order.
z, k, q
Suppose -3*d + 7 = -8. Suppose d*r - 19 = 6. Put 4, -1, r in descending order.
r, 4, -1
Let f = -77 + 79. Sort -1/5, 5, -0.1, f in ascending order.
-1/5, -0.1, f, 5
Suppose 0 = 3*p + 646 + 716. Let y be p/(-18) - (-4)/(-18). Let x be 10/y + (-36)/15. Sort 1, x, 4 in descending order.
4, 1, x
Let l(v) = -8*v + 33. Let s be l(3). Sort 1, s, -2, -3 in increasing order.
-3, -2, 1, s
Let a = 1826.7 + -1827. Sort a, 1, 0, 2/21 in decreasing order.
1, 2/21, 0, a
Let t be 16/10 + -1 - 1. Let b = 37 + -32. Suppose 0 = -h + 9 - b. Sort t, h, -1/8.
t, -1/8, h
Let g = 20 - 24.5. Let c = g + 2.1. Let f = 2 + c. Sort -2/19, -0.3, f in increasing order.
f, -0.3, -2/19
Let m = -0.57 + 3.57. Suppose -2*y = 10, 4*y = -l - l - 28. Let c(g) = g. Let n be c(l). Sort n, 0.4, m.
n, 0.4, m
Let f = -440 + 411. Sort 0, -3, -1, f in increasing order.
f, -3, -1, 0
Let m = -118.6 - -106. Let k = m + -1.4. Let w = k + 13.5. Sort 5, w, 2/11 in increasing order.
w, 2/11, 5
Let g(a) = 9*a - 129. Let q be g(14). Sort 1, q, -5, 3.
-5, q, 1, 3
Suppose 2*c = -15*c - 68. Put c, -12, 1 in ascending order.
-12, c, 1
Let d = -10 - -12. Suppose 0 = 5*a - 0*a + 2*b - 190, 20 = a + 4*b. Put a, d, 0 in decreasing order.
a, d, 0
Let j(l) = -l**2 + l + 4. Let o be j(0). Suppose 3*c + 3*w = -21, -2*w + 4 = o*c + 32. Let x be (-2 + 0)*2/4. Put c, 4, x in decreasing order.