3, -2, x in increasing order.
x, -2, 3
Suppose 0*v + 11 = v + 4*y, 4*y - 7 = -5*v. Let q = -1 - v. Sort -4, q, -5.
-5, -4, q
Let j = -46 - -44. Put -5, -15, j, 3 in decreasing order.
3, j, -5, -15
Let j be ((-9)/(-6))/(3/6). Let m = 0.24 + 0.06. Put m, -2/15, j in ascending order.
-2/15, m, j
Suppose -5*p = 2*m - m - 15, 4*m = -p - 16. Let o be (-1)/((-1)/(-1))*2. Sort 2/9, p, o in decreasing order.
p, 2/9, o
Let v be 8/(-9)*24/(-32). Sort -9, 3, v in ascending order.
-9, v, 3
Let t = -122 + 121.9. Put 0, -5, -2, t in increasing order.
-5, -2, t, 0
Let t(f) = f - 15. Let n be t(14). Suppose 4 = -2*x - 0. Let v = -1 - x. Sort -3, v, n.
-3, n, v
Suppose c - 3 = -5*s + 2, -c = 5. Sort s, -1, 1 in increasing order.
-1, 1, s
Let x = -0.05 - 0.35. Let d = 0.35 - 5.17. Let y = -0.18 + d. Sort x, y, -3 in increasing order.
y, -3, x
Let a = 1.2 + -1.5. Sort 1/2, a, -4.
-4, a, 1/2
Let y be (164/(-32) - -4) + 1. Put 2/3, 11, y in decreasing order.
11, 2/3, y
Suppose -t + 6 - 3 = a, 0 = -3*a + 3*t + 27. Suppose -r - 3 = -2*r. Sort a, -3, r.
-3, r, a
Suppose 8 = 4*g - 2*g. Let u be 1/(-12) - (-18)/54. Sort u, g, 2/3 in increasing order.
u, 2/3, g
Let t = 0.19 + -0.19. Let c be (1/(-2))/(-1 + 0). Put t, c, -3 in increasing order.
-3, t, c
Suppose 5*c - 33 = -4*g, -4*c + 4 + 16 = 0. Suppose q - 4*d - 5 = g, -3*q - 2*d + 7 = 0. Sort -1, q, 0.
-1, 0, q
Let m = -0.06 - -1.06. Let r be ((-2)/(-3))/(15 + -18). Put r, 4/3, m in descending order.
4/3, m, r
Let f = -35.2 + 35. Put 4, 3, 0.3, f in decreasing order.
4, 3, 0.3, f
Let v = 2 - 2.3. Let s = -0.07 + -0.23. Let n = s - v. Sort n, 0.1, -0.4.
-0.4, n, 0.1
Let i = -14 - -16. Suppose 2*w - 3*d = -20 - 5, -i*w - 2*d = 0. Sort 4, 3, w.
w, 3, 4
Let h be (1 - 0) + 0 + 1. Let o(g) = -g**2 + 5*g - 1. Let j be o(5). Let i be 5 - (j + 2)*h. Sort 2, i, 4 in decreasing order.
4, i, 2
Let x be (4/5)/(16/40). Suppose 15 = 3*j + f, 3*j - 4 = -5*f + 11. Put -3/2, j, x in decreasing order.
j, x, -3/2
Let o(b) = -b**2 - 2*b - 2. Let f be o(0). Sort 5, 2/5, f in decreasing order.
5, 2/5, f
Let b = -166 + 1160/7. Put b, -0.2, -2/9 in decreasing order.
-0.2, -2/9, b
Let a(v) = v**2 + v. Let p be a(0). Suppose 5*u - 23 + 3 = p. Suppose 0 = g - u*g. Put -1, g, 5 in decreasing order.
5, g, -1
Let y = -25 + 22. Sort -1/8, -0.4, y in descending order.
-1/8, -0.4, y
Let g = -6 + 4. Suppose -20 = -3*u - 5. Suppose 0*f - f + 3 = -v, -f + 3 = 4*v. Put g, v, u in descending order.
u, v, g
Let x be (-2)/(-12)*132/(-135). Let m = 1/27 - x. Sort 1, m, -3 in descending order.
1, m, -3
Let n = 3 + -7. Sort n, 2/7, 0.07, 2.
n, 0.07, 2/7, 2
Let h be ((-5)/(-5))/(3/6). Suppose -h*t - 16 = -6*t. Put 0, t, -7 in descending order.
t, 0, -7
Let c = 16 + -10. Let n be (2 + (-16)/c)*-6. Suppose n = -g - 0*g. Sort g, -1, 4.
g, -1, 4
Let l(n) = n**3 + 4*n**2 + 3*n - 4. Let z be l(-3). Suppose 0 = -9*c + 14*c - 20. Sort c, z, 3.
z, 3, c
Let h = -23 - 35. Let j be h/(-30) - 6/10. Put -2, 5, j in decreasing order.
5, j, -2
Let p = -4 + 7. Let f be p - 0 - 4/2. Sort -2, 2, f.
-2, f, 2
Let c be 3 + 0 - (4 + -5). Put 0, 9, c in descending order.
9, c, 0
Let t(y) = y**3 - 4*y**2 - 8*y - 5. Let j be t(5). Let m = j - -16. Sort -0.5, 1, m in ascending order.
m, -0.5, 1
Let b = 158 + -629/4. Suppose -21 = 3*y - 3*h, -3*h - 4 = 2*y - 0*h. Let u(r) = -r**3 + 5*r**2 + 5*r + 7. Let j be u(6). Put j, y, b in decreasing order.
j, b, y
Let k = 3 + -6. Let m = -0.5 - -0.1. Suppose 9*d - 7*d = 4. Sort k, m, d in increasing order.
k, m, d
Let w be 3*-7*5/15. Sort 4, w, 3/8.
w, 3/8, 4
Suppose -4*r - 7 = z, 5*r - 4*z = -2*z + 1. Let u be (r - 0)/(1 - 0). Sort u, -4, 2.
-4, u, 2
Let g = -0.37 + 0.07. Let q = -12 - -7. Let c = -2 - q. Sort g, c, -1 in descending order.
c, g, -1
Let o = -2 + 2. Let g = 3 - 0. Put 4, g, o in increasing order.
o, g, 4
Let t(z) = z + 7. Let n be t(-5). Let m = 7 + -4. Put -3, n, m in decreasing order.
m, n, -3
Let j = 0 - 1. Let c = 0.3 + -0.5. Let o = 0 - c. Put j, o, 0 in descending order.
o, 0, j
Let o(t) = t**2 + 9*t + 7. Let z be o(-8). Put 2, -2, z in increasing order.
-2, z, 2
Let n = -26508 - -4237. Let y = -89573/4 - n. Let d = y - -123. Sort d, 3, 4.
d, 3, 4
Let d = -0.19 - -0.26. Put 1, d, -2/5 in increasing order.
-2/5, d, 1
Let b be 2/3 + 1/6. Let a be 24/(-35) - (-12)/42. Put a, b, 0 in increasing order.
a, 0, b
Suppose z + 3*z + 2*h = -18, -3 = h. Let m = -21 + 24. Sort z, m, 0 in descending order.
m, 0, z
Suppose j + 10 = 3*j - l, -2*l + 7 = 5*j. Sort 0.4, j, -0.4 in decreasing order.
j, 0.4, -0.4
Suppose -3*k + 2 + 10 = 0. Suppose 8*i - 8 = k*i - f, 0 = 4*i - 4*f - 28. Put 0, i, -1/4 in ascending order.
-1/4, 0, i
Let u = 0.9 + -0.6. Let h = -56 - -57. Sort 4, h, u in decreasing order.
4, h, u
Let b be (-1)/2*4/6. Let m be (-4)/(-48)*2 - 58/60. Sort 2/21, b, m in decreasing order.
2/21, b, m
Suppose 20 - 16 = 2*r. Sort 1, r, -11.
-11, 1, r
Let b be (2 - (4 - 0))/1. Sort 0, b, 5 in descending order.
5, 0, b
Let h be 39/(-63) + (-6)/(-21). Put -0.3, h, -1 in descending order.
-0.3, h, -1
Let x be (15/(-6))/((-15)/12). Sort x, 0, 5 in ascending order.
0, x, 5
Let k be (-125)/75 + (-1)/(-1). Put k, 5, -1 in descending order.
5, k, -1
Suppose 2*l = h - 9, -4*h + 0*h - 5*l - 16 = 0. Suppose 4*a = 5*k - 20, 6*k - k + 2*a + 10 = 0. Put h, -5, k in increasing order.
-5, k, h
Let r = 2/79 + 306/395. Let u = 6.3 + -6. Sort 5, u, r in decreasing order.
5, r, u
Let x be (-5)/10 + (-1)/2. Let o = -4 - -10. Let t = o - 3. Put t, 0.01, x in increasing order.
x, 0.01, t
Let v = 71 - 68. Put v, -22, 0.5 in decreasing order.
v, 0.5, -22
Let s = 4.21 + -0.21. Put 3/4, s, 0.1 in decreasing order.
s, 3/4, 0.1
Let u = 0.36 - -0.04. Let p = 27/2 + -12. Sort 0.2, u, p in decreasing order.
p, u, 0.2
Let y(g) be the third derivative of -5*g**4/24 + 5*g**3/6 - 2*g**2. Let o be y(2). Sort o, -3, 11.
o, -3, 11
Let s = 6 - 9. Let n = -0.4 + 1.4. Sort n, -0.4, s in decreasing order.
n, -0.4, s
Suppose -3*a = -4*t - 9 - 14, t = -3*a - 2. Put 1, 5, t in increasing order.
t, 1, 5
Suppose -q + 3 = -1. Let l be q/(-12) + 3/27. Put l, -4, 5 in ascending order.
-4, l, 5
Suppose -l + 2*i - 1 = 0, 4 = 2*l - 0*l + 2*i. Let c be l + -1 + 1 - 1. Suppose 0*b - b = c. Put -1/2, -2/11, b in decreasing order.
b, -2/11, -1/2
Let d(n) = 2*n + 7. Let h be d(-3). Suppose h = -5*x + 6. Sort 5, 3, x in decreasing order.
5, 3, x
Let g be (-15)/9*45/15. Suppose 0 = 3*c + 5 - 23. Let w(j) = -j**3 + 6*j**2 + 4. Let s be w(c). Put g, -3, s in decreasing order.
s, -3, g
Suppose 45*s = 42*s + 6. Suppose 0 = 5*t + 26 - 1. Put 1, t, s in decreasing order.
s, 1, t
Let i = 0.01 + -0.11. Let c be ((-3)/4)/(15/12). Sort c, i, -1/5.
c, -1/5, i
Let v be (-24)/10 - 2*-1. Let d = 0.2 + -0.4. Let c = d - 2.8. Sort v, c, 5.
c, v, 5
Let h = 3.92 - -0.08. Let r be (-44)/(-60) - (-1)/(-3). Put h, r, -5 in increasing order.
-5, r, h
Let g be (0 - -1) + (-27)/15. Let i = 78/5 - 556/35. Sort i, 4, g.
g, i, 4
Let x be 3*1*(-5)/3. Suppose -3 = q, 18 = 5*o + 2*q - 11. Suppose 20 = -2*z + o*z. Sort z, x, 3 in decreasing order.
z, 3, x
Suppose -34 = -5*s - 14. Sort -1, s, -6, 5 in decreasing order.
5, s, -1, -6
Let y be 2/5 + (-12)/5. Let i = 0.19 + -0.59. Put i, -5, y in ascending order.
-5, y, i
Let n = -0.2 + 0.6. Let q(o) = -o**2 + o - 2. Let z be q(-2). Let v(f) = -f**3 - 7*f**2 + 7*f - 10. Let m be v(z). Put m, n, -4 in ascending order.
-4, m, n
Let v = -0.8 - -1.3. Let g = -1.5 - v. Sort 0, -6/7, g.
g, -6/7, 0
Let w = -8 + 15. Suppose -31 + w = 4*v. Let b be 1/(1 - (-3)/v). Sort 5, 1, b in ascending order.
1, b, 5
Let p = -0.48 - -0.38. Let t(w) = -3*w**3 + w + 0*w**2 + 0*w**2 + 1. Let z be t(-1). Put p, z, -3 in descending order.
z, p, -3
Suppose -5*u + 4 = 3*r, -r = -0*u - 2*u + 6. Suppose -4*j = -u*f + 10, 0 = -j + 2*f + 2 - 12. Put -2/3, 3/4, j in increasing order.
-2/3, j, 3/4
Suppose 3*s = -10 - 5. Let x(k) = -k**2 + 4*k + 1. Let j be x(2). Sort s, -4, j in decreasing order.
j, -4, s
Let k = -4.06 + 0.06. Let p = -12 - -5. Let z = -4 - p. Sort k, -2/23, z.
k, -2/23, z
Let d = 110 - 109.7. Sort -2, -3/5, d, -5.
-5, -2, -3/5, d
Let b = -29 + 30. Put 5, -1, b in increasing order.
-1, b, 5
Let l(t) = t + 16. Let h be l(-15). Let p be -2*h/(-4)*-2. Sort 3, -3, p in ascending order.
-3, p, 3
Let f be 13