4, 5
Suppose 1195*z + 36 = 1207*z. Sort z, -2/9, -1, -1/5.
-1, -2/9, -1/5, z
Let s = 549 + -548.6. Put -1/7, s, 7/5 in descending order.
7/5, s, -1/7
Let o be (-3 - 0)*3 - -3. Let p be (1 - 4/o)*-3. Put 1, p, 5 in increasing order.
p, 1, 5
Let o = -229.7 - -230. Sort o, 230, 2/3 in decreasing order.
230, 2/3, o
Suppose 5*k + 3*o = -94, 11*k - 4*o - 29 = 12*k. Sort k, -1/12, 0.4, -1/4 in descending order.
0.4, -1/12, -1/4, k
Let y = 0 + 1. Let j be 2 + (2 - 2)/(-2). Let v = y - j. Sort 1, v, 0.
v, 0, 1
Let o = 875 - 1747/2. Sort 1, o, -1/6, -1 in descending order.
o, 1, -1/6, -1
Let q = 191.9 + -178.9. Put 0.1, q, 1.7 in descending order.
q, 1.7, 0.1
Suppose 760 = b + 7*b. Let f = -90 + b. Sort 0.1, -5, 0, f in increasing order.
-5, 0, 0.1, f
Suppose 3*y - 4*q + 19 = -3*q, 0 = -4*y - q - 30. Let j be 2/56*-4*-35. Sort 0, j, 2, y in decreasing order.
j, 2, 0, y
Suppose -t - 1 = -q, 5*t - 1 + 2 = 4*q. Suppose -12 = -4*z - 4*m, -4 = z - q*z - 2*m. Let k = -2.5 - -2. Put -2/3, k, z in increasing order.
z, -2/3, k
Let d = 78/5 - 17. Put -0.2, d, 2/11, -7 in decreasing order.
2/11, -0.2, d, -7
Let z = -74 - -664/9. Let w be 0 + (-2)/(-45)*5. Put w, 0.4, 5, z in decreasing order.
5, 0.4, w, z
Let j = 652 - 656. Sort 83, -2, j.
j, -2, 83
Let c(f) = -2*f**3 + 24*f**2 - 24*f + 24. Let o be c(11). Suppose 0 = 5*k - 12 - 3. Put 5, k, o, 4 in ascending order.
o, k, 4, 5
Let d be (-3)/(-6)*-2 + 36. Let m be 2/(-6)*15/d. Let l be (16/(-72))/((-8)/18). Put -0.3, m, l in increasing order.
-0.3, m, l
Suppose -3*z + 2*g = -22 - 6, -5*z + 15 = 3*g. Let y = -129 - -140. Let q = z - y. Put -2, -3, q in ascending order.
q, -3, -2
Let x be (-156)/130 + 1*(-33)/(-15). Sort 5, 2, x, -13 in decreasing order.
5, 2, x, -13
Let o be 8/3 - ((-35)/15 - -1). Let h(i) = i**2 - 2*i + 3. Let y be h(2). Suppose -9 = 5*u + y*q, -2*q - 9 = -3*u + q. Put o, u, 3 in increasing order.
u, 3, o
Suppose -28*m = -7*m + 21. Sort 7, -3, -5, m in decreasing order.
7, m, -3, -5
Suppose -5 = 5*h - 3*t, -3*t + 0 = -4*h - 4. Let n be 0*h*(-2)/(-6). Suppose 0 = 2*p - 3*p + 2. Sort 4, p, n in decreasing order.
4, p, n
Suppose 4*y + 5*l - 45 = 0, -3*l = -2*y - 3*y + 47. Suppose -26 = 12*i - y*i. Sort -5, 5, i in decreasing order.
5, -5, i
Let i be (-28)/7*9/(-12). Suppose 16 = -y - i*y. Let r = 1 + 1. Sort y, 3, r in descending order.
3, r, y
Let u be (20/(-2))/((-285)/228) - 6. Let k be (-2 - (-2)/1)*1. Suppose -o + k*o = 0. Put u, -5, o in decreasing order.
u, o, -5
Let d(j) = 18*j + 108. Let i be d(-6). Sort -3, 33, i in descending order.
33, i, -3
Let o = -37/325 + 2/13. Let m = -53/75 + o. Let q = -28695/8 + 3587. Put q, -4, m in ascending order.
-4, m, q
Let m = 29.689 - -0.311. Sort -2/3, m, 4 in descending order.
m, 4, -2/3
Suppose 2 = -5*j + 27. Let n = -1.2 - 3.8. Let r = -0.01 - -0.01. Put r, j, n in decreasing order.
j, r, n
Suppose -2*g = q - 23, -3*g + 5*q + 7 = 5. Let y(x) = x**3 + 5*x**2 + 4*x + 3. Let k be y(-4). Sort g, k, 1/7 in increasing order.
1/7, k, g
Let z = 14 + -9. Suppose -4*q = -0*m + m - 33, 0 = -q + z*m - 18. Let d = 710 + -714. Put q, d, -5 in descending order.
q, d, -5
Suppose -56*s + 64*s + 16 = 0. Put 10, s, 0.5, -0.5 in decreasing order.
10, 0.5, -0.5, s
Let u(z) = -5*z**3 + 4*z**2 + 3*z - 8. Let q be u(3). Let s = -94 - q. Sort s, 0, 0.23 in ascending order.
0, 0.23, s
Let o = -18.99 + -0.01. Let d = o + 21. Sort 1, 0.08, d in ascending order.
0.08, 1, d
Let y(v) = 3*v + 27. Let z be y(-9). Suppose -4*n = z, 9*g - n = 14*g + 60. Put g, -1, -5 in increasing order.
g, -5, -1
Let v = 22 - -24. Let k = v + -46. Sort -5/4, -0.2, k in decreasing order.
k, -0.2, -5/4
Let x be 1 + (2*1)/1. Let r = -127 + 131. Suppose -8*f - 12 - r = 0. Put f, 4, x in ascending order.
f, x, 4
Let m(c) = c**3 + 4*c**2 + 2*c - 3. Let a be m(-3). Suppose 4*g + 5 = -3. Let d be (-3 + g)/(-5)*4. Sort d, a, 1 in increasing order.
a, 1, d
Let y = 140 + -128. Suppose 12 = -y*v + 15*v. Suppose p + 4 = -0. Put 3, v, p in descending order.
v, 3, p
Let o = 2 - -2. Suppose 4*r - 3*h = -o, -3*r - h - 20 = h. Put r, 1/10, 2/11, -0.1 in ascending order.
r, -0.1, 1/10, 2/11
Let d = 9.4 - 9.03. Let t = d + -3.37. Sort -3/11, 2, t in ascending order.
t, -3/11, 2
Let z = 8.8 - 8.7. Suppose w + 4*o = 2*o - 60, 3*o + 279 = -5*w. Let l be (12/w)/(4/(-6)). Put z, -0.4, l in increasing order.
-0.4, z, l
Let t = -2 + 1. Let a = 13.6 - 16. Let g = a + 4.4. Put -2, t, g in descending order.
g, t, -2
Suppose 17*i + 80 = 21*i. Let t be (3 - 30/9) + i/15. Let c = -2 - -1. Sort c, t, 2/11 in increasing order.
c, 2/11, t
Let g = 18 + -22. Let i = 31 + -36. Sort i, 4, 2, g in descending order.
4, 2, g, i
Suppose -4*b + 28 = -4*f, 2*b + 2*f = f + 20. Put -5, b, 3, 4 in ascending order.
-5, 3, 4, b
Suppose -10*u - 408 = 14*u. Sort u, 5, -5 in descending order.
5, -5, u
Suppose 3*u - 2*g + 8 = 2*u, -u = -5*g + 23. Let s = 7 - u. Put 4, 0, s in decreasing order.
s, 4, 0
Suppose 0 = -61*a + 64*a - 6. Sort -4, a, -1, 5 in descending order.
5, a, -1, -4
Let p = -13.034 + 11.07. Let b = p - 0.036. Let k = 0.1 - -0.1. Sort 2/21, b, k in decreasing order.
k, 2/21, b
Let i = -3794 + 3798. Let g = 0 - 2. Sort -3, 3, i, g in increasing order.
-3, g, 3, i
Suppose m + 4*u - 9 = 0, -4*m + 4*u = -m + 37. Let p = -3 - m. Put -4, -7, p in ascending order.
-7, -4, p
Let l = 1125 + -1124.94. Sort l, 19, -0.2, -4 in increasing order.
-4, -0.2, l, 19
Let c = -1185 - -1183. Sort 0.09, c, -2/47 in increasing order.
c, -2/47, 0.09
Let i(m) = -2 - 2*m + 21 + 3 + 4. Let z be i(12). Put z, -3, -5, 4 in decreasing order.
4, z, -3, -5
Let m(s) = -s**2 + 17*s + 135. Let g be m(23). Sort 815, -2, g.
g, -2, 815
Let m = -7/19 - -2/57. Let o = 18 - 35/2. Let i = -4.351 - -4.751. Sort i, m, o in descending order.
o, i, m
Let t(f) = 6*f**2 + 2*f - 6 - 3*f + f**3 + 4*f**2. Let m be t(-10). Suppose 4 = 8*j - m*j. Put -5, -1, j in descending order.
j, -1, -5
Let l be (-12)/2 + 2 + -1. Suppose -31*h - 279 + 62 = 0. Sort l, -1, h in increasing order.
h, l, -1
Suppose 42 = 2*m + 5*n - n, 2*m = -2*n + 46. Let r = m - 29. Put -1, r, 5 in decreasing order.
5, -1, r
Let x be (-33)/30 + (15/(-6) - -3). Let r be 128/28 + 6/14. Sort x, 1, r, -5 in increasing order.
-5, x, 1, r
Let b = -1.476 + -0.054. Let d = b + 0.13. Let y = 1.1 + d. Put -1/3, y, -2/9 in decreasing order.
-2/9, y, -1/3
Let h = 1 - -20. Let u = h - 27. Let p be 0 + (u/(-3))/2. Sort -5, 1.2, p in ascending order.
-5, p, 1.2
Let b = -2/7 + 0. Let n = -45 - -134/3. Put n, -1/4, 0, b in ascending order.
n, b, -1/4, 0
Let y(a) = -2*a + 17. Let m(n) = n - 9. Let d(b) = 5*m(b) + 3*y(b). Let s be d(10). Let w(v) = v - 4. Let l be w(3). Put l, s, 1/5 in ascending order.
s, l, 1/5
Let t = 12 + -17. Let m(x) = 8 - 4*x - 51*x**2 + 2 + x**3 + 5*x + 57*x**2. Let i be m(-6). Sort i, -2, t.
t, -2, i
Let o = 4.79 - 2.49. Sort -0.2, o, 0.4.
-0.2, 0.4, o
Suppose -2*v + 5*x = -13, 6*x + 21 = -v + 3*x. Sort v, -5, -32.
-32, v, -5
Let l(x) = -x - 7. Let a be l(-23). Suppose -14*s + a*s + 2 = 0. Put 2, s, -15 in descending order.
2, s, -15
Let s = 44 - 44.5. Sort 2, 26, s in descending order.
26, 2, s
Let s(m) = m**2 + 4*m - 6. Let i = 0 + -7. Let r(g) = g**3 + 7*g**2 - 5. Let x be r(i). Let p be s(x). Sort p, 7, 0 in decreasing order.
7, 0, p
Let i = 915/4 - 8219/36. Sort -5.9, 0.1, i.
-5.9, 0.1, i
Let p = -0.02 + 3.02. Let h = -2.6 + p. Let k = 1438 - 7193/5. Put k, h, 3 in increasing order.
k, h, 3
Suppose -u + 0*u + 2 = 0, 3*x + 2*u = -2. Put -1, -3, 1, x in decreasing order.
1, -1, x, -3
Suppose 3*z - z = -10. Let d = -35 - -40. Suppose -d*w = 5*x - w + 1, 5*x - 4*w = -9. Put x, -0.4, z in increasing order.
z, x, -0.4
Let z = 76.12 - 1.12. Put 5, z, -1 in ascending order.
-1, 5, z
Suppose 16*j - 132 = 5*j. Suppose 14*l = 17*l - j. Suppose 15 = -8*d + 3*d. Put d, l, 1 in descending order.
l, 1, d
Let o be 4*((-1)/6 - 8/24). Suppose v = -3*j - 2*v - 12, 19 = -5*j - 4*v. Sort -0.3, -0.01, o, j in descending order.
-0.01, -0.3, o, j
Let b = -388 - -387.164. Let t = -0.036 - b. Sort 2, t, 4 in decreasing order.
4, 2, t
Let f be (60/(-225))/(156/(-30) + 4). Let x = -0.2 - -0.2. Put f, 13, x in descending order.
13, f, x
Let l = -2.6 + -14.4. Let k = 769135/492422 - 76/2069. Let t = 3/119 - k. Put l, t, 1 in ascending order