d/9*(10 - 13). Sort 54, -5, z.
-5, z, 54
Let v = 6021 - 6030. Sort 3, -1.2, v in ascending order.
v, -1.2, 3
Let f = -9.347 - -8.347. Sort f, 2/17, -0.024.
f, -0.024, 2/17
Suppose 2*w = 4*t + 10, 4*w + 3*t + 2 = -0*w. Suppose 1 + 15 = 2*r. Sort w, r, 2 in ascending order.
w, 2, r
Let f be (-640)/(-12)*(-5)/(75/18). Put 5, -25, f in descending order.
5, -25, f
Let k be 5 - (-1053)/(-216) - 2/16. Sort 17, -81, k.
-81, k, 17
Let m be 54/(-4)*(-40)/6. Let q = m - 269/3. Sort -2, 2/9, -4, q in increasing order.
-4, -2, 2/9, q
Suppose 0*q - 3*q = -h - 8, 10 = q - 4*h. Let n be (82/30 - q/6) + -2. Let b = -2 + -2. Put b, -0.1, n in decreasing order.
n, -0.1, b
Let r = -6511 - -6489. Put -8, -4, r, 5 in ascending order.
r, -8, -4, 5
Let c = 2.6 - 3. Let d = 2182/7 - 13939/42. Let i = 59/3 + d. Sort -5, 1/3, c, i in ascending order.
-5, i, c, 1/3
Let i(c) = 22*c + 1432. Let l be i(-65). Sort -429, l, 0, 5 in increasing order.
-429, 0, l, 5
Let b be 60/24 - ((-4)/(-8) - -5). Put -0.2, -3.03, b in increasing order.
-3.03, b, -0.2
Suppose -c + 32*c = 18*c. Sort 762, -4, c.
-4, c, 762
Suppose -499 = 2*i - 507, i = o - 1. Sort o, 0, -5, -4, -221 in decreasing order.
o, 0, -4, -5, -221
Let z = 26.1 + -0.1. Let k = -23 + z. Sort k, 0.1, 4, -1 in ascending order.
-1, 0.1, k, 4
Let q = 0 - -0.01. Let p = 7 + -46/7. Let t = -237726 - -237731. Sort q, p, 0.2, t in decreasing order.
t, p, 0.2, q
Let b(y) = -2*y**2 + 25*y + 217. Let z be b(-6). Sort 1, z, -2, 2 in decreasing order.
2, 1, -2, z
Let v = -23 - -163/7. Let p = 1.197 + -0.197. Let q = -4.9 + 5. Put p, q, v in ascending order.
q, v, p
Let g be -3 - 5/(-10)*8. Let y(n) = -n**2 - 67*n - 1032. Let r be y(-43). Put r, -0.25, g in descending order.
g, r, -0.25
Let m = 22 - 19. Let q = 3 - m. Let j = -25378/9 + 2820. Put j, 6, q in decreasing order.
6, j, q
Let v = 85 + -190. Let u = 100 + v. Sort u, -0.1, 2/3, 4/7 in increasing order.
u, -0.1, 4/7, 2/3
Let l(j) = -j**3 + 2*j**2 + 64*j - 128. Let f be l(2). Sort f, -125, -0.5.
-125, -0.5, f
Let k = -5965 + 6014. Put k, -2/7, 2/7, -6 in decreasing order.
k, 2/7, -2/7, -6
Suppose -3*g - 90*t + 94*t + 7 = 0, 0 = 3*g - 5*t - 11. Put -5, -2, -6, g, 10 in decreasing order.
10, -2, g, -5, -6
Let c(s) = -7*s**2 - 93*s - 31. Let v be c(-13). Let q be (-10)/(-14) - (-6)/21. Suppose -4*w = -u + 4, 0*w - u - 4 = 4*w. Sort -3, q, w, v.
v, -3, w, q
Let u = 167/2 + -82. Let o = -120.91 + 115.91. Sort o, u, -6/7.
o, -6/7, u
Suppose 3*r - 6 = -3*t, -2*r = -0*t - 2*t - 24. Suppose 425 = 18*o + r*o. Sort -1, o, 2.
-1, 2, o
Let m(r) = -r - 4. Let u(y) = -7*y + 46. Let d be u(12). Let v = -45 - d. Let i be m(v). Put 23, i, 5, -4 in decreasing order.
23, 5, i, -4
Let p = -0.1146 - -0.0546. Sort 33, p, 4, -4/7 in decreasing order.
33, 4, p, -4/7
Suppose -23*n + 20*n + 90 = 3*k, -2*n = -4*k - 30. Suppose 23*v - 6 = n*v. Sort 0.2, 0, -4, v.
-4, v, 0, 0.2
Let i = 2099 + -2102. Put 4, 2, i, 0, -2 in increasing order.
i, -2, 0, 2, 4
Let c be (18/(-15))/3*6/8*10. Suppose 3*g = -3*q + g, 13 = -q - 5*g. Sort -10, q, c, -4 in ascending order.
-10, -4, c, q
Let m(q) = -3*q**3 + 25*q**2 + 22*q + 4. Let o be m(9). Let n be ((-3)/o)/(55/660). Sort 0.1, n, 0 in decreasing order.
0.1, 0, n
Suppose 5*m - 165 = -28*m. Suppose -3*p - 5*k = 17, -41*p + 40*p + m*k + 1 = 0. Sort 34, 1, p, -2 in increasing order.
p, -2, 1, 34
Let v(n) = -n**2 + 10*n - 10. Let y be v(7). Let w = -132 - -172. Let b = w + -42. Sort b, 5, y in descending order.
y, 5, b
Suppose 542 = 2*r - 4*w - 0*w, 0 = 5*r - 5*w - 1350. Suppose -261 + r = -2*s. Let x be (-1)/2 - 9/(-22). Sort -0.2, s, x, 2/9 in decreasing order.
2/9, x, -0.2, s
Suppose 5*g + 25 = 36*n - 41*n, n + 2*g + 13 = 0. Suppose 0 = -4*r - 28 + 116. Sort -2, 1, r, n in decreasing order.
r, n, 1, -2
Let t = 34604 + -34585. Put 1, -190, t in decreasing order.
t, 1, -190
Let n = 0.185 + -0.115. Let k = 2.4 - 4.4. Sort 4/5, k, 1/2, n.
k, n, 1/2, 4/5
Let h = 16899 + -16894. Put h, -2/15, -3/10, -1/2 in decreasing order.
h, -2/15, -3/10, -1/2
Let j = 4542 + -4540. Sort -0.1, j, -0.5, 23/7 in descending order.
23/7, j, -0.1, -0.5
Let m = 22.12 - 24.12. Put 4, m, 127, 0.3 in decreasing order.
127, 4, 0.3, m
Suppose -w = 2*w - 27. Suppose 0 = 13*u - w*u + 20. Let o be 4/(-54)*(u - -2) - 0. Sort 0.09, 2, o in increasing order.
0.09, o, 2
Let u = -603.6 - -1175.5. Let l = -572 + u. Put 2/3, l, 2/13 in descending order.
2/3, 2/13, l
Let s = -16 - -29. Suppose -2 + s = r. Let x = 167 - 163. Put r, 2, x in descending order.
r, x, 2
Let h = -1364.22 - -1364.8. Sort -19, h, 0.5, 0 in decreasing order.
h, 0.5, 0, -19
Let w be 1570/(-1099)*(-28)/50. Put 0, 8, w, -0.2, -72 in decreasing order.
8, w, 0, -0.2, -72
Suppose 2*t + 3 = l, -2*l - 3*t + 4 = -9. Suppose 0 = -5*z - 45 - 10. Suppose 1040*d + 8 = 1038*d. Put -2, z, d, l in ascending order.
z, d, -2, l
Suppose 0 = -t - 2*p + 6 + 2, -16 = 5*t - 4*p. Suppose 0 = -59*u + 111 + 7. Let f(x) = 7*x - 115. Let o be f(17). Sort -1, u, t, o.
-1, t, u, o
Suppose 0 = -4*i - 3*t + 12 + 15, 0 = 3*t - 15. Suppose 3*o = -i*o - 18. Put -15, o, 0.1 in descending order.
0.1, o, -15
Let l(h) = -h**3 + 61*h**2 + 47*h + 931. Let p be l(62). Put 155, p, -34, -5 in descending order.
155, p, -5, -34
Let y = -5.824 + 6.824. Let d = -1.4 - -9.4. Put y, -0.1, d in descending order.
d, y, -0.1
Let o = 11.999 - 12.721. Sort 0.4, 0.2, -2/7, o in ascending order.
o, -2/7, 0.2, 0.4
Let x = 8 + 2. Let n be ((-36)/210)/(2/x). Let o = 10 - 6. Put o, n, -1 in descending order.
o, n, -1
Let m = -2.425 + 0.425. Let j = 59 + -59.04. Let f = j - 0.06. Put 24, f, -0.5, m in ascending order.
m, -0.5, f, 24
Let r be (-1020)/(-6120)*(2 - -16). Suppose 16 = -4*p - 0*p. Put r, 0, p, 11/5 in decreasing order.
r, 11/5, 0, p
Let g = 15.242 - 10.242. Put 2, 5/3, g, 4, 13 in descending order.
13, g, 4, 2, 5/3
Let s = -0.0016 - -41.4016. Let h = 58.5 - s. Let x = h + -17. Sort 0, x, -3 in ascending order.
-3, 0, x
Suppose i - r = -64, -4*i + 2*i = 2*r + 144. Let k = i + 64. Let z be (-4)/(-8)*(-10 - -4). Sort -2, k, z.
k, z, -2
Let g = -2/561 - 557/1122. Let u = 2.21 - 1.71. Sort -5, g, u, 4 in decreasing order.
4, u, g, -5
Let x = 15.1 - 91.1. Let a = x - -14. Let j = -61.7 - a. Put -0.4, -1, j, 1/3 in increasing order.
-1, -0.4, j, 1/3
Let w = -111/5 - -2119/95. Let u = -128096/5 - -25619. Sort w, -0.11, u in decreasing order.
w, -0.11, u
Suppose 4*y + 4 = k, -3*y - 28 = -3*k - 7*y. Sort -2, 12, k in decreasing order.
12, k, -2
Let s be (-3)/((-9)/53)*-3. Let g = 41 + s. Let m be (-5)/((-4)/g*-3). Put -1, -3, m in decreasing order.
m, -1, -3
Let f(p) = 32*p + 1035. Let w be f(-34). Sort -1, -3, w in decreasing order.
-1, -3, w
Suppose -2*p - 63 = 3*o, 8*p = 6*p - 6. Let b be 1272/40 + (-1)/(-5). Let g = b - 28. Sort o, -5, g.
o, -5, g
Let r = 6645 + -6645.3. Put -2, -52, 0.3, r in decreasing order.
0.3, r, -2, -52
Let r be (1 - 9/4) + 1. Let d = 2.035 + -1.81. Let l = -0.075 - d. Put 3, l, r in descending order.
3, r, l
Let v = 21435 - 21432. Let q = -3 - -7. Sort q, -9, 2, v in descending order.
q, v, 2, -9
Suppose -9 = 71*i - 72*i. Suppose 0 = h + 3*y - 11, 6*y = -4*h + i*y + 14. Suppose 0 = -3*n - n. Sort n, -5, -7, h.
-7, -5, n, h
Let z = 0 - 0.5. Let o = 7291/3250 - 657/250. Sort o, 2, -1, z in descending order.
2, o, z, -1
Suppose 3*n + 2 = -j, -3*j - 5*n + 4*n = -2. Let y be (-10)/12 - (12 - (-169)/(169/(-13))). Let h = 5/63 + -2/9. Put 0.1, y, h, j in increasing order.
h, 0.1, y, j
Let g(u) = 3*u**3 + 2*u - 1. Let t be g(1). Let q = -76209 - -76211. Let w = -10 - -6. Sort q, 0, t, w in decreasing order.
t, q, 0, w
Let z = 247 + -239.78. Let j = 6.72 - z. Sort 0, j, -1/17, -4 in ascending order.
-4, j, -1/17, 0
Let r = 5580 - 5582. Put r, 1/3, -4, -5, 3 in descending order.
3, 1/3, r, -4, -5
Let l(x) = -x**2 - 8*x + 3. Let q be l(-8). Suppose -5 = 2*r - p - 4*p, -18 = -q*r - p. Suppose -2 - 18 = -5*k + r*z, -5*k - 10 = 5*z. Sort -2, k, -5.
-5, -2, k
Suppose 461*a + 180 = 481*a. Suppose -5*o + 8*o - 21 = 0. Suppose 0 = -o*r - 5 - 2. Put -2, a, r, -4 in ascending order.
-4, -2, r, a
Let z = -1339 + 1515.4. Let i = -176 + z. Put -2/15, 0.9, i in descending order.
0.9, i, -2/15
Let i = 24631 - 24630. Put i, 0.4, -1/6, 5, 118 in increasing order.
-1/6, 0.4, i, 5, 118
Let s = 