 4 in increasing order.
i, 4, 28
Suppose 6*m + 6 = -12. Let o = 3.2 - 0.2. Sort o, -0.5, m.
m, -0.5, o
Let p(y) = y - 9. Let m be p(11). Put 4, -4, m in descending order.
4, m, -4
Suppose 3*m = 4*m. Sort -8, -2, m in descending order.
m, -2, -8
Let i be 10/(-15)*3/(-19). Sort -2, i, 2, 1/3.
-2, i, 1/3, 2
Let x be 6/(-15) + (-1)/(-5)*-8. Put -24, x, -1 in descending order.
-1, x, -24
Suppose -5*r = -p - 6*r + 5, -3*r = 2*p - 12. Let d be ((-22)/(-6))/(6/18). Suppose -2*h = d - 1. Put h, 1, p in decreasing order.
p, 1, h
Let s(p) = p**2 + 1. Let y be s(2). Suppose -2*f + 8 = 2*f. Suppose f*z = -3*z. Put z, y, -5 in decreasing order.
y, z, -5
Let v = -13 + 17. Let i = 1 + v. Sort -1, i, 0.3.
-1, 0.3, i
Suppose -2*h + 5*h = 0. Suppose -3*o + 9 = 2*p, -4*o - 2*p = -3*o - 3. Suppose 2 = -o*g + 8. Put h, g, 3 in increasing order.
h, g, 3
Let q be 0 + -5 - -1 - 0. Suppose 20 = 6*l - l, 3*l - 15 = -u. Suppose -4*g + u*y + 1 = 0, -2*g - 2*y = -5*g + 2. Sort q, 3, g in increasing order.
q, 3, g
Let x = -0.54 - 4.86. Let l = x - -5. Sort l, 2, -1 in decreasing order.
2, l, -1
Suppose v - 9 = 4*y + 2*v, y - v = -1. Let k(r) be the second derivative of -r**3/3 + 6*r. Let o be k(y). Put o, 0, -1 in descending order.
o, 0, -1
Let h = 3 + -2. Let u = h - 1.5. Suppose -2*z = -3*z + 1. Put u, -3, z in descending order.
z, u, -3
Let s = -107 - -107. Let f = -51/55 - -8/11. Put s, 2/13, f in decreasing order.
2/13, s, f
Let t = -17 - -13. Sort t, -5, -3 in decreasing order.
-3, t, -5
Let l(n) = -2*n + 8. Let p be l(4). Suppose p*j + 35 = -5*w + 5*j, 4*j = 16. Sort w, 0, -2 in decreasing order.
0, -2, w
Let f = -19265 + 867004/45. Let o = f - 14/9. Sort 4, o, -1 in decreasing order.
4, o, -1
Let d = -29 + 144/5. Sort d, -2, -3.
-3, -2, d
Let q be (1 - 4/2)/1. Suppose 5*c - 4 = -3*h, -3*h + 8*h = c - 12. Suppose -3*r = r - 4. Put r, h, q in descending order.
r, q, h
Let n = -2.7 - -0.8. Let s = -0.1 + n. Sort s, 0.1, 1/7 in decreasing order.
1/7, 0.1, s
Suppose -5*j - 15 = 2*r, 2*j + 5*r = 4*r - 7. Sort 13, j, 0 in decreasing order.
13, 0, j
Suppose 15 = 2*p + p. Sort 1, p, 0.2 in increasing order.
0.2, 1, p
Let i = -8 + 7. Sort 5, 2, i in descending order.
5, 2, i
Let b be 32/(-60)*(-6)/8. Suppose -3*v - 3 - 18 = -5*i, 25 = -5*v + 5*i. Sort -3/8, b, v.
v, -3/8, b
Let o = 59 + -175/3. Let u = 9 + -13. Put o, u, 4 in increasing order.
u, o, 4
Suppose 3*p + 21 = 4*b - b, -5*b + 4*p + 30 = 0. Let r be 4/(-3 - (-4)/b). Let a(x) = x**2 - 2. Let j be a(-2). Sort -5, j, r in descending order.
j, r, -5
Let t(g) = -4*g + 37. Let m be t(9). Sort m, 0.8, -0.5 in descending order.
m, 0.8, -0.5
Let q = -4 + 1. Suppose -g + 6 = 4*g - 2*n, -3*n = -6. Suppose -3*o + 9 = 2*w, -4*o - g*w - w + 13 = 0. Put q, -5, o in increasing order.
-5, q, o
Let m = -61 + 58.96. Let b = -0.34 + 0.3. Let c = b - m. Put c, 0.4, 4 in descending order.
4, c, 0.4
Let l be 125/10 + (-1)/(-2). Suppose -c + 1 = 3*y - l, 2*y + 3*c - 14 = 0. Put y, -2, 2/5 in descending order.
y, 2/5, -2
Let f = 26/5 + -229/45. Let n = 0.3 - 0.1. Put -4, f, n in increasing order.
-4, f, n
Let x = 73 + -76. Sort 3, x, 4, 5 in decreasing order.
5, 4, 3, x
Let z(t) = -3*t + 12. Let o be z(5). Put 4, 5, o in ascending order.
o, 4, 5
Let b(z) = -1 - z**2 - 6*z + 2*z**2 + 7*z. Let r be b(3). Let j = -11 + r. Sort -3, j, 3 in descending order.
3, j, -3
Let u = -5 - -8. Let v be (-1)/(-2)*(-2 - -12). Suppose 20 = -v*x + 5*p, -2*x + 5*p = 2*p + 8. Sort x, 2, u in decreasing order.
u, 2, x
Let w = -3 + 0. Let p = 211421/50 - 4229. Let l = p + 2/25. Put l, w, 5 in decreasing order.
5, l, w
Suppose -3 = 4*v - 7. Suppose -4*b + b = 3. Sort v, -2, b in decreasing order.
v, b, -2
Let l(b) = 5*b**2 + 24*b + 5. Let p be l(-3). Sort 4, -2, p, -1 in ascending order.
p, -2, -1, 4
Suppose 0 = -6*x - 12 + 24. Put x, 3, 27 in decreasing order.
27, 3, x
Let r = -0.238 + 0.138. Sort -6, r, -0.06 in increasing order.
-6, r, -0.06
Suppose o + 2 = -2*i, -4*i - 2 = o - 0*o. Let w = 8 + -13. Put -4, w, i in increasing order.
w, -4, i
Let y(k) = k**2 + 5*k - 7. Let l be y(-6). Put 5, -3, l in ascending order.
-3, l, 5
Suppose -6*y + 5*x - 85 = -y, -y + 5*x = 37. Let u = -8 - y. Let j(q) = -q**2 + 9*q + 8. Let l be j(10). Put u, l, 5 in increasing order.
l, u, 5
Let v = -0.06 - 1.94. Let p = 1 - 4. Let j = v - p. Put j, 0.4, -2/3 in decreasing order.
j, 0.4, -2/3
Suppose 4*l - 8 = 5*v, 2*l - 2 = l. Suppose v = 3*q - 0*q + 15. Put -0.4, q, 2 in increasing order.
q, -0.4, 2
Let g = 5 + -11. Let f be (-1544)/2298 + (-4)/g. Let o = f + 784/3447. Put 2, o, -2 in ascending order.
-2, o, 2
Let o = -0.07 - -0.05. Let u = -0.32 - o. Put 4, 0.1, u in decreasing order.
4, 0.1, u
Let i = -105 + 103. Sort 11, i, -3 in ascending order.
-3, i, 11
Let s = -137/330 + 1/66. Put s, -3/8, -17 in descending order.
-3/8, s, -17
Suppose -2*z - 12 = -6*z - 4*x, 2*x - 6 = 5*z. Suppose -3 = -n - z. Let r be -2 - (-4 - 0) - n. Sort 4, 3, r in ascending order.
r, 3, 4
Let h = -64.1 + 75. Let z = h - 11. Sort -3/5, z, 1.
-3/5, z, 1
Let u = 2 + -1.8. Let b = u + -3.2. Let g = b + 2.5. Put -0.2, -3/7, g in decreasing order.
-0.2, -3/7, g
Let j = 3 + -3. Suppose -x + 2 = -j*x. Let c = -21 - -18. Put -0.3, x, c in ascending order.
c, -0.3, x
Let v = 0.02 + 3.98. Let m(o) = -2*o - 5. Let t be m(-3). Suppose -i - 4 = -t. Sort -4, i, v.
-4, i, v
Let h(l) = -2*l + 1. Let n = -1 + 3. Let s be h(n). Let j = 1 - 3. Put s, 0, j in decreasing order.
0, j, s
Let d(x) = -x**3 + x**2 - 2*x + 5. Let h be d(0). Put h, -4, -1 in ascending order.
-4, -1, h
Suppose 0 = -0*c + c. Let s be 426/(-165) + 2 - (-2)/11. Sort 1, c, s in increasing order.
s, c, 1
Suppose 0 = -5*o + 7 + 13. Let k be (-2 - 1)*8*4/48. Put k, 2, o in decreasing order.
o, 2, k
Let t be (-5 - 0)*(-6 - -5). Put -0.3, 0.1, t in descending order.
t, 0.1, -0.3
Suppose -2*l = 3*l - 35. Suppose -2*g = j, 3*g = -5*j + l*g. Let a = 2 + -3. Put j, 4, a in decreasing order.
4, j, a
Let m be (1 + 0)/(2 - 1). Suppose c + 2*g = 3*c + 12, 18 = -4*c + 2*g. Put -4, c, m in increasing order.
-4, c, m
Let a = -17 - 93. Let m = a + 117.1. Let h = 7 - m. Sort -2, h, 0.3 in descending order.
0.3, h, -2
Let d(r) = -r**2 + 5*r - 4. Let s be d(5). Let h(n) = n**2. Let l be h(2). Let a be (9/(-6))/(2/l). Put s, -2, a in decreasing order.
-2, a, s
Let o = 11 - 6. Let j = -7 + 8. Put j, 3, o in descending order.
o, 3, j
Let v = -0.2 + 0.1. Let c = -0.51 + 0.01. Let x = -4 + 0. Sort x, v, c in descending order.
v, c, x
Suppose -t + 10 = 4. Sort t, 4, 2 in increasing order.
2, 4, t
Suppose -2*l - 4*d - 4 = 4, 5*l = -2*d + 12. Let n be (-1)/5 - (-27)/(-15). Sort l, -3, n in increasing order.
-3, n, l
Let q = 6 + -4. Suppose 0 = 2*r - 4*r - q. Let x be (-12)/6*10/(-4). Sort r, 1, x in ascending order.
r, 1, x
Let k = 0.29 - -0.01. Suppose -14 - 13 = 3*b. Let a be (-4)/(-18) - (-2)/b. Sort a, k, 2 in increasing order.
a, k, 2
Let q = -501.4 + 501. Let p = -5 - -8. Sort -4/5, p, q.
-4/5, q, p
Let r = -1.6 - 4.4. Let l = r - -2. Let y = -1 - -0.8. Sort 5, y, l in decreasing order.
5, y, l
Let v(w) = -w - 3. Let o be v(-6). Let t be o + 3/9*-11. Sort 2/7, t, -2/15 in ascending order.
t, -2/15, 2/7
Let r = -22/7 - -124/35. Sort r, -0.8, 2/11 in decreasing order.
r, 2/11, -0.8
Let g be (2/3)/(4/6). Let i be (0 + (-8)/(-6))*3. Put -4, g, i in increasing order.
-4, g, i
Let x(y) = -3*y**2 - 7*y. Let q(i) = -7*i**2 - 15*i + 1. Let w(b) = 4*q(b) - 9*x(b). Let o be w(4). Put o, -5, -7 in descending order.
o, -5, -7
Let i = -17.7 - 0.3. Let z = -18.1 - i. Sort z, 1/5, 4/3 in descending order.
4/3, 1/5, z
Let j be ((-1)/(-5768))/(8/57808). Let n = -2/721 + j. Let o = -1.3 - -1. Sort n, o, -0.2 in decreasing order.
n, -0.2, o
Let w = -94 + 54. Let g be w/(-6) - 1/(-3). Let n = 5 - g. Sort -4, -3, n in ascending order.
-4, -3, n
Suppose -f - 1 = -s - 8, 0 = -s + 5*f - 15. Let b(u) = u**2 - 6*u + 1. Let g be b(5). Let d = g - -6. Sort d, -1, s in decreasing order.
d, -1, s
Suppose 0 = 2*d + 3*b - 9, -d = 4*b - 5*b - 2. Let n(w) = -w - 5. Let l be n(-6). Put d, 2, l in increasing order.
l, 2, d
Let j be (-12)/7 - 16/56. Let y be 0 - 4/((-8)/26). Suppose g = -2*t - 0 - 12, y = -t - 4*g. Put 1, t, j in increasing order.
t, j, 1
Let s(l) = 5*l + 8. Let z be s(-2). Put z, -5, -3 in 