-5, m, t in ascending order.
-5, m, t
Suppose 5*j - d + 14 = 2*d, 3*d = 9. Put 2, j, 0 in increasing order.
j, 0, 2
Let v = 31 - 30.8. Let w = -0.9 - -1. Sort -0.3, v, w in descending order.
v, w, -0.3
Let d = 3 - 4. Let o = -0.02 + 0.12. Sort -0.1, d, o.
d, -0.1, o
Let p(f) = f + 2. Let o be 2/6 + 2/(-6). Let x be p(o). Suppose -4*u + 3*k = 20, 2*u + 10 = -0*k - 5*k. Sort -1, u, x in descending order.
x, -1, u
Let a = 1 + 3. Let r = 12 + -16. Sort r, 0.1, a in increasing order.
r, 0.1, a
Let h = -14 - -21. Let m(j) = -j**3 + 8*j**2 - 6*j - 6. Let i be m(h). Sort i, -3, 4.
-3, i, 4
Let a(m) = -m**2 + 10*m - 10. Let r be a(9). Let y = -6 - -2. Sort r, 7, y.
y, r, 7
Suppose 1 = 6*b + 13. Sort -0.5, b, -13 in increasing order.
-13, b, -0.5
Let r be 408/(-30) - (-4)/(-10). Let j = -10 - r. Sort j, -2, 5.
-2, j, 5
Let g(v) = -v + 3. Let w be g(2). Let r be (-60)/(-14) + 10/(-35). Let t be r/(-10) - 8/5. Put t, 0, w in descending order.
w, 0, t
Suppose -5*d + 2*d + 5*r = 17, 3*d - 4*r + 13 = 0. Suppose -g = d - 6. Let w be 1/(1 + 1)*0. Sort g, -5, w in decreasing order.
g, w, -5
Let j = 53.98 - 54. Put -5, j, 0.5 in decreasing order.
0.5, j, -5
Let s = 14 - -1. Suppose x = 5*x - 12. Suppose x*l + 2*l = s. Put l, -3, 5 in increasing order.
-3, l, 5
Suppose 3*a = -0*a. Suppose 2*u - 7*u + 5 = 0. Sort -2, a, u in increasing order.
-2, a, u
Suppose 68 - 23 = -9*z. Sort 1, z, 4 in ascending order.
z, 1, 4
Let w = 59 - 56. Sort 2, -4, -8, w in ascending order.
-8, -4, 2, w
Let j be (2 + -1)*(-3 - 1). Sort 1, 3, j in increasing order.
j, 1, 3
Let v = 0.069 - -0.131. Put v, -0.5, 2, 1 in ascending order.
-0.5, v, 1, 2
Suppose -d + z = -6*d + 12, 0 = -2*d - 4*z - 6. Let t be -4 - 9/d - 0. Let l be 4 + -4 + 2/t. Put 5, 1/7, l in descending order.
5, 1/7, l
Let x = 6 - 10. Let h = -4 + 3. Let f = h - -1.2. Put x, f, 0.5 in descending order.
0.5, f, x
Suppose 0 = 4*d - 4*k, d - 3*k - 12 + 4 = 0. Sort -1, d, 0 in descending order.
0, -1, d
Let i(b) = -2*b + 8. Let p = -5 + 8. Suppose -4*n + 3*t + 24 = -0*t, p*n - 18 = -2*t. Let f be i(n). Sort f, 3, 4 in increasing order.
f, 3, 4
Suppose -5*z - 6 = 19. Let o(d) = 2*d. Let w be o(2). Sort 1, w, z in ascending order.
z, 1, w
Let u = 0.41 + -0.11. Sort -1, -0.5, u in decreasing order.
u, -0.5, -1
Let q be ((12/75)/1)/(4/10). Sort q, 6, -5/2.
-5/2, q, 6
Let u be 3 + (11/(-7) - 2). Sort u, 5, -1/8 in descending order.
5, -1/8, u
Let q be (-80)/(-30) + (-1)/(-3). Sort -8, q, 0 in decreasing order.
q, 0, -8
Let g = -3.94 + 4. Let p = -0.34 - g. Sort -9, p, -3 in decreasing order.
p, -3, -9
Let q = 41 + -122/3. Sort -2/13, -0.2, 5, q.
-0.2, -2/13, q, 5
Suppose -2*y + 0*y + 22 = 0. Let z = -6 + y. Sort z, 0, -2.
-2, 0, z
Let d = 0 + -2. Put d, -2/9, -4 in decreasing order.
-2/9, d, -4
Let s = 7 - 7.2. Suppose 22 = 4*w + 2. Let j = 10 - w. Put j, 4, s in increasing order.
s, 4, j
Suppose 0 = -5*w - 5. Suppose -4*p = -7*t + 2*t - 21, 2*t + 4*p + 14 = 0. Sort t, w, -4 in decreasing order.
w, -4, t
Let h be 13/(-3) - 4/6. Sort h, -46, -3 in increasing order.
-46, h, -3
Let a be (-1 - 3) + (-14)/(-2). Put 8, -3, a in descending order.
8, a, -3
Let w(x) = x**3 + 14*x**2 + x + 13. Let l be w(-14). Sort -3, 2, l.
-3, l, 2
Let v = -0.1 - -0.14. Let y be 2 + 0 - 32/28. Put y, 5, v in decreasing order.
5, y, v
Let r be ((-2)/3)/(6/(-45)). Suppose 0 = 3*p - p - 2. Sort p, r, 2 in descending order.
r, 2, p
Suppose -t - q = 3*t + 32, 6 = -2*t - 3*q. Put -3, t, 0 in ascending order.
t, -3, 0
Let i = 4 - 14. Suppose 3*q = 5 + 7. Let s be i/q*(-16)/10. Sort -4, 2, s.
-4, 2, s
Let o(v) = -2*v**3 - 14*v**2 - 12*v + 5. Let x be o(-6). Put -1, x, 4 in descending order.
x, 4, -1
Let d = 1 - 0.6. Let v = -3.6 - -4. Let r = 0.6 + v. Sort 2, r, d in decreasing order.
2, r, d
Suppose 0*l + 44 = 4*l. Put l, 1, 3 in decreasing order.
l, 3, 1
Let u(h) = h + 2. Let v be u(-6). Let g = 90 - 109. Sort 5, g, v.
g, v, 5
Let p = 4 - 0. Let o be 7/(126/50) + -3. Sort o, 3, p in ascending order.
o, 3, p
Let o = -51 + 52. Sort -14, 2, o in increasing order.
-14, o, 2
Let q = -2 - 3. Sort 1, q, -7 in decreasing order.
1, q, -7
Let y(x) = -x. Let b be y(5). Let n = 2 + -5. Let f = n - -4. Sort b, 2, f in descending order.
2, f, b
Let x = 25 - 25.2. Let m = x - -5.2. Sort 0.5, m, -2/3 in ascending order.
-2/3, 0.5, m
Let x(u) = 8*u - 8. Let t(d) = 15*d - 15. Let w(k) = 6*t(k) - 11*x(k). Let l be w(2). Let z be (-7)/2 + 1/l. Sort -2/9, -4, z in increasing order.
-4, z, -2/9
Suppose -4*x - 3*w - 12 = -64, -x - 2 = -3*w. Put 1, x, 5 in decreasing order.
x, 5, 1
Let a = 629/11 - 57. Sort 2, -17, -1, a in increasing order.
-17, -1, a, 2
Suppose 4*f = -2*p - 2, 3*f + 0*f = 5*p - 21. Let r be 48/20 - (-4)/(-10). Sort r, p, 4.
r, p, 4
Suppose b = 2 + 3. Suppose r = -3*r - 4*x - 16, -r + 4*x = -21. Let m be 4 - (9 - 3)/3. Put m, b, r in ascending order.
r, m, b
Suppose -4*m - 9 = j - 25, 3*j + 4 = m. Put -3, -12, m in decreasing order.
m, -3, -12
Let x(i) = -i**2 - 7*i - 6. Let b be x(-5). Let a(z) = -z. Let j be a(-4). Suppose 0 = 5*k + 3*f + f + 13, -j*f = -12. Sort -3, k, b.
k, -3, b
Let m = -31 + 29. Sort -4, 0.2, m, 2 in decreasing order.
2, 0.2, m, -4
Suppose r - 6*r = -10. Put r, 4, 1 in ascending order.
1, r, 4
Suppose -3*h = -2*k - 2*k - 18, 3*h + 2*k = 0. Let l be (-48)/15*1/(-4). Sort l, -3, h in decreasing order.
h, l, -3
Let d = 4.09 - 0.09. Let c = -1 - d. Sort -0.2, c, 1 in ascending order.
c, -0.2, 1
Suppose 1 + 3 = -2*j. Put j, -3, 3 in ascending order.
-3, j, 3
Let t(c) = -2*c**3 + 4*c**2 - 2*c. Let m be t(2). Let z = -9 - -11. Sort -1, z, m in ascending order.
m, -1, z
Let x = 3 - 12. Let u = 8.5 + x. Put -1, 1/9, u in decreasing order.
1/9, u, -1
Let w = 1.5 - 1. Let d be (-1)/5*(3 + (-64)/18). Sort d, 5/3, w in ascending order.
d, w, 5/3
Suppose y - 6 - 4 = 0. Let c = y + -5. Put 3, -2, c in ascending order.
-2, 3, c
Let a = -14 + 20. Sort a, 5, 3 in descending order.
a, 5, 3
Let g(f) = f + 1. Let l be g(-2). Sort 4, l, -2.
-2, l, 4
Let g = 17 + -83/5. Sort 0.5, g, -3 in increasing order.
-3, g, 0.5
Suppose 2*q = 4*i - 12, 2*i + 0 = -3*q + 6. Suppose -5*n = 10, -g + 8 = -i*n + n. Put 0, g, -5 in decreasing order.
g, 0, -5
Suppose -2*h = 2*t + 2, -5*h - 1 = -0*t + 3*t. Let r = 3.02 - 0.02. Put r, t, -0.5 in increasing order.
t, -0.5, r
Suppose -b = m + 5, 0*b - 5*b - 2*m = 22. Suppose -5*a + 163 = 158. Let j be 3/(-2)*(-8)/6. Put b, a, j in ascending order.
b, a, j
Let j = 41 + -41.3. Let p = -108/11 - -10. Sort p, j, -0.1 in decreasing order.
p, -0.1, j
Let h(d) = d + 8. Let o be h(-5). Suppose 4 = -s + 4*p + 2, 2*p = -2*s + 6. Sort o, s, -1 in decreasing order.
o, s, -1
Let s = 13.9 + -17.9. Put -2, -0.08, 2, s in increasing order.
s, -2, -0.08, 2
Suppose 2*s = 5*l + 26, 0 = -5*s - 4*l + 4 - 5. Suppose -x = w + 2*w + 50, 0 = -4*x - s*w - 155. Let p be x/(-11) + 2/(-11). Put -2, p, 0 in ascending order.
-2, 0, p
Let n(t) = t**3 - 4*t**2 - 7*t + 12. Let b be n(5). Sort 0, b, 1 in descending order.
b, 1, 0
Let n = -2 - 28. Let g be (8/6)/((-100)/n). Let y be 2/3*(-3)/(-1). Put g, 5, y in descending order.
5, y, g
Let n be (-6)/15 - (-20)/(-75). Let u be 1*-2 + 32/14. Put 1/3, u, n in increasing order.
n, u, 1/3
Let i(j) = -j**2 - 8*j - 15. Let o be i(-2). Put -8, o, -2, -1 in decreasing order.
-1, -2, o, -8
Let u = 0.08 - 0.07. Sort 1/2, u, -0.5.
-0.5, u, 1/2
Let n = 43 - 29. Let b = 14.1 - n. Put 1/5, 4, b in decreasing order.
4, 1/5, b
Let a(v) be the first derivative of v**2/2 + 2. Let i be a(-5). Put 5, 0, i in decreasing order.
5, 0, i
Suppose u - 5 + 7 = 0. Suppose 2*p = -2*p. Put p, 3, u in decreasing order.
3, p, u
Let w = -1/274 - -1105/2466. Sort 2, w, -5 in descending order.
2, w, -5
Suppose 3*c + 2 = x, 0*x = -2*c - 4*x - 20. Sort -1, 4, c in increasing order.
c, -1, 4
Let k = -62 - -65.3. Let i = -0.3 + k. Let b = -0.2 + 0.7. Sort 2, b, i.
b, 2, i
Let h be (-3 - -5) + 1*4. Let g be (-2 - h/(-4))*-10. Sort 0, -2, g.
-2, 0, g
Let h = -52.96 + -1.04. Let g = 59.6 + h. Let o = g + -6. Sort o, 4, -2 in decreasing order.
4, o, -2
Let y = 6.6 - 7.1. Let f = -0.97 - -1. Sort f, y, -1 in descending order.
f, y, -1
Let n be (-1)/(-1 - 2) + 0. Let t = 4 - 2. Let p = -2518/15 + 168. Sort n, t, p in ascending order.
p, n, t
Suppose 3*x + 0 = v + 