Sort t, -2, h in descending order.
t, -2, h
Suppose -j - 15 = -4*j. Suppose -5*r + x - 35 = -9, -j*r = -2*x + 22. Put -1, r, 2 in decreasing order.
2, -1, r
Suppose -5*g + 24 = -3*h, 4*g + 15 = 6*g - 3*h. Sort -0.1, 0.5, g, 41.
-0.1, 0.5, g, 41
Suppose -6 = -2*x, -2*z - 3*x = -4*z + 11. Let q be 2/(-11) + 1048/(-44). Let n = q + 25. Put 0, z, n in descending order.
z, n, 0
Suppose -5*x = -0*x. Suppose 4*n + o = -x*o - 1, -5*o + 12 = 3*n. Suppose 2*c - 2*w + 10 = 0, -5*c - 5 = -3*w + 2*w. Put c, 1, n in ascending order.
n, c, 1
Let u = -0.12 - 0.13. Let q = 0.35 + u. Sort -1/2, 0, q.
-1/2, 0, q
Let o = 42 - 57. Let k be (-3)/o*3*4/(-18). Sort 0.3, 0.1, k.
k, 0.1, 0.3
Suppose 0 = 16*c - 12*c. Let y = -4 - c. Put 0.2, y, -2/9 in increasing order.
y, -2/9, 0.2
Let y = 192 + -187.99. Let z = y + -0.01. Let i = -3.88 + -0.12. Sort i, z, 1 in descending order.
z, 1, i
Let v be 1/(-1)*(6 + -3). Sort -4, v, 0, -10 in descending order.
0, v, -4, -10
Let a(d) = -d - 5. Let x be a(-9). Let c be ((-1)/(-2))/(3/(-24)). Let j(g) = -g**3 + 9*g**2 - 10*g + 11. Let p be j(8). Sort p, x, c in decreasing order.
x, c, p
Let p = -0.02 + 17.02. Sort -0.1, 2, p.
-0.1, 2, p
Let z = -162 + 159. Suppose 2*j + 2*i = 4, 15 = j - 3*i + 1. Sort -20, z, -5, j.
-20, -5, z, j
Suppose 0 = 8*a + 13 + 91. Sort 5, a, 1, -2 in increasing order.
a, -2, 1, 5
Let v be (-7)/(7/4) + 3. Suppose -7 + 2 = -5*h. Suppose 3*j + 8 = -h. Sort v, j, -2.
j, -2, v
Let h = 0.4 + -3.4. Let n = h - -2.6. Let l = -0.11769 + 0.11769. Put l, n, 3 in descending order.
3, l, n
Let y = -0.13 - -0.23. Let o = -5 + 10. Suppose k + 19 = 24, 5*l = 4*k - 5. Sort o, l, y in ascending order.
y, l, o
Suppose -85 = 2*h - 3*t, -4*h + t = 8 + 157. Let f be 3/24 - h/(-8). Let v = 3 + -2. Sort f, -9, v in descending order.
v, f, -9
Let i be 14*(3 + (-19)/7). Suppose -8 = -h - i. Suppose -4*t + 7 = 23. Put h, 5, t in increasing order.
t, h, 5
Let u = -28 + 27.6. Let i be (6/27)/(0 - 1). Sort -0.5, 8/3, u, i in ascending order.
-0.5, u, i, 8/3
Let m = 547 + -573.3. Let d = -26 - m. Sort d, 2/3, 8/5 in descending order.
8/5, 2/3, d
Suppose 4*j - 27 = 3*q, -98 = -j + q - 90. Let z be (1 - 1)*(-1)/(-3). Let v be -8 + 2 + 0 + 1. Put z, j, v in descending order.
j, z, v
Suppose -48 = 3*j - 99. Suppose -z - 20 = 4*z. Sort z, -1, j in ascending order.
z, -1, j
Let z = -4.2 - -3.9. Let a = -127.03 + 127. Put 0, 0.5, z, a in decreasing order.
0.5, 0, a, z
Let k = 14 - 17. Let q be (-6)/k + 1 - 1. Let d = -1 + -2. Put q, d, 3 in ascending order.
d, q, 3
Suppose 9 = -3*f, -g + 4*f - 59 = 2. Let s = 40 + g. Let b = s + 97/3. Sort b, -2/5, -0.2 in ascending order.
b, -2/5, -0.2
Let d = -5.5 + 0.5. Let n = 93.5 - 93. Sort d, n, -0.4, -1/5 in ascending order.
d, -0.4, -1/5, n
Let n = 560 + -549. Sort -2, 33, n in descending order.
33, n, -2
Let b be (-4)/(-6)*432/(-96). Sort 0, b, 16, -1 in decreasing order.
16, 0, -1, b
Suppose 2*u + 1 = 5. Suppose 5*o - 3 - 5 = m, -3*m + 12 = 3*o. Suppose 0 = -l + m*b - 3*b + 6, -4*b + 25 = 5*l. Sort l, u, -3 in increasing order.
-3, l, u
Let o = -509 + 518. Sort -2, 3/19, 0, o in increasing order.
-2, 0, 3/19, o
Let s = -4 - -2. Let y = 686/3 + -231. Let i = 31/12 + y. Sort i, s, -1 in decreasing order.
i, -1, s
Suppose 14*o = -12*o - 130. Put -1/3, o, 0.18, -2/13 in increasing order.
o, -1/3, -2/13, 0.18
Let y(o) = -10*o - 10. Let l be y(-4). Let x be (-6)/2 + 20/l. Sort x, 0.3, 5 in increasing order.
x, 0.3, 5
Let s = -1337 - -18717/14. Sort s, 2, -8, -1/2.
-8, -1/2, s, 2
Let p = 6 + 2. Suppose 0 = 6*w - 5*w + p. Let j be (-2)/w + (-231)/44. Sort 2, j, 4.
j, 2, 4
Let w(d) = -d**3 - 11*d**2 - 12*d + 9. Let i be w(-10). Let r = 34 - i. Suppose 4*p + 4 = -12. Sort p, -5, r in descending order.
r, p, -5
Let x be 1736/16 + (-25)/20*-2. Put -4, x, 1 in ascending order.
-4, 1, x
Suppose 9 = -3*h - d - 8, -d = 5. Let w(q) = q**2 - 2*q - 1. Let m be w(-2). Let f(l) = -l**2 + 7*l - 1. Let x be f(m). Put h, 7, x in ascending order.
h, x, 7
Let q(w) = 15*w + 115. Let l be q(-8). Put 4, -2, l in increasing order.
l, -2, 4
Suppose -2*j - 18 = -3*y, 0 = -4*j - 2 - 10. Sort -1, y, -42, 2 in descending order.
y, 2, -1, -42
Suppose -10*j + 2*j - 8 = 0. Sort -3, j, 33 in descending order.
33, j, -3
Let c = 4/11 + -1/33. Let q(i) = 2*i**3 - 13*i**2 + 8*i - 7. Let z(a) = 8*a**2 + 2*a. Let w be z(-1). Let g be q(w). Put -0.5, g, c in descending order.
g, c, -0.5
Let u(g) = -10*g + 2. Let p be u(-1). Let s = 25 - p. Suppose 0 = -2*n + s - 7. Put 0, n, -3/5 in ascending order.
-3/5, 0, n
Let g be (1 - 2) + -3 + 6. Suppose -3*i = -4*n - 32, -i - 4*n = 4*i. Let o = -0.2 + 0.7. Put g, i, o in descending order.
i, g, o
Suppose -x = -i + x - 1, i - 5*x = 5. Let q = 14 + -9. Suppose -4*w + 3 = u - 5, q*u = -2*w - 14. Sort w, i, 0 in decreasing order.
w, 0, i
Suppose 0 = q + q + 6. Suppose 5*o - 11 = -2*a, 0*a = 3*o + 4*a - 15. Put q, o, -27 in increasing order.
-27, q, o
Let h(m) = 6*m**3 + m**2 + m + 1. Let r be h(-1). Let b be (-10)/(-9)*34/170. Put 0.05, 1, b, r in ascending order.
r, 0.05, b, 1
Let v be -9 + 4 + 12 - (1 - 0). Sort 31, v, -4, 5.
-4, 5, v, 31
Let n = -29.038 - -29.3. Let h = -0.038 - n. Put 1/7, -1, -1/5, h in decreasing order.
1/7, -1/5, h, -1
Let z = -1514 - -1479. Sort z, 2, -2 in decreasing order.
2, -2, z
Let x = 43 + -42.999. Let v = x + -3.001. Put -3/8, v, -4 in descending order.
-3/8, v, -4
Suppose -n = -8*n - 7. Let b be (-2)/6 + (-6)/(-18). Suppose 0*f = -3*y - 5*f + 10, b = -3*f + 6. Put -6/11, y, n in decreasing order.
y, -6/11, n
Suppose -3*s + 7 + 12 = 5*z, -2*z = 2*s - 6. Suppose -z + 29 = 3*f. Sort -0.5, 0, f in decreasing order.
f, 0, -0.5
Suppose 0 = 5*x - 2*v - 79, 3*x - 47 = -6*v + 7*v. Suppose -x = 3*l - 8*l. Let s be 0 + (1 - 0 - 1). Sort l, -5, s.
-5, s, l
Let b be 50/125 + (-12)/5. Sort -385, b, -5 in ascending order.
-385, -5, b
Suppose 3*v - 6 - 3 = -4*w, -w = 3*v - 9. Let a be -64 - ((-110)/(-90) - (-2)/(-9)). Let l = -63 - a. Sort v, l, -2 in descending order.
v, l, -2
Let i(w) = w**3 + w**2 + 4*w + 4. Let b be i(0). Sort 5, -4, b, 6.
-4, b, 5, 6
Let f(n) = -2*n**2 - 3*n + 4. Let c be ((-6)/3 - -16) + -1. Let s = c - 16. Let y be f(s). Put y, -2, 2 in descending order.
2, -2, y
Let t(a) = a**3 - 5*a**2 - 9*a + 18. Let c be t(6). Suppose -15*o + 9*o = -12. Sort 2/5, o, 3, c.
c, 2/5, o, 3
Let r(h) = -h**3 + 5*h**2 - 2*h - 1. Let m be r(4). Let z = 7 - m. Suppose -118*q + 117*q + 1 = 0. Put 7, q, z in decreasing order.
7, q, z
Let g = 122 - 365/3. Sort 4, -1, -0.01, g.
-1, -0.01, g, 4
Let y = -32 + 1. Let n = 31.2 + y. Sort n, -2, 0.5.
-2, n, 0.5
Suppose -6 = -4*g + 6*z - 4*z, -3*g - 1 = 4*z. Let k = 80 - 77. Sort -15, k, g, -4 in ascending order.
-15, -4, g, k
Let w = -15 - -87. Let j be (1/2)/(30/w). Let s be 12/(-27)*6/4. Put 0.1, j, s in descending order.
j, 0.1, s
Let q = 28 + -27.6. Let t = -0.2 + q. Let h = -1.8 - t. Sort h, 4/5, -1/10 in decreasing order.
4/5, -1/10, h
Let m be 153/12 - (5 + -7). Suppose -2*y = -f - f + 32, -4*y + 5*f = 66. Let s = m + y. Put 2, 4, s in decreasing order.
4, 2, s
Let b = -389.3 - -389. Sort -2/3, 2, b.
-2/3, b, 2
Suppose 4 = 4*q - 4. Let x = -0.17 - -0.1. Let h = x + -0.43. Sort -1/4, q, h in descending order.
q, -1/4, h
Let f = -24.02 - -0.02. Let w = 1050 - 1048. Sort w, f, -3 in increasing order.
f, -3, w
Let a be (2/(-5) + 0)/((-783)/(-435)). Put -4/5, -5, a in ascending order.
-5, -4/5, a
Suppose 38*r - 42 = 17*r. Sort r, -5, -6 in ascending order.
-6, -5, r
Let m be 2/11 - (-23)/55. Let t = -13 - -8. Put m, t, -6 in ascending order.
-6, t, m
Suppose -2*s = 2*s. Suppose 3*y - 35 = -4*w, 3*w + 2*w + y - 30 = 0. Let f(a) = 2*a**3 + 18*a**2 - 17*a + 24. Let t be f(-10). Sort w, t, s in ascending order.
t, s, w
Let l be 7/(-14)*(-5 - (-45)/3). Sort 1, -1, 4, l.
l, -1, 1, 4
Suppose 3*j - 5*v - 27 = 0, -5*j + 6*v - 2*v + 32 = 0. Sort -5, 5, -15, j.
-15, -5, j, 5
Let d = -6 - -9. Suppose 12 - 4 = -4*m. Let o be ((-4)/(-6))/(m/d). Sort o, 0, 3.
o, 0, 3
Let l = 25 + -25. Suppose d - 22 = -4*k, 3*d - 6 = -0. Sort k, l, 2, -7 in descending order.
k, 2, l, -7
Let y be (-8)/(-20)*(-10)/6*-2. Let u = 39 - 35. Sort -4, y, u, 0.3.
-4, 0.3, y, u
Let t = -9 - -8.5. Let r = 2660/11 - 242. Let w = -3.91 - 0.09. Put t, w, r in descending order.
r, t, w
