 -5
Let m(r) = -11*r. Let l be m(-6). Suppose -l = -5*j + x, 3*j - 22 = 2*x + 3*x. Suppose t + 2*f + 13 = -2*f, -5*f - j = -t. Put 0.4, -6, t in descending order.
0.4, t, -6
Let t = -71.08 + 71. Sort 2, -2, -1, t in decreasing order.
2, t, -1, -2
Suppose 3*h = 11 - 26. Put -2, -6, 3, h in decreasing order.
3, -2, h, -6
Let a = -4 - -4.1. Let q be (-10)/6 + 2/(-6). Let i(h) = h**2 + 5*h + 1. Let d be i(q). Sort 3, d, a in ascending order.
d, a, 3
Let k be 0*-1*8/(-16)*-2. Put 2, 7, k in ascending order.
k, 2, 7
Suppose -11 = -5*p + 4. Suppose d - 3*w = -1, -2*d - 6*w + 9 = -w. Suppose -c + 3 = d*m, -5*m + 6 + 1 = 3*c. Put p, -2, m in ascending order.
-2, m, p
Let f be (-2)/(-2)*(-3)/3. Let x be 644/(-63) + 6/27. Sort f, 1, x in ascending order.
x, f, 1
Suppose -7*p + 23 + 47 = 0. Let r be (2/p)/(52/195). Sort r, 2, -2, 3 in descending order.
3, 2, r, -2
Suppose 1195 = 5*y + 1170. Suppose 0 = a + a - 6. Put y, 0, a in decreasing order.
y, a, 0
Let s = -0.4938 + -0.0062. Let x = -72 - -358/5. Put s, -1/4, x in ascending order.
s, x, -1/4
Let k = 60 + -239/4. Let r = -110.1 + 110. Put r, -3, k, 3 in decreasing order.
3, k, r, -3
Let i = 1 + -10. Let k = 9.59 + i. Let z = 0.19 - k. Sort -2/9, z, -0.2 in ascending order.
z, -2/9, -0.2
Let y be 7*((-300)/35)/15. Sort 0.2, -0.7, y.
y, -0.7, 0.2
Let b(y) = 2*y**2 - 8*y + 12. Let m be b(5). Suppose 5*x - 2*f - m = 0, 4*x - f + 8 = 25. Sort -1, -3, -5, x in increasing order.
-5, -3, -1, x
Let i(w) = -7*w**2 - 3 + 8*w**2 - w**3 + 8*w**2. Let f be i(9). Let c(t) = 6*t + 32. Let g be c(-6). Sort g, 5, f in decreasing order.
5, f, g
Let q be 4 + (3 - 9)*4/12. Suppose 7*f + q = 2. Sort -1, f, 4.
-1, f, 4
Let u = 21.6 + -26. Let d = -1.4 - u. Put d, 1/7, -4 in ascending order.
-4, 1/7, d
Let u(z) = z**2 + 6*z - 55. Let c be u(-11). Let m be 0/(c - (2 + -3)). Sort m, -3, 9 in decreasing order.
9, m, -3
Suppose 0 = v - 289 + 94. Put 1, v, -5 in increasing order.
-5, 1, v
Let c = 0.0608 - 0.0608. Put 5, -3, 8, c in ascending order.
-3, c, 5, 8
Let v = -17 + 13. Let c(o) = -o**2 - 7*o - 10. Let j be c(v). Sort j, -4, 4.
-4, j, 4
Let z = -455 - -16837/37. Put 1, z, -0.05 in descending order.
1, z, -0.05
Suppose 5*w - 1 = q, -12 = -w - 3*q + 1. Suppose -30 = -4*s + 6*s + 5*i, 0 = -5*i - 20. Put s, w, -4 in ascending order.
s, -4, w
Let v = 14.2 - 39. Let z = v + 25. Let r be ((-2)/5)/(16/(-10)). Sort -0.01, z, r in ascending order.
-0.01, z, r
Let q(h) = -h**2 + 61*h - 281. Let t be q(56). Sort 2, -53, t in descending order.
2, t, -53
Let o = -5.43 - 0.57. Sort -1, o, 2, 2/9.
o, -1, 2/9, 2
Let n = -25 + 105. Let q be ((-18)/(-15))/((-168)/n). Suppose -5*k + 3*o = -10*k + 28, 5*o = k. Sort k, q, -3 in decreasing order.
k, q, -3
Let g = 26 - 79/3. Let q = 0.078 + -14.478. Let c = -13.9 - q. Sort g, -4, c in increasing order.
-4, g, c
Let i = -1.36 + 1.26. Sort i, -37, 0.3 in descending order.
0.3, i, -37
Let l = 19.2 - 11. Let i = l - 8.3. Put 3, i, 1 in descending order.
3, 1, i
Let i = 17.3 + -17.42. Sort -3/4, -0.2, i, 0.
-3/4, -0.2, i, 0
Let x = 7 - 10. Let d(p) be the second derivative of -p**4/6 + 3*p**2 - 46*p. Let k be d(-2). Sort x, -7, k in decreasing order.
k, x, -7
Let v be (-2)/6 - (-12)/9. Let s = -4 + v. Sort s, 6/5, 3/5 in ascending order.
s, 3/5, 6/5
Let v(t) = 3*t**2 - 5*t + 1 + 0 + 6*t + t**3. Let u be v(-3). Let i be (-35)/(-14)*(u + 0). Sort -4, i, 5 in descending order.
5, -4, i
Let m be (-1 + -1 - -1)*1. Let s be (-8)/3 + 2/(-6). Let d(i) = -i**2 + 65*i - 177. Let u be d(62). Sort u, m, s in descending order.
u, m, s
Let b = 1.1369 + -0.0369. Suppose 5*q + 5*m = -15, 2*q - 4*m = 5*q + 12. Sort -1, -3/8, q, b in ascending order.
-1, -3/8, q, b
Let z = -0.4542 - 0.0238. Let f = z - 0.022. Sort -2, 2, 0.5, f in decreasing order.
2, 0.5, f, -2
Let n = 79 - 75. Let p be 8/10*(-25)/(-10). Sort p, 0.5, -0.2, n in ascending order.
-0.2, 0.5, p, n
Let r(p) = -p**2 + 12*p - 34. Let q be r(6). Let d = -1 - 2. Suppose 1 = -3*l + 10. Sort d, q, l in ascending order.
d, q, l
Suppose -s + 3*s = -3*n + 2, -5*n = 0. Let j be (s/(-8))/((-3)/1412). Let b = j - 59. Sort 0.2, b, 0.
b, 0, 0.2
Let h(c) = -c**2 - 24*c + 4. Let i be h(-24). Sort 1, -8, i, 3 in increasing order.
-8, 1, 3, i
Let h = 169 + -173. Suppose 4 = 2*j - 2. Suppose -10 = 2*g + j*g. Put 3, h, g in increasing order.
h, g, 3
Let g be ((-375)/12)/5*-8. Suppose 4*i - 5*o - g = 0, -5*i + 5 = -o - 47. Let r = -14 + i. Put 3, -1, r in ascending order.
r, -1, 3
Let n = -44 + 44. Suppose n = 3*w - 6. Suppose 0 = 4*o - o + 12. Sort o, w, -1 in decreasing order.
w, -1, o
Suppose -2 + 5 = v. Let h be ((-35)/21)/((-4)/12*1). Sort v, h, 1 in descending order.
h, v, 1
Suppose 2*k - 4*l - 16 = -2*k, 8 = 2*k + 2*l. Suppose 0 = -k*u + 3 - 11. Suppose v - 5 = -2*q, -4*v - 4*q - 5 = -13. Sort u, -3, v.
-3, u, v
Let i = 240 - 216. Sort -1, 1, i in decreasing order.
i, 1, -1
Let u(k) = -2*k**3 + 15*k**2 - 15*k + 30. Let o(d) = -d**3. Let z(h) = -3*o(h) + u(h). Let x be z(-16). Sort -5, 5, x in ascending order.
-5, 5, x
Let k = -286.7 - -287. Put -2/11, -1/5, k, -4 in increasing order.
-4, -1/5, -2/11, k
Let n = 35 - -19. Suppose 0 = 2*b - 3*k - n, 0*b = -2*b - 3*k + 30. Let q be 7/b + 8/3. Sort -10, q, 4 in ascending order.
-10, q, 4
Let p = 102579 + -10770979/105. Let j = p - -22/15. Sort j, 0.2, 2 in descending order.
2, 0.2, j
Let u(f) = -7*f + 69. Let c be u(9). Suppose 0 = 3*j + j + 4. Suppose 7 = 4*m + p, 3*m = 7*m + 5*p - 3. Sort c, j, m in ascending order.
j, m, c
Suppose -3*l - c + 3*c = -13, 0 = 2*l - c - 8. Sort -3, l, -1, 7 in decreasing order.
7, l, -1, -3
Suppose 3*d + 5*l = 18 - 36, 0 = -l. Let f = -15 - -11. Let b = f + 3. Sort -4, d, b in descending order.
b, -4, d
Let y = -565 + 569. Sort 3, -2, y, -1 in descending order.
y, 3, -1, -2
Suppose 2*w = -5*y, -2*y = -0*y + 4. Suppose 0*u - w*u = -20. Suppose -j + 4 = -u. Put j, -1, 0 in descending order.
j, 0, -1
Let b be (1/51)/(1/6). Let l = -2/51 + -32/51. Sort 0.1, l, b in decreasing order.
b, 0.1, l
Let s = 243 + -256.22. Let d = s - -13. Let r = 0.92 + d. Sort -1, r, 1/4.
-1, 1/4, r
Let c = 102 - 1120/11. Let d be ((-1)/(28/36) - -1)/(30/42). Put 0.4, d, 2/7, c in decreasing order.
0.4, 2/7, c, d
Suppose -3*m + 5*p + 5 = 0, 1 + 5 = 3*p. Let k = 243 + -2189/9. Let o = 0.047 + -2.047. Put o, k, m in increasing order.
o, k, m
Let t = -0.497 - 0.203. Sort -2, t, -0.1, -2/13 in decreasing order.
-0.1, -2/13, t, -2
Suppose 3*d + 18 = -3*d. Let g(a) = 1 + a - a + 1 - 3*a. Let k be g(2). Put k, -2, d in descending order.
-2, d, k
Let u(o) = -4 - 62*o - o**3 + 14*o - 22*o**2 - 4*o**2 + 3. Let y be u(-24). Sort 4, 0, -5, y in descending order.
4, 0, y, -5
Let i = 3 + -1. Suppose 16 - 36 = -4*w. Sort w, i, 3 in ascending order.
i, 3, w
Let f(i) = i**2 - 12*i + 4. Let v be f(12). Let z be (-26)/(-26)*(2 + 0). Let n(k) = k**2. Let r be n(1). Sort z, r, v in decreasing order.
v, z, r
Suppose -809 = 45*t + 1216. Sort 2, t, 5 in increasing order.
t, 2, 5
Suppose 0 = -l - 3*l + 4. Let c(a) = -3*a + 4. Let f be c(-2). Let t be (-44)/f - (-2)/5. Put l, -3, t in increasing order.
t, -3, l
Let d = 57.953 + 0.047. Let z = 57.33 - d. Let r = z + 0.17. Put r, -1, 0.2 in descending order.
0.2, r, -1
Let p = -423 - -421. Let i(u) = u + 8. Let n be i(-8). Suppose -5*j = 5*w + 20, -w + 22 = -4*w - 5*j. Put p, w, n in descending order.
w, n, p
Let k be (-6)/40 + (-2)/(-5). Let u = 106.6 + -107. Sort u, k, -2.
-2, u, k
Let a = -169 - -193. Sort -2, a, -5.
-5, -2, a
Suppose 0 = -b - 2*b - 9. Suppose t = -3*t + 5*q + 37, -10 = 2*q. Suppose 2*x = -3*s - 9, -3*s - 2*x - 12 = x. Sort s, t, b in decreasing order.
t, s, b
Let q = -41/30 + 1/30. Put -35, 3, q in descending order.
3, q, -35
Let s = -258 - -257. Sort s, 1/9, -2, -4 in decreasing order.
1/9, s, -2, -4
Suppose 20*s - 23*s = -9. Suppose 0 = p + s*y - 1, -4*p - 2*y = -p + 4. Let l = 12/35 - 2/35. Sort 1, l, p in increasing order.
p, l, 1
Suppose 0 = 2*c - 3*c. Let f = 12 - 6. Let h = f - 1. Sort c, h, 1 in decreasing order.
h, 1, c
Let t = 22 - 18. Let b = -0.36 - 0.04. Sort 0, t, b, 2 in increasing order.
b, 0, 2, t
Suppose -8*q + 20 + 12 = 0. Let m be 0/(0 - (-1 - 0)). Let t = 1 + m. Sort t, q, 14 in descending order.
14, q, t
Let j(o) = -5*o - 11. Let p be j(-4). Let n 