order.
l, 0.3, -1
Let y = -8.53 + 0.33. Let m = 8 + y. Sort 2/11, 3/2, m in descending order.
3/2, 2/11, m
Let h(y) = 0 + 7*y + 2*y**2 + 6 + 0*y**3 + 4*y**2 - y**3. Let a be h(7). Let u be ((-2)/(-9))/(4/a). Sort 1, u, 2 in ascending order.
u, 1, 2
Let w = 43 - 46. Put -1, w, 3 in ascending order.
w, -1, 3
Let r = -16 + 21. Put 7, r, 1 in decreasing order.
7, r, 1
Suppose 0 = 5*j - 5*f + 50, 4*j + 3*f + 4 = -15. Let s = -4 - j. Put -2/3, s, 2 in descending order.
s, 2, -2/3
Suppose 2*y + 0*y + 12 = 0. Let s = 3 + y. Sort 2, s, 5 in decreasing order.
5, 2, s
Suppose -2*y - 3*t - 5 = 0, -5*t - 15 = 5*y - 3*y. Let a(n) = -n - 6. Let k(u) = -3*u - 12. Let r(g) = y*a(g) - 2*k(g). Let j be r(3). Sort j, 5, 3.
j, 3, 5
Let p be 3/15 + 78/(-15). Let b = 0.1 + -3.1. Put b, p, 2/7 in increasing order.
p, b, 2/7
Let c = -479/6 - -80. Let x = -0.15 + 7.15. Put x, c, -1 in increasing order.
-1, c, x
Suppose 5 = -4*o - 7. Sort o, 5, 4.
o, 4, 5
Let x be ((-7)/(245/40))/(4/(-14)). Sort x, -1, 3, -7 in descending order.
x, 3, -1, -7
Let z = 2 + -5. Let l = z + 3. Sort l, 1, 0.1 in increasing order.
l, 0.1, 1
Let n be 1/2*2 - 0. Suppose -x = n - 4. Let k be 5/((-5)/4)*1. Sort x, k, -5 in ascending order.
-5, k, x
Let f = -7 + 6.9. Let q = -1 + 3. Let a = 0.1 + -0.3. Sort q, f, a in descending order.
q, f, a
Let p = -22 - -26. Sort p, -3, 8 in decreasing order.
8, p, -3
Let b = -183 - -1649/9. Let r = 0.1 + 0.1. Put b, 5, r in decreasing order.
5, b, r
Suppose -h + 4 = p, 0*p - 8 = -h - 2*p. Sort 1, 3, h, 2.
h, 1, 2, 3
Let c = 2/11 + -32/55. Let a = 3 + -3. Let i = a - 0. Sort i, c, -3 in decreasing order.
i, c, -3
Let r be (5/15)/(1/(-6)). Suppose 9 = 5*b + 4*b. Sort -4, r, b in decreasing order.
b, r, -4
Let j(x) = x**2 + 5*x + 3. Let p be j(-3). Put 2, p, 5 in ascending order.
p, 2, 5
Let p = -1 - 5. Let x be -4 + 0 + p/(-3). Sort x, 2, -4 in decreasing order.
2, x, -4
Let n = 33 + -27. Put -5, -2, 1, n in decreasing order.
n, 1, -2, -5
Let k be (-4)/6 + 1538/(-231). Let m = k - -50/7. Let q = 0.03 + 0.37. Sort m, q, 2 in ascending order.
m, q, 2
Let u be 2/(1 - 2) + -6 + 4. Sort u, -1, 1, -3.
u, -3, -1, 1
Let o = -13 - -17. Let m = -4.4 - -4. Put o, m, -2 in increasing order.
-2, m, o
Let g = -19 - -15. Let b be (-2 - (-1 + -3))/(-2). Sort g, 4, b.
g, b, 4
Suppose -u = 6 - 10. Let j be (-30)/(-12)*u/(-5). Put -4, 0, j in decreasing order.
0, j, -4
Let d = -6/13 + 5/39. Let c = 100 + -101. Sort c, d, -5 in ascending order.
-5, c, d
Let b(f) = -f**3 - 4*f**2 + 2. Let r be b(-4). Put 9, r, -2 in increasing order.
-2, r, 9
Let j = -21 - -24. Put 5, j, -4 in increasing order.
-4, j, 5
Suppose -4*t + 7*t = -12. Sort t, -1, 3 in ascending order.
t, -1, 3
Suppose -4*i + j = 8, -i + 2 = i - 2*j. Sort 0, -4, i.
-4, i, 0
Let g = -1/6 + 11/42. Let a be 3 + ((-11)/(-12))/(2/(-6)). Let s = 1 + -1.1. Sort a, s, g in descending order.
a, g, s
Let u = 4 - -5. Let r = u - 8. Put -0.5, r, -1 in decreasing order.
r, -0.5, -1
Let k(w) = -3*w + 2. Let x be k(-3). Let h be 3 - (-3)/(-9)*-3. Suppose -h*r = -20, 0*u + 3*r - x = -u. Put u, 2, 3 in descending order.
3, 2, u
Let p be ((-1)/(-4))/(14/8). Sort 4, p, -4.
-4, p, 4
Suppose 5*g - 2*g + 6 = 0. Put 0, 1/2, g, 6 in descending order.
6, 1/2, 0, g
Let m = -2 - -4. Let u be (-1642)/(-42) - 10/15. Let h = u + -39. Sort h, m, 3/5 in decreasing order.
m, 3/5, h
Let j = -25 - -22. Put 2/5, j, 0.3 in increasing order.
j, 0.3, 2/5
Let p(j) = j**2 - 3*j + 3. Let m be p(3). Sort -6, 2, m.
-6, 2, m
Let v = -23.5 + 24. Let w be 1/((1/1)/(-3)). Let c be (-5)/w*(-4)/10. Sort 1/5, v, c.
c, 1/5, v
Suppose -13 = -5*x + 7. Suppose -4*u - 8 = -2*o, 3 = -5*u + x*o - 5*o. Let r be 4*1 - (0 + u). Sort 3, r, -4 in descending order.
r, 3, -4
Let d = -145/2 + 74. Let h = 19.6 + -22.6. Put d, h, 2 in descending order.
2, d, h
Let j(b) = b**3 - 7*b**2 + 2*b - 10. Let g be j(7). Sort 2, -1, 3, g in increasing order.
-1, 2, 3, g
Suppose -4*o - 6 = 2*w, 2*w - 5 = 7*w + 5*o. Let f be w + 1 + (0 - 1). Let m = 30 + -35. Put f, m, -4 in decreasing order.
f, -4, m
Suppose 3*t - 25 = 4*m, -3*m + 31 + 19 = 4*t. Suppose 3*c = -4*w - t, -w - 3 - 2 = 0. Sort c, 2/11, 0.1 in decreasing order.
c, 2/11, 0.1
Let x be (-11)/3 + 2/(-6). Suppose 0 = 2*o + 2*o + 20. Let d be 8/2 + 4 + (1 - 7). Sort x, d, o in decreasing order.
d, x, o
Let x = -5141/76 + 271/4. Put -3, x, -4/7 in increasing order.
-3, -4/7, x
Let o = 20 - 99/5. Sort o, 2/7, 0 in ascending order.
0, o, 2/7
Let j be -1*-5*(-4)/100. Let v = 1.3 + -0.7. Let b = -0.9 + v. Sort b, 2/21, j in decreasing order.
2/21, j, b
Let i be 6/(-4)*-4*(-3)/9. Put 21, i, 3 in descending order.
21, 3, i
Let o = 1 - 0. Suppose -2*n - 9 + 1 = 0. Let g(k) = 4*k + 22. Let c be g(-6). Sort n, c, o in increasing order.
n, c, o
Let a(g) = -g + 1. Suppose -4*d - 3*n + 3 - 13 = 0, 2*d + 5*n = 2. Let l be a(d). Let c = -30.9 + 31. Sort -2, l, c.
-2, c, l
Let n(s) = 8 - 2 - 3 + s + 8. Let k be n(-8). Let d(y) = y**3 - 4*y**2 + 3*y - 2. Let r be d(3). Sort r, k, -5 in decreasing order.
k, r, -5
Let x(y) = -y**2 + y + 2. Let l be x(0). Suppose -l*c = 2*c + 8. Put 0, 2, c in decreasing order.
2, 0, c
Let t = -6 - -11. Suppose -7*x = -t*x + 10. Sort -4/3, 0, x.
x, -4/3, 0
Let l = -11/30 - 7/90. Suppose 2*p = 3*x - 10, -x + 4 = -p - 1. Let v = 1 + p. Put l, 1/2, v in decreasing order.
1/2, l, v
Let u be 4/(-10)*(-25)/(-10). Sort u, -0.1, 2.
u, -0.1, 2
Let b be 2 - (-2 - (1 + 1)). Let k = 14 + -13. Suppose 5*h - b = -k. Sort 0, h, -1.
-1, 0, h
Let g(t) = -t**3 + 6*t**2 + t. Let k be g(6). Let c = k - 4. Suppose 0 = 5*m + 25, -2*b + 2*m + 14 = -2. Put 0, b, c in descending order.
b, c, 0
Let l be 2 + 0 + (-28)/7. Let k be l/5*35/49. Put -1, k, 2 in descending order.
2, k, -1
Let c(t) = -2*t + 1. Let z = 8 - 5. Let o be c(z). Let b be 26/(-22) - 8/(-44). Sort b, o, -3 in descending order.
b, -3, o
Suppose 5*q + 5 = 15. Let s be 4/8*(0 + q). Suppose 4*d + 1 = 2*u - 7, 2*u - 3*d - 5 = 0. Sort u, -3, s in ascending order.
-3, u, s
Suppose t = 2*y + 11, -2*t - t = y + 9. Let l = 10 + y. Let b = 7.9 - 8. Sort 0.1, l, b.
b, 0.1, l
Let f(m) = -m**3 + 4*m**2 - 3*m + 12. Let p be f(4). Sort 4, 3, -4, p in ascending order.
-4, p, 3, 4
Let x = -4 - -6. Suppose -2 = -a + x. Put -1, -2, a in descending order.
a, -1, -2
Let k = 10.5 + -10. Let n = 2 - 4. Let d be (-7)/(-2) - 1/n. Put 1, k, d in descending order.
d, 1, k
Suppose 2*d + 8 = -2*u, -4*u - d - 34 = -12. Let y(b) = b + 10. Let g be y(u). Put -1, -5, g in ascending order.
-5, -1, g
Let v be (-1 - -3)/(14/21). Let b(o) = -o**2. Let r be b(0). Put v, -4, r in descending order.
v, r, -4
Suppose 3*l = -7*r + 4*r - 12, -3*r + 4*l - 5 = 0. Sort r, 1, 12.9 in increasing order.
r, 1, 12.9
Let k be (-4)/22 + (-231)/(-605). Sort 0, -15, k in descending order.
k, 0, -15
Let h = 3 + -3. Let u = -21 + 30. Sort -0.4, u, h in increasing order.
-0.4, h, u
Let g = -189 + 188.6. Let a = 3 - 2.8. Let q = g + a. Sort 4/7, -1, q in ascending order.
-1, q, 4/7
Let a(p) = -p**2 + 7*p - 4. Suppose -3*i = -4*i + 6. Let j be a(i). Let r be (3/(-3) - -3) + 2. Sort j, 0, r in descending order.
r, j, 0
Let i be (1 - 2)/(-1 - 1). Let o = -0.31 + -0.09. Sort 0, o, i in ascending order.
o, 0, i
Let x = -4 - -5. Let q be x + (-5)/(-6) + -2. Sort q, 2/9, 0.08 in descending order.
2/9, 0.08, q
Suppose 0 = -11*v + 9*v. Suppose 4*t + 0*c = -5*c - 23, 4*c = -4*t - 20. Let h(j) = j**2 - 2*j - 3. Let q be h(4). Put t, v, q in increasing order.
t, v, q
Let q be ((-1)/2 - -1 - 2)*2. Put -69, 2, q in descending order.
2, q, -69
Let y = -93 - -92.9. Sort -0.4, -0.07, y in increasing order.
-0.4, y, -0.07
Let o be (-20)/15 - (2 + -4). Sort o, 5, -5 in descending order.
5, o, -5
Let g = -10 - -9.8. Sort 0, -0.3, g in decreasing order.
0, g, -0.3
Let u = 36 - 21. Suppose d + 4*d = u. Sort 1/3, -2, d.
-2, 1/3, d
Let r = -2.3 + 0.3. Suppose -3*h = i + 7, -i + 3*i + 3*h = -5. Put i, -0.2, r in increasing order.
r, -0.2, i
Let k = -43 + 43. Sort -3, k, -14, 2.
-14, -3, k, 2
Let h(i) = -i - 2. Let u be h(-1). Sort u, 0, -14, -5.
-14, -5, u, 0
Suppose -5*c + 60 = 5*k, -5*c - 15 = -8*c + 4*k. Sort 2, 0, c in descending order.
c, 2, 0
Let j = -119 + 122. Put -8, 2, j, 4 in decreasing order.
4, j, 2, -8
Let o(f) be the second derivative of f**5/20 + 17*f*