 r in decreasing order.
11, r, -3
Let m be -6*36/(-30) + 12/15. Sort m, -1, -2 in descending order.
m, -1, -2
Let d = 2982 + -2976. Let t = -2.5 + 3. Put d, 0, t in increasing order.
0, t, d
Let z = 1692 - 1688. Let d = -4 - -9. Put z, -1, d in descending order.
d, z, -1
Let w = 14 + -23. Let o = -10 - w. Put o, 3, 4 in descending order.
4, 3, o
Suppose 3*p + 4 = -9*d + 1, -4*p + 3 = 5*d. Put 6, 4, d, 0 in descending order.
6, 4, 0, d
Let y = -167 + 166.2. Let w = -0.2 + y. Let c be (-20)/(-6) - (-1)/(-3). Sort 0, w, c in ascending order.
w, 0, c
Let x(h) = h - 2. Let c be x(6). Suppose -u + c = 3. Let m = -919/716 + 6/179. Sort 3/7, m, u in descending order.
u, 3/7, m
Let g = -0.943 - 2.057. Sort -5/8, g, 3/2 in decreasing order.
3/2, -5/8, g
Let g be ((-2)/6)/(22/(-99)). Let y = 3 - 5. Let f be (-1)/2*(0 + 2). Put g, y, f in decreasing order.
g, f, y
Let f(b) = 4*b + 36. Let a(g) = -g - 4. Let l be a(5). Let o be f(l). Suppose 0 = -2*i + 3*i + 4. Sort i, 4, o in decreasing order.
4, o, i
Let p = 0.06 - 0.16. Let y = -29/2 - -15. Put p, 3/2, y in descending order.
3/2, y, p
Let p = 1 + 3. Let g be 6 + -2 - (65 - 40). Put -2, p, g in descending order.
p, -2, g
Let r = -28 - -33. Sort r, 9, -6, 2.
-6, 2, r, 9
Let i = -9.7 + 4.7. Sort -3, 3, i, -0.3 in decreasing order.
3, -0.3, -3, i
Let o = -0.0591 + 0.2591. Sort 0.1, 0.11, o in ascending order.
0.1, 0.11, o
Let h = -1.16 + 1.08. Let v = h - -0.58. Sort 1/3, v, -1/6 in ascending order.
-1/6, 1/3, v
Let j(f) = -f - 3. Let w be j(-9). Suppose 3*m - w*m = 9. Sort m, 3, -8 in decreasing order.
3, m, -8
Suppose -119 = -5*x + 5*z + 71, 2*z - 68 = -2*x. Put -2/17, 4/9, x in decreasing order.
x, 4/9, -2/17
Let a be (-9 + (-172)/(-20))*10/2. Sort 5, 1, a, 2 in ascending order.
a, 1, 2, 5
Let v = 0.05 + -0.05. Let k = 3.024 - 0.024. Sort k, -2/3, 5, v in decreasing order.
5, k, v, -2/3
Suppose -2*c = -23*c + 63. Let h = -0.22 - 0.08. Put c, -9, h in ascending order.
-9, h, c
Let p = -16 + 11. Let v = -611 + 611.5. Let h = 3.2 + -2.9. Sort v, h, p in descending order.
v, h, p
Suppose -16 = 3*a + 5*b, -4*a - 2*b = -13 + 25. Let j = 5 + -8. Sort 5, a, j in decreasing order.
5, a, j
Let o = 53 - 52.7. Sort -2, 0.4, o, 10 in ascending order.
-2, o, 0.4, 10
Suppose 3*j = 2*z - 2, -2*z + 3 = j + 9. Sort -12, z, -4, 1 in decreasing order.
1, z, -4, -12
Let p = -0.819 - 4.181. Sort p, 0.13, 13.
p, 0.13, 13
Suppose g - 4*i - 3 = 0, 12 = 4*g - 0*i - i. Put g, 15, -2 in ascending order.
-2, g, 15
Suppose -n - 3 + 7 = 0. Let p = 6971/3 - 2347. Let w = 23 + p. Sort 1, n, w in increasing order.
w, 1, n
Suppose 5*j = w - 85, 2*j - 2*w + 34 = -3*w. Sort 2, j, -3 in descending order.
2, -3, j
Let p be 285/105 + (-4)/(-14). Suppose -x - 3*x = -8, -3*u - 4*x + 14 = 0. Suppose 0*m - 3*n = -3*m + 18, u = m + 3*n. Put -3, p, m in increasing order.
-3, p, m
Let i be (528/(-198))/(14/(-6) + 3). Put 4, 10, -5, i in descending order.
10, 4, i, -5
Let n = 114 - 143. Put 2/13, 5/4, n in descending order.
5/4, 2/13, n
Let r = 647 - 643. Sort 3/2, r, 0.03 in descending order.
r, 3/2, 0.03
Suppose 2*z - 4*f + 4 = 0, 4*z + f + 161 = 162. Sort -3, 17, -5, z in descending order.
17, z, -3, -5
Suppose 56*y + 5*c = 52*y - 22, -2*y + 4*c = -2. Sort 7, 3, 4, y in increasing order.
y, 3, 4, 7
Let h = 2 + -2. Let d = -2486 + 2483. Sort d, 6, 5, h.
d, h, 5, 6
Suppose y + y = 0. Suppose -4*h - 4 = 4*x, 1 = 5*x + 2*h - y. Suppose 3*i + i = -0*i. Sort -2, x, i.
-2, i, x
Let o = 788.02 - 771. Let f = 0.25 + -17.25. Let z = o + f. Sort -4, z, -1/7 in decreasing order.
z, -1/7, -4
Let v(o) = 2*o + 3. Let m be v(-1). Put m, 5, 2, -14 in descending order.
5, 2, m, -14
Suppose -21*h + 14*h = 35. Let f = -0.2 + 0.5. Put -0.1, f, h in increasing order.
h, -0.1, f
Suppose 3*o + 4*o = 13*o. Put -8, -0.3, -2, o in descending order.
o, -0.3, -2, -8
Let i = 0.1775 - -0.3225. Sort -4, i, 2, 40 in descending order.
40, 2, i, -4
Let c = 0.098 + 0.102. Put 19, 3, c in ascending order.
c, 3, 19
Let d = 1.04 - 0.04. Let x = -39 + 41. Sort x, -4, d.
-4, d, x
Let y = 78.4 - 163. Let j = y + 53. Let n = j + 32. Sort n, 1/4, 0.02.
0.02, 1/4, n
Let d be -12*5*(-6)/(-45). Let m(u) = -2*u - 11. Let r be m(d). Let b = -7 - -11. Sort b, 2, r in ascending order.
2, b, r
Let m = -579 + 565. Let r = 0 - -15. Let o = m + r. Sort o, 6, 1/2 in increasing order.
1/2, o, 6
Let t = 3 - 5. Suppose 5*b - 36 = 6*p, -5*p - 10*b + 6*b = 30. Sort t, p, 0 in decreasing order.
0, t, p
Let r = 1.55 + -0.55. Let c = 14 + -14.3. Sort c, r, 4, -0.5 in decreasing order.
4, r, c, -0.5
Suppose 61*w - 44*w = 0. Sort w, -4, 2, -3 in ascending order.
-4, -3, w, 2
Let x = -4 + 73. Let i = x + -57. Put 2, i, -2 in descending order.
i, 2, -2
Let k(w) = -72*w - 14. Let c be k(-1). Sort -5, 5, c in descending order.
c, 5, -5
Suppose j + c + 26 - 30 = 0, -3*j + c - 4 = 0. Sort j, 3, -1, 53 in decreasing order.
53, 3, j, -1
Let j = -64 + 89. Put -24, 1, j in descending order.
j, 1, -24
Let y = -4 + 3. Let o be (1 + -4 + 7 + -9)/(-1). Sort -6, y, o in increasing order.
-6, y, o
Let j = 108 + -94. Put -3, j, 3 in increasing order.
-3, 3, j
Let v = -521 - -520.7. Sort 2, v, -1.8.
-1.8, v, 2
Let u = 439 - 438. Sort -3, u, 5, -7.
-7, -3, u, 5
Let t = -0.19 - 0.17. Let d = t + 0.24. Let s = d - -0.12. Sort 0.5, 0.4, s in increasing order.
s, 0.4, 0.5
Let m(g) = 17*g - 51. Let f be m(3). Let z be (-348)/84 + 4 + f. Let y = 2.5 - 2. Put 5/7, z, y in decreasing order.
5/7, y, z
Let u = -859 - -2606/3. Let f = u - 139/15. Sort -5, 0.1, f in ascending order.
-5, 0.1, f
Let d be -3*(-2 - 24/(-9))*1. Let g = -3 + 7. Put d, g, 0 in decreasing order.
g, 0, d
Let l = -116 - -121. Suppose l*b - 3*g = -8 - 9, 2*b + 5*g = -13. Sort 3, b, 1 in decreasing order.
3, 1, b
Let q = 13837664744625047/178332 - 232784885746/3. Let m = -59/1351 + q. Let n = m + 83/4. Put -2/3, 1/7, n in ascending order.
-2/3, 1/7, n
Let f be (0 - 0)/((-4)/(-1)). Let o = 13 + -18. Sort f, -3, o.
o, -3, f
Suppose 8 = 2*b, 2*j = -3*j + 5*b - 45. Let p be (-1956)/(-1141) + 32/14. Let h(f) = f**3 + f**2 - 2*f - 1. Let r be h(-2). Sort r, p, j in decreasing order.
p, r, j
Let b be 21/(-28) + 586/120. Let q = b + -19/5. Put q, 1, -0.04 in decreasing order.
1, q, -0.04
Let c = -3 - -3. Let t be (-2)/((-8)/6)*-2. Let v = -590 - -2353/4. Sort t, v, c.
t, v, c
Let d be 4/6*-1*3. Let g = 33 + -15. Suppose -4*u = -10*u - g. Sort u, 5, d in descending order.
5, d, u
Let t be (6 - 6)*(13 - 12). Sort 16, -4, t in increasing order.
-4, t, 16
Let j = -16 - -16. Let t be (-1 + (j - 0))*2. Let m be 8*(5/t + 3). Put m, 3, -4 in increasing order.
-4, 3, m
Let c be (3 + -4 - -1)/1. Let o = 3 - 3.1. Let v = 0.1 - o. Put v, -1/3, c in ascending order.
-1/3, c, v
Suppose 0 = h + 2*h + 12. Let n be 0*(h/6)/2. Suppose n*z - 20 = 5*z + 2*k, 0 = 4*z - 4*k + 16. Put 2/3, -3/2, z in descending order.
2/3, -3/2, z
Let f = 18 - 17.3. Let a = -1 - -1. Suppose -2*i + 1 = 2*l + 15, 2*l - 3*i - 11 = a. Put -0.5, f, l in decreasing order.
f, -0.5, l
Suppose 4*l - 3*j + 176 = 174, -2*j = l + 6. Let m(x) = x**3 - 6*x**2 + 3*x + 5. Let a be m(5). Sort 2, a, -4, l in decreasing order.
2, l, -4, a
Let z = 0.8 + -1. Let t = -16 + 20. Sort z, 0.3, t in descending order.
t, 0.3, z
Let v = 1140 - 1143. Sort 3, 84, v, 1 in decreasing order.
84, 3, 1, v
Let g = -2508 + 2512. Suppose 0 = -m + 3*h - 11, 0*m + 2*m = 4*h - 24. Sort 2, -2, m, g.
m, -2, 2, g
Let j(q) be the first derivative of -q**4/4 - 2*q**3/3 - q**2/2 - 2*q + 3. Let l be j(-2). Sort -1, l, 9.
-1, l, 9
Let p = -1182 + 1558. Sort -2, 0, p.
-2, 0, p
Let z be 3/(6/(-4))*-2. Let g(d) = 2*d + 12. Let l be g(2). Suppose -4*u = 5*a + 37, 2*u - 35 = 5*a - l. Sort 1, z, u.
u, 1, z
Let w = 27 + -42. Let j = w + 19. Put -29, j, -3 in ascending order.
-29, -3, j
Let t = -3.3 - -3. Let d be -3*(-1 + 0)/2*2. Suppose -13 = d*a - 4. Put a, t, -5 in ascending order.
-5, a, t
Let g = -0.1 + 1.1. Suppose 3*j = 6*j - 3, -m - 8 = -4*j. Let d = 67 + -66.8. Sort g, m, d in decreasing order.
g, d, m
Let w = -60 - -61. Let k = 56 + -56.4. Put 0, k, w in decreasing order.
w, 0, k
Let r = 606 - 600. Put -3, 4, r in increasing order.
-3, 4, r
Let q = 8 - 5.7. Let b = 2 - q. Put -4/7, -3/2, b in descending order.
b, -4/7, -3/2
Let u(o) = 3*o + 16. Let b be u(-7).