er.
t, a, -4
Let q(n) = 3*n - 1. Let p(z) = -14*z + 6. Let k(f) = -3*p(f) - 16*q(f). Let m be k(-1). Put -2/9, m, 0 in decreasing order.
m, 0, -2/9
Let x = -75 + 72. Sort -4/5, x, 5.
x, -4/5, 5
Let k be (-4)/6*(1 - -14). Put -4, k, -1 in increasing order.
k, -4, -1
Suppose 0*v = 2*v + 6. Let r be (-1*(-2 + -2))/(-1). Sort 2, r, v in ascending order.
r, v, 2
Let c = 13 - 18. Put c, 4, 3 in ascending order.
c, 3, 4
Let g = 1 - 4. Let j = -29/2 + 14. Put g, -1/6, j in increasing order.
g, j, -1/6
Let w = -38.15 - -38. Sort w, 0, 0.4 in increasing order.
w, 0, 0.4
Let g = -96 - -99. Sort 4, -4, g, -3 in decreasing order.
4, g, -3, -4
Let j = -127/4 + 32. Let k be 5*(-3 - -2)/12. Let q = j - k. Sort 5, q, -1/4 in ascending order.
-1/4, q, 5
Let n = -2.5 - -7.5. Sort n, -3/5, -2/7 in decreasing order.
n, -2/7, -3/5
Let d = 7 - 12. Let i = 4.1 + -4. Put i, 1, d in descending order.
1, i, d
Let f = -1/16 + -5/48. Let i = -0.11 + 1.11. Sort f, i, -1 in ascending order.
-1, f, i
Let n(o) = -o**3 + 3*o**2 - o + 4. Let h be n(3). Suppose -5*q + h = -24. Let m(u) = u + 1. Let z be m(0). Sort q, 4, z in decreasing order.
q, 4, z
Let q = -46/5 - -9. Sort q, -2, -1/4 in descending order.
q, -1/4, -2
Let u = 4 + -24.5. Let d = u - -21. Put 3, 7, d in decreasing order.
7, 3, d
Let c be (-30)/(-8) + 3/12. Let x = -2 + c. Sort x, -0.03, 1 in increasing order.
-0.03, 1, x
Let s = -7 + 31. Suppose -4*i + s = u - 3*u, -4*u + 5*i - 33 = 0. Sort u, 2, -5 in ascending order.
-5, u, 2
Let g(t) = 2*t - 12. Let y be g(4). Put 5, -2, y in ascending order.
y, -2, 5
Let b(t) = t**2 - t - 1. Let n be b(-2). Let k be (-1 - 1 - -8)*1/(-3). Put k, n, 2 in ascending order.
k, 2, n
Let f = -1181/10 - -118. Let o = 5 - 0. Let j be (-1 + 0)*(0/1)/3. Put o, f, j in decreasing order.
o, j, f
Let u be (1 + 3)/(-3 - -1). Let d(b) = -b**2 - 4*b + 5. Let v be d(-5). Sort v, -5, u in ascending order.
-5, u, v
Let f(u) = -2*u**2 - 5*u + 4. Let t be f(-4). Let y be ((-3)/(60/t))/(-6). Sort 1/2, 0.2, y.
y, 0.2, 1/2
Let t be 4/2 + -3 + 4. Let v(g) = g - 3. Let k be v(4). Suppose q + 5 = k. Put q, -1, t in ascending order.
q, -1, t
Let r = -85 + 89. Let t be (1/(-2))/((-3)/30). Put -2, r, t in descending order.
t, r, -2
Suppose r = -41 + 42. Sort 5, 3, -10, r in increasing order.
-10, r, 3, 5
Suppose 2*o = -m - o + 2, -5*o = -4*m - 43. Let b = 2 - m. Sort -3, -4, b.
-4, -3, b
Let j = -0.15 - -0.05. Put j, -5, -1 in decreasing order.
j, -1, -5
Suppose 0 + 5 = -5*a. Sort a, -7, 4.
-7, a, 4
Let p = -0.5 + 0.3. Let j = p + -0.3. Let q = j - -1. Sort q, 3/5, -0.5 in increasing order.
-0.5, q, 3/5
Let a be (-7 - -9)*(1 + -2). Sort 4, 5, a in increasing order.
a, 4, 5
Let u = -34 - -33. Sort u, -4, 1 in increasing order.
-4, u, 1
Let a = -0.1 + 0.3. Let v be 12/66 - 927/77. Let b = v - -12. Sort a, -0.1, b.
-0.1, b, a
Suppose 2*o + 4*o - 24 = 0. Sort -3, o, 19 in increasing order.
-3, o, 19
Let y = 3 + -6. Let f = 0 + y. Sort -1, f, 3 in ascending order.
f, -1, 3
Let g = 66 - 38. Suppose -q = -3*q + g. Let t be 1/(-3 - q/(-5)). Sort -1/2, t, 1/7 in increasing order.
t, -1/2, 1/7
Let z(v) = -5*v - 7 - 4*v**2 + 0*v**3 + 0 + 2 + v**3. Suppose -3 = 3*n - 18. Let u be z(n). Sort 3, u, 0 in ascending order.
u, 0, 3
Suppose 4*o - v = 94 + 23, o - 2*v = 31. Suppose -z + 2*z + l = -8, -o = 3*z + 4*l. Sort 5, z, 0 in decreasing order.
5, 0, z
Let r = 21 + -13. Let v = -11 + r. Let q(m) = -m**3 - 9*m**2 + 7*m - 34. Let a be q(-10). Put a, 0, v in decreasing order.
0, v, a
Suppose 3*w = 4*l + 35, -5*l + 3*l - 5*w = -15. Suppose 8 = 8*b - 4*b. Put b, l, 1 in ascending order.
l, 1, b
Let d = -0.5 + -2.2. Let v = -2.7 - d. Put v, -3, -4 in ascending order.
-4, -3, v
Let g = -27 - -22. Sort 0, 1.6, g.
g, 0, 1.6
Let n(a) = -a + 1. Let z(w) = -7*w + 4. Let m(r) = 6*n(r) - z(r). Let h be m(0). Put h, -5, -7 in ascending order.
-7, -5, h
Let a(j) = -j**2 + 7*j - 2. Let i be a(7). Sort -1, -4, i in ascending order.
-4, i, -1
Suppose 5*s + 9 = -k + 6*s, -6 = 2*k + s. Let b(t) = t**3 + 6*t**2 - 9*t - 9. Let u be b(-7). Sort u, k, -2 in increasing order.
k, -2, u
Suppose 3*p = 5*p - 18. Suppose 0*l - 3*l = -p. Sort -1, l, 2 in increasing order.
-1, 2, l
Let x = 5.3 - 31. Let o = x + 26. Let f be -2 - (-3)/((-9)/(-5)). Sort o, f, 2/5 in descending order.
2/5, o, f
Suppose -x - 3 = 2*i + 1, 3*i + 2*x + 5 = 0. Suppose -10*c + 10 = -5*c. Sort 0, i, c.
i, 0, c
Suppose -4*g - 10 = -2. Put -1, g, 0 in ascending order.
g, -1, 0
Let k = -743/6 + 124. Let f = -0.3 - 0.7. Put -4, k, f in descending order.
k, f, -4
Let v be (-1)/(-7) - 30/(-35). Let p = -8 + -2. Let g = 6 + p. Sort g, 4, v in descending order.
4, v, g
Let k = 4 + -2. Suppose 0*h + 12*h + 48 = 0. Put k, -2, h in decreasing order.
k, -2, h
Let o = -0.37 - -0.07. Let x(z) = z**2 - 2*z + 1. Let d be x(1). Sort d, -0.02, o.
o, -0.02, d
Let d = 3418101/448 + -53418/7. Let i = d + -3/64. Let j = 136/5 - 27. Sort i, j, 0.3 in descending order.
0.3, j, i
Let t = -0.027 - 2.873. Let c = -3 - t. Let z be 1/(-6) + 5/(-15). Put z, c, -4 in descending order.
c, z, -4
Suppose -c + 0 = 7. Put c, 0, -4 in increasing order.
c, -4, 0
Let o = 1.1 + -2.1. Let d be 0 + 699/(-9) + 2. Let n = 75 + d. Sort n, o, 1/3 in decreasing order.
1/3, n, o
Suppose 6*s + 10 = s. Let f be 0/s - 6/(-10). Sort -0.3, -0.2, f in increasing order.
-0.3, -0.2, f
Let t(o) = 3 + 5*o - 5*o + 2 + o. Let s be t(-8). Put -0.5, -1, s in decreasing order.
-0.5, -1, s
Let n = -19 - -19.5. Put -2/5, n, 4 in ascending order.
-2/5, n, 4
Let v = 4 + 2. Suppose -z - v = 3*g + 7, -16 = 2*z + 4*g. Suppose 5*y = 4*f + 13, 4*y - 2*f - 12 = z*f. Sort 2, y, 3.
y, 2, 3
Suppose 5*k - 4*i + i = -359, -4*k = 4*i + 268. Let q be (-2)/k + 6/15. Put q, 5, 1/3 in ascending order.
1/3, q, 5
Suppose -2*u + 10 - 2 = 0. Suppose 2*d = l + 6*d + 16, -32 = 5*l + u*d. Let j be 15/(-6) + 2/(-4). Sort l, j, 2 in increasing order.
l, j, 2
Let g = 3 + -3. Let t = 40 - 44. Sort g, -5, t in decreasing order.
g, t, -5
Let q = -230/77 + 36/11. Let c be 1*3/(57/(-2)). Put -2/7, c, q in decreasing order.
q, c, -2/7
Suppose -8*z = -3*z + 15. Let y(o) = -o + 6. Let k be y(6). Put k, z, 5 in descending order.
5, k, z
Let w = 0.13 + 0.37. Put -4, w, -0.2, 1 in descending order.
1, w, -0.2, -4
Let z = -6 + 1. Let y(n) = -2*n - 7. Let r(c) = -2*c + 1. Let f be r(3). Let k be y(f). Put 5, k, z in increasing order.
z, k, 5
Let r = -7 + -3. Let q = r - -6. Let z = q + 2. Put -4, z, -3 in decreasing order.
z, -3, -4
Let t(x) = x**2 + 2*x - 2. Let y be t(-3). Let d = 5 + -2. Put -2/11, d, y in descending order.
d, y, -2/11
Let q be (3/(-126))/(1/(-15166)). Let h = q - 361. Let g = 2/21 - -4/7. Sort 3, h, g in descending order.
3, g, h
Let y be 3 + (-6 - -2) - -3. Sort -1, 11, y.
-1, y, 11
Let u(x) = x**3 - x**2 - x + 1. Let c be u(1). Let d = -22 - -12. Let t = d + 11. Put t, c, 2/3 in decreasing order.
t, 2/3, c
Let d = 11.92 - 11.9. Put 2/9, d, 3 in descending order.
3, 2/9, d
Suppose -i + 5 = 8. Sort -1, -5, i, -2 in descending order.
-1, -2, i, -5
Let t = 79.6 + -80. Let w = 0 - -1. Sort t, -1/4, w.
t, -1/4, w
Let o = -18 + 28. Let n be 4/10 + (-4)/o. Let t = 14 + -9. Sort t, -4, n.
-4, n, t
Let v be (-2)/8 - (-13)/4. Let m = 16 - 4. Let s = m + -17. Sort 4, v, s in increasing order.
s, v, 4
Let d be (-48)/(-27) - 6/(-27). Let u be -2 - (0 + -2) - 2. Sort u, d, 5.
u, d, 5
Let a = 30 + -29.58. Let y = -0.02 + a. Sort y, -3/7, 1/4 in decreasing order.
y, 1/4, -3/7
Let x = -953 - -1943/2. Let k = -18 + x. Let f = 1 - 1.3. Sort k, f, -3 in descending order.
k, f, -3
Let a = -13 - -16.5. Let d = a - -2.1. Let t = -6 + d. Sort -3, t, 4 in descending order.
4, t, -3
Suppose 5*o - 8 = o. Suppose 3*r = r + 4, 3*b + 10 = o*r. Sort -9, 0.5, b.
-9, b, 0.5
Let m = 0.2 - -1.2. Let d = m + -1. Let q = -4 + -1. Sort q, 3, d.
q, d, 3
Let f = 6 + -2. Suppose 3*o + 4*q = 7, -q = 3*o - 4*q + 21. Put f, o, 1 in ascending order.
o, 1, f
Let b be (-2)/(-8)*((-6 - -14) + -4). Sort 4, -3, b, 3 in ascending order.
-3, b, 3, 4
Let t be (28/(-35))/(1/(-5)). Let v = -0.31 + 0.3. Let j = 0.41 + v. Sort 1, j, t.
j, 1, t
Let p(z) = z**2 - 3*z - 4. Let k be p(3). Let b(w) = 2*w + 4. Let q be b(k). Let a(r) = -r**3 - 1. Let u be a(-1). Sort 1, u, q.
q, u, 1
Let a = -0.3 - -0.1. Let m be 11/22