ascending order.
-2, s, 0.5
Suppose -6*g + 248 = 7*g - 3*a, -60 = -2*g - 5*a. Put 2, 1, 5, g in decreasing order.
g, 5, 2, 1
Let g = 65 - 65. Sort g, 5, -3, -12 in ascending order.
-12, -3, g, 5
Let i be -8 - ((-138)/(-6) - -1). Sort 1, i, 2 in ascending order.
i, 1, 2
Let r be (-5 + (2 - -5) - 2)/2. Sort r, -21, 1 in ascending order.
-21, r, 1
Let v(r) = 7*r**2 + 42*r - 4. Let x be v(-6). Sort 5, x, 7 in increasing order.
x, 5, 7
Suppose 2*v = 2*o - 82, 0 = -o + 3*o - v - 86. Let x = -15 + o. Sort x, 3, -2 in descending order.
x, 3, -2
Let z = 63 + -56. Suppose 10*q - z = -37. Let v = 1 - -2. Put v, q, -4 in descending order.
v, q, -4
Let u = -8 - -22. Let v = u - 18.9. Let g = v + -0.1. Sort 0.2, -0.2, g.
g, -0.2, 0.2
Let r = 477116/137709 - -98/963. Let v = 44/13 - r. Let l = -4 - 0. Sort -0.5, l, v in descending order.
v, -0.5, l
Let i = -9877/6 - -1654. Let q = 311/42 - i. Let c = 38 - 33. Sort -2, q, c in descending order.
c, q, -2
Let d = -275 - -2473/9. Sort d, -41, 4 in decreasing order.
4, d, -41
Let o(i) = i**2 - 2. Let h be o(2). Let q be (-2*(-1)/(-2))/(-8 + 9). Put h, q, -8, -4 in decreasing order.
h, q, -4, -8
Suppose -179 = -3*z + 4*o, 182 = -5*z + 8*z - o. Put -4/7, -5, z, 0.5 in ascending order.
-5, -4/7, 0.5, z
Suppose -717 = 6*x - 267. Let r = x - -827/11. Let y = -7 - -12. Sort r, y, 2/3 in descending order.
y, 2/3, r
Let q = -34 - -33.7. Put 1, 0.22, q in increasing order.
q, 0.22, 1
Suppose -4*h + 7*h - 18 = 0. Let q be -3*(4/h + -1). Let c = -51 + 258/5. Sort -1/4, q, c.
-1/4, c, q
Let l be (200/(-75))/((-2)/3). Put 7, 2, -10, l in increasing order.
-10, 2, l, 7
Let f(y) = -3*y**2 + 39*y + 39. Let o be f(14). Put o, 4, -5, -11 in descending order.
4, o, -5, -11
Suppose -2*n + d = 3*d - 8, 5*n = -3*d + 22. Suppose n*k - 6 = -1. Let a be 3/k + -2 + 3. Put -2, 2, a in descending order.
a, 2, -2
Let a(u) = 2*u**2 + 3*u - 15. Let v be a(-4). Suppose 0 = -2*i - 2 - 8. Put i, v, 2 in decreasing order.
v, 2, i
Suppose -292 + 276 = -8*l. Sort 8, 7, l in decreasing order.
8, 7, l
Let j = -48 - -19. Let d = j + 29.2. Put 5, d, -5 in ascending order.
-5, d, 5
Let m = -5 + 8. Let u be (5/12)/((-145)/(-58)). Put u, 2, m in descending order.
m, 2, u
Let g = 155 - 160. Put 4, g, 5, -1 in decreasing order.
5, 4, -1, g
Let s(d) = -d**3 - 7*d**2 + 7*d - 6. Let l be s(-8). Suppose -k - 13 = -2*c, -2*k - l*c = 5 - 3. Sort -1, 5, k in ascending order.
k, -1, 5
Let x = -315 - -315. Sort x, -89, -1.
-89, -1, x
Let h = 28 - 25. Let j = -2.32 + -0.68. Put 2, j, 0.13, h in descending order.
h, 2, 0.13, j
Suppose -1203*b - 10 = -1198*b. Sort 4, b, 10 in ascending order.
b, 4, 10
Let p = 763 + -758. Let d be ((-3)/17)/(3/(-2)). Sort d, -4, p, 0.4.
-4, d, 0.4, p
Let a be (-12)/4 + (-9)/(-3). Suppose 3*z = -a*v + 2*v + 11, -14 = -4*z + 2*v. Let f(o) = o - 5. Let i be f(4). Sort i, -5, z.
-5, i, z
Let u be 24/6 + -5 + 9/7. Sort -0.2, u, 0.3, 4.
-0.2, u, 0.3, 4
Let q(i) = -12*i - 1. Let z be q(-1). Let s = 5 - 7. Sort z, s, -3, -1/4 in ascending order.
-3, s, -1/4, z
Let s(v) = 2*v**2 + 8*v - 7. Let u(o) = 4*o**2 + 17*o - 14. Let t(y) = -9*s(y) + 4*u(y). Let x be t(-4). Sort x, 3, 0 in increasing order.
x, 0, 3
Let u(n) = -n + 11 + 3*n - 3*n. Let d be u(5). Suppose -j - 14 = -5*k, 0 = 2*j + 104*k - 108*k + 10. Put 0, d, j in descending order.
d, j, 0
Suppose -4*q - 7 = -47. Let i be (-6)/2 + q + -5. Let d(h) = -3*h**2 + 4*h - 3. Let k be d(i). Sort 1, 3, k in decreasing order.
3, 1, k
Let f = -0.023 - -28.023. Let y = f + -18. Let k = y - 5. Sort -5, -1, k in ascending order.
-5, -1, k
Let k = -4 - -1. Suppose 438*p - 704 = 350*p. Sort 4, 1, p, k in ascending order.
k, 1, 4, p
Let n = 3.1 + 0.9. Let a = n - 0. Let f be (12/(-63))/(17/(-7) - -1). Sort -3, f, a in ascending order.
-3, f, a
Let o = -1 - 2. Let q = -29/1427 + -1550888/12843. Let a = -121 - q. Put -1, o, a in ascending order.
o, -1, a
Let c(t) = t**2 - 3*t - 4. Let u be c(4). Let w(i) = -3*i**2 - i + 2. Let j be w(0). Suppose j*o - 9 + 11 = 0. Put u, 5, o in increasing order.
o, u, 5
Let s = 0.009 - 0.062. Sort -2/17, 3, -5, s in increasing order.
-5, -2/17, s, 3
Let x(i) = -i**3 - i**2 + 3*i + 1. Let s be x(5). Let n = s + 132. Sort 4, -6, n, 1 in descending order.
4, 1, n, -6
Suppose -3*u + 10 = 4*b, -4*u - 3*b = -0*u - 4. Put 3, 4, -5, u in descending order.
4, 3, u, -5
Let s be (-12*1/(-2))/((-2)/(-1)). Sort -4, s, 119 in decreasing order.
119, s, -4
Let o = -0.05 + -5.95. Let h = 4.88 + 0.12. Let y = h + o. Sort y, 0.5, -5.
-5, y, 0.5
Let n(t) = -t**3 - 18*t**2 + 210*t - 11. Let f be n(8). Suppose -u - u + 6 = 0. Sort 2, f, u, -13.
-13, 2, u, f
Let d = 11 - 5. Let z = d - 7. Let j(q) = q**3 + 11*q**2 + 12*q + 16. Let g be j(-10). Sort g, -2, z.
g, -2, z
Suppose 91*n = 126*n - 35. Put -2, -1, 4, n in decreasing order.
4, n, -1, -2
Suppose 2*g + 3*f + 7 = 0, -18*f + 7 = -5*g - 15*f. Let r = 1.98 + -2. Put g, 4, r, 2 in increasing order.
g, r, 2, 4
Let i = 17 - 17. Let l = 0.5 + -0.8. Sort i, -0.2, l, 0.1 in ascending order.
l, -0.2, i, 0.1
Let v = 1 + -1.5. Let n = 6.724 + -11.724. Put -2, n, v, -3 in increasing order.
n, -3, -2, v
Suppose 2*f + 6 = 2. Let o be 8 + 11*(-9 + 8). Sort o, 1, f.
o, f, 1
Let h = 370 + -372. Put h, -29, 3 in decreasing order.
3, h, -29
Let r = 1 - 0. Let t = -154/5 - -31. Sort r, t, 0.5 in increasing order.
t, 0.5, r
Let i = 272.5 + -273. Put -1.7, -1, i in decreasing order.
i, -1, -1.7
Let g = -1.5 - 0.3. Let m = -1.72 - g. Sort -0.4, -0.5, m in descending order.
m, -0.4, -0.5
Let m(g) = -g**3 - 7*g**2 - 10*g - 24. Let p be m(-6). Put p, 4, 13, -2 in decreasing order.
13, 4, p, -2
Let p = -0.1194 - 0.0806. Sort 0, 0.2, -0.1, p in decreasing order.
0.2, 0, -0.1, p
Suppose 0 = 4*i - 2*i, 0 = 5*k - 2*i + 10. Put -1, -48, k in ascending order.
-48, k, -1
Let i = 5 - 0. Let b(x) = -18*x - 70. Let j be b(-4). Put 4, 1, j, i in ascending order.
1, j, 4, i
Let x = -1675843 - -31832427/19. Let u = x + 452. Put u, 4, -0.1 in descending order.
4, -0.1, u
Let g be (18/(-4))/((-180)/80). Put 5, g, 21, -4 in increasing order.
-4, g, 5, 21
Let t(d) = 4*d - 46. Let n be t(12). Put n, -5, 7 in increasing order.
-5, n, 7
Suppose 23 = -7*n + 2. Suppose -2*z = -3*z - 3*f + 10, -z = -2*f + 10. Let s be z/6 + (-14)/(-6). Put 5, n, s in decreasing order.
5, s, n
Let p = -4 + 4.06. Let h = -409 - -408.9. Put p, 0.5, h, -0.4 in ascending order.
-0.4, h, p, 0.5
Let o = -2.942 - 0.058. Put -2/7, 0.4, o, 51 in increasing order.
o, -2/7, 0.4, 51
Let h = -2/1885 - 6784/1885. Put 0, h, -1 in decreasing order.
0, -1, h
Let v = -0.3 - -0.35. Let i = -18.58 + 21.58. Let g = -406/45 - -44/5. Sort g, i, v in ascending order.
g, v, i
Let u = -5 + 8. Let f = 8 - 17.3. Let z = f - -11.3. Sort u, z, 0.3 in ascending order.
0.3, z, u
Let m = 80 + -56. Let p be 1502/m + (-8)/(-48). Let h = p + -63. Sort 0.2, -3/4, h in descending order.
0.2, h, -3/4
Let g = -0.16 + -0.94. Let j = -1 - g. Let r = 25.02 + -20.02. Put j, 3, r in increasing order.
j, 3, r
Let i be (-12)/(-16) - (-17)/4. Let c(z) = z**3 - 9*z**2 + 11*z - 22. Let j be c(8). Sort i, j, 6, -4 in ascending order.
-4, j, i, 6
Let o = -2187 + 2186. Sort -3, o, 2, -14 in increasing order.
-14, -3, o, 2
Let c be (-2)/4 + 18/4. Let h = -612 - -612. Sort 1, h, -1, c in increasing order.
-1, h, 1, c
Let c = -4.92 - 0.08. Let l = c - -2. Let v be ((-4)/64)/(4/8). Put l, v, -0.3 in decreasing order.
v, -0.3, l
Suppose 2*g + 10 = x, 8*g - 4*g = 3*x - 22. Sort g, 0.3, -2 in ascending order.
g, -2, 0.3
Let f = 0.11 + -4.11. Let w = 0.28 - -2.72. Let s = w + f. Sort 2, s, 1 in decreasing order.
2, 1, s
Let f = -2/77 + -65/462. Let g = -0.2 + 0.1. Let v = -26 - -25.5. Put v, f, g in descending order.
g, f, v
Let g be 0/1 - 16/(-96). Sort -2/3, 1, g, 3/11 in increasing order.
-2/3, g, 3/11, 1
Let f be (-4)/(-5)*(-2 - (-15)/12). Suppose -4*o + 0*o = -4*q - 88, 0 = -5*q - 3*o - 142. Let a be (-22)/q + -3 + 2. Put a, 8, f in increasing order.
f, a, 8
Suppose -u = 2*i - 6, i = 5*u - 2*u + 3. Let a be 0 + (18/(-16))/3. Put u, a, -2/11 in increasing order.
a, -2/11, u
Let h = 72 + -76. Suppose 18 + 0 = 6*f. Put -5, f, 2, h in ascending order.
-5, h, 2, f
Suppose -3*h - 22 = -5*t, -4*t - 3*h - 4 = -0*h. Suppose 0 = -n - n + 3*l - 44, t*n + 36 = -l. Let r = n 