l(f). Sort w, -1, 0 in descending order.
w, 0, -1
Let k = -59 + 35. Let t be ((-10)/25)/(k/10). Let q = -194 - -197. Sort 20, t, q in ascending order.
t, q, 20
Let x(q) = q**2 + 4*q. Let y be x(-4). Suppose 4*b + y*b + 4 = 0. Put 4, 2, b in descending order.
4, 2, b
Let w = -15 + 18. Let i = w - -1. Put i, 0, 5 in increasing order.
0, i, 5
Suppose -3*k - 13 = -130. Sort 4, k, 5 in descending order.
k, 5, 4
Suppose 4*f - 5 = -3*o, 3 = -o + 2*o. Sort 1/3, f, 4, -2 in decreasing order.
4, 1/3, f, -2
Let m = -160.8 - -156.8. Let a = -0.3 - 0.7. Sort a, 2/13, 3, m.
m, a, 2/13, 3
Suppose -3*k = -g - 343 - 501, -g + 280 = k. Let i = -1971/7 + k. Let h = 0 - -0.5. Put -1, i, h in increasing order.
-1, i, h
Let v(k) = -k**2 + 14*k + 149. Let m be v(21). Suppose 0 = -t - 1. Put m, -4, t in decreasing order.
m, t, -4
Suppose 2*f = -0*f + 8. Suppose 0 = -f*u - u - 10. Let y = u - -2. Sort y, -3, 4 in increasing order.
-3, y, 4
Suppose 0 = -l - 17 + 21. Sort l, 0, -2, 16.
-2, 0, l, 16
Let s(y) = -y**2 + 7*y + 495. Let t be s(-19). Suppose 4*u - 3 = 3*u. Sort -1, -4, u, t.
-4, -1, t, u
Let l(z) = 2*z**2 - 10*z. Let w be l(5). Suppose w = 2*g - 8 - 2. Sort 0, -1, g.
-1, 0, g
Let z(q) = q**3 + 11*q**2 + 14*q + 9. Let l be z(-9). Let s be l/(-25) + 2/(-10). Put s, -5, -1 in descending order.
-1, s, -5
Let i = 737 + -725. Put 1.8, 1/3, i in increasing order.
1/3, 1.8, i
Let f = -78 - -81. Suppose 0 = 15*n - 9*n - 6. Put n, 3/5, f, -0.2 in descending order.
f, n, 3/5, -0.2
Let o(d) = 5*d**3 - 3*d + 2. Let t be o(1). Suppose y + 0*y - t = 0. Let n(p) = -p**2 + 6*p - 8. Let x be n(y). Sort 4, -3, x in decreasing order.
4, x, -3
Let h = 687 - 638. Put -3, 0, h in increasing order.
-3, 0, h
Let w(i) = -i + 3. Let g be w(3). Let z = 33 - 29. Suppose 3*m + g*n + 14 = n, -z*m = 4*n + 24. Put m, -4, 2 in increasing order.
m, -4, 2
Suppose 4*j = -4*k, 4*j + 6 = 26. Let t = k + 16. Suppose 5*i = 4 + t. Put -5, 2, i in ascending order.
-5, 2, i
Let x = 58 + -42. Put 2, 2/5, -0.4, x in decreasing order.
x, 2, 2/5, -0.4
Let b(n) = -5*n**2 - n. Let d be b(-1). Suppose -8*m = -11*m. Suppose -2*q - 20 = k + q, 2*q + 5 = k. Put d, m, k in decreasing order.
m, d, k
Suppose 0 = 4*c - 7 - 1. Let g be 3/(-2)*(c + -4). Let v(w) = -w**3 + 2. Let z be v(0). Sort z, 1, g.
1, z, g
Let d(c) = -16*c**3 - 1. Suppose 4*u - 16 = 0, 11 = -3*a + u + u. Let w be d(a). Suppose 2*t + t = w. Sort -4, 3, t.
-4, 3, t
Suppose -4*k + 7 = -29. Suppose k*o - o - 16 = 0. Sort o, -2, -5 in increasing order.
-5, -2, o
Let u = -6.75 - -0.25. Let y = u + 7. Let g = 0.8 - y. Sort g, 0.2, 1 in descending order.
1, g, 0.2
Let x be -2*(95/(-30) - -3). Let q = -50 - -75. Let s be (-4)/(-15) - (-10)/q. Put -8, s, x in decreasing order.
s, x, -8
Let l be (8 - 2) + 0 + -1. Suppose 3*x = 4*f - 4, 2*x - 24 = -4*f - 0. Suppose 20 + 11 = -x*c - v, 2*v = -6. Sort c, l, 2 in decreasing order.
l, 2, c
Suppose 3*b + 8 = 4*b + 2*p, -30 = 5*b - 4*p. Put -7, b, 5 in ascending order.
-7, b, 5
Let q(n) = -3*n + 59. Let u be q(21). Let f(v) = 6*v - 1. Let s be f(1). Let t = 2 - s. Sort t, 3, u in descending order.
3, t, u
Let u = 756 + -752. Sort 0.1, 180, -1, u in descending order.
180, u, 0.1, -1
Let b be (-8)/36*(1 - (-3)/3). Put -0.7, b, -1/4 in increasing order.
-0.7, b, -1/4
Let g = 954 + -958. Sort -13, g, 3, -2 in ascending order.
-13, g, -2, 3
Let t = 13 - 14. Let d = -1 + t. Let b be -1 + 0 - (d - 2). Sort b, -5, -4 in descending order.
b, -4, -5
Let o(d) = -d**3 + 4*d**2 + 13*d - 4. Let j be o(6). Suppose -4*a - h + 15 = 2, h - 1 = j*a. Sort a, 5, -5.
-5, a, 5
Let x(h) = -h**2 + 18*h - 84. Let s be x(18). Sort 3, 0, s in ascending order.
s, 0, 3
Let h(y) = -y**3 + 9*y**2 + 4*y + 13. Let s be h(10). Let i = s - -237/5. Let l = 0.015 + -0.215. Put 0.1, l, i in ascending order.
l, 0.1, i
Let j be (7 + -3)*(3 + 0)/6. Sort -3, j, -4, 3 in increasing order.
-4, -3, j, 3
Let c = 0.37 + -0.4. Let i = 429 - 291. Let p be (((-24)/(-20))/3)/(i/(-30)). Sort c, 3/4, p in descending order.
3/4, c, p
Suppose 101*v - 100*v - 4 = 0. Sort 39, 3, v, -3 in descending order.
39, v, 3, -3
Suppose 4*u + 89 = 337. Suppose -57*r - 10 = -u*r. Put -2, -1, -3, r in ascending order.
-3, -2, -1, r
Let v(p) = 10 - p**2 + 22*p - 14*p + 2*p**2. Let s be v(-7). Let z = 3 + -3. Sort z, s, 5.
z, s, 5
Let b be (-3)/6 - (-93)/(-6). Let m(u) = u + 16. Let p be m(b). Sort p, 4/5, 5 in decreasing order.
5, 4/5, p
Suppose 15*s - 2 = 14*s. Suppose 0 = -5*l + s - 22. Suppose 7 - 3 = -2*m. Sort m, 4, l in decreasing order.
4, m, l
Let n(h) = h**2 - 27*h. Let y be n(27). Put y, -2/53, -0.1 in descending order.
y, -2/53, -0.1
Let w be (-7)/(-5) - (-39)/65. Let t(i) = i - i - 4 + 2*i. Let k be t(w). Put -2, 4, k in increasing order.
-2, k, 4
Let u = 975 - 973. Let b(j) = -j**2 + 5*j + 1. Let n be b(5). Suppose 5*w - 3*w - 8 = 0. Sort w, u, n.
n, u, w
Let n = -2/877 - -4389/1754. Sort -1/4, n, 0.35.
-1/4, 0.35, n
Let q = 0.0383 + -0.1383. Sort 0.05, -5, q, 0 in descending order.
0.05, 0, q, -5
Suppose -11*m - 41 = 3. Put -33, 0, m, 5 in descending order.
5, 0, m, -33
Let h = -11.15 - -9.15. Put -0.3, h, -2/19, 4/5 in descending order.
4/5, -2/19, -0.3, h
Let t = -87.1 - -72. Let v = t + 15.2. Let i = -2 - -1.9. Sort i, v, -4 in increasing order.
-4, i, v
Let m = 19 - -4. Let b = -21 + m. Put -1, 4, b in descending order.
4, b, -1
Let h = -45 + 65. Suppose -2*z - h = -7*z. Let t = -64 - -71. Put z, t, -3 in decreasing order.
t, z, -3
Let m be (6/48)/(0 + (-1)/(-8)). Sort -3, m, 3, -4.
-4, -3, m, 3
Suppose 5*y - 4*i - 1 - 29 = 0, 2*i + 18 = 4*y. Suppose 0 = a + y*a - 9. Suppose -48 = 5*z - 4*c + 2*c, -3*z - 44 = -5*c. Sort a, 2, z in descending order.
a, 2, z
Let m(z) = z**3 - 7*z**2 + 12*z - 15. Let c be m(5). Let w(a) = a + 1. Let y be w(5). Sort c, y, 4 in increasing order.
c, 4, y
Let h be 54/171*((-2)/2)/2. Let z = -5/152 - h. Sort 2/7, 0.3, 1, z in descending order.
1, 0.3, 2/7, z
Suppose 5 = y - 1. Let r be 1/y + (-42)/(-72). Put r, -1/7, 0.3 in descending order.
r, 0.3, -1/7
Let j be 3*(3 - (-39)/(-9)). Suppose 0*l - 6*l = 0. Suppose -13 = -f - 5*h, -4 + 1 = -h. Sort l, f, j in decreasing order.
l, f, j
Let f = -7 - -11. Suppose -z = -f - 1. Let d be (-1)/(4/(-12)*3). Sort z, -4, d in descending order.
z, d, -4
Let m be -2*((2 - 2) + -1). Sort 11, -4, -5, m in ascending order.
-5, -4, m, 11
Suppose x = 2*x. Let p(d) = -d**2 + 8*d - 11. Let c be p(7). Put c, x, -2 in descending order.
x, -2, c
Let y = 1/823 - 3297/4115. Sort -0.2, -3/7, y.
y, -3/7, -0.2
Let j = 7.9 - 7.9. Put 8, 3, 1/2, j in increasing order.
j, 1/2, 3, 8
Let x = -83 - -33. Let r = -34 - x. Let u = 11 - r. Put u, -0.08, -3 in descending order.
-0.08, -3, u
Let h = 36 - 26. Let w = -3945 - -3944. Sort -4, h, w in descending order.
h, w, -4
Suppose 2*b + 2*c = 6 + 6, -3 = 3*c. Let s(m) = 7*m - 24. Let g be s(4). Sort 3, b, g.
3, g, b
Let o = 571 - 547. Put o, 3, -4, 4 in ascending order.
-4, 3, 4, o
Let h be (0 - (-5)/(-2))*154/77. Sort -65, 0, 5, h in descending order.
5, 0, h, -65
Let q be (22/(-33))/(4*(-2)/60). Put -1, q, -137 in decreasing order.
q, -1, -137
Let v = -1578 - -1582. Put 11, -4, v, -0.1 in decreasing order.
11, v, -0.1, -4
Let k be (-1 + 6)*(-4)/10. Let r be ((-3)/(-5))/(k/(-10)). Let w(o) = 53*o**2 - 533*o + 29. Let f be w(10). Sort r, f, 2 in increasing order.
f, 2, r
Let b = 79 + -78.88. Let w = 4.12 - b. Put -5, 0, w, 1 in descending order.
w, 1, 0, -5
Let g = 12.11 + -12. Let z = 116 - 118. Sort 2, g, z in descending order.
2, g, z
Let p = -49 - -38. Let w = p + -16. Let h = w - -27.5. Put h, -1/4, -0.04 in ascending order.
-1/4, -0.04, h
Let v = -1/5 + 11/30. Let z = -0.034 + -0.066. Let r = 12 + -7. Sort v, r, z in ascending order.
z, v, r
Let n(h) = -2*h**2 - 51*h + 27. Let u be n(-26). Put u, 6, -1, -2 in descending order.
6, u, -1, -2
Let h(x) = -8*x - 575. Let q be h(-72). Sort q, -23, -4 in decreasing order.
q, -4, -23
Let w = 17 + -15. Suppose p - 3 = -2*p, w*t + 5*p - 7 = 0. Sort 3, t, 4.
t, 3, 4
Suppose -5*y - 19 = l, -2*l + 2*y + 2*y = -18. Let d be 2*((-55)/11)/(2/l). Put 1.4, d, 0.5 in descending order.
1.4, 0.5, d
Let u be 36/210 + 8/(-14). Let t = -1/10 + u. Put -4, t, 0 in increasing order.
-4, t, 0
Let v = -0.4 + -0.1. Let m = 43 + -77. Let t = m - -34.