order.
y, 0, 4
Let h be 2/1 - (0 - -2). Let r(x) = x + 15. Let k be r(-15). Let i = h + k. Sort i, -5, -2 in ascending order.
-5, -2, i
Suppose 5*c - 35 = -5*q + q, 2*c - 31 = -5*q. Let z be (-4)/18 - (-152)/198. Sort c, z, 1/2 in descending order.
c, z, 1/2
Suppose 3*v - 4*y = y + 28, -2*y - 12 = -2*v. Let u be 32/6 - (-1)/(-3). Sort u, v, 0 in descending order.
u, v, 0
Let x = -7 + 12. Suppose -5*t = 3*d + 25, -d + t - 11 = 4*t. Put d, 3, x in increasing order.
d, 3, x
Let f = -5.1 - -2.1. Sort -2/7, -6, f.
-6, f, -2/7
Let m = 10 + -14. Let y = 0.31 + 0.19. Put m, 0, y in descending order.
y, 0, m
Let k be ((20/(-6))/(-2))/((-20)/(-60)). Let l = 1748/93 - 4/31. Let f = l - 19. Sort f, k, -4 in ascending order.
-4, f, k
Let v = -128 - -12. Let k = v + 1043/9. Let q = -0.13 + -0.07. Put q, k, 0.3 in increasing order.
q, k, 0.3
Let s(y) = -3*y**2 + 8*y**2 + y + y**2 - 2*y**2. Suppose 4*c = 3*c + 1. Let d be s(c). Sort d, -3, 3 in decreasing order.
d, 3, -3
Let q = -330 - -2974/9. Sort 3, -1/19, q in increasing order.
-1/19, q, 3
Let f = -22 - -12. Let z be (-11)/(-2) - (-5)/f. Sort z, 6, -5 in descending order.
6, z, -5
Let u be 8/(-6)*12/(-4). Let l = -14 + 19. Put -4, l, u in decreasing order.
l, u, -4
Let u = -3 - -3.1. Let k = -0.08 + 0.08. Put u, k, -3/2 in increasing order.
-3/2, k, u
Let x = -3.01 + 3. Let r = x - 0.29. Sort r, -8, -4 in descending order.
r, -4, -8
Let b = -4 - -1. Let j = b - -7.9. Let l = j + 0.1. Put l, -2, -1 in increasing order.
-2, -1, l
Suppose 5*s - 9 = 11. Suppose -32 = -s*n + 5*p + 8, -4 = p. Let r = 7 - n. Put 3, r, 1 in descending order.
3, r, 1
Suppose -11*g + 31*g = -40. Suppose 0 = w - 2*w. Sort w, g, 5 in increasing order.
g, w, 5
Let g be -6*1/2 - -3. Sort 4, -2, g in increasing order.
-2, g, 4
Suppose -2 = -3*d - 11. Let k be (d/3)/(3/(-9)). Let i = 4 - k. Sort i, 0, -2 in descending order.
i, 0, -2
Let l be (-6*3/(-15))/((-6)/(-15)). Sort l, 5, -10 in ascending order.
-10, l, 5
Suppose -5*v + 19 = 4. Suppose 0*i + 18 = v*p + 3*i, -5*p + 2*i + 23 = 0. Put -1, -3, p in descending order.
p, -1, -3
Let w = -61 - -58. Let h = -3.64 + 0.14. Let n = h - w. Sort 2/5, 0.3, n in decreasing order.
2/5, 0.3, n
Let n = -4.9833 + 0.0133. Let r = 0.02 - -0.01. Let g = r - n. Put g, 1/4, 3 in descending order.
g, 3, 1/4
Suppose 5*x + 0*w - 35 = 3*w, 4*x = -2*w + 6. Suppose x*r + 8 = -0*r. Sort r, -5, 4 in ascending order.
-5, r, 4
Let v be -2 + 6/(-12)*-2. Sort -2, v, 18 in increasing order.
-2, v, 18
Let z be -1*((-19)/5 - -4). Sort 0.4, 4, z.
z, 0.4, 4
Suppose -12 + 2 = -5*g. Let t(u) = u**2 + 6*u + 3. Let y be t(-5). Sort y, g, 5.
y, g, 5
Let g be 2/(-7) - (-180)/42. Suppose 0 = -5*p - 4*n + 8 + 5, 0 = -5*p - 3*n + 11. Sort -4, p, g.
-4, p, g
Let y = -175 - -2273/13. Let o = 0.42 - 0.02. Suppose -i - 2*i = -9. Put o, y, i in descending order.
i, o, y
Let o(x) = x**2 + 6*x + 3. Let i be o(-4). Let n = -3 + 2. Put i, n, 1 in descending order.
1, n, i
Let y = -5/84 + 233/1092. Put y, 3/2, -2, -3 in decreasing order.
3/2, y, -2, -3
Let x(p) = -5*p + 1. Let r be x(1). Put r, -1, 1 in decreasing order.
1, -1, r
Let g = 198 - 2968/15. Let d = 0.4 + 0.1. Put -4, g, d in decreasing order.
d, g, -4
Let m = 32 - 14. Let j = m - 38. Let l be ((-2)/(-5))/(4/j). Put -4, l, -1 in decreasing order.
-1, l, -4
Suppose 6*n - 3*n = 3. Let g = -31 + 30. Put -2, n, g in descending order.
n, g, -2
Let g be (-8)/(-3 + -2 + 3). Let d(s) = 4*s - s + 2*s - s**2. Let u be d(g). Sort 0, u, 3 in ascending order.
0, 3, u
Let f be 6*(-4)/(-8) + -1. Sort f, 0, -4 in ascending order.
-4, 0, f
Let t = -31 - -33. Put -1, t, 0 in decreasing order.
t, 0, -1
Let k = 1 - 0.9. Let g = 8.2 + -8. Let s = g - k. Sort 0.4, -4, s in increasing order.
-4, s, 0.4
Let d be (-5)/(-1) + 35/(-7). Suppose 4*r + 2*v = 12, -r - 5*v = 3*r - 18. Put d, -2, r in ascending order.
-2, d, r
Suppose 0 = i - 6*i - 20. Let d = -35 - -33. Let c be i/d*(-1)/(-2). Sort 5, c, -1 in increasing order.
-1, c, 5
Let a(o) = o**3 + 8*o**2 - 10*o - 13. Let y be a(-9). Sort -3, y, 0.
y, -3, 0
Let g(v) = -v + 5. Let o = -6 - -1. Let w be g(o). Let p(z) = z**3 - 11*z**2 + 10*z. Let l be p(w). Sort 2, l, 5 in decreasing order.
5, 2, l
Suppose 2*r = 4*r - 6. Let m = -3 - -3.4. Put m, r, -1/3 in decreasing order.
r, m, -1/3
Suppose 6 = 5*q - 19. Sort -1, -2/9, q in descending order.
q, -2/9, -1
Suppose 4*w = -5*d + 2 + 2, -3*d = 3*w. Suppose 6 = 3*p - 4*p + i, 23 = -5*p - 2*i. Put p, -4, d in decreasing order.
d, -4, p
Let x be 60/8 - 1/2. Let i = x + -11. Let w = i + 4. Sort 1, -4, w in decreasing order.
1, w, -4
Let g = 100 + -32. Let k = -339/5 + g. Let q = -8 - -4. Sort q, k, 0.3.
q, k, 0.3
Let y = -4.1 - -0.1. Let b = -9 - y. Sort b, 1, 0.8 in ascending order.
b, 0.8, 1
Let i = -5 + 6. Suppose -w - i = -2*w + y, 2*y = 3*w. Sort 1, w, -1.
w, -1, 1
Let b = 22 - 16. Let u = 7 - b. Put u, 1/6, 0.2 in descending order.
u, 0.2, 1/6
Let m = 59 - 294/5. Let g = 0.3 - -0.7. Put m, g, -4 in increasing order.
-4, m, g
Suppose 0 = 5*j - 4*j + 1. Let k = 19 + -30. Let q = k - -7. Put j, q, -5 in decreasing order.
j, q, -5
Suppose -x = 3*x + 4. Let t be x*2 + (-2 - -2). Let v be (12/270)/(t/10). Sort 0.3, 2, v in decreasing order.
2, 0.3, v
Let g = -0.3 + 1.3. Put 3/7, g, 0.2 in descending order.
g, 3/7, 0.2
Suppose -424*g + 418*g = -6. Let i = 0.42 - 0.02. Put i, 3, g in increasing order.
i, g, 3
Let i(r) = -r**2 - 5*r + 5. Let h be i(-6). Let a be h/4 - (-4)/16. Let s = 0 + -5. Put s, a, 3 in descending order.
3, a, s
Let n = -5.7 - -6. Put -1/2, 2, n in increasing order.
-1/2, n, 2
Suppose 2*i = 0, -4*v + i + 19 - 3 = 0. Put v, 1, -2 in descending order.
v, 1, -2
Let q = -3 + 8. Let f be 3*(6/2)/1. Suppose 0 = 2*i + 3 - f, -2*r + 5*i = 9. Sort -2, r, q in descending order.
q, r, -2
Let t = 6 + -2. Suppose -t*x - 4 = -5*x. Suppose 0 = -z + x - 2. Sort 4, z, -4 in descending order.
4, z, -4
Let g be (-7 - -1) + 4/2. Suppose 3*c + 4*k = k, 9 = 4*c + k. Put c, g, -1 in decreasing order.
c, -1, g
Suppose 13*g - 3 = 16*g. Let s be (-4)/16 - 477/(-4). Let n = 473/4 - s. Put -1/3, n, g in ascending order.
g, n, -1/3
Let i = -3.4 + 3. Sort 0.1, i, -4.
-4, i, 0.1
Suppose 3*w - 4*k = -70, 6*k - 9*k - 6 = 0. Sort w, -4, 0.
w, -4, 0
Let v = 2 + -2. Let a = -1 - v. Sort a, -0.2, 1/2.
a, -0.2, 1/2
Let i = -10 + 12. Suppose -4*m - 3*l + 1 = 0, -4*l - 5 = -i*m + m. Sort m, -4, -8 in increasing order.
-8, -4, m
Let d = -0.9 + 0.4. Put d, 2/5, 4 in descending order.
4, 2/5, d
Let q(c) = c**3 - 4*c**2 - 3*c + 4. Let b be q(4). Let p be (2/b)/(7/14). Sort 3, 0.2, p in descending order.
3, 0.2, p
Let u = 0.8 - 0.6. Let n = u - 0.5. Sort 1, n, -3 in increasing order.
-3, n, 1
Let f = -40 - -43.9. Let a = 0.1 + f. Put a, 0.4, 1/7 in ascending order.
1/7, 0.4, a
Suppose 2*u = 3*p - 10, -10 = -3*p + 3*u - 1. Suppose 0 = -5*s - 5. Let z = s + -4. Put z, p, -1 in ascending order.
z, -1, p
Let o be (72/630)/(1/5). Let u(t) = -t**3 - t**2 + 1. Let p be u(1). Sort p, 0.4, o in decreasing order.
o, 0.4, p
Let d = 9 + -8. Put 0, d, -3/4 in decreasing order.
d, 0, -3/4
Suppose 5*p - 3*p - 12 = 0. Suppose -10 = -k + p*k. Sort -5, -4, k in increasing order.
-5, -4, k
Let f = -3/16 + -23/48. Let h = 0.3 + -0.1. Sort f, 4, h in ascending order.
f, h, 4
Suppose 20 = -4*o - 2*w - 2*w, 4*o + 10 = -2*w. Sort o, -2, -0.3, 1/2 in ascending order.
-2, -0.3, o, 1/2
Let j be 3*-3*(-7)/42. Put j, -1/2, -3 in descending order.
j, -1/2, -3
Let v = -0.03 - 0.47. Let c = v + 0.52. Sort 2/7, 2, c in increasing order.
c, 2/7, 2
Let x = 12 - 21. Let q be (-2)/((-33)/(-303)*-2). Let u = q + x. Put 2, 0.4, u in decreasing order.
2, 0.4, u
Suppose 0 = -l + 4*q + 3, -4*q + 1 = -3*q. Let o = 12 - l. Sort o, -1, -5.
-5, -1, o
Let s = 0 + 18. Let k be 4/s - (-32)/18. Sort -4, k, 4 in ascending order.
-4, k, 4
Let i = -24 - -20. Put -2, i, -3 in descending order.
-2, -3, i
Let p = 0.4 + 0.6. Let u = -0.7 - -0.2. Put 2/11, p, u in descending order.
p, 2/11, u
Let z be ((-12)/30)/(3/45). Put -5, z, -1 in increasing order.
z, -5, -1
Let n = 28 + -26. Sort -5, -1, n.
-5, -1, n
Let w(h) = -2*h. Let l be w(1). Let o = 3 + l. Sort o, 3, -2.
-2, o, 3
Let n be (-6)/15 - 26/10. Let q = n + 4. Let u(r) = r**2 - 2*r + 3. Let f be u(2). Sort 5, q, f.
q, f, 5
Let o = 18 