 in ascending order.
g, -2/13, 1, 4
Let v = -0.084 - 3.916. Let u = -2.8 + -0.2. Let q = 2.8 + u. Put q, 3, v in descending order.
3, q, v
Suppose 0 = 5*r + g - 6*g + 10, 0 = 2*r + 5*g - 24. Sort 0, r, 5 in descending order.
5, r, 0
Suppose -3*m - 15 = 5*o, 0*m + 5*m = o + 3. Let b(s) = -s**3 - 4*s**2 - s + 4. Let u be b(o). Sort 0.01, u, 5.
u, 0.01, 5
Let d = -0.013 + -23.987. Let q = 17 + d. Let b = q - -7. Put 2/3, -0.5, b in increasing order.
-0.5, b, 2/3
Let v = 17 + -30. Let l = -12.9 - v. Let q = 17 - 12. Sort -0.4, q, l in descending order.
q, l, -0.4
Let z = -10 - -15. Suppose 2*a - z*a + 6 = 0. Sort -5, 5, a.
-5, a, 5
Let x = 123/196 + 6/49. Let j = 85/3 + -28. Sort x, -2, j in descending order.
x, j, -2
Let h(x) = x**3 + 5*x**2 + 6*x + 5. Let f be h(-4). Let k(q) = -2*q**3 - 14*q**2 - 14*q - 9. Let z be k(-6). Put 2, z, f in ascending order.
f, 2, z
Let k(l) = l - 1. Let h(d) = 2*d - 1. Let x(o) = -h(o) + 5*k(o). Let i be x(3). Sort -1, -2, i in ascending order.
-2, -1, i
Let v = -0.11 - 3.89. Sort 2/7, v, 0.2 in descending order.
2/7, 0.2, v
Suppose 10 = -3*x - r - r, 0 = 4*x + 5*r + 25. Suppose x = -0*n + 4*n - 4. Put n, 4, 3 in decreasing order.
4, 3, n
Let y = 1.164 + -0.014. Let j = 0.15 - y. Let n = 0.19 - -0.01. Put j, n, -6 in ascending order.
-6, j, n
Let i = 2 + -1.84. Let g = -1.24 - i. Let q = g - -1. Put 2/3, q, -1 in ascending order.
-1, q, 2/3
Let r = -5 - -1. Let g = -14 + 11. Put 3, r, g in decreasing order.
3, g, r
Suppose 5*m - 36 = 4*l - 11, 0 = -4*m - 2*l - 6. Let r = 6 + -11. Let a be (-40)/r*m/2. Sort 3, a, -3 in ascending order.
-3, 3, a
Let p = -29/423 - 2/47. Suppose -13 = -3*v + q, -v = 2*v + 5*q - 25. Sort p, -0.1, v.
p, -0.1, v
Suppose -4*c - 12 = -0*c. Sort -2, 5, c.
c, -2, 5
Let q(i) = i. Let k be q(6). Suppose 1 = -5*p + k. Let w(l) = -26*l + 341. Let f be w(13). Sort f, -5, p in ascending order.
-5, p, f
Let n be ((-14)/(-42))/(1/(-12)). Sort n, -2, 2/15 in increasing order.
n, -2, 2/15
Suppose -14 = -11*a - 36. Sort -25, -4, a, 5.
-25, -4, a, 5
Let i be ((-18)/24)/(-2 + 3/6). Sort -12, -5, i in ascending order.
-12, -5, i
Let x = 23.1 - 23. Let w = 2.8 + -3. Sort w, x, -2/5 in increasing order.
-2/5, w, x
Let q = -7 - -3. Put q, 1, 0.5 in decreasing order.
1, 0.5, q
Let q(w) = w**3 + 4*w**2 - 3*w + 8. Let b be q(-5). Put b, 0, -4 in descending order.
0, b, -4
Let r be 3/((1 + 2)/3). Let d(g) = g - 1. Let h be d(r). Suppose 4*n + 22 = 4*o + 2, 0 = n + h. Sort o, 0, -1 in descending order.
o, 0, -1
Suppose 4*t = -3*z - 38, -3*z - z - 49 = 5*t. Let m be (8/z)/(10/9). Let f = 1 + -3. Sort -5/3, m, f in decreasing order.
m, -5/3, f
Let y = -18.85 - 0.15. Let s = -19.1 - y. Put 0.5, s, 4 in decreasing order.
4, 0.5, s
Let n = 15 + -13. Let c = 13/6 - 11/6. Let z = -21/8 - -19/8. Sort n, z, c.
z, c, n
Let o = 3 - 1. Let d(l) = -3*l - 14*l**2 + 11*l + 13*l**2 - 4. Let n be d(8). Sort n, o, -5.
-5, n, o
Let j = 31/6 - 11/2. Sort 1, -3, j in decreasing order.
1, j, -3
Let v = 23 - 3. Let k be 5/2*16/v. Suppose -k*u = 6 - 0. Put u, 1, 0 in increasing order.
u, 0, 1
Let w be 0/((-1 - 0)*2). Let l = 0 - w. Sort -1, 5, l.
-1, l, 5
Suppose 6*l - 2*l - 28 = 4*x, -3*x + 4*l = 24. Put -3, -0.4, x in decreasing order.
-0.4, -3, x
Suppose -6*f - 2*c = -3*f - 17, 0 = -f - c + 6. Put -5, f, 4 in descending order.
f, 4, -5
Let u = 107 + -110. Let n be (-6)/(-40)*(-4)/6. Sort n, u, -1/2 in decreasing order.
n, -1/2, u
Let u = 3 + -3.4. Let r be (-2 - (-54)/21)/2. Put -0.5, r, u in descending order.
r, u, -0.5
Let o(a) = -a**3 - 10*a**2 - 9*a + 5. Let l be o(-9). Let y(u) = -u**3 + u**2 + u - 1. Let j be y(0). Sort 0, l, j.
j, 0, l
Let g = 178 + -175. Sort 4/7, g, -2.
-2, 4/7, g
Suppose -4 = c + 2*v, -3*c + v + 2 - 14 = 0. Sort -1, c, -5.
-5, c, -1
Let h = 48 - 78. Let z = -12 - h. Put 0, -2, z in ascending order.
-2, 0, z
Suppose -q + 2 = -0*q. Let b = -7 - -4. Let y = -50 - -301/6. Put y, q, b in increasing order.
b, y, q
Let m(l) = -l + 7. Let o be m(7). Put -2, o, 1/3 in descending order.
1/3, o, -2
Suppose 3*o + 2 = -r, -4*o + 2*o - 4*r + 2 = 0. Let u be (-1)/1 + (-3 - -2). Suppose 0 = -3*v + 4*v. Sort u, o, v.
u, o, v
Suppose 0 = u - 5, -3*q = u - 9 - 8. Sort -3, q, -2 in ascending order.
-3, -2, q
Suppose 14 = -2*l - 4*x, -l + 3*x = -2*x - 14. Put 4, l, -4, 5 in ascending order.
-4, l, 4, 5
Suppose 0*z = 3*z. Let p = -4 - z. Put 2, 0, p in ascending order.
p, 0, 2
Suppose 0 = n - o - 2, 0 = -3*n + 5*n + 5*o + 24. Let x = 4 - n. Sort -2, -4, x in increasing order.
-4, -2, x
Let m(k) = -2*k + 0*k + 3 - 2 - 8. Let u be m(-5). Sort -5, u, -3 in descending order.
u, -3, -5
Let n = 20 + -13. Let o be (-2)/(-8)*4/n. Sort 5, 3/4, o in descending order.
5, 3/4, o
Let t = 7 - 7. Let w(m) = 3*m**2 - 3*m + 3. Let i(k) = -4*k**2 + 4*k - 3. Let s(f) = 4*i(f) + 5*w(f). Let j be s(t). Put -3, -5, j in ascending order.
-5, -3, j
Let j = 7 + -9. Let h be 0 + -5 + (j - -2). Sort h, -0.3, -0.2.
h, -0.3, -0.2
Let q = -0.7 - -2.7. Let v = q + -5. Let x = -2.9 - v. Sort 2, -2, x in decreasing order.
2, x, -2
Suppose 0*d - 1 = d. Put 9, 1, d, -2 in ascending order.
-2, d, 1, 9
Suppose 0 = -2*r - 2*p, 0 = 2*r + 5*p + 5 + 7. Suppose -7*b + 4*k + 5 = -8*b, 2*b + k = 4. Put r, -3, b in decreasing order.
r, b, -3
Suppose 2*g + 3 = -3. Let x(j) = -j**2 + 8*j - 3. Let z be x(7). Sort g, z, -2.
g, -2, z
Suppose a + 0 = -r + 8, -5*a - 3*r = -42. Sort -2, a, 0 in decreasing order.
a, 0, -2
Let s be (-4)/10 + 7/5. Let d be 2/s - 10/5. Sort d, -3, -4 in decreasing order.
d, -3, -4
Let v be (-4)/(-14) + 2/(-7). Suppose -i = 3*i - 5*z + 6, 8 = 4*i + 2*z. Suppose -2*a = -a + i. Sort -2, v, a in descending order.
v, a, -2
Suppose -30 = 2*s - 26. Sort 0, 2, s in increasing order.
s, 0, 2
Suppose -2*x = -0*x - 4. Suppose 4*g - 4*l = -7*l + 11, 0 = 4*g - 4*l + 24. Sort g, x, -3 in decreasing order.
x, g, -3
Suppose 0 = -4*j + 2*l + 4 + 2, 0 = j + l. Let q be 1 + (j - (-36)/(-15)). Put q, -1/2, 3 in ascending order.
-1/2, q, 3
Let z = -0.15 + -0.25. Sort -1, 0.1, z.
-1, z, 0.1
Let x = -5.9 + 6. Let q = x + -3.1. Sort 2/7, q, -0.1 in descending order.
2/7, -0.1, q
Let o be 1/(-2)*8/(-10). Let q = -2 - -3. Sort q, -5, o.
-5, o, q
Let k be (4 - -2) + -3 - 4. Sort 5/7, k, 1 in ascending order.
k, 5/7, 1
Let z = 4 + -2. Sort 0.4, z, -3 in descending order.
z, 0.4, -3
Let c = 0.15 - 0.1. Let q = -0.15 - c. Put 1/3, -0.4, q in descending order.
1/3, q, -0.4
Let v(l) = 2*l + 2*l - l**2 - 2 - 1. Let o be v(2). Suppose -24 = 4*k - 12. Sort 0, k, o in decreasing order.
o, 0, k
Suppose -5*s = 18 + 2. Sort s, 0, -3 in ascending order.
s, -3, 0
Let k(l) = l**3 + l + 1. Let s be k(-1). Suppose 4*m + 0*m = -20. Suppose 4*n + q = 6 + 6, 8 = -3*n - 5*q. Sort s, n, m in increasing order.
m, s, n
Suppose 5*z - 3*n + 34 = 0, 19 - 4 = 5*n. Let a = -0.5 + 2.5. Sort z, a, 3.
z, a, 3
Let j be (-1)/((6/10)/(-3)). Suppose -2*d - 8 = -4*d. Suppose 7 = d*r - 1. Sort r, j, -5 in decreasing order.
j, r, -5
Let b be (-2)/4 + 3/6. Suppose 0 = 4*y - 10 - 2. Let u(g) = g**3 - 9*g**2 + 2*g - 13. Let n be u(9). Sort n, b, y in increasing order.
b, y, n
Let j(o) = -4*o + 3. Let w be j(4). Let f = 16 + w. Let x = -0.2 - -2.2. Put f, -2, x in ascending order.
-2, x, f
Let a = -3 - 0. Put -0.5, a, 0 in descending order.
0, -0.5, a
Suppose -8 = -4*s - b, -3*s + 2 + 4 = 5*b. Sort -2, -3, s.
-3, -2, s
Let v = -37.1 + 37. Sort 0, -1/4, v, -3 in increasing order.
-3, -1/4, v, 0
Let w = -29 + 32. Sort -13, -5, w in increasing order.
-13, -5, w
Suppose -3 = 3*o - 2*w - 5, 4*w = 4*o. Put 9, o, 5 in ascending order.
o, 5, 9
Let a(c) be the third derivative of c**5/120 + c**4/8 + c**3/3 + 2*c**2. Let s(l) be the first derivative of a(l). Let o be s(-5). Sort o, 3, 2.
o, 2, 3
Let c be 120/54 - 2/9. Let a = 8 - c. Sort 3, 0, a.
0, 3, a
Let i be 4/10*(-6 + 1). Let k be (3 - 1) + (-2 - -3). Put i, 2, k in increasing order.
i, 2, k
Let m be (0 - -5) + (-2)/1. Let j(o) = -o**3 - 5*o**2 + 3*o + 6. Let c be j(-5). Let i(s) = -s**2 - 9*s - 4. Let h be i(c). Sort 1, m, h in increasing order.
h, 1, m
Suppose 0 = -5*x + x + 40. Suppose 5*g - 2*g - q = -x, -7 = g - 4*q. Sort g, -0.4, -0.1 in descending order.
-0.1, -0.4, g
Let k = -10 - -13. Suppose 12 = 4*g + 4. Suppose 2*s = -0*s - g. Put s, -4, k in decreasing orde