 -z + r, 3*r - 2 = 4*z - 3*z. Suppose -2*g - 1 = -5. Put z, -4, g in decreasing order.
g, z, -4
Let o = -26 - -37. Suppose 5*a = 9*a + 4. Let m = a + 6. Put 2, m, o in decreasing order.
o, m, 2
Let i = -1 + -1. Let h = 3.75 + 0.25. Let s = 5 - h. Put -2/3, i, s in descending order.
s, -2/3, i
Let c(l) = l**2 - l. Let u(f) = -5*f**2 - 6*f + 14. Let x(v) = 6*c(v) + u(v). Let q be x(11). Sort -11, q, 2, 0 in ascending order.
-11, 0, 2, q
Let j = -3 - -25/7. Sort -3, 7/4, j, -1/4.
-3, -1/4, j, 7/4
Let q(x) = -5*x - 5. Let g be q(11). Let u be 25/g + 1/(-4). Let o = 11/50 - 4/75. Sort o, u, -1 in descending order.
o, u, -1
Let g = 501 + -566. Put g, -1, 1 in ascending order.
g, -1, 1
Suppose 0 = 5*c + 3*l - 1, -6*c + 5*l = -2*c + 14. Let s be (-5)/(-3)*(2 - c). Suppose g + 3*m - 8 = 2*g, g + 12 = s*m. Put 3, 1/2, g in ascending order.
g, 1/2, 3
Suppose 14*j - 12*j = -2. Suppose -5*p - 11 + 1 = 0. Sort p, j, -5 in ascending order.
-5, p, j
Let b(z) = 2*z**3 + 16*z**2 + 15*z + 4. Let x be b(-7). Sort -4, 3, 8, x in ascending order.
-4, x, 3, 8
Let d be 2/((-16)/10 - -2). Let j be 23 - 4*3/(-6). Let f = -22 + j. Sort -2, d, f in descending order.
d, f, -2
Let j = 0.37 + -0.07. Let t = -2.7 - j. Let c = 10.348 - 10.248. Sort c, 0.8, t.
t, c, 0.8
Let g = 128/195 - 10/39. Sort -2/13, -24/7, -1/6, g in increasing order.
-24/7, -1/6, -2/13, g
Let d(h) = -h**3 + 12*h**2 - 19*h - 7. Let t be d(10). Sort -5, t, 54, 0.3 in descending order.
54, t, 0.3, -5
Suppose -5*l + 0*g - 2*g = 10, -22 = 3*l - 2*g. Let z = -201 - -201. Put -1, z, l, 2 in descending order.
2, z, -1, l
Suppose f + 0*f + 3 = 0. Let s be ((74/(-37))/(3 + -2))/(-1). Sort s, 3, f.
f, s, 3
Suppose 0 = -4*v + 4, 55 = -2*b - 3*v + 150. Let f = b + -505/11. Sort -2/3, f, 0.4.
-2/3, f, 0.4
Let a be (-8)/(2 + 4 + -4). Let v = -14 + 11.9. Let k = 1.6 + v. Put k, 0.2, a in descending order.
0.2, k, a
Let n = -179 - -180. Sort -1, 13, n in ascending order.
-1, n, 13
Suppose 17*l = 18*l + 4. Let w(z) = z**2 - 7*z - 5. Let i be w(l). Sort i, 4, 0 in descending order.
i, 4, 0
Suppose -12 = -5*a + 3. Suppose -3 = d + 2*p, -2*d - a*p + 2 = -p. Sort -2, d, 3, 2 in decreasing order.
d, 3, 2, -2
Let s be 2/4 + (-11)/2. Suppose 2*l - 12 = -v + 4*v, -5*v - 10 = 0. Suppose 0 = 2*m + l*t - 13, -9 = -5*t + 2*t. Sort 1/5, m, s in decreasing order.
m, 1/5, s
Suppose 0 = 3*p - 3*h + 15, -2*p + 3*h - 9 - 1 = 0. Let f be (-8 + 0)*(-12)/16. Put p, -1, f in ascending order.
p, -1, f
Let o = -535.7 - -535.53. Let l = -6 - -2. Sort o, -0.3, l in increasing order.
l, -0.3, o
Let a be 1*12/(-40)*2. Let k = 1 + -4/3. Put -2/5, a, k in increasing order.
a, -2/5, k
Let l(r) = r**2 - 7*r + 1. Let g be l(7). Let p(z) = 2*z**2 + 8*z - 4. Let q be p(-6). Suppose 5 = -3*s + q. Sort g, 2, s in ascending order.
g, 2, s
Let x = 4 + -43/11. Suppose 5*k - 3*j + j + 23 = 0, j = -3*k - 5. Sort x, k, -0.1, -4.
-4, k, -0.1, x
Let i = 2/623 + -1264/5607. Let s = 4/19 + -5/114. Let m(n) = -2*n**2 - 2*n - 1. Let f be m(-1). Sort i, s, f in ascending order.
f, i, s
Let p = 0.13 - 5.13. Let h = -8 - p. Let a = 133 + -129. Sort a, 0.7, h.
h, 0.7, a
Suppose 32 = -3*i - 5*t, -16*t - 12 = i - 14*t. Put 0, -21, 1, i in decreasing order.
1, 0, i, -21
Suppose 0 = -3*g, 0 = -2*d - 0*d + 5*g + 10. Suppose v + 11 = 3*y, 0 = 5*v - 3*v + 3*y - 5. Let n = -8 + 10. Put v, d, n in ascending order.
v, n, d
Let d = -834 - -839. Sort -4, -0.03, 0, d in ascending order.
-4, -0.03, 0, d
Let n = -3 - -3. Suppose -h + 19 = -2*q, h + 2 + 4 = -3*q. Suppose -h = -k - 11. Put k, n, 3 in ascending order.
k, n, 3
Suppose 0 = -2*c + 5*o - 17, 0*c = -c + o - 7. Let i = 5 + c. Sort 1, -6, 2, i.
-6, i, 1, 2
Let i be 1/2*((-5)/(-1) + -5). Let s(k) = -k**3 + 12*k**2 + 13*k - 5. Let y be s(13). Put 3, i, y, -1 in descending order.
3, i, -1, y
Suppose 15 - 5 = 5*k. Suppose -5*j = 3*f - 29, 2*f - 3*j = 13 - 0. Suppose 0 = 2*o + o - 2*z + 8, o - 2*z = -f. Sort k, -5, o in descending order.
k, o, -5
Suppose 6 = 5*g - 3*n, 0 = -3*g + 5*n + 3 + 7. Let s(d) = -d**3 - d**2 - 1. Let v be s(g). Sort v, -5, -2.
-5, -2, v
Suppose 2*i - 5*m = 4, -i + 3 = 88*m - 91*m. Suppose 0 = 3*g - 5*g. Sort g, -1, i, 1 in ascending order.
i, -1, g, 1
Let r(w) = 0*w**3 - 3*w**3 - 4*w + 3*w - 1 + 3*w - w**2. Suppose 6*p = 2*p + 12, 2*p - 4 = 2*f. Let y be r(f). Put 1, 5, y in descending order.
5, 1, y
Let w = 599 + -604. Put w, -0.4, 4/7 in decreasing order.
4/7, -0.4, w
Suppose 8*s - 8 = -48. Let v = 38 - 35.88. Let r = v + -0.12. Sort r, 3, s in ascending order.
s, r, 3
Let c(t) = -t**3 + 8*t**2 + 22*t - 6. Let x be c(10). Suppose h = 4 - 14. Let z = x + h. Sort -2, z, -0.5 in decreasing order.
z, -0.5, -2
Let t be 4*-1 + (-2 - -3 - -1). Let y(h) = -1. Let m(i) = -i**2 + i + 7. Let p(l) = m(l) + 6*y(l). Let u be p(0). Put -5, u, t in decreasing order.
u, t, -5
Suppose -7 = 7*n - 2*n + 3*p, 2*n - 2*p = -6. Let b be (-4)/(-42) - n/6. Suppose 0 = -0*o + 4*o. Put o, b, -3/4 in ascending order.
-3/4, o, b
Suppose -5*r = -4*m - 30, -10*m = 2*r - 15*m - 12. Suppose 2 = -2*z - 2*q, -5*z + 2*q = -q - 27. Sort 2, z, r.
2, z, r
Let a = -251.74 + 251.7. Put -1/8, 2, a in increasing order.
-1/8, a, 2
Suppose 6*k = a + k - 32, -3*a + 113 = 2*k. Put 3, -3, a in ascending order.
-3, 3, a
Let t be 151/17 - (-62)/527. Put -10, 3, t in descending order.
t, 3, -10
Let i be 848/(-144) - (-1)/(-9). Let v be (-289)/51 + (-4)/i + 3. Sort 4, -1, 1, v.
v, -1, 1, 4
Let t be -2*(0 + (2 - -16)). Let c = t + 41. Let u(j) = -j**2 + 4*j + 2. Let l be u(5). Sort 3, l, c in increasing order.
l, 3, c
Let h(v) = -v**3 + 13*v**2 + v - 11. Let x be h(13). Suppose 0 = -x*s + 2 + 4. Sort -4, s, -5 in decreasing order.
s, -4, -5
Let y be -9 + (-36)/(-3) + -8. Put 12, -0.4, y in decreasing order.
12, -0.4, y
Let m = -683 - -689. Let h = 8 - 13. Let g = h + 8. Sort m, -3, g in increasing order.
-3, g, m
Let i = 498 - 503. Sort 1/8, -2/13, i in descending order.
1/8, -2/13, i
Let c(v) = v**2 - 3*v - 6. Let m be c(5). Suppose -52 = -758*t + 706*t. Sort -2, t, m in ascending order.
-2, t, m
Let b(k) = 2*k**3 + k**2 - 2*k - 2. Let i be b(-1). Sort 3, i, 4, 5 in decreasing order.
5, 4, 3, i
Suppose t - 2*n = -18, 3*n + 104 = -5*t - n. Let q = t - -40. Let z = 21 - q. Sort z, 2, -5 in decreasing order.
2, z, -5
Let c be 37 + (0/(-3) - 4). Let b = c + -32. Put 5, b, 11 in increasing order.
b, 5, 11
Let i = -4.6 - -5. Sort 0, i, -4, -1/8 in descending order.
i, 0, -1/8, -4
Let h(z) = -z**2 + 3. Let i be h(-3). Let j be (i/5)/(25/125). Let u = 10 + j. Sort u, 0, 5.
0, u, 5
Let a = 379 - 382. Let q(t) = -t**3 - 5*t**2 + 6*t + 2. Let g be q(-6). Put g, a, 3 in ascending order.
a, g, 3
Let c = -703 - -6325/9. Let k = -1.2 + 0.7. Put c, 0, k, 1/2 in ascending order.
k, c, 0, 1/2
Suppose 5*q = 5*b + 35, b - 2*q - 14 = 6*b. Sort -3, 3, -1, b.
b, -3, -1, 3
Let w = 0.292 - 0.592. Sort w, -0.05, -43.
-43, w, -0.05
Let u(o) = -o - 2. Let g be u(-5). Let l be (-8 + (-187)/(-22))*(4 - 1). Put g, l, 2 in descending order.
g, 2, l
Let l = 35 - -53. Let q = l - 89. Let s = -3.8 + -0.2. Put 5, s, q in descending order.
5, q, s
Let b = 54 + -100. Let q = b - -51. Sort q, -7, -4.
-7, -4, q
Suppose 2*n + 52 = 3*n + 4*w, -345 = -5*n - 3*w. Suppose -n = x + 3*x. Sort -5, x, -1, -2 in decreasing order.
-1, -2, -5, x
Let m = -264 - -262. Put m, 4, 1, 5 in ascending order.
m, 1, 4, 5
Let l = 130/23 + -1262/207. Sort -0.3, l, 19, 0.4 in decreasing order.
19, 0.4, -0.3, l
Suppose 0 = -5*q - 2*g + 16, 5*q = -5*g + 4*g + 13. Sort q, 4, 1, 5.
1, q, 4, 5
Let f = 8 + 13. Let k = f - 25. Let w be (-10)/(-4)*(-1)/10. Sort k, w, -0.1 in increasing order.
k, w, -0.1
Suppose -62*t - 16 = -70*t. Put 4, 5, -1, t in decreasing order.
5, 4, t, -1
Suppose 2*m + 10 = -2. Let p = 15 - 10. Let u = -6381 + 6385. Sort p, m, u in increasing order.
m, u, p
Let l(h) = -h**3 + 44*h**2 - 40*h - 130. Let v be l(43). Sort 1, v, -2, 32 in increasing order.
-2, v, 1, 32
Suppose 2*r = 5*w - 93 - 67, -3*w - 5*r = -127. Suppose 2*x = w + 2. Suppose 0*m + m + 2*p = 2, -4*p + x = -5*m. Sort 1, m, 5 in ascending order.
m, 1, 5
Let t be (8/76)/((-1)/(-19)). Let b = 5 - 2. Sort b, t, -1/7 in decreasing order.
b, t, -1/7
Let v = -14 + 15. Suppose 0 = 2*d, 0 = 3*i + 5*d - 2*d + 6. Put v, i, -3 in increasing order.
-3, 