 68658/5 - 13732. Put c, n, -3 in descending order.
c, n, -3
Let i = -279 - -484. Let v = i + -204.94. Sort 2/21, 0.3, v in ascending order.
v, 2/21, 0.3
Let z(m) = -m**3 - 5*m**2 + 6*m + 2. Let h be z(-6). Let d = -52930 + 52931. Sort h, 5, -20, d in increasing order.
-20, d, h, 5
Suppose -402*q - 1 - 345 - 56 = 0. Suppose 2*h - 7*h = 25. Put 0, q, -3, h in decreasing order.
0, q, -3, h
Let u be 45090/(-144) + -5 - -3*4/96. Sort -0.5, -4, u, 2/5, -0.04 in increasing order.
u, -4, -0.5, -0.04, 2/5
Let s = -5.1862 + 0.1862. Sort -4, 2, -36, s.
-36, s, -4, 2
Suppose -67 = -q - 64. Suppose l + 4 = 5*m, 2*l - 3*m + 4*m = q. Sort 7, 5, l, 0 in descending order.
7, 5, l, 0
Suppose -8*v = 55 + 105. Sort 5/6, -0.3, 0.2, v, 0 in decreasing order.
5/6, 0.2, 0, -0.3, v
Let i be 12*(13/(-4) - -1). Let r(d) = -d**2 - 118*d - 2552. Let s be r(-90). Let j = i - s. Put 3, j, -2 in decreasing order.
j, 3, -2
Suppose 3*a + 3*l - 18 = 0, 3 = 3*a - 7*l + 5*l. Sort -32, 4, 10, a.
-32, a, 4, 10
Suppose -2*l + 10*l - 40 = 0. Suppose -12 = k + 2*w + 2*w, -l*w = 15. Let y = -6 + 5. Sort 5, y, k, -3 in ascending order.
-3, y, k, 5
Let y be (142 + -142)*(-2)/6. Sort 2, -3, 111, y.
-3, y, 2, 111
Let o = -6099 + 6103. Sort o, -3, 2, 8.
-3, 2, o, 8
Let j(w) = -w - 2. Let k be j(-2). Let i(t) = -9*t - 2*t + 16*t + 7. Let x be i(-2). Put 1, -5, x, k in descending order.
1, k, x, -5
Suppose -7*h + 2*h = 0. Suppose -3*d + 8 - 2 = h. Suppose -m = 5*i + 24 + 4, 0 = -d*i - 10. Sort -2, -5, m in descending order.
-2, m, -5
Let b(x) = 6*x**2 - 26*x + 7. Let d be b(4). Sort d, -0.02, -2/13 in descending order.
-0.02, -2/13, d
Let t = -26.2974 + -0.0026. Let i = t - 2.7. Let f = 25 + i. Sort -0.5, -9, f in descending order.
-0.5, f, -9
Let c = -13050 - -13052. Sort 0, 20, -5, c, 13 in ascending order.
-5, 0, c, 13, 20
Let l = 859 + -2042. Put -2/5, l, 2/5 in ascending order.
l, -2/5, 2/5
Suppose -w - 374 = -5*g, -3*w - 376 = -2*w - 4*g. Let v = 219 - 223. Let l be (w/220)/3 + v/(-22). Sort l, -2/3, -3, 0.3 in decreasing order.
0.3, l, -2/3, -3
Let g = 7.8 - -0.2. Suppose -2*d - 2*d = -20, 2*n = -5*d + 97. Suppose 9*p = -n - 0. Sort p, g, 0.2.
p, 0.2, g
Suppose -11*o + 15*o + 4 = 0, 51 = 3*m + 3*o. Suppose -2 + m = -8*i. Let l be (((-27)/6 - -4) + -1)*i. Sort 2, 0, 4, l.
0, 2, l, 4
Suppose 0 = 13*u - 9*u - 16. Let z be 3*u/(-42) + (-128)/(-7). Suppose -12 = -6*t + z. Sort -4, -1, -2, t in descending order.
t, -1, -2, -4
Let w be 4/(-10) - 40/25. Let s be ((-117)/45)/((-3)/15). Sort w, 0, -5, s.
-5, w, 0, s
Let v be 18/(-4) + 4 + 0. Let a be (-1786)/(-1995) + 8/(-10). Sort 0.3, 5, v, a.
v, a, 0.3, 5
Let l = 0.06089 - 4.06089. Put l, 3, -17 in increasing order.
-17, l, 3
Let a = -81 + 83. Let y be (-1)/(a/(40/4)). Sort y, 3, -11, -4 in decreasing order.
3, -4, y, -11
Suppose -2*v - 6 = -0. Let r be 20/9 + (-30)/135. Put v, r, -2 in descending order.
r, -2, v
Let a(l) = -3*l**2 - 70*l + 1670. Let h be a(-38). Let s be 2/(-3) - 1/3. Put h, 11, s in increasing order.
h, s, 11
Let j be (-1*2)/(10/70). Let l = -547 - -545. Put j, -1, -4, l in decreasing order.
-1, l, -4, j
Let v be 4/3*24/(-16). Let y = -37 - -37. Let q = -31 - y. Sort q, v, 2 in descending order.
2, v, q
Suppose 15*f = 11*f - 16. Let c = -19 - -29. Put 1, c, f, -5 in increasing order.
-5, f, 1, c
Let j = -1109 + 1105. Let l(h) = h**2 - 4*h - 17. Let r be l(7). Sort -1, r, j in descending order.
r, -1, j
Suppose -2*z + 29*r - 9 = 28*r, -r = 2*z + 3. Let t be 0/1 + ((-174)/54 - z). Sort t, 4/3, 0 in increasing order.
t, 0, 4/3
Let k = -1.49 - -1.59. Let i = -1.33 - -3.98. Let j = 0.35 + i. Sort -0.3, -12, j, k in descending order.
j, k, -0.3, -12
Suppose 0*x - 13 = -17*x - 81. Put -129, x, -25 in descending order.
x, -25, -129
Let d = 0.0479 - 381.0479. Let h = d + 379. Sort 6, 0.1, h, -6.
-6, h, 0.1, 6
Let z = -2.8457 + -0.1543. Suppose 4*r = s + 75, 3*r - 3*s = -4*s + 65. Sort 2, r, -0.4, z in decreasing order.
r, 2, -0.4, z
Let o be (-85)/68 - (5/(-4) + 2). Sort 4, -25, o in increasing order.
-25, o, 4
Suppose 20034*m = 20035*m - 3. Sort -24, 2, 0, m in increasing order.
-24, 0, 2, m
Let c be 2 + 2 - (-12)/(-15). Let x = -0.032 - 3.968. Put 1/5, x, c, -2 in increasing order.
x, -2, 1/5, c
Suppose 36 = -4*x - 3*a, 170*a = -5*x + 165*a - 55. Put 13, x, 5, -0.2, -1.36 in increasing order.
x, -1.36, -0.2, 5, 13
Suppose -y - 6*y = -21. Let s be 7 - (y - (-1 - 0)). Let i be (3 + -1)*10/(-20). Put s, -2, 2, i in descending order.
s, 2, i, -2
Let d(m) = -m**2 - 8*m + 386. Let c be d(-24). Sort c, 7, 6, -1 in increasing order.
-1, c, 6, 7
Let z(i) = 2*i + 1. Suppose -4 - 1 = 3*w - 2*y, -3*w - 1 = 2*y. Let k be z(w). Suppose -4*m = 19*s - 21*s - 26, -8 = -2*m. Sort s, -2, k in decreasing order.
k, -2, s
Suppose -109*b = -113*b + 640. Let i be 1/(-5)*b/32*4. Suppose 3*m + 2 = m. Sort i, -3, 1, m in increasing order.
i, -3, m, 1
Suppose 2*a = a + 13. Suppose -b = 5*o - 26, -18*b + 23*b - 210 = -5*o. Let u be (a/(-6) - -2) + b/(-12). Put 2, -8, u in decreasing order.
2, u, -8
Suppose o - 2*g - 84 = -4*o, o + 2*g - 24 = 0. Suppose -16*q + 28 = -2*q. Suppose 0 = -q*y + 2*h - o, -6*h + 3*h = -15. Put y, 0, -3/4 in descending order.
0, -3/4, y
Let q = -8 + 5. Let f = -22 - -27. Put -5, f, q, -4 in ascending order.
-5, -4, q, f
Let a(j) = -2*j**2 - 31*j + 181. Let c be a(-20). Put -4, c, -2, 3, 5 in decreasing order.
5, 3, c, -2, -4
Suppose 0 = r - 14 + 4. Let s be ((-2)/(-14))/(112/3136). Sort s, r, 5 in increasing order.
s, 5, r
Let l = -464519/4 + 116129. Let a = -0.1 + -0.9. Sort -18, a, l in increasing order.
-18, a, l
Suppose -3*d = 0, -u = -2*u - d. Let o be u + (-88)/(-42) + -2. Let f be (-2 - (-4)/(-2))/(-31 - (-10 + -20)). Put o, f, -5 in descending order.
f, o, -5
Let z(n) = 4*n**3 - 8*n**3 + 14*n + 4*n**3 - 8 + 4*n**2 - n**3. Let j be z(6). Suppose u = -7*l + 2*l + 34, 4*u + j = 0. Sort -5, l, 0.
-5, 0, l
Suppose -97*m = -61*m + 113*m - 596. Sort m, -5, -2, -17, -4 in ascending order.
-17, -5, -4, -2, m
Suppose 0 = -4*m + 4, 9 + 13 = 5*c + 2*m. Let v be (-297)/(-15) - 19 - 29/5. Let x(t) = -t - 7. Let n be x(-5). Sort c, n, -3, v.
v, -3, n, c
Let u be (2/(-6))/((-159)/(-1908)). Sort 4, -2, 6, u, 2.
u, -2, 2, 4, 6
Suppose 52 = -18*z + 196. Suppose 4*l - z = 4*m - 28, -3*l + 2*m = 14. Put -5, 45, l in descending order.
45, l, -5
Suppose -17 = 4*z + 5*d, 4*z - d - 2*d = -9. Let g(p) = p**2 + 4*p - 33. Let m be g(-8). Let u be 3/(-6)*0 + (m - -3). Put -5, u, z, -4 in decreasing order.
u, z, -4, -5
Let n = 13319 - 13319.041. Put -12/11, -1/3, n in ascending order.
-12/11, -1/3, n
Let x be ((-840)/(-70) + 11*(-3 - -2))/3. Let y = -0.3 - 0. Sort x, -2, y, 6 in increasing order.
-2, y, x, 6
Let i = -31 + 36. Let o = -0.3 - -1.3. Let j = -10417 + 10414. Sort o, i, 4, j.
j, o, 4, i
Let m = 12/401 - 2466/2005. Put -8, -1/3, m, 3 in decreasing order.
3, -1/3, m, -8
Let s be (-1048)/(-1572)*(0 + 3). Put 574, -5, s in increasing order.
-5, s, 574
Let g = -1.502 + 1.102. Let k = -1 + -4. Let t = -1010 - -7068/7. Put k, g, 3, t in increasing order.
k, g, t, 3
Let a be -2 + (-14)/8 - -4. Suppose 0 = o + 2*t - 2 + 5, 2 = -t. Let q = 4.51 - 12.51. Sort o, a, q in descending order.
o, a, q
Suppose -15*g - 70 = 55*g. Sort 1, g, -3, 1557 in descending order.
1557, 1, g, -3
Let h = 111 - 110. Suppose 0 = -2*r - 3*r + 375. Suppose 0 = 7*x - 12*x + r. Put x, -4, h in increasing order.
-4, h, x
Let l(g) = g**3 + 2*g**2 - 14*g + 17. Let n be l(3). Sort 2, -44, n, 0 in descending order.
n, 2, 0, -44
Let o be (-1 - -1) + -4*1. Let k = 136506 - 136509. Sort 1, -12, k, o in descending order.
1, k, o, -12
Let o(n) = -21*n + 46. Let x be o(2). Suppose -4 = -4*m - g, -4*m + g + x = -0. Sort -2, m, 4, 35 in ascending order.
-2, m, 4, 35
Let d(t) = 17*t + 1. Let k be d(0). Sort k, 0, 2, 5, -315 in decreasing order.
5, 2, k, 0, -315
Let f = 263 - 258. Suppose -f*c = -76 + 61. Sort -0.2, c, -0.02 in increasing order.
-0.2, -0.02, c
Let r = 3.9 + -4. Let z be (70 + -1)/(0 - (-9)/(-6)). Let u be (z/(-7))/(-2) + (-48)/(-16). Sort r, 0, u in increasing order.
u, r, 0
Let u = -680 - -679. Let w = -0.08 + 0.08. Let h = w + 0.1. Sort u, -3, h, -2/9.
-3, u, -2/9, h
Let g = -538 + 577.3. Let n = 582 - 541. Let y = n - g. Put -1/4, y, -5 in decreasing order.
y, -1/4, -5
