4 in descending order.
i, 0, -0.4
Let s = -4 + 3.96. Let r = s - -4.04. Let g = 0.02 - 3.02. Put r, -0.2, g in descending order.
r, -0.2, g
Let q(c) = -c**2 + 1. Let s be q(2). Let l be (3 - (s - -4)) + -5. Sort l, -2/9, -4 in decreasing order.
-2/9, l, -4
Let v = -14.84 + 15. Let m = v - -4.84. Put 0.2, -3, m in descending order.
m, 0.2, -3
Let p = -1.7 + 2. Let t = -5 - -17. Let q = 11 - t. Sort q, p, 0.
q, 0, p
Let r = 0.03 - 0.13. Let i = -0.3 + 0.1. Let b = -256/665 + -2/133. Put i, r, b in decreasing order.
r, i, b
Let k = 35 + -25. Suppose 0 = 2*g + 3*g + k. Put g, 2, 0 in ascending order.
g, 0, 2
Suppose -4*n = -46 + 6. Let d be n/35 + (-88)/14. Let x be 4/3*d/(-14). Sort 0.2, x, -2/3 in ascending order.
-2/3, 0.2, x
Let i be (-2)/(((-8)/12)/(-1)). Put 5, -5, i in ascending order.
-5, i, 5
Let q(a) = -a**2 + 13*a + 1. Let v be q(13). Sort v, -4, 0 in increasing order.
-4, 0, v
Let b be (3/(-6))/((-1)/8). Let r be 36/b*4/(-6). Let z be r/(-9)*(-6)/(-4). Sort z, 2, -4.
-4, z, 2
Let c = 4451/3 - 1442. Let d = c - 869/21. Put 4/3, d, 1/3 in decreasing order.
4/3, 1/3, d
Let p(r) = r**2 + 17*r - 18. Let z be p(-18). Let w = -5 - -3. Sort z, w, -5.
-5, w, z
Suppose -i = -3 - 0. Let t = 21 + -22. Sort t, -6, i in ascending order.
-6, t, i
Let r be (4/(-18))/(5/3). Put 1/2, 1, r, -1 in decreasing order.
1, 1/2, r, -1
Let t = 58 - 24. Let s = t + -169/5. Let d = -7 + 3. Put d, 0, s in descending order.
s, 0, d
Let w = -14 - -14.1. Put 0, 4, w in increasing order.
0, w, 4
Let f = 0 + 1. Let s = -1.41 + 1.5. Let n = s - -0.11. Sort n, f, 0.
0, n, f
Let d(a) = -a**3 - 3*a**2 - 3*a + 1. Let f be d(-4). Suppose 4 - f = 5*b. Sort b, -4, 5 in descending order.
5, -4, b
Suppose 0 = 4*s + 26 + 22. Let a = s - -12. Sort 4, -4, a.
-4, a, 4
Let y be (-122)/14 - (-2)/(-7). Let a = 1177/72 + -129/8. Sort a, 0.5, y.
y, a, 0.5
Let w be 2*10/(-28) + 32/(-112). Let d = -1 - 1. Sort d, 2, w.
d, w, 2
Suppose 2*c = w + w + 14, -2*c - 5*w - 14 = 0. Let d = 47 + -52. Put c, d, -4 in ascending order.
d, -4, c
Let h(m) = -m + 10. Let c be h(14). Let x = -1 - -1. Sort x, 2, c.
c, x, 2
Suppose 16*k - 6 = 17*k. Put 1, 3, k, -5 in ascending order.
k, -5, 1, 3
Let q(a) = -a**3 + 0*a**3 - 3*a**3 + 2*a**3. Let k be q(-1). Sort k, 4, -3 in ascending order.
-3, k, 4
Let z = -3 - -2.4. Let g = z - -0.1. Let x = -4 + 4.4. Sort x, g, -2.
-2, g, x
Let u(v) = -v**3 + 20*v**2 - 18*v - 25. Let z be u(19). Suppose -d - 2*d - 6 = 0. Put z, -3/7, d in descending order.
-3/7, d, z
Suppose q + 0*q + 13 = 0. Let k(j) = 2*j - 14. Let g be k(11). Let s = g + q. Sort s, 2, -3 in descending order.
2, -3, s
Let m = 0.09 - 0.09. Sort 4, m, -2/9.
-2/9, m, 4
Let w = -22 + 22.5. Put 3/8, w, 1 in decreasing order.
1, w, 3/8
Suppose 2*n - 7 = -15. Put -2, n, -1 in descending order.
-1, -2, n
Suppose 0 = 2*g - 8. Suppose -g*k + 12 - 4 = 0. Put k, 4, -1 in increasing order.
-1, k, 4
Let u(x) = -x**2 + 13*x - 33. Let n be u(4). Suppose -7 = -2*w + 15. Sort w, n, -1.
-1, n, w
Let i = 2.2 - 2. Let x = -0.8 - i. Put -2, -1/11, x in ascending order.
-2, x, -1/11
Let c be (-1)/8*9*(-8)/6. Put c, -1/2, -0.1, 0.2 in ascending order.
-1/2, -0.1, 0.2, c
Let u(m) = -m**2 + 6*m - 5. Suppose 0 = -3*z + 16 - 1. Let y be u(z). Let q = 0 + 5. Put -2, q, y in descending order.
q, y, -2
Suppose -2*n + 8 = -2*m, 3 = -5*m - 4*n + 10. Let o be (15/(-10))/((-1)/(-2)). Sort o, -2, m.
o, -2, m
Suppose 2*t = 6*t. Let h = -13 - -8. Put t, h, 5 in decreasing order.
5, t, h
Suppose 2*n = 3*n + 3003482. Let j = -2868324918/955 - n. Let h = j + -2/191. Sort 0.5, 2, h in decreasing order.
2, 0.5, h
Let w be (-11)/(-2) - 1/2. Let m(u) = u**2 + 10*u - 11. Let x be m(-10). Let q = 9 + x. Put q, w, 1 in increasing order.
q, 1, w
Suppose a + 8 = 4*k, 0*k + 2*a = -k + 2. Let p = 16 - 11. Put k, p, -0.4 in descending order.
p, k, -0.4
Let l = 5078 + -1203484/237. Let m = l - 164/711. Sort m, -1, -0.5 in ascending order.
-1, -0.5, m
Let q(u) = u**3 - 4*u**2 - 13*u + 6. Let d be q(6). Put -5, -10, d in ascending order.
-10, -5, d
Suppose 2*h - 2 = 8. Let l = -0.26 + 4.26. Sort l, 0.2, h in decreasing order.
h, l, 0.2
Let o be (-25)/100 + 30/(-8). Sort 2, o, -1 in decreasing order.
2, -1, o
Let n = 5.087 - 0.087. Let v = -9 + 8.91. Put n, v, -2 in ascending order.
-2, v, n
Let b = 10 + -6. Sort 9, 0, b in descending order.
9, b, 0
Let t = -7/5 - -6/5. Suppose -l + f + 3 = 0, -4*l - 5*f + 3 + 0 = 0. Sort t, 2/7, l in ascending order.
t, 2/7, l
Suppose -p = -0*p - 2. Let g be (2 + p)*25/20. Put -5, 0, g in increasing order.
-5, 0, g
Let g = -16 - -12. Put g, -3, 3 in increasing order.
g, -3, 3
Let p(j) = -j**2 - 4*j + 5. Let x be p(-5). Suppose -a - 5*g - 15 = -0*g, 4*g + 16 = x. Let v be -3*(2/3 + -1). Put v, -3, a in increasing order.
-3, v, a
Suppose 0 = -j + 2*j + 4. Sort j, 0, 1, -3 in decreasing order.
1, 0, -3, j
Let q = 6 - 5. Let u(z) = z**3 + 4*z**2 - 5*z + 1. Let s be u(-5). Let t be q*((-2)/8 + s). Sort t, 0.4, 1/10.
1/10, 0.4, t
Let a(v) = -v - 32. Let n be a(-26). Sort -3, n, -1.
n, -3, -1
Let a = -3 - -7. Let t(s) = -s**3 + 4*s**2 + 2*s - 3. Let x be t(a). Let i(u) = u - 14. Let y be i(10). Put 3, x, y in ascending order.
y, 3, x
Let g be 10/35 - 5/(-7). Sort 2, g, 3.
g, 2, 3
Let c = -7 + 11. Suppose 10 = 4*l - 0*l + 2*f, f - 5 = -4*l. Sort l, -5, c in decreasing order.
c, l, -5
Let b = 0.06 - -3.94. Sort 1, 1/3, -2/11, b in decreasing order.
b, 1, 1/3, -2/11
Let x = -4.88 + -0.12. Sort x, 0.01, 4 in descending order.
4, 0.01, x
Let d = -33 - -32. Put -5, d, 3 in descending order.
3, d, -5
Let x = 371/136 + -40/17. Sort x, 2/9, 5.
2/9, x, 5
Let t(b) = -5*b + 5*b - b. Let d be t(-4). Sort -4, 1, d in increasing order.
-4, 1, d
Let k be -14 - (-5)/((-15)/(-9)). Let w = -9 - k. Put -4/7, -0.5, w in ascending order.
-4/7, -0.5, w
Suppose -r + o - 7 = -o, 4*o - 17 = 3*r. Let c = 2 + -2. Sort c, r, 2 in decreasing order.
2, c, r
Let k(g) = -3*g + 3. Let l be k(2). Let b be 3/12 - (-10)/(-8). Sort 1, l, b in ascending order.
l, b, 1
Let p(x) = x - 1. Let j(k) = k - 10. Let m(s) = j(s) + p(s). Let h be m(8). Put h, -1, -5 in descending order.
h, -1, -5
Let k = -40 - -41. Suppose -5 = -n - 2, 0 = -5*u + 2*n + 19. Suppose 7*v - 2*v - 10 = -u*h, -4*h + 5*v - 10 = 0. Put 4, k, h in decreasing order.
4, k, h
Suppose 7 = a + g, 3*a = -2*g + 5*g + 9. Let c = -1 + 0. Put c, 2, a in ascending order.
c, 2, a
Suppose -y + 10 = p, 0 = p + 3*p + 5*y - 45. Suppose 2*v = p*v + 12. Let a be (20/(-16))/(1/4*-1). Put v, a, -1 in ascending order.
v, -1, a
Let j be 2/7 - (-130)/35. Let x(v) = 3*v - 25. Let n be x(10). Let t = n - j. Sort 4, -1, t.
-1, t, 4
Let p be 96/21 - (-4)/(-7). Let x be -3 + ((-4)/p)/1. Sort x, -2, 1 in increasing order.
x, -2, 1
Let p = 1 - 1.5. Suppose n + 5*g - 28 = 0, -g - 33 - 37 = -4*n. Suppose -16 = -4*f + 3*a + a, 3*f - 5*a = n. Put f, -2, p in decreasing order.
f, p, -2
Let y be (-4)/(((-12)/(-16))/(3/(-72))). Let r = 0.048 - -3.652. Let q = r + -4. Sort y, 3, q in ascending order.
q, y, 3
Let u = 1.06 + 0.14. Let m = u - -1.8. Sort m, -2, -4.
-4, -2, m
Let n = 8.4 - 3.4. Let k = 1158/7 + -165. Sort k, -5, n.
-5, k, n
Let s(h) = -h - 2. Let v be s(3). Let r be -1*(-3 + 6 - 3). Sort -3, r, v in decreasing order.
r, -3, v
Let t be (1*-3)/((-6)/(-8)). Suppose -3*w + 11 = 2*b, -5 = -4*w + 2*b - 9. Put w, t, 3 in increasing order.
t, w, 3
Let r = -10 + 10.01. Put -2, r, -0.4, -2/7 in increasing order.
-2, -0.4, -2/7, r
Suppose 5*v + 5*h = 5, -3*v + v = -4*h - 32. Suppose 3*d - 7 = 4*f, 2*d + f + v = 7*d. Sort d, 2, -5 in decreasing order.
2, d, -5
Let g = -0.03 + 4.03. Suppose 14 = -4*z + 10, -3*b + 5*z = -32. Put g, -0.3, b in ascending order.
-0.3, g, b
Let r = 67 + -70.9. Let d = r + 4. Let w = 4 + 0. Sort d, w, -5 in descending order.
w, d, -5
Let x = -19 + 13. Let p = x + 8. Put p, 3/7, 3 in decreasing order.
3, p, 3/7
Let f be ((-6)/(-30))/((-8)/(-10)). Put f, -0.4, 1 in increasing order.
-0.4, f, 1
Suppose -3*w = -5*w + 6. Put -5, -3, w in increasing order.
-5, -3, w
Let b = -0.2 + -4.8. Put 5, b, -2 in ascending order.
b, -2, 5
Let s = 24 - 32. Sort -1, 5, s in decreasing order.
5, -1, s
Let x be 6/15*2*-1. Let a = -21 - -21.3. Put a, x, -0.2 in decreasing order.
a, -0.2, x
Suppose 5*h - 20 = -5*k + 2*k, 4*k = -2*h + 2