n decreasing order.
1, b, v
Suppose 0*u + 48 = -4*u. Put 4, u, -3 in increasing order.
u, -3, 4
Let s(a) = 10*a + 6 + 0*a**2 + 7 - 1 + a**2. Let t be s(-9). Put 0, -4, t in decreasing order.
t, 0, -4
Let q be (-2)/(1/12*-2). Suppose 5*n = 2*b - q - 1, 2 = -2*n. Put 5, b, 0 in ascending order.
0, b, 5
Suppose b + 5*r + 6 = 0, 0*b + 6 = 3*b + 3*r. Sort b, 1, -5, -4 in descending order.
b, 1, -4, -5
Let p = -0.19 + 0.09. Let z = -3.1 - p. Sort z, -0.5, 0.
z, -0.5, 0
Let o be (-3)/12 + 19/44. Let b be (-110)/(-280) + (-2)/14. Sort o, 5, b in ascending order.
o, b, 5
Let v be (-2)/6 - 48/(-9). Suppose -6*r = -r + v. Sort 3, -4, r in ascending order.
-4, r, 3
Let b be 247/(-95) - (-4)/2. Let z be (1/(-2))/(2/(-16)). Put z, b, -2 in increasing order.
-2, b, z
Let u = 102.1 - 103. Put -5, 2, 2/3, u in ascending order.
-5, u, 2/3, 2
Let m = 9.1 + -4.1. Put 0.1, 0.3, m in descending order.
m, 0.3, 0.1
Let a be 16*(-6)/20 - 4/20. Put 4, a, -6, -3 in descending order.
4, -3, a, -6
Let n = 575/9 + -64. Sort 11, -0.2, n in decreasing order.
11, n, -0.2
Let t = -5.5 - -0.5. Suppose 2*x + 5*j = 2 + 2, 5*x = -5*j + 10. Let o be 3/x*4/(-8). Sort o, t, 0.1 in decreasing order.
0.1, o, t
Let z = 0 - 1. Suppose 0*h + 12 = 3*h. Let n be 1/h + 19/(-44). Sort n, z, -2 in ascending order.
-2, z, n
Let m = -1.6 + 1.5. Sort -5, 2, 10, m in decreasing order.
10, 2, m, -5
Let o be (-2)/8 + 13/4. Let r = -6 + 11. Sort r, 2, o in increasing order.
2, o, r
Let d = 0.04 - -0.46. Sort d, 0.4, -1/2, -3 in increasing order.
-3, -1/2, 0.4, d
Let c = -10 + 48/5. Put 5, c, -1 in ascending order.
-1, c, 5
Suppose -2*x + 2 = -5*n, x = -n - 4 - 2. Put 0.1, 5, n in ascending order.
n, 0.1, 5
Suppose n = -4*n + 5. Sort 5, n, 2 in increasing order.
n, 2, 5
Let d = -87 + 85.6. Sort 4, d, 0.5.
d, 0.5, 4
Let g(h) = h**2 - 6*h. Let u be g(5). Let z be -1 + 1 + 2 + (-1 - 4). Sort -2, u, z in increasing order.
u, z, -2
Let t be (2 + 0)/(-36 + -5). Put -0.4, -0.2, t in decreasing order.
t, -0.2, -0.4
Let g be (-9)/42 - 4/(-8). Let s = 193/35 + -29/5. Sort -0.4, g, s.
-0.4, s, g
Let h be 50/(-18) - (1 + -1). Let v = h - -3. Sort 2/5, v, 0.3 in descending order.
2/5, 0.3, v
Let q be 6/5 - 1 - 12/60. Put q, 4, -3, 5 in increasing order.
-3, q, 4, 5
Let x(z) = -2*z**2 - 13*z - 6. Let i be x(-6). Put 6, i, -1 in decreasing order.
6, i, -1
Let c(z) = z**3 + 7*z**2 + 5*z - 5. Let u be c(-6). Let b be (-3)/(u + (-1 - 1)). Let k = -34 - -29. Sort b, k, -0.1 in decreasing order.
b, -0.1, k
Let r be 10/(-2) - -2 - -2. Suppose -5*x = s - 2*s - 50, -3*x + 30 = 2*s. Let q = x + -14. Put q, r, -3 in decreasing order.
r, -3, q
Suppose -3 = -4*h + 13. Let u be (15/6)/(5/h). Sort 4, -6, u in descending order.
4, u, -6
Let i = 0.04 - -4.96. Sort i, -0.5, -4, -0.01.
-4, -0.5, -0.01, i
Let o be 0 + -1 - 1*2. Suppose 11*l - 76 = -21. Sort l, o, 2 in descending order.
l, 2, o
Let n(q) = -q**2 + 8*q + 6. Let g be n(8). Sort 1, g, 2 in increasing order.
1, 2, g
Let z = -26.4 + 9.4. Sort -1/3, 0.2, -0.3, z.
z, -1/3, -0.3, 0.2
Let c be 2/(-5) + (-92)/20. Suppose -2*x + 3*i - 15 = -3, -4*i + 16 = -2*x. Suppose -5*p = z + 11, 0 = -3*z - x*p - p - 5. Put c, z, 1 in increasing order.
c, z, 1
Let n = 10 + -12. Put 0, 8, n in increasing order.
n, 0, 8
Let w be 16/(-3 - 1) + 0/(-7). Sort 5, w, 3, 2 in descending order.
5, 3, 2, w
Suppose 2*r - 5 + 1 = 0. Suppose 5*a = -r*y - 10, -2*a = -3*y - 0*a + 23. Let b be 12/(-3)*1/2. Sort b, 0, y.
b, 0, y
Let x = 2 + -7. Suppose -5*f + 0*f = 0. Let u = -2 + f. Sort x, u, -3 in descending order.
u, -3, x
Let u be 4/2*18/(-12). Sort u, 2, -1 in increasing order.
u, -1, 2
Let z = 33 + -19. Let v be (-88)/14 - (-4)/z. Let x be (5 + 1)*(-4)/v. Sort x, -1, -4 in increasing order.
-4, -1, x
Let o be 12/(-27)*1/((-6)/(-9)). Put o, -1/4, 2/39, 4 in descending order.
4, 2/39, -1/4, o
Let z(f) = -f**3 + 14*f**2 + f - 7. Let y be z(14). Suppose -b - 30 = -y*b. Sort -3, b, 8.
-3, b, 8
Let v = -4 - -5. Put 8, 1/3, v in increasing order.
1/3, v, 8
Let l be ((-40)/12 + 4)*18/(-20). Put 1/7, -5, -2, l in decreasing order.
1/7, l, -2, -5
Let t = 8.2 - 9. Let o = -0.9 - 0.1. Let f = t - o. Sort -1/7, 2/3, f.
-1/7, f, 2/3
Suppose -4*o + 7 = b - 0*o, -1 = -3*b - 2*o. Put b, 1, 2 in decreasing order.
2, 1, b
Let q = -0.06 + 0.26. Let b = 4 + -3. Sort b, 3/2, q.
q, b, 3/2
Let v = -7.2 + 2.2. Sort 3/5, v, 2.
v, 3/5, 2
Let m(c) = -c**3 - 5*c**2 - 3*c - 1. Suppose 6 = l + 2*k, 0*k = -4*l - 3*k - 1. Let p be m(l). Sort 1, 3, p.
p, 1, 3
Let l(v) = v**2 - 4. Let m be l(-2). Put m, -5, 9 in decreasing order.
9, m, -5
Suppose j = 3*j - 10. Let p(l) = l**3 - 10*l**2 - 12*l + 9. Let x be p(11). Sort x, j, 2/13.
x, 2/13, j
Let s be (-6)/14 + 2 + -1. Suppose -x = -3 - 3. Let t = 39.7 - 40. Sort s, x, t in decreasing order.
x, s, t
Let p be 8/3*3/2. Suppose -c - 20 = -5*c. Suppose -r + 20 = -5*x, r = 2*x - r. Put c, x, p in increasing order.
x, p, c
Let j = -34 + 33. Sort -2, j, -0.3 in ascending order.
-2, j, -0.3
Let g = 1 - 6. Suppose 5*x = 20 - 0. Suppose -b - x*b = 0. Sort 1/5, b, g in decreasing order.
1/5, b, g
Let f = -410/99 - -48/11. Put -2, 2, f, -0.1 in descending order.
2, f, -0.1, -2
Suppose 0 = m - 4. Suppose 4*c = -2*d - 30 - 16, -m*c - d = 49. Let x = c - -10. Sort 3, x, 1.
x, 1, 3
Let g(m) = -6*m - m + m**2 + 0*m**2 + 7 + 0*m**2. Let v be g(5). Put v, 4, -1 in descending order.
4, -1, v
Suppose -2*t = 6*t + 3*t. Sort 4, 3, 5, t.
t, 3, 4, 5
Let i(z) be the second derivative of z**4/12 + z**3/2 + 3*z**2/2 + z. Let p be i(-3). Let w be (0 - -1)/(-1) - -2. Put p, -4, w in increasing order.
-4, w, p
Let o(g) = -3*g**2 + 0 + 0*g**2 + 2 + g - 2*g**3. Let f be o(-2). Put -0.1, f, -4 in descending order.
f, -0.1, -4
Let a be (-4)/3 - ((-8)/3 + 1). Sort a, 16, -3.
-3, a, 16
Let b(p) = p**2 - 3*p - 14. Let r be b(6). Put -2, -0.4, 1, r in decreasing order.
r, 1, -0.4, -2
Let l(y) = y**2 - 3. Let g be l(3). Let m be 50/g + (-1)/3. Suppose -h - m = -4. Sort h, -3, 0 in descending order.
0, -3, h
Suppose 0 = -n - 0 - 3. Let v be (1/3)/((-1)/(-9)). Suppose -1 = -4*o - 17. Put v, n, o in descending order.
v, n, o
Suppose -3*n + n - 3*s = 31, -37 = 2*n - 3*s. Let v = 53/3 + n. Sort -7, -2, v in ascending order.
-7, -2, v
Let t = -4.2 + 2.3. Let b = t - -0.9. Let r = 0.7 + b. Sort r, 0.3, -1 in descending order.
0.3, r, -1
Suppose -5*k + 13 + 15 = 3*x, 2*k - x = 9. Suppose -k*m + 0 = 15. Sort m, 2, 1.
m, 1, 2
Let v be 70/5*(-4)/(-14). Suppose 5*q + 5*y = 5, 0*y - y = -4*q - 16. Sort 0, q, v.
q, 0, v
Let q = 7.3 + -6.8. Put 0.3, q, 0.02 in decreasing order.
q, 0.3, 0.02
Let n = 142 - 992/7. Suppose 0 = -5*y - 3*j + 9, -4*y + 9*y - 5*j = -15. Sort 0.3, y, n.
y, n, 0.3
Suppose -3*s = -11 - 4. Suppose -3*j - 2*t + 0 - 22 = 0, 0 = 3*j - 3*t - 3. Put j, 0, s in descending order.
s, 0, j
Suppose 4*d + 0*b - 2*b - 24 = 0, 0 = -d - 3*b - 1. Let i = -13 - -17. Let x be i/(-3) + 4/12. Sort d, 0.5, x in ascending order.
x, 0.5, d
Suppose -5*o = -2*o - 15. Let v = 191 + -190. Suppose 2*k - 2 = 2. Put o, v, k in decreasing order.
o, k, v
Let q = 0 - 4. Let k(a) = a + 2. Let r be k(q). Put -4, 2, r in increasing order.
-4, r, 2
Suppose -10*p - 2 - 28 = 0. Put -4, p, 3, 12 in decreasing order.
12, 3, p, -4
Let o = 12.6 - 13. Put o, -2/7, 1/4 in decreasing order.
1/4, -2/7, o
Let n be (-1602)/(-81) - 2/(-9). Suppose n = 4*o + p, -5 - 5 = -2*o - p. Sort 3, 1, o.
1, 3, o
Suppose 3*s - 15 + 6 = 0. Let q = s + -1. Let y be (6 - 2)*(-1 + q). Sort y, -5, -1 in increasing order.
-5, -1, y
Let y(w) = w. Let h be y(0). Let o(t) = t**2 - 9*t + 11. Let s be o(8). Suppose 3*g + s*u = 15, 5*g - u - 24 = -5*u. Sort h, g, 5 in ascending order.
h, g, 5
Suppose -3*s - 6 = d + 4, 3*d = 3*s + 30. Let c(f) = -f**3 + 5*f**2 - f + 1. Let b be c(d). Sort b, 5, 4 in decreasing order.
5, 4, b
Suppose -g + 21 = -5*y, 5*g - 1 = -6*y + 5*y. Sort y, 3, -65, -5 in increasing order.
-65, -5, y, 3
Suppose -9 + 3 = o - 2*z, 3*o - z - 7 = 0. Let m(l) = -l + 5. Let v be m(3). Suppose 6 = a - 3*j, -3*a = -v*j + 6*j + 8. Sort 2, a, o.
a, 2, o
Let u be (4/(-6))/((-4)/24). Suppose y = -4*o + 3*y - 6, 3*o + u = 2*y. Let h be (o/3)/(8/(-12)). Sort 0, -4, h in decreasing order.
h, 0, -4
Suppose -h = -0*h - 4. Suppose 2*c - 2*j = 3*c + 7, 5*c = h*j + 7. Put -0.1, 5/3, c in dec