ng order.
z, i, 1
Let x(t) = 11*t - 210. Let j be x(19). Put -3, j, 5 in descending order.
5, j, -3
Suppose 4*x - 3*x - 2 = 0. Let s = -1326 + 1326. Sort s, -4, x, 1 in decreasing order.
x, 1, s, -4
Suppose -3*g + 5*h - 10 = -2*g, 3*g = 6*h - 3. Sort g, 2/9, 2/267 in increasing order.
2/267, 2/9, g
Let n = -0.233 - -0.333. Put n, -2/15, -11, -4 in increasing order.
-11, -4, -2/15, n
Let h = 17.2 + 3.8. Let q = -20.5 + h. Let o(a) = -a + 8. Let w be o(0). Sort -5, w, q.
-5, q, w
Let c = -2 - -5. Let x be 2*1 + 64/11. Let y = -8 + x. Sort y, c, 0.5 in increasing order.
y, 0.5, c
Suppose -17*k = -5*k + 36. Let u be (-25)/10 + (-2)/(-2). Put k, u, 35 in ascending order.
k, u, 35
Let b = -174 - -173. Put -5, -3, -0.2, b in increasing order.
-5, -3, b, -0.2
Let n be (-4)/(-86)*12*-1. Let h = n - 854/473. Let f = -108/55 - h. Sort -1/10, 6, f in decreasing order.
6, f, -1/10
Suppose 2 = -4*l + 7*l + g, -l = 3*g - 6. Suppose m - 2 - 1 = l. Put m, 4, 1/3 in decreasing order.
4, m, 1/3
Let h = -228 + 228. Put -2, 5, 54, h in decreasing order.
54, 5, h, -2
Let p = -264 - -263. Put -5, p, -10 in decreasing order.
p, -5, -10
Let q = 6 + -3. Suppose 0*w - w = 5*s + 18, 5*w + 2 = -q*s. Let n = -40 - -119/3. Sort s, -3, n in descending order.
n, -3, s
Let f = 79 - 115. Let h = f + 35. Sort -3, -4, h, 1 in ascending order.
-4, -3, h, 1
Let z = 24.6 + -28. Let t = z - -1.4. Sort -5, -0.5, t in decreasing order.
-0.5, t, -5
Let q(k) = -13*k + 68. Let s be q(5). Sort -1, s, -17 in ascending order.
-17, -1, s
Let g = 41 - 30. Suppose 0 = -g*s + 12*s - 5. Sort 3, 2, s in ascending order.
2, 3, s
Suppose 6*a = 3*a + 99. Suppose 10*b - 11*b = a. Let u = -33 - b. Put u, -5, -1 in increasing order.
-5, -1, u
Let k = 63.5 + -63.9. Let b = 4.92 + 0.08. Put 0, 0.6, b, k in increasing order.
k, 0, 0.6, b
Let w = -1767 - -1772. Sort -4, -15/2, w in decreasing order.
w, -4, -15/2
Let a = 112 + -107. Suppose 12*i = 11*i. Put i, -3, a in decreasing order.
a, i, -3
Let u = 91/198 - -4/99. Sort u, 0.4, -1, 0.2 in ascending order.
-1, 0.2, 0.4, u
Let c(i) = 3*i**2 + 4*i + 3. Let l be c(-2). Let u(q) = -q**3 - 5*q**2 + 5*q - 5. Let f be u(-6). Let p = -894 + 892. Sort p, l, f in increasing order.
p, f, l
Let u = -0.11 + -0.39. Let x = -5.1 - -1.1. Let q = 4.1 + x. Sort u, q, 4.
u, q, 4
Suppose -12 = -3*b - b. Suppose 144*a - 134*a - 70 = 0. Put a, b, -2, -5 in decreasing order.
a, b, -2, -5
Let j(b) = -3*b + 4. Let r be j(3). Suppose -6 = -2*a + 4*a. Let g be 8/((-1)/(a/6)). Sort 1, g, r.
r, 1, g
Suppose -12 = -7*b + 16. Sort 3, b, 0.04, -5/3 in increasing order.
-5/3, 0.04, 3, b
Let u = 0.2 - 0.09. Let z = 1657 + -4969/3. Put 0.3, z, u in descending order.
z, 0.3, u
Let j = -18 + -37. Let r = 51 + j. Put 1, 2, r, -1 in decreasing order.
2, 1, -1, r
Suppose -2*s = -4*s. Suppose -8*x + 4*x + 4 = s. Let m = 2 - 3. Sort x, -5, m in increasing order.
-5, m, x
Suppose 17 + 8 = 5*s. Suppose 0 = 36*f + 15*f - 102. Sort f, s, 1.
1, f, s
Suppose 3*l = -q + 2*q - 4, -4*q - 10 = l. Let x be q + -3 - (-2 + 0). Let f be (-8)/x - 24/36. Sort -4, f, -3 in descending order.
f, -3, -4
Suppose -w + 3 + 7 = 0. Suppose w*d = 8*d - 2. Let v = 853/9 + -95. Put v, -0.1, d in ascending order.
d, v, -0.1
Let k = 44 + -49. Put 2/7, -0.2, k in decreasing order.
2/7, -0.2, k
Let z(c) = c - 7. Let i be z(6). Let q = i - -11. Suppose 5*x + 0 = q. Sort -5, 3, x.
-5, x, 3
Let p be 3/(-6) + 14/20. Let k = -15.75 + 16. Let r = k - 2.25. Sort -0.5, r, p in descending order.
p, -0.5, r
Let l = 3.68 - 3.49. Let c be (1 + -6)*4/(-10). Put c, l, -0.5 in descending order.
c, l, -0.5
Let p = 0.41 + -0.47. Let d = 5.06 + p. Put d, -2/17, 2, 1 in descending order.
d, 2, 1, -2/17
Let p = -7 - -15. Let u = 4 - p. Let o be (-6)/(-4) + 8/(-4). Sort -4/7, o, u in descending order.
o, -4/7, u
Let g be (-720)/(-35) - 4/7. Suppose 2*l + 2*l = g. Suppose 3*p - l*p + 10 = 0. Put 4, -3, p in descending order.
p, 4, -3
Let k = 743/1474 + -3/737. Sort k, -2/7, -28/9 in decreasing order.
k, -2/7, -28/9
Suppose 2*r + 10 = 0, 3*r + 9 = 4*u - 2. Let g be 1/((-1)/11)*u. Let h = g - 3. Put 1, 4, h in ascending order.
1, 4, h
Let p be (5/(-5))/(2/4). Let y = -0.3 + 0.5. Let t be ((-6)/5)/((-21)/70). Sort p, t, y.
p, y, t
Let y = 1123 + -1134. Let c be (-12)/91 + 4/14. Sort y, -3, c in descending order.
c, -3, y
Let n(b) = b + 5. Let y be n(-4). Let l be -6*(-1)/(2 - -1). Let f be l/3 + 11/(-3). Put -5, y, f in increasing order.
-5, f, y
Suppose -2*l = -4*l + 4. Suppose -32 = 16*w - 13*w - 4*s, 3*w - 3*s + 27 = 0. Put -8, l, w, 4 in increasing order.
-8, w, l, 4
Let f = 2379 - 2383. Sort 4, f, 1, -76 in decreasing order.
4, 1, f, -76
Let s(v) = -2*v**2 + 6*v + 6. Let m be s(3). Suppose 10*a - m = 44. Sort 7, a, 2.
2, a, 7
Let b be 75/12*(-2)/15. Let s = -14 - -10.9. Let v = 0.9 - s. Sort -7, v, b in descending order.
v, b, -7
Let h = -14 + 31. Let a = -10 + h. Suppose 40*v - 6 = 43*v. Sort a, 3, v.
v, 3, a
Let z = 0.08 - 3.08. Let i = 158/627 + -4/57. Put i, 0, z in descending order.
i, 0, z
Let b = 404 - 408. Put 0.5, b, -50 in ascending order.
-50, b, 0.5
Let n = 415 - 416. Put 5, 2/19, -0.03, n in ascending order.
n, -0.03, 2/19, 5
Let z be (1 + (-20)/8)*84/(-9). Suppose 0 = -10*l - 4*l + z. Sort 5, -1, -4, l.
-4, -1, l, 5
Suppose -27*o = 3*t - 32*o + 2, -5*t - 10 = -5*o. Suppose r - 4*r + 18 = 0. Sort -1, t, -2, r.
t, -2, -1, r
Suppose 45 = -4*o - 5*o. Sort 0.5, o, -40 in descending order.
0.5, o, -40
Suppose 0 = -11*o + 12*o, -c + 2*o = 1. Sort c, -0.38, -4 in decreasing order.
-0.38, c, -4
Let i be ((-6)/(-18))/((-1)/(-3)). Let s(u) = -u - 5. Let b be s(-8). Let a = 1 - b. Sort i, a, -5 in ascending order.
-5, a, i
Let c = -0.1998 - 0.8002. Sort -4.7, -4, c, 2 in ascending order.
-4.7, -4, c, 2
Let g = -2 + 1. Let s be -6*6/(-44) + 154/847. Put -0.14, g, s in decreasing order.
s, -0.14, g
Let u be (10/(-4) - -1)*-2. Let z be (-650)/260 + (-9)/(-2). Put z, 1, u, -4 in descending order.
u, z, 1, -4
Suppose -3*s = 4*f + 15, -4*s - 20 = 3*f - 0*s. Sort -2, -3, f, 3 in increasing order.
-3, -2, f, 3
Let d be -21*2/(-4)*26/39. Let i be ((-44)/(-28) + -3)*d. Put 5, 4, i, -4 in descending order.
5, 4, -4, i
Let j = -0.189 - 29.811. Let h = j + 25. Let z be (-2)/(-4) + 7/(-2). Put 2, z, h in decreasing order.
2, z, h
Let w = -0.218 - 6.782. Put -0.3, -0.4, w in ascending order.
w, -0.4, -0.3
Let x(y) = -y**3 + 9*y**2 + 25*y - 15. Let c be x(11). Let v be c/4*(-6)/(-9). Put -1, 4, v, 1 in decreasing order.
4, v, 1, -1
Suppose -8*w = -257 + 233. Sort w, -3/2, -0.2, -2 in increasing order.
-2, -3/2, -0.2, w
Suppose -13*b = -11 + 11. Sort -4, b, -11, -10 in descending order.
b, -4, -10, -11
Let j = -68 + 72. Let x = 61 + -672/11. Sort x, -12, j in descending order.
j, x, -12
Let p = 6 - 1. Let y be (2/(-11) - (-32)/(-308))/2. Sort 4, p, y, 3 in decreasing order.
p, 4, 3, y
Suppose -18*u - 18 = -17*u. Let j = 9 + -9. Put j, 3, u in descending order.
3, j, u
Let n = 674 - 679. Put n, 11, 0 in descending order.
11, 0, n
Suppose 0 = -3*h - 6, 0 = 3*b - 5*h - 114 + 116. Suppose -3*a + 6*a = -m + 11, a = -5*m - 1. Put b, -7, -5, m in increasing order.
-7, -5, b, m
Let c be (3 - -3)*(-1)/(-2). Let m be c/(-2 + (3 - 2)). Let g(f) = -4*f - 42. Let b be g(-11). Sort 2/9, m, b in increasing order.
m, 2/9, b
Let c = 9.92 - 10.8. Let k = -0.48 - c. Sort 1, -3, k.
-3, k, 1
Let k = 232 + -459/2. Put k, -4/17, -5 in ascending order.
-5, -4/17, k
Let x = 43 - -50. Sort 2, 1, x in descending order.
x, 2, 1
Suppose -6 = 3*y - 15. Suppose n + 1 + y = 0, 3 = -5*j - 2*n. Let b be (2 + -2 - 2) + 1. Sort j, 2, b.
b, j, 2
Let l be (-1*(-2)/18)/(-1). Let z = -93391/45 + 10379/5. Sort l, -3/2, -5, z.
-5, -3/2, l, z
Suppose 2*h + 218 = -8*d + 4*d, -5*h = -4*d - 239. Sort 1, d, -4 in descending order.
1, -4, d
Let a(z) = -z**3 + 2*z**2 + 4*z - 1. Let r be a(3). Let m(l) = 152*l + 1675. Let s be m(-11). Sort r, s, 1, 8 in decreasing order.
8, s, r, 1
Let j = 2.6 - -0.4. Let q = -113 - -113.2. Let i be (1 + 6/(-10))/(-2). Put i, j, q in descending order.
j, q, i
Let l(h) = h + 10. Let y be l(-8). Suppose y*u - u = 3. Put -5, 0, u in increasing order.
-5, 0, u
Let o = 0.2 + 4.8. Let u = -679 - -678.7. Put -4, u, 3, o in descending order.
o, 3, u, -4
Let u(g) = -8*g - 40. Let s