der.
n, m, -1
Suppose 4*j = -j. Suppose -7*i + 12*i + 20 = j. Let c be 2*(1 + (-7)/2). Put 5, c, i in descending order.
5, i, c
Suppose -8 = -3*z + z - 4*b, 4*z = -4*b + 12. Suppose -z*c = 2*c - 28. Suppose -5*g - 3 = c. Sort 1, -5, g in descending order.
1, g, -5
Let h = -42 + 43. Sort 0.077, -2/17, 0.4, h.
-2/17, 0.077, 0.4, h
Let b = 146 - 145. Sort -5, 0.3, b, 0.18 in descending order.
b, 0.3, 0.18, -5
Let a = 52 + -54. Let s = 0.12 + -0.06. Put 4, s, a in decreasing order.
4, s, a
Let r(w) = 2*w**3 - 4*w**2 + 4*w - 1. Let m be r(3). Let t = m + -32. Suppose 2*f - 4*o = 11 + 9, 4*o + 20 = -f. Sort t, f, -5.
-5, t, f
Suppose 2*h - 10 = -2*b, 0 = -2*h - 2*b + 4*b - 6. Let k = 1007 - 1007. Sort 3, k, h in ascending order.
k, h, 3
Suppose 2*k + 3*o + 27 = 0, 4*k + o + 41 = -28. Let a = k + 14. Sort 1, -1, a in increasing order.
a, -1, 1
Let m be ((-108)/30)/(-2)*(-10)/(-6). Let r = 1 + -3. Suppose -10 = -2*a + 5*z, z = -2*a + 5*z + 6. Sort r, m, a.
a, r, m
Let h = -1.06 + 6.46. Let j = -6.6 + h. Let k = -6 + 5.6. Put 3, k, j in decreasing order.
3, k, j
Suppose 4*o + 2*u - 6 = 0, -3*o = -5*o - 2*u + 6. Let g be (o/(2 - 1))/(-1). Let m(k) = k**2 + 4*k + 1. Let q be m(-3). Sort q, -3, g in increasing order.
-3, q, g
Let k be (-2)/(-7) + 4/(-7). Let d be (72/(-75))/((-411)/(-165)). Let i = d + -2/137. Put k, i, 10 in increasing order.
i, k, 10
Suppose 0 = -72*n + 64*n + 8. Let z(j) = j**3 + j**2 - j - 3. Let r be 4/2 - (3 + -1). Let a be z(r). Put a, n, -5 in descending order.
n, a, -5
Let j = -10 - 10. Let c = -19.82 - j. Let l = c - -2.82. Put -2, 2, l in ascending order.
-2, 2, l
Suppose 2*k = 3*k + 2*a, 4*k + a - 7 = 0. Suppose 0*l - l - 1 = 0. Let t = l - 4. Put -5/3, k, t in decreasing order.
k, -5/3, t
Let j = 31 + -55. Let g = 29 + j. Suppose 2*t = 6*t - 16. Put g, t, 0 in decreasing order.
g, t, 0
Let w = -441 + 440.8. Let v = 1.2 - -4.8. Let a = v - 6.3. Sort 0.3, a, w in decreasing order.
0.3, w, a
Let i = -1043 - -1043. Sort 794, i, -2 in descending order.
794, i, -2
Let b be ((-1157)/130 - -8)/(12/(-10)). Sort 5/3, b, 0.4, 0.
0, 0.4, b, 5/3
Let o = -2344/3915 + -1/783. Sort 2/3, 1/3, -1/4, o in descending order.
2/3, 1/3, -1/4, o
Let d = -461 - -459. Put 3, d, 0, -5 in descending order.
3, 0, d, -5
Suppose 3*j - 3*p = -p - 8, 4*j - 5*p = -13. Sort 4, 13, j.
j, 4, 13
Let a(z) = -4*z**2 - 67*z + 261. Let y be a(-20). Suppose 0 = 3*j - 24 + 3. Put -2, 4, y, j in descending order.
j, 4, y, -2
Let w be 4/(-16 + -8)*(-6)/8. Sort w, 0.2, -4/3.
-4/3, w, 0.2
Suppose -3*r + 5 = -4*n, 24*n - 28*n = 3*r + 35. Sort r, 1, 28 in decreasing order.
28, 1, r
Let m be -5 - 24/(-6)*2. Suppose 0 = -k + 2 + 2. Sort 1, m, k, 0 in descending order.
k, m, 1, 0
Let m(d) = d**2 + 7*d + 1. Let y be m(-6). Let b = 1 + y. Let n = -13 - -8. Sort n, -3, b in descending order.
-3, b, n
Suppose -2*h - 1 = -2*k - k, -3*k = -5*h + 2. Let q = -0.6 + -8.6. Let p = -9 - q. Sort h, -5, p in decreasing order.
h, p, -5
Let n = 15.9 - 1.9. Sort 1/3, 2/13, 3, n in increasing order.
2/13, 1/3, 3, n
Suppose -3*y - 4 = -7*y, 2*f - 3*y - 1 = 0. Let k be ((-2)/(-3))/((-1)/3). Let o = -3 - k. Sort o, 9, f.
o, f, 9
Suppose 0 = a + 6*w - 3*w - 2, -3*a = -2*w + 5. Let i(p) = -p**2 + 2*p - 1. Let n be i(4). Let m be (-2)/n + (-2)/9. Sort a, m, -6.
-6, a, m
Let u(j) = -j**3 - 23*j**2 + 53*j + 77. Let t be u(-25). Put t, -2, 29, 5 in decreasing order.
29, 5, t, -2
Let r be (1/(-14))/((-121)/726). Sort -1, -9.2, r, -1/5 in descending order.
r, -1/5, -1, -9.2
Suppose 8*h = 7*h + 5. Put -1, h, -2, 13 in descending order.
13, h, -1, -2
Let l = 4 - 11. Let d = l + 10. Suppose -2*q = 4*b + 32, -d*q + 12 = -5*b - 6. Put b, 2/3, -3/7 in increasing order.
b, -3/7, 2/3
Let m be 3/(-15) - (-6)/5. Let w = 6021 + -6025. Sort -5, w, m in descending order.
m, w, -5
Let p = 53 - 50. Suppose 0 = p*i - 26 + 17. Sort 0.1, i, 1, 1/2 in decreasing order.
i, 1, 1/2, 0.1
Suppose -8*n - 30 = -10*n - 2*t, -2*t = -4*n + 84. Put n, 2, 3 in increasing order.
2, 3, n
Suppose z + 3 = -4*v, 6*z - 10*z = 4*v. Let q be 45/12*(1 + 11). Sort 4, v, q.
v, 4, q
Let z(k) = k**3 + 13*k**2 + 12*k - 27. Let p be z(-12). Let f be ((-10)/(-15))/(2/(-3)) + p. Put f, -5, 4 in descending order.
4, -5, f
Suppose -7*g + 24 = -11. Suppose -3*o + g*h - 35 = -0*o, 0 = -5*o - 4*h - 9. Let p(x) = 2*x - 1. Let l be p(-1). Sort l, 1, o in ascending order.
o, l, 1
Let l(i) = -i**3 - i**2 + 26*i + 4. Let y be l(-6). Put 2, y, 4 in decreasing order.
y, 4, 2
Let l be 15/2*(-20)/(-600)*6. Let d be (1 - -3)*3/(-3). Sort l, -0.3, d, 5 in descending order.
5, l, -0.3, d
Let p = 1032 - 7226/7. Put 2/37, p, -0.5, 0.2 in ascending order.
-0.5, p, 2/37, 0.2
Let r = 750877/3705 - 11060/57. Let q be 3 + 0 + (-795)/65. Let h = r + q. Put 4, h, 3/2 in decreasing order.
4, 3/2, h
Let j = 1.714 - 2.214. Put -3/7, j, 22, -3 in decreasing order.
22, -3/7, j, -3
Let z be 260/(-39) + (-16)/(-6). Put z, 10, 4 in descending order.
10, 4, z
Let f = -10 + 26. Suppose 3*x + x = -f. Put -2, x, 0.1 in ascending order.
x, -2, 0.1
Let c = 0.007 - 0.016. Let p = -0.509 - c. Put -4, 1/9, p in decreasing order.
1/9, p, -4
Let l = -0.257 + 4.257. Sort 0, 33, l, 3.
0, 3, l, 33
Let i = -1257.4 + 1257. Sort i, 0, -355.
-355, i, 0
Let c = 595 + -593. Sort c, 0.02, -1.
-1, 0.02, c
Suppose 3*z + 9 = 5*z + n, -5*z + 4*n = -3. Let w be (-66)/11*3/(9/118). Let t = -239 - w. Put z, 6, t in decreasing order.
6, z, t
Let g = 176/1295 - 2/777. Let u = 1 + -4. Let q be 0 + -1 + (-5)/(-7). Sort q, g, u in descending order.
g, q, u
Let p = 255/4 + -64. Let j = 1.0482 + -0.0482. Put j, 1/29, p in ascending order.
p, 1/29, j
Let i = -142 + 138. Let l = 481/6 - 80. Sort l, i, -0.2, 0.3 in decreasing order.
0.3, l, -0.2, i
Let b = -0.3 + -0.2. Let y = 6010 + -6011. Sort -5, y, b, 2/7 in decreasing order.
2/7, b, y, -5
Let a = -5.0688 + 0.0688. Put 4/7, 0.13, a, 1 in increasing order.
a, 0.13, 4/7, 1
Suppose -5*c + 16 = 4*x, 12*x = 13*x + 3*c - 4. Put -16, 5, 7, x in decreasing order.
7, 5, x, -16
Let x = 1/1325 + -531/1325. Sort -2, x, 5, 19 in descending order.
19, 5, x, -2
Let a = 212 + -210. Put a, -5, -4, -3 in ascending order.
-5, -4, -3, a
Let k = 5 + -1. Let w = 124.7 - 124.3. Sort k, -5, -2/9, w.
-5, -2/9, w, k
Let q = 0.055 - -48.945. Let i = 49.5 - q. Sort -5, 4, 0, i in increasing order.
-5, 0, i, 4
Suppose -2*q + 1 = 5. Suppose 3*n - 5*d = 13 + 9, -3*n - 3*d = -6. Put 2, q, n in decreasing order.
n, 2, q
Let g = -0.057 - 2.943. Let d = 9 - 9.7. Let z = -0.2 - d. Sort z, g, -2 in descending order.
z, -2, g
Let c be 1 + -3 - (-1170)/(-65). Sort 0, c, -0.4 in decreasing order.
0, -0.4, c
Let k = 1142 - 1138. Put k, -46.3, 0.5 in decreasing order.
k, 0.5, -46.3
Suppose g - 2 = -5. Suppose -330*k + 333*k + 2*c - 21 = 0, 2*c = 4*k. Put k, 6, 4, g in descending order.
6, 4, k, g
Let c = -5.3 - -0.3. Let m(j) = 3*j**3 + j**2 + 2*j + 1. Let s be m(-1). Let o be 4 + (-13 - -3 - s). Put o, c, 0.5 in ascending order.
c, o, 0.5
Suppose 5*l - 17 - 129 = 4*s, 0 = 5*s - 2*l + 174. Put -4, s, 2, -1 in decreasing order.
2, -1, -4, s
Let v = -2 - 3. Let f be ((-3)/(-6))/(3/6). Sort v, -2, f.
v, -2, f
Let t = 113596/3 - 54980851/1452. Let z = t - -2/121. Sort z, 0, 4 in descending order.
4, 0, z
Let r = 152 + -149. Let w = -47/8 - -6. Put r, -1/3, -0.1, w in decreasing order.
r, w, -0.1, -1/3
Let d = -2.08 - -2.09. Put 0.4, -4, -0.5, d in descending order.
0.4, d, -0.5, -4
Let k = 0.005 - -0.095. Let m = -34 + 34. Let u = -157/7 - -22. Put m, k, u in decreasing order.
k, m, u
Let j be 2/14 + 4/14. Let n = -3.359 - -3.439. Sort j, 0.2, n.
n, 0.2, j
Let q be (27 + 2 + -1)*(-15)/(-30). Put q, 3, -6, 2 in decreasing order.
q, 3, 2, -6
Let v = -5975 - -5974.9. Let c = 3.5 + -3. Let q = -16 + 11. Sort v, c, q in decreasing order.
c, v, q
Let w be 296/(-16) + (-1)/(-2). Let f = -17 - w. Let u be (f/(-2))/(4/(-16)). Sort -5, 4, u in descending order.
4, u, -5
Let v be ((-2)/6)/((-3)/801). Let w = v + -84. Put 3, -2, 2, w in ascending order.
-2, 2, 3, w
Suppose -2 = 21*i - 2. Suppose 5*d = 2*d + 2*r + 2, 3*d + 3*r - 27 = 0. Let v be -6*(0 - 2/(-3)). Put i, v, d in descending order.
d, i, v
Suppose 27 = 7*h + 125. Let u be (12/h)/(-1*(-2 + 4)). Sort -2, -1, u, 0.2 in decreasing order.
u, 0.2, -1, -2
Let a = 7 