u, 4
Let k be 2/3 + 26*4/24. Let i = -8 + 11. Sort 1, k, i.
1, i, k
Let r(u) = -u**2 + 4*u + 5. Let y be r(4). Suppose 0 = -y*w - 5*n + 5, -9 - 19 = -4*w + 4*n. Put -2, w, 0 in descending order.
w, 0, -2
Suppose -7 = -2*s - 3. Suppose -3*b + s + 1 = -3*d, 0 = 4*b - 2*d + 2. Put b, 3, -4 in descending order.
3, b, -4
Let s(i) = i**2 + 3*i + 1. Let p be s(-2). Sort 5, p, -3.
-3, p, 5
Suppose 0 = 4*x - 3*x - 1. Sort -5, x, 2 in descending order.
2, x, -5
Suppose -1 = 3*d - 7. Sort -0.4, 4, d, -1.
-1, -0.4, d, 4
Let z = 12 + -17. Suppose -7*b = -3*b. Let l(t) = t**2 + 2. Let m be l(b). Sort -3, m, z.
z, -3, m
Let n be 8/(-45) + (-6)/27. Suppose 8 = -u + 3*j, 0 = 2*j + 2 - 4. Put n, u, -1 in decreasing order.
n, -1, u
Suppose 7*i - 9 = 4*i. Sort i, -17, 2 in increasing order.
-17, 2, i
Let z(q) = 2*q**2 + 3*q. Let c be (-5 + 1)*2/4. Let w be z(c). Let u be (5/2)/(1/w). Sort u, 0, -2 in descending order.
u, 0, -2
Let n = -6 - -4. Put 2, 3, n in descending order.
3, 2, n
Suppose 5*x = -5*s - 14 + 44, -x + 3*s - 14 = 0. Sort 2/17, 1/2, x.
2/17, 1/2, x
Let p = -1.5 + 2. Let k be (-3)/14*4/(-3). Suppose 2*r + 4*u + 5 = 3*u, 5*r - 25 = 5*u. Sort p, k, r in decreasing order.
p, k, r
Suppose -i + 2*i = -1. Suppose -2*f = -f - 2*u - 15, 4*f - 2*u - 30 = 0. Let w(y) = y**3 + 5*y**2 - 2*y - 6. Let k be w(-5). Sort i, f, k in descending order.
f, k, i
Let a = 0.3 + 0.2. Let l(b) = -b - 6. Let j be l(-8). Put 4, j, a in ascending order.
a, j, 4
Let g be ((-3)/(-2))/(9/(-12)). Suppose 2*c = 5*c - 18. Suppose p + 20 = c*p. Put g, p, 3 in descending order.
p, 3, g
Suppose 0 = 3*u - 6*u + 9. Suppose -u*d = -0*s + 5*s - 50, -3*s + 30 = 4*d. Let z = s - 9. Sort z, 2/7, -4.
-4, 2/7, z
Let p = -351/5 - -70. Sort 15/7, p, -2 in increasing order.
-2, p, 15/7
Let w be (4 - 0) + (-27)/7. Let h = 0.2 - 1.2. Sort w, 0.3, h in descending order.
0.3, w, h
Let c = 2.5 - 3. Sort 2, -1/6, c in descending order.
2, -1/6, c
Let c = -1 + 6. Let f = -7.4 + -1.6. Let t = f - -5. Put t, 3, c in descending order.
c, 3, t
Let z = 9 - 6. Suppose 3*h - 25 = 8*h. Let o be (-2 + h/(-3))/1. Put z, o, -2 in descending order.
z, o, -2
Suppose -7*f + 20 = -2*f. Sort -3, 2, f.
-3, 2, f
Suppose 9 = -3*j - 3. Sort -3, j, -8.
-8, j, -3
Let a = 1.73 - 15.53. Let o = a + 12. Let g = o - -2. Sort 0.3, -4, g in descending order.
0.3, g, -4
Let i be 1 - (-3 - (-1)/(-1)). Suppose i*n + 4*x - 23 = x, -x - 15 = -4*n. Let u(q) = -q + 9. Let m be u(7). Sort n, -1, m in descending order.
n, m, -1
Let z be (5 - 5)/(2 - 0). Suppose 1 + z = -a. Let o be (-9)/6*(2 + 0). Sort -5, a, o in decreasing order.
a, o, -5
Let p = 0.25 + -0.3. Let h = 3.09 - 0.14. Let d = h - p. Put 0.5, d, -2 in increasing order.
-2, 0.5, d
Let f = -0.61 - -0.21. Put 6, 0.4, f in decreasing order.
6, 0.4, f
Let o = -3 - 0. Let f = -3 - o. Suppose f = 5*j + u + 10, u = -5*j - 4*u - 10. Sort 0, j, -3.
-3, j, 0
Let c be (12/10)/(18/(-45)). Let d = -11 - -7. Put c, d, 3 in increasing order.
d, c, 3
Let x = -11/18 + 17/72. Let t be 1/3 - 4/3. Sort -0.08, t, x.
t, x, -0.08
Suppose -4*a - 2*n - 2*n = 16, -n = 5*a. Put a, 9, -5 in decreasing order.
9, a, -5
Let s be ((-4)/(-10))/((-3)/15). Sort -3, -4, s in decreasing order.
s, -3, -4
Let q = -0.4 - -0.38. Let y = q - -0.42. Put -3, y, -2 in decreasing order.
y, -2, -3
Suppose -2*t + 6 = -2*f, 4*f - 5*t = -6 - 8. Put f, 3, 1 in increasing order.
f, 1, 3
Suppose 4*s + 2*p = 12, 0 = -s + 2*p - 2 - 0. Sort -5, s, 5.
-5, s, 5
Let r = -65/12 - -21/4. Put -5, -1, r, -4 in increasing order.
-5, -4, -1, r
Suppose -3*n - 17 = 3*v - 5*v, 3*n + 11 = -4*v. Let b be (345/399)/(-1) + 0. Let x = b + 11/19. Sort x, -3/4, n in decreasing order.
x, -3/4, n
Let b(p) = -p**2 + 8*p + 2. Let d be b(8). Let n(l) = l + 6. Let j be n(-3). Suppose q + 3*r - 5*r - 6 = 0, j*r + 7 = q. Put -3, d, q in decreasing order.
q, d, -3
Let u be ((-5)/(40/12))/((-126)/(-8)). Let x = -1 - -0.6. Put 0.3, u, x in decreasing order.
0.3, u, x
Let n = -0.1 + 0.3. Let l = -0.04 + -3.96. Put n, 0.02, l in decreasing order.
n, 0.02, l
Let q be (-3 + 2)*((-46)/(-10) + -4). Sort -0.3, -14, q, -4 in decreasing order.
-0.3, q, -4, -14
Suppose 7*u - 6*u - 23 = 0. Let f = 6 + -2. Suppose 5*l = -g + u, -f*g = 5*l - 5*g - 27. Put -3, l, 0 in increasing order.
-3, 0, l
Let z be (0 + 0 - -2)*4. Let u be (5/10)/(2/4). Let k be 1 - -1 - (z - u). Put -1, -2/9, k in ascending order.
k, -1, -2/9
Let f = -3 + 3.1. Let n = -30 + 91/3. Sort f, n, -2/11 in decreasing order.
n, f, -2/11
Suppose v - g = 0, -3*v - 14 = -0*v + 4*g. Put v, -10, 4, 3 in descending order.
4, 3, v, -10
Let c = 0.5 + -0.6. Sort 0.5, c, -1 in ascending order.
-1, c, 0.5
Suppose -60 = -2*h + 4*h. Let v be h/18 - (-4)/6. Let y = 0.6 - -0.4. Sort v, 0.5, y.
v, 0.5, y
Let t be (-1)/9 + 185/45. Let r(f) = -f**2 - f. Let h be r(-1). Sort t, -5, h in decreasing order.
t, h, -5
Let z = -7 + 8.2. Let l = -1 + z. Put 4, l, -1/8 in descending order.
4, l, -1/8
Suppose -4*l + 10 - 26 = -2*m, -4*m - 5*l - 7 = 0. Sort -3, m, 3.
-3, m, 3
Let y = 27 - 31. Sort -5, 3, y in increasing order.
-5, y, 3
Let y(z) = -z**2 + 8*z - 5. Let v be y(7). Put v, 3, -1 in ascending order.
-1, v, 3
Let r = -9 + 5. Sort r, 2, -0.3 in descending order.
2, -0.3, r
Let t(p) = 4*p - 3*p - 2 + 4 + 5. Let q be t(0). Let v be 1 + 2/2 - q. Sort -4, 0, v.
v, -4, 0
Suppose 3*r - 4 = -5*z - 14, 0 = r - 4*z + 9. Sort -3, -2, -14, r in descending order.
-2, -3, r, -14
Let g be (-130)/(-8) - 19/76. Sort 2, 0, 1, g in increasing order.
0, 1, 2, g
Let h = -6 - -23/3. Sort h, -2, -0.5 in descending order.
h, -0.5, -2
Let q = 1 - 1. Let u be (-12)/(-10)*(-25)/10. Sort q, u, -5 in decreasing order.
q, u, -5
Let q be 1/(-4) + 69/4. Suppose 5*i + 2 - q = 0. Suppose 1 + i = -m. Sort 4, -5, m.
-5, m, 4
Let x = -178 - -186. Let l(w) = -w. Let o be l(-2). Sort o, 5, x in descending order.
x, 5, o
Let x be 3 + (2 - (-1 - -1)) + -4. Let c = -5 - 0. Put x, c, -8 in increasing order.
-8, c, x
Let h = -51 + 56. Put h, 0.8, -1/4, -1 in increasing order.
-1, -1/4, 0.8, h
Let x be ((-4)/(-10))/((-6)/(-100)). Let l = -19/3 + x. Let a = -118 - -350/3. Sort l, a, 2 in increasing order.
a, l, 2
Let b be 10*(2 + 24/(-10)). Let d = -0.2 - 0.1. Let a = -0.8 - d. Sort a, 2/13, b in descending order.
2/13, a, b
Suppose 1 + 5 = -3*z. Let a(m) = 2*m + 5. Let j be (-2 - -1) + 3/(-1). Let x be a(j). Sort x, 0, z in descending order.
0, z, x
Let d(s) = s**3 - 18*s**2 + 17*s + 2. Let u be d(17). Sort -3, u, -9 in ascending order.
-9, -3, u
Suppose -1 = 4*w - 17. Suppose -3*o - o = w. Sort 6, -2, o.
-2, o, 6
Let t = -5 + 4. Let n = 29 + -31. Put t, -5, n in increasing order.
-5, n, t
Let n = -13.8 - -14. Let d = 0.92 + -0.8. Let b = d + -5.12. Sort 1, n, b in descending order.
1, n, b
Let z = 3.17 - 3.3. Let g = z - -1.13. Sort g, -0.4, -4.
-4, -0.4, g
Let d = -6 - -6.5. Put -1, d, 2/7, 0.18 in descending order.
d, 2/7, 0.18, -1
Let h(n) = -n**2 + 4*n + 9. Let r be h(5). Let f(v) = v**3 - 5*v**2 - 7*v + 3. Let w be f(6). Suppose 4*m - 5*m = 4. Put r, w, m in descending order.
r, w, m
Let o = -17 + 29. Put 2, o, -3 in increasing order.
-3, 2, o
Let u be (-2 + 3)*-1*-1. Put -1, u, 7 in descending order.
7, u, -1
Let g = 2 + -2. Suppose a + a = g. Suppose z + a = -4. Sort z, 3, 2 in increasing order.
z, 2, 3
Let y = 0.09 + -0.16. Sort y, -0.3, -1 in ascending order.
-1, -0.3, y
Let y = -8 - -13. Suppose -26*m = -23*m - 9. Sort m, 0, y in ascending order.
0, m, y
Let f be 4 + -1 + (-4 - -6). Put f, 0, -1 in descending order.
f, 0, -1
Suppose 5*f - 19 = 5*a + 46, -9 = 2*f + 5*a. Suppose -g - f = g. Put -1/6, -1, g in descending order.
-1/6, -1, g
Suppose -5*l + 6*l + 4 = 0. Put -3, l, -2 in descending order.
-2, -3, l
Let w = -90 + 89.7. Put w, 4, -2, -3 in increasing order.
-3, -2, w, 4
Let y be (0/(4/(-2)))/(-3). Suppose -5*u - 4*m + 24 = y, -3*m - 2*m = -u - 1. Sort u, -2, 2 in ascending order.
-2, 2, u
Let l = 0.69 - 0.19. Put 1, l, -5 in increasing order.
-5, l, 1
Let i(f) = -f - 6. Let k be i(-6). Suppose -2*v - 3*y + 2 + k = 0, -3*v + 3*y - 12 = 0. Put 5, v, 0 in descending order.
5, 0, v
Suppose 0 = o - 3 - 7. Let i = o + -14. Put i, 3, -1 in decreasing order.
3, -1, i
Let s = -2 - -1. Let x be ((-27)/6)/3*(-12)/(-9). Let l be (-2)/(-2 - 2)*0. Sort l, x, s in de