 0.5 in descending order.
1, 0.5, t, f
Suppose 4*g - 4 = -20. Suppose -2*w - 4*f = -22, 0 = -3*w + 6*w - 5*f + 11. Sort 2, g, w in descending order.
w, 2, g
Suppose 0*c = -4*k - 4*c - 88, 0 = 3*c + 3. Put -2, 0, 4, k in ascending order.
k, -2, 0, 4
Let l(v) = -v**3 + 3*v**2 + 12*v - 13. Let q be l(5). Sort 2, 0, -45, q.
-45, q, 0, 2
Let t = 6 + -3. Let p = 1411 - 1410. Let i = -10 - -6. Put t, p, i in increasing order.
i, p, t
Let v = -140 + 263. Suppose a + 2*s - 11 + 30 = 0, -3*s - v = 5*a. Let h = 27 + a. Put -2, h, -1 in increasing order.
-2, -1, h
Let j be 3 - (1/(5/(-35)))/1. Sort j, 4, 1, -4.
-4, 1, 4, j
Let w = 617 + -646. Sort 1, -5, w, 3 in descending order.
3, 1, -5, w
Let v = 17 + -16.35. Let a = -0.13 - -0.28. Let z = a - v. Put z, 0.7, 5/3 in decreasing order.
5/3, 0.7, z
Let i(x) = x + 7. Let k be i(-3). Sort k, 0, 3.
0, 3, k
Suppose -2*z + 15 = z. Let i(j) = 9*j**3 + 1. Let k be i(-1). Let m be k/14*7/(-2). Sort m, z, -1 in ascending order.
-1, m, z
Let u = -16.62 + 17. Let a = -0.08 + u. Let y = 808 + -803. Sort a, -4/7, y in increasing order.
-4/7, a, y
Let v = 2.5 + -2.7. Suppose -1 = d - 2. Suppose 3*g = -d - 2. Sort g, -1/6, v in increasing order.
g, v, -1/6
Let q = -2 - -2. Suppose 4*p - k = q, p + k = 4*k + 11. Let x = -149 - -154. Put p, x, -4 in decreasing order.
x, p, -4
Suppose x = -3*x + 2*q + 50, -6 = -2*q. Suppose 4*k = -3*k + x. Sort 15, -5, k in descending order.
15, k, -5
Let f(z) = -z**3 + 18*z**2 - 35*z + 44. Let o be f(16). Put -5, 4, o, -23 in increasing order.
-23, -5, o, 4
Let v = 16.936 - 20. Let w = v + 0.064. Sort 0.06, 0.1, w in increasing order.
w, 0.06, 0.1
Let m = -12 + 7. Let h = -4.6 - m. Suppose -40*a + 38*a + 4 = 0, 0 = -s + 4*a - 10. Sort h, s, 0.2 in increasing order.
s, 0.2, h
Let a = 1 + -1.4. Let i(r) = -r**3 + 22*r**2 - 22*r + 26. Let n be i(21). Suppose 5*t - t = -4*c - 8, 6 = -n*c - 4*t. Sort c, a, -1 in increasing order.
-1, a, c
Suppose 14 = -5*r - 11. Suppose 3 = -a + 3*u - 0*u, 0 = -2*a + 4*u - 2. Let g be a*(3 + (-5 - -1)). Sort 1, g, r in descending order.
1, g, r
Let o(j) = -j - 28. Let h be o(0). Let n be 4/14 - (-22)/h. Sort -0.1, n, -0.3 in ascending order.
n, -0.3, -0.1
Let d = -80 - -100. Let m be 11/(-5) - (-1 + d/25). Let s(z) = -9*z**2 + 2*z - 1. Let j be s(1). Put -3, m, j in increasing order.
j, -3, m
Let x = 1.93 + -0.93. Sort -2/19, x, 0.5, -0.3 in descending order.
x, 0.5, -2/19, -0.3
Suppose -10 = 2*i + j, 4*i + 8 = -j - 10. Let l be (3/((-1)/1))/(-3). Put 0, l, i in increasing order.
i, 0, l
Let p(t) = t**3 - 11*t**2 + 8*t - 12. Let n be p(10). Let i = n - -28. Sort 0, 4, i, -3 in descending order.
4, 0, -3, i
Let q be 26/(-8) + 2 + 252/(-336). Let r be (0 + -1)/(18/2). Put q, r, -1/3 in increasing order.
q, -1/3, r
Let n be (-4)/14 - 26/7. Let r be (-22)/n - 6/4. Let f = -29 + 26. Sort r, f, 3/5 in ascending order.
f, 3/5, r
Let m = 34 - 23. Let v = m - 14.2. Let n = v + 1.2. Sort -1, n, -4/11 in increasing order.
n, -1, -4/11
Let n = -68 + 67. Let b be (15 + -5)*2/4. Sort -2, n, b.
-2, n, b
Suppose -2*l + 1 = u, 3*l - 4 = l - 2*u. Let b = -20 - -19.6. Sort -0.5, b, -1/4, l in descending order.
-1/4, b, -0.5, l
Suppose 10*z + 3855 + 2235 = 0. Let c = -48113/79 - z. Sort -3/5, c, 3/2 in descending order.
3/2, c, -3/5
Suppose -4*r = r + 5*y, 0 = 4*y. Let a = -3 - 1. Let w be -3*5/3*1. Put r, w, a in descending order.
r, a, w
Let f be 5 - (2 - (0 + 0)). Let n be -3 - (2 - 149 - 5). Let h = 150 - n. Put h, -2, f in descending order.
f, h, -2
Let n(i) = i**2 + 8*i. Let q be n(-7). Suppose -g + 5*u - 9 = 0, -6*g = -3*g - 2*u + 14. Sort -5, g, q, -2/19 in decreasing order.
-2/19, g, -5, q
Let k(a) = -4 + 11*a - 3 - a**2 + 4. Let g be k(11). Suppose -9*t = -7*t - 6. Sort t, 0, g.
g, 0, t
Let y = 91 - 89. Let n = -22 + 25. Put 7, y, n in decreasing order.
7, n, y
Let c = 31 + -32. Let l = 19 + -17. Let h be (2 - 4)*(-1)/l. Sort c, h, 0.
c, 0, h
Let c be 1*-3 - (-136)/34. Sort c, 0, 1.5 in descending order.
1.5, c, 0
Suppose 5 = 2*h + 7. Suppose -45 = -3*r - 57. Put 3, r, h in ascending order.
r, h, 3
Let y = 14 + -14.4. Let r = -1 - -9. Let b be (8/(-4))/r*2. Sort y, b, 0.5 in descending order.
0.5, y, b
Let w = 468 - 467. Suppose 4 = 2*z - 4. Put w, 2, 5, z in descending order.
5, z, 2, w
Let f = 197 + -987/5. Sort f, 2, 3.
f, 2, 3
Let q be (6/4)/(-129 + 126). Sort -8, -5, 5/3, q.
-8, -5, q, 5/3
Suppose -18*y - 19*y + 259 = 0. Put 1, -25, y in descending order.
y, 1, -25
Let h = 541 + -545. Sort h, -21, -10 in decreasing order.
h, -10, -21
Suppose -2*g + 4*n = -16, -6*n = -3*g - 4*n + 4. Sort g, 4, -5, 3 in decreasing order.
4, 3, g, -5
Let j = 1.9652 - -0.0348. Put 9, 0.5, j, -0.2 in decreasing order.
9, j, 0.5, -0.2
Let r be (-144)/32 - 2/(-4). Sort -1, -7, r, 1.
-7, r, -1, 1
Suppose -2*d + 4*z = -12, 0*d - 15 = d + 5*z. Suppose -3*u = -5*s - 23, -s = 3*u + 1 - d. Suppose -12 = 5*r + j, -4*j - 6 = -r - 0*r. Sort r, 3, s.
s, r, 3
Let k(a) = -2*a**2 + 7*a - 8. Suppose -4*o + 17 + 5 = -5*y, 4*o - 2*y = 16. Let m be k(o). Put 1, -2, m, 4 in ascending order.
m, -2, 1, 4
Let i be (-2)/4*172/(-2). Sort -2, -3, -1, i in descending order.
i, -1, -2, -3
Let f = 0 + -8. Let p be (3 - -1) + 9/1. Let x = p + f. Sort x, 3, 1.
1, 3, x
Let z = 58 - 29. Suppose -9*x - 2 = -z. Put 0.1, x, -1/3 in decreasing order.
x, 0.1, -1/3
Suppose -22*y - 4258 = 1022. Sort -1, y, -3 in increasing order.
y, -3, -1
Let q = -566 + 570. Put q, -3/2, -1/3, -0.06 in decreasing order.
q, -0.06, -1/3, -3/2
Suppose 0 = -9*n - 536 + 482. Suppose -2 = q + 2. Put 1, n, q, 3 in descending order.
3, 1, q, n
Suppose k - 1 = -2*c, -k = -5*c - 6*k - 10. Let m be ((-928)/(-145))/(2/15). Let b = -43 + m. Sort c, b, 0 in increasing order.
0, c, b
Let y = -0.0517 - -7.0517. Sort 2, y, 5 in ascending order.
2, 5, y
Let g(n) = -n**2 - 4*n + 4. Let h be g(0). Suppose -2*l = -q - 3*l, h*l + 9 = -q. Sort q, -1, -4.
-4, -1, q
Let v(j) = -j + 4. Let r be v(6). Let x(s) = -s**3 - 10*s**2 + 55*s + 552. Let o be x(-10). Put r, o, 3 in descending order.
3, o, r
Let v be (-3 - -5)*(-9)/18. Sort v, 5, -195 in increasing order.
-195, v, 5
Suppose p = 2*p. Let t = 29 - 27. Suppose r - 7 = 2*u, t*u + r - 3 = 3*u. Sort 2, u, p in decreasing order.
2, p, u
Suppose 2*n - 3*c = 8, 3*n = -8*c + 6*c - 1. Put -14, -5, n in decreasing order.
n, -5, -14
Let q = 11 - 14. Let t be (2/(-28) + (-54)/567)*4. Sort t, q, -5/9.
q, t, -5/9
Suppose -41 = 5*a + 5*b + 9, 4*a = 5*b + 5. Put 0, -3, 2, a in ascending order.
a, -3, 0, 2
Suppose -193 = -5*j - c, -2*j + 71 = -4*c - 15. Let k be -1 + (j/(-12) - -3). Let l = 3 - 4. Sort l, -1/4, k.
k, l, -1/4
Let n = -136 - -137. Sort 21, 4, 0, n.
0, n, 4, 21
Let b(i) = -i**3 + i**2 + i + 8. Let d be b(0). Suppose 2*j = -0*j + d. Suppose -115*q = -140*q. Sort j, -3, q in decreasing order.
j, q, -3
Suppose -78 - 108 = -62*l. Suppose -5 = -b, 2*s + 5 = 2*b + 3. Let f(j) = j**2 - 3*j - 3. Let x be f(s). Put 8, l, x in descending order.
8, l, x
Let g = -12 - -15. Suppose b - 30 = -2*b + g*t, 0 = -b - t + 8. Put -2, b, 5 in descending order.
b, 5, -2
Let f be ((-30)/(-25))/((-24)/30). Put -3, f, 2 in descending order.
2, f, -3
Let n be -10 + (-5)/((-5)/2). Suppose q - q = 3*q. Put -1, q, n in descending order.
q, -1, n
Let q = 673 + -672. Let k = -7 - -4. Suppose 5*u = 9 + 1. Sort q, u, k.
k, q, u
Let k = 38 + -65. Let x be ((-5)/(-2))/((-45)/k). Sort 0.08, x, 3.
0.08, x, 3
Suppose -3*s + 39 = -3*f, 0*f + f = 5*s - 25. Let g(j) = j**3 + 9*j**2 - 8*j + 18. Let r be g(f). Sort 5, r, -3 in descending order.
5, r, -3
Let h = 3.11 - -2.89. Put -4, 0.4, h, 5 in increasing order.
-4, 0.4, 5, h
Suppose -27 = -2*p + 5*p. Let h(f) = 2 + 7*f - 5 + f**3 - 9 + f + 10*f**2. Let d be h(p). Put -1, d, 3 in increasing order.
d, -1, 3
Let u = 574.52 - 564. Let w = u + 3.38. Let d = 14 - w. Put d, -0.5, 3/4 in descending order.
3/4, d, -0.5
Suppose -4*b - 6 = -3*k - 9, 0 = -3*b - k - 1. Sort -3, b, 96 in descending order.
96, b, -3
Let q(g) = g**2 - 11. Let r be q(4). Put r, 2, -31 in ascending order.
-31, 2, r
Suppose -7*r + 5*b - 11 = -4*r, -4*r + 5*b - 13 = 0. Sort 5, 0, r, 18 in increasing order.
r, 0, 5, 18
Suppose -3*s - 3*f = -1 - 5, 3*f = -2*s + 4. Suppose -2*i - 2*i + j = 0, 0 = 5*i - 3*j + 7. Put i, -1, -5, s in descending 