 = -0.2 - 0. Let x = 0.2 + y. Let c = x + 0.1. Sort -1, c, 0 in descending order.
c, 0, -1
Suppose -28*b - 3 = -27*b. Put 3, -2/7, b, -5/4 in ascending order.
b, -5/4, -2/7, 3
Let l = 4 - -91. Let k = 853/9 - l. Put k, -3, 4 in descending order.
4, k, -3
Suppose -20 = -k - 4*k. Suppose k*i - 11*i = 14. Put 4, i, -1 in increasing order.
i, -1, 4
Suppose 1 = 2*p + 9. Sort p, 9, -1 in decreasing order.
9, -1, p
Suppose -9*d - 22 = -67. Put d, 3, -3, -1 in descending order.
d, 3, -1, -3
Let t = 12/19 + 2/57. Put t, 5, 0.09, -2 in increasing order.
-2, 0.09, t, 5
Suppose -3*h = -0*h - 15. Let p = h + -3. Let g be (1/p)/((-3)/18). Sort 4, g, 5.
g, 4, 5
Let d be 2/4 + -3*(-3)/6. Sort 1, d, -1.
-1, 1, d
Let g = 80 - 73. Sort g, -2, -4, -3 in increasing order.
-4, -3, -2, g
Let p = 0.659 + -3.729. Let g = -3 - p. Let h = g + 0.23. Sort 0.2, -2/7, h in decreasing order.
h, 0.2, -2/7
Let i = -35 + 42. Sort -3, i, 5 in increasing order.
-3, 5, i
Let p = -0.46 - 1.44. Let d = p + 2.1. Put 1, 4, d in decreasing order.
4, 1, d
Let x = -35.6 - -36. Put -3, x, 1 in decreasing order.
1, x, -3
Let y = 1 - -1. Suppose -r = -0*r + y*a + 2, -a = 2*r + 4. Suppose -5*o - 2*o = -7. Sort r, 2, o in decreasing order.
2, o, r
Let y(h) = -3*h - 2. Let a be y(-6). Let v be a/22*3/12. Sort -4, -1/5, v in descending order.
v, -1/5, -4
Suppose 2*a - 8 = -4*q, 0 = 3*q + 6*a - 2*a - 1. Put q, 2, 6 in ascending order.
2, q, 6
Suppose -5*r + 2 = -6*r. Let g = -2 - r. Sort 1/4, 1, g in ascending order.
g, 1/4, 1
Let j be (4 - 3 - -3) + 38/(-9). Put j, 2/7, 0, -0.5 in descending order.
2/7, 0, j, -0.5
Let i = -5459/17 - -321. Suppose 0 = -m - 3*m + 8. Let l be ((-1)/10)/((-1)/m). Put -2, i, l in descending order.
l, i, -2
Let x be (-2)/(-8) + (-2)/8. Suppose x = k + 2*k - 15. Let q = -12 - -7. Sort q, 1, k in descending order.
k, 1, q
Suppose 4*q = -3*u + 10, -q + 0*u + 2*u = -8. Suppose -q*y = -7*y - 3. Let o = 1 - 3. Sort o, 5, y.
o, y, 5
Let f be 38/(-14) - 2/7. Sort 1, 0, f, -1.
f, -1, 0, 1
Let f(h) = -h - 1. Let k be f(-4). Sort k, -3, -4.
-4, -3, k
Let u = -1 - -8. Suppose -u + 4 = -x. Let b be (-1 + -5)/(15/10). Sort 0, x, b in decreasing order.
x, 0, b
Let t be (1/(-3))/(3/9). Let j = -3 + 6. Let r be j/36 - (-2)/(-8). Put -5, t, r in increasing order.
-5, t, r
Let q be ((-15)/10)/(2/4). Let r = -3 - -7. Suppose 0 = 5*f + 5*u, 5*f - 3*u = -u + 35. Sort q, f, r.
q, r, f
Let x be (-1)/(1 - (-3)/(-4)). Suppose 3*z = -2*z - 5. Let a(k) = -k + 1. Let s be a(-4). Put s, x, z in decreasing order.
s, z, x
Let z be (85/(-25) - -3)/((-3)/(-5)). Suppose 6*o - 2*o - 4 = 0. Sort z, o, 4 in descending order.
4, o, z
Suppose -3*g + 27 = -0. Let h be 45/g + 2/(-2). Sort 0, -3, h.
-3, 0, h
Let f = -46.04 + 51. Let i = f - -0.04. Let l = -2.04 + 0.04. Put -2/9, l, i in descending order.
i, -2/9, l
Let v = -0.5 + 0.56. Let x = -0.44 - v. Sort x, -0.3, -2 in descending order.
-0.3, x, -2
Let g = -5 + 1. Sort g, -3, 3 in descending order.
3, -3, g
Suppose r = 16 + 3. Suppose -q + 4*q + r = -5*h, 2*q + 6 = -2*h. Let f = -1 + -1. Put 4, f, h in descending order.
4, f, h
Let d = -8.6 + 9. Sort -5, d, 3/2 in increasing order.
-5, d, 3/2
Let x(i) = i**2 - 2*i - 12. Let o be x(5). Put 5, -3, o in ascending order.
-3, o, 5
Let f = 1 - -1. Put 3/8, 0, f, 0.5 in ascending order.
0, 3/8, 0.5, f
Let z = 23/10 + -5/2. Let k be ((-4)/(-50))/((-6)/10). Let u be -1*2 - (-1 + 0). Sort k, u, z in increasing order.
u, z, k
Let i = -7 - -11. Suppose 4*f - i = n, -3*f - 2 = 4*n + 14. Let x(k) = k**2 - 2*k - 3. Let y be x(-2). Put y, -2, f in increasing order.
-2, f, y
Let i be 0 + -1 + 22/18. Let h = -1.7 + -0.3. Let m = 2 + -2. Sort i, h, m in descending order.
i, m, h
Suppose 2*w + 5 = -3. Let q be (-20)/2*w/(-10). Let g = 0 - q. Put 0, g, -3 in descending order.
g, 0, -3
Let h = 1 + -1.4. Let t = 0.3 + h. Sort t, 3, -4/7 in increasing order.
-4/7, t, 3
Let t be 2 + (5 - 4 - 5). Sort 5, -4, t in decreasing order.
5, t, -4
Let y = 8 + -3. Let n = 25/143 + 1/143. Sort y, n, 2/3.
n, 2/3, y
Let z = -4 + 2. Let l(q) = -q**3 - 18*q**2 - 17*q - 1. Let n be l(-17). Put n, -3/2, z in descending order.
n, -3/2, z
Let q(t) = 13*t**2 - 4*t + 1. Let h be q(3). Let g = h + -740/7. Let p = 29 - 57/2. Put 0.3, g, p in decreasing order.
p, 0.3, g
Suppose -16 = -3*r + 20. Put 4, r, 0, -4 in descending order.
r, 4, 0, -4
Suppose 13*n - 11*n - 4 = 0. Sort n, -0.3, 0.7 in ascending order.
-0.3, 0.7, n
Let s = -7 - -7. Suppose s = -2*j + 3*j - 5. Let z = -6 + 5. Put j, z, 3 in decreasing order.
j, 3, z
Suppose w = 4 - 1. Put 4, w, 5 in decreasing order.
5, 4, w
Let x = 3 + -8. Suppose -3*l + 2*v = -v + 6, -14 = -5*l - v. Let u = l - -3. Put u, -1, x in decreasing order.
u, -1, x
Let s be (-6 - -6)/(3/(-3)). Suppose 1 = -p - s*p. Let f be 2/(-5) - 18/5. Put f, 1, p in increasing order.
f, p, 1
Let j = -0.06 + -2.94. Let u(t) = t - 10. Let w be u(10). Sort j, w, -1 in increasing order.
j, -1, w
Let z = 15 + -9. Let i be ((-2)/z*1)/1. Sort i, -1, -1/4.
-1, i, -1/4
Suppose -3*g = 7 - 19. Suppose g*s + 13 - 1 = 0. Suppose -20 = 2*l - 5*x, 4*l + 5*x - 3*x = -16. Sort s, 3, l.
l, s, 3
Let z(q) = -q + 5. Let d be z(9). Put -5, 3, d in descending order.
3, d, -5
Let w = -1.13 - -0.73. Put 0.5, 10, 3, w in increasing order.
w, 0.5, 3, 10
Suppose 3*s + 28 = -4*l, 0*s + 3*l = -4*s - 28. Suppose -5*b = -5, 2*x - 5*b = -2*x - 25. Put s, 2/7, x in ascending order.
x, s, 2/7
Let s = 3.7 - 3.8. Put 0, 2, s in decreasing order.
2, 0, s
Let x = 0.2 + -0.3. Let j = -68.95 - -73. Let b = j + -0.05. Put 2/7, x, b in descending order.
b, 2/7, x
Let k = -4.06 + 4. Let a = 0.16 - -0.08. Let p = k - a. Put -3/2, p, -1/6 in ascending order.
-3/2, p, -1/6
Let v = 26 - 27. Put -3, v, -2 in ascending order.
-3, -2, v
Let q = -3.5 + 4. Let h = -5 - -5.02. Let a = h - 2.02. Sort -1/7, a, q in decreasing order.
q, -1/7, a
Let m = -1.91 - 0.09. Let b = 4 - 3. Sort b, m, -0.6 in descending order.
b, -0.6, m
Let u = -0.55 - 0.05. Let g = u - 4.4. Let i = -0.03 - 0.07. Sort i, -1/4, g in decreasing order.
i, -1/4, g
Let t = -0.07 + 3.07. Sort 4/3, t, -0.2 in ascending order.
-0.2, 4/3, t
Suppose 4*z - z - 90 = 0. Suppose -2*w + 5*y = -9, -y + 6*y = -5*w - z. Sort w, 0, 2.
w, 0, 2
Let b(f) = f**3 + 14*f**2 + 31*f - 18. Let y be b(-11). Sort 1, -8, y, 3.
-8, 1, 3, y
Let y be (-5)/(-10) + 2/(-4)*0. Put 8, 5, 4, y in decreasing order.
8, 5, 4, y
Let v = 0.11 - 0.81. Let y = -0.5 - v. Sort y, 0.3, -0.3 in descending order.
0.3, y, -0.3
Let r = 23 - 11. Suppose -2*g - 11 = -3*o, -o + 4*o - r = 3*g. Suppose -h + o*v = 2, 4*v = -2*h + 7*h - 1. Put -3, 0, h in ascending order.
-3, 0, h
Let y be ((0 - 0)/2)/2. Suppose 0 = -4*q - 13 - 3. Put y, q, 5 in ascending order.
q, y, 5
Suppose 4*m + a + 4 = 2*a, 2*m + 12 = 3*a. Sort -3, 3, 2, m.
-3, m, 2, 3
Let w = 1 - 0. Suppose s - 4 + w = 0. Suppose 0 = -0*x - x + s. Put x, -2, -1 in increasing order.
-2, -1, x
Let i = 0.07 - 5.07. Suppose 2*q - 24 = -2*q. Let n be 1 - 6*(-3)/q. Sort 0, i, n in ascending order.
i, 0, n
Let l = 63.9 + -64. Put 0.5, l, -1, -4/27 in descending order.
0.5, l, -4/27, -1
Let m be 21/6 - 1/(-2). Let n = 9 + -4. Put n, 3, m in decreasing order.
n, m, 3
Let g = 0.3 - 0.2. Suppose -68 = 10*l - 27*l. Put 1, g, l in increasing order.
g, 1, l
Suppose -2*o + 24 = o. Suppose -2*t - o = -4*t. Sort -1, -4, t in descending order.
t, -1, -4
Suppose 3*t - 5 = -20. Suppose 3*i - 3*x = 15, -3*x - 6 = -0. Suppose k + i*k = -8. Sort k, 0, t in increasing order.
t, k, 0
Suppose 4 = -15*z + 14*z. Suppose -2*f + 30 = 4*l + l, 3*l - 32 = -4*f. Suppose 0 = -3*p - 14 - 1. Sort p, z, l.
p, z, l
Suppose 16 = -4*r, -3*p + 4*r = 2*p - 1. Put -6, p, 3 in descending order.
3, p, -6
Let i(x) = 6*x**2 + 25*x + 2. Let g be i(-4). Put 4, g, -1, 0 in decreasing order.
4, 0, -1, g
Let x = -5.3 - -2.3. Sort 2, x, -1.1 in decreasing order.
2, -1.1, x
Let x = -10.9 + 14.9. Sort x, -0.1, -4 in increasing order.
-4, -0.1, x
Suppose 4*k + 2*d = 16, -5*k + 3*d + 9 + 22 = 0. Let s(o) = -8 - o + 3*o - o. Let y be s(k). Put -1, y, 2 in increasing order.
y, -1, 2
Let a(q) = -q**2 + 4*q - 3. Suppose -4*g + 2*g = 12. Let z be (-52)/(-12) - (-2)/g. Let f be a(z). Sort -4, -1, f.
-4, f, -1
Let o = -11 + 16. Put -2, o, 2 in descending order.
o, 2, -2
Let 