 decreasing order.
v, -2/11, -1
Let f = -1.2 - 3.8. Let v = 112.731 - -0.269. Let r = v + -115. Sort r, f, -1/2.
f, r, -1/2
Suppose -7*k + 1 - 15 = 0. Put 2, -8, k in descending order.
2, k, -8
Suppose 8*p - 4*p = 0. Let k = 1727 - 1732. Put 4, -3, k, p in increasing order.
k, -3, p, 4
Suppose s = -14*s + 45. Sort 1, -4, s, -44 in ascending order.
-44, -4, 1, s
Let j = -237.3 + 237. Sort 525, 2/13, j in increasing order.
j, 2/13, 525
Suppose -23*v = -29*v + 18. Sort -18, -3, 1, v in increasing order.
-18, -3, 1, v
Let c = -34 - -39. Let f = -0.1 - -0.2. Let l = -0.4 - -0.2. Put f, c, l in descending order.
c, f, l
Let h = -2158 - -2130. Sort h, 1, -3.
h, -3, 1
Suppose 1928*v = 1927*v - 5. Sort 7, 0, 8, v in decreasing order.
8, 7, 0, v
Suppose 5*s + 0*d + 100 = 5*d, -12 = -4*d. Let g = -6 - -3. Sort s, 0, g in descending order.
0, g, s
Suppose 3*o - 15 = 4*w - w, -4*w = -5*o + 25. Suppose o*m = m. Suppose i + m*i = 3. Sort -1, i, 0.5 in increasing order.
-1, 0.5, i
Let w be -2*(-5 + 5/(-2) - -6). Put 48, -1, w in decreasing order.
48, w, -1
Let m = -309 + 307. Sort m, 0.5, -0.5 in decreasing order.
0.5, -0.5, m
Let x = -4.076 - -0.076. Let d = -64 - -64. Sort 4, d, x in descending order.
4, d, x
Let p be -29*1 + 18/18. Let y = p - -14. Let c be -1 + 0 - 1 - y. Put 2, c, 4 in descending order.
c, 4, 2
Let s(y) = y**3 + y**2 - 3*y + 3. Let z(w) = w - 9. Let a be z(11). Let g be s(a). Let l(k) = k - 11. Let n be l(g). Sort -4, -1, n in ascending order.
-4, n, -1
Let s be (-552)/11 - 14/(-77). Let c = s + 46. Sort -3, c, -2 in descending order.
-2, -3, c
Let m be (15/(-2))/((-3)/6). Sort 1/6, m, 5.
1/6, 5, m
Let s be 0/4*(-29)/(-58). Sort 8, s, -3 in descending order.
8, s, -3
Let p = -51 - -28. Let o = -22.94 - p. Put -0.1, -3, o in descending order.
o, -0.1, -3
Suppose -2*f + 11 = 3*q, -f = 2*f + 4*q - 16. Let c be -1*(-1)/(1 + (-15)/10). Put c, -1, f in descending order.
f, -1, c
Let u = -6 + 2. Let k be 0 + (-80)/(-12)*6. Suppose k*w + 8 = 44*w. Put w, u, -1/5 in decreasing order.
w, -1/5, u
Suppose 704 = 13*z + 51*z. Put z, 1, -9 in descending order.
z, 1, -9
Let g = 6 - 3. Suppose -3*q + 50 = 2*q. Let o = 9 - q. Put -4, g, o in decreasing order.
g, o, -4
Let l = -1.17 - 1.83. Sort l, -0.08, 4.
l, -0.08, 4
Let t = 295 + -300. Sort 4, t, 8 in ascending order.
t, 4, 8
Let i = -1.222 - -1.622. Put 2/11, 2/7, 7/2, i in ascending order.
2/11, 2/7, i, 7/2
Let t(v) = v + 9. Let z be t(0). Let w = -93 - -96. Let o be 15/z*(w + 0). Sort 0, -5, o.
-5, 0, o
Suppose 7*s - 24 = -s. Suppose s*h - 29 + 44 = 0. Let g(b) = -b**2 + b - 1. Let r be g(0). Put h, r, 1 in increasing order.
h, r, 1
Let c = -1472 - -1412. Sort c, -0.4, -5.
c, -5, -0.4
Let x = -1 + 2. Let r be (8 - 3)/(5/((-30)/6)). Let z = 3 - 5. Sort z, x, r.
r, z, x
Suppose 0 = -5*w + 12 + 8. Put -3, w, -55 in descending order.
w, -3, -55
Let q = -127.9 - -114. Let d = -14 - q. Let s = 0.07 - -0.93. Sort d, s, 0 in ascending order.
d, 0, s
Let f be -3*(3 + 7/((-210)/95)). Sort -1/3, f, -0.13, 2.
-1/3, -0.13, f, 2
Let p = 0.1501 + -0.0501. Let z = -0.04 - -0.12. Let y = z + 4.92. Put y, 2, p in decreasing order.
y, 2, p
Let o be 4 - (15504/(-14))/4. Let b = 280 - o. Let d = b + 25/21. Sort d, 0.1, -5.
-5, 0.1, d
Let u(c) = c**3 + 4*c**2 - 5*c - 19. Let z be u(-3). Let t = 8 + -11. Let h = t + 3.2. Put z, h, 2 in decreasing order.
z, 2, h
Let c be (-1)/2 + 2/3. Let y = -0.02 - -0.09. Let i = -5.07 + y. Put i, -0.2, c in ascending order.
i, -0.2, c
Let p(y) = -y**3 - 29*y**2 + 9*y + 265. Let b be p(-29). Let q = -1 - 2. Put b, -1, q in increasing order.
q, -1, b
Suppose -4*h = -2*h + 4*c + 16, 0 = 3*h - 2*c + 16. Let v be (-1)/h + (-7)/42. Put v, -1, -2 in increasing order.
-2, -1, v
Let g = -7 + -5. Let u = 45.5 - 33. Let b = u + g. Put 2/3, b, 5 in decreasing order.
5, 2/3, b
Let y = -1360 - -1344. Sort 3, -1/6, y.
y, -1/6, 3
Suppose 0 = -19*v - 74 - 40. Sort 0.4, v, 1, -13 in increasing order.
-13, v, 0.4, 1
Let f = -182.006 - -24.976. Let m = f - -157. Let c = -3 + 2.8. Sort m, c, 3 in decreasing order.
3, m, c
Let g(i) = -i**2 - 21*i - 22. Let m be g(-20). Put -7, 0, -1, m in decreasing order.
0, -1, m, -7
Let m = 0.71 + -1.3. Let o = m - 1.71. Let i = o - -5.3. Sort 0.2, -3/5, i in increasing order.
-3/5, 0.2, i
Let t be -8 + 7 - (1 - 5). Put 0, 2/17, t in decreasing order.
t, 2/17, 0
Suppose 13*z - 1762 = -787. Put -4, 2, z, -2 in decreasing order.
z, 2, -2, -4
Let y be (162/12 + -6)*1/3. Sort 2/5, 1, -6/5, y in decreasing order.
y, 1, 2/5, -6/5
Suppose 5*h - 2*t = 15, 5*h - h + 6 = -2*t. Let l be ((-17)/34)/(h/(-4)). Put -30, 4, l, 5 in decreasing order.
5, 4, l, -30
Suppose 5*y = -f + 15, 0 = -3*y - 5 + 11. Sort -5, 48, f in ascending order.
-5, f, 48
Let a(o) = o**3 - 18*o**2 - 18*o - 392. Let v be a(20). Let m be (-4)/(-2)*1*-1. Put m, 4, v in increasing order.
m, 4, v
Let b = -558 - -617.8. Let x = b + -60. Let y = -2 - 1. Sort -1, x, y in decreasing order.
x, -1, y
Let x = -417 + 415. Sort 2, -41, -3, x in decreasing order.
2, x, -3, -41
Let h(q) = q + 2. Let y be h(-4). Let r(b) = -b**3 - b**2 + 8*b - 7. Let f be r(1). Sort y, 12, 2, f in decreasing order.
12, 2, f, y
Suppose 2*y + 4*y + 18 = 0. Let d = -106 + 105. Put 0.1, d, y in decreasing order.
0.1, d, y
Let y be (-2)/((-2 - 1)/(-9)). Let b be (15/y + -1 + 4)*-2. Put b, 0, 2 in descending order.
2, 0, b
Suppose 2*j - 3*d + 67 = 15, d - 4 = 0. Let h = j + 25. Let q = -7 + 2. Sort q, h, -4.
q, -4, h
Suppose 420 = 4*i - 3*o, o + 3*o = 0. Let g be 2/60*4 - 154/i. Put 5, g, -0.2, -0.3 in increasing order.
g, -0.3, -0.2, 5
Let k(l) = l**3 + 5*l**2 - 9*l - 20. Let m be k(-6). Put -6, 5, m in increasing order.
-6, m, 5
Let a be 1 - (2 + -10)/4. Suppose -3*o - 36 = a*j, -4*j = -0*o + 2*o + 34. Let w = o - -6. Sort w, -2, 5.
-2, w, 5
Let r = -22 - -15. Let x be (-27)/r + 2/14. Suppose -3*u = l - 13, 0*l = -5*l - 2*u + 13. Put -1, x, l in increasing order.
-1, l, x
Let z(q) = -10*q - 124. Let x be z(-12). Sort 10, x, 1/7 in descending order.
10, 1/7, x
Let y be (-5)/(-3)*(4 + -1). Let c be (-1380)/(-184)*(-2)/3. Sort -4, c, 4, y in ascending order.
c, -4, 4, y
Let j be (1/15*1)/(14/(-35)). Put j, 0.4, -2, -11 in descending order.
0.4, j, -2, -11
Let c = -0.2571 + 0.0571. Sort c, -0.05, -3, 0.5.
-3, c, -0.05, 0.5
Suppose 17*b - 2*k = 14*b - 12, -3*k - 8 = 2*b. Put 1, 4, b, -9 in descending order.
4, 1, b, -9
Let y = -4.839 - -0.839. Sort y, -0.3, -2, -3/2 in increasing order.
y, -2, -3/2, -0.3
Suppose -6*c + 3 = -9*c. Put c, -4, 1, 2 in decreasing order.
2, 1, c, -4
Suppose -i - 4 = i, 2*z - 3*i - 6 = 0. Let r = -28 + 41. Let g = 12 - r. Sort -4, z, g in decreasing order.
z, g, -4
Let o be (-43 - -44)*(-5 + 1 - -3). Sort o, -9, -26.
-26, -9, o
Suppose 4*d - 14 = -2*n, 4*n + 2*d = 28 - 6. Let r(h) = h**2 - 4*h. Let g(u) = 3*u**2 - 12*u. Let b(y) = -2*g(y) + 7*r(y). Let j be b(n). Sort 4, j, -5.
-5, 4, j
Suppose c + 4 = 4*i - 8, -2*c + 11 = -i. Let f = c + 0. Let j be (f/3)/(8/4). Sort -1/4, -0.2, j in decreasing order.
j, -0.2, -1/4
Let n be (10 + -16)*2/6. Put n, -1, -4 in increasing order.
-4, n, -1
Suppose 51 = 2*y + 57. Sort 2, -12, -2, y in increasing order.
-12, y, -2, 2
Suppose -9 = -5*t + 3*u + 92, 0 = 5*t + 3*u - 119. Suppose z = -z - t. Let b = 9 + z. Put b, -3, -5 in ascending order.
-5, -3, b
Let t = -58 - -64. Suppose -5*n = n - t. Put 3, -1, n, -3 in descending order.
3, n, -1, -3
Let v = -0.2 + 0.1. Let s(n) = -507*n - 10141. Let x be s(-20). Put 6, x, v in decreasing order.
6, v, x
Suppose -3*x = -x. Suppose x = -n - n - 2. Suppose 0 = l + 5*y - 7, 4*l + 3*y - 9 = l. Put n, l, 0 in descending order.
l, 0, n
Suppose 12 = -c + 4*s, 3*s - 10 + 0 = c. Sort c, -0.0626, -2/5.
c, -2/5, -0.0626
Let i = 3.2 + -3.3. Sort 2/3, i, -2/11, -0.2.
-0.2, -2/11, i, 2/3
Suppose d = a + 4*a - 13, -d + 8 = 2*a. Sort 1, -1, d, -175 in descending order.
d, 1, -1, -175
Suppose 9*z - 8*z = 3. Suppose -3*i - z = -0. Sort i, 11, 3 in descending order.
11, 3, i
Let m(u) = -u**3 + 10*u**2 + 12*u - 8. Let c be m(11). Suppose 2*v + c = v. Sort 2, v, -2, 9.
v, -2, 2, 9
Suppose t + 3*f - 37 = 17, 33 = t - 4*f. Let a be ((-72)/t)/((-4)/10). Let m(u) = u**2 - 4*u. Let s be m(2). Sort s, -3, a in ascending order.
s, -3, a
Suppose 0 = -0*r + 2*r + 14. Let c = 