t a = 0.6 + -1. Put r, -0.2, a in decreasing order.
-0.2, r, a
Let a be (-23)/51 - 2/12*-2. Let y be (-33)/9*5*-9. Let r be (-52)/y + 8/60. Sort a, r, 0 in ascending order.
r, a, 0
Let h(w) = -w**3 - 7*w**2 + 2*w. Let b be h(-7). Let p = -72 + 36. Let f = p - -40. Sort 0, b, f in decreasing order.
f, 0, b
Suppose -23*a = -12*a - 44. Suppose a*m = -0 + 4. Sort m, -4, -210 in decreasing order.
m, -4, -210
Let f be (-6)/(-20)*((-30)/20)/((-21)/(-35)). Sort -4/7, f, 1, 0.7, 0.3.
f, -4/7, 0.3, 0.7, 1
Let d = 0.07 - 4.07. Let p be (-40)/(-14) + -15 + 12. Let l = 4.607 - -0.393. Sort d, l, p in descending order.
l, p, d
Suppose 0 = 4*m + 37 - 25. Suppose -25 = -5*b, -10*b - 30 = -5*t - 13*b. Sort t, 5, m in descending order.
5, t, m
Let f = -698 - -703. Let g = -879 - -878.5. Sort g, f, 6.
g, f, 6
Let t = 2.9 + -0.1. Suppose 29*w + 19 - 106 = 0. Suppose w*j - 11*v = -10*v + 2, -5*j = -v. Put t, -0.3, j in decreasing order.
t, -0.3, j
Let h = -2244.1 + 2244. Sort -1709, 2/3, h, 0.5.
-1709, h, 0.5, 2/3
Suppose 20*o - 39*o - 31*o = -250. Sort o, -1, 28, -2 in increasing order.
-2, -1, o, 28
Let u = -55 + 63. Let r be (12/(-30))/((-6)/885). Suppose u*d = -r + 3. Sort 1, 0, d, 4.
d, 0, 1, 4
Let f = 22.5 - 25. Let z = -2.2 - f. Let l = 235 + -224. Sort z, l, -2.
-2, z, l
Suppose 2*q - 74 = 4*l, q + 3*q = 5*l + 136. Suppose 2*c - 126 + 121 = -a, a - 5*c + 2 = 0. Sort a, q, 4 in increasing order.
a, 4, q
Let b = -1857.5 - -1858. Put 13, 0.3, -2, b in increasing order.
-2, 0.3, b, 13
Suppose -253 = 7*t + 48. Suppose -k + 210 = z + 4*z, -5*z - 3*k + 200 = 0. Let f = z + t. Put -5, -0.2, f in descending order.
f, -0.2, -5
Suppose 190*y - 736 + 136 = -10*y. Sort -1, 5, -5, -16, y in ascending order.
-16, -5, -1, y, 5
Let z = -0.4 + 0.7. Suppose 14 = -3*c + 4*q, c + 8 + 0 = 2*q. Let o be ((-24)/42)/(2/14*c). Put -3, z, o, -0.3 in decreasing order.
z, -0.3, o, -3
Suppose 156*o + p + 16 = 147*o, -o = -3*p + 36. Let w be (-1)/((-6)/4)*3. Sort -1, w, o, 6 in decreasing order.
6, w, -1, o
Let s = -114 - -113.47. Let p = 0.43 + s. Let c = -42 - -49. Sort c, 2, p in increasing order.
p, 2, c
Let o = 14 + -26. Let r be (9/o)/(1/4). Let u = -478 - -476. Put u, r, 9 in increasing order.
r, u, 9
Let c = 38360 - 38360.2. Let f = 11.6 - 12. Sort 6/5, f, c, -1.
-1, f, c, 6/5
Let s = 15894 - 15894. Put -4, 0.5, s, -17 in increasing order.
-17, -4, s, 0.5
Suppose 4*d - 2*o + 24 = 0, 5*o - 30 = 60*d - 56*d. Let a(l) = -l**2 + 9*l - 4. Let n be 5*(12/(-15) + 2). Let v be a(n). Sort -2, v, d in decreasing order.
v, -2, d
Let v = 0.033 + 0.767. Suppose -6*x + 548 - 572 = 0. Sort -2/3, 0.3, v, x in decreasing order.
v, 0.3, -2/3, x
Let v = -211 - 21. Let n = 229 + v. Put -2, 3, 4, n in decreasing order.
4, 3, -2, n
Let n = 7.7 + -8. Let v = -31.893 + 32. Let s = 1.893 + v. Sort n, -8, s.
-8, n, s
Let l be (1*-4 - 165/(-66))*(6 - 5). Let k = -19 - -24. Sort l, -5, 3, k.
-5, l, 3, k
Suppose -50*h + 8556 = -27*h. Let k = h + -374. Put k, -5, 4, 103 in descending order.
103, 4, k, -5
Let m = 524.3 + -524. Let x = -6 + 2. Sort 0.29, -5, m, x in decreasing order.
m, 0.29, x, -5
Let m = 5254.92 + -5254. Put -1/7, -1/3, 3/2, m in increasing order.
-1/3, -1/7, m, 3/2
Let n = -120 - 73. Let k = n - -188. Sort k, 1/2, 0.4, 2/3.
k, 0.4, 1/2, 2/3
Let i be (16/(-48))/(315/30). Sort 6/7, 7, 2/3, 2/5, i in descending order.
7, 6/7, 2/3, 2/5, i
Let h = -1808.91 - -1809. Sort -0.1, h, 3/2 in descending order.
3/2, h, -0.1
Suppose -5*s - 27 = -2. Let p be 3*-1 - (s + 6). Let z(c) = 3*c - 83. Let u be z(29). Sort -9, p, u in decreasing order.
u, p, -9
Let n be (-8)/6 - (-38)/33. Let d = 664 - 6639/10. Put d, n, -5, 0.5 in increasing order.
-5, n, d, 0.5
Let z = -0.1 - -1.3. Let d = 0.8 + z. Let r = 18/133 - 8/19. Sort 3/7, -2, d, r in descending order.
d, 3/7, r, -2
Let k = -4 + 6. Let v(i) = -i**2 + 1326*i + 7993. Let r be v(-6). Sort -3, 25, k, r in descending order.
25, k, r, -3
Suppose -2*z = 4*a - 10, -57*z + 3*a - 8 = -58*z. Sort -2, 0, z, -15, -5.
-15, -5, -2, z, 0
Let r = 50167/2 + -25083. Sort -38, -5, r, 3/8, -2.
-38, -5, -2, 3/8, r
Suppose -m + 43 = -2*t, 984*m + 10 = 982*m. Put t, 2/3, 0.047 in ascending order.
t, 0.047, 2/3
Let q(y) = -y**3 - 21*y**2 - y - 25. Let m be q(-21). Let k(d) = -d + 7. Let n be k(5). Put 5, n, m, -3 in decreasing order.
5, n, -3, m
Let n = 0.5 - 207.5. Let y = 207.294 + n. Let b = y + 0.106. Put b, -3, -0.13, 0.2 in descending order.
b, 0.2, -0.13, -3
Suppose 259 = 22*l - 265 + 612. Suppose -4*a - 12 = 0, 18 = 5*r - 3*a - 11. Put r, 13, l, -2 in descending order.
13, r, -2, l
Let h(x) = -x**2 + 4*x + 14. Let k be h(-8). Suppose 0 = -2*r + 2*j - 12 - 0, 3*r + 12 = j. Put k, r, 0 in descending order.
0, r, k
Let p = 5.317 + -1.317. Let u = -87 - -87.13. Put p, -3, u in decreasing order.
p, u, -3
Let y = -5/2556 - -857/2556. Put -4/3, 69, 1/6, y in decreasing order.
69, y, 1/6, -4/3
Let v = -67954 + 67953.958. Let u = 0.05 + -0.35. Sort v, 4, u.
u, v, 4
Let j(a) = 11*a + 7. Let z be j(-6). Let q = z - -63. Sort -4, 55, q in decreasing order.
55, q, -4
Suppose 1 = m - 4. Let u = -247 - -266. Let f be 10/30 + u/(-12). Sort m, -0.3, f, 0.3 in increasing order.
f, -0.3, 0.3, m
Let q = 858 - 1249. Let f = q + 388. Put -2, 0, -81, f in decreasing order.
0, -2, f, -81
Suppose 6*l = -5*n - 80, 0 = -3*n - 3*l - 69 + 24. Let z be -2 + -2 + (-1 - -3). Sort 3, z, n in increasing order.
n, z, 3
Let w(q) = -q + 2. Let n be w(3). Let r = -15692 + 15694.2. Put r, n, -1/3 in ascending order.
n, -1/3, r
Let u = 184 - 182. Suppose -5*h = 2*g - 10 + 30, 3*g = -u*h - 8. Suppose -y = -5*y + 4. Sort 0, h, y, -2 in ascending order.
h, -2, 0, y
Let a = -12 + 12.5. Let z = 0.017 - 0.197. Let m = z + 0.1. Put m, a, 0.2, -0.1 in descending order.
a, 0.2, m, -0.1
Suppose -180*p = -378 + 1818. Sort -14, -3, 10, p in increasing order.
-14, p, -3, 10
Let u = 0.291 - -150.709. Let w = u - 150.69. Let x = 0.09 + w. Sort 1/3, -2/17, x in increasing order.
-2/17, 1/3, x
Let b = -0.137 + -1.263. Let x = b - -21.4. Put x, -2/7, 0.1 in descending order.
x, 0.1, -2/7
Let q = -3.9 - -4. Let l be 109/(-218)*(-34)/2. Sort q, 0.2, l, -0.1 in decreasing order.
l, 0.2, q, -0.1
Let y(c) = c**3 - 13*c**2 + 13*c - 7. Let u be y(12). Suppose 0 = -a - 4*w + 6 + 9, -4*w - 5 = u*a. Suppose 12 = 2*s - 2. Sort a, 3, s.
a, 3, s
Let b be (-7*27/(-126))/((-3)/(-2)). Let m be 3*b - (-37 - -36). Sort 0, 5, m in ascending order.
0, m, 5
Let p = 6226 + -6373. Sort p, 0, -0.7 in descending order.
0, -0.7, p
Let o = 0.5 + 4.44. Let n = o + 3.06. Sort -4, -0.07, n in ascending order.
-4, -0.07, n
Let z(j) = j**3 + 13*j**2 + 11*j - 9. Suppose 56 = -7*y - 28. Let a be z(y). Suppose -a*f + f = 0. Sort 9, f, -5 in decreasing order.
9, f, -5
Let u(m) = m**2 - 3*m - 14. Let r be u(6). Suppose 0 = r*h + 4*s, -2*h - 5*s = -5 - 7. Let d be ((-2)/(-7))/(h/(-7))*4. Sort 11, d, 3.
d, 3, 11
Let t = 1522 - 7608/5. Sort -9/5, 0.1, 4, t, 1 in decreasing order.
4, 1, t, 0.1, -9/5
Suppose -5*n + 4*n + 3 = 0. Let s = -260857 - -260861. Put -2, n, s, 5 in ascending order.
-2, n, s, 5
Let y be (-9)/((-497)/56 - -4) - 2/(-13). Put -5, y, 27, -19 in decreasing order.
27, y, -5, -19
Let x = 67 + -19. Let i = x + -47.7. Sort -0.2, i, 1 in ascending order.
-0.2, i, 1
Let s = -3 - 0. Let k(x) = -x**3 + 50*x**2 + 44*x + 357. Let i be k(51). Put 2, s, i, 9 in ascending order.
s, i, 2, 9
Let x = -30475 - -30476. Put x, 106, -5, 3, 7 in ascending order.
-5, x, 3, 7, 106
Let q be ((-111)/(-39) - 3) + (-2370)/(-26). Suppose -4*h - q + 99 = 0. Suppose 2*r = y - 5, 0*y - 3*y - 5*r = -4. Sort h, y, 4 in descending order.
4, y, h
Let u(v) = 12*v**2 - 72*v - 6. Let d be u(6). Let w(a) = -2*a + 0 - 12 - 2. Let b be w(d). Put b, -4, -5 in decreasing order.
b, -4, -5
Let h = -1657 + 1657.3. Sort 2/5, h, 1.14 in descending order.
1.14, 2/5, h
Suppose -5*k = -2*h + 244, 2*k + 3*k = h - 242. Let u be ((-28)/k)/(33/(-12)). Let r = 6/11 + u. Sort 0.1, r, -3, 0 in descending order.
r, 0.1, 0, -3
Suppose 3*y - 5*x = -29, -9*y + 11*y - 5*x + 26 = 0. Suppose -2*b - 7 = -b. Suppose 0 = 2*s - 0 + 2, 0 = 3*c + 4*s + 16. Sort y, c, 1, b in ascending order.
b, c, y, 1
Let z be (4/3)/((-122)/183). Let j = -0.154 + 2.154. Put z, 3/7, j, 0.28 in descending order.
j, 3/7, 0.28, z
Let