-0.1, v in descending order.
v, -0.1, -2/5
Let c = -1.5 + 1.1. Let a = -12 - -8. Put c, a, 4 in increasing order.
a, c, 4
Suppose 0*s + 2 = s. Suppose 0 = k - s*v + 4, -2*k + 16 = -6*k - 5*v. Sort k, 0, 3 in decreasing order.
3, 0, k
Suppose 0 = -4*m + 23 + 9. Sort m, -1, 3 in decreasing order.
m, 3, -1
Suppose 2 = d - 4*l - 5, -4*d - l + 11 = 0. Let f be 0 + 1 + d/(-3). Suppose 3*m - 5*v + 7 = 0, 4*v + 3 - 11 = 0. Put f, m, 4 in increasing order.
f, m, 4
Let p = -16 + 12. Sort p, 0, -3 in descending order.
0, -3, p
Let c(t) = -2*t**3 + 3*t**2 - 2*t - 1. Let n be c(2). Let a(y) = y**2 + 9*y - 1. Let x be a(n). Let z = -2 + x. Sort 4, -1, z.
z, -1, 4
Let n = 3 + 0. Suppose -3*y + 20 = 5*k, -k + n*y = -5*k + 19. Let u = 3 - 3.1. Sort u, 0.2, k in decreasing order.
k, 0.2, u
Let p = -0.03 + 0.33. Let m = 11 + -8. Sort 1/3, p, m in descending order.
m, 1/3, p
Let z = 136/3 - 1097/24. Let a = -0.3 + 0.6. Sort a, z, -4 in descending order.
a, z, -4
Let m = 0.03 + 0.37. Let x(q) = 4*q**2 + 5. Let b(z) = 1. Let k(s) = 6*b(s) - x(s). Let t be k(1). Put t, -2/3, m in increasing order.
t, -2/3, m
Let p = -13 - -12. Let h be p/4 + 15/(-4). Sort -7, h, 1 in descending order.
1, h, -7
Let r = -2 - 3. Let j(d) = -d + 6. Let z = -4 + 10. Let s be j(z). Put s, r, -2 in descending order.
s, -2, r
Let x = -33 + 33.2. Let s = -7.3 + 7. Let j = -0.1 + s. Sort x, j, -3 in decreasing order.
x, j, -3
Let k be (0 - (-30)/(-8)) + 4. Sort -2, k, -6.
-6, -2, k
Let a = 1.9 + 0.1. Let y = 2.4 - a. Let l = y - 0.2. Sort -3/8, 1, l in increasing order.
-3/8, l, 1
Suppose -3*d + 8*p - 15 = 3*p, -3*p = 2*d + 10. Let v be -10*(22/d - -4). Suppose -4*u + 14 = -6. Sort -2, u, v.
-2, v, u
Suppose -8 = r + r. Let h(x) = x**2 - 6*x + 5. Let t(p) = 3*p - 3. Let c be t(3). Let g be h(c). Sort g, r, 4.
r, 4, g
Let q = 2 - -1. Let b = 3 - 3. Let a = 496/1687 + -2/241. Put b, q, a in descending order.
q, a, b
Let i = 713/8 + -89. Let f = -0.1 + 4.1. Put i, -2, f in increasing order.
-2, i, f
Suppose -20 = -y + 3*m, -3 = -3*m - 18. Sort y, -5, 1.
-5, 1, y
Let j(k) = -3 + k**2 - 6*k + 2*k + 6. Let w be j(2). Suppose -11 = 3*t - m, 2*t - 4*m - 36 = 6*t. Sort t, 1, w in decreasing order.
1, w, t
Suppose 5*j + 3*a - 35 = 0, 3*j + 4*a - 3*a - 17 = 0. Let d = -3 + 3. Put d, -4/7, j in descending order.
j, d, -4/7
Let a be -1 + 3/((-18)/75). Let z = a + 13. Put -2/21, 3, z in descending order.
3, -2/21, z
Let k(l) = -2*l + 4. Let f be k(2). Suppose f = 3*i + 4 - 1. Put -4, i, -5 in increasing order.
-5, -4, i
Let d = -0.29 + 1.29. Sort 5, 2/11, d.
2/11, d, 5
Suppose -5*i + 3 + 7 = 0. Let w(g) = g**2 + g - 1. Let s be w(0). Put i, 3, s in descending order.
3, i, s
Let j = 10.8 + -4.7. Let u = -6 + j. Sort -3/5, -4, u in descending order.
u, -3/5, -4
Suppose m - 2*m = 0. Let j(x) = -9*x - 2. Let y be j(-3). Suppose -6*v + v = 5*f - y, -3*f - v = -11. Put 2, m, f in descending order.
f, 2, m
Let u = -6.94 + 7. Let n = u - -0.04. Sort 0, -0.5, n.
-0.5, 0, n
Let o be 3/10 + (-7)/(-14). Sort o, -0.04, 5.
-0.04, o, 5
Let o = -123 + 120. Suppose -4*w + 20 = 8. Put w, -2, o in ascending order.
o, -2, w
Suppose -8*l + 3*l = -10. Let o = -2 - -1.8. Sort -1/4, l, o in ascending order.
-1/4, o, l
Let m be (0 - -1)/(3/15). Let i(j) = -3*j**3 + j**2 - 2*j + 1. Let c be i(1). Put 0, m, c in descending order.
m, 0, c
Let w = 5 + -3. Let z(b) = b + 9. Let g be z(-5). Suppose 3*l + 12 = -q, -3*q + 5*l + 25 = -9. Sort q, w, g in increasing order.
w, q, g
Let g = 0.12 + -4.12. Sort -5, 0.4, g, 0.1 in descending order.
0.4, 0.1, g, -5
Suppose -5*y + 2 = 3*q, -4*y = -2*q - y - 24. Let t be ((-3)/(-7))/(q/4). Let b be (-9)/(-8)*6/9. Put b, t, -1/3 in decreasing order.
b, t, -1/3
Let z be 76/8 - 2/4. Let j be 3/z + (-7)/3. Let o = 37/116 + -2/29. Sort o, -1, j in descending order.
o, -1, j
Suppose 0 = -3*n + u + 11, 3*n - 3 = -3*u - 0*u. Sort 9, -5, n, 0.
-5, 0, n, 9
Let u(v) = v + 4*v - 2*v. Let t be u(-1). Let d(r) = 5*r**2 + r - 1. Let q be d(1). Put q, -5, t in descending order.
q, t, -5
Let f = 22.1 - 17.1. Let r = -5/19 + 16/133. Put r, f, -0.2 in ascending order.
-0.2, r, f
Suppose 0 = 3*h + 5*g + 10 + 14, 3*h - g + 24 = 0. Let v be (-21)/9*h/(-14). Let p = 3.05 - 0.05. Put -2, v, p in descending order.
p, v, -2
Let m(k) = 3*k**2 - 11*k - 4. Let x be m(4). Sort 5, x, -2.
-2, x, 5
Let x be 0 - (-2)/2 - 0/9. Put -22, 0, x in decreasing order.
x, 0, -22
Let v = -8 + 16. Let s = v + -12. Suppose -4*y - 24 = n, 0 = -2*y - 4*n - 32 + 6. Sort 3, y, s in ascending order.
y, s, 3
Let f(j) = -j + 4. Let n be f(6). Let m = -4 - n. Suppose 3*s + 5*q + 13 = 0, 0*s + 4*q = -4*s - 4. Sort s, m, -5.
-5, m, s
Suppose 0 = 3*p + 3 - 9. Sort p, -7, -4, -3 in descending order.
p, -3, -4, -7
Let l = 1.3 - 0.3. Let p(a) = -a**3 + 11*a**2 - 10*a + 2. Let f be p(10). Sort l, f, 2/21 in descending order.
f, l, 2/21
Let m be (0 - 2) + (-80)/(-42). Let x = 1.1 + -1. Sort x, m, -2 in ascending order.
-2, m, x
Suppose -3*m - 5 - 1 = 4*d, -3*d + 10 = -5*m. Put -3, 3, m, 2 in decreasing order.
3, 2, m, -3
Suppose 0 = 8*t - 3*t. Suppose -q - q = -14. Put -2, q, t in increasing order.
-2, t, q
Suppose 0 = 4*q - 2*j + 30, -q - 3*j = -5*j + 3. Let f = q + 8. Put 4, f, 5 in increasing order.
f, 4, 5
Suppose -t = -7*t + 12. Let y(o) = -2*o + 1. Let c be y(-2). Suppose c*l - 14 = 5*k + t*l, 0 = 4*k - 3*l + 10. Sort -1, k, 4.
k, -1, 4
Let x(c) = -c**3 - 8*c**2 - 7*c + 1. Suppose -3*g - 4*o - 33 = 0, -5*g - 47 = 4*o - 0*o. Let l be x(g). Sort l, -7, -2 in decreasing order.
l, -2, -7
Let p = -177 + 177.5. Let m(r) = -3*r + 1. Let w be m(-1). Let g = -2 + 1.9. Sort w, g, p in decreasing order.
w, p, g
Let j be (0 + 1/2)*-12. Let l = j + 5. Sort l, 5, -2.
-2, l, 5
Let z be ((-3)/1)/((-6)/8). Sort 17, z, 5 in increasing order.
z, 5, 17
Let r = 123/20 + -23/4. Let v = -10.78 + 1.88. Let p = 9 + v. Sort p, r, 0.3 in decreasing order.
r, 0.3, p
Let o be -2*(2 + 1/2). Suppose 0 = 3*l + g - 11, -g - 10 = -2*l + g. Put o, -2, l in ascending order.
o, -2, l
Let c = 0.049 - -0.451. Let p be -2 + 3/2 + 2. Put p, 3/8, c in descending order.
p, c, 3/8
Let t = -22 - -15. Put t, -1, 5, -3 in increasing order.
t, -3, -1, 5
Suppose 3*o - 4*o = -1. Sort o, 0.06, 0.3.
0.06, 0.3, o
Let s = -30 - -33. Sort s, -0.5, 2/7, -0.4 in increasing order.
-0.5, -0.4, 2/7, s
Let z(f) = -f**3 - 2*f**2 - 2*f. Let h be z(-2). Suppose -4*m + 5*d - 8 = 0, 8*m + d = 4*m - 8. Let u be (-5)/6 - 1/m. Sort -1/2, h, u.
-1/2, u, h
Suppose -3*t = -8*t. Sort t, -1, 2 in decreasing order.
2, t, -1
Suppose 3*l - 3 = -0. Suppose 2*p + 0*v = v + 13, p + 21 = -5*v. Suppose 4*q - d = d - p, 3*d - 2 = 4*q. Sort 3, q, l in descending order.
3, l, q
Let r(m) = -m + 14. Let y be r(11). Let a be (1/(-3))/(y + -2). Let g = 13/84 + 2/21. Sort 1/3, a, g.
a, g, 1/3
Let h be (-2)/9 - 0/(-4). Let m = -1/2 - 0. Sort m, -1, h.
-1, m, h
Let r = 47 - 59. Sort r, 3, -5 in decreasing order.
3, -5, r
Let n(r) = -r**2 + 1. Let u be n(-1). Let h(o) = o**2 - 13*o + 25. Let m be h(11). Sort u, m, 1.
u, 1, m
Let v = 12/11 + 9/22. Sort 4/7, v, 1 in descending order.
v, 1, 4/7
Let b = 5 - 2. Let p = 3.1 - b. Suppose 0 - 20 = -4*h, -h = -4*q - 21. Put 2, q, p in increasing order.
q, p, 2
Suppose -33 = -2*d - 3*d - 2*z, 0 = -4*d - 4*z + 36. Sort d, 1.1, 4 in increasing order.
1.1, 4, d
Let p = -40 - -44. Sort -3, -4, p in decreasing order.
p, -3, -4
Let y = -1.71 + 0.41. Put y, -0.3, 1 in descending order.
1, -0.3, y
Let c = -7/29 - 81/145. Sort -4, c, 3/5, -2 in decreasing order.
3/5, c, -2, -4
Let s = -1 + 4/3. Sort s, -5, 3/7.
-5, s, 3/7
Let a be -4 + 8 + (-1 - -1). Suppose -a*k - 7 + 27 = 0. Put k, 3, 4 in descending order.
k, 4, 3
Let v = 2 + -2. Suppose 5 = -4*a + 9*a. Sort v, a, -2 in ascending order.
-2, v, a
Let g(d) = -d**3 - 3*d**2 + d - 2. Let h be g(-3). Sort -2, h, 1.
h, -2, 1
Let m = 216 - 1942/9. Put m, -1, 0.2, -5 in decreasing order.
m, 0.2, -1, -5
Let s = 0.32 - 0.42. Sort 0.2, s, 0.3 in descending order.
0.3, 0.2, s
Let u be ((-1)/(-2))/((-2)/8). Let h = 114 - 796/7. Let a = -7 + 11. Put u, h, a in decreasing order.
a, h, u
Let f = -0.3 + -0.1. Let p = f - 0. Let w = 0.5 + p. Put -0.4, w, 2 in descending order.
2, w, -0.4
Suppose 8*n = 11*n + 27. Let r be (4 - 1)*n/27. Sort 1, r, 2 in decreasing order.
2, 1,