f in ascending order.
0, f, b
Suppose 3*w = -w - 4. Let b be (-1)/(-4) + (-11)/(-4). Suppose 4*y - 4*o - 36 = 0, b = -y - 0*o - 2*o. Sort w, y, -2 in descending order.
y, w, -2
Let g = 215 + -219. Put -12, g, -1, 5 in descending order.
5, -1, g, -12
Let g = 507/5 - 101. Let d = -57 - -45. Sort 2/7, g, d.
d, 2/7, g
Let h = -185 + 186. Sort -0.2, 0.5, h, 2 in decreasing order.
2, h, 0.5, -0.2
Let j = 76.34 - 79. Let a = -0.34 + j. Sort 1, a, -0.1 in descending order.
1, -0.1, a
Let l = -28 - -27.5. Sort -3, 0.3, l, -15 in increasing order.
-15, -3, l, 0.3
Let v be (-8)/20 + (-138)/5. Let z = v + 26. Sort z, 7, 1 in increasing order.
z, 1, 7
Let x be (-8)/(-48) + 3 + (-61)/6. Put -2, -3, x in descending order.
-2, -3, x
Let h(w) be the second derivative of -w**4/12 - 5*w**3/3 - 6*w**2 + 30*w. Let s be h(-9). Suppose 0 = 3*i + 2*i + 20. Sort 21, i, s in descending order.
21, s, i
Let i be (277/(-2))/(15/6). Let m = -55 - i. Suppose -5 + 8 = -k. Sort m, k, -4 in ascending order.
-4, k, m
Suppose 0 = -16*t + 24*t + 40. Sort t, -87, -3 in descending order.
-3, t, -87
Let p = 0.2423 + 0.0577. Let m = -658/5 - -131. Sort m, 2/9, p.
m, 2/9, p
Let v = 3195.8 + -3196. Let q = 40/423 + 6/47. Sort v, 2, q, 1 in increasing order.
v, q, 1, 2
Suppose -5*p + 31 = -3*x, p + 2*x = 4*p - 19. Suppose -5*f - 2*k - 19 = 0, 4*f - 2*k = -4*k - 16. Sort -5, 3, f, p in decreasing order.
p, 3, f, -5
Suppose 5 = -3*o + 2*y - 6*y, 4 = y. Let z be 32/o + (-88)/(-154). Put -3, -2, z in ascending order.
z, -3, -2
Suppose -2 = x + 2. Suppose 5*p = 9 + 21. Suppose -p - 10 = -4*g. Sort -5, g, x in increasing order.
-5, x, g
Suppose 3*n + 13 = -4*t + 12, 4*t - 2 = -2*n. Sort n, -9, -5, 1 in decreasing order.
1, n, -5, -9
Let q(n) = 2*n**2 + 24*n - 17. Let v be q(-12). Let z = v + 20. Put 4, z, -4, -2 in descending order.
4, z, -2, -4
Let y = -1.08 + 2.1. Let f = y + -0.72. Sort 0.4, -0.2, f in decreasing order.
0.4, f, -0.2
Suppose 0*a + 3*a = 4*w + 28, 2*a - 20 = 4*w. Suppose -2*z + 4*n = 6*n, -5*n - a = z. Put -2, 16, z in decreasing order.
16, z, -2
Let t = 28 - 56. Let w = t - -33. Put w, 0, 8 in descending order.
8, w, 0
Let s(g) = -3*g**2 + 11*g + 4. Let f be s(0). Sort 5, f, -4, -3 in decreasing order.
5, f, -3, -4
Let b = -150 - -149. Put -0.1, 4, b, 0.02 in decreasing order.
4, 0.02, -0.1, b
Suppose 2*f = 0, -2*c + 4*f + 9 - 1 = 0. Let s(n) = n**3 - 27*n**2 - 32*n + 117. Let t be s(28). Put -1, 2, c, t in descending order.
t, c, 2, -1
Suppose -5*m + 2*i = 4*i - 20, -4*i = 5*m - 30. Let r(u) = -22*u - 396. Let b be r(-18). Sort b, m, 5.
b, m, 5
Let f = -1021.9 - -1022. Sort 7, 1, 0, f.
0, f, 1, 7
Let l = 94 - 29. Let h = -70 + l. Sort h, 2, -1, 1 in decreasing order.
2, 1, -1, h
Let y = 0.1 - -0.9. Suppose 4*l + 3*m = 0, 0 = 4*l - l + 5*m. Sort 1.2, y, l in increasing order.
l, y, 1.2
Let l = -5.58 + 5.997. Let f = 0.117 - l. Sort 0.3, f, 9 in decreasing order.
9, 0.3, f
Let v = 1.68 - 2.08. Put 1/4, -1/7, v, -0.2 in decreasing order.
1/4, -1/7, -0.2, v
Let g = -20 - -15. Let q(b) = -3*b - 11. Let t be q(-4). Let v be (-2 + 32/17)/t. Put -10, v, g in descending order.
v, g, -10
Let q(r) = r**3 - 4*r + 73. Let f be q(0). Let s = f + -67. Let x be 3 + -1 - (-1 - 1). Put s, x, 2 in ascending order.
2, x, s
Let o = 0.2 - -0.2. Sort 0.1, -5, o, -1/4 in ascending order.
-5, -1/4, 0.1, o
Let m = 1191 + -1188. Sort -1, m, -2/3, -1/3 in increasing order.
-1, -2/3, -1/3, m
Suppose -83 + 20 = -7*h. Sort h, 5, -5, -16 in increasing order.
-16, -5, 5, h
Let i be 1562/54 + 106/1431. Put i, -2, 2 in ascending order.
-2, 2, i
Let n be -3 - 1 - (-8 - -6). Let s(d) = d**3 - 12*d**2 + 20*d - 4. Let f be s(10). Put n, 2, 3, f in increasing order.
f, n, 2, 3
Let l = -0.0102 + 0.0502. Sort 0.19, 2/5, 2, l in descending order.
2, 2/5, 0.19, l
Let d = 226 + -226.7. Let a be (-20)/(-24) + 5/(-15). Put -5, d, 0, a in decreasing order.
a, 0, d, -5
Suppose -w = 2*w + 6. Suppose 0*c - 4*c - 4*s + 12 = 0, -c = -2*s + 6. Suppose -5*r = 5*o + 30, -2*r + 2*o = -c*r. Sort 5, w, r.
r, w, 5
Let n = -0.0301 + 0.0301. Let v = 0.06 + -5.06. Put 16, n, 1, v in descending order.
16, 1, n, v
Let n be (-15)/20 + (-46)/(-8). Let f(c) = c - 2. Let k be f(n). Let a = -97/140 - 3/28. Sort a, -1, k in descending order.
k, a, -1
Suppose -8*j = -4*j - 120. Suppose -3*d + j = -3*r, 5 = d + 3*d + 3*r. Sort d, 8, -3 in descending order.
8, d, -3
Let s be (70/10 - 4)*2/4. Sort 0.1, 20, s, -2.
-2, 0.1, s, 20
Suppose 3*k + 11 = 4*x, 2*k - 6*k - 6 = -x. Let c be x - 5/(20/(-196)). Sort -1, c, 0 in increasing order.
-1, 0, c
Let j = -95 + 93. Let x be (1 - -1)/(-4)*2. Sort x, -4, j in descending order.
x, j, -4
Let o = -58 - -178/3. Let a = -13.8 + 13. Let i = -1.2 + a. Put i, o, -1 in descending order.
o, -1, i
Let i(p) = p - 15. Suppose 4*x + 3*r = 44, -2*r + 26 = 3*x + 2*r. Let w be i(x). Let b be (w + -1)/(3/9). Put b, 1, 4 in descending order.
4, 1, b
Let u(r) = -r**2 + 3*r + 1. Let k be u(-1). Suppose 4*p - 10 = -2*l + 14, -4*l - 3*p + 23 = 0. Put k, l, -5 in decreasing order.
l, k, -5
Let v be 2/(-7) + 148/28. Let h = -0.2 + -4.3. Let b = -2.5 - h. Put b, v, 0 in increasing order.
0, b, v
Let v be (-5 - -3) + (-12)/6. Let t = -3.3 + 8.3. Sort t, v, 3/5.
v, 3/5, t
Suppose 2*g = 2*l - 10, 2*l = -2*g - l. Let j be 5 + -1 + -1 + 0. Suppose 0 = v + h - 5, 2*v + j*h = 9 + 3. Sort 5, g, v in increasing order.
g, v, 5
Let w = -441 + 435. Put w, -2/3, 3, -2/19 in descending order.
3, -2/19, -2/3, w
Let r = -200 + 129. Sort 0.4, r, -3.
r, -3, 0.4
Let y be (4/150)/(18/90). Put 1/3, y, 3/2, -1 in increasing order.
-1, y, 1/3, 3/2
Let l(j) be the first derivative of j**4/4 - j**3 - 3*j**2/2 - 4*j + 1. Let b be l(4). Let g = -7/54 + -5/54. Put b, g, -3 in decreasing order.
b, g, -3
Suppose -v + 2*p - 6*p - 2 = 0, -v - 2*p + 2 = 0. Let z be v/(-9) + 18/27. Put -4, z, -3 in descending order.
z, -3, -4
Let n = 1221 - 1220. Put -4, n, -5 in descending order.
n, -4, -5
Suppose -14*k + 418 + 1766 = 0. Let t = -156 + k. Sort 6, 4, 5, t in decreasing order.
6, 5, 4, t
Let u = 131 - 133. Sort u, 1, -5, 3.
-5, u, 1, 3
Suppose -85*b - 567 = -64*b. Sort 2, 3, 4, b in descending order.
4, 3, 2, b
Let d(c) = c - 1. Let y be d(0). Suppose -f = -z + 25, -4*f - 122 + 27 = z. Let t = f + 24. Put t, 3, y in ascending order.
y, t, 3
Let c = -295 - -291. Put c, -3, 2, -12 in decreasing order.
2, -3, c, -12
Suppose 31 + 9 = -4*m. Suppose 0 = 5*b - 5*v - 20, -6*b = -b + 5*v - 10. Sort -2, m, 5, b.
m, -2, b, 5
Suppose -m = -5*q - 12, 16*m + 2*q = 20*m - 12. Sort m, 10, 3.
m, 3, 10
Let b = 5 - 4. Let a = -0.6 + b. Let l be 16/(-32)*1*4. Put a, -1, l in increasing order.
l, -1, a
Suppose 4*j + 4*d = -4, 0 = -d + 5 - 2. Sort 6, 14, j.
j, 6, 14
Let y be (-6)/(-11) - (-133)/(-385). Sort y, 14, -5.
-5, y, 14
Let x(n) = -2*n**2 + 13*n + 9. Let r(q) = 5*q**2 - 27*q - 18. Let j(d) = 3*r(d) + 7*x(d). Let v = 143 + -152. Let p be j(v). Put -1, 5, p in descending order.
5, p, -1
Suppose g - 20 = -5*j, 2*g - 2 + 10 = 2*j. Sort -26, g, 1 in decreasing order.
1, g, -26
Suppose 1 = -g - 0. Suppose -2*l + 5*y = 27 + 3, -31 = 3*l - 4*y. Sort -4, l, g in decreasing order.
g, -4, l
Let o(w) = -3*w**2 + 7*w + 1. Let g(k) = k + 15. Let v be g(-12). Let l be o(v). Put -3, l, -2 in decreasing order.
-2, -3, l
Let t = -1974 - -1974.07. Sort -4, -2, t in decreasing order.
t, -2, -4
Let m = 719 + -716. Let o = -47 - -99. Sort -3, -1, o, m in descending order.
o, m, -1, -3
Let c = -36 - -45. Let h = c - 5. Put h, -1/14, -0.5 in decreasing order.
h, -1/14, -0.5
Let d be ((-6)/24)/((-12)/(-64)*-10). Sort -2, 1, d in decreasing order.
1, d, -2
Let y = -66.6 - 21.4. Let b = y - -88. Put 1, -5/2, b in ascending order.
-5/2, b, 1
Let c(a) = -a**3 + 18*a**2 - 12*a - 59. Let f be c(17). Let o = -21 + f. Suppose 34 + 11 = -5*x. Sort 4, x, o in descending order.
o, 4, x
Let u(h) = h**3 + 16*h**2 - h - 17. Let j be u(-16). Sort -2/3, j, 4, -62 in ascending order.
-62, j, -2/3, 4
Let m = 164.8 + -164.6. Sort -1, -2/43, m in increasing order.
-1, -2/43, m
Let s = 281 + -841/3. Let f = 63/2 + -319/10. Sort 1, s, f, 5 in ascending order.
f, s, 1, 5
Let s be 5/((-5)/4) - -2. Let v be (-36)/(-84) - (s - -1 - -2). Sort 0.1, v, 4/5, -3 in increasing order.
-3, v, 0.1, 4/5
Let w be 0 - ((-565)/580 + 1)