reasing order.
i, 0.2, n
Suppose 25*i = 8*i + 85. Sort 1/4, i, -7.
-7, 1/4, i
Let q be 3/((-13)/((-156)/9)). Suppose -u + 3 = -p + 7, -20 = 4*u - 5*p. Sort q, -3, -2, u in descending order.
q, u, -2, -3
Let l be 6 - (-11)/(-66)*18. Put l, -1, -4, 1 in descending order.
l, 1, -1, -4
Suppose 5*d - 504 = -2*v - 8, -v + 3*d + 248 = 0. Sort 5, 1, v in ascending order.
1, 5, v
Suppose 13*b - 7 = 6. Sort 1/21, 0, b, -0.6 in increasing order.
-0.6, 0, 1/21, b
Let v = -168.7 + 171. Sort 1/4, 2, v in increasing order.
1/4, 2, v
Let i = 0.025 - 0.225. Sort 0, -2, i, -10.9 in increasing order.
-10.9, -2, i, 0
Let t = 111 + -115. Sort t, -2, -30, -1 in decreasing order.
-1, -2, t, -30
Let r = -0.551 + -25.549. Let k = r + 26. Sort 4, -0.8, k in decreasing order.
4, k, -0.8
Let f = -5.8 + 0.8. Let k be 3*-10*(-4)/24. Let m = -4/23 + 58/69. Put k, m, f in descending order.
k, m, f
Suppose -10 = 6*v - 11*v. Put v, 10, 3 in ascending order.
v, 3, 10
Let q be 1667/(-7) + (-2)/(-14). Put q, -1, 4 in ascending order.
q, -1, 4
Let f(c) = c**3 + 44*c**2 + 74*c - 418. Let d be f(-42). Suppose 3*l - j = 4*l - 3, 0 = -2*j + 8. Let r be 1/(l - 4/(-5)). Sort d, -2/7, r in ascending order.
r, -2/7, d
Let u(h) = -212*h + 217. Let o be u(1). Sort 0, o, 48, 4 in ascending order.
0, 4, o, 48
Let s = -1 + -2. Let l be 3 - 11*(-2 - s). Let a = l + -1. Sort -3, a, 4 in decreasing order.
4, -3, a
Let w = 586 + 219. Suppose 0 = 4*f + 203 + w. Let n be (-24)/f*(-14)/(-6). Sort -0.4, n, -6 in increasing order.
-6, -0.4, n
Let y(z) = -3*z - 21. Let n be y(-9). Suppose -12*l + 12 = -n*l. Suppose l*h + 4 = h. Sort 1, 2, h in ascending order.
h, 1, 2
Let l be 7/(-3) - (-2 - (2 + -1)). Let j be (-3)/(-6) - 6/4. Let c be (-8)/10*(-3)/4. Sort j, l, c in descending order.
l, c, j
Let n(l) = -27*l - 214. Let p be n(-8). Sort p, 3/5, -18/7, 0.8 in decreasing order.
p, 0.8, 3/5, -18/7
Let d be (-1)/((-2)/8) - 30/9. Put -5, -1/2, -0.3, d in ascending order.
-5, -1/2, -0.3, d
Let k = -6494 - -6495. Suppose 2*w = 3*w. Put k, -13, -1, w in descending order.
k, w, -1, -13
Let x = 275.8 - 276. Sort -3, x, -53 in descending order.
x, -3, -53
Let g = -105 + 231. Let x be 532/g - 2/9. Let p be 2/(-15) - (-2)/(-3). Put x, 0.3, p in ascending order.
p, 0.3, x
Let j(l) = l**3 + 6*l**2 - 31*l - 169. Let t be j(-7). Sort t, -6, -4, 63 in descending order.
63, t, -4, -6
Let n(d) = d + 54. Let u be n(-41). Sort 4, u, -17.
-17, 4, u
Suppose 6*o = 60 - 6. Let p = -6 + 9. Suppose p*k = o*k - 18. Put 0, 5, k in increasing order.
0, k, 5
Let m = 3.4 + -1.4. Let o = 15 - m. Let f = 3 - o. Sort 3, f, 4/7.
f, 4/7, 3
Let q = -152.51 - -1.51. Let b = 149 + q. Put b, 1, 1/4, 1.3 in decreasing order.
1.3, 1, 1/4, b
Let z be (-9)/((-36)/16) + -6 + 0. Let s be (z/(-6) - 1)*(-525)/(-50). Put 5, s, 1 in ascending order.
s, 1, 5
Let v = -0.3 + 0.5. Let j = 63 - 149. Let t = j + 256/3. Sort v, 5, t in descending order.
5, v, t
Let w(z) = -94*z + 3758. Let d be w(40). Let s = -28 - -13. Sort d, s, 4 in decreasing order.
4, d, s
Let x = -2 - 3. Let u be 5 + -1*(-79)/(-8). Let l = -27/8 - u. Put -2/5, x, l in descending order.
l, -2/5, x
Suppose 10*l + 33 = 21*l. Put l, -8, 0, -2 in ascending order.
-8, -2, 0, l
Let v(i) = 8*i - 6. Let c be v(14). Let k = -743/7 + c. Sort k, 5, -3 in ascending order.
-3, k, 5
Suppose 21*r = -14*r + 105. Sort r, 4, -5, -1 in descending order.
4, r, -1, -5
Let n be 2/8 + 33/(-132). Sort n, -0.3, -4.
-4, -0.3, n
Let b be 15/6 - 3/6. Put -138, -2, b in descending order.
b, -2, -138
Let j = 2947/6 - 491. Put 2/3, 0.3, j, 1 in increasing order.
j, 0.3, 2/3, 1
Let w = 2405 - 2409. Suppose 2*y - 3 = -y. Suppose 0*j = 5*j. Sort j, y, w in decreasing order.
y, j, w
Let q be 14/(-21) - (-8)/3. Let l be -7 + 18/3 + 0. Put 1, l, q in descending order.
q, 1, l
Let b = 0 + -1. Let w = -85 - -83. Sort w, -0.2, b in descending order.
-0.2, b, w
Let b be 3/(-6)*7/(-28). Sort 1/5, -4, b in increasing order.
-4, b, 1/5
Suppose 40*p = 45*p - 145. Suppose -5*y + 5*v - p = v, 4*y - 4*v + 24 = 0. Sort 5, y, -2.
y, -2, 5
Suppose 2*t - 47 + 43 = 0. Put 3, 8, -3, t in ascending order.
-3, t, 3, 8
Let f = 3 - 2. Let m = -136 - -135. Sort f, -3, m.
-3, m, f
Suppose 5*c - 17 = -2*s, c - 25 = s + 4*s. Sort s, -1, 4 in decreasing order.
4, -1, s
Let b be (1/2)/(2/4). Suppose -143 = d + 2*a, 8*a + 5 = 3*a. Let g be 3 - (0 - d/45). Sort g, b, 4 in descending order.
4, b, g
Let j = 128 + -137. Suppose -4*t - 8 = 2*p, 0 = -5*p - 32 + 12. Suppose t*i + 2*i = -6. Put j, 5, i in increasing order.
j, i, 5
Let t(c) = -2*c**2 - 16*c - 9. Let a(q) = 2*q**2 + 16*q + 9. Let x(u) = 4*a(u) + 3*t(u). Let g be x(-7). Put g, -2, 1 in decreasing order.
1, -2, g
Let k(f) = f**3 + 1. Let p be k(-1). Let s = -81 + 86. Sort p, 3, s in descending order.
s, 3, p
Let a = -1 - -7. Let k = a - 1. Let i = 9907 - 9906. Sort k, i, -3 in increasing order.
-3, i, k
Let j be -4 + 3*-1 + 8 + 5. Put -11, -4, j in increasing order.
-11, -4, j
Let b = 0 - 0.2. Let f be 2854/(-24) - 6/(-36). Let m = 119 + f. Put m, b, 2/9 in descending order.
m, 2/9, b
Let h(x) = -x**2 - x + 7. Let w be h(-3). Suppose -3*d = -a - 4*d + 25, -13 = -a + 3*d. Suppose 7*j - a = 5*j. Sort j, 3, w in ascending order.
w, 3, j
Let r(g) = g**3 + 3*g**2 - 3*g + 4. Let k be r(-4). Suppose k*b - b = -8. Suppose -2*n + 4*d = b, 5*d = 5*n + 5 + 10. Sort n, 2, -1.
n, -1, 2
Let x(q) = -q**3 + 3*q**2 + 2*q - 1. Let v(l) = 3*l. Let o be v(1). Let c be x(o). Put -3, c, 0 in increasing order.
-3, 0, c
Let j = -84 + 83. Let v = j + 6. Sort 2/11, v, -5, -4 in descending order.
v, 2/11, -4, -5
Let g(o) be the third derivative of -o**4/12 + 7*o**3/2 - 5*o**2. Let z be g(9). Sort z, 20, 5 in descending order.
20, 5, z
Let j = -2316 - -2317. Let c = 10 + -6. Sort c, 5, -5, j.
-5, j, c, 5
Let h = -0.36 + -0.24. Let l be (-8)/(-14) - 320/70. Let k be (-11 - -5)*(-1)/l. Sort k, h, -4 in decreasing order.
h, k, -4
Let n(x) = -3*x**2 - 4 + 4*x**2 - 2*x**2. Let s be n(0). Let t be (-4)/(-12)*-9 - 2/1. Sort t, s, 4 in decreasing order.
4, s, t
Let t(o) = 2*o**2 + 3*o - 15. Let l be t(5). Let x = l + -46. Sort -4, -3, x in decreasing order.
x, -3, -4
Let v = 2567 - 2561. Sort 13, -3, -5, v.
-5, -3, v, 13
Let w = 0.51 + 10.49. Sort -4, w, 0.4 in decreasing order.
w, 0.4, -4
Suppose -29 = 9*g - 74. Suppose 2*i + 41 = -3*i - 4*r, -3*i - 3*r - 24 = 0. Let y(a) = a + 4. Let s be y(i). Sort -6, s, g in decreasing order.
g, s, -6
Let v = 1 - -2. Suppose -3*d = -2*d. Suppose d = 2*o + 3*r + 1 + 9, -21 = -5*o + 4*r. Sort o, 6, v in decreasing order.
6, v, o
Let g(h) = -h**2 - 1. Let p be g(-2). Suppose -32 + 20 = -3*y. Suppose y*n = v - 24, -4*v + 5*v - 2*n - 14 = 0. Put p, -1, v in decreasing order.
v, -1, p
Let x = 212 - 210. Put -5, -1, 4, x in increasing order.
-5, -1, x, 4
Let m = 4 + -1. Let a be -2 + 3 + m*2. Let z = -0.3049 + 0.7049. Put 1, a, z in decreasing order.
a, 1, z
Let z(s) be the first derivative of -10 - 4*s + 1/2*s**2. Let j be z(5). Put 0, j, 6 in decreasing order.
6, j, 0
Suppose 0*a + 5*p = a - 23, -2*a + 18 = -3*p. Suppose a*w - 10 = 5*w. Put -6, w, 0 in descending order.
0, w, -6
Let l(x) = -x**3 - 6*x**2 - 6*x - 4. Let j be l(-5). Let v be ((-112)/21)/(j/3). Let q = 21 + v. Sort -2, q, -4 in descending order.
q, -2, -4
Suppose -5*h + 12 + 7 = -4*v, -2*h + 1 = 5*v. Suppose -12 = 5*d - h*d. Let i be d/10*1*-5. Put -5, -3, i in descending order.
i, -3, -5
Let k = -196.4 + 196. Let f be 16/(-7) - (5 - 7). Put f, 2, -4/9, k in descending order.
2, f, k, -4/9
Let g be 9/(-4)*24/(-18). Let b be (-2)/(0 - -2 - 4). Let m = 0 - b. Sort m, -4, g in increasing order.
-4, m, g
Let s be 36/(-300)*-1*5/(-6). Sort s, -0.17, 0.
-0.17, s, 0
Let k be ((-4)/6)/((-2)/9). Suppose i - v - 2 = 0, -v - k = -0*v. Suppose -4*f + f = 0. Put i, f, 2 in descending order.
2, f, i
Let l = 1.99 + -2.2. Let p = 59 + -59.39. Let a = p + l. Sort 2/7, a, 3.
a, 2/7, 3
Let z(k) = k**3 + 4*k**2 - 8*k - 6. Let v be z(-6). Let c = 29 + v. Let o be (-56)/(-21) - (2 - c). Put 1/10, 0, o in descending order.
1/10, 0, o
Let v = 0.12 + -7.12. Let h = v + 8.8. Let d = -1.2 - h. Sort 4/5, d, -4 in decreasing order.
4/5, d, -4
Suppose -9*g - 155 + 101 = 0. Let f(x) = x**3 - 4*x**2 - x + 4. Let w be f(4). Put w, 3, g in descending order.
3, w, 