 order.
p, -4, -1
Suppose 20 = -4*u - 0*u. Let a be 6*1/(-50)*u. Sort a, 0.1, -2 in decreasing order.
a, 0.1, -2
Let g = -0.09 - -9.09. Let q = -8.6 + g. Let m be ((-2)/3)/(4/6). Put q, 5, m in decreasing order.
5, q, m
Suppose 4*x + 1 = 17. Let o = -13 - -9. Put o, 2, x in ascending order.
o, 2, x
Let v = 0.1 + -0.1. Let b = 83 - 743/9. Put 3, v, b in decreasing order.
3, b, v
Let a(f) = -7*f**2 + f. Let y be a(1). Let v be (-15)/y*(-4)/2. Let h be 55/(-66)*(-1 + -5). Put v, h, 3 in decreasing order.
h, 3, v
Let r(t) = -2*t - 36. Let d be r(-21). Sort 2, d, -2 in descending order.
d, 2, -2
Let b = -0.6 - -0.3. Let n = 75 + -74. Put b, n, 4 in descending order.
4, n, b
Let m(b) = -b**2 + 5*b. Let l = -14 + 19. Let h be m(l). Sort 4, -4, h in ascending order.
-4, h, 4
Let m = 2 + 2. Let p be (4 - 0) + (-18)/m. Sort p, 4, 3 in ascending order.
p, 3, 4
Suppose -z + 5*z - 57 = 3*p, 5*z - 31 = 2*p. Let c = p - -19. Sort c, -5, -3 in descending order.
-3, c, -5
Let u = 3 + -3.2. Let j = -4.9 + -0.1. Let z = -0.18 - 0.12. Put j, u, z in descending order.
u, z, j
Let p = 2 + 2. Suppose 0 = -5*n + g + 16, -5 = -n + 2*g - 0. Suppose -5 = -5*k - 4*l, 7*k - 4 = n*k - 3*l. Put k, p, 2 in decreasing order.
p, 2, k
Let b(n) = -n + 4. Let q be b(5). Let a be 2 + 2 - (0 - q). Let g = -44 - -45. Put a, -4, g in ascending order.
-4, g, a
Suppose -2*a + 0*o = 4*o + 20, 3*a - 2*o + 6 = 0. Suppose 0 = -3*g + 6 - 3. Put g, a, -2 in descending order.
g, -2, a
Let g(k) = -k - 8. Let o be g(-5). Let r = 11 - 16. Sort o, 0, r in descending order.
0, o, r
Suppose a = -4*o + 6, -3*o + 16 - 4 = 0. Let t = 31/3 + a. Put 0, -1, t in decreasing order.
t, 0, -1
Let p(a) = -2*a**3 - 3*a**2 + 3*a + 2. Let i be p(-2). Suppose -5*x = 3*r - 15 - 20, 4*x = -3*r + 31. Sort i, x, -2 in decreasing order.
x, i, -2
Let o = 7 - 8.1. Let p = -0.1 + 1.1. Let r = p + o. Put r, 0.2, 1 in ascending order.
r, 0.2, 1
Let n = 0.19 + 0.01. Sort -11, 3, n, 1/4 in descending order.
3, 1/4, n, -11
Let f(x) = 2*x**2 + 13*x - 9. Let b be f(-7). Sort 1, 3, b, -1.
b, -1, 1, 3
Let i = -1 - -4. Sort i, 2, 0.2.
0.2, 2, i
Let h(g) = -g - 9. Let c be h(-9). Let i = 4 + -4.2. Let f = i - 0. Put -5, f, c in decreasing order.
c, f, -5
Let p be (-1 - -5)*1 + -1. Sort 0, p, -1, -4 in increasing order.
-4, -1, 0, p
Let l be 6/9*(-9)/12*0. Let f = 2 + -8. Let b be 26/(-6) + (-2)/f. Sort 4, b, l in ascending order.
b, l, 4
Let f = -1.6 - -2. Put 2, f, 1 in increasing order.
f, 1, 2
Let l be 1*10*2/(-4). Suppose 0 = -4*m + 9 + 3. Put m, 5, l in decreasing order.
5, m, l
Suppose -y + 60 = 2*y. Suppose -6*o + y = -o. Suppose 6 - 31 = -5*z. Put o, z, -5 in increasing order.
-5, o, z
Suppose -3 + 28 = -5*o. Suppose -3*z - 200 + 188 = 0. Put o, 3, z in descending order.
3, z, o
Let n = 9 - 16. Let q = -9 - n. Let t(b) = b + 8. Let w be t(-9). Sort q, -2/7, w in descending order.
-2/7, w, q
Let h = -9 + 11. Let m = -1.4 + 1. Sort h, m, -1/2.
-1/2, m, h
Let c = -12 - -8. Let g = 8 - 4. Put 0, g, c in decreasing order.
g, 0, c
Let b = 2 + -2.4. Let f = -8 + 8. Let t = f - b. Put t, -3, 1/2 in decreasing order.
1/2, t, -3
Let w(n) = -2*n**2 - n + 4. Let f(u) = 3*u**2 - 3. Let d(k) = 3*f(k) + 4*w(k). Let q be d(3). Put 2, q, 0 in descending order.
q, 2, 0
Suppose a = 6*a - 50. Suppose 3*j + a = -2*j. Suppose 5 = i + 4*p - 11, 0 = -5*i - 3*p + 12. Sort i, 2, j in descending order.
2, i, j
Let y = 100 - 97. Sort -4, -2/3, 2/11, y in decreasing order.
y, 2/11, -2/3, -4
Let s = 2/111 + -119/444. Put s, -4/7, -1 in increasing order.
-1, -4/7, s
Let q(x) = -3*x + 6. Let i be q(4). Let m be (6/(-9))/(i/(-9)). Let g be m/5 + 48/(-10). Sort g, -4, 4.
g, -4, 4
Suppose 0 = 4*a - 3*k + 18, 3*a - 3 = k - 14. Sort 1, 2, a, -4 in descending order.
2, 1, a, -4
Let x(a) = a**2 + a + 2. Let z be x(-2). Suppose 20 = -z*q + 2*q. Let l = 6 + q. Sort l, 5, 3.
l, 3, 5
Suppose y = 1, 0 = -i + y + 3*y - 2. Sort i, -2, 9 in descending order.
9, i, -2
Suppose 0 = 3*y + 3, -2*s = 3*y - y + 6. Let n be (-39)/9 - (-8)/24. Put s, n, -3 in descending order.
s, -3, n
Suppose -4*r = -0*r. Let q(i) = 6*i - 1. Let v be q(1). Suppose v*w + 2*n + 17 = 0, w + 2 = 4*n - 19. Sort r, 1, w in increasing order.
w, r, 1
Let n(f) = 5*f - 1. Let b(i) = 14*i - 2. Let j(x) = -4*b(x) + 11*n(x). Let l be j(-3). Let d be 2/(-5)*-1 - 1. Sort l, 1, d in descending order.
1, l, d
Let q = 4 - 8. Sort q, 0, 2 in ascending order.
q, 0, 2
Suppose -55 = 5*w + 45. Let n = -24 - w. Sort n, -2, 1 in descending order.
1, -2, n
Suppose 1 - 5 = 4*a. Put a, 1, 4 in increasing order.
a, 1, 4
Suppose 5*n = -39 + 4. Suppose 21 = -5*v - 34. Let s = n - v. Sort 1, -5, s in decreasing order.
s, 1, -5
Let m(j) = -j**2 - 5*j + 7. Let o be m(-6). Let b be 3 + (o - -1) + -2. Sort b, -4, -5 in decreasing order.
b, -4, -5
Let q = 820 + -819.5. Let d = 281/5 - 3643/65. Sort q, -0.5, d in ascending order.
-0.5, d, q
Let d = -1/170 - 333/1190. Sort 3/4, -3/8, -0.2, d in increasing order.
-3/8, d, -0.2, 3/4
Suppose 0 = -3*p - 0*r + r + 6, -2*r = -p - 3. Sort 1, 36, p.
1, p, 36
Suppose 0 = 2*m + 5*n, 2 + 13 = m - 5*n. Suppose -5*p + 0*a = -3*a + 52, -4 = -2*p - m*a. Let l = -6 - p. Sort 1, -5, l in increasing order.
-5, 1, l
Let r = 7 - 11. Sort -3, 3, r in decreasing order.
3, -3, r
Let s(x) = -9*x**3 + 4*x + 7. Let f(m) = 14*m**3 - 6*m - 11. Let n(j) = 5*f(j) + 8*s(j). Let k be n(-1). Sort k, 0, -3 in ascending order.
-3, 0, k
Suppose -c = -1 + 6. Let b = 101 - 101. Put b, -0.2, c in increasing order.
c, -0.2, b
Let b be (-14)/6 + 2/(-3). Let z = -2 - b. Let n = 71 + -68. Sort z, 4, n.
z, n, 4
Let a = -0.2 - -0.3. Put -0.2, -4, a in descending order.
a, -0.2, -4
Suppose -2*t + 2 = n, -4*t + 3 = -2*n + 7. Let v(b) = b - 7. Let c be v(15). Sort n, 0, c in ascending order.
0, n, c
Let g = 43 + -38. Let x = 3 + -6. Sort x, -2, g in increasing order.
x, -2, g
Suppose -s - 34 = 2*s - 5*q, -4*s - 2*q - 2 = 0. Let k(d) = -d**2 - d + 3. Suppose z - 5 = 2*y, -2*y + 3 = z - 2. Let n be k(y). Sort s, n, -5.
-5, s, n
Suppose 0 = x - s + 3, 3*x + 5 = 7*s - 2*s. Put 1, x, -2, 5 in descending order.
5, 1, -2, x
Let c be -3 - 2*(-1)/(-2). Put c, 5, -3 in descending order.
5, -3, c
Suppose 3*k - 7*k = 20. Let x = -0.3 + 0.8. Put x, k, 2/5 in decreasing order.
x, 2/5, k
Let b = 2.14 + -5.07. Let p = 0.12 + -0.05. Let l = p - b. Sort l, 0.2, -2/11 in descending order.
l, 0.2, -2/11
Suppose 0*k - k - 2 = 0. Let j be -5*2/4*k. Sort -5, j, 0.2.
-5, 0.2, j
Let i = -253/12 - -21. Sort -0.5, 0.5, i, 0.1 in descending order.
0.5, 0.1, i, -0.5
Let l(h) = h**2 - 6*h - 4. Let o be l(7). Sort -1, -2, o in decreasing order.
o, -1, -2
Let k = 28.15 + -30. Let r = 0.15 + k. Let b = r - -2. Sort 2/13, b, -0.2 in decreasing order.
b, 2/13, -0.2
Suppose -5*i - 5*r = 40, -i - r + 8 = -4*r. Suppose -2*q - 20 = 3*q. Let m be 1*(q/5)/(-4). Sort -3, i, m in descending order.
m, -3, i
Let z(v) = -v**3 + 3*v**2 - 2*v - 1. Let a be z(2). Let m(p) = p**2 + p - 29. Let g be m(-6). Sort 0, a, g in decreasing order.
g, 0, a
Suppose u = -2*u + 9. Sort -1, -4, u.
-4, -1, u
Let f = 17 + -18. Sort -4/3, -0.2, f in descending order.
-0.2, f, -4/3
Let q = 0.12 - -0.58. Let z = q - 2.7. Let o = 120/781 - -2/71. Sort z, 1, o in ascending order.
z, o, 1
Let o = 23 - 27. Sort o, 0.1, -2.
o, -2, 0.1
Let v = 0.2 + -0.2. Let y = v - 0. Let g = y - 0.5. Sort g, -0.3, 0.2.
g, -0.3, 0.2
Let f = 20.5 + -1.5. Let d = f - 9. Let q = 5 - d. Sort 3, 1/6, q in descending order.
3, 1/6, q
Suppose -1 = -s - 4*s - 4*m, 5*s - m = 6. Put 2, s, -1 in decreasing order.
2, s, -1
Let h be ((-2)/2)/((-1)/(-1)). Suppose 0 = -2*p + 2*b + 4, 3*b + 5 = 5*p - 3. Sort h, p, 0 in increasing order.
h, 0, p
Suppose v + 2*v - 3*q = 6, -q = 4*v - 33. Suppose 0 = -5*u + 23 + v. Sort 1, 2, u in descending order.
u, 2, 1
Let u = -85 - -89. Let a(z) be the second derivative of z**5/20 - 7*z**4/12 + 4*z**3/3 - 7*z**2/2 - z. Let l be a(6). Sort -3, l, u in ascending order.
-3, u, l
Let a(h) = 8*h + 1. Let c(d) = d. Let v(o) = a(o) - 2*c(o). Let r be v(-1). Sort 1, r, -2 in descending order.
1, -2, r
Let o(w) = -w**2 + 8*w - 8. Let t(i) = i**2 - 9*i + 8. Let s(y) = -2*o(y) - 3*t(y). Let g be s(10). Suppose -4*f - 6 + g = 0. Sort 2, -5, f in descending order.
2, f, -5
Let d = 0.78 - -0.02. Let f = 0.5