than t?
True
Suppose -3*o = -4*y + 147, 17 = y - 5*o - 24. Suppose 6*z - 12 - y = 0. Let q be (z/(-804))/(-1)*(-3)/2. Is q equal to 0.1?
False
Let h = 2.6967 + -3.6967. Is -15470 less than or equal to h?
True
Let r be ((-120)/48)/(30/(-1992)). Is r at least as big as 115?
True
Let b = 451 - 260.5. Let q = b + -191. Which is greater: q or 17?
17
Suppose -3*j + 1059 = 4*n, 0 = 5*n - n - 3*j - 1029. Which is smaller: n or 265?
n
Let z be 2 + 3 + 1 + 0 - 0. Let g(w) = -4*w**2 + 23*w - 15. Let s be g(z). Let o be (49/s)/((-1)/(-3)). Is -2 <= o?
False
Let g = 21.6869 + 0.3131. Suppose 0 = -14*v + 9*v. Is v less than g?
True
Let q = 15025 + -15025. Are 11673 and q equal?
False
Let a = 412 + -847/2. Let c(n) = -9*n + 56. Let w be c(4). Suppose -2*z - w = v, 2 = v - 2. Which is smaller: a or z?
z
Let o = 3 + -4. Let p = 6945 + -6980. Which is greater: o or p?
o
Let v(b) = -6*b + 220. Let w be v(-39). Suppose -s = 432 - w. Which is smaller: s or 16?
16
Let w = 0 + 0.04. Let u = w + -0.04. Let y = 26690.993 - 26691. Is y not equal to u?
True
Let v = 2973/11 - 34251/110. Is v greater than -40?
False
Let n be 1*4/16 + 447/84. Suppose 4*y = -4*h + 20, 3*h - 2*y - 15 = 3*y. Which is smaller: n or h?
h
Let n = 3.3 - 3. Let d be (-9)/(-21) + (19/513 - 52/(-54)). Which is smaller: d or n?
n
Suppose 2920 = 5*m - 3*j, 6*m + j + 1752 = 9*m. Let i = m - 585. Are i and 2/329 equal?
False
Let f = 107 - 185. Let g be 299/f - 1/6. Let p be (3 + (-123)/42)*g. Is p less than or equal to -1/6?
True
Suppose 0 = c - 5*m + 10, 4 = -16*c + 20*c + 2*m. Is c < 31/28?
True
Let a(w) = 71*w + 63. Let m be a(-1). Suppose -4*z + 5*v - 67 = 13, 5*z + 3*v = -100. Let l = 13 + z. Which is greater: m or l?
l
Let u be (-844)/(-8)*(5 + -3). Let t = u - 321. Which is smaller: -107 or t?
t
Suppose -2*q = 3*g + 336, -41*g = -40*g + 2*q + 120. Is 23 at least as big as g?
True
Let x(a) = 11*a - 122. Let u be x(17). Suppose -4*g = -2*s + 45 - 311, 0 = -g - s + u. Which is smaller: 199/3 or g?
g
Let l(g) = -5*g + 22*g - 15 + 2*g**2 + 17*g + 0. Let y be l(-16). Let i = y + 52. Which is smaller: i or 6?
i
Let s = -2897 + 2924. Which is bigger: 2 or s?
s
Suppose 0 = -5*q + 4*r - 7454, 1486 = -6*q + 5*q + 2*r. Which is smaller: q or -2987/2?
q
Let s = -4.468 - -2.327. Let h = -0.141 - s. Which is smaller: 0.6 or h?
0.6
Suppose 2659 + 2192 = 23*c + 40*c. Is c less than 70?
False
Suppose 0 = -40*m - 37358 - 2442. Which is smaller: -1001 or m?
-1001
Suppose 5*v - 5*w = 10, w - 5 = 2*w. Let p(a) = 8*a + 25. Let g be p(v). Is 1/320 greater than g?
False
Let s = 36 - 35. Let k be (1/(-2))/(15/1320). Let v = k - -46. Which is smaller: v or s?
s
Let d(i) = 6*i**2 - 23*i + 39. Let m(f) = -3*f**2 + 11*f - 16 - 8 + 8 - 3. Let a(j) = 3*d(j) + 7*m(j). Let t be a(4). Is -32 at least as big as t?
True
Let x be (588/(-105))/(24/(-150)). Which is smaller: x or 41?
x
Suppose 5*v - 3*f - 1003 = 0, -v - 2*f = -60 - 125. Is 2 at most as big as v?
True
Let o = 910.71 + -244.71. Are o and -0.13 equal?
False
Let t(y) = 5*y**2 + 33*y - 100. Let h be t(3). Let x be (12/(-5))/(1235/(-175) - -7). Which is smaller: h or x?
x
Let n = 490 - 11278/23. Let w(s) = -s - 2. Let p(b) = -b**2 + 1. Let o be p(2). Let d be w(o). Is n greater than d?
False
Let a = 0.125 - -0.03. Let j be ((-188)/(-48) + -4)/((-2)/16). Which is smaller: a or j?
a
Let y be (8 - 4) + -6 - (-4)/2. Let b be y + -2 + 12 + 61. Let q = b + 3. Is 0.1 smaller than q?
True
Let v(c) = -11*c - 109. Let t be v(-18). Suppose -84 + t = -5*m. Are m and 2/461 nonequal?
True
Let k(a) = -25*a**2 - 2*a + 16. Let o(r) = 13*r**2 - 7. Let w(f) = 2*k(f) + 5*o(f). Let s be w(3). Is 118 not equal to s?
True
Suppose -2*l + 5*l - f = 2884, -2*l = -f - 1924. Let h = 82561/86 - l. Let a = 164109.9 - 164110. Are h and a equal?
False
Let x be (-4)/32 + (-1121)/(-16)*2. Let f = x + -184. Which is smaller: f or -40?
f
Let b = -584/67 - 31057/1072. Is -39 less than b?
True
Let t(g) = -g**3 - g + 40. Suppose -2*s + 47 = -z, -s - 3*z + 13 + 14 = 0. Suppose -24 = 4*n - s. Let c be t(n). Which is smaller: 39 or c?
39
Let b = -20.49 - -19.49. Is 4.629 smaller than b?
False
Let p(f) = -f**2 - 44*f + 30. Let n be p(0). Let t be (-28 + n)/(20/(-74)). Which is bigger: -6 or t?
-6
Let y = 0.2409 - 0.1409. Which is smaller: y or 132?
y
Suppose -l + 84 = y, -25 = -4*l - 9. Let z = -80 + y. Let q be 4/10 + (-66)/140. Is q >= z?
False
Let i(f) = -4*f**3 + 2*f**2 + 3*f + 2. Let p = 1 + -3. Let h be i(p). Let n be (-1)/(h/10 + -4). Which is smaller: n or 3?
n
Let r(y) = 48*y**3 - 6*y + 6. Let s be r(1). Suppose -s*p - 168 = -744. Which is smaller: p or 14?
p
Let y be 2973/(-108) + (-20)/(-18). Is -26 smaller than y?
False
Let m be (84/8 + -12)*(-96)/45. Let o = 0.125 - 0.125. Which is greater: m or o?
m
Let m = 1100 - 1099. Let z be (-3 + (-362)/(-122))*1. Are z and m unequal?
True
Let l(h) = h**2 + 9*h + 32. Let w be l(-6). Let r be (w/(-21))/((-2)/3). Which is bigger: -4/47 or r?
r
Let f be 2*-92 - (-15 - -9). Let i = -80 - f. Is i greater than 99?
False
Let j be (6 - 212/28) + 4/7. Is 1/10316 not equal to j?
True
Let p(l) = -12*l + 106. Let a be p(31). Let t be 348/a - (-57)/(-133) - -2. Is 0 less than t?
True
Suppose -3*u - z + 71 = -5*z, 0 = -3*u + 2*z + 67. Let a = 23 + u. Let f = 53 - a. Is 9 less than or equal to f?
True
Suppose 5*u + 10770 = 55*g - 53*g, 21512 = 4*g + 4*u. Which is smaller: g or 5381?
g
Let u(c) be the first derivative of -c**4/2 - 2*c**3 + 2*c**2 + 12*c - 45. Let h be u(-3). Which is bigger: h or 189?
189
Let b = 11309 - 11252. Are b and 21 unequal?
True
Let t be (12/1188)/((-1454)/(-12)). Which is smaller: t or 1?
t
Suppose -38*j + 2368 + 23504 = -87*j. Is -3686/7 bigger than j?
True
Let y = -19156 + 19150. Is 286 greater than y?
True
Let l = 5.9732 - 2.1732. Let m(p) be the third derivative of p**5/60 - p**4/6 - p**3 + p**2. Let g be m(5). Is l less than or equal to g?
False
Let m be (24 - 4032/160)/((-5509)/(-5)). Is 1 greater than or equal to m?
True
Let z = -209 + 219. Let h(t) = t**2 - 18*t + 60. Let d be h(z). Are -20 and d equal?
True
Let l = 2158109/2226 - 1939/2. Which is smaller: l or 1?
l
Suppose -2*p - 3 = -3*h, h = -12*p + 9*p - 10. Let t(r) = r**3 - 2*r**2 - 6*r - 3. Let n be t(h). Which is smaller: n or -1/312?
-1/312
Suppose 5*i + 2 - 17 = 0. Let r be 8/6 + (-32)/(-480)*-5. Suppose -2*y - r = -i. Is 6/29 < y?
True
Let t = 114 + -107.7. Let v = 0.7 - t. Let n = 0.359 - -0.641. Which is bigger: v or n?
n
Let i(q) = -80*q - 4 - q**2 + q**3 + 82*q - q**2. Let k be i(3). Suppose -k*a - 163 = -9. Which is smaller: a or -12?
a
Let m(j) = -j**2 + 5*j - 3. Let f = -30 - -32. Let w be m(f). Suppose -5*p + 12 = -3*a, -1 = -4*a + w*p - 6. Is -1/9 != a?
True
Let t = 471.1 + -484. Let k = -11.9 - t. Which is greater: k or 140?
140
Let m = 5688 + -4813. Which is bigger: 0 or m?
m
Let b(a) = 4*a**2 + 24*a - 51. Let t be b(-13). Let z = 294 - t. Does -19 = z?
True
Let g be 20/16 + (-15174)/(-72). Let n = -193 - -407. Which is smaller: n or g?
g
Let o = -1400/597 + 3700570/1575483. Is o at most as big as -1?
False
Let m = 1253183.697 + -1252631. Let d = -553 + m. Which is smaller: -2/7 or d?
d
Let k be ((-1626)/(-10))/(6/(-15)) - (-571 + 576). Is -411 greater than or equal to k?
True
Let i(r) = r**2 + 10*r + 9. Let d be i(-9). Let k = -2/65 + 148/585. Is k >= d?
True
Let u(k) = -19*k + 88*k**3 + 11*k - 6 - 87*k**3 + 6*k**2. Let b be u(-5). Is 59 at most as big as b?
True
Suppose -8848 = 46*n + 16774. Is -557 at least n?
True
Let k be (-25)/4*208/(-130). Suppose -14*g = k*g - 192. Is 2 less than g?
True
Let w be 398/995 - (-1689)/40. Is w greater than 43?
False
Let m = -2505581/214384 - 2/13399. Is m bigger than -13?
True
Let o be ((-2)/28)/(1/8*4). Let a = 1.9 + -1.31. Let w = a - -0.01. Which is smaller: w or o?
o
Let p be -10 + 3839/55 + 2/10. Let q be (108/(-585))/(8/p). Is -2 at least as big as q?
False
Let b = 16.2 - -59.8. Let u = 86.6 - b. Let q = 8.6 - u. Is -0.39 <= q?
False
Let l(d) = 0 - 4*d + 12 + 4*d + d. Let g be l(-8). Let y = -2/1265 + 24043/5060. Which is bigger: y or g?
y
Let w be 7/5 - (1 + 0). Let v = -42932 - -42921.9. Which is greater: w or v?
w
Let h = 13 - 9. Suppose -a + 5 = h. Let w = -53255/61 - -873. Which is smaller: w or a?
w
Suppose -36 = -p + 4*