 order.
11, z, j
Let o = -4446 - -1689. Let q = o + 33113/12. Let f = -9/4 + q. Sort -4, f, 2.
-4, f, 2
Suppose 0*o - 15 = 5*o. Suppose -5*j + 2 = -3*j. Suppose 2*n - 3*t - 5 = -6, -2*t = -n. Sort j, n, o in decreasing order.
j, n, o
Let d = -7/108 - 47/108. Sort d, -0.4, 4/9, 4 in increasing order.
d, -0.4, 4/9, 4
Let n(i) = -i**2 - 14*i + 5. Let f be n(-13). Let p(d) = d**3 - 18*d**2 + 2*d - 34. Let v be p(f). Put v, -7, -3, -4 in ascending order.
-7, -4, -3, v
Let j(x) = 5*x + 1. Let f be j(-2). Let a be ((-4)/1 - f)/1. Suppose -a*w - 2*o = -0 - 3, 0 = -4*o - 4. Put 3, -3, w in decreasing order.
3, w, -3
Let x = 0.29 - 0.13. Let u = x - -10.84. Let r = u + -24. Put r, 0.2, 0 in decreasing order.
0.2, 0, r
Let x = 11 - -1. Let l(h) = 2*h - 24. Let o be l(x). Sort -3, o, -5.
-5, -3, o
Let h be 4 + (-3)/(12/16). Suppose 2*l + 0*c - c = -6, -l - 3 = -3*c. Suppose 0 = 4*z - z - 9. Put l, h, z in ascending order.
l, h, z
Let f = -705 - -697. Sort -0.01, f, -4.
f, -4, -0.01
Let u = 157 - 154. Sort -3, 2, u, -1.
-3, -1, 2, u
Let n = -2.86 - -2.46. Put n, 4, 34, 1/6 in increasing order.
n, 1/6, 4, 34
Let c(y) = y**2 - 11*y + 13. Let n be c(9). Let z = 10 - 9.7. Let l be 3/((-6)/((-6)/(-7))). Sort l, n, z in decreasing order.
z, l, n
Let p = 69.0847 + -0.0847. Put p, 0, 3 in ascending order.
0, 3, p
Let z(r) = 3*r**3 + r**2 - r. Let x be z(1). Let m(c) = 2*c**2 + 3*c + 1. Let i be m(-2). Let p be (-6)/4 - i/6. Sort x, p, 1 in increasing order.
p, 1, x
Let z = 4143948/133 - 31158. Let g = -4/19 - z. Let d = 0.274 + -3.274. Sort d, 0.4, g in increasing order.
d, g, 0.4
Let c = -9 - -14. Suppose 4*h - 5*v - 23 = 5, -c*h + 26 = -4*v. Let l(j) = -j**3 + 5*j**2 - j + 6. Let r be l(5). Sort h, r, -5 in ascending order.
-5, r, h
Let o = 42 + -37. Suppose 19 = -7*v + o. Put v, 2, -3, -4 in ascending order.
-4, -3, v, 2
Suppose -246*z + 6 = -248*z. Sort z, 38, -2 in increasing order.
z, -2, 38
Let q = 22.8 - 23.2. Put q, -4, -0.1 in decreasing order.
-0.1, q, -4
Suppose 0 = -2*s - 2*k + 14, -s = -5*s + k + 8. Put 2, s, 11, -2 in ascending order.
-2, 2, s, 11
Let c be -3*(-2)/30 - (-52)/(-10). Sort c, 2, -3, 17 in descending order.
17, 2, -3, c
Suppose 0 = 4*g - 50*f + 48*f - 108, 62 = 2*g - 5*f. Put g, -3, 2, -2 in ascending order.
-3, -2, 2, g
Let q(u) = 17*u + 83. Let g be q(-5). Suppose -6 = w + 4. Let y = -7 - w. Put g, 5, y in decreasing order.
5, y, g
Let m = -783 - -780. Sort m, -2, 2, 19 in decreasing order.
19, 2, -2, m
Let n = 1025 + -1025.3. Let y = 1 - -2. Put 4, n, y, 0 in decreasing order.
4, y, 0, n
Suppose -5*g = -5*v + 48 - 18, -v - 18 = 5*g. Suppose -4*x - 14 = 2*t, -3*t + 3*x + 6 - 45 = 0. Sort 1/4, t, v in ascending order.
t, 1/4, v
Let z be 4/(-2*(-8)/16). Put -1, -36, z in increasing order.
-36, -1, z
Let y = 158 - 156. Put 1.2, -0.5, y, 0.5 in increasing order.
-0.5, 0.5, 1.2, y
Let k = -62.38 - -63. Let n = -0.32 + k. Sort n, 1/14, -0.1 in decreasing order.
n, 1/14, -0.1
Let i be 86/387 + 7/9. Put i, 5/4, 0.4, -6 in ascending order.
-6, 0.4, i, 5/4
Let z = 67.9 + -71. Let y = 3.5 + z. Put -0.11, y, 4 in descending order.
4, y, -0.11
Suppose 4*a - 30 = -2*h, 3*a - 15 = -4*h + 4*a. Suppose 3*q + 24 = 3*z, -h*q - 12 = 2*z - 0*q. Suppose -17 = z*c + 3. Sort 0, -1, c in decreasing order.
0, -1, c
Let c(u) = -3*u**3 - u**2 - 9*u + 6. Let a be c(3). Let g = a + 110. Let w = -6 - -9. Sort -3, w, g.
-3, g, w
Let v(x) = -x**3 + 4*x**2 + 3*x + 2. Let s be v(4). Sort 5/3, s, 1/2, 2/5 in descending order.
s, 5/3, 1/2, 2/5
Suppose -x = -5*y + 12, -y - 4*x = 12 - 6. Let j = -4 - 1. Put j, y, 6 in ascending order.
j, y, 6
Let t = -26 + 24. Put 0.3, t, -3, -11/9 in increasing order.
-3, t, -11/9, 0.3
Let c = -21 - -24. Suppose c*y + 12 = 21. Sort -3, 2/7, y, -4/7 in descending order.
y, 2/7, -4/7, -3
Let z = -39.5 - -39.7. Let x = -1320/7 - -189. Sort z, -5, -0.5, x in descending order.
x, z, -0.5, -5
Let j(w) = 2*w**3 + w**2 + w + 1. Let u be j(-1). Let o = 5 + u. Suppose -3*v + 3*b + b = 0, o*v = b + 13. Sort v, -4, -1 in increasing order.
-4, -1, v
Let y = 0.2 - 0.6. Let o = 97.8 - 180.9. Let w = o - -83. Sort w, 0.04, y in ascending order.
y, w, 0.04
Let b be (-4)/(-26) + (-304)/5187. Let h = -13 - -8. Sort b, h, 2/7, 13 in descending order.
13, 2/7, b, h
Suppose 11*s - 7*s = 56. Let x(h) = -h**2 - 2*h + 1. Let n be x(-3). Let k be ((-26)/s - n)*1. Sort k, 0.5, 0.3 in decreasing order.
0.5, 0.3, k
Let n = -306.991 + 307. Put -0.3, n, 0.2, -3 in decreasing order.
0.2, n, -0.3, -3
Let h = 70.6 + -70.6. Sort 7, -2, 0.4, h in decreasing order.
7, 0.4, h, -2
Let z(m) = -m**2 + 52*m - 306. Let s be z(7). Sort 1, s, -2, 3 in descending order.
s, 3, 1, -2
Suppose -108 = -z + 7*z. Let n be z/((-5)/5) + -2. Suppose -2*v + n = 4. Put v, 2/7, 1 in decreasing order.
v, 1, 2/7
Suppose -3*b - n - 3 = 0, 31*n - 9 = 3*b + 34*n. Put -32, 3, -2, b in descending order.
3, b, -2, -32
Let y = 5/17 - 37/68. Put -1/2, -4, -0.3, y in decreasing order.
y, -0.3, -1/2, -4
Let d be (0 - 1)/((-74)/222). Suppose -1 = -5*l + g - 7, 3*l + 5*g = 2. Let v = l + -1. Put 0.05, d, v in descending order.
d, 0.05, v
Let b = 2 + -1. Suppose -13*n + 143 - 171 = n. Sort n, 4, b.
n, b, 4
Let s = -33 - -60. Let f be (s + -21)/(4/6). Let y = 1 + -0.5. Put f, y, 0.3 in descending order.
f, y, 0.3
Suppose -75 = 4*x + x. Let n be ((-8)/(-3) + -3)*x. Let r be (-1 - (-1 + 2)) + -1. Put n, r, -9 in decreasing order.
n, r, -9
Suppose -v = -2*y + 17, -5*y + 5*v - 3*v = -45. Suppose 5*r - 26 + y = 0. Let l = -102 + 102. Sort r, l, -4 in descending order.
r, l, -4
Let b be (-4 + (-105)/(-27))*764. Let w = 85 + b. Sort w, -2/9, 6/23 in ascending order.
-2/9, w, 6/23
Let x be 15 - (5 + -3 + 1). Suppose 0 = -b + 5*b - x. Sort 5, 7, b.
b, 5, 7
Let l = -600 + 596. Sort -3, 4, -2/9, l in descending order.
4, -2/9, -3, l
Suppose -29*f - 20 = -24*f. Sort f, 5, -16 in descending order.
5, f, -16
Let y be 37/(-4) - 1/(-4). Let j be 2*2 + (4 - y). Let w be (-4)/18 - j/(-36). Sort 4, 0.2, w in descending order.
4, w, 0.2
Let o be (-1 - (-36)/20)/((-4)/10). Suppose -4*b + 8 = -4. Let p = 8 + -12. Sort p, o, b in decreasing order.
b, o, p
Let d = -609 + 609.5. Put -0.5, d, -17, -1/3 in increasing order.
-17, -0.5, -1/3, d
Let s be 1/(-6)*4*(-12)/2. Put 0.5, s, 2/7 in descending order.
s, 0.5, 2/7
Let x = -675 - -677. Sort x, -4, -118, 1 in ascending order.
-118, -4, 1, x
Let c be 4/(2/3*(-21)/35). Suppose -2*j = -6*j + 20, -j - 5 = 5*p. Put p, 0, c in decreasing order.
0, p, c
Let x = -603 - -600. Suppose -3*i = 3*y - 5*y, -4*i = -4*y - 4. Let d = 6 + i. Sort d, 3, x in decreasing order.
d, 3, x
Let z = 34 - 51. Let c = z + 21. Sort 0, c, 0.1.
0, 0.1, c
Let q be (84/(-28) + 7 + 0)*1. Sort -6, -5, q, 1 in descending order.
q, 1, -5, -6
Let g be (-3 + 4 + -1)*(5 - 4). Sort -3, g, -4 in ascending order.
-4, -3, g
Suppose 43 = 6*m + 25. Sort m, -14, -1 in ascending order.
-14, -1, m
Let p be (3/(-6))/1*-8. Suppose h - 3 = c + c, -27 = 5*h + p*c. Let b be 7*-6*2/(-28). Sort -5, h, b in descending order.
b, h, -5
Suppose 3*n - z + 4 = 0, 5*n - 4*z - 25 = -41. Sort 1, 5, n, 18 in decreasing order.
18, 5, 1, n
Let v = 16.1545 - 0.1545. Put v, 15, -2/7 in descending order.
v, 15, -2/7
Let a(w) = 4*w**3 + 41*w**2 + 40*w - 1. Let i be a(-1). Sort 0, -1, 8/35, i in ascending order.
i, -1, 0, 8/35
Let b = -393 - -393.2. Let g = -0.01 - -5.01. Put b, -2/3, g, 2/21 in decreasing order.
g, b, 2/21, -2/3
Let o = -73 + 73. Put -0.3, o, 0.22 in ascending order.
-0.3, o, 0.22
Let i be (3/4)/((-4)/16). Suppose 73*k + 39 = -111*k - 329. Put -7, k, i in ascending order.
-7, i, k
Suppose -6 = -4*h + 2*m + 6, 5*h - 5*m - 15 = 0. Let z be (28/(-4))/1 + 1. Let i be (-10)/z - (-14)/(-21). Sort i, 0, h in decreasing order.
h, i, 0
Suppose -9*v + 4 = -38 - 48. Let p(k) = k**2 - 5*k + 2. Let u be p(3). Sort u, v, 3.
u, 3, v
Let l be (3/(-3) - 1)/(-1). Let i be l/(-5) - (-16)/40. Put -3, 1, i in decreasing order.
1, i, -3
Let c = -1923.5 + 1923. Put 3, -0.21, 4, c in increasing order.
c, -0.21, 3, 4
Let l be 6/30 - 2/(-10). Put -2/7, -3/7, l in decreasing order.
l, -2/7, -3/7
Let l = 3661 - 3665. Let z be 3 + 5/(5/2). Let m = 4.4 - 4. Sort z, l, m in decreasing order.
z, m, l
Let i = -5179/4 + 1294. Let s be ((-6)/4)/(10/(-4)). Put 0.5, i, s in