= 0, 0*r + 33 = 5*s - 2*r. Put k, s, -1 in decreasing order.
s, k, -1
Let f = 6 - 3. Let z = 3.1 - 3. Put f, 0.3, z in increasing order.
z, 0.3, f
Let y = -0.24 + -0.06. Let b = -0.8 - y. Let h be -2 + 8/10 + 1. Put b, -5/2, h in descending order.
h, b, -5/2
Let c = -20 - -31. Let j = -8 + c. Sort 2, j, 0.
0, 2, j
Suppose 3*l = -7 + 1. Put l, 0, -4 in decreasing order.
0, l, -4
Let t = 117/230 - 1/115. Let j = -3.95 - 0.05. Let k = 2 - 0. Sort k, t, j.
j, t, k
Let q = -3 + -1. Let a be -2 + q/(-2) + 0. Let c(g) = -g**3 + 17*g**2 + 16*g + 32. Let r be c(18). Sort 1, a, r in decreasing order.
1, a, r
Let p = -3 + 2. Let h be 4/6 + 21/9. Suppose j = h*s, 0 = 5*s - 5*j + 4*j. Put 5, p, s in descending order.
5, s, p
Let q = -1839 - -9271/5. Let k = q + -15. Sort -0.5, -5, k.
-5, -0.5, k
Let m(r) = r**2 + 6*r + 3. Let h be m(-6). Put 0, 2, 5, h in decreasing order.
5, h, 2, 0
Let r = -3 - -3.5. Let k = -0.13 - -3.63. Let p = r + k. Put p, 3/5, 1 in descending order.
p, 1, 3/5
Let m be 2 + (-6 + 1)/1. Let n(g) = g**3 + 11*g**2 - g - 6. Let h be n(-11). Let s(z) = z**2 - 18*z + 21. Let o be s(17). Sort o, h, m in ascending order.
m, o, h
Let f(t) = -4*t**3 - 2*t**2 + 2*t - 1. Let v be f(1). Suppose -h + 0*h = -4. Suppose -2*z = -h*z - 8. Sort z, -3, v in ascending order.
v, z, -3
Let v(k) = -k**3 + k**2 + k + 3. Let y be v(0). Let h be y + -6 - 62/(-20). Let u be (2/8*6)/(-6). Sort h, -2/3, u in descending order.
h, u, -2/3
Let h(c) = c**3 + 2*c**2 - 3*c - 1. Let k be h(-3). Sort 3, k, 0, 4 in increasing order.
k, 0, 3, 4
Let c = -16 - -11. Let k = 223/100 - -13/25. Let i = k + -9/4. Put i, c, -2/7 in increasing order.
c, -2/7, i
Let x = 7.5 + -9. Let r = x - -1. Sort r, 1/2, 0 in decreasing order.
1/2, 0, r
Let z be 136/(-36) - -4 - (-2 - -2). Sort 5/4, -2/5, z in descending order.
5/4, z, -2/5
Let u = 66 + -70. Let q(p) = p**2 + 5*p + 5. Let g be q(-4). Suppose 2*v = g + 3. Sort v, u, -2 in descending order.
v, -2, u
Suppose -3*g = -3*u + 8*u + 18, 2*g + 8 = -2*u. Let m = 1 + 0. Put g, m, 0.4 in decreasing order.
m, 0.4, g
Let j = 18 - 6. Let i = -13 + j. Let f = -2.9 + 3. Sort f, i, -2 in descending order.
f, i, -2
Let p = -10 + 13. Let n be (20/(-7) - 0) + p. Put -2, -0.1, n in decreasing order.
n, -0.1, -2
Suppose -3*b - 11 + 35 = 0. Let f = b - 11. Sort f, 4, -4 in decreasing order.
4, f, -4
Let h(i) = i**2 + 1. Let k(x) = x**3 + 3*x**2 + 7*x - 16. Let t(w) = -6*h(w) - k(w). Let y be t(-8). Suppose -3*j = y*j. Sort -1, j, 5 in decreasing order.
5, j, -1
Let q = 27 + -25.9. Let l = q - 5.1. Sort 1/5, 0.4, l in decreasing order.
0.4, 1/5, l
Suppose -a = -5*k + 5, -10 = -3*k - a + 1. Sort 3, k, -1.
-1, k, 3
Let a(y) = 3*y**2 - 4*y - 7. Let x(g) = g**2 - g. Let f(d) = -a(d) + 4*x(d). Let i be f(0). Suppose i*u = 3*u. Sort -4, 3, u in decreasing order.
3, u, -4
Let w be 4/((-8)/6) - -8. Let s(z) = -2*z**3 - 2*z**2 + 1. Let j be s(-1). Suppose -12 = h - 3*v, -18 = -0*h + 3*h - 3*v. Put j, h, w in ascending order.
h, j, w
Let h = -17 + 13. Sort 4, h, -3.
h, -3, 4
Let c be -11 - -7 - 22/(-8)*2. Let i = -3 - -2. Sort i, c, 0.2.
i, 0.2, c
Suppose 5 = 7*a + 82. Suppose 5*f - 12 - 8 = 0. Put a, f, 1 in increasing order.
a, 1, f
Let b = 57.7 + -54. Let g = b - -1.3. Let p be 1/(-6)*4/3. Sort 0.2, g, p in increasing order.
p, 0.2, g
Let m = -52 - -49. Sort 0, m, 2, -4 in decreasing order.
2, 0, m, -4
Let u = 6.1 - 5.1. Let b = 1 - 0.8. Put b, u, -3 in ascending order.
-3, b, u
Let i = -3 - 7. Let l = i - -7. Sort 0.4, 4, l in descending order.
4, 0.4, l
Let g = -4 + 6. Put g, -0.4, 0.4 in increasing order.
-0.4, 0.4, g
Suppose 5 = 3*x - 4. Suppose 5*j = x*j + 8. Let p = 4 + 1. Put j, p, 1/2 in ascending order.
1/2, j, p
Let g = -10 - -20. Let n = g - 9. Put n, 2, -0.1 in decreasing order.
2, n, -0.1
Suppose -2*j + 7 = 3. Suppose c - 15 = r - 3*c, -j*r + 5*c = 18. Suppose 4*s = -4*o + 8, 4*s - 7*o + 37 = -2*o. Sort s, 0, r in descending order.
r, 0, s
Let o = 26 - 18. Suppose 0 = -6*h + o*h + 2. Put -5, 5, h in descending order.
5, h, -5
Suppose -2*a - 5*m - 25 = 0, 5 = -4*a + 5*m + 30. Suppose a = -7*w + 3*w + 20. Suppose -4 = 4*c - 2*g - 2, -3*c = 4*g - 4. Put -4, w, c in increasing order.
-4, c, w
Suppose 2*f - 12 = -2*f. Let k(t) = 4*t**2 - 2*t + 2. Let a be k(1). Put a, -1, f in descending order.
a, f, -1
Let v = 52 + -32. Sort 2, -1, v.
-1, 2, v
Let m(c) = c + 4. Let o be m(0). Suppose -7 = -o*a - 3. Let f be 2/(-3)*(-1 + -2). Sort 3, a, f.
a, f, 3
Let t = 37.224 + -0.224. Sort -1, t, 2/3 in ascending order.
-1, 2/3, t
Suppose -x + 1 - 7 = 0. Let r = x + 5. Sort 2, r, -4 in decreasing order.
2, r, -4
Let x = 9 - 0. Suppose 4*y - 25 = -x. Sort -3, y, -4 in descending order.
y, -3, -4
Let j be (2/3)/((-3)/(-9)). Let o = 106 - 744/7. Sort j, o, 0.
o, 0, j
Let n = -9 + 8.7. Let t = n + 0.7. Sort 5, t, 2/17.
2/17, t, 5
Let h be (-6)/(-4)*14/21. Suppose -3*y - h + 16 = -5*w, w = y - 3. Sort 4, 1, y.
y, 1, 4
Let w = 1493/13 - 115. Let g = 2/75 + 28/75. Sort -0.5, w, g in decreasing order.
g, w, -0.5
Let y = -107 - -112. Let r(q) = 2*q. Let z be r(2). Sort z, -3, y in descending order.
y, z, -3
Let o = -1.6 - -6.6. Let r = 3.13 + 0.27. Let f = 0.6 + r. Sort f, o, -0.4 in decreasing order.
o, f, -0.4
Suppose 0 = -r - r. Sort r, 0.4, -4/3.
-4/3, r, 0.4
Let g = 40 - 39.7. Sort g, 3/16, -0.1 in decreasing order.
g, 3/16, -0.1
Let i = 69 - 46. Let t = i + -18. Let x(b) = b + 2. Let d be x(0). Sort t, d, 4 in increasing order.
d, 4, t
Suppose 0 = m - 3*m + 4. Let v be 4/(-8) - m/(-6). Let p be (3/10)/(2/4). Sort -2, v, p in ascending order.
-2, v, p
Let w be (-4)/20 - (-4)/5. Let z = 3 + 0. Let r = z - 3.1. Put r, w, 5 in decreasing order.
5, w, r
Let g = 5.5 - 5. Sort -7, -2/3, g in increasing order.
-7, -2/3, g
Suppose 3*g - 15 = -2*r, -4*r - 3*g + 3 + 18 = 0. Let f be (r/(-1))/(18/(-4)). Let c be 4/(-18)*(-6)/8. Put -0.4, f, c in decreasing order.
f, c, -0.4
Let k(z) = z**3 + 5*z**2 + 5*z + 39. Let r be k(-5). Sort -1, r, -4, 0 in ascending order.
-4, -1, 0, r
Suppose 6*n - 2*n + 8 = 0. Let j be 14/4 - 1/n. Sort -0.5, -3, j.
-3, -0.5, j
Let f = 12 + -6. Let h be 15/35*2/f. Suppose -3*t - 3 = -0*t. Sort -3, h, t in decreasing order.
h, t, -3
Suppose x + 4 = a + 3*a, 5*x - 3*a + 3 = 0. Let q = 0 - 5. Let j = 202 + -197. Sort j, x, q in decreasing order.
j, x, q
Let x(v) = v**3 - 7*v**2 - 6*v - 17. Let n be x(8). Sort n, 3, 1.
n, 1, 3
Suppose 4*i - 7 = 17. Suppose -d + i*d = 15. Let w be -1 - -8*d/27. Put -4/5, -0.5, w in decreasing order.
w, -0.5, -4/5
Let u = -0.8 - 0.2. Let t = -9.1 - -9. Let c = t - -5.1. Put c, -4, u in decreasing order.
c, u, -4
Let n = 3 - 1. Let k = -12 - -8. Sort n, k, -1 in decreasing order.
n, -1, k
Suppose 0 = 5*a + 5 - 0. Let y(u) = -2*u - 23. Let q be y(-13). Sort q, -0.4, a in increasing order.
a, -0.4, q
Let z be (-1)/((1/5)/1). Put -2, z, 4, 5 in increasing order.
z, -2, 4, 5
Suppose -198 = 5*u + 2. Let k be (u/25)/(2/(-5)). Put k, 5, -4 in increasing order.
-4, k, 5
Let x = -12.7 - -13. Let j = -0.2 + x. Sort 2/11, j, -0.3.
-0.3, j, 2/11
Let l = -0.65 + 0.6. Let m = l - -0.05. Let k = 3 - m. Put -2/3, k, -2/17 in increasing order.
-2/3, -2/17, k
Let n(d) = d**3 + 5*d**2 + 4*d - 4. Let h be n(-4). Let w = 56 - 54. Sort 0, w, h in descending order.
w, 0, h
Let z = -6 + 12. Let p = -7 + z. Sort -5, 4, p in increasing order.
-5, p, 4
Let x = 60 - 64. Sort -1/7, -3/7, x, 0.1.
x, -3/7, -1/7, 0.1
Let f = -14 + 8. Let d(l) = -3*l**2 - 8*l - 11. Let u(v) = 13*v**2 + 32*v + 45. Let y(j) = 9*d(j) + 2*u(j). Let m be y(f). Sort 2, m, 5.
2, m, 5
Let o = -1.1 - -1.2. Sort o, -5, 0, 0.3.
-5, 0, o, 0.3
Let i = 7731/19 - 407. Sort 3, -1, i.
-1, i, 3
Let s(c) = -3*c**2 + c + 7. Let j be s(2). Let n be (-2)/1 + -3 + 20. Suppose -3*y = -0*y - n. Sort y, j, 2 in decreasing order.
y, 2, j
Let q(p) = -p**2 + 10*p - 6. Let c be q(9). Let l = -1 - 3. Put -1, c, l in descending order.
c, -1, l
Let s(p) = -p**3 + 3*p - 4. Let b be s(-3). Let x = 11 - b. Sort 5, -5, x in decreasing order.
5, x, -5
Suppose -s = 2*q - 4, 7 = -3*q - 2*s + 15. Suppose h - 6 = -3*z - 0*z, 5*h - 11 = 4*z. Sort -4, h, q in descending order.
h, q, -4
Let c = -2 - 1. Suppose -x - 60 = -5*x. Suppose q + 4*q = x. Put q, c, 4 in descending order.
4, q, c
Suppose 0 = 4*k - 3*k - 3. Let