 2 in increasing order.
-96, f, 2
Suppose 3*f - 3*g = 45, -2*g - 87 = -2*f - 3*f. Let b = -25 + f. Sort -2, 2, b in decreasing order.
2, -2, b
Let a = 0.225 + -162.225. Let r = 167 + a. Put r, -2/9, 18/7 in decreasing order.
r, 18/7, -2/9
Let q = 564 + -566. Put -1, 0.5, -6, q in ascending order.
-6, q, -1, 0.5
Suppose -t - 4 = 1. Let b(d) = d + 23. Let j be b(-13). Suppose -6*h + h + j = 0. Put -3, h, t in decreasing order.
h, -3, t
Suppose -5*z - 3*p - 6 = 0, 5*p + 2 - 29 = 4*z. Let c = 33 + -29. Put -12, c, -1, z in descending order.
c, -1, z, -12
Let x = 2.25 - 0.25. Let q be (-2)/3 + (-1831)/21. Let m = q - -88. Sort m, x, -0.4.
-0.4, m, x
Let t = -2092 - -2087.9. Sort 5, t, 1 in ascending order.
t, 1, 5
Let y(k) be the third derivative of -k**4/24 + 3*k**3/2 + 5*k**2. Let h be y(6). Put 0, -1, h in ascending order.
-1, 0, h
Let a(z) = -2*z**2 - 21*z + 33. Let l be a(-12). Sort -16, l, 1 in ascending order.
-16, l, 1
Let u(j) = -7*j + 11. Let q be u(0). Sort 2, 3, q in descending order.
q, 3, 2
Let w be (160/30)/(-5*(-2)/75). Sort 0, w, 3 in decreasing order.
w, 3, 0
Suppose -3*r - 6*z = -5*z - 10, 3*r + 5*z = -10. Sort -1, r, 7, 0 in ascending order.
-1, 0, r, 7
Let a be (-32)/55 + (-2)/(-5). Let b be ((-15)/12*1)/(1/(-8)). Suppose -b = -5*h + j, 5*j = -2*h - 2*h + 37. Sort h, -3, a in decreasing order.
h, a, -3
Let g be (-6)/(-4) - 3/(-6). Let u = 635 - 639. Put u, g, -5 in ascending order.
-5, u, g
Let w = -147 - -147. Let x be (-4 - (-8)/1) + w/2. Suppose 10 = 2*u - 5*t, -4*u + 4*t = -0 - 8. Put -2/13, x, u in ascending order.
-2/13, u, x
Let o = -136 + 140. Sort -3, o, 5, 18 in descending order.
18, 5, o, -3
Let f = -14 - -15.3. Let m = f + -1. Sort -2/9, m, -1/3 in descending order.
m, -2/9, -1/3
Let y = 8.49 + -8.99. Sort y, 0, 1/10, 2.
y, 0, 1/10, 2
Let u be (-8)/(-44) + 6/88. Let o = 0.8 + -6.8. Let l = o - -2. Put l, u, 5 in increasing order.
l, u, 5
Let m(r) = 247*r**3 + 2*r**2 + 2*r + 1. Let z be m(-1). Let t be -2*(-3)/(-2) + z/(-78). Put 4, 2/3, t, -2 in descending order.
4, 2/3, t, -2
Suppose 41*n - 12 = 4*h + 39*n, 2*h + 10 = 2*n. Put 3, h, 22 in descending order.
22, 3, h
Let u = 3 + 2. Let l = -1478 - -1482.7. Put l, -0.5, u in descending order.
u, l, -0.5
Let d be 1 + (-1)/((-6)/(-8)). Let a = 2.6 - 31.6. Let p = a + 32. Put p, d, -1 in descending order.
p, d, -1
Let c be 130/26 + 1/(-2)*10. Let j be ((-1)/(-3))/((-2)/(-12)). Suppose -j*w + 5 = 3*w, -53 = 3*r + w. Sort r, 1, c in decreasing order.
1, c, r
Let d = -2147/8 + 268. Let l = 11 + -9. Let v = 157 - 159. Sort v, l, d in increasing order.
v, d, l
Let l(a) = a**2 + 3*a - 7. Let j be l(-5). Suppose 0 = j*i + o - 2, -2 = -4*i - o. Put 1, i, 14 in decreasing order.
14, 1, i
Let m = 7 + -15. Let l = -18 + 6. Let u = m - l. Sort 5/4, -5, u in increasing order.
-5, 5/4, u
Suppose -21 = -101*n + 94*n. Put n, 0, -0.2, 4 in ascending order.
-0.2, 0, n, 4
Suppose 3*n + n - 26 = 2*x, -3*n = -3*x - 27. Let a be (2/(-2) - -3) + (13 - 11). Let o be 5*n/10 - a. Sort -3, -1, o in descending order.
-1, o, -3
Let m be 5/(-30) + 3/12. Sort 2, -1, m, 3.
-1, m, 2, 3
Suppose 2*g - b - 20 = 4*b, -40 = -4*g - 2*b. Let y = g - 12. Let c(j) = j**2 - j - 5. Let w be c(4). Put y, 4, w in ascending order.
y, 4, w
Suppose -3*r - 5*u - 10 = 0, -2*u + 19 = 4*r + 9. Sort 0, 9, 15, r in descending order.
15, 9, r, 0
Let s = 27 - 47. Let h = 12 + s. Let v = 6 + h. Sort -1, 7, v.
v, -1, 7
Let f be (-2)/6 + -7 + 8. Let x = f - 1. Sort 5, x, 4 in decreasing order.
5, 4, x
Suppose -2*z - 8 = -4*z + t, -5*t = 3*z - 38. Let k(v) = v**2 - 5*v - 7. Let m be k(z). Let w = -3 + m. Put 1, w, -1/2 in ascending order.
w, -1/2, 1
Let r = 1 + -1. Let c = 2.3 - -1.7. Put r, c, -0.1 in decreasing order.
c, r, -0.1
Let r be ((-21)/6 + 3)*2. Let t be 3 + 3 + -5 + -1 + 5. Sort 1, r, t, 3.
r, 1, 3, t
Suppose 0 = 2*o + 6*o + 16. Sort -3, -5, -20, o.
-20, -5, -3, o
Let k = 21 + -11. Let p(w) be the third derivative of w**4/24 - 7*w**3/6 + w**2. Let y be p(k). Put -3, y, 0 in increasing order.
-3, 0, y
Let u(w) = 2*w - 9. Let i be u(6). Let l = 187 + -183. Put -0.2, i, l, 8 in decreasing order.
8, l, i, -0.2
Let h = 16 - 24. Let k(x) = -156*x - 783. Let o be k(-5). Put o, -5, -4, h in increasing order.
h, -5, -4, o
Let a(u) = 2*u + 9. Let l be a(-7). Let y = 804 + -804.11. Sort y, l, 3.
l, y, 3
Suppose -4*m + 20 = 0, -2*m - 57 = -2*n - 3*m. Suppose -4*u + 2 = -x, u = -x - 3*x + n. Sort 5, -5, x, 1 in increasing order.
-5, 1, 5, x
Suppose 6 = o + 2. Let l be 5/(-6 + (-25)/(-4)). Suppose -5*h = -l*h + 15. Sort o, h, -9 in increasing order.
-9, h, o
Suppose 0 = -v + 2*v - 4. Suppose -5*t + 7 = -4*g, -4*t + v + 4 = -4*g. Let f be ((-60)/18)/((-4)/6). Put f, -5, t in decreasing order.
f, t, -5
Let s(k) = k**3 - 6*k**2 + 8*k - 12. Let i be s(5). Let y be (-34)/3 + 7/21 + -2. Put i, 5, y, 0 in descending order.
5, i, 0, y
Let a = -77365/7 - -11016. Let j = -36 - a. Suppose 4*i = -3*c - 1 + 2, -3*c - i - 2 = 0. Sort -4, c, j in descending order.
j, c, -4
Let b = 323 - 329. Put -1, 10, b, -5 in decreasing order.
10, -1, -5, b
Let r = 92 - 92.2. Sort 8, 4, r in descending order.
8, 4, r
Let l = -2 + 1. Let n = 14665/4 - 3666. Let d be 1*-3*51/(-9). Sort n, d, l in descending order.
d, n, l
Let i(l) = l**3 + 3*l**2 + 1. Let u be i(-3). Let w = 4 - u. Let g = 17 - 21. Sort g, -2, w in descending order.
w, -2, g
Let g = -17 - -9. Let u = -9 - g. Let p be (u/(-3))/((-1)/(-9)). Put -3, p, 2 in descending order.
p, 2, -3
Suppose 0*x + 15 = s + 2*x, 3*s - x = 10. Suppose 5*d + o + 2*o + 9 = 0, -2*d = o + 3. Suppose -2*z - 7 - 3 = d. Sort s, 2, z in descending order.
s, 2, z
Suppose -3*n + 4*b - 27 = 0, 2*n + 36 = -2*n + 4*b. Let u = n - -14. Put 2, u, 3 in decreasing order.
u, 3, 2
Let x(p) = 14*p + 19 - 2*p**3 + 4*p**2 + 3*p**3 - 6*p. Let d be x(-3). Put 7, 3, d in ascending order.
3, d, 7
Let o = 554 + -592. Put o, -4, -3/5, 1/3 in increasing order.
o, -4, -3/5, 1/3
Let o be 0 + 1 + (2 - 5). Let q be (-3)/(33/(-12) - o). Suppose -v + 5*v = 24. Put -5, q, v in descending order.
v, q, -5
Let o(v) = -7*v - 26. Let y(p) = 4*p + 13. Let s(g) = -2*o(g) - 5*y(g). Let r be s(-3). Sort 0.2, -2/15, 2, r in ascending order.
-2/15, 0.2, 2, r
Let u be ((-366)/(-305))/(3/10). Sort 5, 2, -7, u in increasing order.
-7, 2, u, 5
Let l = -81 - -725/9. Put l, 7, 10, 0.1 in increasing order.
l, 0.1, 7, 10
Suppose 5 = 3*n - 4. Let d be 0 + 3 + -2 - (n + -1). Put -5, 3, d in ascending order.
-5, d, 3
Suppose -3*i = -26*y + 28*y - 12, 3*y - 5*i + 1 = 0. Put y, 7, 10 in ascending order.
y, 7, 10
Let v be -4 + 36/4 + (3 - 6). Put -1, -3, v in descending order.
v, -1, -3
Let s = 244 + -248. Sort 4, s, 9.
s, 4, 9
Let p = -11328/7 - -1618. Let v be (3/(-12))/1*-2. Put -1, v, p, -0.1 in ascending order.
-1, p, -0.1, v
Let k be (-4)/(4*4/(-8)). Let q be (0 - 0)*(5 + k)/7. Let h be (-6)/2 + 2 + 2. Put -1, h, q in decreasing order.
h, q, -1
Let x = -0.3 + 0.6. Let a = x + -0.1. Let d be 28/21*(-2)/16. Sort d, a, 1.
d, a, 1
Let b = -7.5 + 6.5. Let t = 1 - 0.4. Put 3, t, b in decreasing order.
3, t, b
Suppose 24 = -5*r + 4*i + 112, -3*i = -4*r + 71. Let g be ((-8)/r)/(2/(-5)). Put -0.5, g, -0.1 in decreasing order.
g, -0.1, -0.5
Suppose -2*v = h - 4*v - 43, v - 160 = -5*h. Suppose 4*l = -11 + 3. Put h, 1, l in increasing order.
l, 1, h
Let r = -0.016 + -0.284. Sort r, 0.4, 2, 1/8 in decreasing order.
2, 0.4, 1/8, r
Let b = 2 + 0. Suppose -b*w = -6*w. Let y be 4/(-38) + 2 + 165/(-57). Put -3, w, y in descending order.
w, y, -3
Suppose -5*q - 20 = y, -2*y - 4 = q + 9. Put y, 2, 6, -4 in ascending order.
y, -4, 2, 6
Suppose -u = 38*u + 4*u. Put 1, -0.001, 1/5, u in decreasing order.
1, 1/5, u, -0.001
Let j = -440 - -443. Put 48, 1, 2, j in ascending order.
1, 2, j, 48
Let t = -647 - -321. Sort -3, 2, t.
t, -3, 2
Suppose y = -y + 88. Put -1, 3, -3, y in decreasing order.
y, 3, -1, -3
Let d = 23 - 7. Let w = 15.6 - d. Put w, 1, -6 in descending order.
1, w, -6
Let l = -0.6 - 2.4. Let p = 1/31 + -33/62. Sort p, 0, l in descending order.
0, p, l
Let n = -63 + 73. Put 5, 2, n in decreasing order.
n, 5, 2
Let i = 6.4 + -6. Let p = 0.7 - i. Let t = 0.0046 - -0.4954. Sort p, -1, t.
-1, p, t
Suppose 4*q - 4*z + 10 = q, 14 = -3*q + 5*z. Let b(t) = 8*t + t**2 + 2*t**2 - 3 - t**2