f, -4
Let u(q) = -q + 3. Suppose -4*v - 20 = 0, -4*g - 6*v = -v + 17. Let t be u(g). Let b = t - 0. Sort 4, b, 2 in decreasing order.
4, 2, b
Let m = -1.5 - -2. Let q be 5/(-15) + 2/(-3). Let a = q + 1/4. Put -4, m, a in descending order.
m, a, -4
Suppose 0*m + 18 = 3*m. Suppose h = 2*t - m, 3*h - 10 = -0*h - t. Suppose 7 = h*d + 1. Sort -0.5, d, -0.3 in increasing order.
-0.5, -0.3, d
Suppose 3*j + j - 8 = 0. Let g = -3 - j. Put -3, g, 2 in descending order.
2, -3, g
Suppose -5*m = l - 7, 0*l - 2*m + 10 = -2*l. Let n be (9/l - 0) + 6. Put -1/5, n, -0.3 in increasing order.
-0.3, -1/5, n
Let v = 43.7 + -44. Put v, 1.2, 2/17 in decreasing order.
1.2, 2/17, v
Let f(z) = z + 1. Let w be f(4). Sort -11, w, 3, -4.
-11, -4, 3, w
Suppose -8 = 2*w + 17*r - 13*r, 2*w + 8 = -5*r. Put w, -3, -1, 2 in ascending order.
w, -3, -1, 2
Suppose -2*k + 8 = 0, 4*k = -5*m + 17 - 1. Sort 1, m, 5.
m, 1, 5
Let v be 0/2 - 65/13. Put -3, 0, v in increasing order.
v, -3, 0
Let w(s) = -s**3 + 4*s**2 - 4. Let x be w(4). Put 10, x, 4, 3 in ascending order.
x, 3, 4, 10
Let f = -9/2 + 39/10. Sort -0.5, 3, f in descending order.
3, -0.5, f
Let t = 3 + -3. Let p = 879/4 + -2945/12. Let w = p + 26. Put t, w, 5 in descending order.
5, w, t
Let b = -2229/7 - -319. Let z = -172/455 + 6/65. Sort b, z, 3 in ascending order.
z, b, 3
Let h be (-7)/14*(-6 - 0). Suppose 4*n - 1 = -h*x, n - 2 = -2*x - n. Let o = -0.1 + -0.9. Sort 3/2, x, o in decreasing order.
x, 3/2, o
Let y be -8*((-1)/1)/(-198). Let f = -313/396 - y. Let a(g) = -g**2 - 2*g + 3. Let z be a(-3). Sort f, -1, z in decreasing order.
z, f, -1
Let c(n) = -n**3 + 4*n**2 + 6*n - 3. Let s be c(5). Sort s, 11, -3.
-3, s, 11
Let u be (4 - 1)*-1 + 8. Suppose -r - 23 = u*x, 2*x - x = -4*r - 16. Put 2, -1, r in descending order.
2, -1, r
Let l = -5 - -7. Let q = l + -4. Put -0.04, 3/7, q in ascending order.
q, -0.04, 3/7
Let a be 18/12 - (-2)/4. Put -4, 0, a in ascending order.
-4, 0, a
Let d(s) = s**3 - 5*s**2 - 6*s**2 + 8 + 5*s**2 - s. Let b be d(6). Sort -1, b, 3 in decreasing order.
3, b, -1
Let s = 613/3 + -206. Let z = 0.07 + 1.93. Sort 3/4, z, s.
s, 3/4, z
Suppose -14 = -5*r - 4. Suppose 5*q - r*w = -5*w - 78, -4*w + 26 = -2*q. Let d be (-27)/5 - 6/q. Sort 5, 3, d in ascending order.
d, 3, 5
Let p = -0.57 - -0.57. Sort -0.8, -0.5, p.
-0.8, -0.5, p
Let c = -10 - -7. Let z = 5 + -1. Put 2, c, z in increasing order.
c, 2, z
Let q(d) = -d - 4. Let k be q(-5). Let a = -5 + k. Suppose -y = 5*z + 22, 0*z - 3*z = 12. Sort y, a, -3 in ascending order.
a, -3, y
Let j be ((-6)/28)/(2/(-217)). Let v = j + -23. Sort 5/2, v, -4.
-4, v, 5/2
Let u = -9 - -10.5. Let n = u - 2. Put 5, 0.3, n in decreasing order.
5, 0.3, n
Let a = 22 - 23. Put 0.03, 2, a in decreasing order.
2, 0.03, a
Suppose 0 = 3*b, 4*b + 12 = 3*z + 2*b. Let i = 4 + -2. Put i, z, -1 in descending order.
z, i, -1
Let g be 2/(-6) + 129/9. Let n be (-7)/g + 22/4. Put n, -2, 0.4 in decreasing order.
n, 0.4, -2
Let y = -5 - -12. Suppose -2*b + 4*g + 6 = 0, -4*b + 5*g + 3 = -12. Let k = b - y. Put 5, k, -1 in ascending order.
k, -1, 5
Let w = -5 - -6. Let t be w*-1 - (-6 + 8). Let n be (-11)/t + (0 - 3). Put n, -0.1, 3 in descending order.
3, n, -0.1
Let v = -19 + 53/3. Sort -5/3, 5, -2/9, v.
-5/3, v, -2/9, 5
Let t = 0.5 - 0.9. Sort 3/5, t, 5 in increasing order.
t, 3/5, 5
Let q = -32 + 33. Sort -0.5, 4, q, -1/33 in descending order.
4, q, -1/33, -0.5
Let t be (18/3 + 1)/(-1). Sort t, 4, -1.
t, -1, 4
Let v = 41 - 40. Put v, 0.054, 0.3 in decreasing order.
v, 0.3, 0.054
Let h(f) = -6*f**3 + 5*f**3 + 4*f + f**2 - 4*f**2 + f**2. Let c be h(-3). Put -4, c, 2 in increasing order.
-4, c, 2
Suppose -2*p - 2 = -4*p, 4*d + 5*p - 1 = 0. Let f be (-40)/8 - 1/d. Put -3, 2, f in decreasing order.
2, -3, f
Suppose -5*c + 4*s = 10, -c + 2*s - 6*s + 22 = 0. Suppose w = -5*f - 3*w + 4, w = f + 1. Sort -5, f, c in decreasing order.
c, f, -5
Let q be (-4)/(-3) + 1/(-1). Put q, 3/4, 2 in ascending order.
q, 3/4, 2
Let l be 4/16 - 7/(-4). Suppose -4*b = -4*g + 4, 4*g - 2*b + 1 = -3*b. Sort l, 1, g.
g, 1, l
Let n(p) = -p**3 + 5*p**2 + p. Let l be n(5). Let k = 13 + -6. Suppose -v + 3 = k. Sort v, -1, l in decreasing order.
l, -1, v
Let w(x) = 6*x - 3. Let t be w(-1). Sort 5, t, -2.
t, -2, 5
Suppose 16*d - 53 + 5 = 0. Let s = -1 - -7. Let a(m) = -m**2 + 7*m - 7. Let w be a(s). Put w, -5, d in descending order.
d, w, -5
Let n(c) = -c - 1. Let p be n(-6). Suppose -2*r + 4 = -3*d + d, 2 = r - p*d. Suppose -2*i = -0*o - 4*o, 5*o = -i. Put r, 4, o in descending order.
4, r, o
Let b(d) = -5*d. Let u be b(-1). Sort -5, -4, u in descending order.
u, -4, -5
Suppose -9*o - 46 = 17. Sort -4, o, 2/5 in ascending order.
o, -4, 2/5
Let p(m) = 4*m + 3*m - 10*m**2 + 6 + 9*m**2. Let o be p(8). Sort -5, 1/2, o.
-5, o, 1/2
Let i be (3 + -2)/1 + 0. Suppose 3*l - i = 2*l. Suppose 7*g - 8 = 9*g. Put g, l, 4 in increasing order.
g, l, 4
Let q(l) = -4*l**3 + 6*l**2 + l + 3. Let d(g) = -3*g**3 + 5*g**2 + 2*g + 3. Let a(x) = -3*d(x) + 2*q(x). Let m be a(4). Put -0.5, m, 0.3 in descending order.
0.3, -0.5, m
Let t be 4/(-6) + (-14)/(-12). Let q be (-14)/60 - 0 - 10/(-25). Sort q, 0, t.
0, q, t
Suppose -q + 3 = -5*n + 2, n - 3*q - 11 = 0. Sort -4, n, 5 in ascending order.
-4, n, 5
Let n be (-2 + (-14)/(-6))/(32/432). Put n, 4, 5, 2/3 in increasing order.
2/3, 4, n, 5
Let b = -24.3 - -24. Sort b, -9, -5 in decreasing order.
b, -5, -9
Suppose -2*w = 3*k - 3, 2*k - 4 = -2*k + w. Put k, 12, -3 in decreasing order.
12, k, -3
Let a = 18 - 14. Put -14, 1, a in ascending order.
-14, 1, a
Let q be (1/(-1))/((-1)/(-5)). Let r(g) = 2*g + 5. Let b be r(-5). Let c = 2 + b. Put q, 2, c in descending order.
2, c, q
Let t be (4/2)/(-2 - -4). Let u be (-8)/28 - (-5)/(-7). Let b be u - -2 - (-2 - 1). Put t, -2, b in descending order.
b, t, -2
Let x = 8 - 3. Let g = 0.1 - 0. Let b = g + 0.1. Sort b, 0.4, x in ascending order.
b, 0.4, x
Let c = -24.4 + 20. Let a = -1.71 - -0.11. Let n = c + a. Sort -1/4, -0.4, n in descending order.
-1/4, -0.4, n
Suppose x + 2 = 2*x. Sort 3, 0, x, -16 in ascending order.
-16, 0, x, 3
Let i = 0.1 + 0.1. Let j = -2/19 - 7/114. Sort i, j, -1/2 in descending order.
i, j, -1/2
Suppose 0*j - 10 = -5*j. Let z be 0/(-1 - 2/j). Let x be ((-14)/(-4) - 1)*-2. Put x, -1, z in ascending order.
x, -1, z
Let x(q) = -q**3 - 5*q**2 - 3*q - 1. Let y be x(-3). Let i = 15 + y. Sort -2, -1, i.
-2, -1, i
Let l(b) = 4*b**3 - 2*b**2 + 2*b - 1. Let q be l(1). Let w be 10/(-475)*(2 + q). Sort 2/15, w, -0.5 in descending order.
2/15, w, -0.5
Suppose -r = 4*l - 1, -6*r = -2*r - 5*l - 25. Suppose 2*y + 3*y + r = 0. Let k = -4 - 1. Put y, 0, k in descending order.
0, y, k
Let r be (8/2)/(4 - 3). Suppose -a + 7 = r*i, 5*a + 3*i = 2*i + 16. Let w be (-4)/10*10/18. Sort w, a, 5/6.
w, 5/6, a
Let a = -1.9 + -1.1. Sort 2/11, 0.3, a.
a, 2/11, 0.3
Let x be 14/(-21) + 50/(-6). Let i = -9 - x. Sort 2/3, i, -2/3 in descending order.
2/3, i, -2/3
Suppose 5*p - 11 = -r, 3*p = p + 4*r. Let n be p/8 + 1/(-4). Suppose 6 = -2*y + 4*y, -5*y + 20 = -q. Put 5, n, q in ascending order.
q, n, 5
Let g = 7 + -3. Let b = 2 - g. Let h = 1.96 + 0.04. Put -5, h, b in increasing order.
-5, b, h
Let g be 24/(-14) + 3 + -1. Suppose 5*z + 3*o - 5 = 0, z = 2*z - o - 1. Let a = -1 - z. Sort a, g, 2 in increasing order.
a, g, 2
Let i be (-12)/27*3*-3. Put -5, i, 0 in descending order.
i, 0, -5
Suppose 0 = 5*p - 7*p. Suppose 12*j + 20 = 8*j. Put j, p, -3 in descending order.
p, -3, j
Let x = 8 - 4. Sort -2, x, 1 in decreasing order.
x, 1, -2
Let c = 30 + -28. Put -3, -2, c in descending order.
c, -2, -3
Let y(q) = -q**3 + 15*q**2 + 16*q + 4. Let h be y(16). Let g = -7 + 3. Sort h, g, -2 in decreasing order.
h, -2, g
Let x(l) = 5*l**2 - 10*l - 4. Let i(k) = -k**2 + k. Let s(m) = -4*i(m) - x(m). Let c be s(7). Sort 5, c, 0 in descending order.
5, 0, c
Suppose 5*b + 8 = -4*o, -5*o + 0*b - 10 = -3*b. Sort -0.6, o, -0.5 in increasing order.
o, -0.6, -0.5
Let m(o) = -o + 1. Let v be m(-6). Suppose 4*d - 1 = v. Let k(c) = -2*c**2 + c + 2. Let a be k(d). Sort a, 5, 3 in descending order.
5, 3, a
Let r(s) = 23*s - 114. Let h be r(5). Sort 5, 0, h, -4 in increasing order.
-4, 0, h, 5
Let b = -19 + 18.5. Sort 0.4, 0.3, b in increasing order.
b, 0.3, 0.4
Let o be 0 + (-14)/2 - -2. Let m =