-3, x.
x, -3, 1
Suppose -5 = 7*b + 2. Sort 5, -18, b in decreasing order.
5, b, -18
Let z be 3/22*(100/(-15))/(-5). Put -1, z, 1 in increasing order.
-1, z, 1
Let i = 36 + -34. Suppose -m = -5*r - 6*m, -4*m - 15 = -r. Put 4, r, i in ascending order.
i, r, 4
Let i(b) = 3*b + 3. Let v be i(-2). Suppose -r + 0*r = 0. Let f be r/(-2*(2 + -3)). Put 1, f, v in decreasing order.
1, f, v
Let d = -1 - 4. Let t(y) = y**3 - 4*y**2 - 4*y - 1. Let m be t(5). Sort d, -3, m in decreasing order.
m, -3, d
Let k = 0.16 + 0.04. Let m = k - -1.8. Sort -5, -1/2, m.
-5, -1/2, m
Let b = 8 + -19. Let o = -7 - b. Suppose -2*w - 2 + 8 = 0. Put w, -2, o in descending order.
o, w, -2
Let t = 32 - 31.7. Sort -0.4, -0.3, t.
-0.4, -0.3, t
Let u(k) = -k**3 + 9*k**2 - k + 12. Let s be u(9). Suppose v = 4*n + 2*v + 3, 3*v = -4*n - 1. Suppose r = 5*r - 16. Put n, r, s in descending order.
r, s, n
Suppose 18 + 9 = 3*b. Put b, 5, 4 in decreasing order.
b, 5, 4
Let p be 92/90 + (-18)/81. Sort p, -4, 4/3.
-4, p, 4/3
Let l be (-2)/6 + (-6)/(-18). Suppose -3*n - 1 - 5 = l. Sort n, -1, -3 in increasing order.
-3, n, -1
Suppose 7*t - 1 = -29. Sort t, -43, -2 in ascending order.
-43, t, -2
Suppose 0*k - k + 3 = 0. Suppose 13 = 5*o + k. Put -1, o, -5 in descending order.
o, -1, -5
Let f(u) = u**2 - 1 + u - u**3 + 0*u**2 + u**2. Let x be f(2). Let c = 2/11 - -8/77. Sort -4, x, c in ascending order.
-4, c, x
Let u be (9 - 9) + 4/14. Let t = 0.04 + 1.96. Put 0.5, t, u in decreasing order.
t, 0.5, u
Suppose -4*g + 2*s = 4, 3*g + 6 = -g + s. Sort -3, g, -8, -5.
-8, -5, -3, g
Suppose 0 = -4*l + 12*l + 24. Let o = -14 + 8. Let v = o - -8. Put l, 1, v in increasing order.
l, 1, v
Let l = 30 - 121/4. Let t = -2.8 - -2.91. Let r = t - -3.89. Sort r, l, 2 in descending order.
r, 2, l
Let q = -29 - -33. Let x = -1 + 0.5. Put x, -1/9, q in increasing order.
x, -1/9, q
Suppose n = -4 + 11. Let k = 0 + n. Let c(w) = -w**2 + 7*w - 1. Let g be c(k). Sort g, 1, -2/9 in decreasing order.
1, -2/9, g
Suppose 4*f = -0*f + 12. Sort -2, 0.3, f in descending order.
f, 0.3, -2
Let d = -79.3 + 76. Let a = d + 3. Sort -4, a, 2 in descending order.
2, a, -4
Suppose -3*x + 5 = -2*x. Let c be (-2)/(-1)*(0 - 2). Sort x, -5, c.
-5, c, x
Let g(k) = k**2 - 8*k - 5. Let u be g(10). Suppose 3*i - 3*c = -u, -3*i = -7*i + 5*c - 22. Sort i, 4/7, -5 in decreasing order.
4/7, i, -5
Let c = -27 + 24. Let f = -0.2 + 0.7. Put c, f, 3 in descending order.
3, f, c
Suppose 3*g + 5 = -4*j, 0*g - 4*g = 4*j + 8. Let b be (3/2)/(9/12). Let u = 9 - 13. Sort u, j, b in descending order.
b, j, u
Suppose 0 = -5*p - 5, 2*b - 3*p + 5 = -2*p. Let j = 1 - 1.3. Sort j, b, 2/17.
b, j, 2/17
Let y = 0.69 + -0.99. Put 2/19, 3, y, 5 in decreasing order.
5, 3, 2/19, y
Let i be 2/6 - (-2)/3. Sort i, 4, -5, -1 in decreasing order.
4, i, -1, -5
Let t(u) = u**2 - 9*u + 9. Let c be t(6). Sort c, -1, 4 in decreasing order.
4, -1, c
Let h = 10 - 6. Suppose -5*c - h*k + 1 = -4*c, 0 = 2*c - k + 7. Let n = c + -2. Sort -1, -3, n in decreasing order.
-1, -3, n
Suppose 4*w = 2 + 18. Put 3, w, -7 in increasing order.
-7, 3, w
Let o be 3 - (3 - 19 - -2). Suppose -5*v + 5*l = 33 + o, 3*v = 4*l - 35. Put 0, 5, v in descending order.
5, 0, v
Suppose 0 = 19*k - 3*k - 64. Sort 2, -3, k in descending order.
k, 2, -3
Let a = -0.39 - -0.3. Let n = a + 0.09. Sort 5, n, -4 in decreasing order.
5, n, -4
Let t = 198 + -196. Sort 0, t, -6.
-6, 0, t
Let y = -71 - -80. Let x = 1 + 5. Suppose 3*s - y = x. Sort 1, s, -1/3.
-1/3, 1, s
Suppose -9*r = -3*r - 30. Let b = -2 - 3. Put r, 3, b in descending order.
r, 3, b
Let v = 35 + -45. Sort v, -3, -1/2.
v, -3, -1/2
Let p = 0.35 + -18.35. Let z = p - -23. Sort 2/5, 0, z in descending order.
z, 2/5, 0
Let f be 8/36 - (-13)/9. Sort -2, f, 0.2 in ascending order.
-2, 0.2, f
Let d = 5 + -5.45. Let g = d - 0.05. Sort 2/7, g, -2 in descending order.
2/7, g, -2
Let n = 59 - 297/5. Let v = -1 - 3. Sort n, 0.1, v in ascending order.
v, n, 0.1
Let o = -7 - -22. Let l be (2 + 0)/((-10)/o). Let u = 8 + l. Sort u, 1, 2 in descending order.
u, 2, 1
Let n = -0.2 + 1.2. Let c = 1 - 2. Let j be ((-12)/64)/(c/4). Sort n, 0.4, j in decreasing order.
n, j, 0.4
Let g = 0.2 + -0.5. Let d = -0.53 - -0.03. Let y = d - -1. Put y, 0.1, g in descending order.
y, 0.1, g
Let g = -0.08 - 2.92. Suppose -3*i - v - 3*v = 5, -4*v - 8 = 0. Put g, 0.5, i in ascending order.
g, 0.5, i
Let c(t) = -t**2 + 14*t + 18. Let j be c(15). Sort j, -2, -3.
-3, -2, j
Suppose -o = -3*o + 12. Let g be 33/o - 6/4. Let i be -3*(8/3 - 2). Sort 5, g, i in ascending order.
i, g, 5
Let s(n) = n**3 - 3*n**2 - 3*n - 1. Let j(i) = i. Let y be j(4). Let r be s(y). Suppose 0 = q + r, q - 2*q - 12 = -3*z. Sort z, -1, 1.
-1, 1, z
Let h = -15.6 - -16. Sort 0, h, -1 in decreasing order.
h, 0, -1
Suppose -5*s = -9 - 6, 0 = -5*x + s + 2. Let r(i) = i + 6. Let p be r(-11). Let b = p + 10. Put x, -4, b in descending order.
b, x, -4
Suppose -v - 3*v = -12. Let d(y) = y**2 - 4*y. Let b be d(4). Let h(o) = -o**3 - o**2 + o + 5. Let u be h(b). Sort -1, v, u in decreasing order.
u, v, -1
Let i = -13 + 9. Put i, 3/4, -0.2 in descending order.
3/4, -0.2, i
Let w be 4 + 3 + -13 + -4. Let s = -4 - w. Sort -1, 3, s in descending order.
s, 3, -1
Suppose 0 = -11*j + 13 + 20. Sort 1, j, -9.
-9, 1, j
Let q = 49.7 + -50. Put 0.1, q, -2/9, -4/3 in ascending order.
-4/3, q, -2/9, 0.1
Let a(i) be the second derivative of -i**3/2 - i**2/2 + i. Let q be a(1). Let x = q - -7. Sort 5, -1, x in ascending order.
-1, x, 5
Let j = 0.17 - -2.83. Sort j, -2, -1/4.
-2, -1/4, j
Let v(w) = w - 20. Let y be v(14). Sort 4, -4, y.
y, -4, 4
Let o = 10 - 9. Put -3, -21, o in decreasing order.
o, -3, -21
Let q(p) = p - 3. Let t be q(0). Let r = t + 2. Suppose 0 = -5*j - a - 1 - 17, 4*a + 12 = 0. Sort 3, r, j in increasing order.
j, r, 3
Let q = 31 - 25. Let m be q/10 + (-34)/(-10). Sort 0.4, 2, m in descending order.
m, 2, 0.4
Let j = -96841/8 - -12124. Let l = j + -19. Let n = -3 - -5. Put -4, l, n in decreasing order.
n, l, -4
Let y(f) = 10*f - 3. Let p be y(2). Suppose 5*i = -p - 3, 5*i = x - 25. Suppose 0 = 3*o - x*m - 2, -m + 10 = 3*o - o. Put o, -1, -5 in decreasing order.
o, -1, -5
Let p(u) = 2*u - 15. Let a be p(10). Let m(t) = -t + 3. Let r be m(a). Sort r, 0.2, 5 in increasing order.
r, 0.2, 5
Let m = -281 - -284. Let x = 10 - 6. Put x, m, 1 in decreasing order.
x, m, 1
Let g be (30/20)/(10/(-4)). Sort 0.4, g, -0.4 in increasing order.
g, -0.4, 0.4
Let q = 31.9 + -32. Sort -0.8, 0.2, q, 0 in decreasing order.
0.2, 0, q, -0.8
Let j = 0.04 + 0.06. Let t = -3.1 + j. Let l be (-2)/(-11) - (6 - 6). Put 2, t, l in increasing order.
t, l, 2
Let l(y) = y**3 - 4*y + 3. Let g be l(2). Suppose -4 = 5*q + 16, 5*q = -g*f - 8. Put -5, 0, f in increasing order.
-5, 0, f
Suppose 6*c = 7*c + 13. Let s = -10 - c. Sort s, 1, -1 in descending order.
s, 1, -1
Suppose h + 3*r = 10 + 4, 5*h - 2*r = 2. Put -3, 6, h in increasing order.
-3, h, 6
Let w = 3 + -2.8. Suppose 0 = -z + 3*z - 6, -5*h + 4*z = -58. Let u be (-20)/15*(-3)/h. Put u, w, 0.1 in ascending order.
0.1, w, u
Let u be -1 + -1 + (0 - -3). Suppose 9*l = 4*l - 10. Sort -7, l, u.
-7, l, u
Let u = 8 + -6. Sort -3, u, 0 in ascending order.
-3, 0, u
Let k = 1 - 3. Let u(l) = -l**2 + 4*l + 1. Let p be u(2). Suppose 2*w - 5*s = -6, -3*w + 2*w + p*s - 3 = 0. Put -5, w, k in increasing order.
-5, w, k
Let a be ((-7)/(-4))/(-7)*-16. Put a, 1, 46 in descending order.
46, a, 1
Suppose -u - 2*y = -3, 2*u - 5*y = 3*u - 15. Sort u, -2, 4, -4 in increasing order.
u, -4, -2, 4
Let j be 2 - (2 + -1) - 1. Suppose -13 = 5*n - 4*f, -4*n = -3*f + 4*f + 2. Put n, 3, j in descending order.
3, j, n
Let q(k) = k**2 - 10*k + 1. Let o be q(10). Let j be -1 - (o + -4 - -2). Put -1, -6, j in increasing order.
-6, -1, j
Suppose q = 5*q - 304. Let t be q/14 + 15/(-35). Suppose 4 = t*o - 21. Sort 1, o, 4 in descending order.
o, 4, 1
Suppose r - 2 = -0. Let c = 0 - r. Sort 1, c, -4 in ascending order.
-4, c, 1
Suppose -4*o + 7*o = 0. Sort -2, -12, o in ascending order.
-12, -2, o
Let l = -1 - 1. Let d(k) = k**3 - 20*k**2 + 21*k - 7. Let m be d(19). Let f = 30 - m. Put 5, l, f in descending order.
5, f, l
Suppose 0 = h - 3*h - 4. Sort 1, h, 4 in descending order.
4, 1, h
Suppose -m - 3*m + 4*w - 12 = 0, 15 = 5*w. Put 3, 8,