 r be (-1256)/(-18) + (-26)/(-117). Let o = r - 108. Let d = o - -34. Sort d, -5, -3.
-5, d, -3
Let h = -3 - -2.8. Let k be (-10)/(-16) - (-1)/(-4). Let x = -222071 - -222068. Sort k, h, x.
x, h, k
Let h be (0 + 12/(-10))*(-60)/8. Let a = h + -4. Suppose 0 = -3*o + 7 - 19. Sort o, a, -2 in descending order.
a, -2, o
Suppose -3*t = 2*k - 1409, 4 = -k + 5*k. Let x = t - 464. Sort -5, -4, x, -1 in decreasing order.
x, -1, -4, -5
Let o = -4 + -1. Let v be 1/(3/3)*o. Let y = 4 + v. Put 0.1, -3, y in ascending order.
-3, y, 0.1
Let h = -16950 + 16950. Put 7, 261, h in increasing order.
h, 7, 261
Let w = 0.07 + -0.11. Let p = w - -0.34. Suppose -29*h - 35 = -87*h + 23. Put p, -3, h, 2 in descending order.
2, h, p, -3
Let k = 1373 - 1374. Let u be 1/(-1)*(-25)/5. Sort 8, k, u, -4.
-4, k, u, 8
Suppose o + 0 = 2. Let u(a) = a**3 + 20*a**2 - 70*a - 19. Let i be u(-23). Suppose 3 + o = i*k - x, -1 = -5*k + 3*x. Sort k, 8, 1 in ascending order.
1, k, 8
Let w = 0 - -2. Let b(r) = -18*r. Let o be b(1). Let x = 163 + -163. Sort w, x, o in ascending order.
o, x, w
Let b(t) = -t**3 + 21*t**2 + 3*t - 57. Let i be (-4002)/(-184) - (-3)/(-4). Let z be b(i). Let a be 0 - 4 - (-3 + 2). Sort 0, z, a in decreasing order.
z, 0, a
Suppose -20*i - 3*s - 4 = -19*i, 4*i + 4*s = 0. Let m = 355 - 365. Put m, 0.2, i in decreasing order.
i, 0.2, m
Let c = 0.036 + 1.104. Let a = c - -17.86. Put a, 0.4, -1/3 in ascending order.
-1/3, 0.4, a
Suppose 142*w + 557 - 83 = -94. Sort w, -3, -45, 1.
-45, w, -3, 1
Let x = -74.29 + 73.8. Let r = x - 1.51. Put 0.12, r, -0.4 in decreasing order.
0.12, -0.4, r
Let z(r) = 17*r - 73. Let v be z(10). Suppose -v = -19*q - 477. Sort 4, 1, q in descending order.
4, 1, q
Suppose -16*b = -21*b - 25. Suppose 5*t - 15 = 0, 3*k - t + 2 - 8 = 0. Suppose k = -r + 4. Sort r, b, 0, 5 in descending order.
5, r, 0, b
Let f = -21/2 - -18. Let g be ((-2)/(-3))/((-14)/(-42)). Sort g, f, 0.4, -5 in increasing order.
-5, 0.4, g, f
Let z be ((-24)/(-7))/(160/12992). Let i = 278 - z. Sort -0.1, 18, i in descending order.
18, -0.1, i
Suppose 5*u = 3*x + 22, -30 = -5*x - 0*x - 5*u. Put 5, -123, x, -1, -2 in decreasing order.
5, x, -1, -2, -123
Let j(w) = 7*w + 23. Let z be j(-28). Let h = z - -1209/7. Sort 0.03, 0.05, 0, h.
h, 0, 0.03, 0.05
Suppose 497*v + 433 = -561. Sort v, -5, -19, -16.
-19, -16, -5, v
Let z(c) = 2*c + 26. Let t be z(-13). Suppose -3*v = -24 - t. Let x be (v/(-20))/(4/20). Put x, -0.3, -2/19 in descending order.
-2/19, -0.3, x
Let h(v) = v**3 - 4*v**2 - 5*v - 1. Let g be h(5). Let k = 161 - 166. Let m be (-1)/(k - 72/(-15)). Sort m, -4, g in decreasing order.
m, g, -4
Suppose -11*x = -6*x - 40. Let s be ((-3)/3)/(x - 9). Put 2, -1, s, 0 in descending order.
2, s, 0, -1
Let u(y) = -4*y - 4*y + 29 + 17*y - 11*y. Let j be u(14). Suppose 2 - 10 = 2*s. Put j, s, 4 in descending order.
4, j, s
Suppose -3 = n - 7*t + 4*t, -10 = -5*t. Suppose w = -5*f + 22 + 3, 2 = n*f - 2*w. Sort f, 3, -5, 2 in decreasing order.
f, 3, 2, -5
Let a = 151.3 + -161. Let d = a - -9.87. Let q = -0.19 + d. Put q, -0.1, -4/3 in descending order.
q, -0.1, -4/3
Let c be 1/3*(-4 + -4 + -1). Let v = -5195 - -5200. Let p(z) = 13*z. Let r be p(-5). Sort r, v, c in increasing order.
r, c, v
Let w = 133.37 + -132.97. Put 4, -1, -3, w, -0.27 in decreasing order.
4, w, -0.27, -1, -3
Let q be (-1)/((-7 + 4)/(-483)) + (-6)/(-4). Sort q, 0, -4, -2/3.
q, -4, -2/3, 0
Suppose 5*s + 0*s - 15 = -x, 5*x = 3*s + 19. Suppose 2*q = 4*b + 2, -b = s*b - q. Let d be (-173)/(-7) - (-6)/21. Sort 4, d, b in decreasing order.
d, 4, b
Suppose -101*r + 45*r = 168. Suppose -3*c = 62 - 50. Put r, 0, c, -5 in ascending order.
-5, c, r, 0
Let k be 16/(-16)*(-7 - -8). Sort 5, k, 0.5, -0.2, -2.
-2, k, -0.2, 0.5, 5
Let r = -108 - -130. Let w(t) = -6*t + 133. Let i be w(r). Sort 3, i, 2, -3 in decreasing order.
3, 2, i, -3
Suppose 0 = 2*u + 8, -2*d = 55*u - 50*u + 14. Sort 1, -11, d, -17, 0 in descending order.
d, 1, 0, -11, -17
Let t = 2685 + -2666. Let g = -136 - -132. Put 2, g, t in decreasing order.
t, 2, g
Let g = 119311/9 - 13257. Let f = -83/4 + 21. Sort f, 4, 1, g in decreasing order.
4, 1, f, g
Let o = 10.2928 + -10.55. Let z = o - -0.0572. Put -5, z, 0.27 in ascending order.
-5, z, 0.27
Suppose -3*j + 7*j + 8 = 0. Let y = 1466 - 1466.1. Sort y, -14, j in increasing order.
-14, j, y
Suppose -3157 + 126 = 7*y. Let c = -432 - y. Sort c, -0.076, -2/11 in descending order.
c, -0.076, -2/11
Let l(d) = -22*d**2 - 36*d + 11. Let j be l(-2). Put j, -4, 2, 4, 161 in decreasing order.
161, 4, 2, -4, j
Let u(j) = j**3 - 3*j**2 - 8*j + 13. Let k be u(4). Let y be (-30068)/(-102) + 2/k. Let a = 294 - y. Sort 0.5, 0.3, a in increasing order.
a, 0.3, 0.5
Let o = -204 + 206. Let h be o + 3/(1/((-2)/(-2))). Sort -3, -5, h, 10 in descending order.
10, h, -3, -5
Let w be (-1)/(-2) + (-3)/(-2). Suppose 1 = -w*z + z. Suppose 147 = 39*k + 30. Sort z, -5, k in increasing order.
-5, z, k
Let o = -0.08 - -0.38. Let h = -65.34 - -4.14. Let q = -61.2 - h. Put q, -10/9, -5, o in increasing order.
-5, -10/9, q, o
Let h(k) = k**3 + 14*k**2 - 5*k + 34. Let j be h(-14). Sort 1, j, 5 in decreasing order.
j, 5, 1
Let l(p) = -15*p**2 - 7*p - 2*p - p**3 + 0*p - 29 - 19*p. Let a be l(-13). Sort 1, 0, a.
a, 0, 1
Let d = 22 + -23. Let p(c) = -c**2 + 5*c + 54. Let u be p(10). Sort -4, -5, d, u.
-5, -4, d, u
Suppose 3315 = -67*b - b - 17*b. Sort -17, 3, b in decreasing order.
3, -17, b
Let o(j) = -3*j**3 - 32*j**2 + 13*j + 24. Let c be o(-11). Suppose -3*v - v = 20. Sort c, v, -47.
-47, v, c
Let b(l) = -l. Let y be b(-2). Suppose -m = -3*q - 0*q - 66, 3*m = 3*q + 72. Let c be q/6*(3/7 - 3). Sort 5, c, y in increasing order.
y, 5, c
Let f = 225/92 + -859/276. Put f, 1/6, 60 in decreasing order.
60, 1/6, f
Suppose 8 + 0 = 2*j. Suppose j*a + 5*i = -32, 13 = -3*a + 11*i - 12*i. Let t = -5 - -8. Sort a, 5, t in decreasing order.
5, t, a
Let w = -1212829/4 + 303208. Let a = 2533/385 + -73/11. Sort 1, w, a.
a, w, 1
Let y(p) = 35*p - 3727. Let v be y(108). Sort 2/9, -1, v in increasing order.
-1, 2/9, v
Let c(t) = -t**2 + 1. Let i be c(-2). Let b be (-1290)/105*((-123)/(-42) + 244/427). Put i, -4, b in decreasing order.
i, -4, b
Let z(x) = -344*x - 5157. Let d be z(-15). Put d, 728, 5 in decreasing order.
728, 5, d
Suppose -120*f + 125 = -115. Let w = 7 - 4. Sort f, 2/13, -0.4, w in descending order.
w, f, 2/13, -0.4
Let k(l) be the second derivative of l**3/2 - 51*l**2/2 - 2*l + 33. Let c be k(4). Sort 5, c, 3.
c, 3, 5
Let m be (2/4)/(3/(-24)). Let j(r) = -40*r**2 - 7*r + 9. Let y be j(2). Let b = y + 160. Sort b, 0, m in decreasing order.
0, m, b
Let n be (-76)/22 + 7 + 36/(-66). Sort 2, n, 1 in decreasing order.
n, 2, 1
Let h be (-14)/(-36)*((-640)/70 + 9). Put h, -1/2, -1, 10 in ascending order.
-1, -1/2, h, 10
Let q = -9661 - -106273/11. Sort 5/11, 1/7, -1, -6, q in decreasing order.
5/11, q, 1/7, -1, -6
Let u be ((-160)/(-120))/(8/6)*7. Suppose 0 = 5*n - 5*m + 15, -3*m = 5*n - 2 - 15. Put -1, n, u, -4 in descending order.
u, n, -1, -4
Let n be ((-4)/(-6))/((-4)/6). Let m be n/(-2)*(8 + -2). Suppose 0 = 94*q - 3*q + 1274. Put q, 2, m in decreasing order.
m, 2, q
Suppose -95*i = 395 - 1820. Sort -646, 5, i.
-646, 5, i
Let b = -914 - -13708/15. Suppose 66*g - 74*g = 16. Let z(s) = -13*s**2 + 3*s - 1. Let m be z(2). Sort b, m, g in ascending order.
m, g, b
Suppose -d + 36 = -5*d. Let q(j) = -5*j + 126. Let o be q(23). Suppose 0 = -7*s - o + 32. Sort s, 5, d in ascending order.
d, s, 5
Suppose 407*f - 672 = 419*f. Put -7, 4, f in descending order.
4, -7, f
Suppose 2*p - 6*p = 5*l + 37, 24 = -3*l - 3*p. Suppose 1984*y = 2110*y + 504. Put -2, l, 2, y in increasing order.
l, y, -2, 2
Suppose -17*k = 3*b - 22*k - 13, 0 = -2*k - 10. Put 192, 1, b in ascending order.
b, 1, 192
Let k = -77 - -80. Suppose -f + 0*f = k. Suppose -20 = 2*i + 4*w, 4*i + w + 88 = 5*w. Sort i, f, 4.
i, f, 4
Let b = 11176 - 11187. Sort -2, 4, -1, 3, b in decreasing order.
4, 3, -1, -2, b
Let z be -2*(-2)/(3 - 1). Suppose 0 = 633*p - 660*p - 108. Sort 3, z, 4, p in descending order.
4, 3, z, p
Suppose v + 3*x - 30 = -7, -4*v = -5*x + 10. Let k = -3 - -1. Sort v, k, 3, -4.
-4, k, 3, v
Suppose -201*a + 135*a + 214 = 148*a. Sort -1/3, a, -1.5, 5, 0.3 in descending order.
5, a, 0.3, -1/