 increasing order.
-0.4, j, 3
Suppose -5*t + 712 = 2*a + 695, -5*a + t + 2 = 0. Suppose -4*s + 0*v - 7 = v, -s - 3*v = 10. Sort s, a, 3, 4 in ascending order.
s, a, 3, 4
Let g be (1*-6)/((-3)/(-2)). Suppose -3*c + 65 = 2*d + 3*d, 4*d - 3*c - 52 = 0. Suppose -d = -6*l - 1. Put l, g, -3 in descending order.
l, -3, g
Let p be (-3 - 50/(-15))*(-4 + 1). Let t = 13 + -10. Put t, p, 15 in decreasing order.
15, t, p
Let t(l) = -3*l + 3. Let u be t(2). Suppose 0*z = 5*z. Suppose 4*p + p = z. Sort p, -4, u in increasing order.
-4, u, p
Suppose -9*c + 3 = -15. Let d(z) = z**3 + 3*z**2 + 2*z - 4. Let q be d(-3). Let i = q + 5. Sort 3, c, i in increasing order.
i, c, 3
Let t = 159 - 158.883. Let d = t + -0.017. Sort 14, d, 0.
0, d, 14
Let f(p) = p + 8 + p**2 + 1 - 6*p - 2*p**2. Let t be f(-7). Sort 0, t, -7 in descending order.
0, t, -7
Let k = 0.5 - -4. Let z = -9.5 + k. Sort -0.3, -1/4, z, -0.02 in descending order.
-0.02, -1/4, -0.3, z
Let y(j) = j**3 - 3*j**2 - 3*j + 4. Let x be y(3). Suppose 3*o + 511 = 523. Sort -3, o, x, 2 in descending order.
o, 2, -3, x
Let i = 6 + -5. Let r be i/2 - (-12)/8. Let y = -3 + r. Put -2, y, 1 in decreasing order.
1, y, -2
Let q be (-40)/100*(0 + 10). Let o(k) = -k**2 - 6*k - 6. Let i be o(-4). Put -2, -3, q, i in increasing order.
q, -3, -2, i
Let y = 1 - -5. Suppose -3*w - 3*n + y*n = 9, 0 = 5*w + 4*n + 24. Let d = -15 - -21. Sort w, d, 1/2 in ascending order.
w, 1/2, d
Let p be ((-616)/(-605))/(-4) - (-4)/5. Sort 0.64, 0.5, p in decreasing order.
0.64, p, 0.5
Suppose -3*c + 40 = s, -44*s - 74 = -5*c - 42*s. Put 5, -5, -4, c in descending order.
c, 5, -4, -5
Suppose 520 + 690 = -11*v. Let q be v/25 + (-4)/(-10). Suppose 0 = a - 4*a - 3. Put q, a, 5 in ascending order.
q, a, 5
Let n = -164 + 44. Let h = 113 + n. Sort h, 4, -0.01 in decreasing order.
4, -0.01, h
Suppose 6*p + 1 - 7 = 0. Suppose -c - 8 = -3*c. Sort p, c, 3 in decreasing order.
c, 3, p
Let j = 41/5 - 128/15. Put j, -5/6, 3/4 in increasing order.
-5/6, j, 3/4
Let j = 193 - 197. Let u = -5 - -2. Sort -5, j, u in ascending order.
-5, j, u
Let p = -0.035 - -0.035. Let r = p - 0. Sort -2, r, -0.08 in increasing order.
-2, -0.08, r
Suppose 186*j - 151*j + 70 = 0. Sort -3, 3, 86, j in decreasing order.
86, 3, j, -3
Let l = -1241 - -1242. Put l, 2, 107 in decreasing order.
107, 2, l
Let r(i) = i**2 - 2. Let n be r(4). Let z be n - (0 - -2) - 2. Suppose -14*g - z = -9*g. Sort -5, 3, g in increasing order.
-5, g, 3
Let k(y) = -11 + 5*y**2 + 3*y**2 - 13*y - 9*y**2. Let x be k(-12). Let v(u) = 2*u - 9. Let f be v(7). Sort x, f, -3 in increasing order.
-3, x, f
Let o be (5/(25/2))/(84/30). Sort -3, -1/8, -5, o.
-5, -3, -1/8, o
Suppose 0 = 27*z - 40*z - 65. Put z, 2, 1.2 in ascending order.
z, 1.2, 2
Let y(l) = l**2 - 2*l + 4. Let o be y(0). Let m be o + 1*92/(-24). Put -2, m, 0.3 in decreasing order.
0.3, m, -2
Let x(t) = 4*t. Let v be x(1). Let s(r) = 5*r - 2. Let c(z) = 6*z - 1. Let h(m) = -4*c(m) + 5*s(m). Let q be h(3). Put q, v, 1 in decreasing order.
v, 1, q
Let x(i) = i**2 + 11*i + 26. Let k be x(-8). Suppose 29 = -4*v + 5*n, -2*v - k*n = -0*v - 8. Sort -6, v, 3 in descending order.
3, v, -6
Let u(v) = 3*v**3 + v**2 - 1. Let o be u(-1). Let g = 18 + -20. Let i = g + 3. Sort 3, o, i in decreasing order.
3, i, o
Let i be -1 - (-2 + -1 + -2). Sort i, 67, 2 in decreasing order.
67, i, 2
Let z(k) = -11*k + 117. Let s be z(11). Suppose 3*i + 7 = 6*i + 4*t, 0 = 2*i - 3*t - 16. Sort 4, i, 0, s in ascending order.
s, 0, 4, i
Let n = 307 + -312. Sort n, 3, -4, 4 in decreasing order.
4, 3, -4, n
Suppose 4*l - 4 = 5*d, 5*d + 16 = 3*l + 13. Sort -3, 3, 4, d in ascending order.
-3, d, 3, 4
Let b(v) = 5*v + 1. Let q be b(-2). Suppose -3*c + 80 = -13*c + 110. Put q, c, 0 in decreasing order.
c, 0, q
Let s be (-15)/(-4) + 24 + -28. Put s, -2/7, 0.5, -2 in descending order.
0.5, s, -2/7, -2
Suppose -6 = -2*o - 0. Suppose -y - 2*j + 9 = 0, -6*y + 3*j + 14 = -2*y. Suppose o*d - 11 = -g, y*d - 4 = 6. Sort -0.1, g, -7.
-7, -0.1, g
Suppose -2*h - a + 7 = 0, a = 4*h + 2*a - 11. Let b be (-8)/(-14) + 405/(-35) + -3. Let j be ((-14)/b)/(2/6). Put h, -1, j in increasing order.
-1, h, j
Let o = 1379 - 1377. Sort o, 22, 0, -4 in increasing order.
-4, 0, o, 22
Let s = -1172 - -1149. Sort 2/9, -2, -2/7, s.
s, -2, -2/7, 2/9
Suppose b + 2*z - 392 = -3*b, 5*z - 188 = -2*b. Let d = -94 + b. Let g = 0 + 0. Sort -4, g, d.
-4, g, d
Let l = -1.76 - -1.76. Sort 1/16, l, 2 in descending order.
2, 1/16, l
Let j = 25 + -16. Let v be 3 - -6*(-3)/j. Put 6, v, -4 in increasing order.
-4, v, 6
Let l = -0.21 - -0.11. Let b be 1/(15/27) + -1. Sort -1/8, b, l in decreasing order.
b, l, -1/8
Let d = -53/28 - -8/7. Put 0.5, d, 1/10, 0.39 in decreasing order.
0.5, 0.39, 1/10, d
Let x be 5 + (-2 - (-2 - -5)). Let z = -5 + 6. Sort 10, 2, x, z.
x, z, 2, 10
Let p be 134/8 + (-36)/48. Let h be 258/16 + (-2)/p. Let z be (h/(-6))/((-3)/9). Put 1, z, -2 in ascending order.
-2, 1, z
Let d(j) = j**2 + 19*j - 17. Let i be d(-20). Suppose 4*t + 4 = -5*v, 2*t = i*t + v. Let c = 5.4 + -0.4. Put t, 0, c in descending order.
c, t, 0
Let g(a) = a**3 + 14*a**2 + 11*a - 6. Let s be g(-13). Let o = s - 16. Put 2, o, 1 in descending order.
o, 2, 1
Let a = 335 - 338. Sort 0.4, -41, a in increasing order.
-41, a, 0.4
Let m be -7 + 4 + (-2 - -3). Sort -1, m, 30.
m, -1, 30
Let h = 23 + -39. Let w = 16.4 + h. Let r = 0 + 0.2. Sort w, r, 2/3.
r, w, 2/3
Let t = 2396 - 2393. Sort t, 79, 0 in decreasing order.
79, t, 0
Let h be (-4)/(-1)*(8 + 455/(-52)). Put 4, -1, -227, h in increasing order.
-227, h, -1, 4
Suppose -4*r = 2*l + 12, 19 = l + r - 4*r. Let w = l - -11. Suppose -2*j = w - 5. Sort j, 4, -4.
j, -4, 4
Let j = -529 - -528. Put j, -0.26, 2/11 in decreasing order.
2/11, -0.26, j
Let a(v) = 10*v + 2*v**2 - 1 - 1 - 3 - 3*v**2. Let q be a(9). Sort 1, q, 5 in decreasing order.
5, q, 1
Let c = 392 + -395. Put 5, -8, c in decreasing order.
5, c, -8
Suppose -11 + 42 = -3*l - 4*k, -16 = 4*l - k. Let n = l + 9. Suppose -5*w - 21 = 2*b, 2*w + 13 = w + n*b. Sort 2, -4, w.
w, -4, 2
Suppose 0 = 16*u - 8*u + 8. Put 3, u, -5, -4 in increasing order.
-5, -4, u, 3
Let a = 13.7 - 23.7. Sort 3, a, -3 in descending order.
3, -3, a
Let x = -148.31 - -144. Let u = x + 1.15. Let p = 0.16 + u. Sort p, 0.3, -2/9 in increasing order.
p, -2/9, 0.3
Let m be -6 - (2/2 - 4). Suppose 2*y + 2 = 4*y. Let r be (1 + 5)*(-5)/(-10). Sort r, y, m in descending order.
r, y, m
Let n = 0.205 - 113.205. Sort -1, n, 1 in decreasing order.
1, -1, n
Let l = 6 - 10. Let x = 0.038 - 0.002. Let a = x + -12.036. Sort l, 0.1, a in descending order.
0.1, l, a
Suppose 17*b + 49 = 18*b. Let q = b + -50. Sort 2, 3, q, 7.
q, 2, 3, 7
Let y = -26 - -9. Let a = y + 22. Put 2, a, -1 in increasing order.
-1, 2, a
Let h = 3.13 - 3. Let j = h - 0.43. Sort j, -2, 1/9 in descending order.
1/9, j, -2
Suppose 0 = -6*i + 17 + 1. Suppose 2*f + 1 = -j - 5, 0 = -3*j - i*f - 9. Suppose c - 10 + 35 = 4*r, 20 = -3*c + r. Sort j, c, 2 in decreasing order.
2, j, c
Let j = -2872 + 2877. Let k be 13/(-14) + 1/2. Sort 0.1, k, j in ascending order.
k, 0.1, j
Let c = 4 + -4. Let q = 0.09 - c. Let o = q - -0.91. Sort 0, 0.2, o in descending order.
o, 0.2, 0
Let p be (108/(-72))/(3/(-6)). Sort 532, p, 2 in decreasing order.
532, p, 2
Let a = -314 - -315. Put 0.2, 5, -8, a in ascending order.
-8, 0.2, a, 5
Let s(l) = -2*l**2 - 9*l - 4. Let z be s(-4). Let i = -2519/30 - -84. Let b = -37/15 - i. Sort 3, b, z in decreasing order.
3, z, b
Let v be (-2 - -10)/(2 - 1). Suppose 5*s = 10*s, 4*y + 4*s + v = 0. Put y, 11, 1 in descending order.
11, 1, y
Suppose -12*l + 6 = -15*l. Sort 4, 2, -4, l in decreasing order.
4, 2, l, -4
Let i(q) = -2*q**3 - 7*q**2 + q - 4. Let h be i(-5). Let b = 70 - h. Sort 0, 1, -5, b in descending order.
b, 1, 0, -5
Suppose 5*t + 0 + 10 = 0. Let c be 1/((-7)/t + -3). Let f = 19 + -23. Sort f, c, 3 in descending order.
3, c, f
Let y be ((-161)/21 - -7)/(6/(-9)). Put -4, y, 32 in descending order.
32, y, -4
Let f = -3 - -6. Suppose 6 = 3*a - 5*a. Sort f, 2, a in decreasing order.
f, 2, a
Let t = 301/2679 - 1/141. Let x = 1598/1203 - -2/401. Put -3/7, x, t, 3 in increasing order.
-3/7, t, x, 3
Let h = -121.8 + 122. Let g = 2.97 + 0.03. Put g, h, 9, -5 in descending order.
9, g, h, -5
Let x(u) 