0, b in descending order.
b, 0, -1
Suppose -2*y = -5*y - 3. Let v be (y + -1 + -1)/1. Let s = -305/3 - -102. Sort 0.6, s, v in descending order.
0.6, s, v
Let m = -5.4 + 0.4. Let b = 0.05 + -0.62. Let t = b + 0.07. Sort 0.3, m, t in decreasing order.
0.3, t, m
Let c = 229 - 231. Sort 0.7, c, 0.4 in ascending order.
c, 0.4, 0.7
Suppose n = 5*n + 4*f + 4, 3*f + 12 = 0. Sort n, 1/5, -1/6 in descending order.
n, 1/5, -1/6
Let d(v) = v - 9. Suppose 22 = 2*j - 0*z + 2*z, 4*z - 16 = 0. Suppose 2*h = h + j. Let m be d(h). Sort 0.3, m, 2.
m, 0.3, 2
Let m = -0.15 + 0.14. Let a = 453/4 + -114. Put m, -4, a in descending order.
m, a, -4
Let r(v) = v**2 - 19*v + 15. Let o be r(18). Suppose -2*q = 3*q + 10. Put q, o, 0 in increasing order.
o, q, 0
Suppose -2*k + 5 = a - 2*a, -5*k - 4*a + 32 = 0. Let b(f) = f - 4. Let w be b(k). Suppose w = -3*r - 0 + 3. Sort -5, -4, r in increasing order.
-5, -4, r
Let l = -3 + 8. Let g = l + 3. Let o = g + -10. Put o, -0.3, 4 in descending order.
4, -0.3, o
Let c = -4.5 - -5. Put c, -2, 0 in descending order.
c, 0, -2
Let w = -95 - -663/7. Sort 0.5, w, -6 in decreasing order.
0.5, w, -6
Let g be 1*2 + (1 - 3). Suppose -10 = -g*n - 2*n. Suppose -q + 3*v + 6 = 0, n*v = 5*q - 3 - 7. Sort 5, 2, q.
q, 2, 5
Let m = 4.3 + -0.3. Let w = 3.5 - m. Let l = 5 - 4.7. Put w, -4, l in decreasing order.
l, w, -4
Let k = 47 - 47.74. Let q = -0.14 - k. Put q, -2/3, 0.4 in decreasing order.
q, 0.4, -2/3
Suppose -d - 5*l + 37 = 0, -5*d + 97 = -0*d + 3*l. Suppose -d = -4*b - 1. Sort b, -3, -5.
-5, -3, b
Let v = 0.09 + -0.39. Let i = -6 - -5.6. Sort i, v, 0.5.
i, v, 0.5
Let d = 82/5 + -16. Let w = 6/17 - 13/85. Sort -1, d, w.
-1, w, d
Let t = 13 + -13. Let d(f) = 2*f - 2. Let r be d(3). Put -4, t, r in decreasing order.
r, t, -4
Let a = -36 - -40. Sort a, 9/8, 0.
0, 9/8, a
Let h be 2/9 + (-50)/(-18). Let v(c) = -c + 3. Let f be v(3). Put f, 2, h in ascending order.
f, 2, h
Let i = -19 + 23. Suppose -1 + i = w. Put -5, w, -4 in increasing order.
-5, -4, w
Suppose 2*h = 2*x - 0 + 6, 0 = 4*x - h + 21. Let m = 7 + x. Sort 4, -2, m in descending order.
4, m, -2
Let d(u) = u**3 + 2*u**2 - 7*u - 10. Let y be d(-3). Put 1, y, 0, -3 in ascending order.
-3, 0, 1, y
Let c(l) = 2*l**3 - 4*l**2 + 3*l - 2. Let k be -3*(30/(-9))/5. Let i be c(k). Suppose 0 = -x + 3*q + 11, -q - 4*q = 5*x + 25. Sort i, x, -5.
-5, x, i
Suppose 0*u = -3*u - 3*v - 6, 6 = -u - 5*v. Let g = -0.1 - -0.6. Sort u, 0, g in decreasing order.
g, 0, u
Let i be (21/6)/(1/5). Let x be -19 + 2 + -8 + 8. Let k = i + x. Put -0.1, -5, k in increasing order.
-5, -0.1, k
Let b = -26 - -51. Let l = 28 - b. Sort l, 1/4, 5 in descending order.
5, l, 1/4
Let q be 3/15 + (-12)/(-30). Sort 3, -0.9, q in descending order.
3, q, -0.9
Let v(l) = l**3 + 9*l**2 + 7*l - 8. Let f be v(-8). Let u be 1/(f - (-1)/(-5)). Let b = 14 + -10. Put u, b, -1 in descending order.
b, -1, u
Suppose 3*p = 4*j + 3, 12 = p - 4*j + 3. Let h = -51/70 - 1/14. Sort h, 2, p in increasing order.
p, h, 2
Suppose -r = r + 2. Suppose v - 4*v - 5*a - 19 = 0, -2*v + 2*a = -14. Let y = v - -1. Put r, y, -3 in increasing order.
-3, r, y
Let b = -0.9 + 1.9. Put b, 0.2, 0.04 in ascending order.
0.04, 0.2, b
Let t(w) = 8*w + 1. Let y be t(-1). Let h(u) = u + 5. Let r be h(y). Sort -1, r, -4 in decreasing order.
-1, r, -4
Let q be (-4)/(-3)*63/112. Let s be 3/(-2) - -1 - 1. Let y = 35 + -40. Sort y, s, q.
y, s, q
Let w = 4 - 2. Let q = w + -4. Let l = 104 - 101. Sort q, -0.1, l in increasing order.
q, -0.1, l
Let q be 4/(-12) - (-8)/6. Let c(w) = -4*w + 8. Let a be c(3). Let b = 10 + -7. Sort a, b, q in descending order.
b, q, a
Suppose -4*w = 0, -2*y - 4*w + 12 = -6*y. Let t = -13 - -12. Let h = t + 1.2. Sort h, y, -2/15.
y, -2/15, h
Suppose -2*y = -2*z + 12, 0 = 5*y - z - 1 + 15. Let n be (-2)/(-17) + 957/(-187). Let h = y - n. Put -1/4, -2/15, h in descending order.
h, -2/15, -1/4
Let o = -9.7 + 9.2. Put 0.07, 0.5, -3/5, o in descending order.
0.5, 0.07, o, -3/5
Let x(p) = p**2 + p - 7. Let a be x(0). Let f = a + 6. Put f, -4, 3 in descending order.
3, f, -4
Let i = -549/5 + 109. Put 3, -2/13, i in increasing order.
i, -2/13, 3
Let q = 0.069 + 2.931. Put q, -0.2, -3/4 in descending order.
q, -0.2, -3/4
Let g(b) = -9*b + 32. Let l be g(4). Sort 2, 0, l, -1 in decreasing order.
2, 0, -1, l
Suppose -5*f + 5*u = -10, 5*f - 4*u - 9 = 4. Let j = f + -2. Suppose 0 = 4*v - 4*a + 8, -j*v - 6 = -5*a - 0*a. Put 4, v, -3 in decreasing order.
4, v, -3
Suppose 3*n - 28 = 38. Suppose 2*k - n = -k - 4*u, -3*k = 5*u - 26. Sort 0, k, 3 in ascending order.
0, k, 3
Let c(u) = 3*u. Let w be c(-4). Let k(t) = -t**3 - 13*t**2 - 12*t - 3. Let j be k(w). Let r = -5 + 1. Put 1, j, r in ascending order.
r, j, 1
Let v = 0.54 + -0.04. Let u be (-1 - 3)*(-5)/24. Let q = -19/30 + u. Put q, 2/3, v in descending order.
2/3, v, q
Suppose -3*f + 14 = 3*t - 34, -f + 4*t + 21 = 0. Put 2, -2, f in decreasing order.
f, 2, -2
Suppose 0 = -2*g + 5*u + 5 + 5, 5*g - 2*u = 25. Suppose -g*n = 6 + 4. Sort 5, -1, n in ascending order.
n, -1, 5
Let p be 50/(-10) + 1 + 2. Put 0, p, 3 in decreasing order.
3, 0, p
Let s = 5.1 + -5. Let u = 0.6 - s. Sort u, -3/4, -1 in decreasing order.
u, -3/4, -1
Let b be (5*1)/((-1)/3). Let p be b/12 - (-3)/(-4). Let u = 2 - 1.9. Put u, -2/13, p in decreasing order.
u, -2/13, p
Let k = -2.09 + -1.91. Sort k, 1/4, 5, 2/15 in descending order.
5, 1/4, 2/15, k
Let a = 36 + -40. Let l(f) = -3 + 4*f**2 - 3*f**2 + 0*f + 2*f. Let v be l(-4). Put v, -2, a in descending order.
v, -2, a
Let y(q) = -3 + 0 - 6*q - 2 - 6*q**2 + q**3. Let a be y(7). Suppose -2 = 5*t + 8. Sort a, t, -4 in descending order.
a, t, -4
Let k be ((-2)/(-4))/(2/(-4)). Suppose -19 = -5*a + n, -4*a = -n - 13 - 2. Suppose 0 = 4*v + s + 6, 2*s + 8 - 2 = -5*v. Sort a, k, v in ascending order.
v, k, a
Let q = 0 + 0. Let b be (4 + (-4 - 1))/((-7)/(-21)). Put 1, b, q in decreasing order.
1, q, b
Let r be ((-14)/8 - -1)/(-3). Let i = -0.05 + -0.05. Sort 0, i, r in increasing order.
i, 0, r
Let v = 0.04 + -8.04. Sort 5, v, -0.1 in decreasing order.
5, -0.1, v
Let z = -70 + 69.5. Sort -5, -3, z in decreasing order.
z, -3, -5
Let t = -0.4 - -0.22. Let z = 0.48 + t. Sort z, -0.03, 3 in ascending order.
-0.03, z, 3
Suppose 9 + 11 = 4*v. Suppose -v*d - 2 = -22. Suppose 0 = -d*i + 6*i - 2. Sort -2, i, 1/5 in ascending order.
-2, 1/5, i
Let j = -0.48 + 0.68. Sort -7/5, j, -2/5, -0.1.
-7/5, -2/5, -0.1, j
Let n(s) = 3*s**3 - 2*s**2 + s + 1. Let o(i) = 4*i**3 - i**2 + i. Let q(c) = 5*n(c) - 4*o(c). Let b be q(-6). Let p = 5 - 3. Sort p, b, 4 in descending order.
4, p, b
Suppose 2*y - 83 = -5*o, -5*o = -4*y - 82 - 7. Let p = 52/3 - o. Let l = -0.01 - 0.09. Sort -0.3, p, l in increasing order.
-0.3, l, p
Let z be ((-10)/4)/(((-49)/(-7))/(-14)). Put z, -4, 2, 4 in decreasing order.
z, 4, 2, -4
Let o = 50 + -50.5. Put 4, -0.1, o, -5 in ascending order.
-5, o, -0.1, 4
Suppose -3*m = 3*g, 5*g - 12 = 5*m - 42. Suppose 0*o + 3 = m*o. Let b = 21 - 21. Sort o, -4, b in decreasing order.
o, b, -4
Let u = -9940 - -59443/6. Let k = u + 33. Put 3/5, k, -5 in decreasing order.
3/5, k, -5
Let m(o) = -o**3 + 10*o**2 - 10*o + 10. Let r be m(9). Let a be (r/(-3))/(3/(-9)). Let t = a + -4. Sort -5, 1, t in increasing order.
-5, t, 1
Let k = -0.53 + 0.23. Put 5, 0.4, k in increasing order.
k, 0.4, 5
Let z = 5 + -5. Let v(j) = j**3 + 5*j**2 + 6*j + 6. Let q be v(-4). Put q, 1, z in decreasing order.
1, z, q
Suppose 3*t - 6*t = 3. Let u(f) = f. Let v be u(2). Let l be 2 - (-1 + 4) - -6. Sort t, l, v in ascending order.
t, v, l
Let r be 4*(-1 - (-1)/2). Let g = 1 - r. Suppose -5*m + 4*z + z + 20 = 0, -5 = -2*m + 5*z. Sort m, g, -4.
-4, g, m
Suppose -5*l + 334 = 239. Put l, -1, 3 in descending order.
l, 3, -1
Suppose -2*d = -4*n - 4*d - 20, 24 = -4*n - 3*d. Let v = -11 - -12. Suppose -5*g = -2*s - 7, 0 = 2*g + v - 3. Sort n, s, 2.
n, s, 2
Let l = -55 - -33. Let c = 109/5 + l. Let w = 2.5 - 0.5. Sort -1, w, c.
-1, c, w
Let i = 52 + -57. Sort -20, i, 1 in decreasing order.
1, i, -20
Let g be 2/(-8) - (-9)/4. Suppose -3*s - 3*v = -18, -2*s + 0*v = -v - 3. Let w(y) = y**2 - 3*y + 4. Let a be w(s). Sort a, -1, g.
-1, g, a
Let q be 2 + -2 + 1/7. Let y = 39 - 40. Sort y, q, 0.3.
y, q, 0.3
Let x = -2 - -4. Let k = 4 - 1. Suppose k*d + 4 =