0 = 5*s - 80 - 145. Suppose 2*q = -29 + s. Sort -3, 2, 4, q in descending order.
q, 4, 2, -3
Let p(b) = -b**3 - 10*b**2 + 10*b - 16. Let o be p(-11). Let t = 0.09 + -10.09. Let l = t + 15. Sort -3, o, l in increasing order.
o, -3, l
Suppose 3*m - 4*m = -1. Let a(r) = -6*r - 1. Let o be a(m). Let u be (-2)/7 - (-12)/o. Sort u, 4, -4 in ascending order.
-4, u, 4
Suppose -18*o - 37 = 53. Sort o, -4, -9 in ascending order.
-9, o, -4
Let m = -77 - -386/5. Let q = -1.25 - -0.25. Let u = -56.6 - -57. Sort q, m, u in ascending order.
q, m, u
Suppose 3*c - 311 = -5*h, 0 = -43*c + 39*c - h + 392. Put -2, -5, c in ascending order.
-5, -2, c
Let i be (-12)/(-42) + 66/14. Suppose -2 = m - i. Suppose -y + 1 = 2*g - 7, -3*y + 2 = -5*g. Put y, m, 2 in decreasing order.
y, m, 2
Let i = 43 - -47. Let x = 89.97 - i. Put x, 0.1, -3/7 in descending order.
0.1, x, -3/7
Let v be ((-260)/(-24))/(-13)*(-15)/25. Let q = 2.2 + -2. Sort v, q, -2/7, 4 in decreasing order.
4, v, q, -2/7
Suppose 0 = 25*u - 23*u - 4. Suppose u - 8 = 3*f. Put -4, 0, -0.4, f in increasing order.
-4, f, -0.4, 0
Suppose -40 = -27*r + 22*r. Suppose -4*y + r = l + 3*l, -3*l - 1 = -4*y. Put -4, -1, y in ascending order.
-4, -1, y
Let x = -157.3 - -142.44. Let z = x - -15. Let y = z - 0.11. Sort -2, 0.2, y in ascending order.
-2, y, 0.2
Suppose 20*w = 23*w + 15. Let m = 143/3 + -49. Sort -1/11, m, w.
w, m, -1/11
Let k = 12.74 + -10.74. Sort 1/6, 109, -3, k in descending order.
109, k, 1/6, -3
Let h = -16.88 - -19.88. Put 4, -0.4, h, -2 in decreasing order.
4, h, -0.4, -2
Let j = -0.7 + 0.3. Let z = -11/5 - -2. Sort j, z, -1/4 in descending order.
z, -1/4, j
Let r be -3 + (-18)/(-9)*(-2)/(-2). Sort -5, r, -7.
-7, -5, r
Let q = -51 + 53. Suppose -6*g - 15 = -3*g, -q*g = 3*o + 22. Let u = -3/5 + 14/15. Sort o, 2, u in decreasing order.
2, u, o
Let q = -1330 + 1328. Put 0.2, q, 1/6, 0.11 in descending order.
0.2, 1/6, 0.11, q
Let k = -215 - -220. Put k, 14, 4 in descending order.
14, k, 4
Let b = -24.8 - -24.793. Sort 1/2, 5, b, -4.
-4, b, 1/2, 5
Let u(b) = -b**3 - 4*b**2 - 2*b - 5. Let n be u(-4). Suppose -6*h = -n*h. Sort -1, -4, h in decreasing order.
h, -1, -4
Let b = -83 - -87. Suppose 0*h + 4*h - 8 = b*v, -v + 5*h = 6. Sort v, 1, 2, -2.
-2, v, 1, 2
Let x be 9/(-68) - (-2)/8. Let h = -997 - -1000. Sort x, 0, h in decreasing order.
h, x, 0
Suppose -7*s = -2*x - 10*s - 7, -x + 3*s + 19 = 0. Put -16, 8, x in ascending order.
-16, x, 8
Let f = 0.257 - 0.297. Sort f, -5, 2, 1/6 in ascending order.
-5, f, 1/6, 2
Let k be (-61 + 58)*8/6. Sort 2.4, k, 0.05 in increasing order.
k, 0.05, 2.4
Let g(n) = -n**2 - 8*n - 3. Let r be g(-7). Let b = 2 - -3. Suppose 0*o + o = b. Put 3, o, r in decreasing order.
o, r, 3
Let n = 176 - 182. Let r = -2.4 - -2.9. Sort r, 2, n in ascending order.
n, r, 2
Let d = -230 + 223. Sort -2, d, 4 in decreasing order.
4, -2, d
Let n = 1275.5 - 1275. Let o = 0 - -4. Sort o, n, -3/5.
-3/5, n, o
Let r be (-253)/121 + -3 + 5. Sort 5, -3, 0.3, r in descending order.
5, 0.3, r, -3
Suppose -4*r + 24 = 2*i, 2*i - 13 = -2*i - r. Let f(l) = -1866*l + 1. Let x be f(0). Sort x, 0, i in decreasing order.
i, x, 0
Let b = 0 - 0.08. Let c = -636 + 633. Sort -1, c, 1/3, b in descending order.
1/3, b, -1, c
Let s(g) = 55*g - 278. Let h be s(5). Sort 6, 5, h, -1.
h, -1, 5, 6
Let a be (-3 - -2)*(-1 + 0). Let b = -1074 + 1079. Sort b, a, 2 in increasing order.
a, 2, b
Suppose 6 = 4*f - 2. Let z be (0 - f)*14/(-4). Let b = 10 - z. Put b, 0, 2 in ascending order.
0, 2, b
Suppose 18 = -4*p + 6*p + 2*t, 30 = 2*p + 5*t. Sort 0.03, -1/9, 2, p in increasing order.
-1/9, 0.03, 2, p
Let a = 93 - 42. Suppose -4*q - 7 = 4*d - a, 0 = -2*d + 8. Sort 4, -2/5, q.
-2/5, 4, q
Let w = -481 - -463. Sort -3, -2, w, 4 in increasing order.
w, -3, -2, 4
Let j be (-2)/((-6)/(-9)) + (1 - -6). Let d(m) = -m**3 + m**2 + m + 3. Let q be d(0). Put q, -5, j in increasing order.
-5, q, j
Suppose -385*i + 10 = -375*i. Sort 30, -5, i, 5 in descending order.
30, 5, i, -5
Let m = 653.6 + -654. Let s = 0.12 + 3.88. Sort m, s, 0.2, -2 in increasing order.
-2, m, 0.2, s
Let v be 4/26 + 2*(-41)/26. Sort 1, v, 6, 5 in descending order.
6, 5, 1, v
Let c = -79 + 82. Let v = 47 - 45. Put v, -7, -3, c in ascending order.
-7, -3, v, c
Let u be 155/(-93) + (0 - 1/(-3)). Let t = -2/7 + 4/63. Sort t, 3, u in descending order.
3, t, u
Let j = -13.54 - -9.54. Put j, 3, -0.2, -0.6 in descending order.
3, -0.2, -0.6, j
Let a = 3 - -14. Suppose 8*k - 41 = -a. Let h(q) = q**3 - 4*q**2 + q - 5. Let l be h(4). Sort 2, l, k.
l, 2, k
Suppose 4*l = -5*v - 28, -4*l + 0*l - 4 = -v. Let b be (-1)/(-9) + l/6. Let y = 0.0282 + 0.9718. Sort -2/13, b, y in increasing order.
b, -2/13, y
Let t = -7.3 + 7. Let q = -859/2 + 416. Let v = q + 14. Sort 2, t, v.
t, v, 2
Let f(x) = x**2 + x + 4. Let a be f(0). Let j = 3 + -1. Let y(h) = -2*h**2 + 4*h - 2. Let z be y(j). Sort a, z, -4 in ascending order.
-4, z, a
Let y = 22 - 20. Suppose 3*a + 9 = 0, 3*a = -y*k + a - 14. Sort 3, k, 4.
k, 3, 4
Let v = 354 - 359. Let d = 21.1 + -21. Put -1/16, d, -2, v in ascending order.
v, -2, -1/16, d
Let s = -1.9 + 1.8. Put 1, s, 0, 2/9 in ascending order.
s, 0, 2/9, 1
Suppose 182*v - 190*v - 40 = 0. Sort v, -2, 5, 4 in increasing order.
v, -2, 4, 5
Let g be (-21)/(-105) + 316/(-5). Let b = 253/4 + g. Suppose 0 = 5*o - 2 - 3. Sort b, -0.5, o.
-0.5, b, o
Suppose -125 = 10*l + 15*l. Sort 4, 2, l, -11.
-11, l, 2, 4
Let a = 0.06 - 2.06. Let r = a - -3. Let u = -447 - -442. Put u, r, -0.3 in ascending order.
u, -0.3, r
Let o = 0.855 - 0.455. Sort -2, 1/5, o in ascending order.
-2, 1/5, o
Let a = 77/222 + -1/74. Let c = -5.8 - -6. Sort a, 0.4, c in increasing order.
c, a, 0.4
Suppose 3*m - m = 48. Let q be 1 + 5/(-6) - (-47)/6. Suppose -m + q = 4*y. Sort y, -5, 0 in ascending order.
-5, y, 0
Let t be 1/((-12)/(-15) - (-168)/40). Put 1/18, t, -4 in descending order.
t, 1/18, -4
Let b = 121 + -119. Sort b, -2/55, -2/17 in decreasing order.
b, -2/55, -2/17
Suppose 15 - 13 = -t. Suppose 2*r - 100 = -2*r. Suppose -5*a - r = -5. Put -5, t, a in decreasing order.
t, a, -5
Let l = 896 - 898. Sort 0, l, -71, -1.
-71, l, -1, 0
Suppose -8*v = -3*v. Let w be 0*(v - 3/12). Let g = -2 - -1. Sort 1, w, g in ascending order.
g, w, 1
Suppose -t = p - 5*t + 3, -t = -5*p + 23. Put p, 0, -2, -5 in ascending order.
-5, -2, 0, p
Let z be 25/(-10)*(-33)/55. Let b = -5 - -3. Put 4/5, z, 2/9, b in decreasing order.
z, 4/5, 2/9, b
Let k be (-2)/6 + (-10)/105. Suppose 0 = -0*n + 4*n - 16. Let v(s) = s**2 - 5*s - 2. Let m be v(n). Put k, m, -1 in decreasing order.
k, -1, m
Suppose 4*k = -3*k - 42. Let q be 1/((k/(-30))/(9/(-15))). Let t(f) = -f**3 + 3*f**2 + f + 2. Let c be t(3). Sort 2, q, c in descending order.
c, 2, q
Let f be 8/(8/(-1))*0. Sort -6, -3, f, -1 in increasing order.
-6, -3, -1, f
Suppose 4*k = -10 + 54. Let q be 4/(-6)*6/(-16). Sort k, q, 4 in descending order.
k, 4, q
Let h = -181 + 186. Sort -2, h, 10 in decreasing order.
10, h, -2
Let q(g) = g**3 - 29*g**2 - 29*g - 33. Let k be q(30). Sort -21, 4, k in increasing order.
-21, k, 4
Let y = -1113.5 + 1114. Put -0.1, 0.085, y in decreasing order.
y, 0.085, -0.1
Let g be -6 + 3 - (4 + (-7 - 0)). Sort 5, -7, 3, g in ascending order.
-7, g, 3, 5
Suppose -3*s = -5*b - 29, -12*s + 8 = -11*s. Let u = -5 + 10. Sort 2, b, u in descending order.
u, 2, b
Let c(h) = -4*h**2 - 9*h**2 + 2 + 19*h**2 - 7*h**2. Let q be c(0). Let p be ((-54)/45)/(2/(-10)). Put q, p, -1 in descending order.
p, q, -1
Let x(j) = j - 14. Let k be x(17). Let i(a) = a**2 + 4*a - 1. Let m be i(-5). Sort m, 8, k in ascending order.
k, m, 8
Suppose -168*f = -169*f + 7. Let u = -0.4 - -0.7. Let i = -0.1 + u. Sort -1, f, i.
-1, i, f
Let f = 15 - 7. Suppose l + f = -3*l. Sort -4, 0.2, l.
-4, l, 0.2
Suppose -3*o + 7 = -5. Suppose -5*d - 7 = -s, -2*s + s + 5 = -o*d. Let r = 6 - 1. Sort s, r, 2 in descending order.
r, 2, s
Let r = -381 + 384. Sort -3/5, -1/3, -10/11, r.
-10/11, -3/5, -1/3, r
Let s = 6.86 + -0.26. Let b = -1.6 + s. Sort -2, 0.09, b in ascending order.
-2, 0.09, b
Suppose 0 = -g + 5 - 2. Let o be ((-12)/4)/(9/(-12)). Suppose -o*b + 2*h = 24, -b + g*b + 16 = 3*h. Sort 5, -2, b in decreasing order.
5, -2, b
Suppose -42 = -3*w + 2*d + 8, -4*d + 12 = w. Sort -0.3, 0.4, -0.4, w.
-0.4, -0.3, 