 in increasing order.
a, 2/11, 4, 9
Let m = 50 - 58. Let t = m + 6. Let i = 5 - 9. Put i, -3, t in ascending order.
i, -3, t
Suppose 3*k + 3*h = -2*k + 11, k - 3*h + 5 = 0. Sort -3/2, -42, k.
-42, -3/2, k
Suppose v - 19 = -5*s + 3, 4 = 2*s - 2*v. Suppose h = -f + 3, -8 + 2 = -4*h + 2*f. Let b be (-1)/2*(-12 + h). Sort 2, b, s in descending order.
b, s, 2
Let o = 1.446 - 0.946. Let u = -94/45 - -11/5. Put -4, o, u in descending order.
o, u, -4
Let m be 3/6*(0 - -6). Suppose 0 = -3*o - 14*o + 85. Put o, 6, m, -4 in decreasing order.
6, o, m, -4
Suppose 6*s + 0*s = 0. Suppose 2*w = -5*j - s*j - 49, -3*w = -5*j - 39. Sort j, 3, 4 in decreasing order.
4, 3, j
Let f be (14/12 + 68/(-102))*-8. Sort -15, 13, 5, f in decreasing order.
13, 5, f, -15
Let j be (4 - 2) + (-741)/18. Let c = j + 39. Sort 0.3, -2, c in decreasing order.
0.3, c, -2
Let b(w) = w**2 - 7*w + 8. Suppose 11 = 2*o - a, -30 = -5*o + 4*a + a. Let y be b(o). Sort 2, -7, y, -5 in descending order.
2, y, -5, -7
Let r be (214/(-4))/(6/12). Let u = 109 + r. Suppose -n + 1 = 0, 2*d + 4*n = d + 3. Sort d, 3, u.
d, u, 3
Suppose 11*m - 8 = 13*m. Sort 2, -16, m in ascending order.
-16, m, 2
Let f = -26 + 15. Let y = f - -4. Put y, -4/5, -0.5 in decreasing order.
-0.5, -4/5, y
Suppose -3*w - 30 = 4*k - 0*w, -3*w - 21 = 3*k. Let l be (6/k + 2)*9. Suppose -14*z - 4 = -l*z. Sort 4, -1, z in ascending order.
z, -1, 4
Let o be ((-3)/(-4)*-3)/((-4)/176). Let y = o - 102. Let l = 11 + -15. Put 7, l, y in increasing order.
l, y, 7
Let b = -124 - -124. Suppose b = 2*f + 3*p - 4 - 6, -3*p = -f + 14. Put -3, f, -1 in decreasing order.
f, -1, -3
Let u = -779 - -782. Let i be ((-134)/(-6))/((-2)/3). Let j = i + 131/4. Sort j, -1/5, u in descending order.
u, -1/5, j
Suppose 4*m = 3*s - 21, 2*s = -s + 2*m + 21. Let v = 33 - 35.2. Let y = -2.8 + v. Sort s, y, -0.2 in ascending order.
y, -0.2, s
Suppose 3*p - 3 = 0, 0 = 5*q + 2*p - 0*p - 302. Let y be (5/q)/((-2)/(-8)). Let x = 2.6 - -0.4. Put -2/7, y, x in decreasing order.
x, y, -2/7
Let d = -2 - -2.4. Let b = 2396 + -2394. Put 2/7, 1/2, d, b in increasing order.
2/7, d, 1/2, b
Let a = -151 + 152. Put 3/2, a, -5, 20 in decreasing order.
20, 3/2, a, -5
Let f = 23 - 21. Suppose 0 = -f*l + 22 - 24. Suppose 0 = u + 5*t - 27 - 3, -5*t + 25 = 0. Sort l, 0, u.
l, 0, u
Suppose -j = -4*j - 15. Let s = -811 + 803. Put -4, j, s, 2 in descending order.
2, -4, j, s
Let q(r) = r + 4. Suppose -2 = -x - 2*v, -x - 7*v = -2*v - 5. Suppose -2*g - g = -s - 4, g = x. Let l be q(s). Put l, 3, -3 in ascending order.
-3, l, 3
Let j(q) = q + 1. Let h(u) = 2*u + 12. Let i(n) = -h(n) + 3*j(n). Let c be 2*((-27)/(-6) - 0). Let x be i(c). Sort x, 1, -5.
-5, x, 1
Let r = 27 + -25. Let d be (-22)/(-210) - (-1)/(-5). Sort -1/5, r, d.
-1/5, d, r
Suppose -15*w = -2*w - 39. Put 4, w, -1, 0 in ascending order.
-1, 0, w, 4
Let y = 6 - 5. Let h = -53 - -45. Let z be (-5 - 36/h)/((-2)/(-4)). Put z, 5/3, y in descending order.
5/3, y, z
Let d = 2/1029 + -11327/4116. Suppose -15 - 10 = -5*z. Put z, d, -0.3 in descending order.
z, -0.3, d
Let t(s) = 2*s + 19. Let r be (20 + -16)*9/(-4). Let w be t(r). Suppose -1 = -2*v - 2*c - 17, 0 = v + 5*c + 28. Sort v, w, 6 in descending order.
6, w, v
Suppose -i = -2, 2*i - 5*i = -2*j. Let r be j/21*(-6)/8. Let w = 29/252 - r. Sort 2, w, -4 in descending order.
2, w, -4
Let m(g) = 2*g**3 + 4*g**2 + g - 2. Let k be m(-2). Let n = -6 + 4. Suppose 0 = 609*w - 617*w. Sort w, n, k in ascending order.
k, n, w
Let u be (-3 - 7/(-7))/(-2). Sort 0, 229, u in ascending order.
0, u, 229
Let p be 41/(-2) + (-24)/48. Let x be (-6)/p + (-75)/140. Sort x, 0, -0.2 in decreasing order.
0, -0.2, x
Suppose 2*u - 4*q - 2 = 0, -3*u + 18 = u - q. Suppose -10 = u*w + 5*m - 0*m, 3*w = 2*m - 1. Sort -3, w, -4, 1 in descending order.
1, w, -3, -4
Suppose -4*q - 20 = 5*i, 4*q = -14*i + 10*i - 20. Sort 19, 2, -3, q in descending order.
19, 2, -3, q
Let u = 13 + -28. Let a = -13 - u. Suppose n + 2*h - 5 = 0, -4*n + 2*h = -n + 9. Sort 4, n, a in descending order.
4, a, n
Let f be 1*(2 + 2/(-1)). Suppose -2*a + 5*t - 120 = f, 3*a + 0*a - 2*t = -202. Let x be (-16)/(-42) + (-20)/a. Put 4, x, -2/3 in descending order.
4, x, -2/3
Let h(o) = 2*o**2. Suppose -9 = 3*b, -1 = y + 2*b + 6. Let m be h(y). Suppose 9 = v - 4*v. Sort v, 5, m.
v, m, 5
Let r = 22 - 13. Suppose -4 = -5*d + r*d. Let y = 6 + -10. Put y, d, -5 in increasing order.
-5, y, d
Let w be 14/(-6) - (-14)/(-21). Sort w, 5, 4, 0.
w, 0, 4, 5
Let a be (-316)/37*6/(-182). Let b = a - -2/481. Sort b, 4, 0 in decreasing order.
4, b, 0
Let g be 4/(-24)*36/(-24). Sort g, -3/2, -1, 64 in descending order.
64, g, -1, -3/2
Suppose -4*v = s - 9, -v - 4*s - 6 = -27. Let y = -3 + 6. Sort v, 5, y in decreasing order.
5, y, v
Suppose -15*r = -14*r + 10. Let y be 8 + r - 4*-1. Sort 4, 15, y in descending order.
15, 4, y
Let g = -117/55 - -30/11. Put 2/11, 0.03, g in increasing order.
0.03, 2/11, g
Let d = -1.37 - -1.57. Let z = 0.3 - 3.3. Put z, -1, d in descending order.
d, -1, z
Let l(n) = n**3 + 4*n**2 - 2*n - 3. Let x be l(-4). Let u be ((-6)/(-10))/((-25)/125). Sort x, -2, u in descending order.
x, -2, u
Let r = -0.2 - -0.3. Let u = r - 1.1. Let q be (0 - 2) + 2 - (3 - -1). Sort u, 5, q in increasing order.
q, u, 5
Let g be 95/(-38) - (-63)/30. Suppose -2*m - f - 1 + 0 = 0, -m + 4*f + 13 = 0. Sort g, 0.1, m in ascending order.
g, 0.1, m
Suppose 5*h + 10 = 25. Suppose -7 - 7 = -h*x + z, -5*z = -2*x + 31. Put 0, x, 2 in ascending order.
0, 2, x
Let t = -57 + 56. Let i be (1 - 0/(-4))*t. Put -5, i, 1 in ascending order.
-5, i, 1
Let t = 15 + -13. Suppose -p = 6*q - 3*q - 20, t*p + 4*q = 30. Let u(w) = -4*w**2 + 1. Let b be u(-1). Put -2, b, p in increasing order.
b, -2, p
Let l = -3102 + 3106. Sort 15, -3, 6, l in descending order.
15, 6, l, -3
Let v(m) = m**2 + 5*m - 3. Let z be v(-6). Let l = -1268 + 1265. Sort z, 2, l.
l, 2, z
Suppose 0 = 20*v + 272 - 252. Suppose 4*s = 5*t + 2 + 25, 4*t = 2*s - 18. Put t, 0, v in increasing order.
t, v, 0
Let o = 82 - 78. Suppose -6*h + h = 2*w - o, 0 = h + 2*w - 4. Put h, 27, -4 in decreasing order.
27, h, -4
Let i = 0.6 + -4.6. Let q = 510 - 512. Sort -0.3, 3, i, q in ascending order.
i, q, -0.3, 3
Let j = -1131 - -1131. Sort -10, -2, j in decreasing order.
j, -2, -10
Suppose -29*v + 27*v = -10. Sort v, -7, 4.
-7, 4, v
Let n = -86 - -347/4. Let q = -2 + -2. Let u = q - -6. Put n, -4, u in increasing order.
-4, n, u
Suppose -t + g + 34 - 30 = 0, 0 = 2*g + 10. Sort -4, t, -2, 41 in increasing order.
-4, -2, t, 41
Let i = 2117.3 + -2117. Put -2/17, 2/15, i, -1 in descending order.
i, 2/15, -2/17, -1
Let s = 212 + -212.5. Sort s, 0.08, -1/4, -1/3 in decreasing order.
0.08, -1/4, -1/3, s
Suppose -2*x + 7*x - 20 = 0. Let f = -853/8330 - -2/833. Put x, 0, -2, f in descending order.
x, 0, f, -2
Let y(d) = d**3 - 7*d**2 - 10*d + 11. Let g be y(8). Let o = 66 - 60. Let c be (2 - 0)*(-12)/o. Put -9, c, g in decreasing order.
c, g, -9
Let r = 0.02 - 3.02. Suppose -10*t + 0*t = 160. Let k = t + 15. Sort r, k, 6 in decreasing order.
6, k, r
Suppose -5*f = 20, 5*l + 21 = 2*f + 4. Put 0, 4, l, -11 in increasing order.
-11, l, 0, 4
Let n = -301/5 + 898/15. Sort -0.6, n, 4/9 in decreasing order.
4/9, n, -0.6
Suppose -5*d + 22 = -18. Suppose -2*h = -3*v - d, -5*h - v = v + 18. Sort -3, -0.3, h.
-3, h, -0.3
Let k(o) = -o**3 + 9*o**2 - 8*o + 8. Let z be k(8). Suppose 3*t - 2*n = z*t + 17, -n + 11 = -4*t. Let x = -86/135 - -1/27. Put x, -0.2, t in decreasing order.
-0.2, x, t
Let b = -5.52 - -2.52. Put 3, 0, b, -5 in ascending order.
-5, b, 0, 3
Let x = -10 + 9.2. Let j = -9 + 8.6. Let d = x - j. Sort d, 0, -3 in decreasing order.
0, d, -3
Let r = -210 + 206. Sort -5, r, 1, -3 in decreasing order.
1, -3, r, -5
Let y = -433 - -425. Put -0.5, -0.9, y, 0 in ascending order.
y, -0.9, -0.5, 0
Let i(d) = 19*d**3 - d - 18*d**3 - 4*d**2 + 0*d + 7. Let p be i(4). Sort -0.4, 3/7, p in increasing order.
-0.4, 3/7, p
Let g = 3/70 + -47/280. Sort g, 2, -154 in descending order.
2, g, -154
Let t = -2.864 + -0.136. Put -4, -4/5, t, -1/5 in ascending order.
-4, t, -4/5, -1/5
Let s(n) = -n**2 - 2*n + 4. Suppose -4*w - 16 = 3*h, -h - 4 = 5*w - 4*w. Let q be s(w). Let p = -4.03 + -0.97. Sort p, 3, q in decreasing order.
3, q, p
Let d be 9*(1/(-1))