 u, 0.3 in ascending order.
-3, 0.3, u
Suppose 6*p = -3 - 15. Sort p, -15, 3, 0 in ascending order.
-15, p, 0, 3
Let o(i) = 5*i + 38. Let j be o(-7). Put 2, 12, j in descending order.
12, j, 2
Let r(u) = -u + 5. Let z be r(0). Sort 3, z, -5 in increasing order.
-5, 3, z
Let i(r) = -r**3 - 8*r**2 + 5. Let y be i(-8). Suppose 0 = 2*a - y*h + 22, -4*a + 0*h = -h + 26. Let n be (-2)/56 - a/21. Sort 2, n, 1/3 in descending order.
2, 1/3, n
Let p(o) = -5*o + 26. Let m be p(6). Put -1, m, -22 in descending order.
-1, m, -22
Let s(k) = 4*k + 13. Let d be s(-3). Sort 5, d, -3, -19 in decreasing order.
5, d, -3, -19
Suppose 0 = 4*h + 4*u - 48, -2*h - 2*h - 2*u + 42 = 0. Let x(w) = -w**2 + 10*w - 6. Let g be x(h). Suppose -o - 20 = g*o. Put 3, o, 4 in descending order.
4, 3, o
Let g(i) = i**3 - 16*i**2 - 17*i + 5. Let d be g(17). Sort 9, d, 3 in ascending order.
3, d, 9
Suppose 2*x = 5*o - 21, -3*x = 2*o + 2*o - 3. Let w be 1 + (-4)/2 + o. Let z = 1 - w. Sort z, 2, 0 in decreasing order.
2, 0, z
Let z = 4.05 - 0.05. Let s = -4 + 0. Let a be (-27)/(-30) - (24/10 + -3). Put a, s, z in decreasing order.
z, a, s
Let c = -0.06 - 0.94. Sort 5, 1, c in ascending order.
c, 1, 5
Suppose -12 + 26 = -7*y. Sort 20, -1, -5, y.
-5, y, -1, 20
Let c(g) = g**3 - 3*g**2 + g - 2. Let p be c(2). Sort -16, -5, p in ascending order.
-16, -5, p
Let q(g) = -g**2 - 14*g. Let n be q(-14). Put -3, 2, n in decreasing order.
2, n, -3
Let v be -4 + (8 - (-12)/(-4)). Sort 20, v, 3.
v, 3, 20
Let d = -0.42 - -0.82. Let w(s) = -2*s - 5. Let l be w(-4). Put 0.1, d, l in descending order.
l, d, 0.1
Suppose 3*h - 3 = -3*t, 3*h - 3 = 8*h - 3*t. Let a = 195/4 + -48. Put h, -0.3, a in increasing order.
-0.3, h, a
Suppose -2*w = 2*v + 10, -5*w - 4*v = -8*w + 13. Suppose 12 = 2*d + 2*d. Put w, 5, d in descending order.
5, d, w
Let o = 7 + -6.5. Let w = o - -0.5. Let b = 0.7 - w. Sort b, -0.5, 1.
-0.5, b, 1
Let r = 0.61 + 0.39. Put 3/5, r, -2/17 in descending order.
r, 3/5, -2/17
Suppose -m = -3*q - q - 26, m = -2*q - 4. Let p be (-10)/4*m/3. Let c(k) = k**2 - 13*k - 13. Let y be c(14). Sort y, p, 2 in decreasing order.
2, y, p
Let o = 20 + -19. Let m = 3 + -5. Sort -2/5, m, o in descending order.
o, -2/5, m
Suppose 3 - 2 = s. Let c be 1/(-2 + s) - -5. Let j be 0/(-2)*c/(-4). Sort -2, j, 3.
-2, j, 3
Let w = 0.1 - -0.4. Let f be 2/(-3)*3*1. Let d be (-1)/((-6)/(-4) - f). Sort w, -1, d in descending order.
w, d, -1
Let b be ((-4)/5)/(4/(-20)). Let t(d) = d**3 - 3*d**2 - 6*d + 5. Let i be t(4). Sort -4, b, i in increasing order.
-4, i, b
Let p = -4.96 + -0.04. Let h be 14/(-63)*3/(-2). Let k = -13.6 + 14. Sort p, h, k.
p, h, k
Suppose 5*u = -20, 0 = 4*g + 5*u - 3 - 13. Suppose -1 = -w, -4*k + 5*w + g = 22. Sort -0.3, -3/2, k in descending order.
-0.3, -3/2, k
Let b = 22 - 45/2. Put 0.4, b, -3 in ascending order.
-3, b, 0.4
Let d = 0.1 + -0.2. Let m be 3/((-3)/24*-3). Let x be 4/m - 11/30. Sort 3/4, x, d in decreasing order.
3/4, x, d
Suppose -5*o - 9*o - 42 = 0. Let i = -2 + 0. Put i, 1, o in decreasing order.
1, i, o
Suppose -x + 4 - 6 = 0. Sort 1, -3, -1, x in descending order.
1, -1, x, -3
Suppose 4*l + 16 = -2*s, s + 3*l = -0*s - 10. Put s, -3, 1, 3 in decreasing order.
3, 1, -3, s
Let y = 5 + -4. Let s = y - 3. Let q = -3.4 + -0.6. Sort q, s, 5.
q, s, 5
Let w(h) = -h**2 - 5*h + 4. Let q be ((-2)/4)/((-2)/(-20)). Let o be w(q). Suppose 1 = -3*l + o. Sort l, 0, 4 in descending order.
4, l, 0
Let h(g) = -2*g - 8. Let t be h(-6). Let y be (-8)/(-20)*(-10)/2. Sort -3, t, y in increasing order.
-3, y, t
Suppose 2*q - 7*x - 4 = -3*x, q + 2*x = 6. Let l = 11 + -11. Put -1, l, q in ascending order.
-1, l, q
Let c = 12.4 - -0.6. Let a = c - 9. Suppose -6*m = -3*m + 12. Sort -1, m, a in decreasing order.
a, -1, m
Suppose 4*i - h = -5*h - 16, h = -2*i - 5. Let n be (-2 - -1)*2 + i. Let b be (-4)/5*(-1 + -4). Sort n, 5, b in ascending order.
n, b, 5
Let i = 5 - -8. Let w = -14 + i. Let o be 2/(-8)*(-4)/(-3). Sort w, o, -2.
-2, w, o
Let v = -2 - -2. Let y = 2 + -4. Let o be 19/28 - y/(-8). Sort v, -3/2, o in descending order.
o, v, -3/2
Suppose 12 = -3*s - s. Suppose 0 = -0*f + 4*f - 8. Put 3, s, f in ascending order.
s, f, 3
Let r(m) = -m**3 + m**2 + 3*m. Let x be r(2). Put x, -2/7, 1 in ascending order.
-2/7, 1, x
Suppose -2*r + 3*r + f - 3 = 0, -3*r + 4*f + 2 = 0. Let q be ((-108)/(-90))/(r/(-10)). Sort 0, 3, q in decreasing order.
3, 0, q
Let g = -0.2 + 0.7. Let p be (-4)/42*(13 - 10). Sort p, 0.1, g in increasing order.
p, 0.1, g
Suppose -5*c = -2*n + 19, -24 = 14*c - 11*c + 3*n. Let o = 0 + -2. Put c, o, -1 in descending order.
-1, o, c
Let z be (1 - 21)/(-2)*16/120. Sort 3, 0.2, -2/7, z in increasing order.
-2/7, 0.2, z, 3
Let n = 5 + -7. Let s be 2 + (127/(-3) - -2). Let b = s + 38. Put n, b, 0 in ascending order.
n, b, 0
Let i = 19 + -81. Let l = i + 301/5. Put 1, 2/11, l in descending order.
1, 2/11, l
Let x = 1/11 + 3/88. Put -0.1, x, -3 in ascending order.
-3, -0.1, x
Suppose -2*s + 4 = 2*f, -3*f = -7*f + 5*s + 35. Let u be (-2)/(-1) + (1 - 0). Sort -1, u, f in descending order.
f, u, -1
Let l be 3/(1 + 8/(-10)). Suppose -5*d + 3*g - 1 = l, -d - g = 0. Let p(n) = -n**3 - 3*n**2 - 4*n - 3. Let r be p(d). Sort 0, r, 5.
0, r, 5
Let g(f) = f**2 + 6*f - 18. Let o be g(-9). Put 3, o, -2 in ascending order.
-2, 3, o
Let w = -1/27 - -4/27. Sort -0.1, -2, w.
-2, -0.1, w
Let v = 6 + -23/4. Sort 0.4, -1/9, v in increasing order.
-1/9, v, 0.4
Suppose -d - y = -3*d + 42, 0 = 5*y. Suppose 0 = -5*w - 2*p - d, -5*p + 3 = -4*w + 6. Put 0, 3, w in descending order.
3, 0, w
Suppose -2*o = -4*r + o + 11, 28 = 5*r + o. Suppose r*h = -4 - 11. Sort 3, 1/4, h in descending order.
3, 1/4, h
Let k be 4/(4/3) + -3 + -5. Sort 6, k, 4 in descending order.
6, 4, k
Let m(g) = g**2 - 5*g - 9. Let n be m(7). Let j be (-1)/(-3)*9/12. Let w = -8 + 12. Sort n, j, w.
j, w, n
Suppose -3*f + f + 6 = 0. Suppose 4*b - 4 = 2*t, f*b + 14 = 4*t + 6*b. Suppose 0*x - 2*x = 0. Put x, -4, t in decreasing order.
t, x, -4
Suppose -2*p + q - 2*q - 3 = 0, 0 = p - 2*q + 14. Sort -3/5, -1/6, p in descending order.
-1/6, -3/5, p
Let v = 1 - 5. Let l = 1 - 1.4. Let x = 11 + -10.8. Sort v, x, l.
v, l, x
Let u = 5 + -3. Let g be -10*((-6)/4 + u). Let x(o) = o - 6. Let l be x(5). Sort g, 2, l.
g, l, 2
Suppose 4*g + 4*u - 8 + 0 = 0, -g - 3*u - 4 = 0. Let m(o) = -o + 9. Let f be m(11). Put g, f, 3 in descending order.
g, 3, f
Let i = -95 - -99. Sort -3, 5, i, -2 in increasing order.
-3, -2, i, 5
Suppose 3*l + l + 2*l = 0. Put l, 5, 4, 3 in decreasing order.
5, 4, 3, l
Let m be (-35)/(-195) + (-2)/6. Let t = 0.2 + -0.7. Let y = t + 0.1. Put m, y, -0.1 in descending order.
-0.1, m, y
Suppose -s - 1 = -3. Suppose -18 = -3*b + 3*r + 18, -2*r = 0. Suppose b = 5*g - 3. Sort 5, s, g in decreasing order.
5, g, s
Let u = -1.4 + 1.7. Let o = -1 - -3. Let m = o + 0. Sort u, 0, m.
0, u, m
Suppose -3*h = -6*h. Let c be h/1 - (-1 - -4). Let l be 2/(-4) + c/3. Put 0.4, l, 0 in decreasing order.
0.4, 0, l
Let q = -8 + 6. Let u = q + 7. Suppose 0 = 3*w - 5 - 1. Sort w, 0, u in decreasing order.
u, w, 0
Let t = -0.2 + -2.2. Let h = -0.6 + t. Let v = -0.36 + -0.04. Put v, h, 4 in increasing order.
h, v, 4
Let n = 21 + -16. Put -5, n, -1 in descending order.
n, -1, -5
Let h = -6 + 2. Suppose 0*w + 2*w - 6 = 0. Suppose 0*s + s = 5*x + 6, -10 = w*x + s. Sort h, x, 1/3 in descending order.
1/3, x, h
Let u be (-14)/21 + 17/3. Sort u, 2, -18 in descending order.
u, 2, -18
Let u = -80 - -79.7. Suppose 2*c = -1 + 7. Sort c, u, 5.
u, c, 5
Let x = -74 - -73. Let i = -0.9 + -4.1. Let k = i + 11. Put x, 2, k in ascending order.
x, 2, k
Let s = 0.7 - 1.7. Let f = -0.8 - -0.3. Put f, s, -4 in decreasing order.
f, s, -4
Suppose -w + 4 = -h, 0*w - 3*w - 12 = 3*h. Suppose -4*o + 20 = -3*o + 5*m, w = -4*m + 16. Sort 1, o, -5 in increasing order.
-5, o, 1
Let o = 1 - -2. Let i = -6 - -5. Let j = i - -5. Put j, -0.4, o in decreasing order.
j, o, -0.4
Let c = 37 + -35. Put 4, c, -2, -4 in decreasing order.
4, c, -2, -4
Suppose -2*n = -i - n + 7, 11 = 2*i + n. Suppose 0 = -i*v - 1 - 5. Suppose 7*y - 2*y = 0. Put v, -3, y in increasing order.
-3, v, y
Suppose 3*d - 4*p - 17 = 0, d - 8 + 0 = -p. Let w(o) = o**2 - 8*o + 5. Let r be w(d). Let y = -15 - -10. Put y, -1, r in decreasing order.
-1, 