der.
t, u, -2/11
Let h(f) = -f + 2. Let a be h(-6). Suppose p + a = -p. Let v = 227 + -222. Put -5, v, p in increasing order.
-5, p, v
Let s be (-10 + 1)*2/3. Let i be 338/18 - s/27. Let j = i + -23. Put 2, j, 1 in increasing order.
j, 1, 2
Suppose d = -5*q + 28, -3*d = 2*q - d - 16. Let j(g) = -g**3 + 26*g**2 - 25*g + 3. Let c be j(25). Put q, c, 0 in decreasing order.
q, c, 0
Let s = -5731/10 - -573. Let i = 19.4 - 0.4. Sort s, i, -1.
-1, s, i
Let s = -71.84 - -70. Put s, -0.3, -1/2 in descending order.
-0.3, -1/2, s
Let v = -2203/15 + 147. Put -0.1, -11, v, -2 in descending order.
v, -0.1, -2, -11
Suppose 12*h + 123 - 135 = 0. Put 0.4, h, -56 in decreasing order.
h, 0.4, -56
Let g = -1.79 + 3.79. Sort -3/4, -5/29, -4, g in increasing order.
-4, -3/4, -5/29, g
Suppose -12 = -3*i, 0*x - 115 = 5*x - 5*i. Sort -5, 0, x, -3 in ascending order.
x, -5, -3, 0
Let h = -3.5 - -1.5. Let m = -0.44 - -0.34. Put h, 3, m in increasing order.
h, m, 3
Let s be (2 - 1)*(0 + -2). Let b be 132/(-72) - (-30)/9*(-3)/(-6). Sort s, 0.1, 5/4, b in descending order.
5/4, 0.1, b, s
Let r = 1 - 0. Suppose -7 + 67 = -30*d. Put r, d, -4 in increasing order.
-4, d, r
Suppose 0 = 112*d - 114*d - 2. Put 6, -10, d in increasing order.
-10, d, 6
Let y(l) = -13*l + 719. Let o be y(55). Sort -2, o, 5, -143 in increasing order.
-143, -2, o, 5
Suppose 0*a + 5*a - 14 = -4*z, z - 3*a + 5 = 0. Let x be ((-1)/(-3))/(-2*4/120). Put x, 13, z in decreasing order.
13, z, x
Let n = 12.11 + -12.1. Let s = 1.99 - 1.5. Let z = n + s. Sort 1, 3, z in decreasing order.
3, 1, z
Let w = 26.6 - 26.8. Sort w, 1, 1/13, -0.3 in ascending order.
-0.3, w, 1/13, 1
Let d(g) = 2*g**3 + 2*g**2 + 2*g + 4. Let n be d(-3). Let u = -35 - n. Put u, 0, -5 in increasing order.
-5, 0, u
Let l = 70 - 70.035. Let h = -0.365 + l. Let f = 0 - 2. Sort h, f, 3.
f, h, 3
Let n(o) = -o**3 + 9*o**2 - 13*o - 6. Let k(i) = 3*i**2 + 4*i + 3. Let b be k(-2). Let g be n(b). Put g, -5, 2 in decreasing order.
2, g, -5
Let y be (10/(-3))/(8/(-12)). Let f be 0 + (y - 2) + 1. Put 0, 1, f in descending order.
f, 1, 0
Suppose -2*m - 3*v = m - 117, 5*v + 45 = m. Let w be ((-8)/m)/(-1 + (-27)/(-25)). Put 2/7, w, 0.2, -1/3 in ascending order.
w, -1/3, 0.2, 2/7
Let a(q) = q**2 + 7*q - 5. Let k be a(-7). Let w = -1991 - -1987. Sort -3, k, w.
k, w, -3
Let t = 16.6 - -3.4. Let a = 23 - t. Let w = -1.94 - 0.06. Put a, 5, w in decreasing order.
5, a, w
Let j be (-1)/(-2) + (-1)/14. Let r = 4.9142 - -0.0858. Put r, j, -0.5 in ascending order.
-0.5, j, r
Suppose 151 = i - o, 4*i - 3*i - 157 = 3*o. Suppose 5*z + 33 = i. Sort z, -2, 1.
-2, 1, z
Let o be -3*(6 + 161/(-21)). Suppose 4 = -x + 1. Put x, 1, o in decreasing order.
o, 1, x
Suppose 2*g + 5*y + 254 = -g, 5*y + 166 = -2*g. Sort 4, -4, g in ascending order.
g, -4, 4
Suppose -4*i + 470 = 2*g, 4*g = g + 5*i + 661. Let n = g + -2045/9. Put 5, 2/7, n in ascending order.
n, 2/7, 5
Suppose 2*t = -t - 3*j - 3, j - 14 = 2*t. Suppose 2*b = -4*x + 18, 0 = -3*b + 6 + 3. Suppose 2*i + 7 - x = 0. Sort i, -4, t in descending order.
i, -4, t
Suppose 13 = -27*j + 67. Put 47, j, -4, 4 in descending order.
47, 4, j, -4
Suppose -5*w - 3*o = 285, -4*w - 67*o + 71*o - 196 = 0. Sort w, 5, -2 in increasing order.
w, -2, 5
Let w = -17 + 13. Sort -3, -86, w, 1 in decreasing order.
1, -3, w, -86
Let r = -3540/11 + 322. Put 2, 8, r, -4 in increasing order.
-4, r, 2, 8
Let i = -45 - -45.19. Sort 4, 0.3, -3, i in increasing order.
-3, i, 0.3, 4
Let u be (3/(18/(-15)))/((-14)/12). Sort 0, -5, 2, u in descending order.
u, 2, 0, -5
Suppose -4*t = -17 - 15. Suppose -4*i - 4*h = 16, 2*i = -i - h - t. Put -3, i, 2 in descending order.
2, i, -3
Suppose -18 = 5*p - 218. Let a be p/238 + (-4)/14. Let h be 0 - 3*(-1)/(-7). Sort 4, a, h in descending order.
4, a, h
Let m = 0.28 - -0.02. Let u = 0.3 - m. Sort u, -0.2, -1 in decreasing order.
u, -0.2, -1
Let o be (6/6)/(-1 + 0). Sort -2, 0, o, -5 in decreasing order.
0, o, -2, -5
Let k = 14 - 10. Let y = -5.5 - -36. Let o = y - 31. Sort o, k, -0.1 in decreasing order.
k, -0.1, o
Let z = -0.5 - -1. Let n be (-184)/44 + (-12)/(-3). Sort z, 4, n in increasing order.
n, z, 4
Suppose -d - 5*s = 29, 0 = 6*d - d + 3*s + 35. Sort -8, 0, d, -2 in descending order.
0, -2, d, -8
Let l(w) = w**2 - 52*w + 280. Let z be l(46). Put 39, z, 3 in decreasing order.
39, z, 3
Let u(o) = 8*o**2 + 4*o - 1. Let z be u(-1). Let q be (-15)/3*1 - 0. Let s(g) = 2*g + 5. Let y be s(q). Put 2, z, y in ascending order.
y, 2, z
Let r = -16.4 - -33.9. Let g = r + -17.5. Put g, 5, -25/2 in ascending order.
-25/2, g, 5
Let j = -51/40 + 9/10. Let w = 2/161 - 487/322. Sort j, 3, w in increasing order.
w, j, 3
Suppose -3*l + 84 = 87. Put 5, -5, l, -14 in ascending order.
-14, -5, l, 5
Let p = -1.01 - 0.99. Sort -14, p, 0 in increasing order.
-14, p, 0
Let c be (-15)/(-20)*2 + 3/6. Let f(t) = t**3 + 7*t**2 + 7*t + 1. Let g be f(-6). Sort g, c, -3.
g, -3, c
Let u be 3/6 - (-6)/4. Suppose s - 1 = -0*s + u*t, -3*t = 5*s + 34. Suppose 0*a - 2*a = 0. Sort a, -3, s in decreasing order.
a, -3, s
Let a = -0.1 - -28.1. Let r = -26 + a. Put 5, 3, r, -4 in increasing order.
-4, r, 3, 5
Let v be (-9 - -1)/(-20 + 16). Sort -1, v, -37.
-37, -1, v
Let q = 814 - 813. Suppose -i - 4*w = -14, -2*i + 0*w = -3*w - 6. Let y(j) = j**2 - 6*j + 5. Let h be y(i). Put q, -1, h in descending order.
h, q, -1
Let w be -2*(-2 + (-9)/(-6)). Let n be ((w + -7)/(-3))/2. Suppose 2*l = 2*j - 18, 83*j = -4*l + 81*j - 6. Sort n, -2, l.
l, -2, n
Suppose -4*o + 66 - 209 = -5*v, v + 1 = 0. Put 4, o, -4 in increasing order.
o, -4, 4
Suppose 0 = 5*h - 2*h + 3*t + 3, 0 = 4*h - 3*t + 25. Let b be -6 + 24/4 + 1*-3. Sort 0, b, 4, h.
h, b, 0, 4
Let l(j) be the first derivative of -3*j**2/2 - 3*j - 5. Let d be l(-1). Put d, 1/9, 1/6 in decreasing order.
1/6, 1/9, d
Let g be (-45)/75*10/(-12)*-158. Sort 3, 4, 5, g.
g, 3, 4, 5
Let o = 4.05 + -0.05. Let f = -36 - 78. Let a = -115 - f. Sort a, o, -4.
-4, a, o
Suppose -2*o = 3*f - 11 + 24, -5*o = 3*f + 28. Let v = 8.8 + -0.8. Let t = 9 - v. Put o, -1/2, t in ascending order.
o, -1/2, t
Let i = -0.36 - -6.36. Let k = 3 - i. Put 22, 4, k, -2/7 in decreasing order.
22, 4, -2/7, k
Let n be -4 + (-6)/(6/(-19)). Let q be ((-55)/n + 2)*-3. Sort -9/4, q, 2/5 in increasing order.
-9/4, 2/5, q
Suppose 4*c + 4*p + 10 = 2, 5*p = 4*c - 10. Let l(b) = -b - 4. Let g be l(-5). Sort g, 4, c in increasing order.
c, g, 4
Let j(u) = -u**3 + 28*u**2 + 2*u - 47. Let p be j(28). Put 1, -4, p, 0 in descending order.
p, 1, 0, -4
Let i = 732 - 586. Sort -4, i, 2 in decreasing order.
i, 2, -4
Let h = 0.1 + 0.1. Let x be 4/14 + (-33)/(-7). Suppose -8 = -4*a, -x*a + 7*a + 11 = -5*k. Sort h, -4, k.
-4, k, h
Let z(m) = m**2 - 4*m + 7. Let c be z(3). Let j(v) = v**2 - 10*v + 10. Let t be j(c). Let d be 1/(t/4 - 3). Sort -1, 0.5, d.
-1, d, 0.5
Let s be -1 - (-5)/(-15)*-1*-12. Sort s, 5, 2, -1.
s, -1, 2, 5
Let q(o) = -o - 7. Let y be q(-10). Let l be y/(-7) + (-200)/(-140). Let n be (-2 + (-3)/(-2))*6. Sort 3, l, n in ascending order.
n, l, 3
Suppose 5*b = -2*p - 3, -6*b + 24 = -2*b - 5*p. Sort 5, b, 4, -6.
-6, b, 4, 5
Let z = -147 + 148. Sort z, -3, -6 in decreasing order.
z, -3, -6
Let x = -8591/36 - -955/4. Put x, 0.4, 1/4, 6.6 in descending order.
6.6, 0.4, 1/4, x
Let k(t) = 4*t**2 - t. Let i be k(1). Let s be -2 + (-4)/6*i. Suppose b - 15 = -17. Sort b, 0, s in ascending order.
s, b, 0
Suppose -y - 7 = -0*y. Let c = 4 + -3. Let l(g) = g**3 - g**2 + g - 1. Let a be l(c). Put a, y, 2 in ascending order.
y, a, 2
Let l be (-153)/45 + 4/10. Sort 9, l, -4 in descending order.
9, l, -4
Let d = -58/225 + 12/25. Let q = -0.37 + 0.22. Let x = q - -0.45. Put d, x, 0 in increasing order.
0, d, x
Let x = 40.4 + -43.4. Sort 2/13, -0.059, x in descending order.
2/13, -0.059, x
Let d = 18.6 - 19. Let c be ((-1)/4)/((-2)/(-12)). Let f = 266 + -265.94. Put f, d, c in decreasing order.
f, d, c
Let g = -9.8 - -1.8. Let l = -30 + 29.9. Let s = -14 - -14.2. Sort g, s, l in increasing order.
g, l, s
Let w = 101/2 - 703/14. Sort w, 1, -1 in descending order.
1, w, -1
Let l be 7/(-60) + (-1)/(-4). Let x = -0.76 + 0.06. Let b = 1.18 - 1.68. Sort x, b, l in decreasing order.
l, b, x
Let z = -1.8 + 2. Let j = -2091 - -2091.5. Put 5/6, -1/5, j, z in decreasing order.
5/6, j