5, x
Let f = -14.8 - -13.8. Put f, -0.5, -4 in descending order.
-0.5, f, -4
Let c = 27.2 - 17. Let y = 19.8 - 9.8. Let w = c - y. Put w, -4, -0.04 in decreasing order.
w, -0.04, -4
Suppose 0 = 4*o - 2*o. Suppose -j = 2*j + 9. Sort 1, j, o in increasing order.
j, o, 1
Let m be (-13)/(-20) - (-7)/(-28). Put 0.2, 0.3, m in increasing order.
0.2, 0.3, m
Suppose -4*c - 15 = 25. Let x be (c/2*-1)/(-1). Put x, 4, 3 in ascending order.
x, 3, 4
Suppose 3*i - 2*i = 4. Put i, 5, -4 in ascending order.
-4, i, 5
Suppose -2*q + 10 = 2*b, -2*q = b - 6*b + 25. Put b, -7, -1 in descending order.
b, -1, -7
Let t be (-24)/6 + 1/(-1). Suppose -5*l = -n - 2*n + 18, 5*l + 19 = 4*n. Let w(k) = k**3 + 5*k**2 + 4*k - 2. Let y be w(-4). Sort t, y, n in decreasing order.
n, y, t
Let x be 1/(-1)*7/14. Put 3/4, -1, x in descending order.
3/4, x, -1
Let s = 29.8 + -30. Sort s, -4/5, 4/5 in ascending order.
-4/5, s, 4/5
Let k be (16/(-12))/((-2)/3). Suppose v + k*v = 0. Let x(h) = h + 1. Let i be x(-3). Sort v, 2, i in ascending order.
i, v, 2
Suppose 5*a - 3*b - 19 = -0*a, 4*b = -12. Put a, 8, 3 in increasing order.
a, 3, 8
Let k = 0 + 0.08. Let d = 0.28 - k. Let x be (-18)/(-4)*12/18. Sort x, -4, d in ascending order.
-4, d, x
Let s = -8.2 - -13. Let y = 5 - s. Put -3, y, 2/9 in increasing order.
-3, y, 2/9
Let w = -20 + 19. Put 7, 2, w in descending order.
7, 2, w
Let b(i) = -i**3 + 7*i**2 + 19*i - 6. Let z be b(9). Let w(h) = h - 1. Let r be w(5). Suppose -n = r*n. Sort z, 4, n in decreasing order.
4, z, n
Let x = -150 + 148. Sort 2/7, -0.3, x, -1.
x, -1, -0.3, 2/7
Let l be (1/(-3))/(42/378). Sort -7, l, 5.
-7, l, 5
Let h = 0.406 + -0.006. Put 3, 1/6, 8, h in descending order.
8, 3, h, 1/6
Suppose -6*g + 41 = 11. Suppose 0 = g*y + 20 - 5. Put 2, y, 3 in decreasing order.
3, 2, y
Let q = -26.4 + 26. Put q, 1/2, 3/2, 0 in descending order.
3/2, 1/2, 0, q
Let y = -56 - -60. Sort -3, 1, y in descending order.
y, 1, -3
Let y = -0.1 + -0.4. Sort -4, y, -2/3.
-4, -2/3, y
Let c = -98 + 98.7. Put -1/6, -3, c in ascending order.
-3, -1/6, c
Suppose 0 = -3*t + 4 - 7. Put -11, t, -5 in descending order.
t, -5, -11
Let j(s) = -s**2 - 6*s - 4. Let m be j(-6). Let h = -8 + -2. Let f = h + 13. Put f, 2, m in descending order.
f, 2, m
Let w = -5 - -8. Let d = w - 2. Sort -4, d, 2/5 in descending order.
d, 2/5, -4
Let f = 351/4 + -87. Sort -3/4, f, -1 in descending order.
f, -3/4, -1
Suppose 11 = 5*o - v, 5*o - 4*v = o + 12. Sort -1, 1, o in ascending order.
-1, 1, o
Suppose g + 43 = -2*c, 2*g - 39 = 2*c - g. Let j be 4/14*c/(-3). Sort -4, 0, j.
-4, 0, j
Let n = -2 - -1.8. Let a be (-8)/12*(-3 + 7/2). Sort n, -4/7, a in ascending order.
-4/7, a, n
Let k = -9 + 9.1. Let z = k + -0.2. Let p be (-1)/(-4) + (-1)/2. Put z, p, -1/6 in ascending order.
p, -1/6, z
Let o = -22 - -17. Put 5, 1/5, o, 1 in decreasing order.
5, 1, 1/5, o
Suppose -22 + 7 = 5*t. Put 5, 10, 3, t in increasing order.
t, 3, 5, 10
Let g(j) = j**3 - 2*j**2 + 4*j - 3. Let q be g(3). Let f be -2*((-2)/q)/(-1). Put f, -4, 0.3 in increasing order.
-4, f, 0.3
Let u = 34 - 33. Sort -5, 3, u, -4 in ascending order.
-5, -4, u, 3
Let u(y) = -y**3 + 5*y**2 - 7*y. Let g be u(3). Put -0.5, g, 10 in decreasing order.
10, -0.5, g
Suppose -6*t = -2*t + 4. Sort -3, 0, 5, t in descending order.
5, 0, t, -3
Let c(b) = b**3 - 3*b**2 + 4. Let d be c(4). Suppose -d = -0*z - 4*z. Let m = -2 + 1. Sort m, 2, z in decreasing order.
z, 2, m
Suppose -4*s - 20 = -4. Sort -2/5, -3, s in decreasing order.
-2/5, -3, s
Let r(m) = -m - 14. Let i be r(-10). Sort i, -1, 1, -2 in descending order.
1, -1, -2, i
Let q be ((-30)/(-18))/((-2)/(-6)). Let a be ((-30)/(-200))/((-6)/q). Let p = 0.4 - 0. Sort p, -3, a.
-3, a, p
Let w(i) = -i**2 + 3*i - 2. Let r be w(2). Sort r, 22, -4 in ascending order.
-4, r, 22
Let q = -14/3 - -4. Let o(c) = -c**3 + 4*c**2 + 2*c - 3. Let z be o(4). Let r = -9 + z. Sort 5, r, q.
r, q, 5
Let p = 0 + 0. Let f(a) = -3*a - 9. Let b be f(-6). Suppose p = 5*x - 2*x - b. Sort 2, x, 0.
0, 2, x
Let r = -11.2 + 11. Sort -0.5, r, -0.3.
-0.5, -0.3, r
Let h = -2.3 - -2.07. Let q = -0.07 + h. Put 0.1, q, 0.4 in ascending order.
q, 0.1, 0.4
Let m be 6/(-31)*(-80)/18. Let u be (12/155)/(4/10). Let r = u - m. Sort 1/4, 4, r in descending order.
4, 1/4, r
Let f be 1 - 2/(-2) - -3. Suppose 3*c + 2*k - 18 = 5*k, 4*k - 3 = c. Suppose -5*p = 1 + c. Sort 0, p, f in ascending order.
p, 0, f
Let o be 2*2/((-4)/5). Let v = 26 - 18. Suppose -3*j - 8 = 4*p, 3*j = p + v*j + 19. Put o, p, 3 in ascending order.
o, p, 3
Suppose 4*o = 2*o - 10. Let p = -11 + 15. Let z(k) = -2*k - 9. Let d be z(-7). Put p, d, o in ascending order.
o, p, d
Let a = 138 + -692/5. Let p(b) = b**2 - 1. Let f be p(-2). Sort f, a, -1/6 in descending order.
f, -1/6, a
Let i = 105/4 - 26. Put -2, i, -0.07 in increasing order.
-2, -0.07, i
Let r = 817/7 - 117. Let w = 0.29 - 0.2. Let q = w + 0.01. Sort r, q, -5/3 in decreasing order.
q, r, -5/3
Suppose 4 = 3*z - 2. Put z, -2, -1 in descending order.
z, -1, -2
Let i be 62*12/(-152) + 5. Put 1.4, i, 2/5 in descending order.
1.4, 2/5, i
Let x = -0.6 + 0.2. Let g be (-10)/45 - 80/18. Let c = g - -4. Sort c, -4/7, x in ascending order.
c, -4/7, x
Suppose -3*s + 5*j + 27 = 0, -4*s + 5*j + 44 = 13. Suppose 4*k = 4*d, s*k - 2*d + 5 - 1 = 0. Let f be 2 - 3 - (0 + -1). Sort f, 1, k.
k, f, 1
Let o = -14 - -20. Sort -5, 3, 4, o in decreasing order.
o, 4, 3, -5
Let m = 4 - 1. Suppose 7 = -2*h - n, 5*h - 2*h + n = -11. Sort m, h, 1 in decreasing order.
m, 1, h
Let w(q) = q**3 - 6*q**2 - 3*q + 15. Let v be w(6). Put 3, 2, v in increasing order.
v, 2, 3
Let w = -8 + 3. Sort 4, w, -1 in ascending order.
w, -1, 4
Suppose -4*f - 15 = q + 28, 2*f + 5*q = -35. Put -4, f, 0, -3 in decreasing order.
0, -3, -4, f
Let t = 44 + -46. Sort t, 2, 3, 1.
t, 1, 2, 3
Suppose -4 = -4*j + 5*t, -t - 5 = -5*j + 2*t. Suppose r - s + 8 = -0*s, -3*s - 3 = 0. Let a = r - -6. Put a, 5, j in increasing order.
a, j, 5
Let i = 7 + -5. Suppose t = -2, -3*v - 3*t = -i*v + 38. Let g be v/14 - 4/(-14). Sort -3, g, -1.
-3, g, -1
Let o be 4/10*1 + 0/51. Put o, -0.01, 4, -1/2 in descending order.
4, o, -0.01, -1/2
Let m = -0.5 + 0.1. Let z = 36.7 - 37. Put m, 0.3, z in decreasing order.
0.3, z, m
Suppose -3*f = -6*f + 6. Let w = -141/2 - -69. Let j = 13 - 13.5. Sort f, w, j in decreasing order.
f, j, w
Let p = 6 + -8. Suppose 0 = -5*r, -3*h + 4*r + 17 + 7 = 0. Suppose 4*o = -n + 3*n + h, 4*o - 12 = 0. Sort p, 5, n in descending order.
5, n, p
Suppose 9 + 1 = -2*g. Put -2, -4, g in decreasing order.
-2, -4, g
Let b(k) = -7*k - 1. Let n be b(-1). Suppose 2*x - n = x. Let m(j) = j**2 - 7*j + 9. Let t be m(x). Put t, 2, -2 in decreasing order.
t, 2, -2
Let j = 9 - 4. Suppose j*q + 1 = 6. Put -1, q, 5 in increasing order.
-1, q, 5
Let w = 71 + -66. Sort w, -4, -2, 2 in decreasing order.
w, 2, -2, -4
Let u be (6/9)/(14/6). Sort u, -2, -1/3 in descending order.
u, -1/3, -2
Suppose 3*l + 0*l = -6. Suppose 6*d + 180 = 162. Put -5, l, d in increasing order.
-5, d, l
Let x = 6.3 + -11.3. Put 3/5, x, -0.5, 4 in ascending order.
x, -0.5, 3/5, 4
Suppose -21*r + 4 = -23*r. Sort 5, r, 3, 7.
r, 3, 5, 7
Let t be 19/7 - 2/(-7). Let u = -8 - -8. Put 5, t, u in decreasing order.
5, t, u
Let j be 5/(-2)*12/(-30). Sort j, -2, 4 in ascending order.
-2, j, 4
Let o = -28 + 24. Put o, -1, 5 in descending order.
5, -1, o
Let x be 7 + -16 + 2*1. Let h = 9 + x. Suppose -4*q = -6*q - h. Put 0, q, 5 in ascending order.
q, 0, 5
Let k = 1.4 + -1.42. Sort -1, -3/7, k.
-1, -3/7, k
Let l = 386/3 + -130. Sort 3, 2, l in decreasing order.
3, 2, l
Let x(h) be the first derivative of h**3/3 - 9*h**2/2 + 9*h + 2. Let m be (12/8)/((-3)/(-16)). Let l be x(m). Sort l, 3, 0 in decreasing order.
3, l, 0
Let m be (-3)/9 + 8/(-30). Let r = -0.233 + 12.533. Let d = r - 12. Sort m, -2/17, d.
m, -2/17, d
Let h = -405 - -8507/21. Suppose 0 = 2*r - 10 + 6. Sort -1/8, r, h.
-1/8, h, r
Let v = -0.076 - 0.224. Sort 1/5, 0.5, v, -0.5 in descending order.
0.5, 1/5, v, -0.5
Let d be ((-25)/15 - -2)*-12. Suppose 2*i = t + 6, 0*t = -5*i + 2*t + 17. Put 10, d, i in ascending order.
d, i, 10
Let l = 62 - 64. Sort l, -3, -3/5 in descending order.
-3/5, l, -3
Let z be 2 + (-3)/((-9)/(-33)). Let c(h) = 5 + 4*h + 4 - 3*h. Let x be c(z). Sort 4, -5, x in 