.
h, -3/7, -0.06
Let f(c) = -c**2 - 10*c + 23. Let s be f(-12). Sort -2, s, 1/4, -2/7 in decreasing order.
1/4, -2/7, s, -2
Suppose -3*m = 2*m + 20. Let g(w) = w - 4 + 5 - 3*w. Let i be g(1). Sort i, 1, m in descending order.
1, i, m
Suppose 4 = 2*i, -3*g + 4*i + 0 + 1 = 0. Sort g, 0, -3 in ascending order.
-3, 0, g
Let f = -16 + 11. Put -0.1, f, 3 in decreasing order.
3, -0.1, f
Let c = -2 - -2.2. Let g be (-69)/(-92)*((-6)/(-1) - 2). Put g, c, 0.3 in descending order.
g, 0.3, c
Let t = 2 + 0. Suppose 4*i + 17 + 8 = -3*z, -5*z - i = 19. Sort z, t, -2 in descending order.
t, -2, z
Let h(i) = -14*i - 60. Let q be h(-4). Sort 1, -5, q.
-5, q, 1
Let n(s) = s**2 - 4*s. Let b be n(4). Sort -4, 3, b, 5 in increasing order.
-4, b, 3, 5
Let z = 0.07 + -3.67. Let i = z - 4. Let u = i + 8. Put u, -4, 4 in descending order.
4, u, -4
Suppose -3*h + 0*h + 8 = 4*l, 3*h + 3*l - 9 = 0. Sort h, -1/2, -2/11.
-1/2, -2/11, h
Let a = -38 + 37.5. Put 1/4, 3, -3, a in increasing order.
-3, a, 1/4, 3
Let q = 2/25 - 33/100. Let u = -6 - -6.4. Sort q, u, -2.
-2, q, u
Let h = 2 - 0. Suppose -5*o - 2*o - 21 = 0. Put h, o, 3 in decreasing order.
3, h, o
Let j = -1.2 - -0.2. Let f = -65 - -67. Sort f, j, -3 in decreasing order.
f, j, -3
Suppose 0 = -2*o - 12 + 2. Let y be (144/120)/(-3*1/10). Sort y, 5, o.
o, y, 5
Let d(h) = -h + 1. Let z = 5 - 2. Let t be d(z). Let o be (-12)/(-15)*(3 - t). Sort o, -2, 1 in increasing order.
-2, 1, o
Let b = 0.04 + -0.13. Let l = b - -0.09. Put 2, l, 1/5 in descending order.
2, 1/5, l
Let z = -18 + 14.2. Let v = 4 + z. Let d = -0.04 + 3.04. Sort -1, v, d in descending order.
d, v, -1
Let t = 943 + -937.97. Let c = t - 0.03. Sort -0.3, -2, c.
-2, -0.3, c
Let n be ((-4)/30)/(-5 + (-68)/(-12)). Put n, -0.06, -1, 0.4 in ascending order.
-1, n, -0.06, 0.4
Let l be 3 - (-3 - -12)*-1. Let p = 17 - l. Put 4, p, 3 in decreasing order.
p, 4, 3
Let u = -14 + 17. Suppose 0 = 4*d + 2*z + 60, d - 3*z - 38 = u*d. Put 3, d, -3 in increasing order.
d, -3, 3
Let q = -0.4 - -0.2. Sort 5, -2, 4, q.
-2, q, 4, 5
Let l be -4 - (36/2)/(-3). Suppose 3*s + 5 = -2*s. Put s, 0, l in decreasing order.
l, 0, s
Let o = 3.07 - 0.07. Let z = o - 3.5. Let n = -0.09 - -0.19. Sort n, z, 2 in increasing order.
z, n, 2
Let s = 5.24 + -0.24. Sort s, 0.3, -3/2.
-3/2, 0.3, s
Let s be (2/(-4))/1*6. Let k be (-1)/3 + 14/(-21). Put -5, k, s in decreasing order.
k, s, -5
Let r = -0.013 + -0.087. Put 0, 1/2, r, -0.3 in decreasing order.
1/2, 0, r, -0.3
Let z = -10 + 15. Suppose 5*v = -5, 7*y + 4 = 5*y - 4*v. Put y, z, 1 in ascending order.
y, 1, z
Let w(q) = q**3 + q**2 + 2. Suppose -3*i = -2*i. Let b be w(i). Suppose 0 = -b*p - 0*p - 4*z + 10, 5*z - 15 = -2*p. Sort 2, -1, p in ascending order.
p, -1, 2
Suppose 15 = z + 2. Suppose -y + 0*d + z = -2*d, -5*y - 2*d + 5 = 0. Sort 5, y, 2 in ascending order.
2, y, 5
Suppose 3 + 2 = o. Suppose 5*x = 3*t - 35, -6*t = 5*x - 2*t. Sort -5, x, o in decreasing order.
o, x, -5
Let y be (-16)/(-24)*(-15)/2. Put y, -1, -3 in decreasing order.
-1, -3, y
Let q(a) = a**2 + 2*a + 1. Let n be q(-1). Suppose 0*b + 3*b - 3 = n. Sort b, 4, -2.
-2, b, 4
Suppose 2*r = 6*r + 4. Sort -2, 2, r in decreasing order.
2, r, -2
Suppose q + 9 = -2*q. Put 5, -5, q in decreasing order.
5, q, -5
Let w = 14 - 10. Suppose 3*f = 4*i + 12 - 4, 4*f - 2 = i. Sort 0.5, f, w.
f, 0.5, w
Let x = 4 - 7. Put -0.3, 1, x, 0.5 in decreasing order.
1, 0.5, -0.3, x
Let u be (4/(-6))/((-1)/3). Suppose -4*s - 16 = -u*s. Sort 4, 5, s in increasing order.
s, 4, 5
Let z = -49 + 49. Let x = 8 + -5. Sort -0.4, x, z in decreasing order.
x, z, -0.4
Suppose -45 = -4*o + 3*q + 2*q, -3*q - 15 = 0. Sort -5, 3, o in decreasing order.
o, 3, -5
Let v = -42 + 42. Let s be 0/((-1)/(-1)) - -2. Sort s, -0.1, v in decreasing order.
s, v, -0.1
Suppose 0 = 4*m - 4*k + 12, -m + 4*k - 12 = 2*m. Suppose m = y - 3*y + 8, 24 = -4*c + 4*y. Let o be (-9)/3*(-1 - c). Sort o, 2, 0 in increasing order.
o, 0, 2
Let t(z) = -z**3 + 4*z**2 - z + 7. Let b be t(3). Suppose -b*o = -17*o - 20. Sort 3, -2, o.
o, -2, 3
Suppose 3*s + 4*v - 5*v + 5 = 0, 4 = -v. Let w be (0/4)/(1*s). Sort w, 4, -4.
-4, w, 4
Let c(h) = h**2 - 7*h + 7. Let v(q) = q + 1. Let n be v(4). Let r be c(n). Sort 1, r, -1 in decreasing order.
1, -1, r
Let z(a) = -a**3 + 6*a**2 + 6*a + 10. Let t be z(7). Let u(c) = -c + 8. Let o be u(7). Let r be o/(2*2/(-12)). Put -1/4, t, r in ascending order.
r, -1/4, t
Let s be 15/(-6) - -2 - (-18)/48. Suppose -13 = -3*y - p, 5*y + 0*p - 29 = 2*p. Put -4, y, s in ascending order.
-4, s, y
Let q be (-4)/(-6) - (-10)/(-6). Let r = 3 + q. Suppose -r*m = 3*w - 6*m + 5, 3*w - 35 = -4*m. Sort w, 3, -4 in ascending order.
-4, 3, w
Let x(a) = 2*a + 4. Let k be x(-4). Sort -5, -3, k.
-5, k, -3
Let l(h) = -h**3 + 2*h**2 - 3*h + 2. Let f be l(3). Sort -5, 3, f, 4 in ascending order.
f, -5, 3, 4
Let q = -99 - -197/2. Let f be 2/(-5) - 91/(-140). Sort -1/6, f, q.
q, -1/6, f
Let j(n) = -n - 1. Let d be j(3). Suppose 2*i - 21 = -5*z + 10*z, z - 1 = 3*i. Sort i, 1, d in descending order.
1, i, d
Let d be 15/6*24/15. Sort 0.07, -3, d.
-3, 0.07, d
Suppose -2*c - 1 = 3. Put 6, -3, c in ascending order.
-3, c, 6
Suppose -4*l - 50 = -6. Let q = 11 + l. Sort 11, 4, q.
q, 4, 11
Let y = -63 - -67. Let u be (-2)/10*(-5)/(-4). Sort u, y, -3/5 in ascending order.
-3/5, u, y
Suppose -4*m = 16, m - 4*m = -5*y + 37. Sort 0.2, -1/6, y in ascending order.
-1/6, 0.2, y
Let s(p) = -p - 2. Let u be s(0). Let i = 2 - u. Sort i, -5, 1 in decreasing order.
i, 1, -5
Suppose 0 = 3*i - 5*i + 10. Let t be 75/4 + (-12)/16. Suppose 0*f + 3*v - t = 2*f, 4*v = 3*f + 25. Sort 3, i, f.
f, 3, i
Let j be (-20)/6*8/(-40). Put -0.5, 1, j, 0 in descending order.
1, j, 0, -0.5
Suppose 4*q + 4*p = -24, -2*q - p = 3 + 4. Put -5, q, -4 in decreasing order.
q, -4, -5
Let r = -46 - -51. Suppose 0 = 3*m - 2*d + 5, 2 = 2*d - 6. Let v be m/(1*(-1 - 0)). Sort r, v, -4.
-4, v, r
Let v be 1/(-2)*(1 + 102/(-78)). Sort 1/3, v, 2 in decreasing order.
2, 1/3, v
Let r = 3 - -2. Let u = 0 - -4. Let s = 24 - 26. Sort u, r, s.
s, u, r
Let j be (4/(-10))/((-4)/20). Suppose 0 = -h - 0*h + j. Put 3, h, 4 in descending order.
4, 3, h
Let a = 12.1 + -11.9. Sort -2/7, a, -1 in increasing order.
-1, -2/7, a
Let p be (-3)/((-2)/((-8)/(-6))). Suppose 0 = 2*h - 7*h. Suppose -y = 2*w + 5, h = -5*w + 2*y - 3*y - 17. Put w, -2, p in decreasing order.
p, -2, w
Let a = 4 + -4. Let n = -0.1 - a. Put n, 0.3, 4 in decreasing order.
4, 0.3, n
Let b = 1984/2331 - -2/333. Suppose 4*u = -3*k + 9 + 13, 2*u - 6 = k. Let h(i) = 2*i - 1. Let q be h(-1). Put b, q, k in increasing order.
q, b, k
Suppose -2*a = 2*a. Put a, 5, -2 in descending order.
5, a, -2
Let t(p) = p**2 - 3*p - 17. Let z be t(6). Let f = 0.8 - 0.5. Sort z, 0.06, f in ascending order.
0.06, f, z
Let z = -49 + 50. Sort z, 0, 1/10 in descending order.
z, 1/10, 0
Let w = -45.9 - -46. Sort 1, -0.3, w in increasing order.
-0.3, w, 1
Let u(i) = i**3 - 2*i**2 - 3*i + 3. Let o be u(2). Let q(r) = -r**2 - 10*r - 12. Let a be q(-8). Put -2, o, a in decreasing order.
a, -2, o
Let w = 20 - 23. Put w, 4, 2/9 in increasing order.
w, 2/9, 4
Let r(p) = -p**2 + 11*p - 2. Let k be r(11). Sort -3, k, 1 in ascending order.
-3, k, 1
Let x = -0.1 - 3.9. Let c = 4.1 + x. Sort -1, 2/9, c in decreasing order.
2/9, c, -1
Let a(o) = -o**2 + 7*o + 1. Let g be a(5). Suppose -3*s = -g + 5. Let v(p) = -p**2 + p + 1. Let i be v(-2). Put i, s, -1 in increasing order.
i, -1, s
Let b be (4 - 5)*(0 + 2). Let i = 7 - 2. Put i, b, 0 in decreasing order.
i, 0, b
Let b be 1/3*(-30)/(-20). Let z = 0.21 + -0.21. Sort -6, b, z in decreasing order.
b, z, -6
Let q(h) = -h. Let y(z) = -7*z - 1. Let m(i) = 5*q(i) - y(i). Let j be m(1). Suppose j*d = -2 + 5. Sort -0.5, d, 5 in increasing order.
-0.5, d, 5
Let p = -158775/19 - -83351441/9975. Let y = p + -2/75. Let s = -8 + 5. Sort s, y, 3/2 in decreasing order.
3/2, y, s
Let o = 2 - 10. Let j be (7 - 8) + (-10)/o. Let s = 6/49 - -1/49. Sort j, s, -1 in descending order.
j, s, -1
Suppose 0 = 6*m - 3*m - 21. Suppose 2*g = -m - 5. Let h(p) = -p**3 - 5*p**2 + 6*p + 3. Let c be h(g). Sort 0, 4, c.
0, c, 4
Let g = 1.47 - -0.03. Let j = -0.5 + g. Sort j, -2/5, 2/17 in decreasing order.
j, 2/17, -2/5
Let p = -2.2 + 2. Let z be -1 + -2 + 2 + 1. Suppose z