der.
g, -1, -2, -76
Let l = 3111 + -3116. Let n(o) = 2*o + 5. Let t(m) = m + 3. Let a(k) = -4*n(k) + 7*t(k). Let g be a(-6). Put g, l, -1 in increasing order.
l, -1, g
Let m(h) = 2*h**3 - 23*h**2 + 12*h - 15. Let j be m(11). Sort 57, j, -5, 2.
-5, j, 2, 57
Let t(p) = -10*p - 64. Let s be t(-6). Let y(b) = -b**3 - 6*b**2 - 3*b + 7. Let w be y(-5). Sort s, 3, w in increasing order.
s, w, 3
Suppose -2*g - 4*g + 18 = 0. Suppose -4 + 7 = g*k. Put k, -10, 3 in ascending order.
-10, k, 3
Let t(b) = 23*b + 46. Let l be t(-2). Put 0.5, -0.02, l, -3 in descending order.
0.5, l, -0.02, -3
Let s = -225/812 - 1/116. Sort 1/3, s, 0.0169 in descending order.
1/3, 0.0169, s
Suppose -7 = 5*n - 12. Let x be -6 - ((-3)/(-3) + 1). Let o = -12 - x. Sort 3, o, n in decreasing order.
3, n, o
Let s be (-7 + 5)*2/(-2). Put 64, s, 0 in ascending order.
0, s, 64
Let o = 366 + -370.42. Let z = 0.58 - o. Let h = -1 - 2. Put 0, h, z in descending order.
z, 0, h
Suppose -538 = -112*l + 246. Suppose q + 20 = -4*q, -4*s = -3*q - 32. Suppose 12 = -s*r + 2*r. Sort l, r, 0 in decreasing order.
l, 0, r
Suppose -3*b + 5*r = -2*b - 15, -3*b + 2*r = -6. Suppose d + 45 - 115 = b. Let p be 10/d + (-20)/(-7). Sort 1, p, -0.1 in decreasing order.
p, 1, -0.1
Let m = -593 + 597. Sort -4, m, -14, -2 in descending order.
m, -2, -4, -14
Let d = 34 - 32. Suppose 0 = d*t + 6*t + 64. Put t, 2, -4 in increasing order.
t, -4, 2
Suppose 23*z - 26*z = -3. Put z, 5, 2 in ascending order.
z, 2, 5
Let s be 119/(-21) + (-1)/3. Let k be ((-3)/s)/(45/54). Sort -5, k, 6 in ascending order.
-5, k, 6
Let f be 1 + 30 - (-1 - -2). Suppose 0 = 5*n - 15, -f = 2*l - 5*n - 7. Let w = 46 + -45.7. Sort w, 0.5, l in increasing order.
l, w, 0.5
Let g(y) be the first derivative of -y**4/4 - y**2/2 - 8*y - 3. Let l be g(0). Let v = -12 - l. Put 2, -2, v in descending order.
2, -2, v
Suppose 0 = -5*a - 4*f + 29, -2*f = -2*a + f + 7. Suppose -19 = n - 3*o, -o - 2*o = -3*n - 27. Let g be 2*(4/n + 2). Put a, -3, g in descending order.
a, g, -3
Let f = 0.291 + 3.709. Let o = -0.05 + 0.45. Sort 0.1, -3, f, o in increasing order.
-3, 0.1, o, f
Let p = -2088 + 2089. Let w be 10*(-1)/3*-3. Sort -1, p, 3, w in decreasing order.
w, 3, p, -1
Suppose 0 = 2*f - 5*r - 84, -f + 18 = 2*r - 42. Let w be f/(-6) + (-5)/15. Let m be (4/14)/((-4)/(-56)). Sort w, m, -2 in descending order.
m, -2, w
Let b be 32/28 + 960/42. Sort 7, b, -4, -5 in ascending order.
-5, -4, 7, b
Let c = 3.0234 + -0.0234. Put c, -5, 54 in increasing order.
-5, c, 54
Let f(o) = o**2 + 9*o - 11. Let i be f(-11). Suppose -2*m = -y + 1 - i, -2*m = -2*y - 10. Suppose r - 4*r - 3 = y. Sort -2, r, -4 in descending order.
r, -2, -4
Let s = -0.0495 + -27.6505. Let f = s - -28. Put 0.4, -0.3, f in decreasing order.
0.4, f, -0.3
Let x = 432 - 432.5. Sort x, 5, 2/9 in decreasing order.
5, 2/9, x
Suppose w + 28 = 8*w. Suppose 14 = 2*k - 4*l, 2*k + 17 = w*k - 5*l. Let n be 1 - 1 - (10 + -7). Put k, n, -1 in increasing order.
n, -1, k
Suppose 0 = 14*b + 503 - 1595. Let p be (104/b)/(8/6). Let v(k) = -2*k + 6. Let c be v(4). Put p, c, -5 in ascending order.
-5, c, p
Let t be (-87)/(-17) - 236/2006. Let a = 1 + -1. Sort t, a, -3, 1.
-3, a, 1, t
Let r = -0.7 + 0.4. Let m = 0.9 + -10.9. Let o = m - -10.5. Sort r, 5, o in increasing order.
r, o, 5
Let z be (-1)/((1 - -2)/3). Suppose 2*g - 201 = 5*y, -5*y + 4*g - 168 = -y. Let u = -38 - y. Sort u, 0, z in decreasing order.
u, 0, z
Let w(k) = -3*k + 2. Let y be w(2). Let l be ((-42)/(-8))/(1/(-4)). Let d be (-99)/l + (-4)/(-14). Sort y, 3, d in decreasing order.
d, 3, y
Let m(h) = 11*h - 9 + 7*h + h**2 + 0*h - 2*h**2. Let n be m(17). Put -3, n, 3 in decreasing order.
n, 3, -3
Let v = 337 + -334. Sort -5, v, 14.
-5, v, 14
Let j(x) = -6*x - 25. Let s be j(-5). Sort 1, 146, s, 2.
1, 2, s, 146
Suppose -f = -3 - 1. Let y be f/10*5 - 2. Let k be y/7 + -3 + 0. Sort 2, k, 4.
k, 2, 4
Let w be (-3)/(-6)*(-2 - 0). Let x be w*(-6 + 0)/(-2). Suppose 0 = -5*t - t + 30. Sort x, t, -7.
-7, x, t
Suppose 10 = 2*v, 0*v = -3*s - 5*v + 22. Put 8, 0, s in descending order.
8, 0, s
Let h be (-5 - (-1)/1)/2. Suppose 0 = -2*g - 3 + 9. Suppose q - 19 = -2*q - 4*z, -g*z + 10 = -2*q. Sort h, q, 3 in ascending order.
h, q, 3
Let u be 2/1*14/4. Suppose -5*x + 3*x + a + 4 = 0, -5*x + 4*a = -u. Let f = 493 + -488. Sort -3, f, x.
-3, x, f
Suppose 4*p - 20 = -6*p. Let h(r) = -r**2 + 5*r - 9. Let d be h(p). Sort d, -9, 1.
-9, d, 1
Suppose 2*v + v = -3*s - 6, -4*v + 4*s + 8 = 0. Let t = -12 - -23. Let j = t + -13. Sort v, -0.1, j.
j, -0.1, v
Suppose 5*l + 18 = 2*s, -28 = -3*s - 4*l - 1. Suppose -3*d - s = 6*d. Let w(c) = 2*c + 3. Let i be w(-3). Sort 5, d, i in decreasing order.
5, d, i
Let p = 75/7 - 2189/203. Sort p, -2, 0.6.
-2, p, 0.6
Let p be (-32)/(-546) - 70/(-735). Sort 5, 67, p.
p, 5, 67
Let d = 0.06 + 0.34. Let m = 0.4 - -0.1. Let l be 106/(-35) + 3 + (-126)/(-210). Put l, m, d in increasing order.
d, m, l
Let x be 51/68 + (-5)/(-4). Suppose x*l + 3 = 5*l. Put l, 3, -4 in decreasing order.
3, l, -4
Let o = -2783 + 2781. Put o, -1/7, 0.0274 in descending order.
0.0274, -1/7, o
Let m(w) = w**3 - 5*w**2 - 6*w + 4. Let d be m(6). Suppose 3*y - 4*l = l + 33, -5*l - 15 = 0. Let z be (y/2)/(6/10). Sort z, d, -4 in ascending order.
-4, d, z
Let h = 6.5 - 2.5. Let d = -0.8 + 0.8. Sort h, -1, 1/6, d in ascending order.
-1, d, 1/6, h
Let p = 1 + -0.6. Let m(a) = a**2 + 6*a. Let d be m(-6). Suppose d = s - 3 - 1. Put s, p, 5 in increasing order.
p, s, 5
Suppose 0 = -5*n - 32 + 7. Let z = 2 + 16. Suppose -2 - z = 5*l. Sort -2, l, n.
n, l, -2
Let c be (-2*54/12)/(-3 - 0/1). Let x = -9 + 6. Sort x, 4, -4, c.
-4, x, c, 4
Let m(y) = 2 + 2 + 18*y - 17*y. Let f be m(-1). Put 1/12, 2/9, f in increasing order.
1/12, 2/9, f
Let g = -150 - -169. Suppose -10 = 17*x - g*x. Put 4, x, -7 in descending order.
x, 4, -7
Let l(m) = m**3 - 7*m**2 - 4. Let h be l(7). Suppose 5*z + 42 = 5*j - 3*j, -2 = -2*j - 5*z. Suppose 116*a = 127*a - 44. Put a, j, h in increasing order.
h, a, j
Suppose 0 = -4*p - 4*y + 2*y + 20, -2*y - 4 = -2*p. Sort -10, 0, 1, p.
-10, 0, 1, p
Let r = -12.41 - -0.41. Sort -3, -2/3, -2/9, r.
r, -3, -2/3, -2/9
Let q be (-3)/(-12) + (-95)/(-20). Suppose -4*t - q = -29. Suppose -25 = v - t*v. Put -4, v, -5 in descending order.
v, -4, -5
Let n = 33 - 37. Let j = -1 - -0.8. Sort 1/4, n, j, -3.
n, -3, j, 1/4
Let o = -12 + 12.07. Let m = 0.03 + o. Suppose 2*x - 6*x = 16. Sort x, m, 0.2 in decreasing order.
0.2, m, x
Let f be (0 - -3) + (2 - 5). Suppose -3*b = -t + 4*t, f = 3*t + 4*b + 5. Put -1, 2, t in ascending order.
-1, 2, t
Suppose 5*d - 9 = 11. Suppose 0*g = -g + d. Suppose 0 = 26*m - 28*m. Sort g, m, -3 in ascending order.
-3, m, g
Let o(v) = v**3 - 6*v**2 - 6*v - 3. Let k be o(7). Suppose -b + 3*b + k*i = 14, -2*b = -5*i - 5. Let z = -1051 - -1054. Sort z, 6, b in increasing order.
z, b, 6
Let h = -15 - -15. Put 2, 19, -2, h in descending order.
19, 2, h, -2
Suppose -s - 3*a + 21 = 0, -5*a - 39 + 6 = -4*s. Let j = -62 - -182/3. Put j, s, -3 in descending order.
s, j, -3
Let m = 55 - 43. Let o be ((27/(-12))/3)/((-3)/m). Let a = 0 - -1. Sort 2, a, o in decreasing order.
o, 2, a
Let p = -3.96 + 4.3. Let a = p - 0.04. Let b = -1.5 + 1. Sort b, a, 3.
b, a, 3
Let s = -3.8 + -1.2. Sort -4, s, -0.11.
s, -4, -0.11
Suppose 3*u - 8 = 4*s - 20, 5*s + 5*u = -20. Put s, -5, 24 in ascending order.
-5, s, 24
Suppose -v + 3*v = 0. Let c = -23 + 41. Suppose 0 = -2*m + 8*m + c. Sort 3, m, v in descending order.
3, v, m
Let m = 0.3 + -0.4. Let i = 1.5 + m. Let h = i - 1.3. Put h, -1, -6 in increasing order.
-6, -1, h
Let y = -1531 - -1527. Put 0.1, -0.2, -1/8, y in decreasing order.
0.1, -1/8, -0.2, y
Let i = 360 + -248. Let q = 112.3 - i. Let j = 88 - 966/11. Put -3, j, q in descending order.
q, j, -3
Let q = 192 + -191.819. Let b = 0.081 - q. Suppose 5*v + 11 = 1. Sort -5, v, b.
-5, v, b
Suppose 2*d + 14 = -2*x, 4*x + 2*d + 18 = -0*x. Suppose -24 = h - 30. Suppose 8 = -h*b - 10. Put b, x, 1 in increasing order.
b, x, 1
Suppose 0 = -5*h - 0*h + 15, 4*k - 3*h + 25 = 0. Suppose 5*j + 4*m - 14 = 5*m, -2*j + 4*m = -2. Put k, 5, -5, j in descending order.
5, j, k, -5
Let r = -112 + 117. Sort r, 3, -8 in increasing order.
-8, 3, r
Let h = 71.1 - 75. Let x = h + 4. Let c = -0.6 + x. Sort c, -2,