t x = -0.43 + 0.03. Let f = -0.10969 - -0.00969. Sort -2/11, -1, f, x in decreasing order.
f, -2/11, x, -1
Let p = -348 + 364. Let f = p + -64. Put 1/6, f, 0 in decreasing order.
1/6, 0, f
Suppose -185*n - 5*d + 3 = -183*n, -5*d + 1 = 4*n. Put -5, -0.3, -2, n, -1/84 in descending order.
-1/84, -0.3, n, -2, -5
Suppose -13 = -m - 8. Let j be (-2)/(-3)*(-75)/(-10) - m. Put j, 25, 4 in descending order.
25, 4, j
Let z = -1299 + 1304. Let m(l) = -l**2 + 5*l + 12. Let t be m(7). Put z, t, -7, -3 in decreasing order.
z, t, -3, -7
Let i = 0.8069 + -0.4069. Put i, -2/51, -0.062 in ascending order.
-0.062, -2/51, i
Let t = 98402 - 98407. Suppose g = -4*m - 5 + 52, 53 = 4*m - 5*g. Put t, -4, -1, m in descending order.
m, -1, -4, t
Suppose -2*s = 3*s + 3*n + 3, s + 3*n - 9 = 0. Let p be (-53)/(-8) + 18/48. Suppose 30 = 3*c + p*c. Put 4, c, -4, s in decreasing order.
4, c, s, -4
Let p = -222.5 - -222.7. Sort p, 8, 35 in decreasing order.
35, 8, p
Suppose -16*y + 7*y = -189. Let d be y/180 + (-6)/(-45). Sort d, -3, 4 in decreasing order.
4, d, -3
Let f = -184 + 171. Put f, -63, -4 in descending order.
-4, f, -63
Let c = 140 - 130. Let k(j) = -j**3 - 8*j**2 - 6*j - 44. Let o be k(-8). Sort c, -2, o, 2 in increasing order.
-2, 2, o, c
Let c = -419523 - -14679769/35. Let v = 101 + c. Put v, 0.4, -7 in decreasing order.
0.4, v, -7
Let i = -162 - -163. Sort -5, -4, -10, i.
-10, -5, -4, i
Suppose 0 = 3*r + 3, -3*r + 4*r + 19 = 3*a. Let w be 5/a + (-10)/20. Let d = -2 + 1.8. Sort 0, d, w in ascending order.
d, 0, w
Let f be ((-1)/39)/(10/(-30)). Let i = 2/141 - -407/1128. Let k = -2.1 - 1.9. Sort k, f, i.
k, f, i
Suppose 216 = 5*c - 3*h, 13*c - h + 48 = 14*c. Let f be 4/(-16)*91 + c/60. Sort -3, 0, -2, f.
f, -3, -2, 0
Let k be 40 - 35*22/77. Sort -3, -2, -23, k, 2 in descending order.
k, 2, -2, -3, -23
Suppose -10*h + 17 = -3. Suppose a = -5*u + 75, 5*u - 5*a - 64 + 19 = 0. Put h, u, -2 in decreasing order.
u, h, -2
Let f be 2*((-10)/((-200)/15))/(3/(-10)). Put 1, 11, f, 0, 3 in decreasing order.
11, 3, 1, 0, f
Suppose 4*n - 2*n + 220 = 0. Let f = 3031 - 3029. Let d be (n/(-4))/11 - (-1)/f. Sort 1, 18, d.
1, d, 18
Let h = -88971/85 - -5233/5. Sort 2, h, 2/25, -0.3, 0.3 in decreasing order.
2, 0.3, 2/25, h, -0.3
Suppose 5*i - 2 - 8 = 0. Let n be 4/(-12)*(-6)/1. Let r be 6/(12/(-16)*n). Sort r, i, 3.
r, i, 3
Suppose -5*y + 14 = -k + 3*k, 0 = -2*y - 3*k + 10. Let m(a) = a**3 + 11*a**2 + 116*a + 1300. Let v be m(-11). Sort v, y, 4.
y, 4, v
Let c = 15 + -10. Suppose 2*z + c*a + 10 = 0, 0 = 2*z - a - 4*a - 30. Let s be ((-4)/12)/(3/27). Sort s, -5, 0, z in decreasing order.
z, 0, s, -5
Let o = 0.1326 - 275.8326. Let f = o - -276. Sort f, 3, -26 in increasing order.
-26, f, 3
Let r = 485 - 468.5. Let x = r + -3.5. Sort -2, x, 0.1 in decreasing order.
x, 0.1, -2
Let h = -18616 - -18622. Let c be 1/5*(-5)/(-2). Sort -1, -0.2, c, h in ascending order.
-1, -0.2, c, h
Let z = -61 + 57. Let y = -3481/35 + 692/7. Sort z, 0.5, y in increasing order.
z, y, 0.5
Let b(i) = -19*i**3 + 48*i**2 - 29*i - 8. Let u be b(7). Put u, -5, 3 in descending order.
3, -5, u
Let c = 3/52 + -1137/3484. Let h be 2/(-4) - 1466/(-4020). Let d = h - c. Put -4, d, 19 in decreasing order.
19, d, -4
Let c(q) = -16*q + 54. Let u be c(9). Let n = u - -84. Let t be (9 + n)*1/(-3). Sort t, 4, 2, -5 in descending order.
4, 2, t, -5
Suppose -258 = 122*u - 208*u. Sort 1/4, u, 7/2, -0.011 in increasing order.
-0.011, 1/4, u, 7/2
Let j = 21 + -23. Let d be 1/(2/(-9) - (-475)/2394). Let t = 44 + d. Put 1, t, j in descending order.
t, 1, j
Suppose 713*z = -2*b + 711*z - 18, -z = -2*b + 3. Sort -1195, b, 1, 4.
-1195, b, 1, 4
Let n = -867 - -865. Sort -1, n, 504 in descending order.
504, -1, n
Suppose -5*x - t = 3*t - 10, 3*x + 2*t - 8 = 0. Suppose -6*s + 11*s = 85. Suppose k - 5 = 5*u, -2*k + 5 - s = u. Sort x, 0, u.
u, 0, x
Let v be 14/(-3) - 2/(-3). Let x(p) = -2*p**3 - 20*p**2 - 38*p + 54. Let j be x(-7). Sort j, 4, v in ascending order.
v, 4, j
Let j = 25402 - 25445. Sort 0.4, -1/2, j, 5, -6 in descending order.
5, 0.4, -1/2, -6, j
Let v be (-20)/54 + (-19)/(-57). Let d = v - -19/27. Let a = 0.57 - 0.07. Put 3, a, d in descending order.
3, d, a
Let x = 0.8237 - -4.1763. Put x, -2/13, 3, -0.12 in descending order.
x, 3, -0.12, -2/13
Let a be (-3)/35 + 6/21. Let z = -0.004903 - 2.495097. Put a, z, 2/5, 2 in descending order.
2, 2/5, a, z
Suppose a = 4*a - 9. Suppose -31 = -3*n - x + a*x, -x - 21 = -2*n. Suppose -2 = 4*p - 2*r, -5*r = 5*p - 21 + 1. Put n, 5, p, -1 in ascending order.
-1, p, 5, n
Suppose -3*f - 2*n - 8 = 0, -f = -3*n + 2*n - 4. Suppose f = 3*t - 9 - 0. Put t, -8, 4 in descending order.
4, t, -8
Suppose h + 5*s = 12, -6*s = 5*h - 3*s - 16. Suppose 31 = f - 5*x, -3*f + 43 = h*f + 3*x. Let u be (-10)/4 - 6/(f - -1). Put 4, 2, u, -5 in decreasing order.
4, 2, u, -5
Let j = -791 - -505. Let a = j + 285. Let m = -1861/13 - -143. Sort 5, a, m, -5 in increasing order.
-5, a, m, 5
Suppose -745 - 71 = -12*s. Suppose -15 = 5*z - 2*p + 6, -12 = z - 3*p. Sort -5, s, z in decreasing order.
s, z, -5
Let g be (-591393)/36 + (-18)/12. Let r = -16375 - g. Let c = r - 54. Sort c, -2/13, -1.
-1, -2/13, c
Let k be ((-60)/(-90))/((-8)/6)*-4. Put -3, 58, k, -5 in decreasing order.
58, k, -3, -5
Let v = 42539/127653 - -4/42551. Let f = -7/16 + 83/80. Put -0.5, v, 4, f in descending order.
4, f, v, -0.5
Suppose 0 = 4*d + 3*i - 16, -5*i + 10*i = 5*d + 15. Let m = 36.2 - 1.2. Let u = -33 + m. Put 1/3, d, u in descending order.
u, d, 1/3
Let l = 4406 - 4404. Sort l, -14, -22 in decreasing order.
l, -14, -22
Let g = -40096.8 + 40096. Sort g, -4, 2, 1/2 in descending order.
2, 1/2, g, -4
Suppose 31*c - 36*c + 15 = -5*a, -5*c - 3*a + 15 = 0. Sort c, -432, 4 in ascending order.
-432, c, 4
Let y(w) be the first derivative of -w**4/4 - 11*w**3/3 + 25*w**2/2 - 18*w + 28. Let h be y(-13). Suppose 4*j = -0 + 4. Put h, j, 3, -9 in ascending order.
-9, h, j, 3
Suppose 0 = 45*y - 14*y + 124. Put -8, -20, y in descending order.
y, -8, -20
Let a = 0.3158 + -0.5158. Sort 0.3, -2, 37, a in descending order.
37, 0.3, a, -2
Suppose 176063*x - 192 = 176075*x. Sort x, 1, -6 in increasing order.
x, -6, 1
Let c = -39801 + 39804. Suppose -4*d + 11 = -17. Sort 0, 10, c, d.
0, c, d, 10
Let b be (-22)/5 + (-6)/(-15). Let g(j) = 5*j + 135 + j - 4*j - 2*j - 4*j. Let u be g(33). Sort u, -18, b.
-18, b, u
Let h = 203 + -207. Suppose 4*x - 3 = 5, 0 = 3*y + 5*x - 46. Let w be (-14)/(-6) - (-4 + (-20)/(-6)). Sort h, w, y.
h, w, y
Let n = -8546 + 8536. Sort 4, -3, n in descending order.
4, -3, n
Suppose -43 = -2*p + 47. Suppose 12*r - p = -9. Sort 4, r, -3.
-3, r, 4
Let u = 9383.999 + -9416. Let f = u - -0.001. Let s = -31 - f. Sort s, 3, 6 in decreasing order.
6, 3, s
Suppose -5*g - 3*r = -11 - 384, -g + 5*r + 79 = 0. Let y = g + -75. Put y, 3, -48 in increasing order.
-48, 3, y
Let k = -7 + 741. Let n = k + -734. Put n, 0.5, 3, -5/3 in decreasing order.
3, 0.5, n, -5/3
Let j = -0.7 - -0.7. Let z = 1.4952 + -5.4952. Put z, 0.5, 3, j in decreasing order.
3, 0.5, j, z
Suppose -3*h - 9 = -4*t, 2*t - 1 = 2*h + 5. Suppose -4*p = -5*m + 4 + 9, t = -5*p - m - 9. Let o be (17 - 18)*(-2)/p. Put 3, 0, o in ascending order.
o, 0, 3
Let r = -0.5 + 0.2. Let o = -11.0067828 - -0.0067828. Suppose 3*q = c - 2, -4*q + 0*c + 8 = 4*c. Put q, o, r in descending order.
q, r, o
Let k(h) = -42*h**2 + h + 1. Let s be k(3). Let q be (-6)/7 + s/(-77). Sort 1, q, 5, 24 in increasing order.
1, q, 5, 24
Let s = -2759 - -2756. Suppose -4*k = 5*p, p - 2*p = -4*k - 24. Let u = -0.39 - -1.39. Put s, k, u in decreasing order.
u, s, k
Let h be (-6)/9 + (-2 - -10 - (-286)/15). Put -0.5, -2/23, h, 0 in decreasing order.
h, 0, -2/23, -0.5
Let t be 1/7 - ((-80)/28 + (6 - -2)). Sort -44, -3, t, -4 in ascending order.
-44, t, -4, -3
Let i = -3042 + 21291/7. Let c = -2 - -14.2. Let a = c + -12. Put i, a, -0.03, -3/8 in ascending order.
i, -3/8, -0.03, a
Let o(r) = -r**3 + 5*r**2 - 5*r + 2. Let b be o(4). Suppose -35 = 28*p - 32*p - x, -3*p = -5*x + 37. Sort b, p, 2.
b, 2, p
Let j be (2/12)/(688/(-11352)). Sort 0.4, -0.5, -2, j in descending order.
0.4, -0.5, -2, j
Let c(o) = o**3 - 22*o**2 + 20*o + 41. Let j be c(21). Put j, 5, 68 in descending order.
68, j, 5
Let t = 4080 - 20398/5. Put 1/5, 15