order.
a, -2, j
Let p(j) = j**3 + 7*j**2 - 10*j - 10. Let m be (5 - 7)*4/1. Let z be p(m). Suppose 0 = 3*l - l - z. Sort l, 2, -5.
-5, 2, l
Suppose -230 = -5*u - 0*u. Let v = 137/3 - u. Let l = -132 - -658/5. Sort v, l, -0.3.
l, v, -0.3
Let x = 446 - 10256/23. Let r(w) = -4*w**2 - w + 1. Let m be r(1). Sort x, m, 3/7 in ascending order.
m, x, 3/7
Suppose -5*j = 4*s - 23, 5*s + 0*j = 5*j - 5. Let r = -44 - -37. Let k = s + r. Put k, -4, -1 in ascending order.
k, -4, -1
Let d = 7.3 + -7. Let w = -189 + 1321/7. Let g = -4.3 + 4. Put w, g, d in decreasing order.
d, w, g
Let d = -1894/7 + 270. Suppose -z - 29 = -r - 6*z, 7 = 3*r - z. Put 0.5, d, r in descending order.
r, 0.5, d
Let l = -53 + 264/5. Let k = -2/341 + -656/4433. Sort k, -2/7, l in decreasing order.
k, l, -2/7
Let r = 1685/9 + -187. Sort 2/5, -2, r.
-2, r, 2/5
Let x be 1*6 + -1 + -2. Sort 0, x, 1 in descending order.
x, 1, 0
Let h(s) = 4*s - 1. Let y be h(1). Let g = -7 - -9. Let n be -1 - (0 + 1)*-5. Sort n, y, g in descending order.
n, y, g
Let l = 81 + -80.8. Sort -15, -5, l in ascending order.
-15, -5, l
Let o(x) = x + 3. Let a be o(-5). Suppose 3*d = d + 8. Put 3, d, a in decreasing order.
d, 3, a
Let o = -0.218 - -0.118. Put -4, o, -2, 11 in ascending order.
-4, -2, o, 11
Suppose 3*k = 5*v + 5*k + 55, 20 = 4*k. Sort 0, v, 4 in ascending order.
v, 0, 4
Let x be ((2/(-12))/1)/(-1). Let t be ((-48)/110)/(2/10). Let q = t + 94/33. Put q, x, 1 in increasing order.
x, q, 1
Suppose 19 - 22 = 3*z. Put 8, -4, z in ascending order.
-4, z, 8
Let s = 10 + -6.4. Let m = -0.4 - s. Put 5, 0.5, m in decreasing order.
5, 0.5, m
Let s = -9 - -17. Let i = 7 - s. Let d = -2/111 + 76/111. Put 3, d, i in ascending order.
i, d, 3
Let n = -26 + 12. Let t = n + 11. Put t, 1, 3 in ascending order.
t, 1, 3
Let a be (0 - 16/6)*9/6. Sort -5, -1, a in descending order.
-1, a, -5
Let n = 0.03 + 7.97. Put -5, n, 0.5 in increasing order.
-5, 0.5, n
Suppose 5*d - 12*d - 28 = 0. Sort d, -2, 5 in decreasing order.
5, -2, d
Let m = -0.08 + 1.08. Let z = m - -2. Put z, -3/8, -0.4 in descending order.
z, -3/8, -0.4
Suppose 7*y = 3*y - 12. Let n be 0/(-3 + 7 + y). Sort n, 2, 0.4 in decreasing order.
2, 0.4, n
Let f = -1 + -4. Suppose q - 12 = 2*h, -6*q = -2*q - 2*h - 30. Suppose -2 - q = 4*g. Sort f, g, 0.5.
f, g, 0.5
Let y = -0.5 - -0.1. Let r = -12 - -15. Sort r, 4, y in ascending order.
y, r, 4
Let s be 0*2/8*4/(-8). Sort 2/59, s, 0.3 in increasing order.
s, 2/59, 0.3
Let m be (-10)/4*(-3 - (-52)/20). Suppose -5*n = -4 - 16. Let a(p) = -p**2 + p + 5. Let q be a(0). Sort m, q, n in increasing order.
m, n, q
Let q = -1 - -1.1. Let d = -9 + 15. Let r(l) = -l**2 + 6*l + 1. Let u be r(d). Sort 3, u, q.
q, u, 3
Suppose 0 = 2*j - 4*j - 16. Let r = 5 + -1. Put -4, j, r in descending order.
r, -4, j
Suppose -3*c + 2 = -4. Suppose -19 = -2*t - 3*k, -c*t - 11 = -5*k + 10. Suppose 3*f - 5*n - 14 = 0, 0*f = -t*f - 2*n + 4. Sort f, -5, 0 in increasing order.
-5, 0, f
Let j be 0 + (2 - 2) + 2. Let u be 10/(-5 - (-6)/2). Put j, 0, u in ascending order.
u, 0, j
Let r = -116 + 39. Let x be (-4)/(-22) - 140/r. Let i(c) = c**2 - 3*c + 4. Let s be i(3). Sort x, s, -3 in increasing order.
-3, x, s
Let b = -4 - -3.4. Let u = b + 0.7. Put 0, 2, u in increasing order.
0, u, 2
Let x = -0.163 + -4.837. Sort 2/17, -1/2, x, 7 in decreasing order.
7, 2/17, -1/2, x
Suppose 0*p + 3*p = 0. Sort 4, p, -5 in increasing order.
-5, p, 4
Let j = -10 - -5. Let u = 5 + j. Sort -4, u, 3 in decreasing order.
3, u, -4
Let l(c) = -c**2 + 6*c + 57. Let b be l(11). Let k(w) = -w**3 + w - 5. Let z be k(0). Put b, -17, z in ascending order.
-17, z, b
Let a be (2 - (6 + -4)) + 5. Let u(d) = -d**3 + d**2 - 1. Let h be u(1). Sort h, a, -3 in ascending order.
-3, h, a
Let u(f) = 4*f - f - 3 + f - 5*f. Let t be u(-3). Sort -5, t, -4 in decreasing order.
t, -4, -5
Let o = 62 - 33. Suppose o = 3*a - 1. Suppose -t + 3*t + a = 0. Sort t, 3, -1 in decreasing order.
3, -1, t
Let n be -3*(-1)/(-3)*-19 + -3. Sort n, 4, -5, -2.
-5, -2, 4, n
Let c = 3/2 + -7/4. Sort c, 3, 3/2 in ascending order.
c, 3/2, 3
Let x = 5 + -6. Let m be (8 + -2)*(-2)/6. Let g = m - x. Sort g, -4, -5 in descending order.
g, -4, -5
Let g = 4/81 + 134/567. Let t = 16 - 10. Let m = -6.3 + t. Put m, 0, g in descending order.
g, 0, m
Let m = 1283/86 + -18/43. Let b = m + -15. Sort -3/8, b, 2/19.
b, -3/8, 2/19
Let g = 22 + -131/6. Let h = 2 - 2.5. Sort g, -1/5, h in ascending order.
h, -1/5, g
Suppose -13*i = -8*i + 5. Sort -6, -2, 4, i.
-6, -2, i, 4
Suppose g - 15 = -3*n, -3*g - 6 = -2*n + 4. Suppose -q + 6 = -2*s, -q + g*q + s + 3 = 0. Let p be 2 + (-36)/17 + 0. Sort p, q, 2 in descending order.
2, q, p
Suppose -4*d = d + 5. Sort 2, d, 4.
d, 2, 4
Suppose 18*b + 30 = 12*b. Put 21, b, 1 in decreasing order.
21, 1, b
Suppose -60 = -27*c + 21*c. Put -5, c, -2/5 in decreasing order.
c, -2/5, -5
Let z = -55.2 - -56. Put -3/2, -2/5, -4, z in ascending order.
-4, -3/2, -2/5, z
Let r = 95/7 - 97/7. Let i = 2 + 2. Sort r, 3, i in ascending order.
r, 3, i
Let o = 184 - 83. Let j be 0 - -78*26/(-20). Let k = o + j. Put k, -0.1, -5 in ascending order.
-5, k, -0.1
Let h(i) = i**2 - 6*i - 3. Let n be h(7). Suppose 4*z - 19 + 7 = 0, z = -n*j + 15. Suppose 0*b - j = -b. Sort 1, -7, b in ascending order.
-7, 1, b
Let s be -1*(0 - (-2)/11). Let p be (-6)/(-1)*(3 - 4). Let l be ((-4)/30)/(p/9). Sort l, s, 3 in decreasing order.
3, l, s
Let q = -0.49 + 0.09. Let w = -0.5 - q. Sort 4, 0, w in decreasing order.
4, 0, w
Let c = -5 - -7. Let z = -6 + -4.7. Let u = -11 - z. Sort u, c, 5 in descending order.
5, c, u
Let f = 11 + -11.2. Let h(s) = s**3 - 6*s**2 - 7*s - 5. Let g be h(7). Sort 2, f, g.
g, f, 2
Let v = -8 + 5. Sort -11, v, 4, 1 in descending order.
4, 1, v, -11
Let l be 8/(-20) + (-54)/(-10). Sort -4, -1, l in ascending order.
-4, -1, l
Let k = -8 + 13. Let s(d) = -2*d + 6. Let i be s(4). Put 3, k, i in increasing order.
i, 3, k
Let s(l) = -7*l - l**2 - 5 - 7*l**2 + 7*l**2. Let h be s(-7). Put -1, -7, h in decreasing order.
-1, h, -7
Let z = -1 + 2. Let i be 10/25*(-25)/(-16). Let x = 1/2 - i. Put 2/3, x, z in increasing order.
x, 2/3, z
Let k(m) = m**2 - 5*m + 1. Let i be k(5). Let c = -8 + 3. Put 5, i, c in increasing order.
c, i, 5
Suppose n = -6*u + u - 13, 0 = -5*n + u - 13. Put 11, 4, n in ascending order.
n, 4, 11
Suppose -2*v = 5*w - 31, 6*v = 2*w + 3*v - 1. Put -5, w, -2, 3 in descending order.
w, 3, -2, -5
Let k = 29 - 26. Sort -3, -8, k in descending order.
k, -3, -8
Suppose 0*o = -o - 2. Let m(b) = 2*b + 5. Let j(v) = -5*v - 14. Let l(n) = 3*j(n) + 8*m(n). Let q be l(3). Sort q, 2, o in increasing order.
o, q, 2
Suppose -2*x = 2*x - 16. Suppose 0 = 2*k - x, p = -3*p + k - 10. Let u be (-4)/3 - p/(-3). Sort u, 1, -5.
-5, u, 1
Let s = 448477/3549513 - -291/3709. Let c = s + -2/87. Sort -0.3, -8, c in decreasing order.
c, -0.3, -8
Suppose -6*r = -2*r - 4. Sort 0, r, 5 in decreasing order.
5, r, 0
Let s = -69 + 74. Sort -3, s, 2, 6.
-3, 2, s, 6
Suppose 0 = -3*r + 18. Let p be -3 + 12*r/9. Put p, -9, -1 in decreasing order.
p, -1, -9
Let p = -36 - -39. Sort 5, p, 0, -1.
-1, 0, p, 5
Let i = -0.18 - -0.26. Let g = i - 0.12. Sort -3/2, g, 3 in ascending order.
-3/2, g, 3
Suppose -y = 4*y + 3*r - 31, -12 = 4*r. Suppose v = -v + y. Let m = -12 + 12. Put m, -4, v in descending order.
v, m, -4
Suppose -5*f = 6*f - 55. Sort f, 2, 0, -2.
-2, 0, 2, f
Let s(h) = -h**2 + 3*h. Let f = -1 - -5. Let m be s(f). Sort 0, 4, m.
m, 0, 4
Let d = -37 + 29. Sort 2/5, d, 2/9 in ascending order.
d, 2/9, 2/5
Let p be 112/(-14) - (-2)/(-2). Sort -2, p, 2 in descending order.
2, -2, p
Suppose k - 3*u + 6 = 0, u + u = -k + 4. Let o be k/((-1 - 4) + 3). Let p be (5/(-2))/(2/(-4)). Sort o, p, 1 in descending order.
p, 1, o
Let x(z) = -z**2 - 7. Let p be x(-3). Put 3, p, -3, 1 in ascending order.
p, -3, 1, 3
Let a = -4.1 + -0.9. Let s = -2.9 + -0.1. Let z be 3/(-2)*12/(-18). Sort z, s, a.
a, s, z
Let n(f) = -2*f**2 - 2*f**2 + f**2. Let d be n(1). Put 2, 4, d in decreasing order.
4, 2, d
Let n = -0.6 - 2.4. Let m = -19 + 17. Let w = -0.08 + -0.22. Sort n, w, m in decreasing order.
w, m, n
Let m = 32 + -31. Sort 1.5, m, -1 in increasing order.
-1, m, 1.5
Let n = -0.99 + 1. Let m = -1.99 - n. Let s = -68 + 65. Put s, 1/3, m in ascending order