. Put f, -3, -4, -5 in descending order.
f, -3, -4, -5
Suppose 4*y + 16 = 0, -3*n + 0*n + 3*y = 27. Sort -3, 3, n.
n, -3, 3
Suppose l + 5 - 3 = -3*x, x = 5*l + 26. Sort 2, 6, l in ascending order.
l, 2, 6
Let h = -31/5 + 6. Let o be (2/4)/((-14)/4). Sort 0.3, o, h.
h, o, 0.3
Let f = -11 - -15.04. Let q = 2 - 1.96. Let k = q - f. Put -2, 0.5, k in descending order.
0.5, -2, k
Let m = 1 - 0. Let u(f) = 5*f**3 + f**2 - 2*f + 1. Let k be u(m). Suppose -12 = -k*j + j. Sort j, -3, 0 in descending order.
j, 0, -3
Let v = 5 - 4. Let k be (124/(-30))/(12/20). Let x = 275/36 + k. Sort x, 0.3, v.
0.3, x, v
Let j(a) = 2*a**2 - 26*a + 21. Let v be j(12). Sort 5, 0, v, 24.
v, 0, 5, 24
Suppose 0 = -v - 3 - 5. Let k be 17/6*(v - -4). Let u = -247/21 - k. Sort -2, u, 1/5 in decreasing order.
1/5, u, -2
Let a be (-18)/14*1/(-3). Let c = 4.871 - -0.129. Sort a, 4, c in ascending order.
a, 4, c
Suppose 1 = -6*o + 13. Put o, -5, -4 in ascending order.
-5, -4, o
Let p be (1*3)/(9/6). Suppose -2*q + 12 = p*q. Sort -1, 1, q in increasing order.
-1, 1, q
Let l = -0.8 - -0.4. Put 18, l, 1 in decreasing order.
18, 1, l
Let j(g) = g**3 - 3*g**2 - 2*g + 1. Let h be j(3). Let u(l) = -l**2 - 3*l + 3. Let a(w) = 4*w. Let f be a(-1). Let i be u(f). Sort -4, h, i in decreasing order.
i, -4, h
Let k(d) = -d**3 + 6*d**2 + 5*d + 12. Let h be k(7). Sort 5, h, 0 in increasing order.
h, 0, 5
Let j = 18 + -14. Sort 2, j, 1/8 in ascending order.
1/8, 2, j
Suppose -3*v - 20 = -0*v - 4*b, 5*v - 4*b + 44 = 0. Sort v, -0.4, 0 in increasing order.
v, -0.4, 0
Suppose -42*u = -46*u. Suppose -3*x - 3 = 0, 0 = -3*y + 4*x + 23 - 7. Put u, y, -2 in ascending order.
-2, u, y
Let x(n) = n + 9. Let y be x(-7). Put y, -5, -4 in decreasing order.
y, -4, -5
Let u = -0.16 - -0.07. Let i = -5.09 - u. Let m = 7 + i. Sort m, -2, 0.3.
-2, 0.3, m
Suppose 0 = 39*u - 37*u + 2. Put 5, u, -21 in decreasing order.
5, u, -21
Let n be -4 + 6*2/8. Sort 4, n, -6/7, -0.2 in descending order.
4, -0.2, -6/7, n
Suppose -4*u + 0*u = 216. Let d be (-12)/u*(-3)/(-2). Let z(v) = -2*v**2 - 2*v - 1. Let p be z(-2). Sort d, -1, p in descending order.
d, -1, p
Let w = -7 + 9. Sort 9, -0.4, w in ascending order.
-0.4, w, 9
Let t = 0.06 + -2.06. Let f = -0.4 + -1.1. Let d = f - t. Sort d, 2, 4 in decreasing order.
4, 2, d
Let m = -0.27 - -0.07. Sort m, -8, 1 in descending order.
1, m, -8
Let g = -1283.19 + 924.2. Let j = 363 + g. Let o = j + -0.01. Sort -5, o, -1 in descending order.
o, -1, -5
Suppose 0 = -3*z + 3 - 0. Suppose -5*v = 5*m - 50, -3*v = -6*m + m - 46. Suppose 3*g - 3*i = -i + 14, -2*i - v = -2*g. Sort g, -3, z in decreasing order.
g, z, -3
Let y(m) = -m**3 + 10*m**2 + 12*m - 14. Let o be y(11). Put -1, 3, o in increasing order.
o, -1, 3
Let l = 2.9 - 2.8. Sort 3/4, -4, l in decreasing order.
3/4, l, -4
Suppose 2*a = 4 + 4. Suppose 2*h - 2*i + 4*i + 4 = 0, -a*h + 2*i = -10. Suppose 0*c = 3*c. Sort c, h, 2 in decreasing order.
2, h, c
Suppose -3*l = 9, -7 - 3 = 5*b + 5*l. Let c = -4 - -8. Let r = -6 + 9. Sort b, c, r in increasing order.
b, r, c
Let v(u) = 2*u - 3. Let i be v(0). Let p be (-15)/(-10) - i/2. Put p, 0.9, 2/17 in ascending order.
2/17, 0.9, p
Suppose -g + 38 - 7 = 0. Let p = -17 + g. Let x be (-3)/(-12) - p/(-8). Put 1, -3, x in decreasing order.
x, 1, -3
Let s = -0.3 - 0.2. Let v be (3 - 2)/(11/2). Put s, -4/5, v in descending order.
v, s, -4/5
Suppose 0 = -k - 0*k + 2*r - 3, 3 = 3*r. Let i = k + 5. Sort -2, i, 0 in decreasing order.
i, 0, -2
Let h be (3 + -1 + -10)/(-2). Sort h, 3, 1.
1, 3, h
Let u(d) = -d**3 - 8*d**2 - 7*d - 1. Let j be u(-7). Suppose 3*n + 10 = -3*o - 11, 2 = -n. Put j, -4, o in ascending order.
o, -4, j
Let y = 165 + -169. Sort -5, -22, y in ascending order.
-22, -5, y
Let m = -0.3 + 0.1. Let i = m - -1.2. Let z = 313/7 + -45. Sort 4, z, i in decreasing order.
4, i, z
Let v = 23 - 20. Put v, 0.4, -3 in ascending order.
-3, 0.4, v
Let s = 17 + -12. Put -4, 4, s in descending order.
s, 4, -4
Let a = 2 + 0. Let w = a + -1. Let q = 0.8 - w. Put -0.1, -1, q in decreasing order.
-0.1, q, -1
Let v = 21 + -6. Let m = v + -10. Let o = -5 + 1. Sort o, -2, m in increasing order.
o, -2, m
Let j be (1 + 3)*30/8. Let w be 4 - (j/3 - 2). Suppose -h + 1 = -w. Sort 5, -5, h.
-5, h, 5
Suppose 3*n + 8*l - 3 = 3*l, -5*n + 4*l = -42. Suppose 0 = 3*m - 4*r + 24, 2*r + n = -4*m + m. Let u(q) = 3*q. Let b be u(1). Put m, 2, b in ascending order.
m, 2, b
Let c = -9 + 6. Let g = c - -2.7. Put -4, 0.3, g in increasing order.
-4, g, 0.3
Let b = -6.86 - 0.14. Let t = b - -7.3. Let j = 0.1 - 5.1. Sort -1/3, t, j in descending order.
t, -1/3, j
Let l = -15 + 13. Sort -0.3, -0.5, l in descending order.
-0.3, -0.5, l
Let x = -42 + 37. Sort 3, -3, x in decreasing order.
3, -3, x
Let u(c) = c**2 - 4*c + 1. Let s be u(3). Suppose 0 = -2*v - 0*v. Sort s, v, -4 in descending order.
v, s, -4
Let a = 1 - 0. Let o be -3*(0 + (-8)/(-12)). Put o, a, -5 in increasing order.
-5, o, a
Let l(c) = 6*c**3 + c**2 - 2*c + 1. Let p be l(1). Suppose -b - 2*b - p = 0. Let j = 2 + -1. Put -3, j, b in decreasing order.
j, b, -3
Suppose -1 = 5*i - 26. Let o be 1 + 1 + 10/(-5). Put 2, o, i in decreasing order.
i, 2, o
Suppose 2*d - 6 = -3*m, 2*d + 3 = m + 9. Suppose -5*z - 4*w = -30, m*z + 19 = -3*z + 5*w. Suppose -2*x + 8 = z*x. Sort 1, x, -2.
-2, 1, x
Suppose -7*v + 3*v = 0. Let w = -3.6 + 3.7. Sort -0.2, v, w.
-0.2, v, w
Suppose -6 = 2*g, 0 = 6*v - v + 3*g - 71. Let p = -17 + v. Sort -0.02, p, 0.3.
p, -0.02, 0.3
Suppose -11 = -m + 5*a, m - 2*a + 1 = 6*m. Put -5, m, 9 in decreasing order.
9, m, -5
Suppose 4 = -3*j - 2. Let c(v) = 2*v + 1. Let q be c(j). Let s = 4/211 - 482/3165. Sort s, 4, q in descending order.
4, s, q
Let l = -3 - -6. Let v = l + -2.6. Sort v, 2/7, -2 in descending order.
v, 2/7, -2
Suppose 2*v = y - 3, 0 = -4*y - 4*v - 8 - 16. Let m be (-1)/((-27)/(-2))*y. Let o = -207 - -205. Put m, 5, o in increasing order.
o, m, 5
Let i = 0.02 + -4.02. Let d(o) = o**3 - 6*o**2 - 6*o - 3. Let s be d(7). Put -0.3, s, i in ascending order.
i, -0.3, s
Suppose 17*d - 35 = -120. Put 1, d, -2/9, 1/4 in descending order.
1, 1/4, -2/9, d
Let q = -0.86 - -0.16. Let a be ((-108)/243)/(2/(-9)). Sort q, 5/4, a in decreasing order.
a, 5/4, q
Let u = -7 + 3. Let x(k) = -k + 1. Let i be x(u). Put 3, -1, i in decreasing order.
i, 3, -1
Suppose 11*x - 4 = -26. Put x, 2, -3, -1 in ascending order.
-3, x, -1, 2
Let s = -34 + 30. Let w = 0.2 + -0.4. Put w, s, 0.4 in decreasing order.
0.4, w, s
Suppose 0 = -5*c + 8 + 7. Sort 51, c, -3 in increasing order.
-3, c, 51
Let f be (-15)/6 + 1/2. Put 4, -3, f in decreasing order.
4, f, -3
Let o(r) = r**3 + 7*r**2 + r + 8. Let q be o(-7). Put q, -3, 2, -5 in descending order.
2, q, -3, -5
Let x(v) = -v**3 - v - 2. Let n be x(-1). Suppose n = -4*c + 1 + 7. Put c, -5, 1 in increasing order.
-5, 1, c
Let n = 3 + -4. Let x = n + -3. Put x, 2, -2 in descending order.
2, -2, x
Let s = -16 + 27. Let n = -10.7 + s. Put n, -1/2, 4 in ascending order.
-1/2, n, 4
Suppose 0 = 3*t - 1 - 2. Let u be t/(-9) - (-4)/12. Sort 0.2, -1, u.
-1, 0.2, u
Let t = -76 + 72. Put -2, t, -1, 0 in descending order.
0, -1, -2, t
Let c = 0.42 + -0.32. Put 11, 2/3, c in decreasing order.
11, 2/3, c
Let z = 2.133 + -0.133. Put 4, -3/2, z in decreasing order.
4, z, -3/2
Suppose -3*w = 5*z - 6, -3*z + 6 = -w + 2*w. Sort w, 4, 5 in descending order.
5, 4, w
Let q = -2.8 - -2.67. Let h = q - 0.37. Sort h, 5, -1/4 in increasing order.
h, -1/4, 5
Let b(i) = i**3 + 4*i**2 + 5*i + 2. Let n be b(-3). Let k be 6720/(-66) - n/(-22). Let m be (-4)/10 + k/(-30). Put 4, -1, m in descending order.
4, m, -1
Let b = 1 - -2. Let p = 3.5 - b. Sort -2, p, 4.
-2, p, 4
Let y = -1343/20 + 89261/1340. Let t = -21662/335 + y. Let h = t - -65. Sort -6, 3, h in increasing order.
-6, h, 3
Suppose p + 2*p = 0, 0 = -4*m - p. Suppose -13 = 3*a + 5*k - m, -30 = -5*a + 2*k. Let i = -2 - -1.6. Sort a, i, -1 in descending order.
a, i, -1
Suppose 48*t = 43*t - 25. Sort t, -1, 5 in decreasing order.
5, -1, t
Let q be -2*52/(-8) + 1. Let b = -9 + q. Put -1, 0.2, b in ascending order.
-1, 0.2, b
Suppose 2*d + 16 = -2*l, -4*l = 4*d - l + 29. Put -9, -4, d in decreasing order.
-4, d, -9
Let r = -97 + 99. Sort -5, 0.4, -3, r in ascending order.
-5, -3, 0.4, r
Let v = 0.02 + 0.48. S