). Put 59, m, 2, x in decreasing order.
59, x, 2, m
Let y = -162 + 164. Sort y, 18, 3 in decreasing order.
18, 3, y
Let u(m) = -2*m**3 - 2*m**2 - 2*m - 1. Let f be u(-1). Suppose 8 = -2*b + 4*b. Suppose -3*i = 12, -3*i = b*p + i. Put -2, p, f in descending order.
p, f, -2
Suppose 4*k + 4 = 28. Let p(t) = t**3 + 5*t**2. Let o be p(-5). Suppose -c + 7 = y - 0*y, o = -2*c + k. Put 10, y, 3 in increasing order.
3, y, 10
Let b(p) = p**3 - 10*p**2 + 8*p - 6. Let y be b(9). Let j be y/(-18) - 2/4. Put j, 2, -0.5 in descending order.
2, j, -0.5
Suppose -s - 10 = 5*g - 7*g, 0 = -4*s + g - 5. Sort s, 3/7, 1.
s, 3/7, 1
Suppose -31 = -4*j + 57. Suppose -i = j - 19. Let k(v) = v**2 - v - 2. Let m be k(2). Put -5, i, m in descending order.
m, i, -5
Let c = 664 + -663. Let h = 1 + 4. Sort -4, h, c.
-4, c, h
Suppose 0 = -o - 5*s - 23, 5*s = 3*o - 13 + 2. Suppose 15*y = 13*y + 14. Sort o, y, -2, 3.
o, -2, 3, y
Let y = -3.3 - -1.8. Let r = 3.5 - y. Sort 0.5, r, 0 in descending order.
r, 0.5, 0
Suppose 2*z + 0*z = 2*s, 0 = -z - 5*s + 12. Suppose -38*d = 5*x - 43*d - 50, -4*x - 4*d = 0. Sort x, z, 6, 3 in increasing order.
z, 3, x, 6
Let s = -0.07 + 4.47. Let p = 0.4 - s. Let i = -3 - -6. Sort p, 4, i.
p, i, 4
Suppose 22 = -49*v - 27. Put -7, -3, v in descending order.
v, -3, -7
Let t(h) = 13*h**2 + 66*h + 7. Let r be t(-5). Put -1, -8, -7, r in decreasing order.
r, -1, -7, -8
Let x be (-14)/2 - -8*3/8. Put 1, 2, x, 0 in decreasing order.
2, 1, 0, x
Let r = -18 - -17.8. Let s = -0.06 - -1.06. Sort 2, r, s in ascending order.
r, s, 2
Suppose 3*g = -6*g + 36. Suppose -g*k - 5*k = 9. Sort 3, k, -5.
-5, k, 3
Let o = 206 + -222. Put 1/6, o, -5/2 in descending order.
1/6, -5/2, o
Suppose 4733*o = 4719*o - 70. Put -56.9, -0.5, 3/7, o in descending order.
3/7, -0.5, o, -56.9
Suppose -q - 5*o + 28 = 2, 0 = -5*o - 10. Let j be -1*2/q - (-1)/(-6). Put 4, j, -5/2 in ascending order.
-5/2, j, 4
Suppose -3*r - 29 = f + f, 3*f = -r - 47. Let j be (-20)/6*(-24)/f. Put j, 1, -4 in decreasing order.
1, -4, j
Let a = 64 + -140. Let j be (-1)/(-4) - 2123/28. Let z = j - a. Sort z, -5, 0.3.
-5, 0.3, z
Let y = 0.9 - -0.1. Let h = 2 + -12. Let f = 126 - 125.6. Sort f, h, y.
h, f, y
Suppose r + 2 = -0*r. Let s be -5 + (12 - 7 - -2*2). Sort 5, s, r.
r, s, 5
Let u(n) be the first derivative of -n**5/20 - 2*n**4/3 - n**3 + 4*n**2 + n + 3. Let h(s) be the first derivative of u(s). Let y be h(-7). Sort y, 2, -2.
-2, y, 2
Let s = -3 + -8. Let y = 36 + s. Suppose -3*t + 20 = 4*p, -6*p + p + y = -2*t. Sort -3, p, 8.
-3, p, 8
Let g = 36.1 + -31.1. Let l = -10.2 + 10. Let m = -2 - -1.7. Put l, m, g in increasing order.
m, l, g
Let n = -6906 + 6909. Let a = -0.1 - -0.2. Put a, 3/5, 1, n in ascending order.
a, 3/5, 1, n
Let g(w) = -44*w - 179. Let p be g(-4). Sort -1, 139, 3, p in descending order.
139, 3, -1, p
Let y = -0.22 - -0.31. Let j = 1.11 + y. Let l = 3.8 + j. Sort -5, -3, l.
-5, -3, l
Let j be ((-3)/(-3) - 6) + -34 + 36. Let y be (-2)/(-6)*(11 - 2). Suppose -8*i - 10 = -y*i. Sort j, 5, i in descending order.
5, i, j
Let u = 543 - 538. Sort 1, -29, u, -4 in descending order.
u, 1, -4, -29
Suppose -2*f + 20 = -0*f - 3*k, 16 = -4*k. Let t = 1584 + -1585. Sort 5, t, -3, f in increasing order.
-3, t, f, 5
Let h = 3 + -2. Suppose 2*c + 3 = -r + h, c + 1 = -5*r. Let o be (-1 - r)*(-7)/(-7). Put o, 3, -2 in ascending order.
-2, o, 3
Suppose -26 = -f - l, -3*l - 8 = -2*f + 39. Let t = f - 23. Let h = 31 + -28. Put h, t, 4 in decreasing order.
4, h, t
Let q = -1.3 + 0.5. Let x = -0.66 + 0.26. Put q, x, -2, 0 in descending order.
0, x, q, -2
Suppose 0 = 3*f + 15*f - 72. Put -0.1, 0.2, 17, f in descending order.
17, f, 0.2, -0.1
Let x = 829 + -825. Put -10, x, -5 in descending order.
x, -5, -10
Let k = 3 - -13. Let j = 15.5 - k. Put j, -3/5, 3/5 in decreasing order.
3/5, j, -3/5
Let u = -3.7 - 0. Let h = u + -0.45. Let g = -0.15 - h. Sort g, -1/3, -4 in descending order.
g, -1/3, -4
Let m = 1463/3 + -488. Let d be (1 + 0)/1 - -7. Suppose 3*h + 2*x - d = 0, -2*h - 20 = -7*h - 5*x. Put 2, m, h in increasing order.
m, h, 2
Let d = 30 + -29. Suppose 7 = 4*c - 29. Let m(y) = -y - 5. Let r be m(-7). Put d, r, c in descending order.
c, r, d
Let m(t) = -10*t**2 + 16 - t**3 - 2*t**2 - 12*t + 19*t + 7*t. Let g be m(-13). Suppose 5*z = g*u - 32, -5*z + 0*u - 12 = 2*u. Put z, 4, 0 in descending order.
4, 0, z
Let x be (-10)/(-8) - 9/(-12). Suppose 5*n - x*p - 21 = p, -4*p + 7 = 5*n. Suppose -4 - 1 = -u. Sort n, u, -1.
-1, n, u
Let b = 2.46 + -0.46. Let c be -2 + 3 + (-34)/26. Put 0.1, b, c in descending order.
b, 0.1, c
Let u = -0.6 - 0. Let l be (-9)/(-3) - 41/13. Sort 2, u, l in descending order.
2, l, u
Let c(n) = n - 22. Let k be c(27). Sort 0, -2, k, -3.
-3, -2, 0, k
Let w = -1024 + 1020. Put w, 2, 104 in descending order.
104, 2, w
Suppose -8*f - 7 = 9. Let j = 1 - -2. Put f, -3/4, j in descending order.
j, -3/4, f
Let m = -4 - -5. Let c(q) = -2*q**3 + 2*q**2 - 1. Let s be c(m). Let f = -84 + 86. Put 0, s, f in descending order.
f, 0, s
Let d(a) = a**2 - 86*a + 1007. Let p be d(14). Let q = 7 - 4. Put -3, p, q, 4 in descending order.
4, q, p, -3
Let c be 37/7 + (-8)/28. Suppose 0 = 2*n + c*v - 25, 4*n - 5*v = -0*v + 5. Let w = -4 + 3. Sort n, w, 1/5 in increasing order.
w, 1/5, n
Let g = 0.2 - 0.3. Let c = 8.21 - 5.21. Let p be 0 - (1 - (-2 - -7)). Sort c, g, p in descending order.
p, c, g
Let d = -1685 - -1683. Put 8, d, 1, 2/9 in decreasing order.
8, 1, 2/9, d
Let i(f) = -10*f. Let z be i(-1). Let x be (15 - z)*(-6)/10. Sort -1/6, -9, x.
-9, x, -1/6
Suppose -4*r + 16 = k, 5*r = 4*r - 3*k + 4. Suppose -7*w - 11 = -3*w + z, -14 = w + r*z. Sort -5, 3, w, 5.
-5, w, 3, 5
Let g be (-36)/(-198) - (-128)/22 - 9. Sort 0, g, -40, 2.
-40, g, 0, 2
Suppose 0 = -6*o - 84 + 78. Put o, 5, 12 in increasing order.
o, 5, 12
Let s = 283 - 851/3. Let m = 0.18 - 0.08. Put -0.2, 1/2, s, m in descending order.
1/2, m, -0.2, s
Let y be (64 + -64)/(0/1 + -1). Sort 2, -3, y in descending order.
2, y, -3
Let n = -422 - -423. Sort 0.3, -11.3, n, -5 in descending order.
n, 0.3, -5, -11.3
Let y = 1 - -4. Suppose 0*p = -p - y. Let g = 0.9 + -1.1. Put g, -2, p in descending order.
g, -2, p
Let o be 2/(-8) - (-45)/(-12). Let y be ((-9)/3 - 372/42) + (-294)/(-343). Sort -5, o, 2, y in decreasing order.
2, o, -5, y
Suppose 2*s - 26 + 12 = 0. Suppose -s*m = -42 + 7. Let i be 4/(-16) + 21/(-12). Sort i, -1, m.
i, -1, m
Let m = 26 - -23. Sort -0.2, m, -3 in decreasing order.
m, -0.2, -3
Let w = 4.8 + -4.8. Let m = -21 - -12. Let b be (-4)/39*m/6. Put 0.5, b, w in ascending order.
w, b, 0.5
Let n = -0.318 + -0.182. Let h = 0.4 - -0.1. Put 0.3, -1, h, n in decreasing order.
h, 0.3, n, -1
Let p(u) = u**2 + 10*u + 11. Let g be p(-2). Put 9, -1, -2, g in descending order.
9, -1, -2, g
Suppose -n + 3*i = -144 + 45, -n - i = -119. Suppose -n*o = -115*o + 1. Let y be 1/(-4) + 147/12. Put y, 3, o in ascending order.
o, 3, y
Suppose 5*h + 11 = -7*n + 3*n, -n - 2 = h. Sort 2, -36, h in ascending order.
-36, h, 2
Let h = 16476517/371 - 44411. Let k = h - -10/53. Let q = 75/8 - 841/88. Sort q, 1, k in decreasing order.
1, k, q
Let v = 0.2 + 0.3. Suppose -5*p - g - 28 = 0, -7*g - 1 = 2*p - 10*g. Sort p, v, -1 in decreasing order.
v, -1, p
Let p = 2291 - 2289. Let k be 2/4*(0 + 0). Sort 5, k, p, -3.
-3, k, p, 5
Let s = -13 - -18. Let g(t) = 2*t - 10. Let p be g(5). Sort 3, s, p, 1.
p, 1, 3, s
Let m = -0.78 - 4.14. Let v = 0.08 - m. Let d be (0 - (-2)/(-3))/(20/(-18)). Put d, 2/13, v in descending order.
v, d, 2/13
Let o = 377/28 - 55/4. Let b(x) = 12*x - 12. Let t be b(-5). Let c be -4*(220/t - -3). Sort c, o, -2 in increasing order.
-2, o, c
Let o(t) = -t**2 - 5*t - 2. Let y be o(-3). Suppose -24 = -5*g - y. Let i be (-22)/231 - (-69)/63. Put g, -2/3, i in ascending order.
-2/3, i, g
Let t = -76.35 - -76. Let n = t + 0.55. Put -1/7, -0.4, n, 0 in ascending order.
-0.4, -1/7, 0, n
Let p be 1*(0 - -4) + -4. Suppose -4*b + 45 - 73 = p. Put b, 5, -4 in decreasing order.
5, -4, b
Let t = 0.914 - 0.514. Put t, -1/5, 0.33 in ascending order.
-1/5, 0.33, t
Let m be (-15)/20 + 5/12. Let u = -0.36 - -0.76. Put 1/3, -2/13, u, m in decreasing order.
u, 1/3, -2/13, m
Suppose -2*v = -0*v - 32. Let w(t) = -12*t. Let d be w(2). Let k be (-8)/(-30)*d/v. Sort k, 4, -0.