3, x
Let a be -1*1/(-2) + 1. Sort -0.2, a, -0.3 in increasing order.
-0.3, -0.2, a
Let i = 18 + -25. Let p = -3 - i. Sort -1/2, p, -0.1 in increasing order.
-1/2, -0.1, p
Let l = 11 + -18. Let h = 8 + l. Let b be (-2)/6 - (-26)/6. Sort 0, h, b.
0, h, b
Let h = -18 - -23. Sort 2, -1, h in increasing order.
-1, 2, h
Let g = -48 + 49. Put g, -4, -6 in decreasing order.
g, -4, -6
Let h(m) = 3*m - 2. Let p be h(-1). Sort -38, p, 2 in increasing order.
-38, p, 2
Let c be -4*((-20)/(-16))/(-5). Sort -8, c, 5 in decreasing order.
5, c, -8
Let n(g) = -g**2 - 4*g - 3. Let r be n(-3). Suppose 4*z - 6*z - 2 = r. Let c = 7 - 3. Sort 5, c, z in increasing order.
z, c, 5
Let c = -36 - -35. Sort -4, c, 18, 2/9 in descending order.
18, 2/9, c, -4
Let i = -0.1 - 0.9. Let z = -1 - -1.1. Let p = z - 5.1. Put -4/7, i, p in descending order.
-4/7, i, p
Let c = 8 + -3. Suppose -5*q + 11*q - 18 = 0. Put -2, c, q in descending order.
c, q, -2
Suppose -7*t + 16*t = -9. Put 0, 3, t in increasing order.
t, 0, 3
Let t(r) = -r + 6. Let c be t(0). Let d be 2/(-2) - c/(-14). Let f(u) = u**2 + u + 1. Let j be f(-2). Put j, d, -0.1 in increasing order.
d, -0.1, j
Let w be (3 + -2)/((-2)/10). Put w, 5, -1 in descending order.
5, -1, w
Let f = -0.13 - -7.13. Put 4, 0.3, f in decreasing order.
f, 4, 0.3
Let h = -94 + 89. Sort 0, h, 1 in ascending order.
h, 0, 1
Let j(t) = t**3 + 9*t**2 + t + 7. Let b be j(-9). Put -2/5, b, 1/2 in increasing order.
b, -2/5, 1/2
Suppose 6*m - 67 = -73. Sort 0.3, -7, m, 0.
-7, m, 0, 0.3
Let b = 25 + -30. Put -1, 4/7, -1/8, b in ascending order.
b, -1, -1/8, 4/7
Let k = 9.1 - 9. Put 3, k, 5, -2 in descending order.
5, 3, k, -2
Let l be (3 - 2)*(21 - 2). Suppose 0 = -4*z + l + 1. Let a be 2/18*-2*-3. Sort 0.4, z, a in descending order.
z, a, 0.4
Let q = 0 - 2. Let t = -1 + 4. Let r = t - 1. Sort -0.3, q, r in ascending order.
q, -0.3, r
Let w = 66.05 - 64. Let f = w + -0.05. Let k = 3 + -2.7. Sort f, 4, k in increasing order.
k, f, 4
Suppose 3*m = n - 7, 6*m + 20 = 4*n + 2*m. Suppose -j + 17 = 4*h, -4*j - n*h - 5 = -25. Let o(u) = 4*u + 1. Let d be o(j). Sort 0, 1, d in descending order.
d, 1, 0
Let z = -1.14 - 0.06. Let s = 0.2 + z. Let h = -5 + 2. Sort s, h, -4.
-4, h, s
Suppose -4*d = 4*i - 4, 3*i + 4*d + 4 = i. Let z = -247 - -247. Put i, z, -2 in descending order.
i, z, -2
Let l(t) = -t**3 + 2*t**2 + 2*t + 3. Let u be l(4). Let i be (2/(-6))/(7/u). Sort 2, -4, i in increasing order.
-4, i, 2
Let d = -3 + 2. Suppose 0 = -4*g - 6 - 42. Let c be (6/35)/(g/(-40)). Sort 0.1, c, d.
d, 0.1, c
Let d = -19/56 + 3/56. Suppose -11 + 4 = -3*t - 2*c, c = -t + 4. Sort d, t, -0.3.
t, -0.3, d
Suppose 4*p - 34 = -6. Suppose -2*h + p*h + 15 = 0. Sort h, 5, -5 in increasing order.
-5, h, 5
Suppose -3*q - 6 = -0*q. Let m = -22 - -22. Let h(d) = -d**3 + 2*d**2 + 3*d - 4. Let s be h(3). Put q, m, s in descending order.
m, q, s
Suppose -4*j + 7*j + 13 = 2*s, -17 = 4*j - 3*s. Sort -15, 2, j in ascending order.
-15, j, 2
Let x = -2.9 + 3. Let u = 0.9 + x. Sort 5/3, u, 0.3 in decreasing order.
5/3, u, 0.3
Let j(a) = a**2 - a - 3. Let p be j(0). Let o be (-4)/(-10) + 2/(-5). Put o, 0.2, p in descending order.
0.2, o, p
Let a be (70/7)/(-1*2). Suppose 0 = 5*q - 3*k + 20, -5*q = 4*k - 6 - 9. Sort 1, a, q in ascending order.
a, q, 1
Let z be -1*4/2 + -3. Let o = -1 - z. Sort 2, o, 3 in ascending order.
2, 3, o
Let o be (-34)/6 + (-3)/9. Let v = 6 + o. Put 5, v, -1 in increasing order.
-1, v, 5
Let x be 30/(-4)*(-8)/12. Put 4, 2, x in decreasing order.
x, 4, 2
Let o(f) = f + 5. Let l be ((-10)/(-3))/(3/(-9)). Let y be o(l). Let a be (0/(-1) + -1)*1. Sort 2, y, a.
y, a, 2
Let u = 4 - -3. Let j = -12 + u. Let p(g) = -7*g - 32. Let q be p(-5). Put -4, j, q in increasing order.
j, -4, q
Let c = -0.55 - -1.55. Sort 2, c, -3/2, -4 in ascending order.
-4, -3/2, c, 2
Let j(d) = -d**2 + 2. Let a be j(4). Let w be (-1 + -1)*2/a. Sort 1/2, -1/14, w.
-1/14, w, 1/2
Suppose 2*l - 75 = -13*l. Suppose 0 = -2*z - 0*y + 3*y + 5, 3*z - 5*y - 8 = 0. Sort -3, z, l in increasing order.
-3, z, l
Let n = 60 + -57. Put n, -2, 2 in decreasing order.
n, 2, -2
Suppose 10*o = 11*o + 2. Put 7, o, -1 in descending order.
7, -1, o
Let n = 3 - 2. Let x(k) = -k + 5. Let l be x(8). Sort n, -5, l.
-5, l, n
Let v = 10 + -13. Let a(m) = 2*m + 1. Let d be a(v). Sort -4, d, 3 in descending order.
3, -4, d
Let d = -10 - -8. Sort d, 5, -3.
-3, d, 5
Let l(t) = -4*t + 21. Let c be l(6). Sort -1, c, 4, -7.
-7, c, -1, 4
Let o = -8 + 6. Suppose -5*g - 4*u + 29 = -2*u, 0 = 4*g + 2*u - 24. Put -4, o, g in descending order.
g, o, -4
Suppose 0 = -4*k - 3*m - 4, -12 = -k - k - 5*m. Let x be (-2 - (1/(-2) - -1)) + 2. Sort k, x, -2/13 in descending order.
-2/13, x, k
Let w = 1.9 + -1.5. Put 0, -2, w in increasing order.
-2, 0, w
Suppose -5*u + 3*b + 6 = 0, 18 = 4*u - u + 3*b. Sort 4, -23, -1, u.
-23, -1, u, 4
Suppose -2*t + q = 3*q - 6, 3*t + 2*q = 7. Let n be ((-2)/(-6))/(t - 2). Let y = 3.8 + -4. Sort n, -0.3, y in descending order.
y, -0.3, n
Let j = -4.48 - 0.22. Let w = 0.7 + j. Let v = -0.03 - 0.47. Sort -1/3, w, v in decreasing order.
-1/3, v, w
Let q = 4.9 + 0.1. Let i = 1 + -0.8. Let x be 12/7 + -2*1. Sort q, x, i in decreasing order.
q, i, x
Let x(c) = c**2 - 1. Let z be x(1). Let q be (-1 - 0)*(-1 - -5). Let o be -3*(-2)/(2/1). Put o, q, z in descending order.
o, z, q
Suppose -7*j = -9*j + 8. Suppose 0 = -j*a - 8 + 4. Put 4, a, -5 in descending order.
4, a, -5
Let x be 1 + 16/9 + -3. Sort 3, x, 1 in ascending order.
x, 1, 3
Let x(b) = -2*b - 12. Let y be x(-5). Sort 1/4, 1, y in decreasing order.
1, 1/4, y
Suppose -2 - 1 = -3*y. Let r be (0 - 0) + y - 2. Put -2, r, -4 in descending order.
r, -2, -4
Let y be 1 + 1 + (3 - 2). Suppose y*f - 4 = f. Suppose -4*m + 0 = -4*b + 4, 5*b - 25 = -5*m. Put -4, f, b in ascending order.
-4, f, b
Suppose u + 4*u = j - 43, -19 = 3*u - 4*j. Put u, -2, -5 in descending order.
-2, -5, u
Suppose -44 - 12 = -4*r. Suppose -5*q + 39 = 14. Suppose 2*g = -a + 5*a - 12, -r = -a - q*g. Sort -3, a, -1 in descending order.
a, -1, -3
Let n = 13 - 18. Let s = n + 6. Put 3, s, 2 in ascending order.
s, 2, 3
Let b = -0.026 + 0.326. Sort -1/5, b, -0.3.
-0.3, -1/5, b
Let q = -3 - -2. Sort 5, q, 2 in increasing order.
q, 2, 5
Let s be 15/(-27) - 2/(-9). Let r be -1 + 2/(-6) - -2. Sort s, r, -2 in descending order.
r, s, -2
Let h(j) = j**3 + 11*j**2 + 11*j + 6. Let m be h(-10). Sort -2, -3, m, -1 in ascending order.
m, -3, -2, -1
Let j(l) = -l**2 + 8*l. Let x be j(7). Let t = 11 - x. Sort -4, 2, t in decreasing order.
t, 2, -4
Suppose -4*n - 7*t = -3*t - 12, -5*n + t + 3 = 0. Let s = 6 + -11. Put n, s, -1 in increasing order.
s, -1, n
Let z = -0.6 + 0.4. Let b(j) = 2*j + 4. Let n be b(-3). Sort z, n, -3 in decreasing order.
z, n, -3
Let b = -2 - -2. Suppose -2*f + b*i + 33 = 5*i, 2*i - 10 = 0. Suppose -4*x + 4 + f = 0. Sort x, 4, 0 in ascending order.
0, x, 4
Let v = 4.08 + -0.08. Let j = -730.9 + 731. Sort v, -0.4, j in descending order.
v, j, -0.4
Suppose 3*x - 3*y - 13 - 5 = 0, 4*y + 3 = x. Sort -5, x, -3.
-5, -3, x
Suppose q + 435 = 5*u, 269 + 100 = 4*u - 5*q. Let y = 432/5 - u. Let i = -89/3 + 30. Sort y, -0.5, i in ascending order.
-0.5, i, y
Let z be 2/(-1 + 1/2). Suppose 63 = 4*p - 17. Suppose -2*i - 2*i = 4*b + 40, 0 = -b + 5*i + p. Put 0, b, z in ascending order.
b, z, 0
Let i(w) = w - 10. Let v be i(6). Suppose 0 = 4*h - 5 - 11. Put h, v, -5 in ascending order.
-5, v, h
Let x be ((-1)/3)/((-1)/15). Let j = x - 1. Suppose -d + 2*l = -3*d - 14, 0 = 2*d + l + 10. Sort d, j, 3 in ascending order.
d, 3, j
Suppose 2*d - 4 = 4. Let s be -1 + -1 - (-4)/d. Sort -3, s, 0 in decreasing order.
0, s, -3
Let f(c) = c**2 - c - 5. Let h be f(3). Sort 5, -4, h, 6.
-4, h, 5, 6
Let f = -111 - -110. Sort -1/28, f, -1/4, -4 in descending order.
-1/28, -1/4, f, -4
Let t be 3/6 - (-6)/(-4). Suppose -2*z - 1 + 7 = 0. Let o = -17 + 15. Put o, z, t in descending order.
z, t, o
Let a = 0.1 - -0.9. Let t = -205 - -1432/7. Sort -3, t, a in increasing order.
-3, t, a
Let y = 10.6 - 11. Sort -0.2, 0.1, y in increasing order.
y, -0.2, 0.1
Let a(s) = -s**2 + 6*s + 13. Let z be a(10). Let b be ((-18)/z)/((-4)/(-6)). Put b, 5, 0 in decreasing order.
5, b, 0
Let o be 28/20 + (0 - (-9)/15). Put -5, -23, -1, o in decreasing orde