 order.
-0.5, v, 0.4, 7
Let d be -2 - (-2)/1*2. Suppose 0 = -3*o + 11 + 4. Suppose t - 2*t - d = o*i, 4*i = 3*t - 13. Sort i, -4, 9.
-4, i, 9
Suppose -13*o - 15 = -10*o. Let h = 3 + -3. Let z be 4 - h/((-1)/1). Sort o, z, -2 in increasing order.
o, -2, z
Let s be 5 - 190/30 - (-1)/3. Sort 1, -73, 5, s in decreasing order.
5, 1, s, -73
Let o be 2 + ((-5)/15 - (-61)/3). Sort o, -4, -1, 3.
-4, -1, 3, o
Let z(c) = c**3 - 7*c**2 - 6*c - 12. Let f be z(8). Suppose 5*p + 15 = 0, 4*i + 0*i - 11 = -3*p. Suppose i*q = 2*q. Sort f, q, 3 in ascending order.
q, 3, f
Suppose -5*o - 8 = -28. Let r = 0.01 + -0.31. Let a = 1/9 - 29/18. Put o, a, r in ascending order.
a, r, o
Let t be (-4 - -7)/(3/(-4)). Sort 0, -6, t, 4 in descending order.
4, 0, t, -6
Let r be (-6)/(-72)*4*0. Suppose r = 9*v + 21 - 102. Let t = -7 + 4. Sort t, 1, v in descending order.
v, 1, t
Suppose 7 = 83*o - 76*o. Put o, 13, -2, -3 in decreasing order.
13, o, -2, -3
Let r = -0.743 - -0.343. Sort -1/11, -5, r in descending order.
-1/11, r, -5
Let s = 107.5 - 107. Sort -1/2, -1, -0.02, s in increasing order.
-1, -1/2, -0.02, s
Let w = 0.38 + -0.08. Let v be ((-1)/5)/((-4446)/(-180) - 25). Sort 2/13, v, w in descending order.
v, w, 2/13
Let y be (-4)/(20 + -4)*-20. Suppose -y*t = -11*t. Put 3/4, -0.4, t in increasing order.
-0.4, t, 3/4
Suppose 0*n + 21 = 3*n + 2*l, 11 = n + 2*l. Let o be 0 + (-1)/(n/30). Sort -4, -3, o in decreasing order.
-3, -4, o
Suppose 9*p + 16 = p. Put p, 20, -1 in descending order.
20, -1, p
Let p = 266 - 268. Put -4, 4, 2, p in decreasing order.
4, 2, p, -4
Let k = -5 - -6. Let q be (6/9)/((-4)/(-66)). Suppose -4*z = f + q, -z + 5*f + 11 = z. Put k, z, -6 in decreasing order.
k, z, -6
Suppose 3*w - 3 = 3*t - 0*w, -2 = 3*t - 4*w. Let l be t/((-2)/1) + -2. Let q = 540 - 540. Put l, q, 4 in decreasing order.
4, q, l
Let o = 40 - 37. Suppose -o*c - 16 = -2*m, 0 = m - 2*c + 4*c + 6. Sort 17, 5, m in descending order.
17, 5, m
Let a(p) = p + 5. Let g be a(-5). Suppose g*i = 5*i. Suppose i = 5*c + 16 + 4. Put c, -1, 1 in descending order.
1, -1, c
Let s = 32.1 - 33.1. Put -1/3, -0.013, 3, s in descending order.
3, -0.013, -1/3, s
Let s(r) = -10*r + 11. Let c be s(-7). Let p = -83 + c. Put 6, 0, p in descending order.
6, 0, p
Let a be ((-4)/6)/(12/(-360)). Let q = -48 - a. Let l be q/60 + (-2)/(-15). Sort l, -2, -3 in ascending order.
-3, -2, l
Let i = -224 - -223.957. Let l = i - -0.243. Let u = -0.4 - -0.3. Put -4/3, l, u in decreasing order.
l, u, -4/3
Let d = 8 - 13. Let b be -1 - -1 - (-2 + (-12)/(-4)). Put 1/3, b, d in descending order.
1/3, b, d
Suppose 0*n - 6*n = n. Suppose 7*f + 107 - 23 = n. Sort f, 2, -2 in decreasing order.
2, -2, f
Let r be (-4 - -12)*(-5)/((-100)/(-6)). Let b = r - -39/10. Put b, 43, -0.4, -2/9 in increasing order.
-0.4, -2/9, b, 43
Suppose 4*l = -28 + 48. Suppose 0*i + 4*i = 0. Suppose 2*h - 4*a = -0*h + 4, i = 2*h - l*a - 6. Put h, -3, -5 in increasing order.
-5, -3, h
Suppose -n = -4*t + 7, 9*n - 12*n = 2*t + 7. Put -1, -143, t in descending order.
t, -1, -143
Let p = 2020 + -2019. Sort 20, -2/7, p, 3/5 in decreasing order.
20, p, 3/5, -2/7
Let h = 838 + -835.1. Sort h, 3, 0.1.
0.1, h, 3
Let k = -8 + 13. Suppose -64 + 14 = -k*r. Let s be r/(-5)*(-1)/2. Sort s, 0, 4 in decreasing order.
4, s, 0
Suppose 4 = 4*s - 5*s. Let x be ((-10)/s)/((-3)/(-6)). Sort 1, x, -2 in descending order.
x, 1, -2
Let q be 5/(5/(-2)) + 3. Let c be 96/64*16/6. Put c, q, -2 in increasing order.
-2, q, c
Let u = 1105 + -1106. Put -9, 6, u, 5 in ascending order.
-9, u, 5, 6
Let a be 3 + (-4 + 7 - 3). Let r = a - 5. Sort -4, -3, r, 0 in increasing order.
-4, -3, r, 0
Let o = 693/2756 + -1/689. Let d = 1 + 3. Let r = 3 - d. Sort o, 1/6, r in decreasing order.
o, 1/6, r
Suppose 12 = -7*q + 3*q. Let r be (7/4)/(-2 + (-85)/(-40)). Suppose 0 = -r*g + 5*g + 54. Sort g, -5, q in descending order.
g, q, -5
Let f(j) = -3*j + 173*j**3 + 5*j - 167*j**3 + 2*j**2 + 1. Let h be f(-1). Suppose -5*w + 0 = -5*k + 20, 0 = 2*k - 4*w - 12. Put h, -4, k in ascending order.
h, -4, k
Let n = -0.0837 + 0.2837. Sort n, -57, 0.5 in decreasing order.
0.5, n, -57
Let i be ((-95)/(-35) - 3) + 12/(-105). Let x = 38 - 37. Sort 0.2, i, x, 3 in descending order.
3, x, 0.2, i
Let q = -72 - -71.95. Put q, 0.1, 8, 1/3 in descending order.
8, 1/3, 0.1, q
Suppose -4*d - 11 = v, -5*d + 9*d = 3*v + 1. Put 7, -31, d in descending order.
7, d, -31
Let w = 0.06 - -0.34. Let x = -6491/7 - -927. Put x, -3, 0.5, w in increasing order.
-3, x, w, 0.5
Let g = -0.02 + 5.02. Let h = 1.63 - 14.23. Let n = -13 - h. Put 0.3, g, n in descending order.
g, 0.3, n
Let w = 4095/11 - 372. Sort 0.2, w, -1/2, 4 in decreasing order.
4, w, 0.2, -1/2
Let y = 13 + -5. Let r be ((-99)/36)/(2/y). Let w = r + 11. Put w, -4, 4 in increasing order.
-4, w, 4
Let y = -3261 + 3260.8. Let f = 1 - -3. Let p = f + -4.3. Sort y, p, -4 in descending order.
y, p, -4
Let g = -0.035 + 4.835. Let z = g - 10.4. Let n = -0.6 - z. Sort n, -5/3, 2/23 in decreasing order.
n, 2/23, -5/3
Let c be 5*(-5)/(-50)*(-16)/92. Put -0.5, c, 3/5 in increasing order.
-0.5, c, 3/5
Suppose 4*h + 12 - 2 = 2*n, h + 2*n - 10 = 0. Suppose 0*d + h*d = -5*d. Suppose -4*q - u - 7 = -6*q, u = 5*q - 16. Put d, 5, q in ascending order.
d, q, 5
Let o = 471 - 466. Put o, 6, -4 in ascending order.
-4, o, 6
Let n(g) be the first derivative of g**4/4 + 2*g**3 + g**2/2 + 10*g - 8. Let w be n(-6). Suppose h + 3 = 1. Put h, w, 3 in decreasing order.
w, 3, h
Let g be (2*(-12)/16)/(3/(-8)). Sort -2/39, 2/7, 1, g in decreasing order.
g, 1, 2/7, -2/39
Let i = -43 + 63. Suppose i = 5*b - 9*b. Sort 2, 3, b.
b, 2, 3
Let q = -2.8 - -4. Let r = q - 0.2. Let o = 627/2 + -314. Put o, 5, r in descending order.
5, r, o
Let t(p) = p**2 - 47*p - 255. Let s be t(52). Sort 41, s, -1.
-1, s, 41
Let c = 218 - 79. Let v = c - 140.11. Let j = v - -0.11. Sort -3, 4, j in ascending order.
-3, j, 4
Let n = -7 + 7. Suppose -9*h + 3 = -8*h. Suppose 3*c = -3*j + h, 0 = 7*j - 6*j - 5*c - 7. Put n, -4, j in ascending order.
-4, n, j
Let h(o) = -2*o + 4. Let t be h(4). Let d be (t/10)/(6/10)*6. Let y be (-14)/18 + 0 + 1. Put y, 0.3, d in ascending order.
d, y, 0.3
Let b = -15 - -11. Let g be 1*(10 + -2) + (-4807)/759. Sort b, g, -0.5, 6/11 in ascending order.
b, -0.5, 6/11, g
Let t be 114/306*(-42)/(-4) + -4. Put -3/5, 0.5, t, 4 in descending order.
4, 0.5, t, -3/5
Let r = 13 + 5. Let c = 17 - r. Let k = 4 + 1. Put c, k, -0.14 in decreasing order.
k, -0.14, c
Let y = 868/3 - 288. Put 2, y, -66, -4 in increasing order.
-66, -4, y, 2
Let a = 60.8 + -61. Let q = -3.17 + 1.17. Sort a, q, -2/3, -2/7 in descending order.
a, -2/7, -2/3, q
Let l = 9 + -2. Suppose -4*s - 2*v = 12, s + 0*v + 3*v - l = 0. Suppose 4*n - 3*p + 1 = 3, 0 = 5*n - 4*p - 2. Put n, -1, s in increasing order.
s, -1, n
Let a(n) = n**2 - 12*n + 28. Let w be a(4). Put w, -3/7, -2/3, 2/7 in ascending order.
w, -2/3, -3/7, 2/7
Let h = 5 - 8. Let u be (-12)/(-3)*8/16. Suppose 10 - 6 = -u*i. Sort i, 3, h in descending order.
3, i, h
Let m = 2.95 + 0.05. Let i = 0 - m. Let y = 677 - 691. Sort 0.2, y, i in descending order.
0.2, i, y
Let i = 74 - 226/3. Let z be -1*(-1)/(-1) - 5/(-7). Put z, i, 2 in ascending order.
i, z, 2
Let t(i) be the first derivative of i**4/4 + 3*i**3 - 7*i**2/2 + 26*i + 13. Let u be t(-10). Let z = 0.3 + 0.2. Put 0, z, u in ascending order.
u, 0, z
Suppose 3*q - 20 = -4*l, 20*q = -2*l + 24*q - 12. Sort -13/3, -5, l in increasing order.
-5, -13/3, l
Let w = 55 + -603/11. Suppose 4*s = -5*c + 11 + 10, 3*s + 2*c = 14. Put w, s, 1 in increasing order.
w, 1, s
Suppose -2*h = -3*h + 2. Let l(u) be the third derivative of u**4/24 + 5*u**3/3 - 12*u**2. Let n be l(-10). Sort n, h, 3 in decreasing order.
3, h, n
Let z = -4 - -4. Let u = 557 + -561. Sort 23, u, z in ascending order.
u, z, 23
Suppose -80 = -2*j - 2*j. Suppose 2*c - 50 = -5*k, k - 12 = 4*c + j. Let h = k - 16. Put 1, 3, h in increasing order.
h, 1, 3
Suppose 27 = 2*q + 5*o + 4, o - 10 = 5*q. Put -4, 9, q, -2 in descending order.
9, q, -2, -4
Let n = -7 - -6.989. Let w = 21.611 + n. Let c = w + -22. Sort 0.3, c, 3.
c, 0.3, 3
Suppose -m - 2*m = -60. Suppose 0*l - 3*l - 12 = 0, -4*c = 3*l + m. Let u(b) = -b**2 + b - 1. Let w be u(-2). Sort w, 1, c in decreasing order.
1, c, w
Let 