
Let d(u) = u**2 + 9*u + 11. Let h be d(-8). Suppose -h*v + 0*v = -9. Let a be (-11)/4 + (-2)/8. Put a, -1, v in ascending order.
a, -1, v
Let h = 0.3 + 0.2. Let s = 0.35 - 0.85. Sort h, s, 5.
s, h, 5
Let a = 17 + -10. Let z(d) = d**3 - 2*d**2 + d. Let x be z(0). Put x, a, 3 in descending order.
a, 3, x
Let w(l) = 3*l + 7. Let o be w(2). Put -2, 5, o in descending order.
o, 5, -2
Let n = -1.64 + 7.64. Sort 5, 3/5, 2/9, n in increasing order.
2/9, 3/5, 5, n
Suppose 0*t - 50 = -2*t. Suppose 0*r = 5*r - t. Suppose -2 = -h - 6. Put r, -5, h in descending order.
r, h, -5
Let u(l) = l + 13. Let i be u(-8). Put 3, 2, -3, i in increasing order.
-3, 2, 3, i
Let c(g) = 4*g**2 - g + 1. Let o be c(2). Suppose 4*p - 3*a = 3*p - 9, 0 = -2*p - 5*a + o. Sort -4, 2, p.
-4, p, 2
Let r = 38/15 + -11/5. Let a = 10 + -19. Let o = -5 - a. Put -1/2, r, o in increasing order.
-1/2, r, o
Let s(f) = 2*f + 7. Let q be s(-5). Sort q, -7, -4 in ascending order.
-7, -4, q
Suppose 3*g + g + 4 = 0. Let o be 0*(g + 2 + 0). Let z(h) = h**2 + 4*h - 10. Let a be z(-6). Put -2, a, o in increasing order.
-2, o, a
Let w be (-2)/(-9) + (-94)/18. Suppose 0 = -3*t - t - 20, 5*z - 20 = 4*t. Put w, z, -4 in decreasing order.
z, -4, w
Suppose 0 = -5*j + 4 - 29. Sort 2, -2, j in descending order.
2, -2, j
Let i = 12.6 - 13. Let l = 18/11 - 65/33. Sort l, i, -4 in increasing order.
-4, i, l
Let c = 0 + -5. Sort c, 1, -1/3.
c, -1/3, 1
Let b be (-33)/(-11) + (0 - 6). Put -5, b, -2 in increasing order.
-5, b, -2
Let w be ((-2)/(-3))/((-2)/(-36)). Let y be -2 + 3*9/w. Let k = 3842/8685 - -2/965. Sort k, -0.4, y in increasing order.
-0.4, y, k
Let g = -10.2 + 10. Sort 2, g, 3 in increasing order.
g, 2, 3
Let t(q) = -5*q + 3. Let f be t(1). Put -26, -3, f, 0 in descending order.
0, f, -3, -26
Let r = 20 - 16. Put -3/7, r, 0 in decreasing order.
r, 0, -3/7
Let z be ((-12 - -5) + 5)*1/5. Sort 1/6, z, 1/2.
z, 1/6, 1/2
Let d = 25 - 26. Put -4, d, -2 in decreasing order.
d, -2, -4
Let n be (18/5)/((-4)/20). Let c be (n/(-189))/(18/14). Sort 0.4, -0.2, c in ascending order.
-0.2, c, 0.4
Let u = 9 + -7. Suppose -3*n = 4*z - 29, -5*n + 3*z - 6 = -u*n. Let i = 6.5 + -7. Sort i, n, -4/5 in decreasing order.
n, i, -4/5
Let c(x) = 1 + 2 + 1 + x. Suppose 0 = -3*u - 4 - 14. Let t be c(u). Sort 4, 0, t in descending order.
4, 0, t
Let i = 0.1 - 5.1. Let m = 9 - 5. Let z = m + -5. Sort z, i, 3 in decreasing order.
3, z, i
Suppose 5*c - 4*m + 17 - 4 = 0, 2*m = -4*c. Sort c, -4, 4.
-4, c, 4
Let i = -2.43 + -2.65. Let m = i + 0.08. Sort -3/5, m, 4.
m, -3/5, 4
Let v = -5.57 + 1.57. Put v, 3/5, 0.5, -3 in ascending order.
v, -3, 0.5, 3/5
Let n = 41 + -42. Let k be (-4)/(-10)*(1 + -6). Put 2, n, k in descending order.
2, n, k
Let k = -4 + 13. Suppose 4*t + 11 = -k. Put 4, 0, t in descending order.
4, 0, t
Let m(i) = 3*i + 3. Let q be m(-2). Sort 0, q, 2 in ascending order.
q, 0, 2
Let t = 5 - 6. Let m be (t - 3/(-2))/1. Sort 1, m, -1/7 in ascending order.
-1/7, m, 1
Let q be (-16)/(-28)*3/6. Sort 2, 1, q in descending order.
2, 1, q
Let m be (1/(-3))/((-2)/6). Let a be (0/m - -4) + 0. Let t be 5*(24/15 + -2). Put t, 1, a in decreasing order.
a, 1, t
Let d be 5 - (0 - (2 - 2)). Put -5, -12, d in descending order.
d, -5, -12
Suppose 5*d - 28 = -3. Put 3, d, 0 in descending order.
d, 3, 0
Let y = -51 - -32. Let c be y/5 + (-1)/5. Let h be ((-49)/(-147))/(1/15). Sort -5, h, c in decreasing order.
h, c, -5
Let t be ((-3)/(-12))/((-6)/8). Let b = -1.2 - -1. Let j = b + 0.7. Sort j, -4/3, t in ascending order.
-4/3, t, j
Suppose -t - 2*t = -4*y - 27, -4*t + y + 23 = 0. Suppose -1 - t = -2*s. Sort -4, -1, s in ascending order.
-4, -1, s
Suppose 4*u + 18 = -3*j, 2*u - 17 = 4*j + 5*u. Sort 3, j, 4 in decreasing order.
4, 3, j
Let u(d) = d**3 + 11*d**2 + 3. Let n be u(-11). Let q be ((-1)/((-2)/(-16)))/1. Let g be ((-4)/q)/((-1)/(-2)). Put 0, g, n in increasing order.
0, g, n
Suppose 0 = -7*r - 33 + 12. Suppose 3*w + 10 = 5*w. Sort -2, r, w.
r, -2, w
Let l = -0.9 - -9.9. Let s = -13 + l. Let k = 0 + s. Sort k, -0.5, 4.
k, -0.5, 4
Suppose -2*s - 12 = 2*s. Let d = 230 + -63939/278. Let q = -419/556 + d. Put q, 0.6, s in increasing order.
s, q, 0.6
Let q(u) = -u**3 - 3*u**2 - 2*u - 1. Let b be q(-3). Let x(k) = 4*k - 2*k - 3*k + 4. Let l be x(b). Sort -5, 3, l in ascending order.
-5, l, 3
Let v be (-4)/(-36)*3 - (-2)/3. Let w = 44.3 + -39. Let n = w + -5. Sort 2/15, n, v.
2/15, n, v
Let y = 5.3 - 5.6. Sort -2/7, 0.1, -0.4, y in descending order.
0.1, -2/7, y, -0.4
Let o(c) be the third derivative of c**4/12 + 17*c**3/6 - 2*c**2. Let q be o(-7). Sort q, 4, 5.
q, 4, 5
Suppose 0 = w + 3 - 4. Suppose 0 = -2*m - 2*m, 0 = -5*r - 3*m - 30. Let t be 8/r*(-3)/(-2). Sort -3, w, t.
-3, t, w
Let t = 27 - 191/7. Sort -2, 1/6, t, -1.
-2, -1, t, 1/6
Suppose 0 = -y + 1. Suppose 0 + y = t. Sort -5, t, 5/2.
-5, t, 5/2
Let d be (-3)/(5 - 8) + -5. Put 7, d, 0, 2 in increasing order.
d, 0, 2, 7
Suppose r = -2*y + 10, -3*r = -2*y - 2*r + 6. Suppose 4*s = 7 + 9. Let k = s - -1. Sort k, -1, y in decreasing order.
k, y, -1
Let z be (-60)/27 + 2 - (-16)/(-252). Put -1, z, -2/15 in decreasing order.
-2/15, z, -1
Let d(s) = -s**2 - 6*s + 3. Let o be d(-7). Let j = -43 + 29. Let q be (-120)/(-28) + 4/j. Put q, o, -2/11 in descending order.
q, -2/11, o
Let r be (1 - 3)/(-8 - -14). Sort r, 0.1, -0.5 in decreasing order.
0.1, r, -0.5
Suppose -4*w = -5*w + 4. Let l(o) = o - 11. Let j be l(6). Put 3, w, j in descending order.
w, 3, j
Let c(u) = u. Let r be c(-3). Suppose 26 = -i + 21. Sort r, -1, i.
i, r, -1
Let t(a) = a**2 + a - 1. Let n be t(2). Suppose s = -2*v - 0 - n, 0 = -4*v - 4*s - 4. Put 4, v, -1 in ascending order.
v, -1, 4
Let n(b) = b**3 - 10*b**2 - 10*b - 15. Let t be n(11). Let l be 4/(-18) - (0 + 0). Sort t, -0.2, l in increasing order.
t, l, -0.2
Let o(w) = -w**3 + 5*w**2 - 5. Let m be (-2 + 0)/((-1)/2). Suppose i = -i + m*q + 26, q + 4 = 0. Let b be o(i). Sort 2, 4, b in ascending order.
b, 2, 4
Let l be ((-3 + 3)/(-4))/(-2). Suppose l*j = 3*j + 12. Sort j, 3, -2.
j, -2, 3
Let r(c) be the first derivative of -c**3/3 - 2*c**2 - 2*c - 7. Let q be r(-4). Put 4, -5, q in ascending order.
-5, q, 4
Let t be 3 - (-25)/10*(-8)/(-10). Put 4, 7, t, -1 in descending order.
7, t, 4, -1
Let x be (6/(-4))/((-1)/(-2)). Suppose 3 = -3*f - s + 22, 24 = 4*f + s. Suppose d + 3*d = 5*t - 15, 4*t - 12 = -3*d. Put f, d, x in decreasing order.
f, d, x
Let t(y) = 3*y**2 + 11*y + 2. Let n be t(-3). Put 1, -14, 3, n in descending order.
3, 1, n, -14
Suppose d - 4*d + 6 = 0. Suppose -d*s + 5*f = -13, -s + 17 = 2*s - 5*f. Let c(r) = 2*r + 28. Let w be c(-13). Put w, s, -5 in increasing order.
-5, w, s
Let j(g) = -g**3 + 2*g**2 - 2. Let p be j(2). Suppose 18*x - 10*x = 40. Sort p, x, 3 in descending order.
x, 3, p
Let r = 23 + -20. Put 0, -3, r in ascending order.
-3, 0, r
Let h = 1.64 - 1.6. Sort h, -5, -3 in descending order.
h, -3, -5
Suppose -11 = -5*h + 4*s, 9 = 4*h + 4*s - 7. Let w be 7/(21/9) - 12. Let l be 24/(-20)*(-30)/w. Sort -5, h, l in decreasing order.
h, l, -5
Let z(s) = -3*s - 3. Let k be z(-5). Let t be 1 + -2 + k/4. Sort t, -1, 3 in decreasing order.
3, t, -1
Let q = 17 - 18. Sort q, 1, 3.
q, 1, 3
Let o(g) be the second derivative of -g**4/12 - g**3/3 + 3*g**2/2 - 2*g. Let k be o(-3). Let a = -7 + 12. Sort k, 3, a.
k, 3, a
Let x = 0.1 - 0.3. Let g = 326 + -325. Put g, 3, x in ascending order.
x, g, 3
Let j = 35 + -35.4. Sort -1/6, 3, j in descending order.
3, -1/6, j
Let k = -18 - -22. Sort 3, 0, -4, k.
-4, 0, 3, k
Let t = -7 - -5. Let n = 15 + -11. Sort t, n, 3 in decreasing order.
n, 3, t
Let l = 22.5 - 23. Let g = 2/115 - 353/460. Sort g, -2/5, l in increasing order.
g, l, -2/5
Let b = -15 - -15.5. Put -5, 7, -0.2, b in decreasing order.
7, b, -0.2, -5
Let c = 161 - 160.7. Let w = 2 + -2.1. Sort c, w, 0.5.
w, c, 0.5
Suppose 0 = 6*g + 6 - 30. Sort g, 1, -4 in ascending order.
-4, 1, g
Let j(q) be the first derivative of -q**3/3 + q**2 - 2*q + 3. Let s be j(3). Put 4, s, -4 in descending order.
4, -4, s
Let w = -5.7 + 0.7. Let y(r) = 2*r**3 + 7*r**2 + 6*r + 4. Let j be y(-4). Let n be ((-8)/14)/(j/42). Sort w, n, 2/5.
w, 2/5, n
Let o = 4 - 10. Let p = 6.3 + o. Suppose -3*n - 2*i - 3 = 0, -2*n + 5*i = 2*n + 27. Sort p, 3, n.
n, p, 3
Let j = 3 + 0. Let v