h = r + 300. Sort h, 8, -5.
-5, h, 8
Let t be 17/(-51) - 101/(-285). Let c = t + 374/285. Sort -4, c, 3 in increasing order.
-4, c, 3
Suppose -3*p + 5*c = -p - 35, 5*p - 2*c = 35. Let u = -3 - -7. Sort -0.4, p, u.
-0.4, u, p
Let s = -0.048 - -0.348. Sort -0.025, s, -1 in decreasing order.
s, -0.025, -1
Let v = 80 - 65. Let t be (-5)/(25/v) + 38/10. Sort t, 1/6, -11 in descending order.
t, 1/6, -11
Let y = -236 + 238. Sort 4, -0.4, 0.45, y in ascending order.
-0.4, 0.45, y, 4
Let o(q) = 3*q**2 + 4*q. Let j be o(-2). Let i(t) = -t**3 + 5*t**2 - 4*t - 2. Let f be i(j). Put 1, f, -1 in increasing order.
f, -1, 1
Suppose -1 + 15 = 2*d. Suppose 0 = -3*j - 22 + d. Let a = 10 - 9.9. Sort a, j, 5 in decreasing order.
5, a, j
Let j be (-10)/(-11) - 4/2. Let r = -163.4 - -163. Sort j, r, -3 in decreasing order.
r, j, -3
Let j = 1.7 - 3.15. Let s = 1.5 + j. Let n = 0.05 + s. Sort -2/5, -0.1, n in decreasing order.
n, -0.1, -2/5
Suppose -2*k - 2*k = 2*v - 6, -3*k - 5*v = 13. Suppose -17 = -3*y - 2*z, 0*y - k*y - 4*z = -24. Suppose 78*c = 47*c + 62. Put -3, c, y in decreasing order.
y, c, -3
Let n = -2.5 - -2. Let w = n - 6.5. Let l be 6/10 + 2/(-2). Sort l, w, -0.5.
w, -0.5, l
Let m = -250 + 246. Sort m, 4, -36.
-36, m, 4
Let u be (-2)/4 - 12/(-8). Let q = -531 + 527. Put q, 5, u in descending order.
5, u, q
Let r = -0.7 + 0.71. Sort -0.26, r, 0.5.
-0.26, r, 0.5
Let t = 55 + -53. Let h(k) = k + 12. Let l be h(0). Let r = 8 - l. Sort 8, r, t in descending order.
8, t, r
Let u = 38 - 58. Let f = u + 18. Sort 4/9, -0.5, 0.04, f in ascending order.
f, -0.5, 0.04, 4/9
Let p = -19.09 + 19. Let m = 19.41 - 20. Let y = m - p. Put y, 0.1, 3 in increasing order.
y, 0.1, 3
Suppose 233*i = 241*i + 16. Sort i, -1, 23 in descending order.
23, -1, i
Let r be (-100)/36 - (-2)/36*-4. Let g be -2 + -3*(r - (-32)/12). Put 2, g, 5, 0 in descending order.
5, 2, 0, g
Suppose -5*t - 22 = 4*z, -3*z - 29 = -3*t + 1. Let o be (28/56)/((-1)/z). Put -3, o, -7 in decreasing order.
o, -3, -7
Let v be 10/(-22)*8/10. Let r = -0.036 + 0.106. Let x = r + -0.47. Sort v, -4, x.
-4, x, v
Let k = -1275/2 - -639. Put -220, k, 5 in increasing order.
-220, k, 5
Let u = 0.3899 + 0.0101. Put -4, u, 0.6 in descending order.
0.6, u, -4
Suppose p = -2*k + 22 - 4, -3*p = -5*k + 56. Sort 4, 3, -1, k in descending order.
k, 4, 3, -1
Let i = 0.135 + -0.6. Let o = -0.065 - i. Sort -0.05, o, -2, 0.3 in descending order.
o, 0.3, -0.05, -2
Let a = 831 + -828. Put -2, a, 5, -1 in increasing order.
-2, -1, a, 5
Let l = -1.3 - -7.3. Let v = 9 - l. Sort -5, v, -3 in increasing order.
-5, -3, v
Let h be ((-2)/(-6))/(1/(-3)). Let b = -63 - -92. Let u = 26 - b. Put -1/3, u, h in ascending order.
u, h, -1/3
Let o = 15 + -11. Suppose 9 = -5*i - 11. Let a = -12 + 17. Sort o, i, a in increasing order.
i, o, a
Let y = -1332 + 1327. Let n be 12/8*2/1. Sort 27, y, n in increasing order.
y, n, 27
Let l(a) = -2*a - 5. Let g be l(-8). Suppose 0 = -4*z - p - g, 0*p + 7 = z - 3*p. Let c be (39 + -2 + -12)*2/10. Sort c, 0, z in increasing order.
z, 0, c
Suppose 0*n - 12 = 4*n. Suppose -19*j = -15*j - 12. Suppose l = 2*q + 4, -j*l - q + 2*q = 8. Sort 5, n, l.
l, n, 5
Let v = 185.9 + -170.83. Let f = -15 + v. Let b = f + -2.07. Sort 4, 5, b in descending order.
5, 4, b
Let t = 284 + -1133/4. Sort t, -22, -4/3.
-22, -4/3, t
Let o = 42 + -22. Suppose -h = -3*j - 0 - 12, 5*h + 5*j = -o. Let l be (h - (2 - 4))*1. Put 1, l, 3 in decreasing order.
3, l, 1
Let p = 218/15 + -76/5. Put p, -1, -0.1 in ascending order.
-1, p, -0.1
Suppose -20*k - 24*k = -440. Put -2, k, 0 in decreasing order.
k, 0, -2
Let v = -1494 - -1497. Put -0.113, v, 0.1, -3 in decreasing order.
v, 0.1, -0.113, -3
Let a = 178 + -187. Sort -4/9, a, -4/7, -2 in increasing order.
a, -2, -4/7, -4/9
Let k = 0.6 - 0.1. Let j be -1*(0 + (-12)/(-3))/(-4). Let y = -0.4 - -0.6. Sort k, y, j in descending order.
j, k, y
Let c = 21 - 24. Let t = -11 + c. Let i = t - -18. Sort -0.5, i, -2 in ascending order.
-2, -0.5, i
Let s = 0.31 + -0.81. Sort 0.04, 1/5, s.
s, 0.04, 1/5
Let s(w) = -w**2 + 25*w - 115. Let h be s(6). Sort h, -4, 11.
-4, h, 11
Let t(f) = f**3 - 7*f**2 + 3*f + 5. Let c be t(7). Suppose 22 = 12*z - c. Sort z, 5, -3 in descending order.
5, z, -3
Let h(u) = 6*u - 23. Let j(q) = -2*q + 8. Let i(w) = -6*h(w) - 17*j(w). Let a be i(7). Let m be (5/(-15))/((-2)/a). Sort 2, -4, m in ascending order.
-4, m, 2
Let q = 0.392 - 9.392. Sort q, -0.3, -5 in ascending order.
q, -5, -0.3
Suppose 3*l - 4*l = 0. Suppose 3*a = 5*d + 28, 10 = -l*a + 5*a - d. Let f = 20 + -25. Sort f, 0.5, a in descending order.
a, 0.5, f
Let y = 26 + -22. Put -5, y, 0, 3 in descending order.
y, 3, 0, -5
Let y = -0.3 + 0.1. Let r = -75 + 75.1. Let o = y - r. Put 1/4, o, -2/5 in decreasing order.
1/4, o, -2/5
Let n = 0.865 - 1.065. Let c = 4.94 + 0.06. Put c, n, 0, 0.02 in descending order.
c, 0.02, 0, n
Let l be 3 + 29/(-9) - 190/(-45). Let u be 34/(-11) + (l - 1). Sort -0.4, -0.2, u.
-0.4, -0.2, u
Let v be (24/4)/(0 - 1). Let l(a) = -a**2 + 4*a - 4. Let m be l(4). Put 3, m, v in decreasing order.
3, m, v
Let p be (14/567)/((-2)/6)*3. Put 2/11, -2.5, p in increasing order.
-2.5, p, 2/11
Suppose 4 = -x, -4*p + x + 64 = -3*x. Sort p, 3, 0, 1 in decreasing order.
p, 3, 1, 0
Let g = -1505 - -1501. Sort -4/7, g, 124 in ascending order.
g, -4/7, 124
Let y(h) = 3*h**2 + h**2 - h + 1 - 3*h**2. Let l be y(2). Let q = -52 + 47. Sort l, 5, q.
q, l, 5
Let r be (-40)/340 + -1 + 83/(-17). Put r, 4, -1, 1 in descending order.
4, 1, -1, r
Suppose 5*s + 2*s = 35. Suppose 17 = s*j + 27. Let d = 17 - 16. Put d, j, 5 in descending order.
5, d, j
Suppose 6*s = 2*s - 13*s. Put s, -30, 2 in decreasing order.
2, s, -30
Let a be (-11 - -6) + (3 - 1). Let l be (-2 + (-16)/(-5))/(206/515). Sort -24, a, l in ascending order.
-24, a, l
Let a(k) = -k - 8. Let c be a(-11). Let i(z) = 4*z - z**c + 0 + 0*z + 3*z + 7*z**2 + 9. Let t be i(8). Put -6, t, 2 in increasing order.
-6, t, 2
Suppose 4*z - 2 = 6. Suppose -k - 4*h = -10, 4*k + 13 + 7 = 4*h. Sort k, z, 5 in decreasing order.
5, z, k
Let d be 9 - ((4 - 4) + 6). Sort -4, 78, 0, d.
-4, 0, d, 78
Let b be ((-15)/(-75))/(2/10). Sort 361, -4, b.
-4, b, 361
Let w = 0.71 - 0.42. Sort -0.1, 0.2, 3, w in decreasing order.
3, w, 0.2, -0.1
Suppose -10*a + 323 + 217 = 0. Let o = 50 - a. Let f be (0 + 3/(-1))/(-1). Put o, f, 0.4 in ascending order.
o, 0.4, f
Let z(l) = -l**3 + l**2 - l - 3. Let a be z(0). Let k be (20/(-12))/(a/(-9)). Sort 4, k, -7 in descending order.
4, k, -7
Let x be (2 + -1)*(-7 - 22). Let m = 18 + x. Sort 4, m, 0 in ascending order.
m, 0, 4
Let j be -2*(-50)/40 - 10/(-4). Sort -10, -3, 1, j in decreasing order.
j, 1, -3, -10
Let p be (-4)/(-248)*314 + 37 + -42. Sort 5, 3/2, 0, p in ascending order.
0, p, 3/2, 5
Suppose -6*d + 12 = -2*d. Let l(g) be the second derivative of -g**4/12 + g**3/2 - 3*g**2/2 - g - 3. Let f be l(d). Sort -4, f, 5 in descending order.
5, f, -4
Let m(l) = l + 2. Let s be m(-3). Suppose 0 = -u - 15 + 16, -5*x - 17 = 3*u. Let n(a) = -a**2 - 3*a + 9. Let d be n(-4). Sort s, d, x in decreasing order.
d, s, x
Let d(z) = z + 1. Let g be d(6). Let o(v) = -3*v**2 + 11*v - 11. Let t be o(2). Sort t, 0, g, 2 in ascending order.
t, 0, 2, g
Let d = 1784 + -1787. Sort 0.5, 3, d, -0.7 in increasing order.
d, -0.7, 0.5, 3
Let v be (14 + 0)/((-5)/(-10)). Let w = v + -36. Put w, -5, 3 in decreasing order.
3, -5, w
Let j = -2 + 1. Let w be (60/(-9))/(1 - 20/24). Let h be ((-15)/(-10))/((-12)/w - 0). Sort j, h, 2/7 in ascending order.
j, 2/7, h
Let c(w) = 72*w - 9. Let b be c(1). Put b, -3, 4 in decreasing order.
b, 4, -3
Suppose -3*b + 2*j = -5, 9 = 4*b - 2*j - 3*j. Suppose 7 - 3 = n - 4*g, 4*n + 2*g - 16 = 0. Put b, -1, n, -2 in ascending order.
-2, -1, b, n
Let m = -7 - -6.5. Suppose 26 = 4*i - j + 16, i - 3*j = 8. Sort -0.1, m, i, 0.4.
m, -0.1, 0.4, i
Let z = -2 + 3. Let t(b) = 10*b - 437. Let q be t(44). Sort q, z, 5 in decreasing order.
5, q, z
Let p = -0.01 + 0.31. Let t = 3.18 - -0.82. Sort t, -2, p in ascending order.
-2, p, t
Suppose 6*n = 15 + 51. Put -4, n, -3, -1 in decreasing order.
n, -1, -3, -4
Let f = -12104.971 + 12092. Let x = f + -0.029. Put -5, x, 2/5 in descending order.
2/5, -5, x
Let x = 472 + -469. Suppose 0*p - 4*p = 0. Suppose 3 = -x*v - p.