 in decreasing order.
v, -4, o
Let p = -0.33 + -0.03. Let q = 0.04 - p. Let a be (-3 - (1 - 3))*0. Sort -1/4, a, q in decreasing order.
q, a, -1/4
Suppose 4*m = -39 + 23. Sort m, -2, 6 in decreasing order.
6, -2, m
Let d = -4 - -9. Suppose 3*a + 2 - 1 = -5*j, 5*a + 12 = 2*j. Suppose f + 3*b + j = 12, 5*b - 5 = 5*f. Sort f, d, -1 in ascending order.
-1, f, d
Let g = 20 + -2. Let v be 2/1 - (8 + -6). Suppose h + h = -4*x - g, v = -x - 5. Put 0.5, h, 0.1 in decreasing order.
h, 0.5, 0.1
Let n be (1 - 6/(-4))*(-6)/(-5). Sort -4, 1, n, -2 in ascending order.
-4, -2, 1, n
Let r = 3 + -1. Suppose 0 = 3*v + 3*d - 24, d = 3*d - 6. Put r, -1, v in descending order.
v, r, -1
Suppose -2*h - 2*j + 18 = 0, -2*h + 3*j = 2 - 0. Let x(c) = c**2 + 9*c - 3. Let d be x(-9). Sort -2, d, h in decreasing order.
h, -2, d
Let w = -0.07 - -0.37. Let p = 0.155 - 2.155. Sort w, -0.2, p.
p, -0.2, w
Let h = 147 - 144. Sort 7, h, -4.
-4, h, 7
Let p be 6/10 - 2/70. Let j = -4.2 - -0.8. Let f = -3 - j. Put -2/11, p, f in decreasing order.
p, f, -2/11
Suppose -u - m - 7 = 0, 2*m = -2*u - 2*m - 24. Let i be 23/6 + -2 + u. Sort -4, -3, i in descending order.
i, -3, -4
Let d(x) = x**3 + 2*x**2 - 3*x - 2. Let q be d(-2). Sort 6, -2, q in descending order.
6, q, -2
Let a be 28/154 - 54/55. Let s be -1*(-2 + (2 - 2)). Suppose 0 - 2 = s*r. Sort -3/7, r, a in increasing order.
r, a, -3/7
Let k be (5 + -1 + -2)*-2. Let t be -2 + -1*2 + 1. Sort k, t, 0 in ascending order.
k, t, 0
Suppose 4*g - 8 = 4. Suppose z - 2*z = -13. Suppose -7 - z = -5*a. Sort g, 1, a in descending order.
a, g, 1
Let n = -181 + 181.2. Let v = 11 - 6. Put n, v, -0.6 in increasing order.
-0.6, n, v
Suppose 3*g = -4 + 7. Let l be (7 - 3)/(6/3). Sort l, -4, g.
-4, g, l
Let b = 41 - 42.96. Let q = -0.04 + b. Let l(a) = 2*a - 1. Let y be l(-2). Sort 3, y, q in increasing order.
y, q, 3
Let o = -0.5 - 0. Let t = 55 - 30. Let j be (-15)/t*4/(-6). Sort o, -3/2, j.
-3/2, o, j
Suppose -4*c + 2 = 3*x + 3, -19 = c - 3*x. Sort c, 1, 0.
c, 0, 1
Let n = -11 - -7. Suppose -3*t + 9 = 3*k - 12, -t - 4*k + 22 = 0. Let d be t/(-7) - 2/(-7). Put d, -5, n in descending order.
d, n, -5
Let v = 58 - 60. Sort v, 2, 4, 0.
v, 0, 2, 4
Suppose -11 = -8*q + 5. Put -2, -5, q in decreasing order.
q, -2, -5
Let l = 18.4 - 15. Let i = -1.6 - l. Sort 0.03, 4, i.
i, 0.03, 4
Let a(u) = -u**2 - 7*u - 2. Let w be a(-7). Let z = -3 - w. Let i(y) = y**2 - y - 1. Let g be i(2). Sort 3, g, z in ascending order.
z, g, 3
Suppose 0 = 3*a + 3*j - 9, -3*j = -a - 0*a - 1. Suppose a*x = -3*x. Put -0.2, x, -2 in ascending order.
-2, -0.2, x
Let j = 0 + -3. Suppose -5*w - q - q = -1, 3*w + 4*q + 5 = 0. Let c(y) = y - 11. Let s be c(13). Sort s, j, w.
j, w, s
Suppose i = -2, -3*c + c = -2*i + 6. Let v = 1 + -0.96. Let z = -0.96 - v. Sort 3, c, z in increasing order.
c, z, 3
Let p = -2 + 1.95. Let m = -0.11 + 4.06. Let w = p - m. Sort 2, -2, w in descending order.
2, -2, w
Let d be ((-1)/10)/(3/24). Sort 5, d, -0.5.
d, -0.5, 5
Suppose 2*y - 4*w = -8, -2*y - 4 = 3*w - 24. Let i(r) = -r**3 + 4*r**2 - 3. Let x be i(y). Sort 4, 3, x in decreasing order.
4, 3, x
Let w be (8/(-12))/(2/(-120)). Let b be 8/w - 16/5. Put 5, 4, b in ascending order.
b, 4, 5
Let s = 35 - 30. Sort 2, -3, s.
-3, 2, s
Suppose 7 - 22 = -5*q. Put -4, 5, q in ascending order.
-4, q, 5
Suppose -q + 0*q - 4 = 0. Let c be 0/(1 + -1 + -1). Put c, 4, q in increasing order.
q, c, 4
Let g be (-2)/2 - 3/(-3). Suppose -3*a = -3*l - 9, 4*l = -3*a - 0*a - 5. Let k = l + 7. Sort g, -0.1, k.
-0.1, g, k
Let n = 7 - 2. Let q be (8 - n)/((-9)/(-15)). Sort 1, q, -2 in descending order.
q, 1, -2
Let n(f) = f**3 + 8*f**2 + 6*f - 4. Let z be n(-7). Let h = z + -4. Let r = -8 + 10. Sort r, -3, h in descending order.
r, h, -3
Let c be (3/(-9))/((-2)/18). Suppose 11 = -5*v - 3*b, c = -5*v + 3*b + 4. Let a be (-3)/((-3)/(-4)*2). Sort v, a, 1 in descending order.
1, v, a
Let a = -7.8 + 2.8. Put a, 3, -4/19, -4/5 in decreasing order.
3, -4/19, -4/5, a
Suppose -4*d = -3*d + 6. Let q be 2 + -17 + (3 - 0). Let p = q - -15. Sort -1, p, d in descending order.
p, -1, d
Suppose -3*c - 3 = 3*j, 2*c + 6 = -4. Suppose -j*u + 6 = -18. Let l = u + -7. Put 5, l, -2 in descending order.
5, l, -2
Let b(l) be the second derivative of l**5/20 + 2*l**4/3 + l**3 - 3*l**2/2 + 2*l. Let f be b(-7). Suppose f*k = 9 + 7. Sort -3, 3, k in decreasing order.
k, 3, -3
Suppose 24 + 192 = 6*q. Suppose 4*b = 4*n - q, 5*n - 2*b = -7*b - 5. Put n, -1, -6 in decreasing order.
n, -1, -6
Suppose 3*o - 4*x - x = 8, 5*o = 2*x + 7. Sort 9, o, -3, 2 in decreasing order.
9, 2, o, -3
Let u = -141.04 + 145. Let v = -0.04 - u. Let l = v - -8. Sort l, 0.1, 1 in increasing order.
0.1, 1, l
Let g(h) = h**3 - h**2 - 2*h + 3. Let t be g(2). Sort 2, 0, -4, t.
-4, 0, 2, t
Suppose 0 = -w - 5*r + 19, -2*r + 71 = 5*w - r. Let f be -4 + 3 - w/(-10). Let y = -48 + 191/4. Put -0.4, f, y in decreasing order.
f, y, -0.4
Suppose -5 = 5*q - 25. Sort 5, 33, q.
q, 5, 33
Let t = -45 + 44.8. Sort t, 1, 4, 0.5 in increasing order.
t, 0.5, 1, 4
Let b(v) be the third derivative of 0 + 0*v - 7/24*v**4 + 2*v**2 - 5/6*v**3 + 1/60*v**5. Let r be b(8). Sort 0, -1, r.
-1, 0, r
Suppose 2*j - 13 = -5. Sort -1, j, 6 in descending order.
6, j, -1
Let f(p) = p**3 - p**2 + p + 3. Let w be f(0). Suppose w*i + 4 = 4*i. Put i, 0, -3 in decreasing order.
i, 0, -3
Let s = 81.7 - 82. Put -1, s, 5, 4 in decreasing order.
5, 4, s, -1
Let o be 10/4*24/15. Suppose 0 = -3*c + o*c - 2. Suppose -8 = -2*u - 2*h, -u - c*h + 7 = -0*u. Sort 3, 0, u in ascending order.
0, u, 3
Suppose 0*v = -v + 4. Let p be -1*1*9/(-9). Suppose -3*j + 14 = -p. Sort j, v, 3.
3, v, j
Suppose 2*h + 3 + 1 = 0. Let d be (0 + -3)*h/6. Sort d, -3, 5.
-3, d, 5
Suppose -2*u = x + 6, -u + 3*u + 4*x - 6 = 0. Let g be (-15)/6*(-28)/10. Let q = 3 - g. Sort 2, u, q in increasing order.
u, q, 2
Let d(y) = 2*y**2 + 3*y. Let l be d(-2). Let v be (-10)/(-55) - (-126)/33. Suppose -5*q = x + 25, -v*x + 13 = -l*q + 3. Put 1, q, 0 in descending order.
1, 0, q
Let o = 0.3 - 0.6. Let f = -0.7 - o. Let v be (-4)/(-2) - 39/15. Put v, -2, f in increasing order.
-2, v, f
Suppose 4*c - 21 = 39. Put 1, c, 3, 2 in descending order.
c, 3, 2, 1
Let u = -6 + -12. Let m = u + 18. Sort m, -3/4, 1/6.
-3/4, m, 1/6
Suppose 5*t = -0*v + v - 12, -4*v - 6 = -2*t. Let r be 1 - 1 - (0 - 4). Let p be -2*2/r*-5. Sort p, -4, v in increasing order.
-4, v, p
Let m = 2 + -4. Let a be -7 + m/3*-3. Let t = 2 + -3. Put t, -2, a in descending order.
t, -2, a
Suppose 3 = v - 0. Let q = -0.3 + -0.7. Sort v, q, -2 in descending order.
v, q, -2
Let a = -168 + 169. Put a, -12, 2 in descending order.
2, a, -12
Let w = 39 + -43. Put w, -3, 1 in decreasing order.
1, -3, w
Let y = -0.5 - -0.3. Let b = 0.8 - y. Let r be -1*(2 + 3/(-3)). Sort -5, b, r in increasing order.
-5, r, b
Let f = 0.7 - 5.7. Let u = 1.5 - -5.5. Let x = 6.6 - u. Sort x, f, 2/3 in ascending order.
f, x, 2/3
Suppose -5*w - 4*d = -11, 2*w - 14 - 4 = -5*d. Sort w, -2, 2.
-2, w, 2
Let k = -8 - -4. Let i = -8 + 7.72. Let q = i + -0.02. Sort q, 5, k in ascending order.
k, q, 5
Let f(i) = i + 1. Let b be f(-6). Suppose -4*w + 23 = -33. Put b, w, -4 in descending order.
w, -4, b
Let n = 9.63 + 0.37. Sort -0.2, n, 3.
-0.2, 3, n
Let z = 5.3 - 0.3. Let i = 4.9 - z. Put 1/4, -0.3, i in decreasing order.
1/4, i, -0.3
Let o = -34/7 - -428/91. Sort 3/4, o, 2/11.
o, 2/11, 3/4
Let d be (-24)/4*6/(-9). Suppose 2*c - 6 = d. Put 3, -2, c in increasing order.
-2, 3, c
Let c = 7 + -9. Let r = -8 - -13. Put c, r, -2/5 in increasing order.
c, -2/5, r
Suppose -4*q + 30 = 5*n, -2*n + 4*n + 4*q = 24. Put -6, n, 1 in decreasing order.
n, 1, -6
Let b = -14 - -11. Put 2, b, 3, 0.2 in decreasing order.
3, 2, 0.2, b
Let o be 6/(-1) + 18/(-30)*5. Put o, -5, 3 in ascending order.
o, -5, 3
Let y = -195 - -785/4. Let j = -0.3 + -0.7. Sort y, 1/2, j in decreasing order.
y, 1/2, j
Suppose 2*v + 3 = -v. Suppose 0 = -3*z + 4*c - 19 - 8, 2*c - 11 = z. Sort 1, z, v in increasing order.
z, v, 1
Let u = -42 - -9. Let d be (-60)/u - (-6)/33. Put 1, d, -4 in ascending order.
-4, 1, d
Let z = -0.64 + -0.36. Let d = -1157/15 + 77. Sort -5, d, z in ascending order.
-5, z, d
Let f be (-30)/(-5) + (0 - 1). Suppose 0*k + f*k - 15 = 0. Sort 5, -2, k in decreasing order.
5, k, 