se b = -5 - 0. Sort 1/2, b, x in decreasing order.
1/2, x, b
Let q be -2*(-2 + 1 - -9). Let h be q/10 + (-1 - -2). Let v = 0.05 + 4.95. Sort h, -3, v in ascending order.
-3, h, v
Suppose o + p = -7 + 2, -p - 5 = 4*o. Let i be -2 + (-3)/((-3)/17). Let z be 20/8*1/i. Sort 3, z, o.
o, z, 3
Suppose 21 - 13 = -8*o. Sort -20, o, -5 in increasing order.
-20, -5, o
Let g = -155/219 + 3/73. Sort 0.4, g, -6/17.
g, -6/17, 0.4
Let d(x) = 5*x**2 + 4*x + 3. Let h be d(-2). Let b = 16 - h. Suppose 0*q + q + 5 = 0. Put -3, b, q in descending order.
b, -3, q
Let s = 4.6 - 4.65. Put s, 4, 5 in increasing order.
s, 4, 5
Suppose 3*u = 19 + 5. Let m = -7 + u. Put m, 3, -1 in decreasing order.
3, m, -1
Let r be (6/15)/((-36)/20 + 2). Put r, -3, -7 in decreasing order.
r, -3, -7
Suppose 5*u + b + 2 = 13, -5*u - 4*b = 1. Suppose 2*g + p - 3 = 0, u*g + p = -2*p. Put -1, g, 2 in increasing order.
-1, 2, g
Let t = -66 - -64. Let w(r) = r**3 + 6*r**2 + 5*r + 6. Let b be w(-5). Suppose 4*h - b*h + 10 = 0. Sort h, 2, t.
t, 2, h
Let x = -0.064 + 2.064. Sort x, 0.1, 0.3, -3 in descending order.
x, 0.3, 0.1, -3
Let z = 31 - 26. Put 1/9, -0.1, -4, z in increasing order.
-4, -0.1, 1/9, z
Suppose 16*b + 12 = 20*b. Sort b, 0, 5 in increasing order.
0, b, 5
Let r = 4 + -6. Let z = 7/16 + -127/144. Put r, z, 4 in decreasing order.
4, z, r
Let o be 60/36 + 1 + (-2)/3. Put o, 4, 5, 3 in increasing order.
o, 3, 4, 5
Let l be 0 - -2*6/28. Suppose 6*m - 8 = 2*m. Sort m, 0.4, l in increasing order.
0.4, l, m
Suppose 12*p + 48 + 0 = 0. Sort p, 0, -32 in ascending order.
-32, p, 0
Suppose 12 = -5*n - 3. Let v = n - -7. Suppose 3*q = 3*b - 9, 0*b - 3*b = 2*q - 9. Sort 2, v, q in descending order.
v, 2, q
Let v = -13.5 - -10. Let m = 3 + v. Let s = 0.07 - 1.07. Sort s, m, -1/3 in descending order.
-1/3, m, s
Let t = 9 + -6. Sort t, 5, 6 in increasing order.
t, 5, 6
Let k = 0.52 + -0.22. Put k, -6, -0.1 in ascending order.
-6, -0.1, k
Let n(w) = w. Let a be n(4). Let t = 6 + -17. Let o = t + 10. Put a, o, -1/5 in decreasing order.
a, -1/5, o
Let n = 410 - 406. Suppose 18 = 3*i + 45. Sort n, i, 5 in increasing order.
i, n, 5
Let q = 88.3 + -88. Sort 2, -0.5, -1, q in decreasing order.
2, q, -0.5, -1
Let y(s) = s**2 - 6*s + 8. Let l be y(6). Let x = 6 - l. Put x, -4, 1 in increasing order.
-4, x, 1
Let h = 22 + -37. Let g = h - -15. Suppose 2*s + 2 - 6 = 0. Sort s, -1, g in descending order.
s, g, -1
Suppose 0*l + 8*l + 24 = 0. Sort -17, -5, 5, l in ascending order.
-17, -5, l, 5
Let j = -107/76 + 3/19. Let b be -2 - 0 - (2 - 2). Let m = 0.07 + -0.37. Sort b, j, m.
b, j, m
Suppose -2*g - 9 = 9. Let n(j) = j**3 + 9*j**2 + j + 12. Let x be n(g). Let y be (-2 - 10/(-4))*-8. Sort -2, x, y in descending order.
x, -2, y
Let b be -2 + (-2 - -10) + -1. Let r = -10 - -10. Let c = -2 + 1.6. Sort r, b, c in ascending order.
c, r, b
Let r(c) = 5*c - 1. Let t be r(1). Let s = -30 - -27. Put -0.5, t, s in increasing order.
s, -0.5, t
Suppose v = -0 + 2. Suppose 0 = -v*x - x + 9. Suppose g + 4*g = -5. Sort 1, x, g.
g, 1, x
Suppose -2*b + 5*x - 24 = -4*b, x - 12 = -4*b. Let k(r) = 4*r - 5. Let y be k(6). Suppose b = 5*j - 3*v - y, -9 = -j + 3*v. Sort -1, 0, j in increasing order.
-1, 0, j
Let r be 70/98 + (-2)/(-7). Put -3, r, 3 in increasing order.
-3, r, 3
Let l = -0.1 - -0.2. Sort l, -2/13, -5.
-5, -2/13, l
Suppose 0*d + 2*d + 12 = 0. Let y be (-2 + (-15)/d)*1. Put 2/5, y, 5 in increasing order.
2/5, y, 5
Suppose 4*w + v - 7 = 0, -1 = 2*v + 9. Sort -7, -1, w in descending order.
w, -1, -7
Let c(k) = k + 8. Let s(y) = y**2 + 5*y - 2. Let p be s(-4). Let w be c(p). Suppose -20*x + 15 = -15*x. Sort x, w, -4 in ascending order.
-4, w, x
Let a = 0.3 - -0.2. Let s = -187 - -186.7. Sort s, -1, a in decreasing order.
a, s, -1
Let a = -99/40 + 23/8. Let w = 6 - 10. Let q be 9/w + (-2)/8. Sort 2/19, a, q in descending order.
a, 2/19, q
Suppose -3*q = -5*s + 70, 7*q = 2*q - 25. Sort -1, 4, s in ascending order.
-1, 4, s
Let w = -9 + 4. Sort 4, 0, w, -4 in increasing order.
w, -4, 0, 4
Suppose -b = -d + 9, -3*d + 0*b + 51 = 3*b. Sort 4, d, 1 in ascending order.
1, 4, d
Let v(j) = j**3 - 7*j**2 + 6*j - 1. Let c be v(5). Let p = c - -25. Sort p, 5, 3.
3, p, 5
Suppose 0 = -t - j + 11, 5*j - 25 = -2*t + 3. Let z = t + -19. Let k = -31/3 - z. Sort 2/3, -0.4, k.
-0.4, k, 2/3
Let p = 2.5 - 2.56. Sort 2, p, 5 in descending order.
5, 2, p
Let w(x) = -x**3 + 11*x**2 - 11*x + 10. Let s be w(10). Suppose s*p = 4*p. Suppose -c + p = -2. Sort c, 0, 3.
0, c, 3
Let l be (-1)/(-75)*6*5. Put l, -0.1, 1 in decreasing order.
1, l, -0.1
Let m = -2/21 - -25/42. Let l = -19 - -9. Let z be (1/1)/(l/4). Put m, 2, z in descending order.
2, m, z
Let t = 36 + -39. Sort t, 2, 7 in descending order.
7, 2, t
Let f = -79 - -79.4. Sort -3/2, -0.12, -0.5, f.
-3/2, -0.5, -0.12, f
Let d be 0*(0 - 3/(-6)). Sort -1, d, -0.1.
-1, -0.1, d
Let c = -2.2 - -2.1. Put 2/9, 0.3, c in descending order.
0.3, 2/9, c
Let h be 18/(-10)*(-10)/3. Let x be h - 8 - (-1 + -1). Suppose -4*s - s = x. Sort -3, s, 4.
-3, s, 4
Let a be (-8)/2*(-5)/4*-1. Sort 3, 9, a, 4.
a, 3, 4, 9
Let r = -7 - -8. Let g = -1.2 - -1. Let x = g + 0.2. Put x, r, 4 in decreasing order.
4, r, x
Let s(b) = 2*b**2 + b - 3. Let d be s(-2). Sort -1, 0, d in descending order.
d, 0, -1
Let f be (5/(-2))/((-1)/2). Let k(l) = -2*l**3 - 13*l**2 - 6*l - 3. Let c be k(-6). Sort c, 3, f.
c, 3, f
Let t = -5430037/37917 + 92/3447. Let c = -230 - -87. Let f = t - c. Sort 1/2, f, 0.1.
f, 0.1, 1/2
Let n be (2/20)/((-147)/309). Let k = n - -1/98. Put k, -4, 1 in increasing order.
-4, k, 1
Suppose 3*w + 10 = 13. Put 3, w, 0, 5 in ascending order.
0, w, 3, 5
Let q = -32 + 19. Sort q, -0.5, 1 in increasing order.
q, -0.5, 1
Let u = -1.4 - -0.4. Let l = 1 + u. Let y(t) = t**3 + t - 1. Let v be y(0). Sort -0.1, v, l in decreasing order.
l, -0.1, v
Suppose -5*w + 3*w - 10 = 0. Put 2, w, -7 in increasing order.
-7, w, 2
Let x = 65 - 92. Sort 0.5, x, 0.2 in descending order.
0.5, 0.2, x
Let r(x) = -x**3 - 2*x**2 + 9*x + 2. Let d be r(-4). Sort 1, 10, d in decreasing order.
10, 1, d
Let x = -1 + 2. Let j = -4 - x. Let v be 5*(0 + (-4)/(-5)). Sort v, 2/9, j in increasing order.
j, 2/9, v
Let g(n) = -2*n**3 + n**2 - 3*n + 1. Let r be g(1). Let k be 1/(-4) + 13/4. Suppose -2*p - h + 5 = -6*h, -3*p = -4*h + k. Sort p, 0, r.
p, r, 0
Suppose -4*c + 3*c - 1 = 0. Let h = 10.1 - 0.1. Let l = -9.7 + h. Sort c, l, -2 in increasing order.
-2, c, l
Suppose 2*x - q + 5*q - 16 = 0, -2*x - 5*q = -17. Put 1, x, 0.5 in decreasing order.
x, 1, 0.5
Let g = -16 + 17. Sort 2, g, -4 in descending order.
2, g, -4
Let d be (10/8)/((-6)/(-24)). Suppose 2*s - 5*s + 9 = 0. Suppose -s*j = 2 - 8. Put -5, j, d in descending order.
d, j, -5
Suppose -3 = -v + 3*p, 2*p - 2 = 5*v + 4*p. Sort -80, v, 0.2 in increasing order.
-80, v, 0.2
Let q be (1 - -1)/(3/6). Suppose 0 = x + x + 5*o + 5, 0 = -2*x + q*o - 14. Sort x, 4, 0 in increasing order.
x, 0, 4
Let z = 21.7 - 22. Suppose 2*x = 2*m - 3*x + 2, -2*m + 4 = -2*x. Sort m, 1, z in descending order.
m, 1, z
Let l(k) = -k**3 + 4*k**2 - 2*k. Let c be l(3). Let s(p) = p + 12 - p**3 - 8*p**2 - 2*p + c*p. Let t be s(-8). Sort 4, t, -2 in decreasing order.
4, -2, t
Let w = -0.85 + 0.35. Let u = -2.2 - -2. Put 2, w, u in descending order.
2, u, w
Let w = -16 - -22. Suppose 0 = 2*q - w + 4. Sort q, 0, 2 in descending order.
2, q, 0
Suppose -5*j = 4*f + 18, -5*f - 10 = -f + j. Let l(b) = -b**2 + 6*b - 2. Let k be l(5). Sort k, f, 2 in increasing order.
f, 2, k
Let q = 25 - 25.1. Put q, 4, 2 in descending order.
4, 2, q
Let l(r) = r**2 + 2*r + 2. Let h be l(-3). Let f = 5 - h. Put f, 0.3, -0.2 in ascending order.
-0.2, f, 0.3
Let p = 77 + -51. Suppose 5*n + p = -3*q + 1, 25 = -q - 5*n. Suppose 2*y + 3*a + 21 = -q*a, -3*a = -2*y + 9. Sort -5, y, 1 in decreasing order.
1, y, -5
Let x be 4/(-2 - (-9)/4). Suppose -d + 3*i = -6*d + x, -3*d = 2*i - 10. Sort -4, -3/4, d in descending order.
d, -3/4, -4
Let n = 133 - 131. Sort -2/5, 5, n in increasing order.
-2/5, n, 5
Let j = 0.496 - -0.004. Let w be 1*7/3 + -2. Sort j, -5, w in increasing order.
-5, w, j
Suppose -2*b - 9 = -5*b, -3*o + 4*b = -3. Sort 0, -13, o in increasing order.
-13, 0, o
Suppose -3*i - 5*v = -11, i + 5*v - v - 6 = 0. Put -4, 4, i in descending order.
4, 