 Let k be m(1). Let u = -236 - -238. Put -4, k, u in decreasing order.
u, k, -4
Let q be (30/6)/(5 + -4). Sort q, 3, 2, -11 in decreasing order.
q, 3, 2, -11
Let x(c) = -c - 6. Suppose -4*n - 12 = 0, 0 = -4*k + 2*n - n - 25. Let h be x(k). Let m be (0 - 2) + 6 - 0. Put h, m, 2 in descending order.
m, 2, h
Let t = 299 + -352. Sort t, 4, -2 in descending order.
4, -2, t
Let j = 0 - 0. Let f = 12.3 + -12. Let i = f - j. Sort 2/9, -5/4, i.
-5/4, 2/9, i
Let c = -0.345 + 5.345. Sort c, -5, -21 in increasing order.
-21, -5, c
Suppose 11*w = 6*w - 10, 3*w = v - 19. Put -12, -5, 0, v in decreasing order.
v, 0, -5, -12
Suppose 3*f + 91 - 81 = 4*m, 3*f + 9 = 3*m. Sort -2, m, -790.
-790, -2, m
Let h(g) = 2*g**3 - 14*g**2 + 9*g + 6. Let l be h(6). Sort l, 39, 2 in ascending order.
l, 2, 39
Let b = -12 + 11.3. Suppose 4*w - 65 + 45 = 0. Put -4, b, w in ascending order.
-4, b, w
Let s = 801655/58 - 13823. Let h = -4/29 + s. Put h, -2, 3 in decreasing order.
3, h, -2
Let q be 3/(-5) - (248/(-20) + 12). Put -2/5, q, -1/14, 0 in ascending order.
-2/5, q, -1/14, 0
Suppose 0 = 2*z + 3*j + 11, -z + 3 = j + 6. Let y be z/(((-6)/1)/(-12)). Put y, -7, 3, -1 in descending order.
y, 3, -1, -7
Let i = 1.3 - 3.05. Let c = -1.6 - i. Let p = 3.85 + c. Sort 1/3, p, -2/5.
-2/5, 1/3, p
Suppose 0 = -0*y - y + 5. Let d be (-33)/7 - ((-1632)/119 + 14). Sort d, y, 1 in descending order.
y, 1, d
Let a = -113 - -120. Put -5, -1, a, 2 in descending order.
a, 2, -1, -5
Let u = 5.6 - 6. Let d(g) = g**2 - 18*g + 52. Let q be d(15). Let z = 0.04 + -0.24. Put z, u, q in ascending order.
u, z, q
Let f(b) = 3*b**2 + 2*b. Let p be f(2). Let j = -14 + p. Put j, -2, 9 in ascending order.
-2, j, 9
Let t be 0 - -5 - (-7)/(-1). Sort -126, t, 1 in ascending order.
-126, t, 1
Let j be 10/(-4)*78/(-15). Let a(q) = 4*q**2 - 4*q + 3. Let c be a(2). Suppose j = -v + c. Sort v, 4, 5.
v, 4, 5
Let n = -151 + 155. Let y(v) = v**2 + 5*v + 6. Let h be y(-6). Suppose -c + 5*c - h = 2*i, -3*c + 3*i + 12 = 0. Put c, -2, n in increasing order.
-2, c, n
Suppose 2*r - 17 = -21. Let w(a) = -a**3 + 4*a**2 + 6*a - 4. Let v be w(5). Sort v, r, 4, 2 in decreasing order.
4, 2, v, r
Suppose 6 = 5*v - 2*f, 3*f - 6*f - 9 = 4*v. Put v, -27, 5 in decreasing order.
5, v, -27
Let l = -82 + 78. Let j be (-7)/6*18/(-112)*l. Sort -9, j, -2 in increasing order.
-9, -2, j
Let a = -0.041 + 0.055. Put -5, a, 4 in descending order.
4, a, -5
Let m = -0.1 + 0.2. Let t = 20 + -15. Let n be (-3)/45 + t/(-15). Put m, n, 2/15 in decreasing order.
2/15, m, n
Suppose 182 = 9*g + 4*g. Sort g, 4/15, 2/15.
2/15, 4/15, g
Let y = 0.78 - 0.74. Let z be -2 - 9/(-66)*16. Put 0.4, -2/9, z, y in descending order.
0.4, z, y, -2/9
Suppose 0*r = 7*r - 7. Let g(c) = -2*c + 2. Let l be g(r). Suppose -3*w - 25 = 2*w, 4*o - 3*w - 3 = 0. Sort o, 1, l.
o, l, 1
Let m = -2 + -1. Let i = m - -2.7. Suppose -17*l = -22*l. Sort i, 1, l in descending order.
1, l, i
Suppose 19*r + 7 = 7. Suppose -2*c = 4*u - c + 8, -5*c = 0. Let v be (-16)/7 - u/7. Put v, -4, r in decreasing order.
r, v, -4
Let c(p) = p**3 + 6*p**2 + 2*p + 12. Let s be c(-6). Suppose k + 2 = 2*v - k, -4*v + 5*k = -9. Put v, s, -5 in descending order.
s, v, -5
Let w = 162 + -1138/7. Let h(u) = -8*u - 5. Let y be h(-1). Put y, -3/7, w in descending order.
y, -3/7, w
Let v = 28 + -22. Sort v, -2, -0.5 in decreasing order.
v, -0.5, -2
Let k be (-5)/2*48/(-30). Suppose 2*g - 2*p - 6 = -4*p, 3*p - k = -2*g. Put g, -5, 0, -2 in descending order.
g, 0, -2, -5
Let u = 0.13 + -5.13. Suppose -4 = -4*a + 2*a + 2*m, 4*m = -2*a + 22. Sort a, u, 0.5, 0.4 in descending order.
a, 0.5, 0.4, u
Suppose c - 3 = o, 7*o - 1 = 6*o. Let u = 5 - 6. Sort 3, -4, u, c in ascending order.
-4, u, 3, c
Suppose 0 = -477*r + 471*r + 282. Sort 1, -3, r, -4 in descending order.
r, 1, -3, -4
Let t = 2.26 - 2.16. Sort t, -2, 2, -4 in increasing order.
-4, -2, t, 2
Suppose 4*g = -3*y + 25, 5 = 4*g + 2*y - 17. Let u(r) = 91 - 46 + 2*r - 53. Let o be u(g). Sort 1, -5, o in ascending order.
-5, o, 1
Let j = 1440 + -1430. Put -1/3, -1/4, j in ascending order.
-1/3, -1/4, j
Let m(b) = 26*b + 2. Let k be m(0). Sort -13, 3, k in ascending order.
-13, k, 3
Let k be ((-28)/84)/(2/6). Sort k, 23, -2.
-2, k, 23
Suppose -5*p - 37 = 123. Let a = p + 32. Let z = 2 + 2. Put a, z, -1 in descending order.
z, a, -1
Suppose -309*y + 310*y = 6. Sort -5, y, 3 in decreasing order.
y, 3, -5
Let q = -198 - -198.217. Sort 5, 0, q in decreasing order.
5, q, 0
Let h be (-5)/2*8/(-70). Let o be 40/(-100) - (-22)/30. Let i = -0.8 - 0.2. Put o, h, i in descending order.
o, h, i
Let a(i) = -i**3 - 7*i**2 + 10*i + 10. Let o be a(-8). Let h = 1 + o. Put 2, 3, h in ascending order.
h, 2, 3
Let x = -5.38 - -5.31. Put x, 0.4, -5, -0.4 in ascending order.
-5, -0.4, x, 0.4
Let l = -496 - -492. Put l, 5, -3 in ascending order.
l, -3, 5
Let z = -9 - -6. Suppose 2*q + 31 = -5*d - 4, -2*d + 2*q = 0. Let y be (-2)/(5/d + -1). Put y, -5, z in ascending order.
-5, z, y
Let j = -1 - -4. Let s(b) = -b**3 - 3*b - 3. Let x be s(-2). Suppose -17 + x = 3*y. Put j, -4, y in decreasing order.
j, y, -4
Let y = -8.18 + 0.18. Let a = 61.7 + -70. Let m = a - y. Sort 0, m, -2/19.
m, -2/19, 0
Suppose -4*o - 11 = q, q = -2*o + 5*o + 3. Suppose 2*h - 59 + 53 = 0. Put 15, 0, h, q in decreasing order.
15, h, 0, q
Let l(x) = 6*x - 99. Let y be l(16). Sort 5, -5, -13, y in decreasing order.
5, y, -5, -13
Let n = 24 - 24. Let z(m) = -m**2 + 9*m - 4. Let g be z(8). Put n, 2, g in descending order.
g, 2, n
Suppose 27*t = 28*t + 1. Sort 71, t, 2 in descending order.
71, 2, t
Let z be (-1)/((-2)/(-2))*0. Let o = -18 - -18. Let g be 3/(-3) - o/(-3). Put z, -3, g in increasing order.
-3, g, z
Suppose -2*p = 4 + 2. Let w(x) be the first derivative of x**2/2 + 9*x - 1. Let o be w(-10). Sort o, 2, p in ascending order.
p, o, 2
Suppose -4*n = 4*m + 3 + 1, 0 = -4*n - 5*m - 3. Let r = 0 + 1. Let c = r - 1. Sort c, n, -4 in ascending order.
-4, n, c
Suppose -16 = -2*h - 4*o + 18, -h - 5*o = -20. Let p be ((-2)/h)/((-3)/5). Let v = 17 - 16.9. Sort 1/2, p, v.
v, p, 1/2
Let r(m) = m**3 + 8*m**2 + 16*m + 6. Let v be r(-5). Sort 4, 2, -8, v in descending order.
4, 2, v, -8
Suppose 0 = 8*k - 9*k + 5. Suppose r + 19 = -5*p, 8 - 43 = -k*r + p. Sort 4, r, -1 in descending order.
r, 4, -1
Let n be 1*-3*(-4)/2. Suppose 14*h + 8 = 10*h - 4*j, 3*h + 4*j + 4 = 0. Put -3, h, n in increasing order.
h, -3, n
Let w = 6.36 + -5.36. Sort -2/11, w, 13/22 in ascending order.
-2/11, 13/22, w
Let z(t) = t**3 + 7*t**2 + 3. Let r be (-3)/(-15)*3*5. Suppose r*a - 5*c = -1, -4*c + 7*c = -12. Let w be z(a). Put w, -1, 1 in increasing order.
-1, 1, w
Let z(t) = -t**2 - 7*t + 34. Let k be z(-10). Let p be 3/k + 594/(-504). Sort p, 1, 3 in descending order.
3, 1, p
Let p = -41/2 - -20. Let a = 0.3 + -0.16. Let b = -0.06 - a. Put p, b, -0.4 in decreasing order.
b, -0.4, p
Let k(j) = -j**3 + 4*j**2 - 3*j - 1. Let d be k(3). Suppose n = -h + 2 - 3, -n - 3*h = -1. Suppose -2*u + 3*u = 1. Put d, u, n in ascending order.
n, d, u
Let z = 0.25 + -1.62. Let k = z - -1.32. Let w = -3.1 + 0.1. Put k, -2/7, w in increasing order.
w, -2/7, k
Let y = -8 + 7. Let t = -0.3 - -0.5. Let d be (784/(-882))/((-8)/6). Sort t, d, y in decreasing order.
d, t, y
Let r = -0.229 + 2.029. Sort r, -2/9, 3, 14 in decreasing order.
14, 3, r, -2/9
Suppose -3*n + 4 = -11. Let t be (n - 3)/(1 - -10). Sort -3, t, 9/8.
-3, t, 9/8
Let p = -0.0767 + 0.2767. Sort 4, 1, -1/12, p.
-1/12, p, 1, 4
Let y = 0.7 - 1.2. Let b be -4 - (102/(-18) - -1). Put y, 5, b in ascending order.
y, b, 5
Let l be (-4 + -3)/1*-1. Suppose 3*k = -k - g - l, 6 = -2*g. Let f = -8 - -5. Sort -3/2, f, k in decreasing order.
k, -3/2, f
Suppose -7*h - 14 + 21 = 0. Sort -2, 8, -6, h in ascending order.
-6, -2, h, 8
Let d = -6 - -6. Suppose -3*h = -3*p + 6, h + d*h + 5*p = -8. Let a be ((-22)/33)/((-11)/h). Sort -5, 0.3, a in descending order.
0.3, a, -5
Let x be 4/5 - (-281)/5. Let s = x - 56. Sort -4, -5/2, s in ascending order.
-4, -5/2, s
Let i be 35/(-5) + (3 - 0). Suppose -4*u - 3 = -7. Let c be -2*u/4*-4. Put i, c, -5 in increasing order.
-5, i, c
Let h(f) = f**2 + 3*f + 3. Let b be h(-3). Suppose 0 = 3*j - k - 193, j - 69 + 0 = -2*k. Let z = 60 - j. Put b, 7, z in descending order.
7, b, z
Let c = -22 + 23