 order.
m, -1, y
Suppose -5*z + 5 = 10*y - 5*y, 0 = -5*z - 4*y + 3. Let f be z + (1 - 2) - 2. Suppose -4*q = -4*c - 4, -3 + 7 = 2*c. Sort f, 2, q in decreasing order.
q, 2, f
Let g be (2/(-56))/((-12)/16). Let j = g - 25/84. Sort j, 4, -5 in decreasing order.
4, j, -5
Let n be 2/2*0/(-1). Let z(p) = p**2 + 7*p - 10. Let u be z(-8). Suppose -12 = 2*a - 5*a. Put u, a, n in descending order.
a, n, u
Suppose -3*r + 10 + 5 = 0. Suppose -2*c = -2*g + 12, -g + 5*c - 15 = -r*g. Let f = -11 - -7. Sort 4, g, f in descending order.
g, 4, f
Suppose 4*j - 8 = 0, -3*j = -4*o - 9 - 5. Let c = 3 - 6. Put o, -4, c in increasing order.
-4, c, o
Let l(u) = u**3 - u**2 - u - 3. Let a be l(0). Sort -4, 3, a in decreasing order.
3, a, -4
Let n = -0.8 - -3.8. Let f = -1030/713 + 2255854/7843. Let b = f - 286. Sort n, b, -1/4.
-1/4, b, n
Let q = 0 + -3. Let i = -5 - q. Sort i, -3, 1 in descending order.
1, i, -3
Let v = -15 + 17. Put 0.1, 0.2, v in descending order.
v, 0.2, 0.1
Let p be (-60)/50 - (-3 - -2). Put -11, 3, p in descending order.
3, p, -11
Let b = -71 + 70.6. Let l = 0.2 - 0.1. Let x = 0.3 + l. Put 0.3, x, b in descending order.
x, 0.3, b
Suppose 5*c + 4 - 29 = 0. Suppose 3*g = 15, 3 - 13 = -c*j + g. Let p be (9 + -12)/((-6)/(-8)). Put -2, j, p in decreasing order.
j, -2, p
Let w = 5 + -2. Suppose 3*b = w*n - 15, -4*n + 10 = -2*b + n. Let s = b + 4. Sort 1, -3, s in descending order.
1, s, -3
Let k = -12 + 10. Put k, -1, 0.3, -1/5 in increasing order.
k, -1, -1/5, 0.3
Suppose -9 = -5*r + 11. Let l = 5.8 + -6. Let o = 4.8 - l. Sort 1, o, r in descending order.
o, r, 1
Suppose 27 = t + 2*v + 3*v, 0 = 2*t - 3*v + 11. Sort 5, t, 4 in descending order.
5, 4, t
Let l = 25 + -28. Sort -1, 3, -5, l in decreasing order.
3, -1, l, -5
Let b(r) = -r**3 - 5*r**2 - 4*r - 2. Let o be b(-5). Let a = o - 13. Let s = -64 + 63. Put a, -0.5, s in descending order.
a, -0.5, s
Suppose 0 = 5*k - 0*k + 25. Let t = 3 - 11/4. Sort k, -2/17, t.
k, -2/17, t
Suppose -d + 20 = 4*n, 0 = -4*d + 6*d + 2*n - 10. Sort d, 4, 3 in increasing order.
d, 3, 4
Let u = -26 + 27. Put u, -4, -2 in increasing order.
-4, -2, u
Let g(n) = -n**2 + 10. Let j be g(3). Let f = 3 - 2. Let a = 0 - f. Put 2, j, a in decreasing order.
2, j, a
Let f = 3 + 1. Let a = -7 + f. Let o = 750/7 + -107. Sort a, o, 4 in descending order.
4, o, a
Suppose -12 = -n - 3*n. Suppose 0 = i - n*i - 10. Suppose w - 5 = -c - 0*c, -w - 2*c = -10. Sort 5, w, i in descending order.
5, w, i
Suppose -4*b - 3*f = -31, b + 3*f = 2*b + 11. Let l = -14 - -14. Put l, b, -3 in ascending order.
-3, l, b
Let p = 4.9 + 0.1. Let j = -213 - -1701/8. Sort j, 0.3, p.
j, 0.3, p
Let p(o) = -o**2 - 3*o + 7. Let k be p(7). Let j be 2/4 - k/(-90). Put -2, 0.5, j in descending order.
0.5, j, -2
Suppose -61 = 3*m - 49. Sort 2, m, -3, 0 in decreasing order.
2, 0, -3, m
Let h be (-20)/6 - (4 - 50/15). Sort 0, 11, h in ascending order.
h, 0, 11
Let h(m) = m**2 - 6*m - 3. Let i be h(6). Let c = -15 - -11. Sort i, 2, c in ascending order.
c, i, 2
Let v = 6 + -3. Let n = 2 + 2. Put v, n, 2 in descending order.
n, v, 2
Suppose -2*v = -v - 6. Put 5, 2, v in decreasing order.
v, 5, 2
Let b = 4 - 4.9. Let a = b - 0.1. Let l = -33/2 + 557/34. Sort l, a, 0.5 in descending order.
0.5, l, a
Suppose 2*v = -0*v - 10. Sort 1, v, -8.
-8, v, 1
Suppose -5*u - 52 = 8*u. Sort 2, -10, -5, u in ascending order.
-10, -5, u, 2
Suppose 0 = -2*o - 4. Let d = o + 6. Suppose -2*q - 3*i = -12, q + 3*i - 12 = -0*q. Put -1, q, d in decreasing order.
d, q, -1
Let v be (-2)/16*(3 + 3). Let j = 0.054 - 0.064. Sort j, v, 1/2 in descending order.
1/2, j, v
Suppose i = 4*r + 19, -4*r - 9 = 11. Let y = -310 - -311. Put y, 0, i in descending order.
y, 0, i
Let r = 0.12 + 0.38. Sort -1, r, -4 in ascending order.
-4, -1, r
Let n(v) = -v**2 + v - 2. Suppose 3*p - 4 = 4*o, -12 = -2*o - p - p. Let f be n(o). Let c = -26.5 - -26. Put c, 0.2, f in decreasing order.
0.2, c, f
Let s = 0.5 + 3.5. Suppose 6*h - 3*h = 3, 2*m - 2*h + 4 = 0. Put m, s, -0.4 in ascending order.
m, -0.4, s
Suppose 0 = -5*q + 20 + 10. Let c = 5 - q. Put -5, c, 3 in ascending order.
-5, c, 3
Let x = -2 + 1.5. Sort -5, x, -1/5.
-5, x, -1/5
Suppose 0 = -4*a - 5*g - 37, 4*g + 11 - 3 = 4*a. Let p be 1*-2 - a/9. Sort 0.4, 0.3, p.
p, 0.3, 0.4
Let a = 1/86 + -65/43. Sort -1, -3, 1, a.
-3, a, -1, 1
Suppose 3*i = -3*j + 6, 4*j + 5*i = 2*j - 5. Let x = 3 - j. Sort x, -1, -5.
-5, x, -1
Let d be (-2 - 0)/((-4)/(-10)). Put 3, -2, d in decreasing order.
3, -2, d
Let i = -6 - -6.5. Let y = 0 + i. Let r = 0.6 - y. Sort r, -0.2, 2.
-0.2, r, 2
Let v be (-26)/126 - (-36)/84. Let w = 5.3 - 5. Sort w, v, 4 in increasing order.
v, w, 4
Let a be -2*1/2*1. Let b = -82 - -85. Put 3/2, b, a in decreasing order.
b, 3/2, a
Suppose 27 = d + 31. Sort -3, 0, d in ascending order.
d, -3, 0
Let r be (-14)/4*3/(-14). Let y = 3 - 4. Let p = 1 - 1.2. Sort r, p, y.
y, p, r
Let g be (-6 - 0)*(-1)/(-3). Let r = g + -3. Sort r, -4, -1 in increasing order.
r, -4, -1
Suppose 2*r = -r - 6. Suppose 4*s - 15 + 3 = 0. Suppose s*z = z. Sort -3, z, r in increasing order.
-3, r, z
Suppose -6*x = -x - 25. Let h(a) = -a**3 + 5*a**2 + 3*a - 4. Let o be h(5). Let f = o - 15. Sort 1, f, x.
f, 1, x
Suppose t - 4*m + 1 = 2*t, 4*m = 4. Let l = 7/24 + -37/72. Sort t, 2, l.
t, l, 2
Suppose -54 = 4*b - 10. Let k = b + 9. Put 4, k, -1 in decreasing order.
4, -1, k
Let d = 17 + -12. Put d, 3, 0 in ascending order.
0, 3, d
Suppose -2 + 38 = 9*g. Suppose 0 = -r - 5*b - 14, 12 = 2*r - 3*b + 1. Put g, 3, r in decreasing order.
g, 3, r
Let b = -15 - -16. Sort -2, -5, b in descending order.
b, -2, -5
Let n be 130/75 + 8/(-20). Sort -8/7, n, -1.
-8/7, -1, n
Suppose 3*p - 4*p - 5 = 0. Sort -3, p, -4 in decreasing order.
-3, -4, p
Let m be 4/(-3)*(-1 + 0). Let n be (-2)/4*(-72)/(-90). Put 0.2, m, n in ascending order.
n, 0.2, m
Suppose 9 = -5*a - 1. Put a, 4, 1 in increasing order.
a, 1, 4
Suppose -4*n + 0*n - 40 = 4*u, -2*n - 35 = 5*u. Sort -4, u, -1 in ascending order.
u, -4, -1
Let b = 0.02 + -0.22. Let m = 2/615 + -343/410. Put m, b, 6/7 in descending order.
6/7, b, m
Suppose 5*y - 25 = -0*k + 5*k, 4*y = -5*k - 25. Let w be ((-2)/6)/((-1)/12). Suppose -5*h + 19 = -0*h + 3*i, 4*h + w = 4*i. Sort y, h, -2 in ascending order.
-2, y, h
Let d(k) = -k**2 - 2*k + 11. Let n be d(-5). Put -0.1, n, -0.2 in decreasing order.
-0.1, -0.2, n
Let m be (4 - 1)/((-6)/4). Let y(v) = -v**2 + 10*v - 8. Let w be y(9). Put -3, m, w in decreasing order.
w, m, -3
Let l be 1*(-12)/15*20/(-8). Sort 24, l, 0, 1 in increasing order.
0, 1, l, 24
Let z = 0.5 - 0.1. Let g = 0.9 - 1.1. Put z, 3/5, g in descending order.
3/5, z, g
Suppose 4*a - 20 = 0, 0*n + 5*a - 19 = -2*n. Put n, -5, -2 in ascending order.
-5, n, -2
Let v = 0.2 - 3.2. Let p = -2 + 2. Let z = p + 5. Sort 0.4, v, z.
v, 0.4, z
Let b = -5 + 4.6. Sort 1.9, -5, b in ascending order.
-5, b, 1.9
Let q(j) = j**3 - 6*j**2 - 8*j + 3. Suppose -2*f + 35 = 3*f. Let t be q(f). Sort 3, t, -2 in increasing order.
t, -2, 3
Let p(c) = c - 12. Let i be 4/(12/(-3)) + 10. Let z be p(i). Put z, -5, 10/7 in descending order.
10/7, z, -5
Let b = 36 + -35.8. Suppose 3*x + 9 = -5*c, -5 = 4*x + 4*c - 1. Sort b, -3, x in descending order.
x, b, -3
Let s be (-8 + 2)/((-21)/(-14)). Sort -5, s, 15.
-5, s, 15
Let g be (30/20)/((-6)/8). Let x(l) = -l + 2. Let f be x(-2). Sort g, 5, f in decreasing order.
5, f, g
Let q be (-6)/(-5)*25/(-10). Put 2, -1, q in descending order.
2, -1, q
Suppose -2 + 12 = -2*o. Suppose u - n - 14 = 2*n, 0 = 2*u + n - 7. Sort -3, o, u in decreasing order.
u, -3, o
Suppose i - 18 = -21. Sort 6, i, 0 in descending order.
6, 0, i
Let a(k) = -2*k**2 - 4*k - 2. Let d be a(-2). Let p be (d - -3) + (4 - 1). Let y be 20/8 + (-1)/(-2). Sort -2, y, p in descending order.
p, y, -2
Let b(c) = -c**3 - 3*c**2 + 4*c + 2. Let r be b(-4). Suppose r*y + 12 = 3*x - x, -2*y - 6 = 4*x. Put 5, -1, y in descending order.
5, -1, y
Suppose -4 = 2*c - 4*s, -7*c + 6*c + 4*s = 0. Put c, -16, -3 in descending order.
-3, c, -16
Let o = -47 + 97/2. Sort 0.3, 5, o.
0.3, o, 5
Let u(y) = -2 + 0*y - 1 - 4*y + 3*y. Let r be u(-8). Suppose 3*j - 14 = r*j + 4*x, -2 = 2*x. Put -2, j, 2 in descending order.
2, -2, j
Let l(y) = -y - 4. Let j be l(-4). Let f be (j/7)/((-4)/2). Sort f, 1, 2.
f, 1, 2
