 y = 15 + 3. Let h be ((-2)/3)/((-4)/y). Let i(n) = n - 1. Let s be i(5). Sort -2, s, h in increasing order.
-2, h, s
Suppose 2 = -3*l + 3*f + 14, 23 = 4*l + 3*f. Suppose l*p = p - 4. Sort 1, 5, p.
p, 1, 5
Let x = -15 - -3. Let i(w) = w**3 + 12*w**2 + 5. Let f be i(x). Let n(l) = -2*l + 1. Let b be n(3). Put b, 2, f in decreasing order.
f, 2, b
Let o be 14/(0 + 1) - 2. Let w be 2/6*(-18)/o. Put w, 3/5, -5 in increasing order.
-5, w, 3/5
Let b = 0.053 + 4.947. Put -2, b, -18, 0.1 in descending order.
b, 0.1, -2, -18
Let g be 9/4*(3/9 - 1). Put -0.5, g, 0, 4 in descending order.
4, 0, -0.5, g
Let c(f) be the first derivative of -f**4/4 - 7*f**3/3 - 5*f**2/2 + 2*f + 1. Let m be c(-6). Let b = -92 + 89. Sort 3, b, m.
m, b, 3
Let s = 10 - 8. Put 1/6, s, 1/2 in ascending order.
1/6, 1/2, s
Let b = 5.4 + -4. Let z = -1 + b. Let i = -0.3 + z. Sort -4, i, 0.3 in increasing order.
-4, i, 0.3
Suppose 5*i + 58 - 18 = 0. Let z = -7 - i. Sort z, -5, -3 in decreasing order.
z, -3, -5
Suppose 5*o = -0*o + 5. Suppose 6*c - c = 0. Let a(r) = -7*r - 9. Let l be a(-2). Sort c, o, l in decreasing order.
l, o, c
Let z be 6/(3/(-6)*-2). Let b(l) = l**3 - 5*l**2 - 4*l - 7. Let s be b(z). Let u(f) = -4*f**2 - 1. Let t be u(-1). Sort t, 0, s in ascending order.
t, 0, s
Let d = -7/11 - -81/110. Let p = 1/37 + 71/111. Put p, -0.1, d in increasing order.
-0.1, d, p
Let j(g) = g - 18. Let p be j(10). Put p, 0, -3 in decreasing order.
0, -3, p
Suppose 0 = 5*c + 76 + 24. Sort -1/4, c, 3 in increasing order.
c, -1/4, 3
Let c(u) = 2*u**3 - u + 1. Let d be c(1). Suppose -6 = d*k + k. Suppose -5*n - 2*v - 19 = 0, -3*v = 3*n - n + 12. Put n, 2, k in ascending order.
n, k, 2
Suppose -i + 2 = 0, -4*z = 4*i - 9 + 1. Let p be 6/2 - (z - -1). Sort 5, -5, p in decreasing order.
5, p, -5
Suppose 3*q = -3*y + 6*q + 30, -3*y + q + 26 = 0. Sort y, -2/3, -4.
-4, -2/3, y
Let h be 4 - ((-6)/(-15) - (-103)/30). Let s be ((-4)/24)/((-17)/2). Let f = 146/357 + s. Put h, -4, f in ascending order.
-4, h, f
Let j be (-388)/14 + (-5)/(70/4). Put j, -1, 0 in descending order.
0, -1, j
Let r be 13 + (3 - (0 - -5)). Let v(h) = -h**2 + 12*h - 6. Let u be v(r). Suppose 2*i = -3 + 11. Sort i, u, 2.
2, i, u
Let c be (-30)/50 - 24/10. Put -6, 4, 1, c in descending order.
4, 1, c, -6
Let o be (2/(-15))/(2/(-10)). Let y = 0.5 + 5.5. Let c = y + -5.5. Sort o, c, 1/8 in decreasing order.
o, c, 1/8
Let w = 3.8 + -4. Sort w, 0.2, 11 in ascending order.
w, 0.2, 11
Let p(q) = q**2 - 3*q - 5. Let j be ((-1)/2)/(1/(-10)). Let s be p(j). Suppose -2*x + x = 0. Put s, -3, x in descending order.
s, x, -3
Suppose 8*g + 14 = -2. Sort -8, -4, g, 4 in decreasing order.
4, g, -4, -8
Let t = -9 - -9. Sort -15, -2, t.
-15, -2, t
Let k = -14 - -13.6. Suppose 14 + 0 = 2*a. Sort -5, a, k in descending order.
a, k, -5
Let j(l) = -l**3 + 3*l**2 + 5*l - 6. Let t be j(4). Let i(x) = x**3 - 7*x**2 + 3. Let z be i(7). Let v = -1 + z. Sort t, v, 4 in ascending order.
t, v, 4
Let a(j) = j**2 - 12*j - 10. Let f be a(13). Put f, 1, -2 in ascending order.
-2, 1, f
Suppose 5*i - 189 + 34 = 5*r, -25 = r + i. Let m be (-19)/r - (-1)/(-4). Let l = -2.7 + 3. Sort -0.4, m, l in increasing order.
-0.4, l, m
Let y be (-135)/75 - 2/10. Let j be (y - 3)*(-6)/15. Sort 5, j, -3 in decreasing order.
5, j, -3
Let d = 1.16 - 0.06. Let q = -2 - -1. Let m = d + q. Sort -2/3, -2, m in ascending order.
-2, -2/3, m
Let y = 10 - 6. Let f be (-24)/y*(-3)/(-30). Put -1, f, -2/9 in ascending order.
-1, f, -2/9
Let c be (-5 - 0)/(0 + -1). Let h(f) = -4*f - 4*f**2 - 5 + f**3 + f + 0*f. Let x be h(c). Sort 4, 1, x in descending order.
x, 4, 1
Let t be ((-1)/(-2))/((-3)/(-6)). Suppose 0 = -4*o - 11 - 45. Let z be 60/o - 12/(-42). Sort z, -3, t in decreasing order.
t, -3, z
Suppose 3*y - 11 = 13. Suppose -2*x + 0*x - y = 0. Sort -2, x, -5 in descending order.
-2, x, -5
Let w = -1770/13 - -136. Let r = 3252/37 - 45056/777. Let a = r - 91/3. Sort w, a, -5 in increasing order.
-5, a, w
Let c = -4 + 4. Let x = 1 - c. Sort x, -1, -4/3 in increasing order.
-4/3, -1, x
Let j = -29 - -28.7. Put j, 7, 1/4 in descending order.
7, 1/4, j
Suppose 14*k - 28 = 21*k. Suppose 5*f + 17 = -0*v + 2*v, f - 3*v = -6. Let p = 2 - f. Put p, -2, k in ascending order.
k, -2, p
Let n(t) = t**2 + t. Let r be n(-2). Let o be (12/(-1 - r))/(-1). Suppose 1 = -o*m - 7. Put 4, -1, m in increasing order.
m, -1, 4
Suppose -5 = 3*s + 2*v, -v - 3*v = -2*s + 2. Let i be (s/(-3))/((-1)/(-3)). Put -4, 0.1, i in decreasing order.
i, 0.1, -4
Let u be (1/(-4))/((-5)/10). Sort 0.4, u, -1 in ascending order.
-1, 0.4, u
Let d be 2/(-14)*-1 - (-352)/(-112). Let t = 11 + -7. Let n be (-14)/(-6) + (-4)/(-6). Sort n, d, t in descending order.
t, n, d
Suppose 2*o + 0*o = -3*r + 36, 0 = -2*o - 5*r + 44. Suppose 0*p + o = 2*p. Suppose 11*m - p*m = -10. Sort -5, m, 2 in decreasing order.
2, m, -5
Let o = -5.3 - -11. Let d = -0.7 + o. Sort d, 0.2, 2 in descending order.
d, 2, 0.2
Let h = 47/5 - 9. Sort 0.3, 5, h.
0.3, h, 5
Let p = -1 + -1. Let z be (-1)/(-3) + (-35)/(-3). Suppose -2*j - j + z = 0. Sort 1, p, j in decreasing order.
j, 1, p
Let z = 15 - 7. Let v be 1 + -2 + 4/2. Sort v, 4, z.
v, 4, z
Let w(t) = -t**3 + 2*t**2 + 11*t - 8. Let j be w(5). Put -4, j, 4 in ascending order.
j, -4, 4
Let t = -190 + 193. Put 0, t, -4 in ascending order.
-4, 0, t
Let j = -20 + 16. Put 0.03, j, -3 in decreasing order.
0.03, -3, j
Suppose 0 = 4*h + 9 + 11. Sort -4, -1, 3, h in descending order.
3, -1, -4, h
Let p be 2 + 1 - (-6)/3. Let j be 44/16 - 1/(-4). Put j, p, -1 in decreasing order.
p, j, -1
Let t(k) = 3*k + 13. Let s be t(-5). Put s, -5, 7 in decreasing order.
7, s, -5
Let f(z) = -z - 9. Let k be f(-7). Let r be (-8 + k)/((-6)/3). Sort 1, r, -4 in decreasing order.
r, 1, -4
Let f = -31.5 - -25. Let h = f - -7. Sort -0.5, h, 1/5 in increasing order.
-0.5, 1/5, h
Suppose 3*c - 23 = -2*k - 4, 0 = -4*k + c + 3. Put k, -5, -20 in decreasing order.
k, -5, -20
Let f be 4/8 + 124/(-432)*2. Sort -1, f, 3/5, 3 in decreasing order.
3, 3/5, f, -1
Let p be 12*2/3 + 0. Let j = p - 4. Sort -2, j, -5 in decreasing order.
j, -2, -5
Let w = 48 - 47.1. Put 4/5, -3, w in increasing order.
-3, 4/5, w
Suppose -4*c + 2 + 2 = 0. Let j be 16/(-12)*(-6)/(-4). Let m be 1 + (0 + j - c). Put m, 2, -4 in descending order.
2, m, -4
Suppose -4*t - 4 = j, -t + 23 = -5*j + 3. Let g be 1/(-3)*3/(-1). Put g, -5, t in descending order.
g, t, -5
Let z be 120/14 - (-6)/14. Suppose -4*o - z = -21. Let x = -11 + 7. Sort 0, o, x.
x, 0, o
Let l = 13 - 12.9. Sort l, 2/13, -0.5, -0.2 in decreasing order.
2/13, l, -0.2, -0.5
Let o(n) = n**3 - 4*n - 3. Let f be o(-2). Put -5/3, 3, f in descending order.
3, -5/3, f
Let o = 2.8 - 3. Let f = o + 1.2. Let d be 6/(-36)*32/4. Sort f, d, 1/4 in increasing order.
d, 1/4, f
Let o = -6 - -6.5. Let f = 12 - 8. Let g = 1.2 - 0.2. Sort o, f, g in increasing order.
o, g, f
Let j = -1 - -5. Let q be -1*3/j*4. Put q, 1, 4 in increasing order.
q, 1, 4
Suppose 0 = q + 2 + 1. Suppose -10*z - 13 + 3 = 0. Let y be 4/10 + 36/10. Sort z, y, q in ascending order.
q, z, y
Let c be -3*(1 + -4)/9. Sort 2, c, -4.
-4, c, 2
Let q = 16.5 + -17. Sort q, 0.1, 1/4 in increasing order.
q, 0.1, 1/4
Let b = -1 + 0. Let h = -0.7 - b. Let a = 8 + -12. Sort h, a, 2 in decreasing order.
2, h, a
Let v = -110 + 221/2. Let s = -2 + 4. Put v, 4, s in increasing order.
v, s, 4
Suppose 3*c + 0*o + 3*o - 18 = 0, -22 = -2*c + 3*o. Let q = c + -3. Put -5, 1, q in increasing order.
-5, 1, q
Let k = -2.82 - 0.18. Put k, -9, 2/7 in increasing order.
-9, k, 2/7
Let q(m) = -3*m + 16. Let x be q(5). Sort x, -4, 2 in decreasing order.
2, x, -4
Let a = 49/2 + -25. Sort -1/3, 5, a in decreasing order.
5, -1/3, a
Let h be (-2)/(0/1 - -2). Let w = -2 - h. Sort w, -3, 0 in decreasing order.
0, w, -3
Let q = -2.2 + 2. Let a = 0.08 - 0.19. Let b = a - -5.11. Sort q, b, -1.
-1, q, b
Suppose 0 = 27*a - 22*a - 20. Let m(n) = -n + 1. Let f be m(3). Sort f, 0, a in increasing order.
f, 0, a
Let i(a) = a**2 + 7*a - 3. Let m be i(-8). Suppose m*k = -3*y - 70, -2*y + 4*k - 29 = 47. Let j be 6/y - 2/40. Put -3/7, -3/2, j in decreasing order.
j, -3/7, -3/2
Let c = -6 + 6.3. Let n = 0.7 - c. Sort -0.1, 5/6, n in decreasing order.
5/6, n, -0.1
Let t be 0 + (0 - (-1 + -2)). Let j = -8 + t. Let 