ut -5/11, z, -0.4 in decreasing order.
-0.4, -5/11, z
Let q(z) = 13*z**2 + 5*z + 2. Let s be q(-1). Sort 2, s, -1.
-1, 2, s
Suppose k + 56 = -k. Let d(x) = -7*x - 36. Let a be d(-9). Let s = a + k. Sort 2, s, -4 in increasing order.
-4, s, 2
Suppose -16 = -t - 4*r, 18*t - 8 = 15*t - 4*r. Put 0.3, -7, t in descending order.
0.3, t, -7
Let w be (-1)/((-2)/(-16)*2). Let y(q) = q**3 + 2*q**2 - 4*q + 2. Let g be y(w). Let n be ((-18)/(-27))/(g/6). Put n, -3, 4 in descending order.
4, n, -3
Let u = -52 + 14. Let g = u + 36. Sort g, -0.1, -0.3 in descending order.
-0.1, -0.3, g
Let j = 66.953 - 67. Put j, -0.1, 0, -1/9 in descending order.
0, j, -0.1, -1/9
Let x be 2*(2 + (-4)/8). Let q be -1*((3 - 4) + x). Sort -3, -0.2, q.
-3, q, -0.2
Let j = 27.9326 + -0.0326. Let m = j - 28. Sort m, 2/7, 2, -4 in descending order.
2, 2/7, m, -4
Let q be 11*(-7 + (-243)/(-36)). Put q, 5, 0.3, 3 in ascending order.
q, 0.3, 3, 5
Let r(n) = -4*n**3 - 27*n**2 + 9*n + 7. Let u be r(-7). Put 3, -1, 0, u in descending order.
3, 0, -1, u
Suppose -4*s - 11 = -f, -4 = -f + 3*f + 5*s. Let o be 6 - (-1 - f)/(-4). Put 3, 2, o in decreasing order.
o, 3, 2
Let k = -1342 - -1336. Put -3, -1, -4, k in ascending order.
k, -4, -3, -1
Let d = 116 + -98. Let q be (-198)/(-162) + (-4)/d. Let o = 2 - -2. Sort o, q, 3.
q, 3, o
Let w = -11.8 - -2.3. Let y = w - -14.5. Put 2, 0.5, y, 6/5 in ascending order.
0.5, 6/5, 2, y
Suppose 19*a + 52 = 147. Sort a, -58, -2, -5 in descending order.
a, -2, -5, -58
Let v = 9 + -7.8. Let o = v - 0.2. Let a = 214 - 213.7. Put o, 5, a in descending order.
5, o, a
Let w(v) = -34*v + 277. Let s be w(8). Put -22, -4, 9, s in ascending order.
-22, -4, s, 9
Suppose -5*p - 6 = -26. Let w(u) = -u**3 + 19*u**2 - 18*u + 2. Let n be w(18). Suppose 3*c - 6 = -p*r, -3*c - 2 = -n*c. Sort r, 0, -4 in increasing order.
-4, 0, r
Let l = 1.767 + -2.2. Let h = 36.033 + l. Let y = h + -36. Put 0.1, -2, y in increasing order.
-2, y, 0.1
Let n = 13 + -20. Let q(x) = x**3 - 6*x**2 - x + 4. Let h be q(6). Suppose 3*z + 13 = -6*p + p, 0 = -3*z - 4*p - 8. Sort h, n, z in descending order.
z, h, n
Let q = -789 + 582. Put -3, 0, -5, q in increasing order.
q, -5, -3, 0
Let c(d) = -d**3 - 3*d**2 + 2. Let y be c(-3). Let f(i) = i**3 + i**2 - 1. Let n be f(-1). Sort -3, n, y in descending order.
y, n, -3
Let f = -15 - -18. Suppose -3*c = -0*c + f. Let o be 0 - ((-2)/2 - 1). Sort c, o, 4.
c, o, 4
Let w be -6 + 68/12 + (-4)/6. Put 0, 2, w in decreasing order.
2, 0, w
Let w be (196/24 - 8)*(-6)/(-4). Sort w, -1/5, -60, -3 in ascending order.
-60, -3, -1/5, w
Let a = 125/84 + -9/28. Sort 5, a, 0.5, 3/2 in descending order.
5, 3/2, a, 0.5
Suppose 5*c = -1422 + 1417. Sort c, -3, 116 in decreasing order.
116, c, -3
Suppose -w - 4*w = 4*i - 47, -19 = -w - 4*i. Suppose 2*r + 2 - w = 3*s, -3*s = -5*r + 8. Sort r, 2, 19.
r, 2, 19
Suppose -14 = -3*z - j, 11*j + 15 = 2*z + 6*j. Sort -1, z, -12, 4 in increasing order.
-12, -1, 4, z
Let r be (-2)/6 + 1288/48. Let p = r - 28. Put -0.2, p, -0.1 in descending order.
-0.1, -0.2, p
Let z be ((-12)/28)/(-1 - (-5)/2). Sort z, -3, 2, -0.5 in increasing order.
-3, -0.5, z, 2
Suppose 5*g = -11*g - 144. Put g, -5, -7 in decreasing order.
-5, -7, g
Suppose 5*r + 117 + 18 = 0. Let s be 129/r + 3 + 2. Sort s, -4, 3.
-4, s, 3
Let w = 34 - 31. Suppose 17 - 2 = -w*s. Put -1/3, -2, s in increasing order.
s, -2, -1/3
Suppose 2 = -3*g - 5*v, 2*g + v + 7 - 1 = 0. Let a be 3*(-5)/(-120)*(-2)/g. Put -0.2, a, -0.4, 0.3 in decreasing order.
0.3, a, -0.2, -0.4
Let u = -7 - -23. Let r = u + -3. Let a = -8 + r. Sort 4, a, 0.5 in descending order.
a, 4, 0.5
Let b(o) = 3*o**2 - o - 10. Let s be b(-2). Sort -440, s, 1 in increasing order.
-440, 1, s
Let z(n) = -n**2 + 124. Let t be z(11). Put t, -1, -16 in decreasing order.
t, -1, -16
Let s = 24 - 19. Suppose -s*u - 2*m = 14, -3*u + 2*m = -0*u + 2. Let r(n) = n + 5. Let t be r(-5). Sort 1, u, t in descending order.
1, t, u
Suppose 0 = w - 4*j + 72 + 5, 4*j + 8 = 0. Sort -3, w, 0 in decreasing order.
0, -3, w
Let s be (-52)/(-65) - (-6)/5. Let v be -13 + (-12)/2*s/(-4). Let r be ((-2)/(-18)*3)/1. Sort r, -0.4, v.
v, -0.4, r
Suppose -27 = 3*a + 3*v, 4*v - 8 + 20 = 2*a. Sort a, -3, -7, 1.
-7, a, -3, 1
Let o = -1 - 0. Suppose 0 = u - 3*h + 5, 3*u - h = -3*h + 7. Sort -2/3, u, o in ascending order.
o, -2/3, u
Let l be 11/(-2) + 8/(-80)*5. Sort l, 6, -4 in descending order.
6, -4, l
Let h = 0.002 - 0.001. Let x = h + 1.199. Put 1/2, x, 2 in ascending order.
1/2, x, 2
Let n = 3 + 0. Let i = -174 + 176. Suppose n*g - 2*g = i. Put -2, g, -5 in descending order.
g, -2, -5
Suppose -19 = -5*y - 5*x + 2*x, 4*y = 4*x - 4. Suppose 3*z = y*u - 16, 6*u + 12 = 4*u - 4*z. Let l = 129 - 128. Sort -2, u, l.
-2, l, u
Let r = -0.35 + -0.05. Let q = 11 - 21. Let g be 60/q*(-1)/(-2). Sort r, g, -1 in increasing order.
g, -1, r
Let w(x) = -14 + 5*x - 11 + 2*x - 16. Let t be w(6). Put 5, -2, t, -5 in increasing order.
-5, -2, t, 5
Let s(g) = -5*g - 33. Let w be s(-7). Let y be 1 + -3 - 1 - -17. Put w, y, 4 in ascending order.
w, 4, y
Suppose 42 = -21*y - 0. Put 13, 0, y in descending order.
13, 0, y
Let u = 11 - 7. Suppose -j + 48 = -u*j. Let i = j - -13. Sort i, -4, 2 in increasing order.
-4, i, 2
Let h be 1 - 16 - (-3)/(-1). Let a be ((-95)/(-15))/(2/h). Let t be 10/3*a/76. Put -4, t, -10 in decreasing order.
t, -4, -10
Let p be (3 - (-1202)/(-154))/((-48)/28). Let f = p - 3/22. Let k = -10 - -12. Put k, -0.1, f in increasing order.
-0.1, k, f
Let c be (-86)/18 + 2/(-9). Let r be 0*((-8)/(-2) - 3). Suppose j - 4*j - 5*y + 14 = 0, -4*j - 5*y = -12. Sort r, c, j.
c, j, r
Let d = 3/172 - 537/1204. Suppose -20 + 3 = i. Let s = i - -82/5. Put d, s, -0.1 in descending order.
-0.1, d, s
Let w be (-98)/(-294)*(1 + 5). Sort w, 4, 0, -3.
-3, 0, w, 4
Let c = -0.1 - 3.9. Let x = 746 - 742. Sort -1/4, c, x, -3.
c, -3, -1/4, x
Suppose 3*o - 3 - 3 = 0. Suppose 4*s + 18 - 2 = 3*j, 2*j + o*s = -8. Let b = -46 + 41. Sort -2, b, j in descending order.
j, -2, b
Let s = -2.0521 + 0.0521. Sort 4, s, -18.9 in ascending order.
-18.9, s, 4
Let o = 76 + -80. Put 3, -1, o, 5 in descending order.
5, 3, -1, o
Let h be (-68)/18 + 4 - (-68)/18. Let s be 4*h/32*8/4. Sort 0, -2/21, s.
-2/21, 0, s
Suppose -x = -q - 13, -q = -2*q. Let l be (0 + 0)*(-4 + x/3). Sort 1, l, -7 in descending order.
1, l, -7
Suppose 0 = -11*i + 54 + 1. Sort 2, i, -2, -1.
-2, -1, 2, i
Let n be -1*5/(-1 - -2). Suppose 0 = -5*l + 2*l + 6. Suppose -l = -0*r + 2*r. Sort r, 5, n in increasing order.
n, r, 5
Let j be (-1)/((-5)/9 + (-4)/(-18)). Let a be (24/140)/(27/30)*j. Suppose -d + 4 - 1 = 0. Sort a, 5, d in ascending order.
a, d, 5
Suppose 2 = l, -5*l + l + 2 = -3*n. Suppose 0 = 3*w + n*h - 4, 4*w - 2*h = w + 20. Let s = 10 + -3. Sort s, w, 1 in decreasing order.
s, w, 1
Let s = -0.68282 - -0.28282. Suppose 0 = -q - 2 + 3. Sort s, 1/9, q, 0.3.
s, 1/9, 0.3, q
Let f(y) = -y**3 - 5*y**2 + 14*y + 11. Let w be f(-7). Sort w, -4, -3 in descending order.
w, -3, -4
Suppose 0 = -5*b + 2*j + 76 - 26, 2*b - 3*j = 31. Suppose -2*s + b = -0*s. Let p = -75 - -75. Sort -1, s, p in descending order.
s, p, -1
Let u = -0.67 - -0.07. Let f = -0.014 - 2.386. Let m = f + u. Sort m, 0.4, 5 in increasing order.
m, 0.4, 5
Let q = 178.1 + -178. Put q, -2/3, -121 in decreasing order.
q, -2/3, -121
Suppose -5*c + 4*b = -55, 17*c + b = 14*c + 16. Sort c, 3, 46 in increasing order.
3, c, 46
Let o(f) = -41*f - 42. Let z be o(-1). Sort -17, 3, z.
-17, z, 3
Let s(n) = n**2 - 2*n - 1. Suppose -d + 4*d = 0. Let v be s(d). Put -3, v, 2, -16 in descending order.
2, v, -3, -16
Let w = 185.9 + -186. Sort w, 2, -0.08 in decreasing order.
2, -0.08, w
Let l = 78 + -78.047. Let d = 0.253 - l. Put -0.3, d, 8 in ascending order.
-0.3, d, 8
Suppose 3*m + 3 = 0, -n = -5*m - 13 + 3. Sort n, 3, 6, -5.
-5, 3, n, 6
Let t = 0 + -2. Let c = -43 - -43. Suppose 5*i = 5*l + 15, -5*l - i - i - 15 = c. Sort t, l, 4/7.
l, t, 4/7
Suppose 0 = 3*u + 1 + 2. Sort u, 9, -3, 8 in decreasing order.
9, 8, u, -3
Let w be (-22)/44 - (-23)/2. Let f = 11 - w. Suppose f = -5*b - 16 - 24. Sort b, 5, 3 in descending order.
5, 3, b
Let z be (4 + 150/(-35))*-14. Let r = 12 + -12. Suppose 3*s + 15 = -r*s. Sort z, s, 0 in ascending order.
s, 0, z
Let a = -26.3 + 31.3. Sort 0.5, 9, a in 