t y = 4 + t. Sort r, -0.4, y in descending order.
r, -0.4, y
Suppose -i - 6*x = -4*x + 3, -3*x - 2 = 4*i. Let j(p) = p**2 + 6*p - 4. Let o be j(-6). Let c be 2/(-12)*o + (-12)/21. Sort i, c, -0.2 in ascending order.
-0.2, c, i
Suppose -6 - 46 = 13*w. Put -1, 4, w, 1 in descending order.
4, 1, -1, w
Let i = 15.77 - 12.77. Sort i, 1, -1/86 in descending order.
i, 1, -1/86
Suppose -48*t + 41 + 7 = 0. Put -3, t, 538 in decreasing order.
538, t, -3
Let h = 3980 + -3982. Let n be 12/(-10) + (-2)/(-2). Put -0.08, -5, n, h in ascending order.
-5, h, n, -0.08
Let g = 0.6 - 0.59. Let p = 4.01 - g. Let m be 16/(-42)*(-9)/12. Sort m, -2/13, p in descending order.
p, m, -2/13
Let x = -224 - -224. Put 2, x, -4, 17 in decreasing order.
17, 2, x, -4
Let i = -0.47 + 2.47. Sort i, 5/7, -1 in descending order.
i, 5/7, -1
Suppose -2*q = -3*q. Let b(f) = 18*f - 145. Let x be b(8). Sort x, -2, q.
-2, x, q
Let y = -0.4 - -0.9. Suppose -24 = -4*c - c + r, -4*c - 5*r = 4. Let j = 2.4 - 3.4. Put c, j, y in increasing order.
j, y, c
Let v = -16 - -5. Let i = v - -16. Let w = 0.155 + 1.845. Put -0.3, w, i in decreasing order.
i, w, -0.3
Suppose -3*f + 10 = -2*l, -7 = -f + 2*l + 3. Put -13, 4, f in descending order.
4, f, -13
Suppose 0 = 5*l - l - 16. Let w = -2 + l. Put 11, -1, w in decreasing order.
11, w, -1
Let p = 0.0354 - 0.0354. Sort -1, 67, p, -4.
-4, -1, p, 67
Let a be (34/(-28))/(2/8). Let b = a - -149/35. Let w = -16 - -15.7. Put 1/2, w, b in decreasing order.
1/2, w, b
Suppose 2*c + 3*w = 7, -4*w = w - 5. Let x = 10046/22563 - 2/2507. Sort 4, c, x in descending order.
4, c, x
Let l(n) = 11*n + 1. Let r be l(0). Sort -3, 33, r in decreasing order.
33, r, -3
Let k = 0.11 + -5.11. Let h = -3 + 4. Let w = 1/108 - -103/540. Put k, h, w in ascending order.
k, w, h
Let x = -10.2 + 8. Let z = x + 0.2. Let l = -165/4 - -41. Sort 0.2, l, z in decreasing order.
0.2, l, z
Suppose 5*u + 2*m - 23 = 0, -4*u - 4*m = -3*u - 19. Sort u, -87, 1, -1 in descending order.
u, 1, -1, -87
Suppose r = -r + 40. Suppose 0 = 3*p + p + r. Suppose -3*w = 2*d - 1, -5*w + 1 = 5*d - d. Sort d, 1, p.
p, d, 1
Let y(o) = 2*o + 9. Let x be y(-9). Sort -2, 5, 3, x in ascending order.
x, -2, 3, 5
Let u(l) = l**3 - l**2 + 3. Let s be u(0). Let g be 1/s*(3 + -9). Sort g, 4, 0.
g, 0, 4
Let f = 1529/921 + 2/307. Let a = 0 + 0.1. Put 1/3, a, f in descending order.
f, 1/3, a
Suppose 15*d + 557 = -658. Sort 4, d, 3.
d, 3, 4
Let v = -30 - -56. Let y be (-39)/v*(-10)/3. Sort y, -4, 1 in ascending order.
-4, 1, y
Let a = -1.277 + 1.477. Sort a, -5, 0.3, 0.1 in descending order.
0.3, a, 0.1, -5
Let a = 0.7 + -0.3. Let v be 2 - (7068/(-28) - 4). Let c = 259 - v. Sort 0.5, c, a in decreasing order.
c, 0.5, a
Let a = -0.0912 - 40.0088. Let c = -40 - a. Sort c, -0.3, 3/2, -0.1.
-0.3, -0.1, c, 3/2
Let x = -43 + 39. Suppose 4*w = 5*u - w - 20, 5*w = 0. Sort u, x, -10 in ascending order.
-10, x, u
Let d = 276 - 271. Put -5, d, -3/5, -0.11 in decreasing order.
d, -0.11, -3/5, -5
Let w = 3 + 22. Let j be (-32)/(2048/48) - (-19)/4. Put j, w, 5 in ascending order.
j, 5, w
Suppose 5*z = 2*f - 19, 4*f + 19 = f - 2*z. Put -5, 1, f, -42 in ascending order.
-42, -5, f, 1
Let f be (-2)/4 - (-55)/10. Let r = 7 - f. Suppose 2*x + d = x + r, -3*d - 12 = -3*x. Put 1, x, -3 in increasing order.
-3, 1, x
Suppose 2822 = 67*a + 879. Sort 4, a, -5 in descending order.
a, 4, -5
Suppose -3*t - 2*z = -25, -4*t - t = 4*z - 45. Suppose 5*k = 2*k + 3. Let i be 57/(-38)*(1 - -1). Sort t, i, k in increasing order.
i, k, t
Suppose 2*m - m = 11. Suppose 0 = -45*s + 19 + 52 + 19. Sort m, 0, s in ascending order.
0, s, m
Let o = -29 - -31. Let r = 5 - o. Let x = -0.2 + 0. Sort 2/5, x, r in increasing order.
x, 2/5, r
Let m = 149.3 - 149.4. Sort m, 13, 5, 7.
m, 5, 7, 13
Let d = 239 - 240. Sort 0.4, d, -2, -6.
-6, -2, d, 0.4
Let t = 141 + -145. Put -13, t, -5 in descending order.
t, -5, -13
Let d = -0.345 + 0.045. Let o = -217 + 217.1. Sort -1/3, o, d, -7 in decreasing order.
o, d, -1/3, -7
Let u(y) = -2*y**2 + y + 5. Let j be u(-3). Let k be j + 16 - 3*-1. Sort -2, 0, k in descending order.
k, 0, -2
Let m = 26 + -11. Suppose 5*h - 2*t - 2*t - 12 = 0, -m = -3*h + 5*t. Suppose -4*q + 2 = 14. Put 5, h, q in ascending order.
q, h, 5
Let k be (-3)/6 - 7/(-2). Suppose -2*h = -5*h + 18. Suppose -6*n + h = -8*n. Sort n, k, -2 in increasing order.
n, -2, k
Suppose 144 - 389 = 5*v. Let r = -47 - v. Sort 0, -2, r in decreasing order.
r, 0, -2
Let n = 0.2 - 0.08. Let h = 2252 - 2256. Sort n, -1, h.
h, -1, n
Suppose 73*w + 87 = -14*w. Sort 2, w, -27 in decreasing order.
2, w, -27
Let n(v) be the second derivative of -v**5/20 + v**4/2 - 7*v**3/6 + v**2/2 - 5*v. Let y be n(4). Sort 9, y, 3 in descending order.
9, y, 3
Let p = -24/43 - -340/301. Sort -5/4, -3, 6, p in increasing order.
-3, -5/4, p, 6
Let w be ((-6)/(-11))/(12/66). Let x = -1/188 + 571/1316. Sort -3, x, w, 2/13 in decreasing order.
w, x, 2/13, -3
Suppose -6 = c + 3*a - 7*a, 0 = 5*a - 10. Suppose 2*t - 4 - c = 0. Let l = -1 - t. Put -3, 1, l in decreasing order.
1, -3, l
Let x = 484 + -584.9. Let h = x - -101. Let f = -0.1 + 0.1. Put -2, h, f in descending order.
h, f, -2
Let v = 3.7 + 1.3. Let q = -4.7 + v. Put q, 0.1, 5 in descending order.
5, q, 0.1
Let u = -0.554 + 0.754. Sort 4, -15, u, -3 in increasing order.
-15, -3, u, 4
Let b(q) = -q + q - 5*q + 0*q + 25. Let r be b(5). Sort 3, r, -11 in decreasing order.
3, r, -11
Let b = 0 - 63. Let p be 21/b*(0 + -48). Let x = p - 16. Sort 6, 2, x in decreasing order.
6, 2, x
Let p be 1/(-12)*(15 - 5). Sort p, -3, 0.3.
-3, p, 0.3
Let j = 29.16 - 1.96. Let i = j + -27. Sort 1, i, -0.1, -5 in increasing order.
-5, -0.1, i, 1
Let i = 1064 + -1070. Sort i, 0.4, -3, -1.
i, -3, -1, 0.4
Let d = 3 + -6. Let q = d + -1. Suppose 4*i = -29 + 45. Sort i, -0.07, q in decreasing order.
i, -0.07, q
Let l = 12 + -7. Let y be 13/(-9)*6/(-4) - 2. Sort l, -19, y, -1 in decreasing order.
l, y, -1, -19
Suppose -l + 2*n + 13 = -5, -2*n - 96 = -4*l. Suppose l*q = 30*q - 20. Put q, 1, -105 in descending order.
q, 1, -105
Let u be 7 + (-6 - -22) + -9. Put -2, u, -1, -4 in decreasing order.
u, -1, -2, -4
Let b be -2 - (28/(-15) + 0). Let d be 187/(-44) - (-3)/12. Put b, -1, d in increasing order.
d, -1, b
Let a(h) = -h + 36. Let k(v) = 18. Let l(s) = -2*a(s) + 5*k(s). Let u be l(-9). Put 4, u, -4 in descending order.
4, u, -4
Let y = 51 - 46. Suppose y*i - 4*i = -2. Suppose 12 = 4*q + 4. Sort q, 0, i in decreasing order.
q, 0, i
Suppose -5*u - 18 = -3. Let r be 2/(-24)*u*2. Suppose -2*j + 3*j = 4*c + 9, -3*c = -2*j + 3. Sort 0.1, r, j in ascending order.
j, 0.1, r
Suppose -10 = 5*y, 43*i + 5*y = 39*i - 2. Put -3, 5, i, 121 in increasing order.
-3, i, 5, 121
Let q = 1617657/11 + -5944893259/40425. Let f = q + 2/147. Sort 1, f, 0.15 in increasing order.
f, 0.15, 1
Suppose 7 = 4*n + 5*j, -j - 13 = -8. Sort 0.07, 2, n, 0 in descending order.
n, 2, 0.07, 0
Let w = 0.47 - 0.5. Let m = 112.77 + -113. Let t = w - m. Put t, 0.5, 0 in descending order.
0.5, t, 0
Let p be ((-12)/92)/((-9)/14). Let v = p + 3/23. Let q be 8/(4/(1 + 1)). Sort v, 0.3, q in increasing order.
0.3, v, q
Let g = -0.3363 - -0.0363. Put 5, -9/8, g, -5 in ascending order.
-5, -9/8, g, 5
Suppose -m - 4*i - 6 = 4*m, -4*m - 5*i = 3. Let w = -3 + m. Suppose 2*p + 9 = 5*b, 0*b - 3*b = 5*p - 24. Put w, p, -3 in descending order.
p, -3, w
Let p be ((4 - 1) + -2)/(2/(-8)). Suppose -2 = u - 6. Sort u, 3, p in descending order.
u, 3, p
Let v be 7/21 - (-7)/(-9). Let a be 176/(-330) + 4/(-30). Sort a, 0, v in increasing order.
a, v, 0
Let v = 0.125 - 0.025. Let a(f) = -2*f + 3*f**2 - 4*f**2 - f - 2. Let t be a(-3). Sort 3, v, t in ascending order.
t, v, 3
Let g be ((-12)/10)/((-5)/50). Suppose 0 = -3*t - 2*d - g, -2*t + 5*t - 2*d = 0. Let i be (-5)/(0 + (0 - t)). Put i, 0.5, -0.5 in decreasing order.
0.5, -0.5, i
Let i(c) = -c**3 + 17*c**2 - 25*c - 70. Let v be i(15). Let w be ((-1)/(-2))/(1/(-10)). Sort v, -1, w in descending order.
v, -1, w
Suppose 5*r = 4*w + 282, -11*r + 6*r + w = -288. Let z be r/18*-1 - (-2)/9. Sort z, -1, -0.02 in descending order.
-0.02, -1, z
Let w = -2/363 + -1075/2541. Sort -11, -0.6, w in decreasing order.
w, -0.6, -11
Let r = 11 - 11.1. Sort 11, 5, -5, r in descending order.
11, 5, r, -5
Let k 