/2, i
Let p(h) = -3*h**2 - 69*h + 2. Let q be p(-23). Let x = 0 + -2. Sort -4, q, x in ascending order.
-4, x, q
Suppose 6 = 5*q - 4. Let c = -134.6 + 135. Sort c, 3/2, q.
c, 3/2, q
Suppose -4*g + 8 = 0, -5*g + 2 = 3*r - 5. Let d = r - -3. Put 5, d, -5 in decreasing order.
5, d, -5
Let g(u) = -35*u - 75. Let j be g(-2). Suppose -3*x - 7 = -1. Sort j, x, -3 in ascending order.
j, -3, x
Suppose -2*n = -5*c + 2*n - 5, 2*c + n + 15 = 0. Sort c, 4, -3 in descending order.
4, -3, c
Suppose 2 = 2*f, 5*f - 17 - 8 = 4*g. Let l be (-16)/70*g/2. Let w = 2 + -3. Put -1/3, w, l in increasing order.
w, -1/3, l
Suppose 4 = 2*c + 12. Put -2, c, 12 in descending order.
12, -2, c
Let a = -4.97 - -5. Let r = 0.47 + a. Sort 3/4, 2, r.
r, 3/4, 2
Let z(n) = n**3 - 6*n**2 + 4*n - 4. Let g be z(4). Let x be 9/2*g/(-15). Suppose 1 = -5*p + 2*j + 14, -2*p = -j - x. Sort -5, p, -1.
-5, -1, p
Let z be (12/9)/((-4)/(-30)). Sort 0, z, 5 in increasing order.
0, 5, z
Let n = -4 + 5. Let l = 4 - n. Put 4, -2, l in ascending order.
-2, l, 4
Suppose -2*g - 2*l = -6*g - 2, 5*g + 7 = 4*l. Put g, 5, 0 in increasing order.
0, g, 5
Let q be (-4)/((-4)/(-5)*(-25)/(-10)). Suppose 0 = 6*g - 2*g + 3*f - 11, 4 = 4*f. Sort g, 3, q in increasing order.
q, g, 3
Let m = -4 + 3.6. Sort 4, 0.7, 2/5, m in ascending order.
m, 2/5, 0.7, 4
Let p be 2/(-8) - 18/24. Put -3, p, 1, 11 in descending order.
11, 1, p, -3
Let j = 253/4 + -63. Let d be 14/4*4/2. Let g be -2 + d/5 + 1. Sort j, -0.2, g in ascending order.
-0.2, j, g
Let j = 18 - 31. Let n = 7.79 - -0.21. Let r = n + j. Sort 0.5, r, 0.1 in descending order.
0.5, 0.1, r
Let o be (50/(-15))/(2/3). Suppose 0 = -v - 3*v + 4. Sort o, 5, v in decreasing order.
5, v, o
Let o(w) = -w - 6. Let n be o(-11). Let d = 6 - 4. Suppose 5*i = u + 12, -d*u + 7*u = -2*i + 21. Put n, 4, u in increasing order.
u, 4, n
Let w = 8.3 - 0.3. Let o = 13 - w. Sort o, 1/5, -2 in decreasing order.
o, 1/5, -2
Let m = -0.068 + -29.932. Let b = -26.4 - m. Let k = b + -0.6. Sort -5, 0.4, k in ascending order.
-5, 0.4, k
Let u = -7 + 6. Suppose 0 = k + 3*l + 2, -3*k + 4*l + 20 = -0*k. Sort -2, u, k in decreasing order.
k, u, -2
Let p = -89 + 124. Sort p, 4, -4 in increasing order.
-4, 4, p
Let z = 31 + -17. Let l = z + -21. Let x = -6.5 - l. Put 2, -4, x in increasing order.
-4, x, 2
Let n be (9/18)/((-2)/8). Sort -4, 1, n in increasing order.
-4, n, 1
Let x be 39/(-65)*(-5)/(-1). Put 0, -0.4, x in ascending order.
x, -0.4, 0
Let u = -14 - -73/5. Suppose -g = -0*g - 6. Let j be (1/2 - 1)*g. Sort j, u, -0.2.
j, -0.2, u
Let g be (2 + 0)*(-7)/2. Let n = g - -12. Suppose -2*t = -4*t. Sort -5, t, n in descending order.
n, t, -5
Let d(x) = -x**3 - 6*x**2 + 8*x + 8. Let v be d(-7). Let t = -2 - -7. Suppose 0 = -5*p + t*o + 11 + 4, -p = o - 5. Put p, 5, v in decreasing order.
5, p, v
Let z be ((-56)/(-35))/((6/(-15))/(-1)). Sort z, 2, -1, 0 in increasing order.
-1, 0, 2, z
Let a be 135/36 + (-1)/(-4) - 2. Sort -2, -1/8, 4, a.
-2, -1/8, a, 4
Suppose -17 = -2*a + 3*c, -a + 15 = -5*c - 4. Sort -1, -8, a, 3.
-8, -1, 3, a
Let s be (3/(-6) + 0)*0. Let z = 1 + 2. Sort z, -3, s in descending order.
z, s, -3
Let t(j) = -2*j**3 + 2*j**2 + j. Let x be t(-1). Let z = -3 - 0. Let f be -5 + z/x + 1. Sort f, 4, 3 in descending order.
4, 3, f
Let f = 1/38 - -9/19. Let d = -3.04 - -3. Let y = d + -3.96. Put y, f, -0.3 in descending order.
f, -0.3, y
Let l(k) = k**3 - 5*k**2 - 8*k + 9. Let d be l(6). Suppose 7*c - 12 = 4*c - 5*x, 2*x = 5*c - 20. Sort d, c, 5 in descending order.
5, c, d
Suppose 4*a = 4*h + 40, -25 = -2*a - a + 2*h. Let q be ((-9)/(-4))/((-6)/(-16)). Sort a, q, -5 in ascending order.
-5, a, q
Let a = 59 - 235/4. Suppose -15 = -3*j, -31 = 3*f - j - 4*j. Let w be 12/8*f + -1. Put w, 3/5, a in decreasing order.
3/5, a, w
Let m = 71 - 71. Put 2, m, 1 in descending order.
2, 1, m
Suppose 12 = -12*t + 15*t. Sort 1, t, 2 in decreasing order.
t, 2, 1
Let q be 1952/38*(-4)/(-1232). Let p = -2/133 - q. Let o = 26 + -28. Sort p, 0, o in decreasing order.
0, p, o
Let s = 3 + 1. Suppose -3*v + 1 = -2*b, 5*v - s*v + 4*b = 19. Put 9, 0, v in increasing order.
0, v, 9
Let j = -0.008 - -4.608. Let p = 5 - j. Sort 1/2, 5, p in decreasing order.
5, 1/2, p
Let d(p) = p + 1. Let m be d(-3). Let s be m/(1/1) - -7. Suppose -22 - 2 = 8*o. Put o, s, 4 in ascending order.
o, 4, s
Let w be 3/(-1) - (-3 - 0). Let u = -20 + 19.3. Put 1, w, u in descending order.
1, w, u
Let r = -9.1 - -9. Let o = 1.7 + -4.9. Let m = o + 3. Sort -1, r, m in descending order.
r, m, -1
Let h = -1.7 - -1. Let z = 0.2 + h. Put -0.2, -3, z in decreasing order.
-0.2, z, -3
Let b = 0.41 + -3.81. Let f = b + -0.6. Sort -3/5, -0.4, f in decreasing order.
-0.4, -3/5, f
Let l = 219 - 221. Suppose 3*k - 15 + 6 = 0. Suppose 0*b - k = b. Sort l, b, 1 in ascending order.
b, l, 1
Let y be 5/((-5)/(-2)) - 0. Sort 5, y, 1 in descending order.
5, y, 1
Let q be 104/12*(-39)/4. Let t = q + 83. Let s = 0 + 1. Sort t, s, 0.5 in descending order.
s, 0.5, t
Let v(k) = k + 5. Let s be v(-8). Put 4, s, -4 in descending order.
4, s, -4
Let n be 9/6*(-2)/6. Let y = -0.27 - -0.17. Put 3, n, y in ascending order.
n, y, 3
Suppose 5*q = 2*a - 18, 1 = -2*a + q + 3. Let h(x) be the second derivative of x**3/6 - x**2 + 3*x. Let y be h(3). Put -4, y, a in ascending order.
-4, a, y
Let d be 2/(6/(-15) + 0). Sort 5, d, -1 in decreasing order.
5, -1, d
Let f = -74 + 73.4. Put 0.3, 0.4, f, -5/2 in ascending order.
-5/2, f, 0.3, 0.4
Suppose -4*p - 11 = 5. Let b be (2 + 1)/(7 + -4). Sort p, b, 4 in increasing order.
p, b, 4
Let z be (-33)/120 - (-4)/10. Let u(x) = x**2 - 8*x - 8. Suppose -t = -3*k, -2*t - k + 2 = -19. Let p be u(t). Sort z, p, -4 in decreasing order.
p, z, -4
Let q = -8 - -1. Let o = -8 - q. Sort o, -2, 1.
-2, o, 1
Let t = -0.07 - 1.93. Sort -0.1, 2/3, t.
t, -0.1, 2/3
Let u = 11 + -21. Sort u, 0.3, -1/2.
u, -1/2, 0.3
Let v(q) = q**3 + q**2 + q. Let s be v(0). Suppose -4 + s = 4*g. Let n = g + -4. Sort n, 4, 2 in descending order.
4, 2, n
Suppose 9 = -3*q + i - 4*i, 5*q = -i - 7. Sort 2, 5, q.
q, 2, 5
Let l = 8 - 9. Let a be (-1)/(-24) - (-1)/3. Sort l, 0, a.
l, 0, a
Let x be -3 + -1 + 951/237. Let c = x + -163/395. Let f be 2/(-4)*3 - -2. Sort c, -5, f.
-5, c, f
Let l = 18 + -23. Put l, -11, 2 in descending order.
2, l, -11
Let r = 1 + -0.8. Let a = r - -0.3. Let x be (8/(-2))/(-1 - 1). Sort a, 3, x in decreasing order.
3, x, a
Suppose -3*u + 2*u = 0. Suppose z = -u*z + 2. Suppose -2*d + 7*d + 5 = -5*i, -2*d + z*i = 2. Sort 5, d, 0 in decreasing order.
5, 0, d
Let x = -51 - -29. Let a = 16.3 + x. Let p = 0.7 + a. Put 3/5, p, 3 in increasing order.
p, 3/5, 3
Let c be 12/16*(-8)/(-3). Let z be (-1)/c + (-1)/6. Let y be 18/4*(-2)/(-3). Put z, -2/5, y in decreasing order.
y, -2/5, z
Let j(h) = 2*h - 23. Let x be j(11). Sort x, 9, -5 in increasing order.
-5, x, 9
Let f = -7 + 2. Let h = -5.2 - f. Sort 0.4, h, 1/8.
h, 1/8, 0.4
Let i = -0.3 - -0.2. Let w be 0 - 19 - (4 + -5). Let f be w/(-8) - (-4)/(-2). Put i, 2/11, f in decreasing order.
f, 2/11, i
Let u = 51 - 50. Sort u, -2/11, 5 in decreasing order.
5, u, -2/11
Suppose -5*k = -13 + 3. Put 1, -1, k in descending order.
k, 1, -1
Let w be ((-20)/(-18))/((-8)/(-12)). Let y be ((-2)/3)/((-12)/(-27)). Sort w, 0.3, y in increasing order.
y, 0.3, w
Let s = 20 - 24. Put s, -2/13, -0.4 in descending order.
-2/13, -0.4, s
Let t(g) = g**2 + 2*g + 1. Let a be t(-1). Suppose 5*s + a*s = 10. Sort s, 0, -3 in decreasing order.
s, 0, -3
Let o = -37.3 + 41. Let j = o + 0. Let x = j - -1.3. Put 1, -5, x in ascending order.
-5, 1, x
Let p = -23 - -26. Sort 4, p, 2 in ascending order.
2, p, 4
Let p = 0.68 + -0.08. Let g = 1 - p. Let w = -1/3 - 1/6. Sort w, 2, g in descending order.
2, g, w
Let a = -8.61 + -0.39. Let w = -5.7 - -0.7. Let n = w - a. Sort n, 1/8, -0.2.
-0.2, 1/8, n
Suppose 8 = 4*v - 4. Sort 1, v, -1 in decreasing order.
v, 1, -1
Let i(g) = -g**3 - 4*g**2 - 3*g. Let w be (-35)/10 - (-1)/2. Let s be i(w). Suppose -2*d + 5 = -q, q + s*q = -5*d + 2. Sort q, 0, 4.
q, 0, 4
Let v be 14/(-3)*27/18. Sort -2, v, 0.
v, -2, 0
Suppose -5*c - 62 - 48 = 0. Let l be (-18)/(-99) - (-928)/c. Let s be (1/3)/(7/l). Put 2, s, -3 in decreasing order.
2, s, -3
Let u = 0.024 - -0.976. Put 3/4, u, -3, 3 in ascending order.
-3, 3/4, u, 3