*2 - 9*v - 11. Let r be u(-8). Put 3, 1, r, 0 in descending order.
3, 1, 0, r
Let u = 4.09 + -0.09. Let y = -2.113 - -0.013. Let w = 1.1 + y. Sort u, w, 1/4 in increasing order.
w, 1/4, u
Let c(b) = b**2 - 11*b + 5. Let y be c(10). Put -3, y, -0.5 in increasing order.
y, -3, -0.5
Let z = 89 - 87. Sort 0.2, 3, -2, z in descending order.
3, z, 0.2, -2
Let y(l) = l**2 + 7*l + 9. Let p be y(-6). Suppose g + 22 = p*g. Suppose s + 6*v - 2*v + g = 0, 15 = 3*s - 4*v. Put 0, s, 4 in ascending order.
0, s, 4
Let j = -0.1 + 0.16. Let u = j - 0.36. Let x = 0.3 - 0.5. Sort 5, x, u in decreasing order.
5, x, u
Let v be (424/(-318))/(((-4)/(-6))/1). Sort 0, -14, v in decreasing order.
0, v, -14
Let m(q) = q + 5. Let x be m(-5). Let b be 280/(-147) - 2/21. Put 1, b, x in decreasing order.
1, x, b
Suppose 3*h = -0*h - 18. Sort 5, -7, 0, h.
-7, h, 0, 5
Suppose 5*g + 28 = -p, 0 = 5*g - 2*p - 10 + 44. Let a = -6 - g. Suppose a = -3*u - 9 - 6. Sort 4, u, 3 in increasing order.
u, 3, 4
Let p be ((-10)/15)/((-2)/15). Sort -3, 0, p in decreasing order.
p, 0, -3
Suppose 0*a + 2*l - 8 = -a, -2*l = -3*a - 8. Let i(p) = p**3 + 5*p**2 - 7*p + 5. Let s be i(-6). Let z = 6 - s. Sort a, z, -3 in decreasing order.
a, -3, z
Let l be ((-3)/(-3))/(2/6). Suppose 3*j + v + 4 = -5, 0 = 5*j + l*v + 19. Let t(n) = n**2 - 4*n - 10. Let s be t(5). Put j, 1, s in ascending order.
s, j, 1
Let l = -0.4 + -9.6. Let w = l + 13. Suppose -2*u = -4 - 4. Put u, w, -1 in descending order.
u, w, -1
Let y be (4/6)/((-2)/(-6)). Let a be y/6 - 0/1. Let m = 8.2 + -8. Sort m, 0.5, a.
m, a, 0.5
Let a be 0/(-1 - 0 - 1). Suppose -4*s - 3 = 3*c + 1, 4*c + 4 = -5*s. Put c, -4, a in decreasing order.
c, a, -4
Suppose -5*f = 4*q - 22, 0*q - 4 = -4*q + 4*f. Suppose -3*u - 4*o + 12 = u, 0 = -u + 4*o + 13. Sort 2, u, q.
2, q, u
Let m = -363 - -362.9. Let q = -6.4 - -6. Let n = q - -0.1. Sort n, 3, m in decreasing order.
3, m, n
Let n = 25 - 5. Suppose 3*l - 5 + n = 0. Sort 0, -6, l in ascending order.
-6, l, 0
Suppose 7 = 8*s - 15*s. Sort -4, s, 5 in increasing order.
-4, s, 5
Let d be -3*2*2/(-6). Let l = -3 - -6. Suppose 4*b - l*s = -d*s - 16, -3*s = -4*b - 16. Put -3, b, -5 in decreasing order.
-3, b, -5
Let g = 0.08 - -0.09. Let t = g + 0.13. Sort -3, -0.3, t.
-3, -0.3, t
Let u = -24 - -24.4. Sort 1/5, u, 5 in decreasing order.
5, u, 1/5
Let c(l) = -l**2 - 2*l - 1. Let t be c(-3). Sort t, 4, 0.
t, 0, 4
Let g be (-10)/14 - 2/7. Suppose 2*i + 9 = -5*b, -5*b - 18 = 3*i - 4*i. Sort 4, g, i.
g, i, 4
Suppose -40 = 5*c + 35. Let l = -67 + 68. Sort -1, c, l in decreasing order.
l, -1, c
Let c(g) = -g**3 - 9*g**2 - 12*g + 14. Let r be c(-7). Sort r, 2, 4, -5 in ascending order.
-5, r, 2, 4
Let k be (-14)/(-42) - 32/6. Sort 5, k, -4, 0.
k, -4, 0, 5
Let g(v) = v**2 - 5. Let x be g(-2). Sort -2, x, -4 in descending order.
x, -2, -4
Let r be 20/12 - 1/(-3). Let n be 10*3/((-15)/2). Put -5, n, r in descending order.
r, n, -5
Suppose -2*x + 6*x - 8 = 0. Suppose -x*r + 2 = -6. Put -5, -4, r in ascending order.
-5, -4, r
Let l = -81.2 + 82. Put l, 0.3, 2/11 in decreasing order.
l, 0.3, 2/11
Suppose l - 4 = 0, -4*c - 3*l + 12 = c. Put -4, 1, 4, c in descending order.
4, 1, c, -4
Suppose 5*t = 4*t + 4. Sort 1, -3, t, 3 in ascending order.
-3, 1, 3, t
Let j = -1.6 - -0.6. Suppose k = -3*f + 2, 0 = 5*f - 2*k + 7 - 25. Suppose 4*c + 26 = 2*a + a, -5*a = f*c. Sort a, -5, j in decreasing order.
a, j, -5
Let q be 9/2 + 1/(-2). Let y = -24 + 24. Put q, y, 2 in descending order.
q, 2, y
Let w(i) = -5*i**2 - 17*i + 8. Let y be w(-4). Let f = -3 - -8. Suppose f*j - j - 8 = 0. Sort y, j, -1 in descending order.
j, -1, y
Let f = 13.46 - 24.1. Let d = f - -11. Let o = d + 0.04. Put o, 3, 0.3 in descending order.
3, o, 0.3
Let l = -7 + 8. Let q = 1.4 - l. Let f(c) = -c**3 - c**2 - c - 1. Let x be f(-2). Sort x, -2, q.
-2, q, x
Let n = -5.1 - 0.3. Let q = 5 + n. Sort 3, q, 0.5 in decreasing order.
3, 0.5, q
Let d = 26 - 29. Sort 1, 0, d in decreasing order.
1, 0, d
Let h = -4 - -10. Suppose -4*c + 2 = 4*l - h, 2*l = -c + 4. Sort l, -2, 1.
-2, 1, l
Let z be -3 - 93/(-30) - (-8)/20. Sort -32, z, 2/7, -0.2 in ascending order.
-32, -0.2, 2/7, z
Let a = 3.03 + -3. Let u = -0.07 - a. Sort u, 0.2, 5 in descending order.
5, 0.2, u
Let o = 8 + -6. Suppose 0 = -4*y + 17*y + 39. Sort y, o, 5 in ascending order.
y, o, 5
Let u(o) = o - 1. Let h be u(-2). Suppose 134*k - 135*k + 2 = 0. Sort h, -2, k.
h, -2, k
Suppose 4*c + f - 12 = -c, 4*f - 12 = -2*c. Suppose 0 = -c*m + 3*m + 1. Put m, 2/5, -3 in ascending order.
-3, m, 2/5
Let h(b) = -b**2 + b + 3. Let i be h(0). Let g be 0 + 2 + -1 + 4. Sort i, g, -1 in descending order.
g, i, -1
Suppose -a = -10 - 0. Suppose 2*f - 7*f = -a. Sort -3, -2, f in increasing order.
-3, -2, f
Let w be (-10 + 6)*(2 - 0). Sort 3, w, 1 in descending order.
3, 1, w
Let t = 11.013 - 0.013. Sort -2/13, t, -5, -1/3 in decreasing order.
t, -2/13, -1/3, -5
Suppose 4*j - 2*j = 0. Suppose j = -w - 3, 4*w + 4 = m - 3. Let l be (-2 - -1) + (-1 - 1). Put l, m, -1 in descending order.
-1, l, m
Let i(l) = -l**2 - 8*l + 11. Let d be i(-8). Let k = d - 16. Let n = -4 - -1. Sort 2, n, k.
k, n, 2
Let z be -5*(460/450 + 2/(-9)). Let i = 0.1 + 0.3. Let o = -32 - -223/7. Sort z, i, o in descending order.
i, o, z
Suppose -12 + 32 = 5*n. Put n, 2, -8 in increasing order.
-8, 2, n
Suppose -25*o + 29*o = 20. Sort 1, -2, o, -4 in decreasing order.
o, 1, -2, -4
Let v = -80 - -80. Sort -3, v, 12, -1 in decreasing order.
12, v, -1, -3
Let j = 0.18 - 0.2. Let u = 6.72 - 7. Let x = u + j. Put -5, 1, x in descending order.
1, x, -5
Let q be (-1 - (-11)/5) + -1. Let c = -5 - -5. Let f = -6.2 - -6. Sort c, f, q.
f, c, q
Let b be -6*(1 + 0/2). Let z be 2/3 + 28/b. Let u = 76/219 + -1/73. Sort -2, u, z in decreasing order.
u, -2, z
Let h be ((-1)/(-2))/((-6)/12). Let c be (14/(-10) - -1)*5. Let k = h - c. Sort -1, k, 2 in increasing order.
-1, k, 2
Let h = -1.8 - -2. Suppose -5*w - 44 = -104. Suppose 0*z = -z - 4, -2*y - 2*z = w. Put h, y, 1 in increasing order.
y, h, 1
Let p = 0.6 + -0.1. Let t = 88 + -88.3. Put p, t, 1 in ascending order.
t, p, 1
Let t = -2 - 2. Let y = -1 + t. Let g(h) = -3*h - 1. Let o be g(-2). Sort y, -3, o in increasing order.
y, -3, o
Suppose -2*j + 1 = -u, j + 0*j - 5*u = -22. Suppose -j*b = -2*b. Suppose -q - 1 = -b. Put -3, q, 5 in decreasing order.
5, q, -3
Suppose -3*q = 7 + 5. Let d(w) = w**3 + 5*w**2 - 2*w - 6. Let i(j) = -2*j**2 + 4*j + 1. Let y be i(3). Let v be d(y). Sort 3, q, v in descending order.
v, 3, q
Let x = -4.65 + 5. Let o = 0.15 + x. Sort 2/19, -0.3, o in descending order.
o, 2/19, -0.3
Let d be 34/(-20) + 1/5. Sort d, -1/5, -0.01, 4 in descending order.
4, -0.01, -1/5, d
Let m = 1/3 + 1/6. Let g = -23.3 + 23. Sort m, g, 1 in increasing order.
g, m, 1
Let l be -32*(0 - (-2)/(-4)). Let m be 7/((-28)/l) + 4. Sort m, 4, 3 in ascending order.
m, 3, 4
Let x = -34.2 + 34. Sort 2/9, -6, x.
-6, x, 2/9
Let l = 1.1 - 1. Let c = 0.028 + 4.972. Sort -2, c, l in increasing order.
-2, l, c
Let a(m) = -m + 5. Let l be a(3). Let k be -8 - -4 - -2 - -1. Put k, l, 5 in descending order.
5, l, k
Suppose 3*z - 6 = z. Let o = 0.12 - -0.18. Sort o, 5, z.
o, z, 5
Suppose -4*o + 6 = -2*f, 3*o = 3*f + o - 7. Let k be (1 + f)/((-9)/6). Let q be 9/6 + (-1)/2. Sort k, q, 3 in ascending order.
k, q, 3
Let y = 0 - 0. Let n = -18 + 17.7. Let j = y + n. Put j, 0, -0.1 in descending order.
0, -0.1, j
Suppose 0 = 3*x - 0*x + 6. Let g be x/(-9) + 4/(-9). Put 2/3, g, 5 in ascending order.
g, 2/3, 5
Let o = 7 + -9. Suppose 10 = -a + x - 0*x, 0 = 4*a + 2*x + 10. Put o, 1, a in descending order.
1, o, a
Suppose -17 = 7*o - 4*o + 2*t, -2*o + t - 9 = 0. Put 0, o, 6 in ascending order.
o, 0, 6
Let w = 0 + 0. Let s be (w + -1)/((-1)/5). Let r be ((-15)/(-20))/((-2)/8). Put s, r, 4 in ascending order.
r, 4, s
Let l = 2 + 2. Suppose h = 3*a - 0*a + 19, -l*a = 5*h. Sort -3, 8, a in decreasing order.
8, -3, a
Let f = -41.5 - -41. Let y = -0.6 - 3.4. Sort y, -2/5, f in decreasing order.
-2/5, f, y
Suppose -4*a + 9 + 7 = 0. Let h be 1 - ((0 - 1) + a). Let d be (-9 + 5)*4/(-16). Put h, d, 5 in descending order.
5, d, h
Let x be 24/(-9)*((-18)/(-4))/3. Sort 0, 5, x in descending order.
5, 0, x
Let c = -97/2 + 48. Sort -3, c, 6, 0.
-3, c, 0, 6
Let i(g) = g**2 + 