 j in increasing order.
0, j, z
Let y be 4*2*(-8)/16. Put -3, -108/11, y in descending order.
-3, y, -108/11
Let x be (-8)/42*3/(-2). Let l = 0.3 + -0.2. Put l, x, -0.1 in decreasing order.
x, l, -0.1
Let v be 1*5 - (0 + 0). Suppose 5*h - v*b + 20 = -3*b, -15 = 3*b. Let t be (-4)/h*9/(-12). Put -2, t, -3 in increasing order.
-3, -2, t
Let j = 5.6 + -5.7. Let v = 0 + -2. Put 2/17, j, v in ascending order.
v, j, 2/17
Suppose -5*i = -i. Let w = 102 - 104. Sort w, 1, i.
w, i, 1
Let o = 0 + 0.1. Let g be ((-12)/3)/(1/1). Sort g, o, -2 in descending order.
o, -2, g
Let u = 0.105 - 26.605. Let y = u + 26. Put 0, y, 7 in increasing order.
y, 0, 7
Let s be 24/9*(-3)/(-2). Suppose g = s*g - 9. Put g, -6, -3 in ascending order.
-6, -3, g
Let y = -12.3 - -13. Let t = -0.2 + y. Suppose -2*f - 5 - 4 = -5*i, 12 = 4*i. Sort t, -5, f in descending order.
f, t, -5
Let f(x) = x**3 - 5*x**2 - 6*x + 2. Let n be f(6). Suppose -n*r = -3*r - 1. Sort -2, 4, r in decreasing order.
4, r, -2
Let o = 7.8 + -12.8. Put 0.3, o, -0.24 in descending order.
0.3, -0.24, o
Let p = -116.1 - -116. Let x = -7 - -5. Put x, p, 3/7 in ascending order.
x, p, 3/7
Let j = 2.3 - 1.9. Let w = 1/4376 + -271319/30632. Let x = w - -172/21. Sort x, 4/7, j in decreasing order.
4/7, j, x
Let t = 0.1 - 0.26. Let x = t + 0.11. Sort -4, x, -0.2 in ascending order.
-4, -0.2, x
Let b be (2 + (-21)/6)*2. Suppose 0 = 4*t + 8 + 12. Put t, -2, b in decreasing order.
-2, b, t
Let i = -8 + 4. Let w be 0 - 6 - (-7 + 7). Put w, i, 4 in descending order.
4, i, w
Suppose -f - 4 = -0*f. Let r be -1 + 3 + -2 + f. Let d be 10/6 + 2/6. Put d, 3, r in decreasing order.
3, d, r
Let r = 9 + -13. Let q(d) = d + 5. Let a be q(-3). Put -3, a, r in decreasing order.
a, -3, r
Let h = 9 + -11. Sort h, -0.4, 3 in descending order.
3, -0.4, h
Suppose 0 = 2*t + 3*t + 5*o + 5, -2*t - 5*o - 5 = 0. Suppose t = -p - 3*p + 60. Let x be p/(-27) + (-2)/(-9). Sort 4, x, -5 in ascending order.
-5, x, 4
Suppose -5*z + 3*n + 16 = n, 5*n + 21 = 3*z. Let j(l) = z + l - 2 - 1. Let x be j(4). Sort 5, x, 0 in descending order.
5, x, 0
Let s = 72 + -75.3. Let o = s + 3. Let l(f) = 2*f + 15. Let h be l(-10). Sort -2/3, o, h.
h, -2/3, o
Let i = -5 + 5. Put i, -1, -3 in increasing order.
-3, -1, i
Suppose -o + 0 = -3. Suppose -3*d - 5*w = -0*d - o, 5*w = -2*d + 2. Put -5, -1/4, d in increasing order.
-5, -1/4, d
Suppose 20*c - 10 = 18*c. Sort 2, 3, -3, c in decreasing order.
c, 3, 2, -3
Let i = -0.394 + -0.006. Sort 0.5, 1, i in increasing order.
i, 0.5, 1
Let i = -11 - -6. Sort -3, 0, i.
i, -3, 0
Let m be (2 + (-9)/6)*(1 - -1). Sort m, 21, 2.
m, 2, 21
Let q = -75/7 + 396/35. Let w(l) = l**3 + 5*l**2 - l - 4. Let v be w(-5). Let c = 1 - v. Sort 4/5, q, c in descending order.
4/5, q, c
Suppose 108 = -4*h + h. Let f be 2/4 + 22/h. Let k be ((-120)/35 - -3)*1. Sort k, 5, f in increasing order.
k, f, 5
Suppose 4*d = -m + 10, 5*m - 5*d = 2*m - 21. Put -22, 4, m in decreasing order.
4, m, -22
Let i = -351/4 + 87. Let u = -6/17 + 1/51. Sort u, -6/5, i.
-6/5, i, u
Let i(k) be the first derivative of -k**3/3 + k**2/2 + 5*k - 1. Let u be i(0). Let n(b) = 3*b - 14. Let a be n(6). Put u, -1, a in descending order.
u, a, -1
Let w = 19 + -23. Let g = w + 1. Sort -4, g, 0.
-4, g, 0
Let u = -6.7 + 7. Put u, -3, -4 in descending order.
u, -3, -4
Suppose 5*k - 30 = -5*i, -k + 8 = i + i. Let o = -9 + 14. Sort i, 4, o in decreasing order.
o, 4, i
Let r be ((-20)/3)/2 - 16/(-48). Sort r, 7, 2.
r, 2, 7
Let d(n) = -2*n - 5. Let h be d(-4). Suppose 11 = 2*l + h. Put 3, -2, l in descending order.
l, 3, -2
Suppose 10 = 5*n - 2*r - r, 4*r = -2*n + 4. Let z be (4/(-5))/(2/(-10)). Put z, n, -4 in increasing order.
-4, n, z
Let o = -1/34430 + -47065803/241010. Let t = o - -195. Sort t, -4, -3 in descending order.
t, -3, -4
Let v be (-3)/24 + 3/24. Sort -5, 4, v, -4.
-5, -4, v, 4
Let b be (1*-6)/3 - -2. Let u be 1*1/(-16)*2. Put u, b, 1/7 in decreasing order.
1/7, b, u
Suppose -2*z = 0, 4*s + 3*z - 4 = z. Let n be 2/(-9) - (-4)/18. Let l be 1/(0 - 1)*n. Put l, -2, s in increasing order.
-2, l, s
Let u(r) = 2*r - 10. Let m be u(9). Suppose -2*q + 5 = 3*d, -2*q + 5*d - 27 = m. Put -3, q, 1 in decreasing order.
1, -3, q
Let c = -2.71 + -0.29. Put 2/9, c, -13 in descending order.
2/9, c, -13
Let k = -0.1 + -0.9. Let l = 13 + -13. Let v = 1 + l. Sort -0.4, k, v in ascending order.
k, -0.4, v
Suppose -3*b + 1 = o, -2*b - 8 - 2 = -2*o. Let n be (-7)/((-28)/(-12)) - 2. Sort n, 0, o in decreasing order.
o, 0, n
Suppose -z + 4*i + 38 = -6*z, -2*z + 4*i = 4. Sort z, 4, -4 in decreasing order.
4, -4, z
Let h = 6 + -4. Suppose 2*o + 572 = -5*v, 6*v - 3*v - 2*o = -340. Let l be v/(-27) + 4/(-18). Put l, h, 0 in decreasing order.
l, h, 0
Let i = 13 - 5. Suppose -4*r - i = -6*r. Sort -2, 0, r in descending order.
r, 0, -2
Let s = 14 + -10. Let g = -0.1 + 1.1. Let q = 5.8 + -6. Sort q, g, s in descending order.
s, g, q
Let m = 8/407 - -6/37. Let p = 3 - 4. Sort 0, m, p.
p, 0, m
Let x = 18 - 8. Suppose 7*t = 3*t - 2*f - x, 0 = -2*t - 2*f - 2. Sort t, 2, -5 in decreasing order.
2, t, -5
Let p = -22 - -21.88. Let t = p - -1.12. Sort -5, -2, t in descending order.
t, -2, -5
Let n = 2.5 + -3. Let u = 7/26 - 101/182. Put 3, n, u in increasing order.
n, u, 3
Let w(c) = c**2 - 5*c + 4. Let f be ((-20)/(-8))/((-2)/(-4)). Let g be w(f). Sort -1, g, 2 in increasing order.
-1, 2, g
Let r = -2 - -2. Suppose 1 + 3 = 2*u. Suppose -u*c = -3*h + 1 - 6, 0 = -c + 3*h + 10. Sort r, -1, c in descending order.
r, -1, c
Suppose -2*u = u + 6. Put -5, -7, 1, u in descending order.
1, u, -5, -7
Let y(k) = -149*k**2 - k. Let b be y(1). Let f be ((-1015)/b)/((-1)/9). Let i = -61 - f. Sort 1/5, i, -0.2 in ascending order.
-0.2, i, 1/5
Suppose -5*u + 12 = -2*u. Let p(m) = -3*m**3 + 0*m**2 + 2*m**3 - 3 + 2*m**2 + u*m. Let z be p(2). Sort 4, z, 1.
1, 4, z
Let b be (2/4)/(1/8). Suppose 44 = -2*j + 50. Sort b, 2, j.
2, j, b
Suppose 5*x + 4*p - 21 = 0, p - 13 = -4*x + 6. Sort 1, x, 4.
1, 4, x
Let w be (4/(-12))/(1/(-3)). Let m(f) = 4*f. Let n be m(1). Suppose n*q + 5 + 3 = 0. Put w, 0, q in decreasing order.
w, 0, q
Let t = -3.5 - 0.5. Sort 2, -0.08, t in increasing order.
t, -0.08, 2
Suppose -10 = -22*a + 24*a. Sort -4, -3, a in increasing order.
a, -4, -3
Let m(r) be the third derivative of -1/60*r**5 + 0 - 1/3*r**4 - r**2 + 1/3*r**3 + 0*r. Let j be m(-8). Sort j, 3, 4 in decreasing order.
4, 3, j
Let g(s) = -s - 5. Let a be g(-5). Let q(d) = d - 4. Suppose 12 = -0*p + 4*p. Let t be q(p). Put -0.2, a, t in descending order.
a, -0.2, t
Suppose -3*d = -4*d + 3*u - 3, -2*u - 6 = 2*d. Let g = 25 + -24.83. Let p = -0.07 + g. Sort p, d, -1/4.
d, -1/4, p
Let v be (18 + -7)*(-4)/(-22). Sort -1, v, -4, 1 in decreasing order.
v, 1, -1, -4
Suppose -37 - 4 = 5*d - 2*a, 3*d - 3*a + 30 = 0. Put d, -3, 4 in descending order.
4, -3, d
Let g(z) = z**2 - 7*z - 13. Let f be g(9). Suppose -15 = f*j + 5. Put j, 3, 4 in decreasing order.
4, 3, j
Let x = 6 + -10. Let i = 19 + -19.1. Let o = 4.93 - -0.07. Sort x, i, o in increasing order.
x, i, o
Let o = 2 - -1. Let j = -5 + o. Put -3, j, 2 in increasing order.
-3, j, 2
Let l = -1 + 0. Let n be 0 - 0/(3 + -2). Sort 1, n, l in ascending order.
l, n, 1
Let u = 12 + -12. Let r be 12 - 4*2/4. Suppose 2*s - r = -u*s. Sort 2, s, 4.
2, 4, s
Let g be (1 - 4)/(4 + -5). Suppose 2*z - g = -q + 3, 0 = -3*z - 5*q - 5. Put z, 1, 0 in ascending order.
0, 1, z
Let w = 9 + 1. Let p = 2.8 - -3.2. Let d = p - w. Sort d, 2/5, 2.
d, 2/5, 2
Let w = 2.8 - -0.2. Let q = -3.8 - -0.8. Put q, w, 2/11 in descending order.
w, 2/11, q
Suppose -2*b = -b - 28. Suppose 0 = 2*o - 5*f - 15, f - 9 = -2*o - 0*o. Suppose -5*p = -2*d - b, -d - o*p = 5 - 21. Sort 3, d, 0.
d, 0, 3
Let l = 172 - 689/4. Sort -5, -3, -7, l in decreasing order.
l, -3, -5, -7
Let b(x) = x + 5. Suppose 4*t - 5*t = 0. Let w be b(t). Put w, -1, -2 in ascending order.
-2, -1, w
Let w = 36 - 35. Sort 1/2, w, -2.
-2, 1/2, w
Suppose 4*h + 9 = h. Let d = 42 + -38. Sort h, d, 3 in ascending order.
h, 3, d
Let o = -0.5 + 0.6. Let n = 80 + -76.1. Let m = n + o. Put -0.5, m, -2 in increasing order.
-2, -0.5, m
Let o be (-9)/6*(-3)/(-9). Put -0.2, -0.4, o in decreasing order.
-0.2, -0.4, o
Let j be (-6)/(-14) + 4/(-14). Sort -2/3, j, 1/3.
-2/3, j, 1/3
Let o = -23 - -22