45 = m. Suppose 155 = 5*n + j. Suppose 4*c = -4*x - n, -11 = 2*x - c + 2*c. Put x, -3, 4 in increasing order.
x, -3, 4
Let a = -171/4 + 44. Let j be 4/(-6) + 13/24. Put j, a, -5 in ascending order.
-5, j, a
Let i = -10 + 7. Let y = i + 3.2. Put 1, -2, y in descending order.
1, y, -2
Let o = -1.01 + 1.1. Let u = -3.91 - o. Let f = 0 - 0.2. Put f, u, -3 in ascending order.
u, -3, f
Let x be -2*(-6)/(-12) - 0/1. Sort x, -5, 1, -2.
-5, -2, x, 1
Suppose 0 = 7*g - 5*g + 8. Suppose -4*q + 3*l = -20 - 14, q = l + 9. Suppose -q + 17 = 5*v. Sort 0, g, v in decreasing order.
v, 0, g
Let x = -6 - 0. Let z = -5 - x. Let i = -6 + z. Sort 1, -2, i.
i, -2, 1
Let a = -33.6 - -33. Put -0.4, 4, a in decreasing order.
4, -0.4, a
Let i(j) = j**3 + 4*j**2 + 2*j + 6. Let c be i(-4). Suppose -5*r - 16 + 1 = 0. Sort r, 1, c in ascending order.
r, c, 1
Let v = 4.205 + -0.205. Put -4, -0.2, v in increasing order.
-4, -0.2, v
Let p(i) = i**3 + 14*i**2 - i + 1. Let m be p(-14). Let w = m + -20. Put w, 8, -4 in descending order.
8, -4, w
Suppose u - 1 = 2*u. Sort u, -3, -5 in decreasing order.
u, -3, -5
Let h = -0.05 + 0.25. Put -1, h, -3 in decreasing order.
h, -1, -3
Let l be (-70)/22 - (-8)/44. Let p be l/(-1*(-1 + 2)). Let d(n) = -3*n + 19. Let y be d(8). Sort -1, p, y in decreasing order.
p, -1, y
Let z(t) = t**2 - 2*t + 2. Let n = -4 - -8. Let v be (0 - 1)/((-2)/n). Let i be z(v). Sort 3, i, 5 in decreasing order.
5, 3, i
Suppose 64 = 5*k + 2*l, 0 = -3*k + 3*l - 2*l + 45. Let h = k + -12. Put -3, 3, h in decreasing order.
3, h, -3
Let d = 0.3 + -0.2. Let t = 0 - d. Let h = 0.1 + t. Sort -2/21, -5, h in ascending order.
-5, -2/21, h
Let u = -28 + 40. Let w = u - 9. Let n = -6.7 - -7. Sort 4, n, w in descending order.
4, w, n
Suppose -2*r + 11 + 9 = 0. Let t(h) = 2*h**2 + 8*h + 7. Let o be t(-1). Sort r, 5, o in decreasing order.
r, 5, o
Let b = 18.6 - 19. Sort b, 3, -2/7 in increasing order.
b, -2/7, 3
Let d = 4 + -7. Let q = d - -2.8. Sort -3, q, 3/7 in descending order.
3/7, q, -3
Suppose 2*d + 3*o + 4 = 9, 0 = -3*d - 5*o + 8. Let k = -4 + 3. Put -5, k, d in ascending order.
-5, k, d
Let f = -6 - -4. Let h be 2/12*(-12)/f. Put -1, 5, h in descending order.
5, h, -1
Let a be (0 - 3) + -1 + 1. Suppose -18 = -5*w - 3*z, 2 = -3*z + 5*z. Put 1, w, a in decreasing order.
w, 1, a
Let v(f) = -f**3 + 4*f**2 - 4*f + 3. Let g be v(2). Let l = 5 - g. Sort 4, -2, l in decreasing order.
4, l, -2
Let m = 0.38 - 0.4. Let b = m - 1.98. Let v = 4 + b. Put 0.2, v, 0.5 in ascending order.
0.2, 0.5, v
Let w = 116.01 - 116. Sort 2, w, -0.5, 1 in descending order.
2, 1, w, -0.5
Let n be ((-18)/(-10))/(126/210). Suppose -2*l = -2, -6*m + 2*m = l + 3. Sort m, n, 5 in descending order.
5, n, m
Let x = 21 - 25. Sort 2, -5, x.
-5, x, 2
Suppose u - 5 = 3. Let y be -6*(u/(-6))/4. Let o = -15 + 14. Put y, -2, o in descending order.
y, o, -2
Let w = -112.4 - -112. Let u = -4.3 - 0.7. Let a = u - -3. Sort -0.2, w, a in decreasing order.
-0.2, w, a
Let y(h) = -h + 12. Let b be y(9). Sort b, -2, -3 in descending order.
b, -2, -3
Let o = -0.15 + -0.05. Let g(k) = 3*k + 2. Let y be g(-2). Sort -1/3, o, y in decreasing order.
o, -1/3, y
Let h = -27 + 29. Suppose l = 5*u - 13, -h*u - u = 2*l - 13. Put 5, l, -4 in decreasing order.
5, l, -4
Let i be (-72)/(-9) - (5 - (-2)/(-1)). Sort 16, 3, i, -2.
-2, 3, i, 16
Let u(s) = 11 - 14 + 0*s**3 + 5*s**2 - s**3 - 3*s. Let t be u(3). Let l be (-2)/t - (-2)/(-3). Sort -3, l, 3 in increasing order.
-3, l, 3
Let z be 4 + (0 - 2) - 0. Let i = 10 - 5. Suppose -3*j + 0 = -i*s - 15, 3*j + 6 = -2*s. Sort z, s, -4 in ascending order.
-4, s, z
Let x be (-1)/(0 + 1) + 6. Let t = 6 + -6. Put x, -3, t in increasing order.
-3, t, x
Let d = 13 - 8. Suppose h = d*h + 12. Put 4, h, 0 in decreasing order.
4, 0, h
Let g be ((-1)/(-2))/(25/(-30)). Put g, 1/2, 0, -0.3 in descending order.
1/2, 0, -0.3, g
Let i = -2 + 7. Let l = 20/13 + -206/117. Put -2, i, l in increasing order.
-2, l, i
Suppose 0 = 3*j - 8*j + 10. Put 1, j, 0 in increasing order.
0, 1, j
Let b = 118 + -118. Put 0.4, 3, b in ascending order.
b, 0.4, 3
Let o be 28/16 - 6/8. Put 4, -5, o in descending order.
4, o, -5
Let z = 12.17 + -0.17. Let q = z + -11. Put -3, 0.5, q in increasing order.
-3, 0.5, q
Let k = 0 + 0.1. Let n = 0.03 + -0.63. Let u = n + k. Put -4, u, 0.1 in decreasing order.
0.1, u, -4
Suppose 2*z + z = 3*l + 30, 5*z - 5 = -4*l. Suppose 0 = 5*d - 0*i + 3*i - 15, -4*d + 5*i + 49 = 0. Suppose -3*o + d = -0. Sort -1, o, l in increasing order.
l, -1, o
Let z = 5.4 + -6. Let y = 0.4 + z. Put 5, y, -3 in increasing order.
-3, y, 5
Let b = 11 - 10.9. Put 1.3, b, -2 in increasing order.
-2, b, 1.3
Suppose 0 = 3*d - d. Let s = 11 - 9. Suppose 3*q = b - 10, 0 = -3*b + s*b - 3*q - 14. Put -1, b, d in ascending order.
b, -1, d
Suppose 0 = 2*o + 15*o + 17. Put -2/17, -5, o in ascending order.
-5, o, -2/17
Suppose 2*v = -15*v + 68. Sort 3, v, -7, -5.
-7, -5, 3, v
Let w(a) = -a**3 + 8*a - 2. Let y be w(3). Sort 4, y, 1 in descending order.
4, 1, y
Suppose -4*b = 12, 2*x - 2*b - 9 = -1. Sort 3, x, 4, 0 in descending order.
4, 3, x, 0
Let o = 0.02 + -0.12. Put -4, 4, o in descending order.
4, o, -4
Suppose 4*m - m = 0. Suppose 4*o + p - 17 = m, 0*o = o - 4*p + 17. Sort -4, 5, o in descending order.
5, o, -4
Let u = 3.03 + 0.17. Let x = -3 + u. Sort x, -1, 2.
-1, x, 2
Let c = 15 - 15. Sort c, 6, -3 in decreasing order.
6, c, -3
Let t(u) = 2*u + 11. Let n be t(-5). Sort 0.5, 0, n in increasing order.
0, 0.5, n
Suppose 5*n - 13 = 3*x, 2 = 3*x + 5. Put n, -8, 1, -2 in decreasing order.
n, 1, -2, -8
Suppose -3*w + 2*w = 2. Let l be 13/8 - 10/5. Sort l, 0.3, w in increasing order.
w, l, 0.3
Let u be (32/72)/(1 - 3). Suppose -5*m + 12 = -2*w, 6 = -4*m + 5*w + 2. Suppose 15 = m*t + t. Put 0.1, u, t in descending order.
t, 0.1, u
Let w = 8.3 + -8. Let n = -0.25 + -0.05. Put w, n, -0.2 in descending order.
w, -0.2, n
Let i(z) = -z**3 + 2*z - 1. Let d be i(1). Let t be 5/(15/9) - d. Put -2, 1, t in decreasing order.
t, 1, -2
Let x be ((-2)/3)/(4/12). Sort x, 10, -1 in decreasing order.
10, -1, x
Let l = -8 - -5. Let w(d) = d**3 + 6*d**2 + d + 6. Let o be w(-6). Let q = o + 4. Put q, 0, l in decreasing order.
q, 0, l
Suppose -4*c - 33 = 5*g, c + 0*c + 2*g + 12 = 0. Sort 1, c, 0.2 in decreasing order.
1, 0.2, c
Let d(k) = -k**3 - 3*k**2 + 2*k - 4. Let q be d(-4). Put -2, 0, q in descending order.
q, 0, -2
Let q(o) = o**2 - 17*o + 15. Let f be q(16). Put 4, -3, f in descending order.
4, f, -3
Suppose -66 = -3*f - 21. Suppose -l = 2*l - f. Suppose -n - l*c = -17, 4*c - 1 = 11. Sort -6, n, -4 in descending order.
n, -4, -6
Let s = -0.2 + 5.2. Put -0.4, s, 2 in descending order.
s, 2, -0.4
Let u = -0.14 - -0.08. Put u, -6/11, 0.1 in decreasing order.
0.1, u, -6/11
Let z(b) = -b - 15. Let g be z(-7). Let w = 11 + g. Sort -3, 0, w in increasing order.
-3, 0, w
Let x be ((-7)/((-49)/(-4)))/((-3)/(-7)). Sort x, -5, -38.
-38, -5, x
Let m = 17 - 24. Let b = m - -6. Put 2, 5, b in ascending order.
b, 2, 5
Suppose 1 + 3 = 2*i. Suppose -i*y + 2 = 12. Let z be ((-4)/6)/((-4)/6). Sort 2, y, z in decreasing order.
2, z, y
Let t be 1/((2/23)/2). Suppose 5*z - t = -3. Suppose -21 = -5*j - 5*d - 6, -z*j = 5*d - 15. Put j, 4, 2 in descending order.
4, 2, j
Let w(l) = -l + 7. Let p be w(5). Let h be ((-20)/8)/(5/(-8)). Put h, p, -3 in descending order.
h, p, -3
Suppose -r + 0*r + c - 4 = 0, 5*c - 29 = -4*r. Let l be 23/(-5) - (-8)/(-20). Sort -1, r, l in decreasing order.
r, -1, l
Suppose 0 = -3*p + 3 + 6. Let k(d) = -6*d - 1. Suppose 3*f + 3 = -0*f. Let a be k(f). Put -1, p, a in ascending order.
-1, p, a
Let z(a) = 5*a**3 - 3*a - 2. Let i be z(-1). Sort 0.06, 1, i, 0 in descending order.
1, 0.06, 0, i
Let k = -2 - -2.1. Suppose -2*i = -3*w - 8, -4 = -3*i + i + 2*w. Sort k, -0.2, i in descending order.
k, -0.2, i
Let c = -0.2 + 2.2. Sort -2, c, 1/5 in ascending order.
-2, 1/5, c
Let y be -3 - -2 - (-3 - 0). Suppose -2*w = y*w + 4. Put 3, w, 0 in decreasing order.
3, 0, w
Let h = -7.11 + 0.11. Let s = h - -2. Let y = 9 + s. Put -3, y, -4 in descending order.
y, -3, -4
Let x = 1.1 + -2.4. Let w = 0.3 + x. Let u = -3.6 + 4. Sort u, -0.3, w in descending order.
u, -0.3, w
Let p be ((-9)/3 + (-3)/(-2))*2. Sort -16, 4, p in ascending order.
-16, p, 4
Let