-66) - 4/x. Sort m, -1/7, d in decreasing order.
-1/7, d, m
Let o = 12.8 + -13. Let m = o - 1.8. Sort m, 4, -0.3 in ascending order.
m, -0.3, 4
Let f be 3 + -3 + (-5 - -4). Sort f, -3, -5 in descending order.
f, -3, -5
Suppose 0 = -2*u + 4*u + 3*u. Sort -5, -1, u, -2 in ascending order.
-5, -2, -1, u
Suppose -4*h - 5 = 3*t + 4, 0 = 4*t + 5*h + 11. Put 5, t, -5 in decreasing order.
5, t, -5
Suppose 8*i - 22 + 62 = 0. Sort i, 0, 4 in increasing order.
i, 0, 4
Let l = 30 - 26. Sort 1, 5, l, -3.
-3, 1, l, 5
Let q = 0.2 + -0.39. Let c = q + 0.09. Sort c, -0.3, -4 in ascending order.
-4, -0.3, c
Let v = 72.5 + -68.59. Let b = v - -0.09. Let f be (-5)/15 + 12/9. Sort b, f, -3.
-3, f, b
Suppose 0 = 4*l - 5*p - 5, -p + 5*p = 4*l. Let z(h) = -h + 2. Let r be z(7). Let i(q) = q**2 + 4*q - 7. Let d be i(r). Put l, -3, d in descending order.
d, -3, l
Let l = 157 + -155.02. Let q = -0.08 - -0.1. Let n = l + q. Sort -0.3, -2, n in decreasing order.
n, -0.3, -2
Suppose -3*x + 2 = -4*n - 3, 4*n + 11 = -3*x. Suppose -2*g - 5 = 1. Put 5, x, g in descending order.
5, x, g
Let h = 49 - 48.7. Put 15, h, -2, -1/3 in decreasing order.
15, h, -1/3, -2
Suppose 4*q - 5*o - 9 = 6, q + o = 6. Sort -1, -3, 1, q in descending order.
q, 1, -1, -3
Let q be 3/(3/4) + 2. Let c be 5/q + 1/(-2). Let w be (44/(-770))/(4/(-10)). Sort 1, c, w in increasing order.
w, c, 1
Let l = -0.53 + 0.03. Sort 0.3, 2/7, l in decreasing order.
0.3, 2/7, l
Suppose -c - 5 - 1 = 0. Suppose 0 = 4*o - 2*t - 10, -15 = -24*o + 22*o - t. Sort o, -4, c in decreasing order.
o, -4, c
Let x be 20/15*3/(-2). Let g be 1/4 - (-152)/32. Sort -3, x, g in increasing order.
-3, x, g
Let f = 22/103 - 9542/309. Let d = f - -31. Let r = -1 + 1. Put r, d, -1 in decreasing order.
d, r, -1
Suppose 5*x = f + 47, 5*x + 0*x - 2*f = 44. Put -4, x, 1 in descending order.
x, 1, -4
Suppose -5*z + 4*l - 20 = -0*l, l = z + 5. Sort 3, z, -10 in ascending order.
-10, z, 3
Let i = 23 - 22.6. Sort -2/31, i, 5 in decreasing order.
5, i, -2/31
Let g = -988 - -988.3. Let w = -1 + 1. Sort -2/3, g, w.
-2/3, w, g
Suppose 0 = -22*m + 29*m - 7. Suppose 3*j = 2*c - 25, 2*j - 5*c = -2*j - 45. Sort -1, m, j in increasing order.
j, -1, m
Let p(x) = x**3 + 2*x**2 - 4*x + 3. Let a be p(2). Let q be 30/(-10) - a/(-5). Put -1, -0.4, q in descending order.
-0.4, q, -1
Let q be 4*(0 - 2/4). Let u be (3 + -3)/1 + -5. Sort u, 2/3, q.
u, q, 2/3
Let h = 3 - 3.2. Let f = -2 + 1.6. Sort f, -2/11, h.
f, h, -2/11
Let q = -0.3 - -0.4. Let z = -3.9 + -0.3. Let u = z - 0.8. Put -3/7, u, q in increasing order.
u, -3/7, q
Suppose -i + 5*i - 4 = 0. Suppose -4 + i = -3*w. Put -1, -5, w in decreasing order.
w, -1, -5
Let b = 45 + -43. Let j = 1 + -1.1. Sort -1/4, b, j in ascending order.
-1/4, j, b
Let d be (-1 - (-2)/4)*-2. Let f = 11 + -39. Let i = f + 24. Put 0, i, d in decreasing order.
d, 0, i
Let i = 0.03 - 0.43. Let w = 4.03 + -0.03. Put w, i, -4 in descending order.
w, i, -4
Let b be (-40)/(-22) - 4 - (-1 - 1). Suppose 3*w - 4 = -1. Sort b, w, 2/3 in descending order.
w, 2/3, b
Let j = -3.968 + -0.032. Sort j, -0.1, 0 in increasing order.
j, -0.1, 0
Let i = -32.3 - -32. Let t be ((-4)/(-10))/((-2)/(-20)). Let r = 9427/21 + -449. Sort t, i, r in increasing order.
i, r, t
Let t = 8.19 + -0.79. Let x = t + 0.6. Let s = -5 + x. Sort 4/7, s, 1 in decreasing order.
s, 1, 4/7
Suppose -9 = 3*x - 0*x. Let u = -1 - x. Suppose 13 = -5*t + 28. Put u, t, -4 in increasing order.
-4, u, t
Let d = -0.74 - -0.14. Sort 0.2, d, -1.
-1, d, 0.2
Let p = 40 - 10. Let s be p/14 + -3 + 1. Let q be 1/(-2) + 18/4. Sort s, -1/3, q in decreasing order.
q, s, -1/3
Suppose -2*o - 12 = 2*o. Sort -1, o, 4 in decreasing order.
4, -1, o
Let j = -5.1 + 1.1. Let l = -1 + j. Sort l, 4, -1/2 in decreasing order.
4, -1/2, l
Let o = 1.483 + 0.017. Sort -5/2, o, 2/5.
-5/2, 2/5, o
Suppose p = 3*v + 11, -2*p - 20 = -4*p + 5*v. Put 3, -3, p in descending order.
p, 3, -3
Let u(d) = 4*d - 3. Let o be u(2). Suppose -12 = -2*z - z. Suppose -2 = 2*l, -2*n + 0*l + z = 2*l. Sort 6, o, n.
n, o, 6
Let d be 4*(1 - 1/2). Let w = -0.06 - -12.06. Let m = -8 + w. Sort -2, d, m in decreasing order.
m, d, -2
Let u = 0.34 - -0.06. Let g be ((-2)/(-8))/((-30)/(-80)). Put 4, u, g in increasing order.
u, g, 4
Let v be (-3)/(-18) - (-29)/6. Sort 16, v, 3 in decreasing order.
16, v, 3
Let m(l) = 3*l**2 + 1. Let s be m(2). Suppose s = 3*o + 4*b, o = -o - b + 7. Sort 5, o, -1.
-1, o, 5
Let g = -0.06 + -7.94. Let u = g + 10. Let f = -5 + u. Sort -2/13, 1/2, f.
f, -2/13, 1/2
Let d = -17.1 - -17. Let c = 3.5 + -3. Suppose -t + 1 = -1. Sort d, t, c in ascending order.
d, c, t
Let q = -3 + 6. Let d(g) = -g**3 - 4*g**2 - 2*g - 1. Let f be d(-4). Let s be 2/(-7) + 37/f. Put q, 1, s in increasing order.
1, q, s
Let w be 254 + 1 - (6 - 3). Let i be (-6)/(-27) + 88/w. Sort -0.4, i, -2/15.
-0.4, -2/15, i
Let l = 5 - 5. Let m be 4/10 + 2/(-5). Let v = l - m. Put v, -4, 3 in increasing order.
-4, v, 3
Let o = -10 - -9.6. Sort -5, -0.5, o in descending order.
o, -0.5, -5
Let p be 2*((-9)/(-2))/3. Suppose p*m - 1 - 8 = 0. Sort -2, m, 0 in ascending order.
-2, 0, m
Let d = -4 - -3.9. Sort -0.3, 2/15, d in decreasing order.
2/15, d, -0.3
Suppose -2*o + 3 + 3 = 0. Let c be 2/(-2) + 0/(-1). Put o, c, -4 in descending order.
o, c, -4
Let y = 6 + -3. Suppose 0 = -i + y*q - 72, 187 + 51 = -4*i + 2*q. Let h = -284/5 - i. Sort 1, -0.3, h in ascending order.
-0.3, h, 1
Let f = 0.16 - 0.06. Sort -1, f, 5 in decreasing order.
5, f, -1
Let g = -1/76 + 21/152. Put g, -2, 5, 4/5 in decreasing order.
5, 4/5, g, -2
Let f be (-1 + 0)/(-15 + 14). Sort -17, 3, f, 2 in ascending order.
-17, f, 2, 3
Let u(s) = -s**2 + 11*s - 13. Let x be u(10). Let a be -4 - ((-12)/x - 4). Sort 4, 2, a in ascending order.
a, 2, 4
Suppose -9 = y + 2*y. Sort y, 3, 9 in increasing order.
y, 3, 9
Let g be 2/(20/16*2) + -1. Sort g, -5, -9/5.
-5, -9/5, g
Let i = 1/64 - -119/576. Sort -1/4, i, -0.3 in increasing order.
-0.3, -1/4, i
Let c = 8 + -7.6. Let z = 6 - 5. Sort 3, z, c in descending order.
3, z, c
Let j = -0.62 + 2.62. Put j, 3/8, 0.3, -0.2 in increasing order.
-0.2, 0.3, 3/8, j
Let o = 18 - 17.5. Let j(t) = -3*t - 3. Let u be j(-2). Suppose 4*d + u = 5*d. Sort -1/6, d, o in decreasing order.
d, o, -1/6
Let p(v) = -v**3 - v**2 + v. Let y be p(1). Let u be y/((-2)/(-45)) - -2. Let o = u + 21. Put 2/13, -2/3, o in decreasing order.
o, 2/13, -2/3
Let i = 4 + -5. Let x = i + 0. Let a = x + -3. Sort a, 2, -1/10 in decreasing order.
2, -1/10, a
Let u = -2.4 + 1.9. Let k = -4.4 + 5. Let w = k - 0.1. Sort -5, u, w.
-5, u, w
Let v(k) = -10*k + 123. Let h be v(12). Let j(b) = b**2 + 5*b - 6. Let c be j(-6). Sort 5, h, c.
c, h, 5
Suppose -n + 6 = 10. Suppose 2 = 2*w - 0. Put w, 2, n in decreasing order.
2, w, n
Let l(y) = y**2 - 4*y - 6. Let o be l(5). Let c = -10 - -5. Sort -2, o, c in increasing order.
c, -2, o
Let d = 5.52 - 0.02. Let b = -6 + d. Sort -3, b, 1 in decreasing order.
1, b, -3
Let o = -0.142 - -9.142. Sort -0.2, 2, o in increasing order.
-0.2, 2, o
Suppose -2 - 1 = -r. Suppose -8*b + 36 - 4 = 0. Put 2, b, r in decreasing order.
b, r, 2
Let u be 3/(2 + (-21)/6). Let l(f) = f**3 + 3*f - 2*f**3 + 3*f**2 + 0*f**3 - 4. Let w be l(3). Put 4, w, u in increasing order.
u, 4, w
Let d = -874/5 - -174. Let r = -1.5 + 2. Let z = 0.1 - r. Put 5, d, z in decreasing order.
5, z, d
Suppose -5*k = -9 + 24, -5*h + 4*k = -32. Put -3, 1, h in descending order.
h, 1, -3
Let b be ((-3)/(-2))/((-19)/(-38)). Put -4, 0, b in descending order.
b, 0, -4
Let a = 82 - 77. Put -3, -1, 2, a in ascending order.
-3, -1, 2, a
Suppose -3*m - 6 = -0. Let z(t) = -t**2 + 2*t + 4. Let k be z(4). Sort k, 0, m in increasing order.
k, m, 0
Suppose 4 - 12 = -4*r. Suppose -6 - 2 = r*o. Suppose c + 2*d = -3, 4*c + 2*d - 9 = d. Sort o, c, 0 in decreasing order.
c, 0, o
Let k(d) = -6 + 7*d + 5*d**3 + 12 - 4*d**3 - 2*d**3 - 5*d**2. Let v be k(-6). Sort 5, v, -2 in decreasing order.
5, v, -2
Suppose r - 20 = -3*r. Let u(d) = -d**2 + 8*d - 3. Suppose 8 = 4*j - 3*j. Let y be u(j). Sort r, -2, y in increasing order.
y, -2, r
Let g = -11 + 1. Let c = 7 + g. Sort -0.2, 3, c.
c, -0.2, 3
Let x(t) = t**3 + 3*t**2 - 1. Let n be x(-2). Let m = n - 3. Suppose -a = -3*c + 17, -11 = a - 4*c + 10. Put a, m, -1 in increasing order