c = -3897/10 + 779/2. Let r = 3 + -8. Let v = -162/1133 + -4/103. Sort v, r, c in descending order.
v, c, r
Let c(l) = l**2 - 12*l - 1. Let f be c(12). Suppose 4*t - 47 = 13. Let i = t - 15. Sort i, -3, f in decreasing order.
i, f, -3
Suppose -7*n + 16 = -9*n. Let s be (n/(-50))/((-22)/55). Let p = -0.1 - 0.1. Put 3, s, p in decreasing order.
3, p, s
Let g(p) = 6*p**2 + 6 - 2*p - 1 - p**3 + 2*p**2 + 10. Let u be g(8). Put -2, u, 0, 2 in decreasing order.
2, 0, u, -2
Suppose -3*d + 40 = 2*d. Let f be ((-32)/(-12))/(d/12). Let v = 1 + f. Put 0, v, 2 in ascending order.
0, 2, v
Suppose 0 = -4*i + 3*h - 13, -i + h - 1 = 1. Let z = -61.4 - -66. Let o = z - -0.4. Sort o, i, 1 in increasing order.
i, 1, o
Let v = 11 - 6. Let b = -908 - -908. Put 4, -3, b, v in descending order.
v, 4, b, -3
Let z = -2 + 3. Let c = -49 + 44.8. Let m = c + 4. Sort -3/5, z, m in increasing order.
-3/5, m, z
Let n = -4.1 + 0.1. Let j = 43 - 53. Let q = 7 + j. Sort q, 1/2, n in descending order.
1/2, q, n
Let y = -33.1 + 32.9. Put 1.1, y, 3, 3/2 in descending order.
3, 3/2, 1.1, y
Let q = -50 + 26. Let b be (-56)/q - 4/(-6). Let x = -6/67 + -80/603. Sort x, b, -6 in increasing order.
-6, x, b
Suppose -2*p = -2*c - 192, -4*c + 0 - 90 = -p. Let i be 151/p - (-15)/(-10). Put i, -2/15, 4 in decreasing order.
4, i, -2/15
Let z be 2/5 - (-4312)/(-6930). Let f = -0.1 + 0.15. Sort 2, -3/7, f, z in ascending order.
-3/7, z, f, 2
Let h = -9.21 - -59.21. Sort -2/17, 2/13, h in ascending order.
-2/17, 2/13, h
Let v be (8/10)/(2/10). Let s(y) = 5*y - 5. Let c be s(6). Suppose c*h - 10 = 23*h. Put v, h, 2 in descending order.
h, v, 2
Let l be (8/18)/((-14)/(-21)). Let n = -46 - -234/5. Suppose -6*w + 4 = -4*w. Sort w, n, l in decreasing order.
w, n, l
Let m = -1615/11 - -147. Let v = -0.64 + -0.06. Let n = -3.7 - v. Sort m, -2/19, n in descending order.
m, -2/19, n
Let j = -439 + 443.95. Let f = 0.15 - 0.1. Let z = j + f. Put -6, -2, z in decreasing order.
z, -2, -6
Let f = 24 - 19. Let v = 6.9 - -0.3. Let a = 0.2 - v. Sort f, a, -2/7 in increasing order.
a, -2/7, f
Let v(f) = 85*f + 1275. Let s be v(-15). Put s, 138, -5 in ascending order.
-5, s, 138
Let x(n) = -n**3 + 5*n**2 + 5*n - 5. Let c be x(7). Let i be 2/(-5) + c/(-70). Let a be (-7)/(-3) - (-4)/6. Sort a, 0.1, i in ascending order.
0.1, i, a
Suppose -4*o + 4 = 4*k - 8*k, -k = -5*o - 15. Let r(x) = -30*x - 12 + 7 + 26*x - 7. Let c be r(-4). Sort c, k, -1 in increasing order.
k, -1, c
Suppose 0*p + p = 3*m - 19, 0 = 5*p + 2*m + 146. Let b = 34 + p. Sort 0, b, -3 in ascending order.
-3, 0, b
Suppose -3*y - 4 = -t, -3*t - 1 = 5*y + t. Let o be ((0 - -2) + -1)/y. Sort o, -2, -3 in decreasing order.
o, -2, -3
Let i = -519 - -521. Let d be (0/(3 - 2))/2. Sort i, d, -11 in decreasing order.
i, d, -11
Let p be 2/(-14) + (-40)/14 - -7. Let g be ((-6)/(-15) - p) + 6/10. Let z = 4 + -2. Put g, z, -6 in descending order.
z, g, -6
Let z = 11 + -7. Let i = -305 - -304.9. Let p = -13/15 + 2/3. Put p, i, z in descending order.
z, i, p
Suppose z - 2*z + 24 = 0. Suppose 4*x + z = 4. Let l = 1 - 1. Put 1, l, x in decreasing order.
1, l, x
Let m = 6 - 8. Suppose 0 = 4*f + f + 20. Let b be (f/(-6))/(2/(-9)). Sort b, 1, m.
b, m, 1
Let p(j) = -10*j + 73. Let y be p(7). Suppose d - 18 = -2*d. Put y, -2, d in ascending order.
-2, y, d
Let k be 15/10*3/((-9)/10). Suppose -5*y = 3*i - 23, 0*i = -2*y + 2*i + 6. Sort 2, k, y in increasing order.
k, 2, y
Let m = 35 + -27. Suppose 5*n - 7 = m. Suppose -2*u = -n*u. Put u, 1/6, -8 in decreasing order.
1/6, u, -8
Let u(n) = -n**2 + 8*n + 208. Let a be u(19). Sort -165, -2/5, a in ascending order.
-165, a, -2/5
Suppose -9*y - 394 = 92. Let g = 75 + y. Sort g, -4, 5 in decreasing order.
g, 5, -4
Let s = 65 - 62. Let d = -22 - -19. Suppose 0*n = 5*p - n - 30, 5*p - 3*n - 40 = 0. Put s, p, d in increasing order.
d, s, p
Suppose 27 = 9*r + 36. Sort r, 4, 3, -3 in decreasing order.
4, 3, r, -3
Let q be 80/(-10)*(-20)/32. Let r(c) = c**2 - 5*c - 8. Let l be r(7). Put q, 0, l in decreasing order.
l, q, 0
Let s be 1/(-2) + -13*1/2. Put 1, 1/6, s in descending order.
1, 1/6, s
Suppose 2*c = 11 - 37. Let o(t) = t**2 - 6*t - 44. Let d be o(11). Let a = d + c. Sort -5, a, 2 in descending order.
2, a, -5
Suppose 2*g = -5*v + 186, 5*v - 4*g = 4*v + 46. Let q(y) = -100*y + 1902. Let s be q(19). Sort v, s, -3, 3 in increasing order.
-3, s, 3, v
Let b be (-1 - 1/(-3)) + 15/9. Suppose 2*q - 36 = -4*k, -2*q + 18 + 26 = 5*k. Suppose 0 = -2*o - 2*o - k. Put b, o, -3 in descending order.
b, o, -3
Let f be (-6)/4*(-8)/42. Let j be ((-8)/60*12)/((-3)/45). Let y be (((-176)/j)/(-11))/(-1*1). Sort y, -1/3, f in decreasing order.
f, -1/3, y
Let z be ((-4)/(-6))/(8/(-12)). Let x(g) = 5*g**2 - g - 2. Let s be x(z). Sort -2, 2, s in descending order.
s, 2, -2
Suppose 0 = 3*u - 8*u - 4*t + 6, -6 = -u + 4*t. Suppose -3 - 7 = -u*g. Suppose 0*i + 2*i = 4*n + 2, i - 3*n = 0. Put -4, i, g in decreasing order.
g, i, -4
Let z = 14 - 10. Let d be z/5*(-3 + -2). Let j be (-4)/16 - 13/d. Sort 2, j, -2 in ascending order.
-2, 2, j
Let v = -4 - 0. Let b(o) = -o**2 - o + 9. Let a be -3*(0 - (-4)/6) + -2. Let s be b(a). Sort v, -7, s in increasing order.
-7, v, s
Let x = 255 - 1277/5. Sort -1, x, -2, 1/7.
-2, -1, x, 1/7
Let j = -736.5 + 737. Put j, 3, -345 in ascending order.
-345, j, 3
Let r = -672 - -675. Suppose -3*u = -0*u + 15. Suppose 2*o + 3*t + 16 = 6*o, 2 = -2*o - t. Sort r, u, o in decreasing order.
r, o, u
Suppose -2*s - 2*s + 16 = 0. Let u be -10*(2 + (-6)/s). Let t(b) = b**2 + 9*b + 10. Let m be t(-7). Sort u, -6, m in descending order.
m, u, -6
Let s = 75 - 70.4. Let f = -7.6 + s. Suppose 0 = -2*c + 2 + 4. Put c, f, 2 in ascending order.
f, 2, c
Let m = 165 + -173. Let h = 0 + -12. Let q = h - -8. Sort q, m, 5.
m, q, 5
Let p = -8 + 3. Suppose 3*t + 7*t + 12*t = 0. Put 3, p, t, 2 in descending order.
3, 2, t, p
Suppose 2*q = -3*y, -3 = 4*q + 3*y + 3. Sort q, 4, 2, -16 in ascending order.
-16, q, 2, 4
Let m(s) = s**3 + 11*s**2 - s - 7. Let h be m(-11). Suppose 3*a + 5*c + 2 = 0, -8*a + 3*a - 28 = -4*c. Let p be a/1*9/(-12). Sort 1, p, h in ascending order.
1, p, h
Let g(p) = 12*p + 279. Let h be g(-23). Let j be 0 + -2 - 2/(-1). Suppose -2*u - 2*z + 14 = 2*u, -5*u - 5*z + 10 = j. Sort h, u, 1 in decreasing order.
u, h, 1
Let d = -0.011 + 11.011. Let m = d + -15. Sort 4, 7, m.
m, 4, 7
Let g = -14 - -10. Suppose 4*h = 2*i - 24, h + 4 - 1 = -i. Suppose 4*l - 2*q + 8 = 3*q, -4*q = -16. Sort l, g, h in increasing order.
h, g, l
Let t = 226 - 225.9. Put -2/3, -2, 0.02, t in ascending order.
-2, -2/3, 0.02, t
Let d(u) = u**2 - 66*u + 1073. Let a be d(29). Put a, 3, -2, -4 in decreasing order.
3, a, -2, -4
Let b = 0.118 + 42.382. Let c = b - 42. Put -3, 3/8, c in increasing order.
-3, 3/8, c
Let g = -1.2 - -1.4. Let u = 3 + -3/2. Sort g, -3/7, u in decreasing order.
u, g, -3/7
Suppose -20 + 8 = -4*t. Let r be 4 - (t - (4 - 4)). Put 3, r, 2 in ascending order.
r, 2, 3
Let g(u) = -2*u**3 - 11*u**2 + 9*u + 13. Let h be g(-6). Put -3, h, -13, -9 in increasing order.
-13, -9, h, -3
Let g = -8 + 5. Let y = -1.4 + 0.4. Let a = y - -0.6. Sort g, a, -4.
-4, g, a
Let y = -15.21 - -1.31. Let i = -16.03 - y. Let n = i + 0.13. Put n, -1/2, 0.3 in descending order.
0.3, -1/2, n
Let w be (-20)/110 - (-26)/22 - 2. Put -0.1, 4, w in ascending order.
w, -0.1, 4
Suppose r = 2*r + 8. Let y(z) = z**3 - 7*z**2 + 6*z + 4. Let i be y(6). Suppose -7*b + i = 32. Put b, r, -5 in ascending order.
r, -5, b
Let s = -0.537 + -2.463. Sort -6, 2, 4, s in decreasing order.
4, 2, s, -6
Let j = 18 - 14. Suppose m + 2 = 3*w - 4, -j*w = -4*m. Let i(p) = -p**2 - p. Let u be i(w). Sort -3, -2, u in decreasing order.
-2, -3, u
Let l(s) = 8*s + 45. Let o be l(-5). Suppose 2*t - 4 = -2. Sort o, t, 0.5 in increasing order.
0.5, t, o
Let r = 4 + 0. Let b be (0 + -2)*51/(-34). Suppose -8 = b*o + 1. Sort o, r, -1 in decreasing order.
r, -1, o
Let j = -85 + 101. Sort j, -5, -3, 5.
-5, -3, 5, j
Let c(m) = m**3 + 2*m**2. Let i be c(-2). Let h be 1/6 + 565/90*3. Suppose 22*n = h*n - 9. Sort n, i, -4 in decreasing order.
i, n, -4
Suppose 24*k - 37*k = -143. Sort k, 2, 3, -2 in descending order.
k, 3, 2, -2
Suppose -3*l - 3*l = -12. Sort l, -3, -2, 27.
-3, -2, l, 27
Let u = 2.9 + -3. Let x = 93.1 + 