 a in decreasing order.
3, y, a
Suppose -2*t = 2, 2*w - 3*t = t - 2. Sort 0.8, -1/6, w in decreasing order.
0.8, -1/6, w
Let u = 3 + -1. Let r = 3.44 - 0.44. Sort r, 0, u in increasing order.
0, u, r
Let h(v) = 12*v - 4. Let p be h(3). Let a be (-4)/6 + p/(-6). Let g be (4/6)/((-1)/(-6)). Put g, -5, a in decreasing order.
g, -5, a
Let p = -4 + 1. Sort -2, 3, p in descending order.
3, -2, p
Let f = -27 - -11. Let m = f + 15.6. Put m, 3/2, 0 in ascending order.
m, 0, 3/2
Let m be 0 + 7 - (0 + 4). Sort m, -5, -6 in increasing order.
-6, -5, m
Let a be (-10)/(-3)*(-6)/(-4). Suppose o + a*j = -23, -2*o + o - 11 = 2*j. Suppose -5*z = -4*b - 40, -5*b - 2 = 3*z + 11. Put z, -1, o in descending order.
z, -1, o
Suppose 12*o - 13*o = -3. Sort o, -9, 1, -4 in descending order.
o, 1, -4, -9
Let x be (-4 + 2)/(10/15). Put x, 1, 4 in descending order.
4, 1, x
Suppose 11*u = 18*u + 28. Put 2, 1, 5, u in descending order.
5, 2, 1, u
Let t(f) = -f**2 - 10*f - 4. Suppose 0 = -2*x - 3*x - 50. Let c be t(x). Sort 2, 7, c in descending order.
7, 2, c
Let x(q) = q**3 - 6*q**2 + 1. Let i = -9 - -1. Let v be (-54)/(-24)*i/(-3). Let d be x(v). Put -4, 5, d in ascending order.
-4, d, 5
Suppose -3*m + 0 + 10 = -5*u, 5*u = -m - 10. Suppose -3*t = -m*t. Let s be ((-45)/(-10))/(t + 3). Put -4, 3, s in descending order.
3, s, -4
Suppose 2 = 6*k + 2. Put k, -4, 2, -2 in decreasing order.
2, k, -2, -4
Let t = 16 + -21. Put t, -1, 3, 20 in increasing order.
t, -1, 3, 20
Let x be ((-9)/(-6))/((-1)/(-14)). Let c be x/(-10) - (1 + -3). Let w = -0.06 - -2.06. Put c, 3/4, w in increasing order.
c, 3/4, w
Suppose -2*p + 13 + 3 = -2*n, 2*n + p + 4 = 0. Let f(z) = -14*z + 4. Let m be f(2). Let t be m/40 - n/(-10). Put t, 5, -3 in increasing order.
-3, t, 5
Let k(x) = 8*x + 2. Let s be k(2). Suppose 2 = 3*l + l + 5*j, 4*j = 5*l + s. Let w = 3 - l. Sort 3, w, 1.
1, 3, w
Let j(d) = -d + 6. Let l be j(-7). Sort -2, l, 0 in ascending order.
-2, 0, l
Let r = -27/7 - -257/63. Sort r, 2/11, 2/7 in decreasing order.
2/7, r, 2/11
Suppose -5*a - 17 = s, -2*a + 5*s - 27 = a. Let v be (10/(-6))/((-2)/6 + 0). Sort 2, v, a.
a, 2, v
Let m be 1*(-9)/24*(-2)/(-6). Sort m, 4, -0.5, 0.3 in ascending order.
-0.5, m, 0.3, 4
Let f = 0.08 + -0.58. Put f, 0, -0.4 in descending order.
0, -0.4, f
Let p(w) = 0*w + 4*w + 1 + w**3 + 14 + 7*w**2 + 4*w. Let f be p(-6). Sort 1, f, 5 in increasing order.
1, f, 5
Let v = -0.6 + 3.6. Sort 0.2, -0.2, v in ascending order.
-0.2, 0.2, v
Let f = -3.6 + 4.6. Sort f, 5, 2 in ascending order.
f, 2, 5
Let p be 42/(-12)*1/(-7). Sort 2/5, -2/5, p in increasing order.
-2/5, 2/5, p
Let x(a) = -4*a + 2 + 7*a**2 - 8*a**2 + 3. Let y be x(-5). Let z be 3/(((-18)/4)/(-3)). Put y, z, -4 in increasing order.
-4, y, z
Suppose -3*y = -2*r, -4*y = -r - 4*r + 7. Suppose -4*z + 1 + r = 0. Let a be (20/8)/(z/(-2)). Sort a, -2, 4 in increasing order.
a, -2, 4
Let r = -9 - -17.3. Let y = 0.17 - 8.17. Let s = y + r. Sort 4, -1/6, s in decreasing order.
4, s, -1/6
Let u = 6 - 11. Sort u, -3, -2 in ascending order.
u, -3, -2
Let t(l) = 4*l**2 - 3*l**2 - 8 + 0. Let u be t(0). Let x be 2*1*3/u. Put -2/5, 0, x in increasing order.
x, -2/5, 0
Suppose 5*x + 3 = -17. Let k(y) = y**2 + 3*y + 1. Let l be k(x). Suppose 0*f = -3*f. Sort l, f, 3 in increasing order.
f, 3, l
Let h = 31 + -36. Sort 5, 0, h, -15 in decreasing order.
5, 0, h, -15
Let q = 2 - 12. Let l = -10.5 - q. Let t = 0.9 - 4.9. Put 2/11, t, l in decreasing order.
2/11, l, t
Let r = 193.9 - 194. Sort -2/3, 5, r.
-2/3, r, 5
Suppose 0*x - 10 = -2*x. Suppose 3*r = -r + s + 96, 0 = x*r - 4*s - 131. Suppose t - 5*d + r = 0, 4*d = t + 4*t + 10. Sort 0, t, -3 in descending order.
t, 0, -3
Let k = 3.2 - -17.8. Let l = 23 - k. Sort -0.1, l, -4.
-4, -0.1, l
Suppose w + 0*w = 2. Suppose 5*p - 2*r - 13 = 0, 4*r - 5*r - 2 = w*p. Put p, -5, 0 in increasing order.
-5, 0, p
Let h = -6 + 2. Sort 4, -2, 2, h.
h, -2, 2, 4
Suppose 0 = -a + 4 - 0. Suppose 5*c = 4*i - 9, 5*i = 3*i + 2*c + 4. Suppose 3*x - 2*y = i - 4, -x - 5*y = 1. Sort a, x, 5.
x, a, 5
Let s be (-286)/39*(-6)/4. Sort -2, s, -5.
-5, -2, s
Suppose 0 = -3*q - 5*k - 4 - 5, -q = -5*k + 3. Let l = -15 - -18. Sort q, 0, l in increasing order.
q, 0, l
Let c(k) = 5*k + 8 + k**3 - 3*k - 8*k**2 + 4*k. Let r be c(7). Sort r, 4, -5.
-5, r, 4
Let d = 20 + -9. Put 5, -1/3, d in descending order.
d, 5, -1/3
Suppose -2 = -x - 1. Let h be -1 + (-40)/(-30) + 14/3. Sort x, h, 0 in descending order.
h, x, 0
Let k = 1663/9 - 185. Let b = k + 5/9. Put -0.3, b, 5 in descending order.
5, b, -0.3
Let m = 3.2 + -2.9. Sort 0, 2/7, m in decreasing order.
m, 2/7, 0
Let a = 4.9 + 0.1. Let p = 2.3 + -0.3. Let i = -2 + p. Sort 3, a, i.
i, 3, a
Let d = -3 - -2. Let a = -38060/5267 + 166/23. Let r = -239/1145 - a. Sort d, 1/3, r in ascending order.
d, r, 1/3
Let a = -117 + 118. Let j = 0.2 - 0.3. Put 3/4, a, j in decreasing order.
a, 3/4, j
Let s = 0.52 - 6.72. Let p = s - -6. Sort 2/17, p, -1/3 in decreasing order.
2/17, p, -1/3
Suppose 2 = 2*l, -l = -2*x + 3 + 4. Suppose 0 = 4*p + 5*v - 18, -p + 6 + 4 = x*v. Let u = p + -4. Sort 3, 4, u in descending order.
4, 3, u
Let m(h) = 4*h + 44. Let k be m(-10). Sort -0.3, -56, k, 2 in descending order.
k, 2, -0.3, -56
Let d = 33 - 16. Let w(z) = -2*z**3 - 2*z - 1. Let q be w(-1). Suppose d = -4*r - q. Sort r, 0, 2 in descending order.
2, 0, r
Let s = 0.108 + -0.008. Suppose 3 = 3*l - 9. Suppose 5*o - 25 = o - 5*w, 5*w = 2*o - 5. Sort s, o, l.
s, l, o
Suppose -5*i = x - 23 + 3, -40 = -5*i + 3*x. Let r(h) = h**3 + 8*h**2 + h + 6. Let b be r(-8). Put i, -4, b in ascending order.
-4, b, i
Let o = 8 + -12. Suppose -16 = -5*b - 2*w, -4*b + 2*b - 3*w + 2 = 0. Suppose -12 = 4*m - b*d - 0, -m - 4*d + 2 = 0. Sort 3, m, o in decreasing order.
3, m, o
Let m = 4 - 6. Suppose 0 = -0*p - 5*p - 25. Sort 4, p, m in ascending order.
p, m, 4
Let n(m) = -m**3 - 6*m**2 + 9*m + 12. Let l be n(-7). Suppose -2*d + 5*r = -9, 0*d + 3*r = -4*d + 57. Suppose 0 = -4*x + d. Sort l, -4/5, x.
l, -4/5, x
Let z be 9 - (2 + -1)*1. Suppose 6*r = 4*n + 2*r + 32, z = n + 3*r. Put -2, 7, n in descending order.
7, -2, n
Let k = 9 - 8.7. Let f = 0.5 + 0.4. Let i = -0.5 + f. Sort i, 1, k.
k, i, 1
Suppose -15 = -2*h + 5*h. Suppose b - 1 = -n, 0 = 2*n - 0*n + b - 4. Let z be -2 + (0 - 1 - -8). Sort z, h, n.
h, n, z
Let n = 29 + -31. Let w = -0.3 - -0.5. Let x = -3.2 + w. Put x, n, 0 in descending order.
0, n, x
Let w = 11 + -7. Sort w, -2/3, 0.4 in increasing order.
-2/3, 0.4, w
Suppose 3*v - 33 = -0. Let a = -15 + v. Let s be (0 - 0)/(-1) - 0. Sort -5, a, s in descending order.
s, a, -5
Suppose 2*g - 14*g = -12. Sort -3, g, -1, 4 in decreasing order.
4, g, -1, -3
Suppose -8 = -5*v - 4*y, -4*v - y - 2*y = -7. Sort 2/9, -1/5, 2, v.
-1/5, 2/9, 2, v
Suppose 0*r - r + 6 = 0. Suppose 12 = 2*n - r*n. Let v be (1 - (-2)/(-4))*0. Put n, v, 4 in increasing order.
n, v, 4
Let m(c) = c**3 + 5*c**2 - 7*c - 7. Let n be m(-6). Let q = 3 - 2. Let b = q + -1. Sort -2, n, b in ascending order.
-2, n, b
Suppose 0*v + 5*v = -4*u + 2, 4*u - 4 = -4*v. Let a be (-4)/14 + (-16)/(-7). Let p be -1 - (a - v)/2. Sort -0.2, p, -4/3.
p, -4/3, -0.2
Suppose -4*c - 15 = -2*i - 1, 0 = 3*c + 6. Suppose -4*r - 5*h + 11 = -0*h, i*r - 8 = -4*h. Suppose -4*w + 13 - 1 = 0. Put w, r, 2 in ascending order.
2, w, r
Let a = -0.6 - -0.2. Let w = -129.9 - -130. Put -0.09, a, w in ascending order.
a, -0.09, w
Let g = 8 + -6. Let y be 0 + (-1 + g)*3. Let p(l) = -6*l - 19. Let i be p(-4). Sort -5, y, i.
-5, y, i
Let r be (-2)/14 + ((-32)/(-28) - 3). Sort -14, 3, r.
-14, r, 3
Suppose -42 = -11*m - 9. Put 2, m, 4 in descending order.
4, m, 2
Let p be -1 - 1 - 6/(-2). Put -3, p, -1 in descending order.
p, -1, -3
Let n = -6 - -8. Suppose 5*v - 4*d = -n*d - 8, v + 4*d + 6 = 0. Put 4, v, -1 in descending order.
4, -1, v
Let q = -3 + -12. Let w = q - -16. Sort 0.1, w, 3 in descending order.
3, w, 0.1
Let w = 14.3 + -14. Put -1, -3/5, w in ascending order.
-1, -3/5, w
Let y = -225/4 - -55. Let g = -98/5 - -94/5. Sort g, 0.3, y in descending order.
0.3, g, y
Let w = -0.1 - -0.1. Let v = -2.2 - 0.8. Put -4, v, w in decreasing order.
w, v, -4
Suppose 4*c + 0 = -16. Let j(k) = k**3 + k**2 - 5*k - 3. Let i be j(-3). Let m = -7 - i. Sort 2, c, m in descending order.
2, m, c
Let h be ((-9)