er.
3, b, x
Let h(s) = -3*s**2 - 2*s + 2. Let w be h(-2). Let c be 10/w*6/4. Let v = -675/56 + 87/7. Sort 2, c, v in increasing order.
c, v, 2
Let w be -4*((-122)/(-32) + -4). Let x = 0 + -0.2. Let r = -11 - -6. Put x, w, r in descending order.
w, x, r
Suppose 2 - 6 = -4*c. Let u(m) = m**3 + m**2 + m - 1. Let d be u(c). Suppose -3*n - 25 = 4*a, n + d*n - 3*a - 3 = 0. Put 2, n, 0 in increasing order.
n, 0, 2
Let z be (9/(-12))/((-2)/(-8)). Let l be z + 2 - (-5 + 0). Let j be 1/(l/5 - 1). Put -3, 2, j in decreasing order.
2, -3, j
Let g(p) = -2*p - 10. Let n be g(-7). Suppose n*b - 5 = 11. Sort -5, b, -1 in ascending order.
-5, -1, b
Suppose a - 8 = -4*s, -6*a + 2*s + 18 = -a. Suppose -2*i - a*q + 1 = -i, 3 = 3*i - q. Put i, 0, -1 in descending order.
i, 0, -1
Suppose -2*h - 1 = -7. Let i(t) = -t**3 + 4*t**2 - 3*t + 4. Let p be i(3). Put h, p, -3 in decreasing order.
p, h, -3
Let m = -0.3 + 0.5. Let o = -84 - -81. Put -3/4, o, m in descending order.
m, -3/4, o
Suppose 0 = -5*n + q - 9, -2*n + 2*q - 13 = 3*n. Let u(s) = 2*s**3 + s - 1. Let i be u(1). Let a = -1 + i. Put 2, n, a in decreasing order.
2, a, n
Suppose -a = -0*a + 3. Put a, 5, 2 in descending order.
5, 2, a
Let m = -5 + 0. Let c = -2 + 2.5. Put c, m, -4 in increasing order.
m, -4, c
Let p = 8 + -6. Let a be p*4/6*-3. Put a, -5, 5 in ascending order.
-5, a, 5
Let r = -3.03 + 0.03. Put 0.2, 4, r in ascending order.
r, 0.2, 4
Let g = 3.5 - -1.5. Sort g, -2, 3 in descending order.
g, 3, -2
Let z be (-19)/(-3) - (5 + (-56)/12). Sort 3, z, -3 in decreasing order.
z, 3, -3
Suppose j + 5 - 2 = 0. Sort j, 1, 3.
j, 1, 3
Let r = -0.086 - 0.314. Put 5, 0.03, -0.3, r in decreasing order.
5, 0.03, -0.3, r
Let m = 0.61 - 0.6. Let l = m + 0.19. Put -0.1, -0.3, l in ascending order.
-0.3, -0.1, l
Let m = -0.3 - -0.1. Let t = -0.14 - -0.54. Let c be ((-2)/(-3))/((-2)/(-6)). Sort t, c, m in descending order.
c, t, m
Let t(y) = y**2 + 2*y - 24. Let n be t(-6). Let w be 5/(-2)*(2 + -4). Put 1, w, n in decreasing order.
w, 1, n
Let z = 101/3 + -704/21. Put z, -3, -2, -4 in descending order.
z, -2, -3, -4
Let y be 32/12*6/28. Let k = 0.7 + -1. Sort y, k, 2/7 in descending order.
y, 2/7, k
Let x = 49/152 + 1/19. Put 2/3, x, 3 in ascending order.
x, 2/3, 3
Let u = 1.48 + -1.49. Sort 1, -4, 3, u in increasing order.
-4, u, 1, 3
Suppose -2*o + 5 = 2*k - 5*o, 4*k = o - 5. Suppose -5*g - 1 = -26. Sort k, -4, g in decreasing order.
g, k, -4
Suppose 3*w - 3 = 15. Suppose w = j - 3*j. Sort j, 2, 6.
j, 2, 6
Let a = 1.2 - 0.2. Let f = 0.71 - 0.71. Let y = a - f. Put 5, 0.3, y in increasing order.
0.3, y, 5
Let o = 1 - -2. Let m = o + -3.2. Sort -2, -1, m in ascending order.
-2, -1, m
Suppose 0 = -4*n + 3*c, 0 = c - 5*c - 16. Suppose 2 = 6*l - 5*l. Suppose -3*q - l*q + 4*t = -7, 2*t + 9 = -3*q. Sort n, 1, q in decreasing order.
1, q, n
Let n = -3 + 3.5. Let s = n + -1.5. Sort s, -4, 0.2.
-4, s, 0.2
Suppose -p - 2*d + 11 = 0, 5*p + 0*d - d = 22. Let y(q) = -q**3 - 6*q**2 - 4*q + 1. Let m be y(-5). Let t be m/10 + 2/5. Sort -4, p, t in descending order.
p, t, -4
Suppose -3*p + 4*n - 5 + 1 = 0, -n = 4*p - 1. Suppose 0 = -0*g - 5*g - 15. Let b = 1 - g. Sort 3, p, b.
p, 3, b
Suppose 9*r + 4 = 8*r. Suppose 2*c + 8 = -2*c + 5*p, -3*p = 2*c - 18. Sort -1, c, r in decreasing order.
c, -1, r
Let v be 2/(12/20 - 1). Put -2/11, -17, v in increasing order.
-17, v, -2/11
Let r(o) = o**3 - 4*o**2 + 2*o + 3. Let p be r(3). Suppose -2*q + 4 = -0. Sort -1, q, p.
-1, p, q
Let q = 56 - 59. Sort 0.3, q, 2/15, 0.02 in descending order.
0.3, 2/15, 0.02, q
Let a(l) = l - 9. Let k be (6/(-9))/(4/(-30)). Let z be a(k). Let y(w) = -w - 20. Let j be y(-15). Put z, j, 0.3 in descending order.
0.3, z, j
Let l = -6 + 2. Let q be 3 - l/(-3)*2. Sort -2, q, -0.5 in decreasing order.
q, -0.5, -2
Let x = 34.9 - 39. Let t = 4 + x. Put 1/6, t, 0.1 in descending order.
1/6, 0.1, t
Suppose -2*b - 3*d - 16 = 0, b = 5*d + 1 + 4. Sort 2, -2, 4, b in descending order.
4, 2, -2, b
Suppose -2*t - 2*t - 12 = 0, -3*t - 9 = h. Put h, 8, -5 in decreasing order.
8, h, -5
Suppose 4*j = g, 4*g - 8 = 5*j + 3. Suppose -a = -3*a - 6. Let u = 2 + a. Put 2, u, g in descending order.
g, 2, u
Let x = -21 + 20.78. Let s = x + -3.18. Let u = -0.4 - s. Sort u, -3, 0 in decreasing order.
u, 0, -3
Suppose 0 = 2*v + 5*f + 19, -f + 4 = v + 6. Sort v, -2, 2 in descending order.
v, 2, -2
Let m = 8 - 8. Let i = -2 - -4. Let u = 5 - i. Sort 1, m, u in ascending order.
m, 1, u
Let r be (3 + (-2 - 3))/2. Sort r, -25, 5.
-25, r, 5
Let j(v) = -v - 9. Suppose 3*a + 10 = a. Let b be j(a). Suppose -7 = -3*r + x, -r + 2*x - 5 - 1 = 0. Sort 2, r, b in descending order.
r, 2, b
Let s = 12 - 7. Let f = 9 + -10. Sort f, s, -0.2 in descending order.
s, -0.2, f
Let i(f) = f**3 + 6*f**2 + 4*f - 3. Let q be i(-5). Sort -2, 0, q in descending order.
q, 0, -2
Let h = 28 - 16. Suppose 8*z + 16 = h*z. Put 2/13, 0, z in descending order.
z, 2/13, 0
Let j = 1.8 + 0.2. Let l = 1.9 - j. Let q be 8/126 - (-12)/54. Put l, -1/5, q in descending order.
q, l, -1/5
Suppose 2*c - 4*c = 6. Let b = -0.7 - -1. Sort b, c, 0.4 in decreasing order.
0.4, b, c
Suppose 2*v - 3*n = n + 12, 4*n - 8 = -3*v. Suppose 0 = 4*l + v*d - 28, -5*d + 23 = 4*l - 8. Let u = 0 - 1. Put u, -5, l in descending order.
l, u, -5
Let n = -32 + 27. Sort 3, n, -2 in descending order.
3, -2, n
Let s = -4.06 - -0.06. Let q be -2*2*(-28)/(-392). Put s, q, -0.5 in decreasing order.
q, -0.5, s
Let n be -1 + -5 + 1 + 7. Put -3, 8, 4, n in ascending order.
-3, n, 4, 8
Let b be (4 - 3) + (-34)/24. Let u = b - -1/12. Put -2, u, -1 in ascending order.
-2, -1, u
Let z(g) = -g**3 + 3*g**2 - 4*g + 4. Let j be z(3). Let a = j + 12. Let v = a - 7. Put 2, -2, v in increasing order.
v, -2, 2
Let j be ((-3)/(-4))/(4/128). Suppose n + 3*n = j. Suppose -a - a = n. Put a, 4, 3 in ascending order.
a, 3, 4
Let q = -2.6 + -3.4. Let g = q + 5.5. Let b = -0.07 - -3.07. Put -2, g, b in descending order.
b, g, -2
Let y = 55.1 + -55. Put 0.11, y, -0.2 in descending order.
0.11, y, -0.2
Let n = -57509/337700 - -1/3377. Let y = 2/25 - n. Sort -4, -2, y in ascending order.
-4, -2, y
Let o = 53.4 + -49. Let u = -4 + o. Let a = -7 + 4. Put a, -1, u in descending order.
u, -1, a
Let i = -4 + 25. Suppose -i + 6 = -p. Suppose p = 5*r - 2*f, 2*r - f - 6 = 1. Sort 5, -3, r in descending order.
5, r, -3
Suppose -3*t - b - 6 = b, 3*b - 9 = 0. Put -6, 0.1, t in descending order.
0.1, t, -6
Suppose -4*a + 3*a = 4. Let q = -15 - -15.4. Let s = -0.11 - 0.09. Sort q, a, s in decreasing order.
q, s, a
Suppose 2*q = -3*v - 6, 7*q = -4*v + 2*q - 15. Suppose 2*r - 5 + 7 = v. Put -7, r, 0 in decreasing order.
0, r, -7
Let g be (-14)/(-24) - (-1)/(-3). Let l = 3 + -3.03. Let p = l + -0.97. Sort 0.5, p, g in descending order.
0.5, g, p
Let i = -36/7 - -115/21. Sort 3, -3, i in descending order.
3, i, -3
Let r(k) = -6*k - 55. Let z be r(-10). Let x(a) = -a**2 - 6*a - 4. Let n be x(-5). Let m = 0 - 7. Put n, m, z in increasing order.
m, n, z
Let k = 3 - -1. Let y be (-72)/14 + (11/77 - 0). Put 0, k, y in ascending order.
y, 0, k
Suppose a + 0 - 1 = 0. Suppose 2*s - 3*t + 11 = -a, -3*s + 3*t - 12 = 0. Let x be 1/1*1/4. Sort x, s, -3.
-3, s, x
Let c be 2/(2 + 0) + 19. Suppose 0 = -m + 5*m - c. Suppose 13 = m*n - 12. Sort n, 3, 2 in descending order.
n, 3, 2
Suppose 0 = -0*j - j. Suppose 0*n - 5*n = -20. Sort j, 2, n in decreasing order.
n, 2, j
Suppose -3*r = -4*r. Suppose 2*n - 2*i = r, -n - 2*i = -4*n. Let h = 228 + -227.9. Put h, n, -4 in decreasing order.
h, n, -4
Let t(g) = -g**2 - 10*g - 2. Let i be t(-10). Let v(h) = -2*h + 11. Let r be v(8). Put r, i, 4 in ascending order.
r, i, 4
Let k(u) = -u**3 + 6*u**2 + 7*u + 2. Let v be (1 - 0)*74/2. Suppose -9 = 4*w - v. Let s be k(w). Sort -2, s, -3 in decreasing order.
s, -2, -3
Let d = 25 + -11. Let o = d + -9.5. Let x = o + -5. Sort -4, x, 0.4 in ascending order.
-4, x, 0.4
Let w(h) = -6*h + 35. Let f be w(8). Let b = 3 - 1. Sort f, b, 3 in descending order.
3, b, f
Let n = -1.4 - -12.4. Let z = n + -6. Let h = 45 - 497/11. Sort 0.1, h, z in increasing order.
h, 0.1, z
Let h = 5.2 + -1.2. Let v = 0.4 - 2.4. Put -1, h, v in descending order.
h, -1, v
Let o = 0.49 - 0.29. Put 5, -0.5, o in descending order.
5, o, -0.5
Suppose 5*h + 3*q = -32, -2*h - 4