 v
Let c be -1 + -3*(-20)/15. Put 1, c, -5, -2 in increasing order.
-5, -2, 1, c
Suppose -6*k + 40 = 124. Put -0.1, 0, k in descending order.
0, -0.1, k
Let w = -7 + 10. Let i(h) = 9*h - 84. Let m be i(9). Sort w, m, 1 in descending order.
w, 1, m
Let x = 0.9 - 1. Let k(p) = p + 3. Suppose -3*l = -l. Let h be k(l). Sort h, -4, x in descending order.
h, x, -4
Let n = 1 + 1. Let q = n - 5. Sort q, -2, 2.
q, -2, 2
Let u = -1 + -1. Let y = -5 - u. Let n be (-5)/(25/20) + 2. Put -4, n, y in descending order.
n, y, -4
Let b(d) = -d - 13. Let y be (-14 + 2)*(-2)/(-3). Let i be b(y). Put i, 5, 1 in descending order.
5, 1, i
Suppose -5*p = -3*k - 7, k + 3*p - 3 = 4*k. Suppose -k = -x + 2. Suppose -4*i - 5 = x. Put i, 1, 4 in descending order.
4, 1, i
Suppose 0 = 4*x - 3*d + 8*d + 20, 3*x + 5*d = -20. Sort x, -3, 5 in descending order.
5, x, -3
Let t(b) = -b**2 + 5*b - 7. Let j be t(3). Sort 5, 0, -4, j in descending order.
5, 0, j, -4
Let y = 28 - 251/9. Let p = -1.28 - -0.98. Sort -0.5, p, y in descending order.
y, p, -0.5
Let q = 0.29 - 13.29. Let m = 13.2 + q. Let y be 12/(-7) + (-2)/(-1). Sort y, -0.4, m in increasing order.
-0.4, m, y
Let t = -23 - -19. Let p be -3 - -10*(-1)/(-2). Suppose 22 = -p*i + 5*l, -3*i - l - 2 = -3. Sort t, i, 0 in ascending order.
t, i, 0
Suppose 4*u - 24 = -3*x, -3*u + 5*u = 6. Put 13, -3, x in increasing order.
-3, x, 13
Let k = -0.2 - -0.1. Let l = -7 - -5. Sort k, 4, l.
l, k, 4
Let p(f) = -f**3 + 5*f**2 - 4*f. Let g be p(4). Sort g, -2, -4.
-4, -2, g
Suppose -2*u - 9 = -q - 0*q, -5*u = -3*q + 24. Put 0, -5, -2, q in increasing order.
-5, -2, 0, q
Let v = 0.45 + -0.05. Put v, -1/3, 4 in decreasing order.
4, v, -1/3
Let d = -4.147 - 0.053. Let g = -0.2 - d. Sort 5, g, 3 in decreasing order.
5, g, 3
Let i = -93.1 + 93. Let s = -0.7 + -9.3. Let g = 14 + s. Put 0.1, g, i in ascending order.
i, 0.1, g
Let i = -0.18 + 0.1. Let x = -0.32 + i. Sort -1/2, x, -0.1 in decreasing order.
-0.1, x, -1/2
Let r be ((-7)/3 + 3)*18. Let d be 3 - r/4 - 1. Put d, 1, -4 in ascending order.
-4, d, 1
Let o = -0.072 + -0.028. Sort o, -0.2, 4.
-0.2, o, 4
Suppose -5*u + 21 = 2*f, -u - 2 + 5 = f. Let a be 9/12*f/9. Sort 0.2, a, 0.
a, 0, 0.2
Let f = 2 + -1. Let s = f + -5. Sort 3, -5, s.
-5, s, 3
Let v be (-6 - -4)*(-5)/2. Put v, 3, -5 in decreasing order.
v, 3, -5
Let w(q) = -q**2 - 12*q - 27. Let p be w(-9). Put -36, p, -5 in ascending order.
-36, -5, p
Let l = 10 + -10. Sort -2, l, 7, -3 in descending order.
7, l, -2, -3
Let s = 3.1 - -0.9. Let q = -437 - -432. Sort q, s, -4 in decreasing order.
s, -4, q
Suppose 0 = -12*h - 3*h + 3*h. Sort h, 6, -1, -4.
-4, -1, h, 6
Let k = 3 - 1.7. Let a = k + 1.7. Suppose 4*u - 24 = 2*h, -2*u - u = -h - 17. Put a, u, -0.5 in descending order.
u, a, -0.5
Let t = -0.07 - 0.23. Let j = 7.7 + -11.7. Put j, 0.4, t in descending order.
0.4, t, j
Let p = 3 + -4. Put 29, p, 4 in increasing order.
p, 4, 29
Let s = -12 + 2. Let h = -9.91 - 0.09. Let o = h - s. Sort o, 4, 1 in ascending order.
o, 1, 4
Let s(f) = -3*f**3 + 6*f**2 - 4*f + 3. Let l be s(2). Sort l, 5, -2, 2/5.
l, -2, 2/5, 5
Suppose 0 = -2*l - 2*l + 16. Sort 2, l, -1.
-1, 2, l
Let q = -2.97 - 0.03. Let h = -4 - q. Sort h, -1/2, -5.
-5, h, -1/2
Suppose 2*b + 3*b = -2*u - 12, 5*u = 4*b + 36. Sort -2/3, u, -4, -0.7 in descending order.
u, -2/3, -0.7, -4
Suppose 42*m - 38*m = -12. Sort 25, 5, m in decreasing order.
25, 5, m
Let b = -117 - -114. Sort b, 5, 5/4, 2/17 in increasing order.
b, 2/17, 5/4, 5
Let b be (-8)/(-1) + 1*-1. Suppose 4*h - b*h = 6. Let l be h/6 + 1/21. Sort -3/2, l, -1/5 in descending order.
-1/5, l, -3/2
Let l = -4 + 3. Let q = 9 + -12.4. Let g = -0.4 - q. Sort g, 5, l.
l, g, 5
Let u = -74 + 84. Put -7, u, 0.5 in descending order.
u, 0.5, -7
Let w = 1.1 + -1.21. Let v = w - -0.11. Let c = -128/165 - -10/11. Sort c, v, -5 in descending order.
c, v, -5
Let p = 4.7 - 5. Sort -3, p, 4 in increasing order.
-3, p, 4
Let r = -49/8 + 23/4. Let f be 68/(-18) + (-6)/27. Let s = f - -9. Sort s, r, -0.5 in increasing order.
-0.5, r, s
Suppose 0 = 5*m + 3*p - 141, -4*m = -3*m + p - 27. Suppose -3*d - 2*d = 3*j + 35, -5*d = 2*j + m. Let l be (-2)/(2/d*4). Sort l, -3, 2.
-3, l, 2
Let n(v) = -v**3 + 4*v**2 + 6*v - 3. Let s be n(5). Suppose 4*f = -5*h + s*h + 4, 2*h + 3*f - 3 = 0. Let u be h - (-3)/3 - 2. Sort 4, u, 0 in ascending order.
u, 0, 4
Let b be (-3)/2*4/(-6). Let c(z) be the first derivative of z**3/3 - 3*z**2 + 4*z + 1. Let x be c(6). Sort b, x, 3 in descending order.
x, 3, b
Let q = -635282/15 + 42310. Let j = q + 42. Sort 3, 0.4, j in increasing order.
j, 0.4, 3
Let o = 13 + -23. Let i be (-36)/o + 10/25. Let x = 1 - -4. Put i, 0, x in ascending order.
0, i, x
Let f = -10 - -16. Suppose f*m - 90 = m. Suppose -3*q + m - 6 = 0. Sort q, -5, 3 in increasing order.
-5, 3, q
Let f be 3/(-6) + 18/(-4). Let h be 2/((-2)/(-2)*-2). Let n be (2 + 0)/(-2)*h. Sort 4, f, n in increasing order.
f, n, 4
Suppose -2*j - 2*j + 4 = 0. Put -5, 3, j, -3 in ascending order.
-5, -3, j, 3
Let o = -55 + 51. Sort o, 2/21, 0.1, 5 in decreasing order.
5, 0.1, 2/21, o
Let k = 0.4 + -0.7. Let t = k - 4.7. Let b be -2*(21/(-6) - -1). Put 1/8, b, t in descending order.
b, 1/8, t
Let x be -1 + 1 - 6/27. Let v be (0/3)/(1 + 0). Put v, 0.3, x in decreasing order.
0.3, v, x
Let t(r) = r**2 - 6*r - 2. Let y be t(6). Let g = 5 + y. Sort g, 4, -2.
-2, g, 4
Suppose -1 = -w - k, 5*w = 6*k - 2*k - 22. Sort w, 6, -3 in increasing order.
-3, w, 6
Let u = 0.78 + -0.28. Sort -0.4, -1/3, 5, u in decreasing order.
5, u, -1/3, -0.4
Let x = -1.5 + -6.2. Let u = 6.8 - -1.2. Let v = u + x. Put v, -3, 4/7 in increasing order.
-3, v, 4/7
Let v(i) = -4*i - 3. Let x be v(-2). Let c = 2 - x. Let m(n) = n + 2. Let t be m(c). Sort t, 3, -3 in increasing order.
-3, t, 3
Let g = 84 + -111. Sort 0.1, 1/3, g, -1 in decreasing order.
1/3, 0.1, -1, g
Let z(i) = i**2 + i. Let s be z(-2). Put 3, 0, s in descending order.
3, s, 0
Suppose -o - 2*o + 36 = 0. Suppose 2*m + 0*a - 7 = a, -3*m - 3*a - o = 0. Suppose 4*b - 1 = 5*u, 0 = 3*b - 0*b + 4*u + 7. Sort b, m, 3.
b, m, 3
Let f(u) = -u**3 - 4*u**2 + 3*u - 6. Let m be f(-5). Suppose 4*t = 4*l + 32, -t - m*l + 4 = 16. Suppose -2 = t*a - 6. Sort 5, 3, a.
a, 3, 5
Let d = -2.1 + 2.3. Sort d, -2/7, 5 in decreasing order.
5, d, -2/7
Let d = -0.053 + 0.553. Let u = 0 + 0. Put 0.2, u, d in descending order.
d, 0.2, u
Let h(m) = m**3 + 6*m**2 + 3. Let c be h(-6). Let s = -126.7 + 119. Let w = s + 8. Sort w, c, -3/5 in decreasing order.
c, w, -3/5
Let u be -8 + 3/3 - -2. Let c be -2 - (-3*1 - 1). Suppose s + 0*s = -c. Put s, 3, u in increasing order.
u, s, 3
Let j = -59 + 54. Let b = -169/4 + 42. Sort -0.5, b, j in increasing order.
j, -0.5, b
Let a = -0.1 - -0.2. Let c(s) = -s. Let y be c(-5). Suppose -w + y*w - 20 = 0. Put w, a, -1 in increasing order.
-1, a, w
Suppose 0 = 2*o - 5*o. Suppose 20 = -2*q - 3*q + 2*y, q + 12 = 2*y. Sort 7, o, q in descending order.
7, o, q
Suppose 6*u + o - 25 = u, 12 = -2*u + 4*o. Suppose 0 = -5*a - 5*q - 20, -2*a - q - 4 = 4. Sort u, a, 3 in descending order.
u, 3, a
Let l be (-8)/(-1*2) - 0. Suppose 2*j - 10 = -3*j. Suppose 3 + 3 = j*m. Sort l, 2, m in descending order.
l, m, 2
Suppose 22*d - 9 = 25*d. Sort d, 1, -0.1 in decreasing order.
1, -0.1, d
Let z be ((-12)/18)/(4/18*6). Sort z, -0.4, 2/15, -6/13 in descending order.
2/15, -0.4, -6/13, z
Let q = 10 - 10. Let m be (-2 - q - -2)/1. Put m, -1, -2 in increasing order.
-2, -1, m
Suppose 17 = 4*q + 5. Let i be (q/36)/(9/24). Put i, 0.1, 0.4 in descending order.
0.4, i, 0.1
Let k = 121 - 118. Put k, 36, -5, 1 in descending order.
36, k, 1, -5
Let q be ((-8)/2)/(-1) + -6. Sort q, 6, 5 in increasing order.
q, 5, 6
Suppose 25 = -5*y - 5*u, -33 = 5*y + 2*u - u. Let o = y + 7. Sort o, 1, 3 in decreasing order.
3, 1, o
Let f be (-32)/(-112) + 4/35. Sort 2, -0.3, 4, f.
-0.3, f, 2, 4
Let j = 80/3 + -27. Let z be ((-4)/11)/(366/194). Let f = -2/183 - z. Sort -0.3, j, f in decreasing order.
f, -0.3, j
Let y = 60 + -55. Sort y, -5, -2/5.
-5, -2/5, y
Let n = -7 + 8. Let r = 2/33 - -3/11. Put n, r, -1 in descending order.
n, r, -1
Let r(j) = 6*j - 1. Let h be r(1). Let c be (16 + -13)*4/6. Sort 0, h, c in ascending order.
0, c, h
Let h = 66 + -61. Sort 3, 2/3, h in ascending order.
2/3, 3, h
Let 