-5, d, v
Suppose -1 = 4*x + 3*v, 0 = -7*x + 3*x + 4*v - 36. Sort x, 1, 3 in decreasing order.
3, 1, x
Let t = 1109/24 - 275/6. Let n = -0.114 - -0.414. Put -0.1, n, t in increasing order.
-0.1, n, t
Let n be 0*4/(-12) - -3. Let v = 9 + -1. Suppose 0 = w - n*w - v. Put w, -3, -2 in decreasing order.
-2, -3, w
Let a = -0.04 + -1.76. Let t = -0.2 + a. Let y = t + 1.9. Put y, -1, 2/11 in decreasing order.
2/11, y, -1
Let u = -0.9 + 1.06. Let v = u + 4.84. Sort 2/15, -3, v.
-3, 2/15, v
Let w be (-2)/(-7) - (-22)/(-28). Let z = 1.6 + 0.4. Let n = 7 + -8. Sort n, w, z in descending order.
z, w, n
Let a = -7 - -10. Let c be (a/(-2))/(4/8). Sort 4, c, -2 in ascending order.
c, -2, 4
Let c = 7 - 6.9. Let p = 4 - 9. Sort 1, p, c.
p, c, 1
Let t = 0.036 + -7.036. Sort 0.5, t, 3/5, 2 in descending order.
2, 3/5, 0.5, t
Suppose -4*z = -22 + 10. Put 0, z, 5, 2 in increasing order.
0, 2, z, 5
Suppose -10 = 4*k - 26. Let s(b) = -b - 8. Let c be s(-6). Suppose -3*r + 10 = -5*r. Sort k, c, r in ascending order.
r, c, k
Let q = 2 - 4. Let g(t) = -2*t**2 - 2*t. Let i be g(-1). Put -5, q, i in increasing order.
-5, q, i
Let l = 8 + -7.7. Sort l, -2, 3, 2/19.
-2, 2/19, l, 3
Let i = 0 - 5. Sort i, 1/8, 0, 1/6 in ascending order.
i, 0, 1/8, 1/6
Let z be 175/180 + 6/(-8). Let s = 13 + -16. Sort s, z, 3 in ascending order.
s, z, 3
Let h = -2.3 - -2.7. Put -1, h, 0 in descending order.
h, 0, -1
Let j = -0.07 - -0.37. Let x be 8/16 + (-30)/44. Put x, -1/4, j in descending order.
j, x, -1/4
Let m be (40/(-25))/(1/(-5)). Suppose 4*d + 2*w = 10, 3*d + 0*d + w = m. Suppose -d*n + q - 18 = 0, -n + 5*q - 16 = 4. Sort -3, 2, n in descending order.
2, -3, n
Let o be 2/(-14) + 8/56. Let u be -1 - -2 - (-1 - 1). Suppose -x - 30 = 5*q, -3*x - 2*q - 40 = u*q. Put x, o, 3 in decreasing order.
3, o, x
Let g be ((-162)/5)/(21/(-75)). Suppose -580 = 6*q - q. Let m = q + g. Put m, 1/6, -0.4 in descending order.
1/6, m, -0.4
Let u = -9.6 + 0.6. Let o = -8 - u. Put 3/2, o, 0 in increasing order.
0, o, 3/2
Let p = 4 - 0. Let o be -7*1 + -1 + 1. Let q be (-2)/(-2) + 8/o. Put p, q, -4/7 in ascending order.
-4/7, q, p
Let o = 6 - 11. Put 2, o, 2.2 in descending order.
2.2, 2, o
Suppose w - 5 = 2*q, -1 - 6 = -2*w + 3*q. Let r = -2 + 3. Sort r, w, -3 in descending order.
r, w, -3
Let v = 66 + -84. Put v, 1, 2, -5 in descending order.
2, 1, -5, v
Let l(b) be the first derivative of -b**3/3 - 4*b**2 - 3*b + 1. Let z be l(-7). Sort -3, z, 0 in ascending order.
-3, 0, z
Let v be 0/(-3 + (3 - 1)). Put 4/5, v, -3 in descending order.
4/5, v, -3
Suppose 0 = -p - 0*p + 16. Suppose x = -0*x + 5*a - 13, -2*x - 4*a + p = 0. Sort 1, -4, x.
-4, 1, x
Let m = 0.2 - -0.1. Let n = -0.8 - 1.2. Put n, m, -3 in increasing order.
-3, n, m
Let w be 2*(-2 + (-36)/(-8)) + -10. Let z be 4/6*(-15)/(-2). Put z, 4, w in ascending order.
w, 4, z
Let x = -0.1 + 0.1. Let l be -3 + 8 + -2 - 0. Sort x, -2, l.
-2, x, l
Let f = -7 - -6. Put 4, 5, f in decreasing order.
5, 4, f
Let u be 6/(-3)*2/(-1). Let k = u - 2. Sort k, 0, 4.
0, k, 4
Let m(i) = -i + 1. Let f = 18 + -13. Let o be m(f). Let n be 1/4 + (-18)/8 + 1. Sort o, n, -3.
o, -3, n
Let u = 11 - 12. Let a = -7 - -11. Put -3/4, u, a in ascending order.
u, -3/4, a
Suppose -2*q + 4 = -4*q - f, 0 = -4*q + f + 4. Put 1, 2, q in increasing order.
q, 1, 2
Suppose 0 = -2*h - h + 9. Suppose 2*w = f + 2 + 9, 2*f = w - 7. Let g(a) = a**3 + 4*a**2 - 3*a + 7. Let x be g(-5). Sort w, x, h in descending order.
w, h, x
Suppose -d - d = 4*r - 46, -4*d = 4*r - 56. Put -4, r, 4, 5 in decreasing order.
r, 5, 4, -4
Let q(p) = 4*p**2 + p. Let i be q(1). Sort -2, 2, i in decreasing order.
i, 2, -2
Suppose 14 = 5*c - 1. Sort -2, 1, c.
-2, 1, c
Let q = -40861370 - -858255094/21. Let h = q - 7922. Let u = 5/3 + h. Sort u, 0.5, 2.
u, 0.5, 2
Let d(f) = -f**3 + 2*f**2 + f + 3. Let r be d(3). Let a(u) = -2*u**3 + u**2 + 2*u + 1. Let q be a(-1). Put r, 4, q in decreasing order.
4, q, r
Let w = 0.16 + -1.16. Sort 0.4, w, 2 in ascending order.
w, 0.4, 2
Let s be -1 - 2/((-2240)/793). Let q = s + 1/160. Put 1, -0.5, q in ascending order.
-0.5, q, 1
Let l = -53/42 + -1723/210. Let o = l + 29/3. Sort o, 0, -2/7 in decreasing order.
o, 0, -2/7
Let j = -35/3 - -11. Let l = -5 - -4.8. Sort j, -3, l in descending order.
l, j, -3
Let w(c) = c**3 - 14*c**2 - c + 15. Let s be w(14). Suppose 2*i + 2 = 4*i + f, f + 19 = 5*i. Sort s, i, -5.
-5, s, i
Suppose 17*g - 11 = 6*g. Let k = -1.5 + 2. Sort k, -0.3, g.
-0.3, k, g
Suppose -32 = -4*z + 4*o, 22 = -0*z + 5*z + o. Suppose -2 = -5*b + 13. Sort -1, b, z in increasing order.
-1, b, z
Let z be (-144)/36 + 62/16. Sort z, 1/3, -0.2, -2/79 in ascending order.
-0.2, z, -2/79, 1/3
Let q = -6 + 0. Let u = -10 - q. Put 2/7, u, 0.4 in increasing order.
u, 2/7, 0.4
Suppose -3*u = -5*u + 2. Let w = -40 + 39. Sort u, 0.5, w in decreasing order.
u, 0.5, w
Suppose 4*g + 3 = 67. Suppose -g*f - 15 = -19*f. Sort -3, 2, f in descending order.
f, 2, -3
Let c be (30/5)/(6/(-4)). Let v be ((-6)/c)/((-1)/(-2)). Put -5, v, -3 in increasing order.
-5, -3, v
Let h = 10 + -6. Let i = -2 + -2. Put 3, h, i in increasing order.
i, 3, h
Let j(k) = -4*k - 19. Let x be j(-5). Sort -6, x, 4 in descending order.
4, x, -6
Suppose s = 13 - 11. Sort s, 0.2, 4 in descending order.
4, s, 0.2
Suppose 0 = -3*v + 6*v - 6. Let i(q) = q**2 + 2*q - 5. Let j be i(-4). Sort j, v, -2 in decreasing order.
j, v, -2
Let m = 111/2 - 52. Sort m, 5, 0.1 in ascending order.
0.1, m, 5
Suppose -3 = -2*g + 7. Let d(p) = 2*p**2 - 10*p + 3. Let u be d(g). Let h = -4.7 - -0.7. Sort 1, h, u in decreasing order.
u, 1, h
Suppose -4*m + 16 = -0*m. Suppose -9 = -5*a - 4*d, 33 - 7 = 2*a - m*d. Put a, 1, -3 in decreasing order.
a, 1, -3
Let u = -3.06 - -0.06. Let b = u + 1. Let s = 25.5 + -25. Sort s, b, 5 in decreasing order.
5, s, b
Let y = 102 - 102.3. Let z = -9.8 - 0.2. Let p = z - -7. Sort 5, y, p in increasing order.
p, y, 5
Suppose a + 4*o = -13, 0 = 2*o - o + 4. Suppose a*h + 5 = -10, -2*x = h + 15. Put 4, 2, x in decreasing order.
4, 2, x
Suppose 5*p - 4*r = -66, -5*p = -3*r - 6 + 73. Let k be 4/p - (-5)/(-7). Put -4, k, 3 in increasing order.
-4, k, 3
Let a = 46 - 51. Put -0.5, 5, -4, a in decreasing order.
5, -0.5, -4, a
Let x(d) = d**2 + d + 3. Let y be x(0). Suppose 12 = -5*f + 4*p, 2*f - p + y = -f. Suppose 0 = 3*s - 7 + 19. Put -3, f, s in ascending order.
s, -3, f
Suppose 0 = -2*g - x + 1, g - 5*x = -18 + 2. Let s = 0.06 + 0.06. Let a = -5.12 + s. Put g, -4, a in ascending order.
a, -4, g
Let g be 55*(2 + 9/(-5)). Sort 1, -5, g in descending order.
g, 1, -5
Suppose -5*k - 12 = -k. Suppose 4 = -4*r + 2*r. Sort 4, k, r.
k, r, 4
Let r(o) = -2*o - 27. Let b be r(-11). Put -4, 4, b in increasing order.
b, -4, 4
Suppose 4*h + 2*l - 8 = 0, 13 = 2*h - h - 5*l. Sort 2, h, -1 in ascending order.
-1, 2, h
Let u = -4 - 1. Let l = 14 + -9. Suppose -3*q + l + 10 = 0. Put 0, q, u in descending order.
q, 0, u
Let o = -91.154 - -91. Let w = o - -5.194. Let h = 0.04 - w. Put h, -2/9, -0.5 in ascending order.
h, -0.5, -2/9
Let g = 83 + -251/3. Let i = 1.5 + -1.2. Put i, -2, g in descending order.
i, g, -2
Let o = 1 - -4. Suppose -3 = -o*n + 12. Suppose 0*i + 2*i + 3*v = 17, 4*i - 31 = -5*v. Put 5, i, n in decreasing order.
5, i, n
Suppose -4*u + 22 = -2*m, 5*u = 5*m + 34 - 4. Put u, -2, 3, -5 in ascending order.
-5, -2, 3, u
Let w be (-2)/8 + (-78)/(-24). Let z be 2 - (w/(-1))/(-3). Suppose -g = 3*g + 16. Sort g, -5, z.
-5, g, z
Let j be 4/22 - (-13)/(-11). Sort 1, j, -2.
-2, j, 1
Let l(m) = m**3 - 3*m**2 - 6*m + 5. Let x be l(4). Put -5, 1, x in descending order.
1, x, -5
Let x(h) = -h**2 + 10*h - 3. Let w be x(9). Let n be (3/20)/(w/4). Put 0.3, n, 1 in increasing order.
n, 0.3, 1
Suppose -3*p = -8*p + 15. Let i be 2/8 + 45/12. Suppose -p*l + i = 16. Sort l, 1, -3.
l, -3, 1
Let t = -5 + 1. Let i = -0.6 - -1. Let w = 0.3 - i. Sort 0, t, w in ascending order.
t, w, 0
Let o = -136 - -136. Put 3, 4/5, o in descending order.
3, 4/5, o
Let l = 238 - 236. Let v be (-2)/12*(-4)/(-1). Put v, l, 3 in increasing order.
v, l, 3
Let j = -0.5 - 0. Sort j, 5, -2/11 in increasing order.
j, -2/11, 5
Let l = 18 + -9. Let v = l + -7. Sort -4/5, 5, v.
-4/5, v, 5
Let z = 4 + -6. Let x(c) = -3*c - 4. Let k be x(-3). Let f = 2 + 0. Sort k, f, z in decreasin