, t, 4, 3, 0
Suppose 0 = -5*x - 9 + 124. Suppose -145 - x = 6*h. Suppose 15 = -5*k - 3*l, -2*k = -5*k - 2*l - 9. Sort h, k, 3.
h, k, 3
Let b = 5 + -8. Let c = 11545 - 35045/3. Let n = c - -137. Put 3, b, n, 4 in decreasing order.
4, 3, n, b
Let p = 99 + -1681/17. Suppose -j + 4*j - 6 = 0. Let o be (1/j)/((-5)/2). Sort o, 0.4, p.
o, p, 0.4
Suppose 16*p - 13*p = 6. Suppose -2*c + 5*q + 4 = 0, 4*q - q - 4 = -p*c. Suppose 0 = -3*z + 16*z + 13. Sort -3, c, z, 4.
-3, z, c, 4
Let n = -0.7649 + 0.7649. Put -19, -3, -1, n, 1/4 in decreasing order.
1/4, n, -1, -3, -19
Let d be 88/10 + 9 + 441/(-45). Suppose -13*v = -d*v + 5*i - 15, 9 = -4*v + 3*i. Put -11, -6, v in decreasing order.
v, -6, -11
Let s(z) = -12*z - 110. Let q be s(-9). Let j = 1849 + -1861. Sort q, j, 2, 4 in ascending order.
j, q, 2, 4
Let a = -13323 - -13320. Put a, -0.4, -0.05, 2/1409 in ascending order.
a, -0.4, -0.05, 2/1409
Let u = 16 + -18. Let h be 61/6 + (-1)/6. Suppose -h = 2*p + 2. Put u, 2, 1/6, p in ascending order.
p, u, 1/6, 2
Let l be 3*(-8)/42*21364/(-56)*8. Put 1, 5, l in increasing order.
1, 5, l
Let p = -4.751 + 5. Let u = 0.249 - p. Sort u, 0.7, 3/7, -0.3.
-0.3, u, 3/7, 0.7
Let k = 19844 + -19842. Sort 2/817, k, 4 in increasing order.
2/817, k, 4
Let i = -10.6496 - 0.3504. Sort 3, 22, i, -0.1 in descending order.
22, 3, -0.1, i
Let d(p) = p - 37. Let y be (-48)/(-80) - (404/(-10) - -1). Let o be d(y). Put o, 6, -1, 3/2 in ascending order.
-1, 3/2, o, 6
Let g(x) = -x**2 - 6*x - 6. Let u be g(-5). Let m(d) = -d**3 + 20*d**2 - 52*d + 22. Let f = 316 - 299. Let p be m(f). Put 9, u, p in decreasing order.
9, p, u
Suppose -146 = -129*f + 111 + 1. Let j(i) = -4*i + 2. Suppose -r = -6*r + 10. Let m be j(r). Sort f, m, -3 in decreasing order.
f, -3, m
Let m = 816 + -774. Let s be m/(-10) + 2*(12 + -10). Sort 3, s, 1/4 in descending order.
3, 1/4, s
Let h = -1857 - -1728. Put -4, h, 4 in decreasing order.
4, -4, h
Suppose 5*p + 46 = -2*a + 2*p, 2*a - 2*p + 26 = 0. Suppose 412*h - 188 = 1048. Put -4, a, h, -5 in descending order.
h, -4, -5, a
Let s(j) = -j**3 + j + 4. Let r be s(0). Let h be -1*(29 + -26 + (-2)/(-1)). Sort r, h, -19, -3.
-19, h, -3, r
Suppose -2*t + 4 = -4. Suppose 0 = 3*n - 2 - t. Suppose 39*g - 2*z = 36*g - 13, -2*z + 6 = 4*g. Sort n, 6, g in descending order.
6, n, g
Let p = 463 - 465. Put -1, -19, p in decreasing order.
-1, p, -19
Let u = 39 - 42. Let i = 95 - 90.9. Let w = 4 - i. Put -4/15, w, u, 1/5 in descending order.
1/5, w, -4/15, u
Let l(h) = -h**3 - 26*h**2 + 87*h + 27. Let o be ((-6)/24*-4)/(-1)*29. Let u be l(o). Put u, 0, -3, 2 in descending order.
u, 2, 0, -3
Let i = 37 + -10. Suppose 8*a + i - 19 = 0. Put 1, a, -78 in decreasing order.
1, a, -78
Let s = 1420 - 4262/3. Put 1.1, 30, s in ascending order.
s, 1.1, 30
Let k be 4 + ((-31240)/20)/(2 + 387*1). Sort 1/2, k, 5 in decreasing order.
5, 1/2, k
Suppose 44 = -4*m - 4*y, 2 = m - 3*y - 7. Let x be -7*((-220)/(-35) + -6). Put 2, -1, m, x in descending order.
2, -1, x, m
Let c(s) = 5*s**2 - 9*s - 69. Let i be c(-3). Put i, 2, -8, -2 in ascending order.
-8, -2, 2, i
Let p(q) = -q**2 - 4*q + 1. Let c be p(-3). Suppose -7*l = -c*l - 3. Let i be 15/18*-2*-3. Sort 4, l, i.
l, 4, i
Let u = 87047/3 - 29389. Let f = 373 + u. Sort 43/5, -3, f in increasing order.
-3, f, 43/5
Let f(t) = t**3 + 17*t**2 - 2*t - 34. Let s be f(-17). Suppose 7*m + 4 + 31 = 0. Put -2, -11, m, s in decreasing order.
s, -2, m, -11
Suppose -3*z + 0*z + s = -1, 3 = -z + s. Suppose -3*l = 2*r + 19 - 0, 2*r - z = 4*l. Put 22, 1, l in ascending order.
l, 1, 22
Let s = -5.13 - -0.13. Let o = -181.7 - -74.1. Let w = -106.6 - o. Sort 0.2, s, w, 0 in descending order.
w, 0.2, 0, s
Let j = -1.99 - 1.01. Put j, 0, -0.3, -9/2 in ascending order.
-9/2, j, -0.3, 0
Let n = 700 + -684. Suppose i + 3*d - 8 = 0, -3*i + 0 = 5*d - n. Sort -20, -2, i, -1 in ascending order.
-20, -2, -1, i
Let c = -826/9 + 92. Let t = -141 + 124.52. Let z = 12.48 + t. Sort c, z, -1/2, 5 in decreasing order.
5, c, -1/2, z
Suppose 4*q + 24 = 4*r, -227*r + 6 = -230*r. Put q, -3, 1, 31 in decreasing order.
31, 1, -3, q
Let q be 1710/399 + (-6)/21. Suppose -4*i + 5*i + 14 = q*j, 0 = 5*j - 5*i - 25. Let r be 2*-2*(-2)/8. Sort -4, 5, r, j.
-4, r, j, 5
Let t = 11031 - 11031. Put -13, 13, t, -1 in decreasing order.
13, t, -1, -13
Let s(o) = -3*o - 76. Let m be s(4). Put -1, 12, m, -4, 2 in descending order.
12, 2, -1, -4, m
Let j = -2947 + 2947. Sort 5, j, -0.84 in decreasing order.
5, j, -0.84
Let n = -1880.5 + 1881. Put -203, -3, -0.4, n in descending order.
n, -0.4, -3, -203
Suppose 0 = 1898*r - 1893*r. Suppose -2*p - 51 = p. Let y = p + 15. Put y, 2, r in ascending order.
y, r, 2
Suppose -x = 3*x - 32. Suppose x*b = 21*b - 26. Put 7, b, -4 in ascending order.
-4, b, 7
Let z be 20*(-55)/44 - -23. Let b = 46 - 76. Sort 2, z, 1, b.
b, z, 1, 2
Let r = -371 + 213. Let a = r - -158. Put -2, a, -4 in decreasing order.
a, -2, -4
Let o be (288/(-20))/(4 - (-38)/(-10)). Let t be (240/o + (4 - 1))*12. Sort -5, t, 5, -1 in increasing order.
-5, t, -1, 5
Let q(b) = b**3 + 17*b**2 + 71*b - 14. Let m be q(-9). Sort 3, m, -1, -3 in descending order.
3, -1, -3, m
Let m be ((-249)/(-1494))/(2/(-8)). Put m, -6/131, -3/2 in ascending order.
-3/2, m, -6/131
Suppose 0 = 4*x + 5*f - 1 - 2, 2*x - 2*f = 6. Let o = -14630/9 + 1624. Let m = o + 19/18. Sort x, m, 3, 4 in decreasing order.
4, 3, x, m
Suppose -108*y + 498*y = -1371 + 201. Let v = 29 - 25. Let k = 2 - 6. Sort y, 3, k, v in increasing order.
k, y, 3, v
Let i be ((1134/15)/(-9) - -8)/(6/4). Sort 5, i, -672, 2/5 in descending order.
5, 2/5, i, -672
Let x = -22635 - -20534. Sort x, -3, -1 in decreasing order.
-1, -3, x
Let v(t) = 5*t + 35. Let d be v(-6). Let x be 12/(-2) + 6*(-3)/(-9). Let k = 0 - 1. Put d, x, k in decreasing order.
d, k, x
Let d = -7347 - -7347.02. Sort 4, -1, -8, d.
-8, -1, d, 4
Let k(z) = 9*z - 6. Let a be k(-6). Suppose -5*g - m = -22, g - 81*m + 4 = -80*m. Sort g, a, 0 in ascending order.
a, 0, g
Let q(t) = -t**2 - 5*t + 16. Let j be q(-7). Suppose -m + 0 = -53. Let p = -49 + m. Sort 1, p, j in decreasing order.
p, j, 1
Let b be 95/(-152) + 42/16. Put b, -94, 0 in ascending order.
-94, 0, b
Let s(x) = x**3 - 5*x**2 - 6*x - 3. Let a be s(6). Let v be -2*42/28 - -5*1. Sort a, 22, v in decreasing order.
22, v, a
Let i be 1 + 0 - (-2 + 5). Let f = i + 3. Let u be (75/15)/20 - 117/(-12) - 7. Sort u, -3, f in descending order.
u, f, -3
Let a(k) = 65 + 5*k**2 - 19*k**2 + 12*k - 2*k**3 - 50 + 3*k**3. Let g be a(13). Let z be (-1 - (-1 - 0))*(-6)/(-12). Sort z, g, 5 in descending order.
5, g, z
Let u = 0.009 + -25.009. Let n = -2/1145159 + 2290328/5725795. Let m(k) = -k**3 + 3*k**2 + 4*k + 5. Let b be m(4). Sort u, n, -3, b in increasing order.
u, -3, n, b
Suppose 4*d + 2*j = 4, d - 1 = j - 3. Suppose 2*a - 6*c + 9*c + 26 = 0, 0 = -2*a + c - 2. Put a, 10, -2, d in ascending order.
a, -2, d, 10
Let c be ((-63)/(-35) - 2) + (-3)/10. Sort c, 0.4, 33, -3, 6.
-3, c, 0.4, 6, 33
Let s = -18/11 + 104/77. Let o = 2.47 - 7.47. Put 1, s, -8/3, o in ascending order.
o, -8/3, s, 1
Let n = -37 - -40. Suppose 2 - 2 = -36*w + 12*w. Sort 5, n, w, -5.
-5, w, n, 5
Suppose 2*r + 2*r = n + 28, -2*r + 14 = 3*n. Let l(w) = -2*w - w**3 + 7 - w**3 - 3*w + w**3 - r*w**2. Let f be l(-6). Sort -11, f, -4, 0 in decreasing order.
f, 0, -4, -11
Let m = 5682 - 5682. Put -5, m, 892 in decreasing order.
892, m, -5
Let f = 18406 - 18420. Put 2, -3, 13, f in decreasing order.
13, 2, -3, f
Let n be (693/36 - 16) + 0 + -2. Put -3/4, n, 11, 0.4 in descending order.
11, n, 0.4, -3/4
Let x = 307 + -1533/5. Sort -3, x, -2/11, 15 in decreasing order.
15, x, -2/11, -3
Suppose 115*g - 106*g = 0. Let p = 174 + -170. Sort p, g, 21, -4 in decreasing order.
21, p, g, -4
Let h(j) = -55*j + 740. Let a be h(14). Put a, -48, -1 in ascending order.
-48, a, -1
Suppose 0 = 3*i - 4*v - 10, i - 1632 = 4*v - 1626. Suppose 3*b + 2*b - 30 = 0. Let c = -10 + b. Sort c, i, 1 in increasing order.
c, 1, i
Suppose 0 = 91*g + 135*g + 678. Put g, 9, -592 in descending order.
9, g, -592
Suppose 2*z - 10 + 12 = -2*i, -2*i = -2*z + 14. Put i, 4, 71 in descending order.
71, 4, i
Let w = -22 - -13. Let y(o) be the second derivative of o**5/20 + 3*o**4/4 - o**3/6 - 3*o**2 - 4*o - 1. Let u be y(w)