 z = -9.1 - -8. Let a = -3 + 3.7. Let n = z + a. Put 0, 5, n in increasing order.
n, 0, 5
Suppose -4*l + 4*z + 11 = 31, z - 17 = 5*l. Suppose 0*x + 4*x = -5*y + 24, -5*x + 25 = 5*y. Put l, x, 3 in ascending order.
l, x, 3
Let z = 255.6 + -256. Sort -2, 4/3, z, -4 in descending order.
4/3, z, -2, -4
Suppose 20 = -4*j - 2*u, -14*j - 10*u - 52 = -10*j. Sort 29, 5, -4, j in descending order.
29, 5, j, -4
Suppose 8*j - 16 = 16*j. Put -5, -3, j, 1 in descending order.
1, j, -3, -5
Let u = 135 + -150. Let d = u + 10. Let s = 164 - 496/3. Sort s, 4, d.
d, s, 4
Suppose -7*o - 20 = -17*o. Suppose -6*d - 24 - 6 = 0. Sort -3, o, 3, d in descending order.
3, o, -3, d
Suppose -13*v + 952 = -23. Let n = v + -80. Put 15, 4, -4, n in descending order.
15, 4, -4, n
Suppose -5*p - 3*t = -289, 0 = -3*p + 22*t - 19*t + 159. Sort 5, -5, p, -3 in increasing order.
-5, -3, 5, p
Let z(m) = 4*m - 26. Let n be z(6). Let g be 3/(2 - -1) - 0/n. Let j = -1.3 + 0.3. Put 0.1, g, j in descending order.
g, 0.1, j
Suppose -5*t + 5*a = -2*t - 3, -4*t = 3*a + 25. Sort t, -15, -5, -1 in decreasing order.
-1, t, -5, -15
Let r = 229/55 + -48/11. Put 1, 0.042, r in decreasing order.
1, 0.042, r
Suppose 0 = 5*u - 2*y - 235 + 13, 2*y = 2*u - 90. Let j = 39 - u. Sort j, 5, 4.
j, 4, 5
Let r = 8 + -8. Suppose r = d + d. Suppose d*f - f = 1. Put -5, f, -2 in descending order.
f, -2, -5
Let c = -282.6 - -283. Sort 1.5, -5, -4, c.
-5, -4, c, 1.5
Let f = 17 - 19. Let t be (-2)/(f - (0 - 16)). Sort t, -1, -10 in descending order.
t, -1, -10
Let u = 104 - 217. Let t = u - -112. Sort t, -0.3, 0.04 in decreasing order.
0.04, -0.3, t
Let v = 84 - 45. Let o = v - 22. Suppose -5*u - 3 = o. Sort 1, -3, u.
u, -3, 1
Suppose -4*h + 5 = h. Let k = 2.2 + -2.7. Put k, h, 11 in increasing order.
k, h, 11
Let j = 1694.4 + -1694. Put 0.2, j, -3, 1 in decreasing order.
1, j, 0.2, -3
Let v = -14 - -85/6. Let p be (2/(1*-8))/(-1)*-2. Put -1, v, p in ascending order.
-1, p, v
Suppose -2*a - 4*i - 12 = 2, -2*a - 10 = 3*i. Suppose 3*u = -s - 2, 3*s + 2*u + 5 = 13. Sort 13, s, a in increasing order.
a, s, 13
Let g = 31.9 - -6.2. Let b = g + -38. Sort -7, 1, b in decreasing order.
1, b, -7
Let z(o) = -o**3 - 7*o**2 - 2*o + 10. Let m be z(-6). Put -5, m, 5, -1 in descending order.
5, -1, -5, m
Let i = 37 + -40. Let r(g) = -24*g + 1 + 12*g + g**3 + 10*g**2 - 5 - 4. Let s be r(-11). Put 1, s, i in ascending order.
i, 1, s
Let w be -1*4/7 + (-64)/(-14). Put 2, w, -1, 3 in descending order.
w, 3, 2, -1
Let r = -24 - -19. Let s(a) = -a**2 - a. Let x be s(-3). Let w be x - ((-4)/(-4) - 4). Put -0.1, w, r in descending order.
-0.1, w, r
Suppose 3*r = -67 + 55. Put -9, r, 9, -1 in ascending order.
-9, r, -1, 9
Suppose 15*o - 13*o = -6. Put o, -1, -2 in ascending order.
o, -2, -1
Suppose -5*s + 9 + 6 = 0. Let i be (7 - s) + 0/3. Put i, 3, 0 in increasing order.
0, 3, i
Suppose -l - 3*n - 11 = 1, -5*n = -2*l - 68. Let x be (-3 + 1)*(-4)/l. Sort x, 12, -0.4 in ascending order.
-0.4, x, 12
Suppose -32 + 112 = 4*m. Suppose 4*c - m = 4*t, 9 = 5*c - 6. Suppose -h + 19 = 5*j + 2, 5*h = -15. Sort 2, t, j in decreasing order.
j, 2, t
Let f = 619/84 + -97/12. Put -2, 3, -2/21, f in ascending order.
-2, f, -2/21, 3
Let j = -23 - 126. Let f = j + 142. Put f, -5, 8 in decreasing order.
8, -5, f
Suppose -91*t - 35 = -84*t. Put t, 14, -4, -2 in descending order.
14, -2, -4, t
Let k = -0.1 + 4.1. Let p be (-77)/(-29) + (-30)/10. Let x = 165/58 + p. Sort k, x, 1/6 in decreasing order.
k, x, 1/6
Let x(g) = -2*g + 9. Let q be x(3). Sort 1, q, -28 in decreasing order.
q, 1, -28
Suppose -2*l + 14 = 5*q, -2*q - 4*l = -7*q + 2. Let g be (-4 + q - -1)*12. Put g, 4, -1 in decreasing order.
4, -1, g
Let t = 0.4369 - 0.0369. Put -22, t, -0.2 in descending order.
t, -0.2, -22
Let c be 37/12 + -4 - (-8)/32. Put 0, 0.1, 59, c in ascending order.
c, 0, 0.1, 59
Let t(w) = w**2 + 38*w + 5. Let v be t(-38). Sort 1, v, 6, 3 in decreasing order.
6, v, 3, 1
Let q = 6 - 8. Let s = 14.8 + -15. Sort s, q, -5.
-5, q, s
Suppose -9*g = -5*g - 20, 5*i - 25 = -2*g. Let x(a) = 5*a. Let m be x(3). Put -2, i, m in increasing order.
-2, i, m
Let s = -25 + 18.76. Let d = -1.1 - s. Let w = -0.14 + d. Sort w, 0.5, 0.09 in decreasing order.
w, 0.5, 0.09
Let v be (0 - -4)/(18/(-72)). Put -2, -3, 3, v in descending order.
3, -2, -3, v
Let c = -292 - -292. Put 2, 11, c in ascending order.
c, 2, 11
Let b = 0.036 - 19.036. Let g = 15 + b. Sort g, -0.1, -3/5, -1/4 in decreasing order.
-0.1, -1/4, -3/5, g
Let o = 0.59 - 0.584. Let j = o + -0.026. Sort j, -3/8, 4/3.
-3/8, j, 4/3
Let v(q) = 2*q**2 + 97*q + 224. Let x be v(-46). Sort x, -8, 2 in decreasing order.
2, x, -8
Let p = 11.3 + -11. Let r = -1.2 + 0.2. Let z = -3701/2964 + -1/741. Put p, z, r in ascending order.
z, r, p
Let p = 864 - 863.5. Put -0.1, p, -2/23, -1 in increasing order.
-1, -0.1, -2/23, p
Let v(y) = -y**2 - 7*y - 24. Let a be v(-5). Let k be a/(-126) - (-44)/9. Suppose 0 = -2*o + 3*w - 7, -4*o - 4*w + 36 = -0*w. Put k, 0, o in increasing order.
0, o, k
Let u = 36 - 34. Let f be -1*6/u*-1. Put f, 10, -1, 5 in descending order.
10, 5, f, -1
Suppose -14 = x + 3*m - 18, 3*x = -4*m + 7. Let v = -6 - -10. Put -5, 0, v, x in ascending order.
-5, 0, x, v
Let z(v) = v**3 + 8*v**2 - 6*v + 29. Let y be z(-9). Sort 3, y, 15 in ascending order.
y, 3, 15
Suppose 6 = 4*r - 6. Put 8, r, -5 in increasing order.
-5, r, 8
Let t be (-4)/10 + 51/15. Suppose 4*f = t*f + 1. Let o = -82 - -88. Put f, o, -1 in decreasing order.
o, f, -1
Let m be (10/4)/(1/2). Suppose -r = -m*z + 27, r - 20 = 6*r - 2*z. Let g = -12168 - -12163. Put r, 1, g in descending order.
1, r, g
Let j = 13 + -8. Suppose -16 = f - j*f. Sort -0.1, f, -1/12 in descending order.
f, -1/12, -0.1
Let g(s) = -s**2 - 16*s - 40. Let w be g(-13). Put -7, w, 0 in decreasing order.
0, w, -7
Let a = -1 - -0.5. Let o = -0.06 - -5.56. Let p = a + o. Sort 2/7, p, 2 in decreasing order.
p, 2, 2/7
Let n = 0.36 + -19.36. Let j = -18 - n. Put -8, 5, j in decreasing order.
5, j, -8
Let q = -0.114 - 2.886. Sort -5, q, -2.
-5, q, -2
Suppose n - s - s - 13 = 0, -4*n = 2*s - 2. Let f be n*(-20)/(-27) + -2. Let l = 5.1 + -4.7. Put f, -2/7, l in descending order.
l, f, -2/7
Let a be 4 + (70/10 - 12). Let t be (-1 - 1)/4*-2. Put t, 0, a in descending order.
t, 0, a
Suppose -3*b = -9*b + 12. Let j(w) = -w**2 + 11*w - 4. Let g be j(11). Let z be 6/9 - (-2)/g. Sort z, b, -0.3 in decreasing order.
b, z, -0.3
Let o = 5.58 + -12.58. Put -14, 2, -4, o in descending order.
2, -4, o, -14
Let h be -3 + -5 + 385/49. Sort -2, -16, h in decreasing order.
h, -2, -16
Let i be 2 - 2 - 0/1. Let a(g) = -g**3 - 23*g**2 - 43*g - 37. Let k be a(-21). Let s be (-3)/9 + k/6. Put 5, s, i in decreasing order.
5, i, s
Suppose -36*l - 162 = -18*l. Sort 9, l, -1 in descending order.
9, -1, l
Suppose 4*m = -2*r, 3*r = -3*m + 2*m. Suppose r = 2*x - 3 + 1. Let g = x + -5. Sort g, 3, 4.
g, 3, 4
Let w(m) = 3*m - 4. Let j be w(0). Let s = -40 + 37. Sort j, s, 9.
j, s, 9
Let g be (-4)/14 + (-195)/(-70). Sort -8, g, 0.1.
-8, 0.1, g
Let t = 649 - 645. Put t, 1, -2, -3 in ascending order.
-3, -2, 1, t
Let q = 32.944 - -0.056. Let m = -33.03 + q. Put 0.5, -1/4, m in decreasing order.
0.5, m, -1/4
Suppose -7*u + 113 = 148. Suppose -2*s = 2*s + 12. Suppose 0 = 2*t + 2*t - 4*m, -2 = -4*t + 3*m. Put u, s, t in descending order.
t, s, u
Suppose -5*a + 20 + 1 = -2*i, -5*a + 35 = 5*i. Sort a, 3, -11 in decreasing order.
a, 3, -11
Let y(r) = r**2 + 2*r + 3. Let v be y(-3). Let m = 58 + -73. Let o = 10 + m. Put o, 2, v in increasing order.
o, 2, v
Let g = -64 + 60. Put 0, g, 15/2 in increasing order.
g, 0, 15/2
Suppose -3*c - 60 = 7*c. Let j(u) be the first derivative of -u**2 - 7*u + 1. Let q be j(c). Sort q, -4, -5.
-5, -4, q
Suppose 0 = -26*z + 35*z. Put -4, z, -2, -3 in increasing order.
-4, -3, -2, z
Let h(d) = d - 2*d**3 + 0*d + 0*d + d**3. Let o be h(1). Let i = -4 + 1. Put i, o, -2 in ascending order.
i, -2, o
Let s = 793 + -797.07. Let j = s - -0.07. Let n be ((-20)/(-35))/(180/(-210)). Put n, j, -0.2 in decreasing order.
-0.2, n, j
Let y = -13 + 16. Suppose y*o - 72 = -3*o. Sort 5, o, 0.4 in decreasing order.
o, 5, 0.4
Let v(l) = -l**3 + 27*l**2 + 30*l - 60. Let t be v(28). Suppose 19 + 1 = 4*a. Put a, t, -9 in increasing order.
