l = q + 619. Put -1, l, -3 in decreasing order.
-1, -3, l
Let y = -28878.42 + 28878. Sort -5.2, y, 2.
-5.2, y, 2
Let y(x) = 14*x - 2*x**2 - 5*x - 15 + x**2 + 0*x. Let f be y(6). Suppose 3*v + 54 = -5*l, -4*v - 33 = -f*l + 10. Sort -5, v, 1.
v, -5, 1
Let o = 4643.5 + -4643. Sort o, 2/5, -3, 0.012 in descending order.
o, 2/5, 0.012, -3
Suppose 6 = -5*w - 19. Let j be (-85)/15 + (0 - w). Put 0, j, 1 in decreasing order.
1, 0, j
Let r be (-30)/144*104/(-130). Put 0.5, -3/2, -0.6, -0.44, r in ascending order.
-3/2, -0.6, -0.44, r, 0.5
Suppose -8*l + 15 = -5*w - 5*l, 0 = -w + l - 5. Suppose -7*a + 12 + 2 = w. Sort 5, a, 11, -4 in descending order.
11, 5, a, -4
Let y = -1.2 + 8.2. Let c = y + -5. Let u = 10530 + -10531. Put 0.2, 0.1, c, u in decreasing order.
c, 0.2, 0.1, u
Suppose -634*y - 8 = -638*y. Put -2, -12, y in descending order.
y, -2, -12
Let a = -7589 - -7584. Sort 0.3, a, -3, -6, -0.2 in descending order.
0.3, -0.2, -3, a, -6
Let k(v) = 9*v**2 - 56*v + 10. Let r be k(6). Let w = 17 - 25. Let y be 14/w + (-9)/(-12). Put 4, -4, y, r in decreasing order.
4, y, r, -4
Let d = -0.03688 + -0.16312. Sort d, 2/3, -47 in descending order.
2/3, d, -47
Let s = 150 + -149. Suppose -24 = -11*l + 3*l. Let v = -29 - -33. Put s, -5, l, v in decreasing order.
v, l, s, -5
Let d(a) = 6*a**2 + 6*a - 5. Let m be d(1). Let v be (301/(-49) + m)*14. Let k = 0 - -5. Sort v, 0.1, k in ascending order.
0.1, k, v
Let y = 0.88 + -0.58. Let o = -0.1399 + -0.1601. Sort o, -2/5, 5, y in increasing order.
-2/5, o, y, 5
Let c = -248.536 + 249. Let h = -0.364 + 0.4. Let f = h + c. Sort 8, f, -0.2 in increasing order.
-0.2, f, 8
Let h = -1032.5 + 154.5. Sort h, -0.2, 6 in increasing order.
h, -0.2, 6
Let b be (-5)/(-4)*4/10. Let j be (2 + -2)/3 + 3825/(-120). Let w = j - -797/24. Put b, w, 0 in increasing order.
0, b, w
Suppose 642 = -20*l + 18*l. Let m = -321 - l. Put 98, m, 2 in increasing order.
m, 2, 98
Suppose 91*j - 92*j + 92 = 0. Let v = -90 + j. Sort v, 1/3, -25 in ascending order.
-25, 1/3, v
Let w(b) = 2*b**2 + 15*b - 63. Let g be w(-10). Put -4, -6, 3, g in ascending order.
g, -6, -4, 3
Let u = 14078 - 14077. Put -0.5, -4, u, -17 in increasing order.
-17, -4, -0.5, u
Let r = 363 - 368. Sort 1, r, 13, 5, -2 in increasing order.
r, -2, 1, 5, 13
Suppose 0 = -5*u - 20 + 50. Suppose 4*q + 18 = 6, -4*y - q - 23 = 0. Put 0, y, -4, u in decreasing order.
u, 0, -4, y
Let w(h) = -h**3 - 6*h**2 - 6*h - 1. Let i be w(-5). Let g = 30 + -30. Let y = -11.7 + 12.1. Sort g, i, y in decreasing order.
i, y, g
Let m(p) = -33*p + 1564. Let q be m(49). Put -3, q, 0, -2 in decreasing order.
0, -2, -3, q
Suppose 4*y - 7*f = -3*f - 4, y = -2*f + 11. Suppose y*h = -12*h + 30. Let r = h + -6. Sort r, 4, 3, -3.
r, -3, 3, 4
Let n = 985 - 6896/7. Sort 4/5, -81, 3, n.
-81, n, 4/5, 3
Suppose -3*z + 18 = -11*k + 12*k, z = 3*k + 6. Let r(o) = 4*o - 10. Let d be r(7). Put k, -2/7, d in descending order.
d, k, -2/7
Let q(x) = -2*x**2 - 24*x + 55. Let w be q(-14). Let a be w - 16/4 - -4. Suppose 2*l = 2, n - 3*n - 9 = -5*l. Put 2, a, -4, n in descending order.
2, a, n, -4
Let h = -291 + 290. Suppose -5*k + 25 = s + 4*s, 0 = -s - 3*k + 7. Let c = -58 + 56. Sort c, h, s in descending order.
s, h, c
Let y be (225/(-30) - -9)*(-10)/6. Let c = -79/4 - -20. Put -1, -2, c, y in descending order.
c, -1, -2, y
Let i = 388 - 1938/5. Let p be ((-14)/56)/(2/(16/(-10))). Put -6, p, 2, i in ascending order.
-6, p, i, 2
Let s = -8.23 + 0.23. Let b = -1567 + 1568. Sort s, -2, 2, b in decreasing order.
2, b, -2, s
Let p be 99*50/375*10/4. Sort 1, p, 7, 0, -4.
-4, 0, 1, 7, p
Suppose 5*k = -21*k + 2106. Let t = -96 + k. Put 2, -5, t in ascending order.
t, -5, 2
Suppose 4*s - 2 = 2*s. Suppose 2*o + 6 = 3*i + 24, 0 = -4*o + 5*i + 32. Let w(y) = 7*y - 418. Let r be w(60). Sort s, o, r, -4 in descending order.
o, r, s, -4
Let t(d) = -2*d**2 - 15*d - 39. Let l be t(-5). Let m(b) = -b - 11. Let g be m(l). Put g, -2, 5, 11 in descending order.
11, 5, g, -2
Suppose 51*f = 49*f - 4*o - 8, 5*f + 2*o = -68. Put 0, -7, 3, -4, f in decreasing order.
3, 0, -4, -7, f
Let u = 3183 - 3182.5. Put -1, -2/7, u, 64 in descending order.
64, u, -2/7, -1
Let y(g) = g**3 + 10*g**2 - 10*g + 26. Let c be y(-11). Let d be 2*(23/3)/(c/45). Put -2, 5, d in decreasing order.
d, 5, -2
Let d = 212 - 212. Suppose -5*i = -2*x + 6*x - 22, d = 4*i - 5*x + 7. Sort 5, -43, i, 4 in increasing order.
-43, i, 4, 5
Let m be (-660)/224 - (-3)/8 - (-2)/1. Sort -170, m, 0.05, -2/9 in ascending order.
-170, m, -2/9, 0.05
Suppose -2*g = -l - 9, -13*g + 12 = -4*l - 17*g. Let q(p) = -p**3 + 12*p**2 - 6*p - 6. Let n be q(11). Put 1, l, n in ascending order.
l, 1, n
Suppose -31*m + 2*m - 95 - 50 = 0. Put 3, -25, m in descending order.
3, m, -25
Suppose 3*x - 110*x - 22662 - 3339 = 0. Sort x, -12, -0.3 in decreasing order.
-0.3, -12, x
Let t(h) = h. Let d(u) = -14*u + 4. Let y(i) = d(i) + 2*t(i). Let q be y(0). Sort -3, 2, -4, q in descending order.
q, 2, -3, -4
Let i = 4.65 - 0.65. Let f = 5679 + -5681. Let r be 1/4*1/(-1). Sort r, i, f, 0.5 in increasing order.
f, r, 0.5, i
Suppose -26*o = 94 + 10. Sort o, 20/11, -2/7 in descending order.
20/11, -2/7, o
Suppose 3*w + 3*a + 9 = 0, -2*w - 3*a = -2060 + 2063. Sort w, -3, 724.
w, -3, 724
Let f = 2854 + -2527. Sort 2/11, f, -5.
-5, 2/11, f
Let b(f) = 2*f**2 + 5*f - 2. Let v be b(-3). Sort -2, 3, -45, 0, v in decreasing order.
3, v, 0, -2, -45
Let n(k) = -98*k - 198. Let z be n(-2). Sort z, 2, -33, -4 in decreasing order.
2, z, -4, -33
Suppose 1257*j - 1271*j = 28. Sort -369, j, 3, 1.
-369, j, 1, 3
Let p = -1775.9 + 1773.8. Let n = 26 + -26.3. Put -4/5, -2, p, n in descending order.
n, -4/5, -2, p
Let l = 30 - 26. Let a = 3.86 - 5.86. Sort a, 0.3, l in decreasing order.
l, 0.3, a
Let d = -507 + 504. Let s be -1*(9 + d + -1). Let p be 1/((-4)/2)*-4. Sort p, -4, 4, s in increasing order.
s, -4, p, 4
Suppose 0 = -5*m + p - 0*p + 49, -3*p = 12. Let b be 5*(-6)/m + 4/(-6). Let z = 2 + b. Put -3, -8, z in decreasing order.
z, -3, -8
Let y = 823 + -465. Sort -0.5, 0, y in decreasing order.
y, 0, -0.5
Suppose -948 = 78*d - 315*d. Let q be -2*(-5)/6*3. Put 3, d, 0, q in decreasing order.
q, d, 3, 0
Let x = -1100 - -1105. Sort 0, x, -3.2, -14.
-14, -3.2, 0, x
Let d = -46898 + 46893. Let j(o) = -o**3 + 6*o**2 - 5*o + 2. Let l(u) = u**2 - 2*u - 3. Let g be l(-2). Let s be j(g). Sort -4, 4, d, s in descending order.
4, s, -4, d
Let l be (-78)/36*6 + 11. Suppose -2*t - t + 9 = 0. Sort l, t, 16 in descending order.
16, t, l
Let q = -0.1 + 0. Suppose 404*x = 407*x - 2*a - 2, 0 = 2*x + 4*a - 12. Sort 1, x, 0.09, q in decreasing order.
x, 1, 0.09, q
Let o = -454 + 459. Let u be 1*(-2 + o) + 2 + 0. Sort -5, 0.5, 4, u in descending order.
u, 4, 0.5, -5
Let b = 668 + -663. Let g be ((-2)/5)/(60/75). Sort -1/7, b, g.
g, -1/7, b
Suppose 0 = n + 5*p - 17, -5*p + 11 = -4. Suppose -2*a + n = -2*q - 4, -5*a = q - 9. Let l be 15*(10/10 - 1/a). Sort -2, l, 1/7, -0.5.
-2, -0.5, 1/7, l
Let z = 30038 - 29997.894. Let p = z + -0.106. Sort 4, p, 0.2, 1 in descending order.
p, 4, 1, 0.2
Let j = -3713/11 + 337. Let p be (-62 + 63)*1/(-3). Let r = 10/7 + -27/14. Sort 1/8, j, p, r in ascending order.
j, r, p, 1/8
Suppose -2 = -s + 2*s. Let k = 80577 - 80568. Sort -6, s, k in decreasing order.
k, s, -6
Suppose f + 2*u + 4 - 63 = 0, f - 64 = -3*u. Suppose c + 6 - 9 = 2*w, c = -1. Sort 1, w, f in descending order.
f, 1, w
Let m = 6258 + -43803/7. Let t = 18 + -18.3. Put t, 3, m, -6 in increasing order.
-6, t, m, 3
Suppose 0 = 6*p - 3*p + 9. Suppose 15*d - 6*d = 0. Suppose -3*f + 7*f = d. Put f, p, 1 in descending order.
1, f, p
Let j(o) = -5*o + o + 2*o + 4*o**3 - 4*o**2 + 1. Let s be j(-1). Let d be 1/(-3) + 444/(-18). Put -2, s, d, 3 in descending order.
3, -2, s, d
Let h = 997.4 + -1003.4. Sort -4/5, h, 69 in decreasing order.
69, -4/5, h
Suppose -24*h - 5*v - 18 = -25*h, v + 14 = -5*h. Let s = 39 + -19. Sort s, 6, h.
h, 6, s
Let j = -42 - -22. Let w = j - -23. Let b = 428 + -448. Put -0.4, 1/3, b, w in increasing order.
b, -0.4, 1/3, w
Let v(s) = 10*s + 254. Let p be v(-27). Let y be (-8)/p*(-8)/(4 - 2). Let h be (-3 + -3)*(-2)/4. Put 2, h, y, 0 in ascending order.
y, 0, 2, h
Let n be (-5 - -1)/((-10)/35). Suppose -2*b - 13 = -19. Let t = -70 - -68. Sort t