et c = -154/15 - -48/5. Put -3, c, n, 2 in increasing order.
n, -3, c, 2
Let k be ((5 - 3) + 7)/(3/1). Put -1, -5, k in decreasing order.
k, -1, -5
Let n = 27823 + -27812. Let o = 2 + -1. Put n, 1/9, -4, o in increasing order.
-4, 1/9, o, n
Suppose z + 4*g + 0*g + 56 = 0, 3*z + 2*g = -118. Sort 1, z, -2, 3 in decreasing order.
3, 1, -2, z
Let z be (144/4212)/(-1 - (-44)/36). Put -0.11, z, -1 in decreasing order.
z, -0.11, -1
Let f(b) = -b**3 + 3*b**2 + 3*b - 11. Let l(n) = n**3 - 4*n**2 - 2*n + 11. Let z(o) = -3*f(o) - 2*l(o). Let g be z(0). Put 1, g, 4 in decreasing order.
g, 4, 1
Suppose 2*r + 2*r - 20 = 0. Suppose 8*p - 3*p - r = 0. Sort p, -4, 5 in decreasing order.
5, p, -4
Let s(k) = -k**3 + 2*k**2 + k - 3. Let t be s(0). Sort 1, t, 5.
t, 1, 5
Suppose 5*c = -3*f - 51, -3*f - 22 + 1 = -5*c. Sort f, -3/7, -1.
f, -1, -3/7
Suppose -9*c + 10*c - 2 = 0. Suppose -2*l = 4 - c. Put l, 2, -3 in increasing order.
-3, l, 2
Let f be (0/(-4))/(3 - 2). Suppose f = -4*a + 2*y - 2 - 2, 3*a - 2*y = -5. Suppose -5*q - 4 - a = 0. Sort q, 5, 0 in descending order.
5, 0, q
Let s = 51 - 254/5. Let m = 12 + -9. Let i be 4/6 - 4/(-3). Sort m, i, s in descending order.
m, i, s
Suppose 0 + 4 = -2*o. Let n be ((-56)/(-84))/(1 + (-10)/6). Let f be 30/200 + 1/4 + n. Sort 0.5, o, f.
o, f, 0.5
Let h be (-3)/24*-2 + 94/8. Let l be ((-2)/h)/(5/(-15)). Let n = 6.91 + -7. Sort n, l, 0.1 in ascending order.
n, 0.1, l
Let o = 22.7 + -23.1. Put -3/2, o, -0.01, -5 in ascending order.
-5, -3/2, o, -0.01
Let s be -1 + 4 + (-5 - -1). Sort s, 1, -10, 2 in decreasing order.
2, 1, s, -10
Suppose -15 = -5*z + 4*w - 6, 5*w = -z + 25. Let a be ((3/9)/(z/15))/(-1). Sort 5, 1, a in decreasing order.
5, 1, a
Let r = 45 - 43. Suppose -4*x - o + 1 = 0, -4*o + 4 = -0*x - x. Suppose -w + x = -3. Put 5, w, r in increasing order.
r, w, 5
Let n = 179 + -177.54. Let o = 1.46 - n. Sort 3, o, 0.4, 4 in ascending order.
o, 0.4, 3, 4
Let u = -0.132 - -0.132. Sort 2/19, u, 0.5 in ascending order.
u, 2/19, 0.5
Let a(k) = k**3 + 6*k**2 - 31*k + 1. Let s be a(-9). Sort 1, 3, s in increasing order.
1, 3, s
Let q = 3.18 - 0.18. Let o = 1.32 + -1.82. Sort 2, o, 5, q.
o, 2, q, 5
Let p(v) = 9*v - 12. Let t be p(1). Let f = 7 + -12. Put 3, t, f, -6 in increasing order.
-6, f, t, 3
Let h(z) = z**2 + 3*z - 2. Let b be h(-2). Put b, -1, -0.5, 0 in descending order.
0, -0.5, -1, b
Let r be 2*(3 - 2)*(-2)/(-4). Put -41, r, 0 in ascending order.
-41, 0, r
Let s = -23726 - -1281245/54. Let l = -62101/108 - -575. Let t = l + s. Put -0.4, -0.3, t in decreasing order.
t, -0.3, -0.4
Let v = -70.7 - -71. Put v, -3, 1/5 in decreasing order.
v, 1/5, -3
Let c = 0.9 + -1. Suppose -b = -t + 36, b + 32 = -5*t + 2. Let d = -32 - b. Sort d, 0.1, c.
c, 0.1, d
Let d = 522.92 + -523. Sort -0.5, d, 3, -1 in descending order.
3, d, -0.5, -1
Let j = 1.14 + -1.64. Let k = 2 + -7. Sort j, 2, k in descending order.
2, j, k
Let m = -201 + 196. Put m, 6, -14 in increasing order.
-14, m, 6
Let n(r) = -r**2 + 10*r - 9. Let i be n(9). Suppose i*t - 11 = -t. Suppose -x + 14 = 5*p - 8, -2*x + p - t = 0. Sort -0.4, x, -0.1.
x, -0.4, -0.1
Let c = 428 + -424. Put -2, -1, c, 57 in descending order.
57, c, -1, -2
Let g be 10 + 3308/(-336) - 2/24. Put -2, g, 3/5, 4 in ascending order.
-2, g, 3/5, 4
Let d be ((-35)/(-6) - 6)*1. Sort d, 0, -5, -0.4 in decreasing order.
0, d, -0.4, -5
Suppose -5*h + 10*h = 0. Suppose -d = a - 7, 2*d - 3 + 1 = a. Suppose 0 = -4*w + 3*r, -a*r + 0*r - 10 = -2*w. Put -2, w, h in increasing order.
w, -2, h
Let q = -2.5 + 0.5. Let k = 164 + -106. Let g = k - 65. Sort 5, g, q in descending order.
5, q, g
Let o(t) = -t**3 + 10*t**2 - 21*t - 1. Let v be o(6). Sort v, 1, 4 in decreasing order.
v, 4, 1
Let n(a) = 6*a**2 + 3*a + 2. Let z be n(-1). Suppose -40 = -5*j - x + 22, -x = -z*j + 58. Put j, -5, -4 in decreasing order.
j, -4, -5
Let p = -249 + 245. Sort -6, p, 1, 5.
-6, p, 1, 5
Let n = -43494902 + 389563708/9. Let j = n + 210393. Let d = j - 347. Sort d, 0, 4.
0, d, 4
Let y = 44.4 - 45. Let h = 0.7 + y. Sort 1, -2, h in decreasing order.
1, h, -2
Let y = 19.1 - 19. Let j = 65 - 69. Let m = -0.03 - 0.27. Put j, m, y in increasing order.
j, m, y
Let w be 141/(-47)*((-3)/90)/1. Sort -1/8, 7, w, 2 in increasing order.
-1/8, w, 2, 7
Let u(b) = 2*b**2. Let k be u(1). Suppose 3*d - d = -5*l + 1, 0 = -l + 2*d + 5. Let x be l/((-1)/(9 + -4)). Put k, -1, x in descending order.
k, -1, x
Let z(g) = g**3 - 7*g**2 + 7*g - 3. Let l be z(6). Let m be -5 - (-159)/66*2. Put l, m, -0.2 in descending order.
l, m, -0.2
Let f = 802 + -607. Sort f, 1, 0.
0, 1, f
Let o(n) = n**3 + 6*n**2 - 6*n + 3. Let i be o(-7). Let f = 105 - 106. Let j be (-2 - 0)/(4/14). Sort f, j, i in increasing order.
j, i, f
Let h = -0.2 - -0.7. Let c = -75 - -74.6. Suppose 3*g - g = -10. Sort c, g, h.
g, c, h
Let w = -983 - -982.915. Sort 3, w, -0.1.
-0.1, w, 3
Let m be (33/(-12))/(935/156 - 6). Sort 3, 0, -1, m in ascending order.
-1, 0, 3, m
Let d = -0.6 + -1.4. Let m(q) = -2*q**3 - q**2 - 4*q - 3. Let r be m(-1). Suppose -8*g + 18 = -6*g + r*w, -3*g - 1 = -4*w. Sort g, -1/3, d.
d, -1/3, g
Suppose 5*c - 10 = -3*l, 0 = -91*c + 88*c + 3*l - 18. Put -4, 0, c, 4 in ascending order.
-4, c, 0, 4
Suppose 0 = 2*q + q + 24. Let k(i) = -i - 9. Let o be k(q). Let p = o + 2. Sort 5, p, 0.
0, p, 5
Let x = 1.3 + -1.4. Let g = -47.99 - -48. Sort -4, g, x, 1/2.
-4, x, g, 1/2
Let z(p) = -p**3 - 4*p**2 + 3*p - 4. Let b be z(-4). Let i be (2 - b/(-9))*-2. Sort i, -0.4, -2.
-2, i, -0.4
Let t be (136/28 + -4 - 1)*-30. Sort -1, -1/4, -0.5, t in ascending order.
-1, -0.5, -1/4, t
Let w be 2/4 + (-7)/14. Suppose w*t + 31 = -3*t + 5*m, 2*t - m + 9 = 0. Suppose -176*f + 170*f = -30. Put t, f, 3 in decreasing order.
f, 3, t
Let d = -1 - 3. Let z(g) = g**2 + 7*g - 3. Let y be z(-8). Suppose 0 = -4*o + y*l + 2 - 18, 0 = 2*o - 4*l + 14. Sort d, -2, o in increasing order.
d, -2, o
Let d = 2493 - 2491. Let f(s) be the first derivative of -s**3/3 - 1. Let j be f(1). Sort -5, j, d.
-5, j, d
Let t be 1/1*(-8 - (1 + -7)). Put 24, t, 2 in descending order.
24, 2, t
Let z be (-3)/(-8) + 373/(-56) - -6. Sort -144, -0.1, 2, z in increasing order.
-144, z, -0.1, 2
Let c be (0/2)/(-1 + 2). Suppose c = 2*y + 1 + 1. Let n = -0.2 - -0.3. Sort y, n, -5 in descending order.
n, y, -5
Let p be 4/12 + (-24)/(-9). Suppose -2*w + w + 9 = p*t, 0 = -2*t + 3*w + 17. Put 5, 8, t in decreasing order.
8, 5, t
Let c = 7 + -7. Suppose w = -c*w + 3. Suppose 0 = -3*a - 5*a + 8. Sort a, 0, w in decreasing order.
w, a, 0
Let w = 1.3 - 1.302. Let f = -4.998 + w. Sort 0.8, 0.5, f.
f, 0.5, 0.8
Let l be (9/21)/(2/(-7))*-2. Put l, -3, 24 in decreasing order.
24, l, -3
Suppose 2*p - 1 = p. Put p, -9, 8 in decreasing order.
8, p, -9
Let r(b) = -38*b - 266. Let u be r(-7). Put 23, 1, u, -3 in decreasing order.
23, 1, u, -3
Let x(c) = -c**2 + 4*c + 5. Let a be x(4). Let b = -25 + 22. Let s be (-4)/(-2)*(-1)/2. Put s, a, b in increasing order.
b, s, a
Let g(y) be the first derivative of 2*y**2 + 3*y + 3. Let n be g(-2). Suppose 192 = 23*u - 71*u. Sort u, n, 0.
n, u, 0
Suppose -3*p = 8 - 17. Let z = 4 + 19. Let o = -22 + z. Put -4, p, o in decreasing order.
p, o, -4
Let s = -117 + 114. Let b = 2.3 - 19.3. Let w = b - s. Put 5, w, 0.2 in descending order.
5, 0.2, w
Suppose -j = -5*i + 557, 3*j - 457 = -4*i - 0*i. Suppose -5*w + i = -93. Sort 4, 0, w.
0, 4, w
Suppose -3*h + 3*f - 6 = 0, 2*h + 4*f - 12 = -4. Let y be -4*1*(-1 + h). Suppose -3*j - s = 12, -5*s - 23 - y = 4*j. Put 4, -4, j in decreasing order.
4, j, -4
Let m(v) = v**2 + 21*v + 39. Let f be m(-19). Let c = 21 - 19. Put 3, f, c in descending order.
3, c, f
Let m = 0.3 - 1.3. Let j = 64 + -63.37. Let x = j - 3.63. Put 1, x, m in increasing order.
x, m, 1
Let n = 7 + -5. Suppose 0 = h + h + n. Let u = 0.36 + 0.04. Put u, 0.2, h in ascending order.
h, 0.2, u
Let t be 1/4 - (-273)/28. Suppose 4*c + 4*w = -40, 6*w + t = 3*c + w. Let a = -11 + 8. Put c, -1, a in decreasing order.
-1, a, c
Suppose 2*z - 12 = -0. Suppose -5*f - 14 = 3*a, -14 - 2 = 4*f. Let t = 26 - 27. Put a, t, z in ascending order.
t, a, z
Suppose -121*q + 5 = -126*q. Let f = 81 + -77. Sort q, f, -4, 2 in ascending order.
-4, q, 2, f
Let v be (108 - 109)*(2/1)/4. Let j(p) = -p**2 + 1. Let o be j(1). Suppose -q = -o*q + 