*3 + 4*r**2 - 4*r + 2. Let n be m(2). Put n, 4, h in ascending order.
n, h, 4
Let t = -3.28 - -0.28. Put t, -6/5, 1 in decreasing order.
1, -6/5, t
Suppose 9*w - 14*w - 10 = 0. Put w, -3, 7 in ascending order.
-3, w, 7
Suppose 2*f + 2 = 4. Suppose -4*v + 2*z = -v + 21, 0 = -5*v - z - 22. Put 3, f, v in decreasing order.
3, f, v
Let f = -16 + 19. Sort -0.4, 4, f in ascending order.
-0.4, f, 4
Let k = 15 - 9. Suppose r - 7 = 2*y, -19 + k = -4*r + 5*y. Sort 2, 10, r in descending order.
10, 2, r
Let q be (-6 - -3)*-3 + -9 + 4. Suppose -3*b + 18 = -3*h - 0*b, h = -4*b + 14. Let j = 1 + h. Sort j, q, -3 in increasing order.
-3, j, q
Let n be 2/8*(1 + 18/30). Sort 0.2, n, 2/17.
2/17, 0.2, n
Let i(x) = -x**2 + 4*x + 3. Let p be i(4). Suppose 4*n - 4 = y, 6 = 4*n - 2*y - 2. Let c be (0 + n)*(-4 - -5). Put p, -1, c in descending order.
p, c, -1
Let v = -64 - -67. Sort -5, v, 1, -2.
-5, -2, 1, v
Let k be 13/15 - (2 - 1). Let u = k + 8/15. Let s = -2 - -5. Put 2/19, u, s in descending order.
s, u, 2/19
Let v be (1 - 9)*(-4 - -2). Suppose v = 2*t - 3*x, -x - 1 = 3*t - 3. Put -2, t, 4 in descending order.
4, t, -2
Let g = -0.06 + -6.94. Let n = g + 6. Let p = n + 0.7. Sort 0.4, p, -2.
-2, p, 0.4
Let i = -6 - -6.04. Let n = i - 3.04. Sort 3/5, 4, n.
n, 3/5, 4
Suppose g - 2*g = -a + 9, 5*a + 5 = -5*g. Suppose r + 2 = -w, 0*r - 2*r = 10. Sort a, -3, w in descending order.
a, w, -3
Let o = -10 + 13. Sort o, -1, -3.
-3, -1, o
Let w = -0.01 - -2.01. Let s = -0.004 + -2.396. Let x = s + w. Sort x, -0.3, 0.3.
x, -0.3, 0.3
Suppose 0 = 2*w + a + 17, 0 = -3*w - 5*a + 7 - 50. Sort 6, 0, w.
w, 0, 6
Let z(m) = m**2 - 10*m + 10. Let u be z(7). Let d be (u/(-22))/((-10)/(-4)). Sort 1, -5, d in descending order.
1, d, -5
Suppose 0 = 4*a - 1 - 3. Sort -4, -5, 0, a in increasing order.
-5, -4, 0, a
Suppose 0 = 5*t - 15, k + 0*k - t = 1. Let y = 11 - 10. Sort k, y, 3 in descending order.
k, 3, y
Let l be 2 + 3 + (-3 - -2). Sort 14, -4, l in increasing order.
-4, l, 14
Suppose 0 = 4*z + 4 + 16. Suppose -2*m = -2*g + 4, 2*g + 3*m - 24 = -g. Sort g, -4, z.
z, -4, g
Let g = 0.11 + 7.89. Let d = -111 + 109. Put g, d, -3/5 in decreasing order.
g, -3/5, d
Let n be -118*(1/3)/1. Suppose 19 = c - 5*w, -w + 203 = 5*c + w. Let s = c + n. Put -0.2, s, -0.3 in decreasing order.
-0.2, -0.3, s
Let b = -13 + 12. Put -2, 3, b in decreasing order.
3, b, -2
Let g = -1/23 + 28/115. Let m = -2286 + 82301/36. Let c = 43/36 + m. Sort c, -2/3, g in decreasing order.
c, g, -2/3
Let i be 7/1 + 2 + -2. Suppose i*f - 2*f = 0. Put -3, f, 5 in descending order.
5, f, -3
Suppose -3*b = -2*b - 5. Sort -3, b, 8 in decreasing order.
8, b, -3
Let d = 4.32 + -0.32. Let w = -1.6 + 2. Sort -1/2, w, d.
-1/2, w, d
Let n be 4/26 + (-600)/(-156). Put 5, n, 3 in increasing order.
3, n, 5
Let w be 2/22 - (0/4)/4. Sort 4, -0.5, w.
-0.5, w, 4
Let t = -12998/25 + 520. Sort t, -5, -3/5.
-5, -3/5, t
Let q be ((-40)/(-24))/(10/12). Let p be 20/6 + 2/(-6). Let n be 1*-2 - (-8 + 11). Sort p, n, q in decreasing order.
p, q, n
Let x = -0.1 - -0.1. Let c = 5 + -3. Let t = c - 3. Put t, -2/9, x in decreasing order.
x, -2/9, t
Suppose 7*c - 3*c + 4 = 0. Let v(y) = -3*y - 36. Let x be v(-12). Put 4, c, x in descending order.
4, x, c
Suppose -o - 8 = o. Sort 2, -2, -7, o in decreasing order.
2, -2, o, -7
Let y(i) = -6*i**3 - i**2 - 2*i - 2. Let s be y(-1). Sort -4, s, -5 in increasing order.
-5, -4, s
Let y = -5 + 4.7. Sort -4, y, 1/2, 0.4 in decreasing order.
1/2, 0.4, y, -4
Let i = 3.04 - 3. Let k = -17 + 15. Sort -3, i, k.
-3, k, i
Suppose -7 = -5*u + 3. Let a be (-54)/10 - u/(-5). Let y = 95/354 - 6/59. Sort a, 1/10, y in decreasing order.
y, 1/10, a
Let c = 1.8 + -2. Let u = 1 - 1. Sort -1/7, c, u.
c, -1/7, u
Let x(q) = -3*q - 2 - q + 3*q + q**3. Let m be x(0). Let w be (-8)/10*(m - -7). Sort -3, w, 0.
w, -3, 0
Let n = -1.9 + 1.6. Sort 3, -3, n in increasing order.
-3, n, 3
Let c = -2.1 + 2.11. Sort 4, c, -2.
-2, c, 4
Suppose 4*h + 0*h + 12 = 0. Let q be (-26)/6 + (-1)/(-3). Sort q, h, -5.
-5, q, h
Let s = -8 + 11. Suppose 0 = 2*y + 2*w - 16, -3*y + 28 = 3*w + w. Suppose y*c - 25 = -9. Sort c, s, -2/3 in descending order.
c, s, -2/3
Let m(n) = 3*n**3 - 5*n**2 + 4. Let v(z) = 2*z**3 - 5*z**2 + 4. Let i(y) = -3*m(y) + 4*v(y). Let d be i(-5). Sort 1/3, -3, d in increasing order.
-3, 1/3, d
Suppose -4*m + v - 7 = 0, 2*v + 0*v + 10 = 0. Sort -1/6, -2/7, m in descending order.
-1/6, -2/7, m
Let o = 185 + -184. Put -2, o, 3, -1 in ascending order.
-2, -1, o, 3
Let b = 3.84 - 3.7. Sort 1/2, b, 0.2 in ascending order.
b, 0.2, 1/2
Let r be (-2 - (-1)/1)/2. Let n = -21.5 + 20. Let g = n + 2. Put g, -5, r in decreasing order.
g, r, -5
Let l = -131/62 - 12/31. Let r = -2 + 1.7. Put l, r, -2/13 in increasing order.
l, r, -2/13
Let t = 1.2 + -17.2. Let a = t - -16.9. Let b = 3.9 - a. Sort 2/5, b, 0.3 in decreasing order.
b, 2/5, 0.3
Let u = 15 - 7. Suppose 13*c = u*c - 15. Sort -1, 4, c.
c, -1, 4
Let t = -0.1 - -0.56. Let p = 4.06 - 4. Let r = t - p. Sort r, -0.4, 1/4 in ascending order.
-0.4, 1/4, r
Let c = 5 + -2. Let h be (-2)/(-12)*(-2 + 5). Sort h, 5, c in increasing order.
h, c, 5
Let p(k) = -k + 2. Let x be p(-1). Put x, 2, -4 in increasing order.
-4, 2, x
Let w = 17/4 + -77/20. Suppose -23 = a + 4*u, -u - 11 = 2*a - 0*u. Sort -0.3, a, w in decreasing order.
w, -0.3, a
Let p be (1/2)/(2/28). Suppose -3*h - x = h - p, 0 = -3*h - 5*x + 1. Sort 0, -2, h in increasing order.
-2, 0, h
Suppose 0*r - 5*r = 4*r. Let x(t) = -2*t**2 - 2*t. Let z be x(-2). Sort 5, z, r in ascending order.
z, r, 5
Let p = -1 + -1. Put -3, 0.01, p in decreasing order.
0.01, p, -3
Let v = -2 - -133. Let y = v + -527/4. Sort 0, 4, y in descending order.
4, 0, y
Let h = 0 - -1. Let z be 22*3/6*1. Suppose 0 = z*a - 8*a. Put -1, h, a in descending order.
h, a, -1
Let f = -4.3 - 0.7. Sort 2, f, -2, 1.
f, -2, 1, 2
Let r = -4 + 33/8. Sort r, -3/2, 0.5 in increasing order.
-3/2, r, 0.5
Let n = -1.52 + 1.5. Let g = -0.28 + n. Put 5, -0.2, g in decreasing order.
5, -0.2, g
Suppose 0 = -p - 4*p. Sort p, -5, 7 in decreasing order.
7, p, -5
Suppose 0 = -11*z + 16*z - 40. Let b = -7 + z. Sort 5, b, -2 in decreasing order.
5, b, -2
Let g be (1/7)/(2/7). Let m = 8 - 3. Sort -4, g, m in decreasing order.
m, g, -4
Suppose -2*h + 2 = -8. Suppose 4*i = i, 20 = -h*a + 3*i. Suppose -16 = -5*x + x. Put a, x, 2 in decreasing order.
x, 2, a
Let z = 393/5 - 2183/30. Let c = 67/12 - z. Put -2, c, 3/8 in decreasing order.
3/8, c, -2
Let z = 28 + -27.6. Put -4, -1/7, z in decreasing order.
z, -1/7, -4
Let g = -11 + 16. Suppose b + 5 = 4*m + 2*b, -13 = -g*m + b. Sort -4, 0, m in decreasing order.
m, 0, -4
Let k(x) = x**3 + 8*x**2 - 7*x - 5. Let p be k(-8). Let s = 79 - p. Let a be 8/s - (-9)/(-7). Put 3, -5, a in ascending order.
-5, a, 3
Suppose -32 = -4*o + 5*i, 0*i + 16 = 4*o - i. Let r = 32 + -36. Put o, r, 5 in decreasing order.
5, o, r
Let m(d) = d**3 + 8*d**2 + 7*d + 5. Let k be m(-7). Suppose -10 = -0*w - 5*w + k*f, -4*f - 3 = w. Suppose 2*r = -0*r + 6. Put w, r, -5 in descending order.
r, w, -5
Let h = 0.009 + -4.009. Put 0, 5, h in ascending order.
h, 0, 5
Let v = -4 - -3. Let y = 3 + -6. Sort y, -0.2, v.
y, v, -0.2
Suppose h + h + 2*j - 2 = 0, j = h - 3. Suppose 0 = -5*i + h*i - 6. Put 2, i, -1 in descending order.
2, -1, i
Let x(q) = q**3 + 6*q**2 + 3*q - 1. Let f be x(-5). Let d be ((-8)/(-10))/(f/(-15)). Sort d, 0.3, -1/7 in ascending order.
d, -1/7, 0.3
Suppose -g + 1 = -1. Let r be ((-27)/12 - 0) + g. Sort r, 5, 3 in ascending order.
r, 3, 5
Let n = 0.06 - 0.22. Let w = 0.36 + n. Let h = -0.3 + -0.2. Put w, -0.4, h in descending order.
w, -0.4, h
Let x = 0.069 + -5.069. Sort x, -4/5, 1/5 in decreasing order.
1/5, -4/5, x
Let k = -6 - 0. Let i = 11 + k. Sort 2, -0.2, i.
-0.2, 2, i
Let k be (-46)/30 + (-4)/(-3). Sort -2/13, k, 2.
k, -2/13, 2
Let h = 1.6 - 4.6. Put -1/2, h, -0.1 in descending order.
-0.1, -1/2, h
Suppose t + 3 = x - 16, -2*x + 26 = t. Put -3, 4, x, 2 in increasing order.
-3, 2, 4, x
Let f = -1.16 - 0.04. Let l = 1.3 + f. Put -1, l, 7 in decreasing order.
7, l, -1
Let o = 93/2 - 46. Let b = -31 - -153/5. Sort -0.1, b, o in decreasing order.
o, -0.1, b
Suppose -a - 2*y - 3 = 0, -14 = 2*a - 0*y - 4*y. Let l = -27 + 24. Sort l, -4, a.
a, -4, l
Let a(b) = -b**3 - 5*b