 0.3, 20, w in decreasing order.
20, 0.3, w
Let j be 1 - 8 - (-2 + 4). Let u = j + 13. Suppose -16 = -u*z - 0*z. Put -2, 2/9, z in descending order.
z, 2/9, -2
Suppose 7*z - 33 = 4*z - 4*x, -5*x = -5*z + 55. Suppose 3*s = z + 31. Suppose -4*w = 2 + s. Put 0.3, -3/2, w in ascending order.
w, -3/2, 0.3
Suppose -4*g = -8*g - 12. Suppose -w = w + 8. Sort g, w, 3 in descending order.
3, g, w
Let j be (42/(-140))/((-1)/(-2)). Sort -5, j, 0.07 in ascending order.
-5, j, 0.07
Suppose 1 = -c - 1. Suppose 2*h + h - 3 = 0. Sort 0, c, h.
c, 0, h
Let b(x) = -x**2 + 7*x - 2. Let l be b(5). Let c(k) = -k**2 - k. Let y(s) = 3*s**2 + 11*s + 9. Let i(r) = -4*c(r) - y(r). Let v be i(l). Sort 0.1, 0.3, v.
v, 0.1, 0.3
Suppose -3*l = 2*x + 2 - 5, -2*x + 10 = -4*l. Sort l, -5, -11.
-11, -5, l
Let z(h) = -h**3 - 4*h**2 - 2*h + 2. Let n be z(-3). Let k = 6 - 8. Put k, 5, n in increasing order.
k, n, 5
Let v be (-9)/45*(0 - -1). Put v, -2/9, 3/5 in decreasing order.
3/5, v, -2/9
Let l = 4 - 4. Suppose l = 2*o + 2*o - 36. Let s be ((-4)/o)/(0 + 1). Put -3/4, -0.1, s in descending order.
-0.1, s, -3/4
Let j = -5.5 - -5.7. Put j, 0.1, 5, -1/2 in increasing order.
-1/2, 0.1, j, 5
Let i = 12 + -4. Sort 0.1, -1/5, i in ascending order.
-1/5, 0.1, i
Let l be ((-8)/1)/(4/(-2)). Suppose -3*k = -l*k. Put -3, -2, k in increasing order.
-3, -2, k
Let r(s) = 3*s**2 - 6*s**2 - 7*s - 5 + 2*s**2. Let g be r(-4). Let c(k) = -k**3 + 8*k**2 - 7*k - 3. Let z be c(g). Sort z, 3, 4 in increasing order.
z, 3, 4
Let i = 8.494 + 0.106. Let d = 0.6 - i. Let l = 6 + d. Sort 2, l, 3 in increasing order.
l, 2, 3
Let l be 0/(-2 + -2)*1. Sort l, -1, -7.
-7, -1, l
Suppose 2*k = 8 + 2. Let d = -25 + 26. Put -4, k, d in decreasing order.
k, d, -4
Suppose 6*n - 2*n + 20 = 0. Let i(f) be the third derivative of -f**5/60 - f**4/4 - f**2. Let q be i(n). Sort 2, -1, q.
-1, 2, q
Suppose -50*f + 5 = -45*f. Sort -2, -5, -3, f.
-5, -3, -2, f
Let b(i) = i**3 + 6*i**2 - 8*i + 3. Let d be b(-7). Let c = 21 - 31. Let u = c + d. Put -1, -3, u in decreasing order.
u, -1, -3
Let x = 10 + -15. Let b = 2.5 + -7.1. Let y = x - b. Put 0.4, y, 5 in decreasing order.
5, 0.4, y
Suppose 25 - 5 = 2*p. Let n be (-1)/p + (-2)/5. Sort n, 5, -0.4 in descending order.
5, -0.4, n
Let r be (-38)/(-8) + 5/20. Suppose 4*w + 3 = 2*i + 3*i, r*i = -4*w + 27. Let b be ((2 - i)/3)/1. Sort b, 0.4, -3 in decreasing order.
0.4, b, -3
Let g = -32.4 - -32. Sort g, -2, -5, 0.5.
-5, -2, g, 0.5
Let g = 37.1 + -37.4. Let a = 0 - 0. Sort 5, a, g in increasing order.
g, a, 5
Suppose 62 = k + 64. Sort 1, 0, k.
k, 0, 1
Let v = 553030/7 - 78874. Let a = -70 - -200. Let y = v - a. Sort 2, -4, y in descending order.
2, y, -4
Let k be 143/(-198) - (-1)/2. Sort k, -2/25, 3 in ascending order.
k, -2/25, 3
Let g = 6.7 + -7.2. Sort g, -1, 0.4, -0.4 in ascending order.
-1, g, -0.4, 0.4
Suppose -10*i - 13 - 27 = 0. Put -3, i, 2 in descending order.
2, -3, i
Suppose 23 = -2*l + 6*l + 5*g, -4*l - 4*g + 20 = 0. Put -4, -1, l, 3 in descending order.
3, l, -1, -4
Let x = -4 - -9. Let g be (-5)/x*(1 - 2). Suppose 5*t - 19 = 2*f, 0*t - 2*f + g = -t. Sort 4, t, -1/4 in decreasing order.
t, 4, -1/4
Suppose z = -5*b - 18 - 9, -4*z + 7 = -3*b. Suppose -2*m = -0*m - 3*x - 6, -2*x = 4. Suppose m*v - 14 = 2*v. Sort -4, z, v in ascending order.
v, -4, z
Suppose 3*f + 112 = f. Let o be (6/f)/(5/20). Put o, -1/4, 0.4 in increasing order.
o, -1/4, 0.4
Let r(h) = h + 4. Let u be r(-5). Put u, -3, 2 in increasing order.
-3, u, 2
Let y = -4 - 0. Let t be (-38)/(-3)*6/4. Suppose 2*v + v + 2*j - t = 0, j = -5*v + 27. Sort v, y, 0 in increasing order.
y, 0, v
Suppose d - 4*w = 21, -d + 2*w = 3*w - 1. Let j be (0 + 0)/(2/1). Put d, j, -3 in descending order.
d, j, -3
Let a = -0.054 + -0.046. Let u = -3 + 3. Put 4/7, u, a in ascending order.
a, u, 4/7
Let v be (-5)/(-1 + 11)*-12*1. Suppose -3*b + 3 = -0. Sort -1, v, b in descending order.
v, b, -1
Let h be 2 - (0 + -2) - 0. Suppose 0*k + 2*k = -h. Sort 3, 1, k in decreasing order.
3, 1, k
Let h(s) = 3*s + 1. Let f be h(1). Suppose 3*q = f*r + q + 6, -q = 1. Sort -0.7, -0.4, r in decreasing order.
-0.4, -0.7, r
Let p(i) = -i**3 + 14*i**2 + 19*i - 63. Let j be p(15). Sort 3, j, -2.
j, -2, 3
Let w be 2 + 0 - (-4 + 1). Suppose 3 = -5*h - 7. Put h, w, 3 in decreasing order.
w, 3, h
Let p be (-11)/(0 + (0 - 1)). Let n = -1/2 - -2/3. Put n, p, 0.2 in descending order.
p, 0.2, n
Let r(n) = -n**3 - 4*n**2 - 3*n + 2. Let b be r(-3). Suppose m + 2 = j, 0*m = -4*m + 2*j - 10. Put -2, b, m in decreasing order.
b, -2, m
Let w = -4 - -3.7. Put w, -2, 2 in descending order.
2, w, -2
Let n = 0.07 - -0.33. Put 0, -7, n in increasing order.
-7, 0, n
Let p be 2/(-6)*(1 + 0). Let v = -1373/12 - -115. Let o = p + v. Put -0.2, o, 0.5 in increasing order.
-0.2, o, 0.5
Let g = -0.23 + -1.97. Let f = g + -0.8. Put 2, f, -3/7 in decreasing order.
2, -3/7, f
Suppose -3*x = 2*w - 11, -1 - 1 = w. Sort 2, x, 1 in descending order.
x, 2, 1
Let f = 4.946 + 0.054. Let s = -3.1 - 0.9. Sort 2, s, f in ascending order.
s, 2, f
Let r = 12 - 8. Let x(f) = -6*f + 2. Let g be x(1). Sort g, r, 3.
g, 3, r
Let p = 15 - 8. Let t = 12 - p. Sort -2/9, -4/9, t in decreasing order.
t, -2/9, -4/9
Let c(s) = -s**3 - 7*s**2 + 7*s - 6. Let k be c(-8). Suppose -k*m + 3*m = 0. Suppose 2*z + z + 12 = 0. Sort z, m, -5 in increasing order.
-5, z, m
Suppose 8 = -2*f + 2. Let n(a) = 6*a + 1. Let v be n(-1). Let j be (-1)/v - 8/(-10). Sort -3/2, f, j.
f, -3/2, j
Let o(s) = -s**3 + 3*s**2 - s + 4. Let w be o(3). Sort -0.1, w, -3, -5.
-5, -3, -0.1, w
Let a be -1 - 14 - (6 - 7). Let n be (1/(-1))/(-2)*-2. Let w be n + (3 - (-32)/a). Put w, -0.3, 2/17 in descending order.
2/17, w, -0.3
Let z be 5 - 20/((-15)/(-3)). Put -3, z, 2 in decreasing order.
2, z, -3
Suppose 3*r + 16 = 5*u, 5*r + 2*u + 6 + 0 = 0. Let p(h) = h**2 - 3*h. Let g be p(4). Suppose -s + v = s + 11, 2*s + 26 = g*v. Sort r, 0, s.
s, r, 0
Let f = -0.2 + 0.3. Let c = -7.1 + 7. Let m = c - f. Put m, 4, 2 in decreasing order.
4, 2, m
Let h = 1 - -4. Put h, -2/3, 2/19 in ascending order.
-2/3, 2/19, h
Suppose 0*p + 3*p = -24. Let y be (p/(-6))/(2/3). Sort y, -4, -2 in descending order.
y, -2, -4
Let h = -66.7 - -67. Sort -1, 4, 0.5, h in descending order.
4, 0.5, h, -1
Let o be (-8)/(-3) + 6/(-9). Suppose -o*b = -3*b. Let z be 12/(-4)*8/(-6). Put -0.5, z, b in descending order.
z, b, -0.5
Suppose -b - 11 = -4*b + s, -2*b = -5*s + 10. Suppose -h + b*r + 2 = 8, 34 = -3*h - r. Put -4, h, 5 in descending order.
5, -4, h
Suppose 0 = -o + 3*c - 11, 0 = -o - 2*c - 1 - 0. Sort 4, o, 19.
o, 4, 19
Let i be 2/13 + (-152)/312. Put 3/8, i, 3/5 in descending order.
3/5, 3/8, i
Let d = -44.3 - -47. Let z = d + 0.3. Let o = 27 + -82/3. Sort z, o, 0 in decreasing order.
z, 0, o
Suppose -5*t + 2*t - 6 = 0. Let d be (0/(-1))/((-1)/1). Suppose d = a - 4. Sort a, t, -4 in ascending order.
-4, t, a
Suppose -4*r + 5*k = 2*k - 27, 5*r - 2*k = 25. Sort 4, -1, r.
-1, r, 4
Suppose 0 = 2*u - 0 + 2. Put 0, u, 1 in descending order.
1, 0, u
Suppose 2*t - 10 = 4*t. Suppose 54 + 6 = 5*s. Suppose -5*f = -f + s. Sort t, 2, f in descending order.
2, f, t
Let m be (12/20)/((-2)/(-10)). Suppose -r = m*r + 8. Let p be (r/(-10))/(12/15). Sort p, -2, -0.2.
-2, -0.2, p
Let f(x) = x**2 + 4*x - 8. Let g = 10 + -16. Let b be f(g). Suppose -48*n + 56*n + 8 = 0. Sort b, -2, n.
-2, n, b
Let o(k) = -k**3 - 2*k**2 - 2*k - 2. Let j be o(-2). Let q be (-17)/8 - 8/(-4). Put q, j, -4/7 in ascending order.
-4/7, q, j
Let t be 15/5 + -6 + 5. Let v = 11 + -7. Suppose 3*f - 21 = 5*j, -v*j + 3*f = -2*f + 22. Sort 3, t, j in decreasing order.
3, t, j
Let q = 315 - 2839/9. Suppose 0 = 4*m - 12*m + 8. Sort -1, q, m in ascending order.
-1, q, m
Let s be (3 - -4) + 2 + -3. Let a be (s + -4)*3/(-4). Sort 1/9, a, 4.
a, 1/9, 4
Suppose 4*s = 3*s - 2. Sort 2, 14, 0, s in increasing order.
s, 0, 2, 14
Suppose -2*v - 3*v = 0. Suppose v = 2*r - 6*r + 20. Sort -1/4, r, -0.4 in descending order.
r, -1/4, -0.4
Suppose 8*y - 15 = -7*y. Suppose -8 - 8 = 4*s. Let u be -3*s/42*-1. Sort y, 2, u in descending order.
2, y, u
Let y = 17 - 12. Let l = 6 + -10. Sort l, 3, y in decreasing order.
y, 3, l
Suppose -1 = 3*b - u, 2*b - 5*u + 3 = -2. Let c = 5.13 - 0.13. Put c, b, -3/5 in descending order.
c, b, -3/5
Let a be 