
17, 2, k
Suppose 5*d = -2*q + 11, q - 2*d + 8 = 3*q. Let c = -639/14 + 3153/70. Put c, 2/17, q in decreasing order.
q, 2/17, c
Let b(t) = 2*t - 6. Let c be b(4). Let p be ((-172)/(-215))/((-3)/15). Sort 4, 0, c, p.
p, 0, c, 4
Let n(i) = i**3 - 31*i**2 + 58*i + 4. Let f be n(29). Let c(k) = k**2 - 7*k + 2. Let a be c(6). Put a, f, -5, -6 in decreasing order.
f, a, -5, -6
Let v be (-2)/6 + 66/144. Put -3, -12, v in decreasing order.
v, -3, -12
Let j(g) = -g**3 - 6*g**2 - 7*g - 6. Let a be j(-5). Suppose -a*b + 0*b = -24. Let d = b - 3. Sort -3, 0, d in descending order.
d, 0, -3
Let s = -1202/15 + 80. Let q = 16.86 + 0.64. Let h = q + -17. Put h, -1/3, s in increasing order.
-1/3, s, h
Let b = -226 + 221. Sort -11, 3, b, -2 in descending order.
3, -2, b, -11
Let w = 762 - 760. Put 1, 0.5, 72, w in descending order.
72, w, 1, 0.5
Suppose 0 = 5*q - 12 - 13. Suppose -q*w + 8 = -3*v - 0, 5*w - 20 = 0. Put v, -3, 0, 0.5 in decreasing order.
v, 0.5, 0, -3
Let u = 407 - 403. Sort -11, -1, 3/2, u.
-11, -1, 3/2, u
Suppose 7 = 3*x + 19. Put x, 0, -40 in decreasing order.
0, x, -40
Let f be (2 + 1/(-1))*(6 + -19). Let b be (1 - -1)*((-65)/20)/f. Put -1/4, 4, 0, b in increasing order.
-1/4, 0, b, 4
Suppose 32*k + 110 = 14. Put k, -1, 124 in increasing order.
k, -1, 124
Let z = 0.524 + -1.524. Sort 19, -1/5, 3/4, z.
z, -1/5, 3/4, 19
Let r(o) = -9*o**2 - 108*o + 5. Let u be r(-12). Put -5, -4, u in ascending order.
-5, -4, u
Let d = 416 - 411. Sort -11, -1, d.
-11, -1, d
Let l = 251 + -253. Put 4, 0, l in decreasing order.
4, 0, l
Let b = -0.05 + -0.12. Suppose 3*w - 197 - 164 = -4*o, -5*w = -3*o + 249. Let i = o - 83. Put -5, i, b in increasing order.
-5, b, i
Let c(f) = f**3 - 6*f**2 - 6*f - 2. Let z be c(7). Suppose 2*k = -2*t + 8, 3*t - z = -2*k + 5. Sort -6, -3/2, t.
-6, -3/2, t
Let p = -702 - -707. Sort -0.05, p, -1.3, -2/17.
-1.3, -2/17, -0.05, p
Let u = 32.3 + -52. Let z = -20 - u. Sort -1/4, z, 4/9.
z, -1/4, 4/9
Let y = 4.01 + -0.01. Let p = 211 - 5909/28. Let h = -15/28 - p. Sort 1/7, h, y in descending order.
y, 1/7, h
Let q(j) = 2*j - 11. Let g be q(9). Suppose -g = 3*t + d - 3*d, 3*t - 4*d + 11 = 0. Let f = 26 + -25. Sort f, t, -2.
-2, t, f
Let i(a) = a**3 + 5*a**2 + 10*a + 22. Let v be i(-4). Sort 6, 1, v, 31.
v, 1, 6, 31
Let g be (27/(-6))/(-9)*64. Let s = -30 + g. Put s, -1, 5 in descending order.
5, s, -1
Let c be (2/(12/5))/(7/42). Suppose -6*a - 5 = -c*a, -4*a = -3*r - 1. Let u(l) = 2*l - 7. Let j be u(5). Put r, 1, j in descending order.
j, 1, r
Suppose -v = 2*v - 18. Suppose -v*m + 11*m - 25 = 0. Suppose 3*u + 4*j = -7, 0*u - 2*u - 5*j = 0. Put 2, u, m in decreasing order.
m, 2, u
Suppose 0*l = 3*l. Let p = -38 + 38. Suppose 4*b + 12 = p, 5*b - 4*b + 11 = 2*q. Put -3, l, q in decreasing order.
q, l, -3
Suppose -3*u - 8 = -2. Let i = u - 0. Let p = 944 + -941. Sort i, -12, p in ascending order.
-12, i, p
Let d be (-8 + 8)/(10/5). Sort 10, d, 3, 4 in increasing order.
d, 3, 4, 10
Let w = -247/7 + 4047/28. Let k = w - 110. Suppose g = 2*m - 5, 2*m = 4*g + 3*m - 25. Put k, g, -1/2 in increasing order.
k, -1/2, g
Let l be (41/(-164))/(1/(-12) - 0). Sort 5, l, -77.
-77, l, 5
Suppose 4 = 4*r + 5*g - 2*g, 5*r - 32 = 3*g. Suppose -d - 11 = -5*z + 2*z, -d + 24 = r*z. Let s = 1.1 - 0.1. Sort d, s, -3 in increasing order.
-3, s, d
Let w(y) = -4*y - 1. Let a(z) = 2*z - 13. Let p be a(6). Let g be w(p). Put 0, g, 4 in increasing order.
0, g, 4
Let o be 3 - 1 - 9/5. Let p = 1643 - 1641. Sort p, o, -1/7, -2/13 in ascending order.
-2/13, -1/7, o, p
Let d = 244.7 - 245. Put 1, -3, d in increasing order.
-3, d, 1
Let a be 10/(-85) - 285/(-255). Suppose 6 = 5*u - 2*x + 36, -5*x + 6 = -u. Put u, a, -4 in increasing order.
u, -4, a
Let j = 174.8 - 175. Put j, 1/2, 4/9, 6 in ascending order.
j, 4/9, 1/2, 6
Let n = 3.2 + -4. Let k = n + 1.5. Suppose -3*x = -4 - 5. Sort 0, k, x in increasing order.
0, k, x
Suppose -4*o = -2*m - 6*o, -2*o + 2 = 0. Let c = -11 - -17. Suppose 0 = w - 0*w - c. Put w, m, 4 in ascending order.
m, 4, w
Let q = 22 + -23.3. Put 0.2, 2, q in decreasing order.
2, 0.2, q
Let m = 11 + -10. Let r be m/(55/25 + -2). Put -4, -5, r in decreasing order.
r, -4, -5
Let x be 3/(-1 + 12/16) + -1. Put x, 6, 5 in increasing order.
x, 5, 6
Suppose 62*c + 70 = 76*c. Put 16, 1, 4, c in descending order.
16, c, 4, 1
Let t be (10/36)/((-10)/(-6)). Let q = 6 + -1. Sort t, -5, -0.4, q.
-5, -0.4, t, q
Let j be (4 - 11/3)/(6/4). Let t = -48 - -238/5. Sort t, -1/2, 0.2, j in ascending order.
-1/2, t, 0.2, j
Let p be 75/6 - (-4)/2. Let v = p - 15. Suppose 18*j = -199 + 271. Sort j, -3, v in descending order.
j, v, -3
Suppose -6*s = -2*s + 12. Let w be ((-2)/s)/(1/6). Let x = -41 + 40. Put w, 1, x in descending order.
w, 1, x
Suppose -4*k + 8 = 0, -14*k + 14 = 2*g - 9*k. Sort -135, 5, 0, g.
-135, 0, g, 5
Let r = -1.3 + 0.5. Let l = 1 + r. Put l, 2, 1 in descending order.
2, 1, l
Let b = 11.27 + -0.27. Let d = 90.8 + -80. Let y = d - b. Put y, 0.5, -5 in decreasing order.
0.5, y, -5
Let g(u) = u**2 - 9*u. Let i be g(9). Suppose i*x = x - 8. Let d be 5 - x - (-123)/39. Sort -5, d, 4/5 in descending order.
4/5, d, -5
Suppose 0*z - 12*z = 14*z. Let b(k) = k**2 - 6*k - 1. Let t be b(6). Sort z, t, 2.
t, z, 2
Suppose 10 = 3*l + 1. Suppose -l*d - 4 = -2*d. Suppose -55*o - 4 = -56*o. Put -7, o, d in descending order.
o, d, -7
Suppose 0 = -7*s + 2*s. Let m(i) = i**3 + 9*i**2 + 9*i + 11. Let y be m(-8). Let h(g) = -g**2 + 3*g - 1. Let w be h(y). Put 5, w, s in descending order.
5, s, w
Suppose -2*k = 3*m + 2, 0 = m - 6*k + 4*k + 6. Sort 5, -1, m, 2 in ascending order.
m, -1, 2, 5
Let b be 2 - (2 - (-4 - -8)). Let x(o) = -4 - 6*o + 0*o + 3*o. Let n be x(-3). Sort -1, n, b in ascending order.
-1, b, n
Let d be (5/25)/(5/125). Let w be 23/d + (-30)/(-75). Put -1, w, 10 in decreasing order.
10, w, -1
Suppose 28*m + 4 = 27*m + 2*o, o = -2*m - 8. Put m, 2, -119 in descending order.
2, m, -119
Suppose 5*z + 5 = -5*l, 10 = 2*z - 14*l + 13*l. Suppose -2*f - 10 + 2 = 0. Let y = f - z. Put -2, y, 0 in decreasing order.
0, -2, y
Let b = -150 - -92. Let i = b - -45. Sort 1, -0.4, i in ascending order.
i, -0.4, 1
Suppose 5*t + 3 = a, -2*a + 4*t - 6*t + 6 = 0. Suppose -5*l + 3 = -7. Suppose -12 = l*u - a*u. Put 1, u, 3 in descending order.
u, 3, 1
Let o = 2.86 - 3.12. Put o, 2/5, -4 in descending order.
2/5, o, -4
Let c = -10.639 + 5.78. Let n = -0.141 + c. Let d = -3 - -2.6. Sort d, n, 3.
n, d, 3
Let g = -0.0915 + 0.2915. Sort -0.2, -31, g in increasing order.
-31, -0.2, g
Let i(k) = -k**3 - 8*k**2 - 7*k + 1. Let o be i(-7). Let h(w) = -3 - 4*w + 2 - w**3 - w**2 + 5*w + 0. Let z be h(o). Sort 7, -1, z.
z, -1, 7
Let q = 1177 + -1174. Put -9, -2/11, q in increasing order.
-9, -2/11, q
Let n(g) = -2*g - 10. Let t be n(8). Let v = t + 25. Suppose o - x - 4 = -3, -3*o - 4*x = -3. Put 4, o, v in increasing order.
v, o, 4
Let r(v) be the second derivative of v**3/3 - 14*v**2 + 2*v. Let w be r(16). Put w, -2, 2 in decreasing order.
w, 2, -2
Suppose -12*a + 211 - 19 = 0. Suppose 3*v - a + 28 = 0. Let q = -1.6 + 2. Sort v, q, -2/9 in ascending order.
v, -2/9, q
Let k(z) = -z**3 - z**2 + 4*z + 3. Let f(o) = -3*o**3 - 3*o**2 + 11*o + 9. Let q(n) = 4*f(n) - 11*k(n). Let h be q(0). Suppose -5*l = -0*l + 15. Sort -4, h, l.
-4, l, h
Suppose 0*o + o = 5. Suppose -2*t = -11*r + 13*r + 74, 0 = -t - 3*r - 47. Put o, t, -2, 0 in ascending order.
t, -2, 0, o
Let s be (-8)/(-28) - 132/(-28). Suppose -s*o = -3*o. Suppose -5*j = 5*u + 10, u = -5*j - o*u - 10. Put 5, 4, j in ascending order.
j, 4, 5
Suppose -5*q + 2*a = -27, 2*q - 4*a + 6*a = 8. Let s be ((-12)/(-14))/(357/1666). Put -3, s, -1, q in descending order.
q, s, -1, -3
Let o = -137 - -139. Sort -18, o, -1.
-18, -1, o
Suppose -3*j + 260 = -16*j. Sort -1, -3, j in decreasing order.
-1, -3, j
Let m = 3128 - 3128. Let c(n) = 4*n**3 - 3*n**2 + n - 2. Let r be c(2). Put 3, r, m in decreasing order.
r, 3, m
Let p = 1 - 1.5. Let d = 16 - 13. Let i be d/(-6) + (-13)/(-18). Sort 0, i, p in descending order.
i, 0, p
Suppose 0 = -2*y + 12 - 20. Let i be (40/y - -5) + 8. Sort i, 5, 4 in ascending order.
i, 4, 5
Let f = 0.88 - -0.02. Let y = 4.9 - f. Sort y, -4, 4/7 in decreasing order.
y, 4/7, -4
Suppose -4*p + 4*q + 28 = 0, 0 = -10*p + 8*p - 5*q - 7. Sort 5, 