ich is greater: m or o?
m
Let i = 3.3 - 2.22. Which is bigger: -2/3 or i?
i
Suppose -19 = -o + v - 3, 0 = 5*v. Let y = 18 - o. Suppose -y*w = -6*w. Which is smaller: w or -2?
-2
Let n = 0.083 - -112.917. Let i = n + -109. Let j(o) = o**2 + o - 3. Let h be j(-3). Is h less than i?
True
Let r = 40/9 + -13/3. Let z(o) = -o**3 + 8*o**2 - 5*o - 10. Let s be z(7). Suppose s*j = -j. Is r > j?
True
Let v be 12/3 + -4 - 0. Suppose -3*f + 3*b + 3 = v, -f + 5*b + 4 = -9. Let c be (9 + -1)/(f/4). Is c smaller than -16?
False
Let w(b) = 1 - 2 + 10 - b. Let c be 13 + 3/(-12)*2*6. Let p be w(c). Is -4/17 > p?
True
Suppose 6*p = 4*a + 3*p + 71, -2*p - 26 = a. Which is greater: a or -21?
a
Let x(q) = 10 + 7*q + q**2 + 6*q + 0*q**2. Let g(t) = -t**2 - 9*t - 7. Let v(l) = -7*g(l) - 5*x(l). Let y be v(3). Is 12 > y?
True
Let p = 718556/8625 + -1924/23. Let a = p - -1/125. Let n = -0.1 - -0.3. Are n and a non-equal?
True
Suppose -5*v - 30 - 14 = 3*d, 0 = 3*d - 2*v + 16. Let k(o) = -2*o - 16. Let a be k(d). Is 1 > a?
True
Let q = -5.7 - -6. Let d = q - 0. Let h be 30/165 + 16/(-44). Which is bigger: h or d?
d
Let b(l) = l + 24. Let t be b(-9). Suppose 2*y = 5 + t. Let o be ((-5)/y)/((-1)/(-2)). Do o and -1/4 have different values?
True
Let k be (4 - 45/12)*-4. Let p be (-64)/20 + (k - -4). Which is greater: -1/47 or p?
-1/47
Suppose -2*u + d - 5*d = 14, -4*u + 4*d + 32 = 0. Suppose -2*a + u*a = 0. Let z be a + ((-18)/21)/(-3). Which is smaller: z or -0.1?
-0.1
Suppose 11*k + 54 = 9*k. Let h = k - -26. Which is greater: 58 or h?
58
Let p = 26 + -22. Suppose i = -p*i. Suppose i*y + 7 = 7*y. Which is smaller: -2/11 or y?
-2/11
Let x(n) = -n**3 + 8*n**2 - n + 11. Suppose -f - 3*f + 36 = b, 4*f - b - 28 = 0. Let w be x(f). Suppose -w*k + 8 = -k. Which is smaller: 6 or k?
k
Let n = -32.23 + 1.23. Which is smaller: 0.05 or n?
n
Suppose -114 = -2*m + 134. Let d = 9 - 10. Let b be m/56 + -1 + d. Is -1 at least b?
False
Let k(w) be the first derivative of -w**4/4 - 4*w**3/3 - 3*w**2/2 - 3*w + 1. Let u be k(-3). Let h = -1.4 - -0.4. Is u greater than or equal to h?
False
Suppose -2*j + 57 = 3*k - 5*j, j + 107 = 5*k. Let r(d) = d**3 + 4*d**2 - 3*d + 9. Let o be r(-4). Which is smaller: o or k?
o
Let n(w) = -w - 3. Let u be n(-6). Suppose 0 = u*i - 9, -2*i = 5*r - 2*r - 3. Let p = -6565 + 256036/39. Is r smaller than p?
True
Suppose 5*q = 5*w + 30, -q - 4*w + 4 = 8. Suppose q*l + 9*v - 4*v - 4 = 0, -16 = -4*v. Which is bigger: -15/4 or l?
-15/4
Suppose -23 = -2*m - a, -5*m + 4*a + 19 = -19. Let h be 3 + 7/m*-4. Is h >= 1?
False
Suppose 0 = -6*u + 3*u + 18. Suppose u*v = 8*v. Suppose -2*d - 3*d + 4*t - 4 = 0, -3*d - 3*t + 3 = 0. Do d and v have different values?
False
Suppose -2*o - 3*p = o + 33, 4*o + 2*p + 54 = 0. Let s = 104 + -14. Suppose -s = 7*j - j. Which is smaller: j or o?
o
Let f(i) = 3*i**3 - 8*i**2 + 3*i - 4. Let l be f(3). Which is bigger: l or -14?
l
Let l(a) = -5*a - 16. Let r = -37 - -32. Let y be l(r). Let s be y/(-9) - (2 + -3). Which is smaller: 2/47 or s?
s
Let z(l) = 6*l - 3. Let t be z(1). Let y be (21/14)/(t/(-4)). Let x be 4/(-6) - (-22)/(-12). Which is bigger: x or y?
y
Let n = 2.7 + -11.52. Which is smaller: n or 0?
n
Let w be (-92)/(-9) + 4/(-18). Let d be (-56)/70 - 27/w. Let c = d - -4. Is 1/4 not equal to c?
True
Suppose -4*d + 6 = 2*f, 5*d - 4*f = -50 + 64. Which is bigger: d or 51/19?
51/19
Let r = -141 + 130.3. Let k = -7 - -18. Let x = k + r. Does x = -2/13?
False
Let r = -32 - -36. Suppose r*m = -3*y + 14, -3*y + 2*m - 2 = -2*m. Suppose -i = 4*v - y, -2*i - 8 = -0*i + 2*v. Which is smaller: i or -2?
i
Let u be ((-112)/(-6))/(69 + -39). Is 0 at least u?
False
Let y = -9/10 - -243/70. Let u = -15/14 + y. Let h = 0 + -0.1. Is h greater than u?
False
Let r = -0.7 + 0.7. Let o = -0.2 + 1.2. Let k = o + 14. Which is greater: k or r?
k
Let o = 2415.02 + -2387. Let f = -28 + o. Which is greater: f or -1?
f
Let n be (-5 - 4/(-2)) + 6. Let w = n + 6. Let r be 6/((-4 + 8)*(-1)/(-6)). Is w < r?
False
Let v = 3 + -2. Let q = 131.14 - 11.04. Let a = -121 + q. Are a and v non-equal?
True
Let p(s) = -s + 5. Let f be p(7). Let i = -3 - f. Let b be 10/75*(2 + 34/(-12)). Is b < i?
False
Let f = 0.2 + 6.8. Let s = 16 - f. Let y = s - 11. Which is bigger: y or -0.02?
-0.02
Let w = -62 - -75. Suppose -w = 3*f - 31. Do f and 0 have the same value?
False
Let t = 516 - 394. Which is greater: -2 or t?
t
Let j = -2 - -5. Suppose 12 = 3*p + 5*b, -2*b + 7 = 4*p - 9. Suppose 6 = p*s - j*s. Which is smaller: s or 5?
5
Suppose -5*d = 4*m - 40, -4*d + 40 = -2*m + 6*m. Suppose m*l - 12*l = -2. Which is greater: l or -2/9?
l
Let i = -60 + 30. Let a = 29 + i. Let m = 0 + -1. Is a != m?
False
Let f(r) = -r**3 + 13*r**2 - 11*r + 13. Let d be f(12). Let g = d - 9. Suppose -l - 15 = -g. Which is greater: 16/7 or l?
16/7
Let o = 12.61 - -1.39. Which is greater: o or -6/7?
o
Suppose 40*a = 31*a - 729. Which is bigger: a or -79?
-79
Suppose 0*o = -3*a + 3*o + 12, 2*a + 7 = -o. Let y = -55/4 - -45/4. Let l = 9/4 + y. Which is smaller: a or l?
a
Let r(k) = -k**3 - 4*k**2 + 11*k - 3. Let f be r(-5). Let b be (-64)/11 + (39/f - -1). Is -9 greater than b?
False
Let m be ((-405)/(-12))/(-5) - -8. Which is bigger: -5 or m?
m
Let n be (-36)/(-14) - 6/(-14). Let l(m) = -4*m + 7. Let v be l(n). Let d = 0 + -3. Which is smaller: d or v?
v
Let y = -4.191 - -1.191. Let n = -8.93 - -9. Let o = 0.37 - n. Is y less than or equal to o?
True
Let x(s) = s - 2. Let g be x(-10). Let k(y) = y**3 + 13*y**2 + 11*y - 11. Let v be k(g). Is 5 greater than v?
True
Let o = 785 + -785.413. Let k = 0.037 - o. Which is bigger: 0 or k?
k
Let z be (12/18)/((-56)/(-24)). Is z bigger than 61.1?
False
Let l be (-12)/66 - (-1)/(1749/516). Let d(y) = 6*y - 60. Let q be d(10). Is l < q?
False
Let t = 1583/11 + -144. Let i = -10.03 + 0.03. Let p = i + 9. Which is smaller: t or p?
p
Let v be (-17)/21 - 0 - -2. Let w = 16/21 - v. Let r = -27 + 26. Which is smaller: r or w?
r
Let g = 1.7 - -344.3. Which is bigger: -1 or g?
g
Let l = 1315 + -1318. Does l = -10/17?
False
Let t(q) = -q**2 - 20*q - 33. Let m be t(-11). Let v = m + 56. Is 122 < v?
False
Let s = 82.25 + -3.25. Is 2 > s?
False
Suppose -z = g - 3*z - 7, -z + 4 = -3*g. Let p be 3*(11 - 2)/g. Let t = -10 - p. Do 2 and t have the same value?
False
Let z = 18/7 + -57/14. Let b = -43.8 + 74.8. Which is smaller: b or z?
z
Let c = 0.1 + 0.2. Let w = -1.32 - -1.32. Is w >= c?
False
Let j(n) = 5*n**2 - n. Suppose 0 = v + 3*d + 9, -5*v = -3*v - 2*d - 6. Suppose 3*g + g - 4 = v. Let i be j(g). Is i != 4?
False
Let g be 1 - (1/1 + 1). Suppose -5*f - 2*y + 72 = 0, -27*f + 59 = -23*f + 3*y. Is f at most as big as g?
False
Let s = 116 + -110. Let t = 4 - 2. Which is greater: t or s?
s
Let q be 42/(-9)*(-18)/(-3). Which is bigger: q or -3?
-3
Let k(n) = 194*n - 6. Let q be k(1). Which is greater: 190 or q?
190
Let b = 15.75 - -0.25. Let j = -4 + b. Let d = j - 9. Are -0.2 and d equal?
False
Suppose -4*d = 4*j + 17 + 3, -14 = 2*j + 4*d. Which is bigger: j or -14?
j
Suppose -2*l + 19 = 79. Let q = l - -32. Is 0.4 less than q?
True
Suppose 3*k + 0*k + 16 = -2*t, 4*k + 16 = 0. Is 157 smaller than t?
False
Let i = 142.9 + -152. Let p = i + 17. Let n = p + -0.9. Which is bigger: n or -1/3?
n
Let g = 423 - 389. Which is smaller: g or 1/20?
1/20
Let a(p) = -3*p + 35. Let x be a(9). Which is smaller: x or 52/7?
52/7
Let p be (-17)/3 + 4/6. Let f(h) be the third derivative of -h**6/120 - h**5/10 - h**4/12 + 2*h**3/3 + 8*h**2. Let b be f(p). Is -11 greater than or equal to b?
True
Suppose 16*v - 34 = -114. Which is bigger: 32 or v?
32
Suppose 4*u + u + 3*y - 84 = 0, 5*u = 3*y + 66. Which is smaller: u or -14?
-14
Suppose 0 = -15*x + 399 + 141. Are x and -3 non-equal?
True
Let c be ((-36)/(-30))/(2712/30). Do c and -1 have the same value?
False
Let c = -22 - 0. Let n = c + 20.5. Let u = n - -2.5. Do -0.2 and u have different values?
True
Let u be (-4)/(-1) + 2 + 2. Suppose 2*a - 22 = -5*w, 0 = -3*a - 3*w + u*w - 17. Which is bigger: -2/33 or a?
a
Let m(p) = p**2 - 9*p + 6. Let c be m(9). Suppose 0 = 7*z + c - 41. Let d = 0 - 0.4. Which is smaller: z or d?
d
Let b(z) be the first derivative of -z**3/3 - 9*z**2/2 + 10*z - 8. Let h(v) be the first derivative of b(v). Let i be h(-4). Is i >= 17?
F