 c
Suppose 2*f - 12 = 4. Let l = f - 6. Suppose 2*m - m + 5 = 0. Sort l, 0, m in increasing order.
m, 0, l
Let l be (1 + 14)/(7/5). Let g = l + -185/14. Put 0.1, g, 4 in decreasing order.
4, 0.1, g
Suppose 0 = 3*u - 0*o - 3*o - 3, 0 = -3*u - 2*o + 23. Suppose 5*l - 40 = -2*w, -5*l + w = -0 - 55. Sort l, 2, u in increasing order.
2, u, l
Let s be ((-20)/(-8) - 1)*-2. Put s, 10, 1 in decreasing order.
10, 1, s
Let v(a) = a**3 - 24*a**2 + 24*a - 23. Let r be v(23). Put 15, r, 1 in decreasing order.
15, 1, r
Let c = -0.064 - -12.664. Let i = -13 + c. Sort -5, 3, i in ascending order.
-5, i, 3
Suppose 3 = -0*b - b. Let j(i) = 2*i**2 - 3*i**2 + 3*i - 1 - 7*i. Let t be j(-2). Put t, b, -4 in decreasing order.
t, b, -4
Suppose -4*h + 56 = 4*x, -2*x = x - 4*h - 7. Suppose -5*r - 11 = x. Sort r, -2/5, -3/5 in decreasing order.
-2/5, -3/5, r
Suppose c + j - 24 + 0 = 0, -c + 20 = 2*j. Let m = c - 24. Suppose 2*h - 2*t + 4 = -2, -4*t = 2*h + 12. Sort m, h, 3 in decreasing order.
m, 3, h
Let y = -439/9 - -49. Let w = 8 + -5. Let n = -3.1 + w. Sort 3/2, n, y in ascending order.
n, y, 3/2
Suppose -j + 5*j = 0. Suppose -4*y + 4 - 12 = 0. Let f = 7 + y. Put j, -3, f in descending order.
f, j, -3
Let d = -519 + 3642/7. Sort -2/17, d, -1/8.
-1/8, -2/17, d
Suppose 5*c = -4*a + 25, 2*c - 5*a + 15 = -8. Sort 4, c, 2 in decreasing order.
4, 2, c
Let j = -43 + 216/5. Sort 0, j, 1/2 in increasing order.
0, j, 1/2
Let n = 235 + -1171/5. Let f = -2 - -1. Put 1/4, n, f in decreasing order.
n, 1/4, f
Let d be -1*(9 + (-1 - 3)). Let y be (4/(-2))/(2/3). Sort 0, y, d in increasing order.
d, y, 0
Let u(a) = a**3 + a**2 - 2*a - 5. Let k be u(2). Let q = -7 + 2. Let f = q - -10. Sort k, -1, f in ascending order.
-1, k, f
Suppose -4*l = -l - 42. Let f be l/(-6)*14/(-49). Put 2/7, f, -0.4 in decreasing order.
f, 2/7, -0.4
Let a = -0.3 + -0.2. Let y = -0.04 + -4.96. Put a, 2/5, y in ascending order.
y, a, 2/5
Let g = 33 - 34. Sort 2, -10, g in descending order.
2, g, -10
Suppose 3*k = -3*a - k, -20 = 2*a - 4*k. Let h(q) = q - 2. Let u be h(0). Suppose 0*g + 5 = g. Sort a, g, u in decreasing order.
g, u, a
Suppose 5*a - 6*a + 5 = 0. Let k(j) = -j**3 - j**2 - j - 4. Let c be k(0). Sort c, -3, a in decreasing order.
a, -3, c
Let t = -4.3 - -0.3. Put -0.5, -0.8, -0.3, t in descending order.
-0.3, -0.5, -0.8, t
Let g be (-12)/16*24/(-27). Put 2, -2/11, g, -4/5 in ascending order.
-4/5, -2/11, g, 2
Suppose 19 = s + 5*h, -3*h + 11 = 2*s - s. Suppose 0 = -d + 8 - 3. Suppose 0*f + 25 = -d*f. Sort s, 0, f in decreasing order.
0, s, f
Let i = 50.5 + -50. Sort -3, i, -1 in descending order.
i, -1, -3
Let p = 12 + -6. Suppose 0 = p*k - 2*k. Suppose 0 = 4*j - 3*n + 1, 0 = j - 5*n + 1 - 5. Put 4, k, j in descending order.
4, k, j
Let l(b) = -b**2 - 5*b - 3. Let s be l(-3). Let a be -1 + 1*(-1 - s). Sort 1, 2, a in descending order.
2, 1, a
Let z be 1 + 2*25/(-48). Let f = -7/24 - z. Let l = 1 - 2. Sort f, 3, l in descending order.
3, f, l
Suppose 5*k = -5 + 20. Suppose k*x = -x - 8. Let b be (-4)/2 + -1 + x. Sort b, 2, -1 in ascending order.
b, -1, 2
Let u = 4 + -4. Let a be (40/7)/4 + -2. Put u, -4, a in increasing order.
-4, a, u
Let r be 4 - 1 - 0/(-2). Let z = -11 + 12. Put r, 0, z in decreasing order.
r, z, 0
Let o(r) = -r**3 - 2*r**2 - 2*r - 1. Let z be o(-2). Let i = 24 - 17. Suppose -5*v + c - 16 = 0, -i*v = -2*v + 2*c + 13. Put z, v, 1 in descending order.
z, 1, v
Let d = 5.11 + -0.11. Let j be (-14)/(-6) - 2 - 0. Sort 0.1, d, j in decreasing order.
d, j, 0.1
Let d = 3.1 - 5.7. Let q = -0.6 - -0.2. Let f = q + d. Put -1/5, -0.4, f in decreasing order.
-1/5, -0.4, f
Let u = -110 + 109.8. Sort 0, -2/3, u, 2/19 in decreasing order.
2/19, 0, u, -2/3
Suppose -4 = -2*v - v + 2*o, -3*v - 3*o - 6 = 0. Let z(t) = t**2 - 3*t - 14. Let r be z(5). Sort r, -5, v.
-5, r, v
Suppose -3*a = a + 2*o - 2, -4*a = -5*o + 19. Suppose -4*b - 3*p + 20 = 0, -5*b + 22 = -0*b + 3*p. Sort b, a, 3.
a, b, 3
Let p(a) = -a**3 + 7*a**2 + 9*a - 8. Suppose -16 = 4*w - 6*w. Let d be p(w). Suppose 5*q - 11 = -2*y + 4*q, -5*y = -3*q - 11. Sort 3, y, d in ascending order.
d, 3, y
Let k = -2.2 + 2.4. Let f = 0.4 - -0.5. Sort k, 2/3, f.
k, 2/3, f
Let t = -26.5 - -27. Put t, -8, 0.1 in decreasing order.
t, 0.1, -8
Let o = -10 + -4. Let w(b) = -b**2 - 13*b + 18. Let t be w(o). Sort -1, t, -4 in ascending order.
-4, -1, t
Suppose 4*s - 4 = -0*s. Put 1/7, s, -2/7 in descending order.
s, 1/7, -2/7
Suppose 28 = -2*n + 4*t + 6, 4*n + 5*t - 8 = 0. Let a = 0 - 0. Put 0.2, n, a in increasing order.
n, a, 0.2
Let w = 4 - -4. Let k(o) = o - 8. Let a be k(w). Sort 6, a, 1 in decreasing order.
6, 1, a
Let t(w) = w**3 - 9*w**2 + w - 14. Let v be t(9). Sort v, -2/43, -4.
v, -4, -2/43
Let m = -0.02 + -5.98. Let b = 3 + m. Sort b, -5, 0.02 in descending order.
0.02, b, -5
Suppose 0 = -5*l + 2*l. Put -5, l, 2 in increasing order.
-5, l, 2
Suppose -5*j - 2 = 13. Let q = -1 - j. Put q, 0, -2 in descending order.
q, 0, -2
Let u(i) = i**2 + 13*i + 14. Let c be u(-11). Let j(k) = k**2 + 8*k + 2. Let g be j(c). Let w(z) = 3*z - 3. Let n be w(2). Put 0, g, n in ascending order.
0, g, n
Let d be (7/(-3) - -2) + (-99)/27. Sort d, 2, 18 in increasing order.
d, 2, 18
Suppose 1 = q - 3, 5*v = 3*q - 17. Sort v, -3, 3 in ascending order.
-3, v, 3
Suppose 0 = -2*a - 6, 12 = o - a - 2*a. Put -4, o, 1, 0 in descending order.
o, 1, 0, -4
Suppose 2*f + 87 = v - 2*v, 4*v - 4*f + 312 = 0. Let u = 485/6 + v. Let a(t) = -t**3 - t**2 - t + 3. Let c be a(0). Put 4, c, u in decreasing order.
4, c, u
Let p = -104 + 419/4. Sort p, -1/5, 0.25 in increasing order.
-1/5, 0.25, p
Let n be 20/5 - (0 + 1) - 2. Sort n, -9, -5.
-9, -5, n
Let h = -2.9 - -4.9. Put -5/4, h, -4/7 in decreasing order.
h, -4/7, -5/4
Let r = -6 + 9. Let g = -0.34 + -0.06. Let i = 0.1 + g. Put -2, i, r in descending order.
r, i, -2
Let t = -1.8 - -2. Let v = 29 + -29. Sort t, -4/5, v.
-4/5, v, t
Let s(y) = -y**2 + 8*y + 11. Let u be s(9). Suppose -2*h - 2*h = -24. Sort -2, h, u.
-2, u, h
Let x = 4 - 14. Let m = 15.3 + x. Let p = 5 - m. Sort 0, p, -2/15.
p, -2/15, 0
Let s = 0.07 + -0.07. Let d = -0.1 - -0.2. Let p = s - d. Sort p, 2/15, 2/11 in increasing order.
p, 2/15, 2/11
Let n be ((-3)/6)/((-2)/(-4)). Put -2, n, -3 in decreasing order.
n, -2, -3
Let h = -4 + 14. Let q = h + -9. Put 1/5, -5, q in ascending order.
-5, 1/5, q
Let t = 13 - 18. Put 0.1, 5, t in descending order.
5, 0.1, t
Suppose 5*t + 5 = 4*q - 0*q, 3 = -3*t + 2*q. Sort 2, t, -4.
-4, t, 2
Suppose 7 = 4*o - 29. Put 1, o, 1/7 in ascending order.
1/7, 1, o
Suppose -4*q + 20 = 0, 5 = -2*s - 0*q + q. Let o(h) = -h**2 + 8*h - 4. Let c be o(7). Let n = s - c. Sort 1, 3, n in ascending order.
n, 1, 3
Let j be 3/18*(-3 + 1). Let f = 6 + -6.5. Put f, j, 1 in increasing order.
f, j, 1
Suppose -15 = -13*k + 10*k. Put -2, 1, k, 2 in increasing order.
-2, 1, 2, k
Let f = -100.96 - -103. Let d = -0.04 + f. Let h = d + -2.5. Put 0.4, -5/4, h in decreasing order.
0.4, h, -5/4
Let t = 0.7 + -1.1. Suppose 4*j + 21 = -f, -7*f - 13 = -2*f - 3*j. Put -1, t, f in ascending order.
f, -1, t
Let j = -19 - -22. Sort 1, -1, j.
-1, 1, j
Let b(w) = 2*w - 10. Let l be b(7). Let z = l + -2. Sort 5, z, 3.
z, 3, 5
Let y(j) = 4*j + 7. Let k(v) = 3*v + 6. Let p(c) = -3*k(c) + 2*y(c). Let q be p(-5). Let n be (2/5)/(q/(-5)). Put 3, 4, n in descending order.
4, 3, n
Suppose 2*q - 12 + 14 = 0. Put q, 4, -5 in descending order.
4, q, -5
Suppose -5*d = -4*w - 9, -2*d = 2*d - 5*w. Sort d, 1, -3 in decreasing order.
d, 1, -3
Let f = 21 + -25. Let v = -3.98 - f. Sort -1/3, v, -3.
-3, -1/3, v
Suppose -2*q + 28 = 3*s, q + 9 = 4*s + 1. Let m = 15/2 - q. Sort m, 0.3, 0.7 in decreasing order.
0.7, 0.3, m
Let d = 24 + -24.5. Let k = 0.2 + -0.3. Put d, -2/5, k in decreasing order.
k, -2/5, d
Let y be 64/78 - (-4)/(-6). Suppose -112*r - 3 = -111*r. Sort r, 1, y in ascending order.
r, y, 1
Suppose -2 = -f - 7. Suppose -5*u = -u. Suppose -x + 7 - 3 = u. Put f, 3, x in decreasing order.
x, 3, f
Let s = 4/25 + 6/25. Let m be (-7)/6*(-30)/(-200). Let k = 3/40 - m. Put 0.3, s, k in increasing order.
k, 0.3, s
Let f be 3/(-1) - (-8)/2. Sort 2, f, -4 in descending order.
2, f, -4
Let i(v) = -4*v + 45. Let p be i(14). Sort p, 5, -1 in decreasing order.
5, -1, p
Let g = 12 - 13. Let d(f) = f**2