 in increasing order.
p, -2, 0
Let d = 3.08 - 0.08. Let i = 51 - 53. Sort d, -36, i in descending order.
d, i, -36
Suppose -7*f - 145 = -5*l - 2*f, l = 3*f + 25. Let a be (-151)/4 - 11/44. Let y = l + a. Sort 2, y, 5 in increasing order.
y, 2, 5
Let l(p) = -5*p**2 - 7*p + 4. Let u be l(5). Let h = u - -158. Sort h, 0, -5.
-5, 0, h
Let c = -0.1061 + 4.1061. Sort -0.074, c, -0.07 in increasing order.
-0.074, -0.07, c
Let d be (8/16)/(3 - 5). Put -2/15, -1.4, d in decreasing order.
-2/15, d, -1.4
Let t = 5.7 + -0.7. Let i = -69 - -68. Sort t, -4, i, -5 in descending order.
t, i, -4, -5
Suppose 2 + 8 = r. Let f = 12 - r. Suppose -t + 0*t + 2*d - 2 = 0, -3*d + 2 = -t. Sort t, 4, f in descending order.
4, f, t
Let k = -0.584 + 1.084. Sort k, 7.9, 3 in increasing order.
k, 3, 7.9
Let m(y) = 11*y - 25. Let u be m(2). Sort 11, -3/4, u in decreasing order.
11, -3/4, u
Let q = 15 + -14.6. Let f = -0.14 + 0.2. Let v = 1.06 - f. Sort q, v, -5 in decreasing order.
v, q, -5
Let a = 393.84 + -394. Sort -3, a, -1/6 in increasing order.
-3, -1/6, a
Let o be (-1 + 25/10)/(6/212). Let t = o + -47. Sort t, 5, -5 in increasing order.
-5, 5, t
Let w be 3/4 + (-2)/(-8). Let q(h) = 3*h + 65. Let n be q(-20). Suppose n*l = -4*v - 16, -2*l + 7 = -5*l - 5*v. Put w, -3, l in increasing order.
l, -3, w
Let k = 24/49 - 506/833. Put -17, -2/5, k, -1 in decreasing order.
k, -2/5, -1, -17
Let g(c) = -9*c + 21. Let z be g(2). Sort z, 1, -17.
-17, 1, z
Suppose -5*d - 100 = 4*g - d, -4*d - 37 = g. Put -2, g, -4 in increasing order.
g, -4, -2
Let u be 15/13 + 0 + -1. Suppose 4*i + 71*r - 4 = 69*r, -22 = 5*i - 2*r. Sort -3/7, i, u, -0.2.
i, -3/7, -0.2, u
Let n = -2597 + 2596. Put -527, -3, n in descending order.
n, -3, -527
Let j = -901/66 + 83/6. Suppose -t + 6*t = -75. Let g be (-4)/6*t/10. Put g, 0.5, j in increasing order.
j, 0.5, g
Let m = -296 - -298. Put m, 1, -3, 3 in increasing order.
-3, 1, m, 3
Let n(t) = -t**2 + 3*t + 7. Suppose -h = -2*h - 8. Let q be 1*8 - (-5 - h). Let m be n(q). Put m, 2, 4 in decreasing order.
4, 2, m
Let d = -6 - -11. Let v(w) = -4*w + 21. Let p(t) = -t**3 - t**2 + t + 6. Let a be p(0). Let j be v(a). Sort d, j, 1 in decreasing order.
d, 1, j
Let l be 5*(4 + 6 + -9). Suppose 2*x + x - 6 = 0. Sort 0, -2, l, x in descending order.
l, x, 0, -2
Let s be 54/(-9) - (-38)/(-19). Sort 75, 0, s in ascending order.
s, 0, 75
Suppose 4 = 8*p - 6*p. Let z(u) = u - 11. Let l be z(8). Sort p, l, -5 in decreasing order.
p, l, -5
Let j = 11689/888 + 1/296. Let f = j - 27/2. Sort -1/9, -0.1, f in increasing order.
f, -1/9, -0.1
Let q = -6.52 - -6.6. Let b be ((-2)/12)/(2/3). Put q, b, 1 in decreasing order.
1, q, b
Let b = 2073 - 2071. Sort -26, b, -5, -3.
-26, -5, -3, b
Suppose 4*v = 4*a + 12, -4*a - 2 = -v + 1. Let y(l) = 3*l**2 + 31*l - 13. Let d be y(-11). Let o = a + d. Sort o, 0, -2 in ascending order.
-2, 0, o
Suppose -53 = 2*j - 27*a + 26*a, 2*a = 2*j + 56. Sort 2/3, 5, 4/7, j in increasing order.
j, 4/7, 2/3, 5
Let p = 9 - -3. Let o(j) = j - 13. Let q be o(p). Suppose 3 + 9 = 2*n. Sort 0, q, n.
q, 0, n
Let u(g) = -g**2 - 7*g + 40. Let c be u(4). Sort 0, -1, 10, c in decreasing order.
10, 0, -1, c
Let h(f) = f - 10. Suppose -o = 4*b - 26, 38 = -3*o + 8*o - 3*b. Let k be h(o). Suppose k = 2*l + 2*l + 12. Put -1, -2/15, l in increasing order.
l, -1, -2/15
Suppose 2*t = 5*i + 3*t + 13, -5*t = 3*i + 21. Sort i, 87, -3 in ascending order.
-3, i, 87
Let h(g) = -5*g - 59. Let m be h(-11). Sort -3, m, -8, -1 in decreasing order.
-1, -3, m, -8
Let u be ((-8)/(-168)*6)/1. Let n be (-4)/(-3)*(-1)/(-6). Let t be (0 + 0 - 2)/(-5). Sort u, t, n in decreasing order.
t, u, n
Let f(y) = y**2 - 3*y + 4. Let g be f(3). Let x be 15/(-1) - (2 + 1). Let o = 17 + x. Put g, o, -5 in increasing order.
-5, o, g
Let l = -13 + 17. Suppose r + l = 5*r. Let w = 4 + -6. Put 0, w, r in decreasing order.
r, 0, w
Let b(a) = -a**3 + a + 16. Let p be b(0). Let o be ((-1)/(-2))/((-28)/p). Let i = -4.02 - -0.02. Put o, i, -0.2 in descending order.
-0.2, o, i
Suppose -19 = 3*a + 7*a + 1. Suppose 0 = -5*r + 4*m + 1, 5*r - 4*r - 4*m = 13. Sort 2, 4, a, r in decreasing order.
4, 2, a, r
Let c(l) = 30*l + 55. Let h be c(-2). Put h, -8, -2, -15 in descending order.
-2, h, -8, -15
Suppose 5*x + 3 = 5*y - 2, 2*y = 4*x + 10. Let w be ((-10)/4)/((-4)/(-8)). Let h be (-22)/w - 28/70. Put 2, h, y in descending order.
h, 2, y
Let f = -0.02 - -0.22. Let b = f - -0.8. Let i = -0.53 - -0.13. Put -1.2, b, i in increasing order.
-1.2, i, b
Let o = 3 - 2.6. Let t = 173 + -173. Let x = o + t. Put x, -2/7, 4 in increasing order.
-2/7, x, 4
Let x = -114 - -113. Let a = 61785 - 678339/11. Let j = a + -118. Sort x, j, 3 in ascending order.
x, j, 3
Let j(o) = -o**2 + 12*o - 6. Let w be j(11). Suppose h + 22 = w*n, n - 2*h = h - 4. Put n, -4, -3 in decreasing order.
n, -3, -4
Let z = 135 - 43. Let l = -89 + z. Put l, -7, 1/4 in decreasing order.
l, 1/4, -7
Let r = -1834/5 - -366. Sort -0.15, 1/3, r in descending order.
1/3, -0.15, r
Let m = -84 + 89. Sort m, -0.3, 29, 4 in decreasing order.
29, m, 4, -0.3
Let l = 0.7 + -0.9. Let p = 7.58 + -7.4. Sort p, l, 0.2 in decreasing order.
0.2, p, l
Let f = -313 - -306. Put 3, 5, f in decreasing order.
5, 3, f
Let r(p) = p**3 + 8*p**2 + 7*p + 2. Let v be r(-7). Suppose v*i + 6 = 4*i. Let c = 1665 - 1663. Put i, 5, c in descending order.
5, i, c
Let c(v) = v**3 - 56*v**2 + 57*v - 110. Let d be c(55). Put d, 51, -1, 2 in increasing order.
-1, d, 2, 51
Let b(k) = -k**2 + 8*k + 29. Let x be b(11). Suppose -2*r - 2*r = -3*q - 60, -20 = -r + 2*q. Suppose r = 5*z - z. Sort -2, z, x in ascending order.
x, -2, z
Let y = -0.859 - -1.359. Sort -11, -39, y in ascending order.
-39, -11, y
Suppose v - 2*p = -12, 0 = 3*v - 5*p + 13 + 19. Let j(r) = -r**2 - 16*r - 59. Let d be j(-8). Sort v, -1, 4, d in ascending order.
v, -1, 4, d
Let l = 30.98 + -31. Let r = 2.98 - l. Put r, 0, -5 in ascending order.
-5, 0, r
Let z be (-16)/5 - 3/(-15). Let r = 342.6 - 378. Let o = 35 + r. Sort o, z, 0.08 in decreasing order.
0.08, o, z
Suppose -22*f + 520 = -9*f. Suppose 0 = 2*h - f + 46. Suppose 0 = -5*o + 2 - 7, 2*w - 3*o - 9 = 0. Sort h, -5, w.
-5, h, w
Let u = 0.3 - 0.9. Let k = 1073/28 + -270/7. Sort 5, k, u in descending order.
5, k, u
Let k be 7/(-14 + 49) - (-249)/5. Sort -5, -3, k, 3 in descending order.
k, 3, -3, -5
Let s = 0.4 - 3.4. Let w = -1/20 + -17/60. Put w, 6, s in descending order.
6, w, s
Suppose -3*k + 2 = -4. Suppose -5*y - 4*x = -17, 1 = -y + 2*y + 2*x. Let j = 2 + -2. Sort k, j, y in descending order.
y, k, j
Suppose -4*y - 3*l = 1, 134*y - 138*y = 4*l - 4. Sort y, -3, -114 in decreasing order.
-3, y, -114
Let j = -2140 + 2147. Put -1, -4, j, 0 in increasing order.
-4, -1, 0, j
Let i = 0.28 - 0.3. Let f be (-7)/(-12)*-58 - 2. Let n = f - -35. Sort n, i, -2 in descending order.
i, n, -2
Let v = 10.2 + -10.27. Sort v, 0, -2 in decreasing order.
0, v, -2
Let z(t) = -t + 1. Let h(k) = -k**2 + 19*k - 22. Let c(x) = h(x) - 2*z(x). Let g be c(20). Sort -5, 0, 5, g in decreasing order.
5, 0, g, -5
Let o = -98 - -100. Suppose 5*i + 2*b = -8, -7*i - o*b = -6*i. Let f(d) = -d**3 + 6*d**2 + d - 1. Let j be f(6). Sort 4, j, i in increasing order.
i, 4, j
Let a = -68/3 + 281/12. Sort a, 0, 3/5, 7.
0, 3/5, a, 7
Let q = -3 - -2. Let x(v) = -v**3 + 17*v**2 + 61*v - 23. Let f be x(20). Sort 2, f, 0, q in descending order.
2, 0, q, f
Let n = -3.2 - -7.2. Let a be (-6)/(2 + 0 + 0). Sort -0.4, a, n in descending order.
n, -0.4, a
Let f = 0.7 + -0.7. Let w = -26 + 46. Let g be w/(-64)*(-2)/5. Put -1/6, g, f in decreasing order.
g, f, -1/6
Let i be (2499/(-84))/(3 - (-25)/(-8)). Sort -4, -2, i, 1 in descending order.
i, 1, -2, -4
Let c = -1.1199 + 0.1199. Sort -2.1, c, -3.
-3, -2.1, c
Let q be (-8)/(16/(-3)) + -1. Sort q, 2, 2/13.
2/13, q, 2
Suppose 3*b + 6 + 9 = 0. Sort b, 25, 1.
b, 1, 25
Let j be (-462)/(-4) + 32/(-64). Let w = j - 110. Put -3, w, 4 in decreasing order.
w, 4, -3
Let v = 64 + -63. Let g be v/3*(-21)/(-35). Sort -0.4, g, 1/4 in ascending order.
-0.4, g, 1/4
Suppose l + 3*w = 14, 0 = 22*l - 21*l - 2*w + 1. Let n = 4 - -15. Sort n, l, -1, 0 in decreasing order.
n, l, 0, -1
Suppose -12 = 5*f - 37, -c + 5*f = 25. Sort 4, -4, 17, c.
-4, c, 4, 17
Let n(z) = 14*z**3 - z**2 - z - 1. Let g be n