 decreasing order.
c, q, s
Let h be 2 - -18*(-2)/16. Let x = 0.3 + -0.5. Sort h, 0, x in descending order.
0, x, h
Let n = -158/5 - -32. Let h(r) = 14*r - 6. Let c be h(6). Let g = c + -153/2. Sort n, g, -0.5 in increasing order.
-0.5, n, g
Let g = -5.629 + 0.029. Let b = -0.13 + -5.87. Let d = b - g. Put d, -2/3, 2 in descending order.
2, d, -2/3
Let g = -7 - -4. Let q(f) = -f - 1. Let a be q(g). Suppose 0 = -0*h - a*h + 10. Put -1, h, -2/11 in descending order.
h, -2/11, -1
Let d = 62 + -109. Let z = -49.9 - d. Let b = 1.1 - z. Sort 1, 1/4, b in decreasing order.
b, 1, 1/4
Suppose -3*h - 24 = 3*m - m, -2*h = -3*m - 10. Let n be 3 + -3 + m/(-2). Let o = -0.1 + 0.1. Sort n, -1/5, o.
-1/5, o, n
Let x be ((-3)/18*-6)/1. Put -21, -4, x in descending order.
x, -4, -21
Let x = -4 - -8. Let s be 2/x - (-26)/(-68). Sort s, 1, -2 in decreasing order.
1, s, -2
Let t(o) = -o + 12. Let i be t(5). Let m = i + -11. Sort -1, m, 4.
m, -1, 4
Let t = -3.7 + 4. Suppose 2*r + 15 = 5*r. Sort t, -0.3, r in decreasing order.
r, t, -0.3
Let x = -3.1 + 1.1. Let i = -2 - -5. Let b = i + x. Sort -4, b, 3 in decreasing order.
3, b, -4
Let y be 14/(-91) - 74/26. Sort -0.01, y, 0.1 in increasing order.
y, -0.01, 0.1
Let o = -4 - -4.4. Let q(x) = x**2 + 4*x - 4. Let g be q(-4). Let a(h) = h + 2. Let r be a(g). Put -3, o, r in increasing order.
-3, r, o
Suppose 11 = -4*o - s + 32, -5 = -5*o + 3*s. Suppose 0 = -n - a - 5, 5 = 2*n - 2*a - 1. Let d be (-1)/(2 + 1*n). Sort -1/6, o, d in decreasing order.
o, -1/6, d
Suppose 3*b + 4 = -5*h - 51, h = -4*b - 28. Let g be h/10*(2 + 3). Let v be ((-5)/2)/((-2)/4). Put -3, v, g in decreasing order.
v, -3, g
Let d = 1 - -1. Let x = -0.01 + 6.01. Let g = x - d. Put -1/3, g, 2 in ascending order.
-1/3, 2, g
Let r(x) be the third derivative of x**5/60 + 5*x**3/6 + x**2. Let q be r(0). Put -5, -1/2, q in descending order.
q, -1/2, -5
Let q be ((-3)/2)/((-9)/24). Suppose 422 = -t + 417. Sort t, -4, q in descending order.
q, -4, t
Let r(q) = 2*q**2 - 4*q + 2. Let a be r(2). Let f = -6 + 3. Sort -4, a, f in increasing order.
-4, f, a
Suppose -6 + 2 = y. Put 4, y, -3 in decreasing order.
4, -3, y
Let h(f) = -3*f + 22. Let q be h(7). Put -3, q, 3 in descending order.
3, q, -3
Let p = -0.7 - -0.2. Let d = -82 - -78.95. Let i = -0.05 - d. Put -0.2, p, i in increasing order.
p, -0.2, i
Suppose 5*o - 4*o - 4*s + 5 = 0, 0 = 4*s - 4. Put 3, 0, o in decreasing order.
3, 0, o
Suppose 3*a - 26 = 127. Let m be 6/(-9) - a/(-9). Sort m, 0, 4 in descending order.
m, 4, 0
Let w = -2 + 0. Put -5, 2, w in descending order.
2, w, -5
Let i(x) = -4*x**3 + 2*x**2 - 1. Let m be i(-1). Suppose 0 = -9*g + 6*g. Sort g, -2, m.
-2, g, m
Suppose 0 = -11*t + 19 + 36. Sort 3, -5/2, t, -0.5.
-5/2, -0.5, 3, t
Let w be (-2)/(-1) - (-10)/5. Suppose 0 = -5*r + 4*h - w, 4 = 3*r - 4*h. Sort r, 0, -3 in descending order.
0, -3, r
Let b be (-21)/4 - 2/(-8). Suppose -3*u + 18 + 9 = 0. Suppose -4*i = -u - 3. Sort i, -2, b.
b, -2, i
Let g(p) = 2*p - 2. Let w be g(1). Suppose u + 0 + 4 = -f, w = -3*u - 4*f - 13. Put 5, -4, u in increasing order.
-4, u, 5
Let h = 0.1 + 0.2. Put h, -3, -2/3 in decreasing order.
h, -2/3, -3
Let q be ((-1)/(-3))/((-4)/(-12)). Sort q, -3, 2.
-3, q, 2
Let s(i) = -i**2 + 2*i + 4. Let h be s(0). Sort h, -3, -2 in ascending order.
-3, -2, h
Let r = -36.7 - -37. Put 1/2, r, -3/2 in descending order.
1/2, r, -3/2
Let z be (2 + -4)/((-4)/10). Suppose -64 = -d + z*d. Let n be d/12 + (-1)/(-3). Sort -4, 1, n in ascending order.
-4, n, 1
Let r(a) = a**3 - 7*a**2 + 7*a - 3. Let f be r(6). Suppose -1 = -2*v - f. Put 2, v, -2 in ascending order.
-2, v, 2
Let b = 0.3 - -0.1. Sort b, -2, 1/5.
-2, 1/5, b
Let a(c) = -c**3 - c**2 - 1. Let x be a(0). Suppose -l + 35 = 4*l + 5*k, -l - 2*k = -12. Suppose -6*p = -2*p - 12. Sort x, p, l in increasing order.
x, l, p
Suppose -10 = -2*h + 4*k, -3*k = 2*h - 6 - 4. Let c = -5 - -1. Put c, h, 0.3 in decreasing order.
h, 0.3, c
Let v(p) = p - 1. Let r(b) = -9*b**3 + 2*b**2 - 5*b + 6. Let y(l) = -r(l) - 4*v(l). Let h be y(2). Let a = -255/4 + h. Sort a, -3, 4.
-3, a, 4
Suppose 0 = z - 5*z. Let a be z + (-3 - (-10)/3). Let l be (-10)/(-2) - 3/3. Sort a, l, 3/2 in decreasing order.
l, 3/2, a
Suppose 2*r = -3*q - 20 + 5, -4*r + 3*q - 21 = 0. Let l = r - -4. Put l, -4, 0 in decreasing order.
0, l, -4
Let v be 1*(2 + 0/2). Suppose -x = -1 + v. Suppose m + 10 = 3*m. Sort 3, m, x.
x, 3, m
Let j = 26/3 + -28/3. Put 2/9, -24, j in ascending order.
-24, j, 2/9
Let n(y) = y**2 + 5*y + 1. Let b be n(-4). Let o = -16 + 14. Put o, 0, b in increasing order.
b, o, 0
Let x(p) = p**3 - 4*p**2 + 4. Let v be x(4). Put -2, v, -1 in descending order.
v, -1, -2
Suppose -2*u = -f - 0*u + 11, 2*u + 23 = 5*f. Let m be (f/9 + -1)*-6. Let t be 1*2/m*10. Sort t, -2, 1 in descending order.
t, 1, -2
Let t be (1 - 7)*4/(-6). Let o = 4 + 1. Put 1, t, o in decreasing order.
o, t, 1
Let o = 28 + -24. Put -1, 2, o in increasing order.
-1, 2, o
Let u = -5.0274 + -0.0026. Let o = u + 0.03. Sort o, 1/5, 0.1.
o, 0.1, 1/5
Let x be (-196)/(-24) + 3/(-18). Suppose 3*o - t - t - 7 = 0, 0 = -4*o + 3*t + 9. Put o, x, -4 in increasing order.
-4, o, x
Suppose -3*y = -19 - 11. Suppose 3*a + y = 8*a. Sort a, -2, -1/3 in increasing order.
-2, -1/3, a
Let k be ((-1)/(-3))/(4/19). Let i be ((-2)/(-3))/((-56)/(-77)). Let t = k + i. Put 0, t, 0.1 in increasing order.
0, 0.1, t
Let t = 6 + -5.7. Suppose -75*u - 3 = -78*u. Sort -0.5, u, t.
-0.5, t, u
Let f = 60 + -31. Sort -5, f, -0.5 in descending order.
f, -0.5, -5
Let p = -3 + 2. Suppose 0 = -2*u - 3*g - 2, 5*g = 3*u + 2*u - 45. Let w be 78/(-39)*((-6)/(-4))/(-3). Sort w, u, p in ascending order.
p, w, u
Let h = -0.44 + 0.74. Put 0, 7, h in increasing order.
0, h, 7
Let b = 0.1 + 1.9. Let c = b + -1.9. Let t be (0 + (-1)/(-4))*-6. Sort 3, c, t in decreasing order.
3, c, t
Let q = 4.8 + -5. Sort q, -2, 4, 0.5 in increasing order.
-2, q, 0.5, 4
Let t = -4.7 + 5. Sort 1/2, t, 0 in decreasing order.
1/2, t, 0
Suppose 5*r - 23 + 3 = 0. Let q(t) = -t**2 + 7*t + 10. Let m be q(7). Suppose 0 = 2*f - d + m, f + 1 + 4 = -4*d. Sort f, r, 1.
f, 1, r
Let f = 0.1 - 0.5. Let m = 4.7 + -5. Sort m, f, 0.3.
f, m, 0.3
Let v(d) = -d + 5. Let y be v(3). Let g be 4/8*2 - -2. Sort -5, g, y in decreasing order.
g, y, -5
Let m(u) = -u**3 - 3*u**2 + 3*u + 4. Let j be m(-3). Suppose 2*b + b = -3. Let y be (b - 5)*4/6. Sort 1, j, y in increasing order.
j, y, 1
Let m = -28 - -31. Sort -14, 5/3, m in ascending order.
-14, 5/3, m
Suppose 0 = 17*y - 12*y + 20. Sort y, 2, 7, -1 in descending order.
7, 2, -1, y
Let j = -541/1197 - -4/171. Put 2, -2/5, j in increasing order.
j, -2/5, 2
Suppose 3*y - 25 = -2*y. Let h = 5 - 4. Let s = h + -4. Sort y, 4, s.
s, 4, y
Let v(h) = -h + 3 - h**2 + 4*h - 4*h**2 + 0*h + h**3. Let s be v(3). Put -2, -1, s in ascending order.
s, -2, -1
Let r = 17 + -38. Let g be (-2)/3 + (-11)/r. Let h = 1.1 - 1.3. Put g, h, -3 in ascending order.
-3, h, g
Let s(z) = -z**2 + 7*z - 2. Let m be s(6). Sort m, -1, -3, 1 in decreasing order.
m, 1, -1, -3
Let q = 0.04 + -0.14. Sort 3/4, 0.01, q in decreasing order.
3/4, 0.01, q
Suppose 55*g + 28 = -247. Let x be (0/(-2))/(1 + 0). Sort g, x, -3 in descending order.
x, -3, g
Suppose 4 + 6 = 2*m - 2*d, 15 = -4*m - 3*d. Let x be ((-1)/((-3)/(-3)))/1. Let o = x - -4. Sort o, 2, m.
m, 2, o
Let m be (-30)/8 - (-1)/(-4). Suppose 5 + 7 = 3*g. Suppose -q = -2*i - g, -3*i = 3*q - 4*q + 5. Sort q, m, 3.
m, q, 3
Let d(q) = -q**3 - 3*q**2 - 2*q - 1. Let f be d(-3). Suppose -m - f = -2*m. Let o be 6/4*(-16)/(-12). Sort 1, m, o.
1, o, m
Let i = -10 - -10. Let v be (0 + i)/(30/10). Sort 6, v, 4 in ascending order.
v, 4, 6
Let t(z) = z**3 - 4*z**2 - z + 3. Let a be t(4). Sort -4, a, -2 in descending order.
a, -2, -4
Suppose 3*z - 2*c - 8 = 7, 4*z + c = 20. Let u(n) = n**2 - 8*n + 9. Let o be u(7). Sort z, -1, o.
-1, o, z
Let y be 34/12 - 1/(-6). Let l = 2 + -3. Sort y, 0, l.
l, 0, y
Let d be (-1)/2 - 3/(-6). Let j be 1 - d - (7 + -4). Sort 4, -3, j in descending order.
4, j, -3
Suppose 0 = -2*i - 6, l + 6 + 8 = -i. Let w = l - -16. Suppose 2*t = n - 3*t + 12, 0 = 3*t - 6. Put n, 3, w in ascending order.
n, 3, w
Suppose -l + 4*o + 16 = 0, 4*l + o = -25 + 4. Let r be (9/6)/(2/l). Let g be 2 + r + 1 + -5. Put 4, 2, g in ascen