 6 = 9*d, 4*z = -0*z + 4*d - 8. Sort 5, l, z in decreasing order.
5, l, z
Suppose 4*f = -2 - 10. Suppose o + 14 = -4*u, -3*o - 16*u = -13*u + 15. Let b(g) = -g**2 - 16*g - 16. Let h be b(-15). Sort o, f, h in increasing order.
f, o, h
Let b = -177 - -181. Let r(a) = -a**3 + 5*a**2 + a - 4. Let l be r(5). Sort -15, l, b, 2 in ascending order.
-15, l, 2, b
Let v be (1/(-1))/(1 - -7). Let w = -423/8 + 53. Sort -0.2, w, v in decreasing order.
w, v, -0.2
Let r = 6.4 + -7. Let t = -1.7 + r. Let z = 6.3 + t. Sort 5, z, 0 in ascending order.
0, z, 5
Let v be (-3)/5*(-2)/(-6). Let b be (-8)/84 + 32/(-168). Let t = -4.3 - -0.3. Put t, v, b in decreasing order.
v, b, t
Let g = 2.62 - 2.52. Put 3/8, 0.9, g, -5 in decreasing order.
0.9, 3/8, g, -5
Let n = 971 + -971. Sort -67, n, 1/5 in increasing order.
-67, n, 1/5
Let v be 3/2*-2 + 67. Suppose m = 4*x + 17, -2*x = 5*m + 1 - v. Suppose 0 = h + 2*p - 8, -m = -5*p + 7. Sort h, -4, 5 in descending order.
5, h, -4
Let v = -146/7 + 21. Let n be (18 + -17)*(1 + 0). Put 6/7, n, v in descending order.
n, 6/7, v
Let j be ((-2)/(-8))/(1 - (-3)/(-4)). Suppose 7*v + j - 8 = 0. Sort 4, -4, v in descending order.
4, v, -4
Let v = 331.4 - 332. Sort 0.4, v, -1, -2/5 in decreasing order.
0.4, -2/5, v, -1
Let i = -0.1 + 1.1. Let v = 1.78 + -1.88. Sort v, i, 5/6, -5 in ascending order.
-5, v, 5/6, i
Let c(y) = -2*y + 14. Let k be c(6). Let t be (-74)/(-14) + 7/((-49)/2). Sort 11, k, -3, t in ascending order.
-3, k, t, 11
Let f be ((-57)/(-24)*4)/1 + -5. Let n be 2/(-4) + 10/12. Sort -5, f, n in descending order.
f, n, -5
Let p = -624 + 628. Put 17, p, 5 in descending order.
17, 5, p
Let r be (7 - 0) + (-9)/((-72)/(-32)). Let i be r/((-6)/(-4)) - 290/87. Put 3, i, -0.03 in descending order.
3, -0.03, i
Let z = 771 - 762. Put -3/5, 7, 1, z in descending order.
z, 7, 1, -3/5
Let a = 4 + 11. Suppose 4*q - a = -3*u - 3, q = -2*u + 8. Put 2, u, -2 in decreasing order.
u, 2, -2
Let k = 6 - 10. Let d be (1 - -1) + -1 + 1. Suppose 5*a - 5*f - 8 = d, -4*f = -4. Sort -5, k, a in decreasing order.
a, k, -5
Let h = -8 - -8.3. Let o = 3.3 - 3. Let c = o - 0.3. Put 0.2, c, h in increasing order.
c, 0.2, h
Let b = 79 - 73. Suppose 0 = -b*c - 3*c + 90. Put 0, c, -1 in decreasing order.
c, 0, -1
Let f be 44/16 + 2/8. Suppose -14 = -2*o - 2. Suppose -2*l = -6*l. Sort f, o, l in descending order.
o, f, l
Suppose 12*t - 16*t + 28 = -3*i, 2*i = 0. Put 0, 1, t, -4 in decreasing order.
t, 1, 0, -4
Let q = 147/2 - 297/4. Let g = 0.001 + 4.999. Sort q, g, -1.
-1, q, g
Suppose -13 = n + 2*u, 21 - 55 = 2*n - 4*u. Let t = 17 + n. Let x be (5/10)/(2/(-4)). Sort t, x, 4 in descending order.
4, t, x
Let k = 0.0354 + -7.7354. Sort -2/5, -5, k in ascending order.
k, -5, -2/5
Let m(y) = -y + 8. Let d be m(9). Let s be (350/15)/7*(-12)/(-8). Put s, d, -4 in increasing order.
-4, d, s
Suppose 0 = 5*x - 14 - 21. Let f(c) = -277*c + 281. Let a be f(1). Put a, 5, 1, x in descending order.
x, 5, a, 1
Suppose -2*y = 3*y - 30. Let b = 221/40 - 27/5. Let h = 0.03 - 5.03. Put y, b, h in descending order.
y, b, h
Suppose -3*s = -0 - 9. Let r be 37/6 - 4/24. Let n = 8 - r. Sort 0, n, s in descending order.
s, n, 0
Let j be (-64)/(-36) + -2 - 19/36. Put -4, -1, j in ascending order.
-4, -1, j
Suppose 0 = 4*a + 70 - 50. Put 3/2, a, 0.05 in ascending order.
a, 0.05, 3/2
Suppose -3*l - 2 - 7 = 0. Let w be 5/(-3) - l/(-9). Let t be 4 - (-5)/20*-8. Put w, t, 3 in ascending order.
w, t, 3
Let k be 2*25/10 + 8/(-2). Let c(i) = -i - 3. Let s be c(-5). Let o be 0 + s/(1/1). Sort k, 4, o in descending order.
4, o, k
Let f = -33 + 32. Sort f, -38, -5, -3.
-38, -5, -3, f
Suppose -5*t - 3*r = 13, -2*t = 2*t + r + 9. Let a be (-1)/(t*2/20). Let s = 94 - 88. Put a, s, 2 in descending order.
s, a, 2
Let k = 0.3632 + -0.1632. Put 5, k, -9/11, -0.5 in ascending order.
-9/11, -0.5, k, 5
Let x = -4.7 + 4.84. Let c = -0.16 - x. Sort 3, 1/4, c in increasing order.
c, 1/4, 3
Let v = -299.02 - -299. Let u = -0.48 + -0.1. Let j = v + u. Put j, -0.1, -3 in descending order.
-0.1, j, -3
Let x = -459 + 468. Sort -2/7, x, 4, 4/3 in increasing order.
-2/7, 4/3, 4, x
Suppose z = 3*v + 10, 2*v + 5*z = 2 - 3. Let b = -0.05 + 11.05. Let c = 9 + -9.1. Put c, b, v in decreasing order.
b, c, v
Suppose 0 = -2*o + 4, -o - 10 = -a - a. Let z be (-1 - (-8)/a)*9. Suppose 5*t = 2*t - 15, -r = z*t + 18. Put 2, 4, r in increasing order.
r, 2, 4
Let v = -18 - -17. Let n be (-2)/(3/(-6) - v). Sort -3, n, 1 in increasing order.
n, -3, 1
Let j(f) = -6*f**3 + 3*f**2 - 5*f + 3. Let x be j(1). Let u(r) = -r**3 + 2*r**2. Let m be u(2). Let q = -3 + m. Sort q, -9, x in increasing order.
-9, x, q
Suppose 28 = -3*u + 5*b, -2*b = 3*u - 4*u - 11. Sort 27, 2, u in descending order.
27, 2, u
Let u = 65 + 35. Let m be u/210*3/5. Sort -3, m, -2 in increasing order.
-3, -2, m
Let v(j) = -j**2 - 35*j - 5. Let i be v(-35). Sort -1, i, 6/47.
i, -1, 6/47
Let v = 1598 - 1599. Put 2, v, -8 in increasing order.
-8, v, 2
Let r(x) = -6*x - 7. Let z be r(-4). Suppose z = -3*j - 31. Let o be (-1)/(-4) + 12/j. Sort o, 2, -1 in descending order.
2, o, -1
Let l = -225.15 + 208. Let y = -17 - l. Let r = y + -0.05. Put r, -2/13, -3 in ascending order.
-3, -2/13, r
Let i = -1200 - -1169. Sort 0.2, -5, 2, i.
i, -5, 0.2, 2
Suppose r - 2*o - 2 = 0, -2*r = 5*o - 76 + 45. Sort 1, 1/2, r, 0.2 in descending order.
r, 1, 1/2, 0.2
Let t(a) = -a**2 - 2*a - 1. Let d(z) = -z**3 + 7*z**2 - 7*z + 5. Let y be d(6). Let b be t(y). Let k be ((-15)/5)/3*-3. Sort b, k, 6 in ascending order.
b, k, 6
Suppose 51 = -2*x + 7. Let y = x - -24. Put 0, -3, y in ascending order.
-3, 0, y
Let r be (-3 - -4 - 1)/((-6)/(-2)). Let l be (4 - 2)/(-2) + 2. Sort l, r, 5, -5.
-5, r, l, 5
Let h(c) = -c + 2. Let f(b) be the first derivative of b**2 - 3*b + 1. Let r(d) = -3*f(d) - 4*h(d). Let u be r(1). Sort u, 5, -3 in ascending order.
-3, u, 5
Let k be 5/(-4)*(-4)/10. Let r be (-4)/(-2) - (-54)/(-24). Put 4, k, 9, r in increasing order.
r, k, 4, 9
Let h(f) = -f - 1. Let o be h(-5). Suppose 2*r + q = -3, 0 = -4*r + 5*q - 6*q - 1. Sort r, o, 0, -5 in ascending order.
-5, 0, r, o
Let g = 340/189 - 10/27. Put -2, g, 0.5, -2/3 in increasing order.
-2, -2/3, 0.5, g
Let a be -1*2*81*(-1)/2. Let n be (5/(-15))/(3/a). Put 0.3, -2, n in increasing order.
n, -2, 0.3
Let c be (-7)/2 - 7488/(-1920). Put 222, -3, c in descending order.
222, c, -3
Let b be (-7)/9 - (-4)/108*-6. Suppose -3*p + 0*p = 3*l + 9, -6 = l + 2*p. Sort 5, b, l, -7 in decreasing order.
5, l, b, -7
Let o(y) = 33*y - 6. Let n be o(2). Suppose -57 + n = -3*m. Sort m, 0, 3, 2.
m, 0, 2, 3
Let m be 2 - 5 - (6 + 1 - 9). Let h = -5.4 + 5. Sort h, m, 5/6 in descending order.
5/6, h, m
Let o = 19 - 18. Let s be o/55*(1 + 757). Let t = 68/5 - s. Put t, 4, 5/4 in ascending order.
t, 5/4, 4
Let r = -467/3 - -156. Put -0.09, -4, r in decreasing order.
r, -0.09, -4
Let s be 14/(-3)*13/(182/(-12)). Put s, 1, -0.23 in ascending order.
-0.23, 1, s
Let n = 54 + -68. Let x = n - -11. Suppose 0 = 4*m + 13 - 5. Sort m, x, -4 in descending order.
m, x, -4
Let h be 1/(-1*4/(-16)). Let t be h - 6 - 388/12. Let b = -34 - t. Put b, 2/3, -2/7 in ascending order.
-2/7, b, 2/3
Suppose 2*o = 2*l - 6 - 4, -3*o = -2*l + 13. Let r be 36 + -2*(3 + -2). Suppose 5*z + 7 = n + 21, 5*n + z = r. Sort -5, o, n in decreasing order.
n, o, -5
Suppose 2*w + 3*t = w + 4, -20 = -5*w + t. Suppose 81 = -8*q + 49. Put w, -2, q in ascending order.
q, -2, w
Let w be (-16)/24*(-18)/4. Suppose 30 = 5*y - s, w + 2 = -s. Sort 0, -3, y.
-3, 0, y
Let w(j) = -j**3 + j**2 + j + 5. Let i be w(0). Let a be (-3)/5 - 1278/(-1980). Let x = a - 17/11. Sort -0.4, x, i in decreasing order.
i, -0.4, x
Suppose -3*b - 6 = -2*a, -b - 2 = 2*a - 0*a. Let l(p) = 5*p + 246. Let m be l(-50). Let h = a - m. Put 7, h, 2 in decreasing order.
7, h, 2
Suppose 0 = 16*v - 14*v + 8. Let g(s) = 3*s - 3. Let c be g(2). Suppose -3*o + 5*p - 3 = o, 4*p = -c*o + 21. Sort o, v, 0 in decreasing order.
o, 0, v
Let l(r) = -3*r + 4. Let m be l(3). Let g(d) = 65*d - 913. Let w be g(14). Sort m, w, 4, -4 in descending order.
4, w, -4, m
Let f(d) = d**2 + d - 6. Let k be f(-2). Sort 0, k, 1, -4/3.
k, -4/3, 0, 1
Let z = -3/52 - -17/13. Let g(c) = -c**3 - 7*c**2 + 10*c + 1. Let o be g(-8). Let q = o - -74/5. Put q, z, -0.