296 < t?
False
Let t be 975/24 - (-48)/128. Let m = -28 + t. Which is bigger: m or 11?
m
Let h = -231.157 - -0.057. Let p = 231 + h. Which is smaller: p or 24?
p
Let j = 52.6 - -0.4. Let o = -51.1 + j. Let l = 1.8 - o. Is 2 greater than l?
True
Let h = -49 - 4. Let i = h - -60.5. Let t = i - 7.5. Are t and 16/9 equal?
False
Let o(x) = -17*x**2 + 16*x - 158. Let l be o(-9). Which is smaller: l or -1680?
-1680
Let l be (-193)/(-378) + (-1)/2. Let h(b) = -b - 19. Let a be h(-24). Suppose 0 = a*i - 8*i + 4*y + 4, 4*i - 4 = 4*y. Is l greater than or equal to i?
True
Let u(d) = -d**3 + 5*d + 3. Let t be u(2). Suppose 297 = t*x - 13. Which is bigger: 64 or x?
64
Suppose 44 = 3*g + 326. Let u = -90 - g. Let w be (-60)/210 + -1*u/(-14). Which is bigger: w or -1/24?
w
Let y be (-3)/(-41)*(-130)/248. Let m = y + 1/164. Which is smaller: 1 or m?
m
Let b(f) = -391*f - 2918. Let o be b(-7). Is -9/10 smaller than o?
False
Let m = 4 - 2. Suppose -3*r - g - 1 - 3 = 0, 8 = r - m*g. Suppose -2*d = -4*d - d. Are r and d nonequal?
False
Let f(v) = -61*v**2 - 6*v - 9. Let s be f(7). Let i = 489437/161 + s. Is i != 0?
True
Let f = 216.935 - 4.935. Which is bigger: 0.7 or f?
f
Let t be ((-24)/15 - -2)/(5/75). Let k be 2 - (-25)/(-10) - (-3)/t. Which is smaller: -1/217 or k?
-1/217
Suppose 33*b = 38*b + 4*z + 418, -2*z = -4*b - 298. Is 3/7 less than or equal to b?
False
Let w = 4341 + -6496. Is w <= 2?
True
Suppose 2*s - 22 = -2*j, -2*j - 6*s + 3*s = -24. Suppose -5*h = -8*h + j. Let p be (-25)/(-110)*-2 + 3. Are h and p nonequal?
True
Let z = -12.206 - -1.206. Let f = 26.8371 + 0.1029. Let t = 27 - f. Which is greater: z or t?
t
Let u be (133/(-21) + 7)*54/4. Let o be ((-276)/(-30) - u) + (-2788)/(-10). Is 278 >= o?
False
Let i be (35/21)/(5/6). Let h(u) = -u**3 + 4*u**2 + 2*u - 11. Let j be h(i). Is 365 bigger than j?
True
Let a be 2372 - (19 - (-49)/(-7)). Which is smaller: 2359 or a?
2359
Let t be (-2)/(-8)*-2*(-123)/(-147). Let i = 4/49 - t. Is i bigger than -0.06?
True
Let x(g) = 48*g + 346. Let j be x(-7). Is j <= -17?
False
Suppose j = -3*h + 146, j = -4*h + 2*h + 97. Let m = 81 - h. Suppose -401 + 432 = l. Which is smaller: m or l?
l
Let j be (-2)/4 - (-333)/370. Is 4092 < j?
False
Suppose 5*j = 5*g + 55, 0 = -20*g + 19*g - 5*j - 41. Let o = 56/177 + 1/59. Is g greater than o?
False
Let s = 21.4 - 20.9. Let p = -1.5 + s. Which is smaller: -4/17 or p?
p
Let s(h) = -36 - 3*h**2 + 49 + h**3 - 5*h - 16. Let j be s(-2). Let u be (-48)/5 - (-6)/(-15). Which is bigger: u or j?
u
Let d(a) = 2*a**3 - 6*a**2 + 18. Let z be d(8). Suppose 240 = -38*v + z. Which is bigger: 0.4 or v?
v
Let t(v) = -2*v**3 + 13*v**2 + 25*v - 7. Let z be t(8). Which is greater: -1/832 or z?
z
Let d = 5.27 + -31.27. Let t = -20 - d. Is 0.1 != t?
True
Let c be (-92)/(-6) - (6 - 51/9). Suppose 0 = 8*i - 5*i - 4*a - c, i - 4*a = 13. Is i at least 1/974?
True
Let f = 9344 + -9337. Suppose -105 = -3*s - 4*y, -4*s = s - 2*y - 149. Which is bigger: s or f?
s
Let c be 7 + (32480/434)/8. Is c less than or equal to 17?
True
Let p = 7 + -8. Let x = -14 - 9. Let h = x + 29. Is h at least p?
True
Let s be ((-30)/(-25))/((6/75)/(-2)). Let x be -3 - (24 - (-4 + 3)). Which is smaller: x or s?
s
Let x be (-315)/(-98)*7*(-224)/(-10). Which is smaller: x or 505?
x
Let t = -7819980/8339 + 1085352839712/341899. Let b = -3174655 + t. Let u = 1109 + b. Which is bigger: 2/5 or u?
2/5
Let z = 225 - 99. Let m = 136 - z. Is 1/2 at least m?
False
Let f be -5 + (-8)/(-2) + (-50)/((-20)/(-2)). Let b = 580232/32901 - -2/2991. Let s = b - 1223/55. Which is smaller: s or f?
f
Suppose -5*y + 5 = -2*p, -5*p + y + 15 = -7. Suppose -428 = 3*d - p*d. Let v be 16/28 + d/(-448). Which is bigger: v or 0?
v
Let k = -4701 + 5100. Is 409 greater than k?
True
Let h = 57 - 31. Let s = 28 - h. Suppose s = -2*l - 0. Which is bigger: -12/11 or l?
l
Let j(n) = n**3 - 9*n**2 + 9*n - 7. Let v(l) = -l**2 + 8*l + 8. Let z be v(8). Let g be j(z). Let f = -16527/31 + 533. Which is smaller: f or g?
f
Let p = -38 + 33. Let x be (-2 - (-132)/(-9))*54/p. Let f be (-88)/x + (-16)/9 + 2. Which is smaller: 1 or f?
f
Let h = -147 + 142. Let b = -12 + 10.2. Let s = b + -1.2. Which is smaller: h or s?
h
Let a be (-11 - 31)*(-11)/(-2). Let w be 4362/(-11) - 126/a. Is -396 greater than or equal to w?
True
Suppose -93 = -5*n + a, 2*n = 2*a + 26 + 16. Let u be (-4)/(-3)*(8 - 147/n). Suppose -j - 5*d + 27 = 0, -d - 9 = 3*j - 4*d. Does u = j?
False
Suppose -5*q = -0 - 15. Let p be (4 + 0 - 3)*(-3 - -2). Is p equal to q?
False
Let z be 75/68 + (-21)/28. Suppose 7*y = -118 + 1042. Let m = 131 - y. Is z smaller than m?
False
Let t(w) = w**3 + 4*w**2 - 4*w - 9. Let d(m) = -13*m - 33. Let l be d(-6). Let y be (-4)/(-6) + (-210)/l. Let o be t(y). Which is bigger: o or 5?
o
Let z(v) = -v**3 - 16*v - 230. Let k be z(0). Is -223 != k?
True
Let d be (1570/(-4))/(9 - (-190)/(-20)). Is 788 equal to d?
False
Let h(z) be the third derivative of -z**6/120 + 7*z**5/60 + z**4/24 + 3*z**2 + 48. Let d be h(7). Which is greater: 45/8 or d?
d
Let g be ((-1)/(7/(-60)))/(97/(-4074)). Which is bigger: -359 or g?
-359
Let s(f) = -f + 23. Let k be s(18). Suppose 0 = 3*j + 3*d - k*d + 50, 5*j + 3*d + 96 = 0. Is -18 at least as big as j?
True
Let v(w) = 2*w - 10. Let y be v(6). Suppose -2*h + 28 = y*t - 2, 2*h + 3 = t. Let k be 648/189*(-14)/(-4). Which is greater: k or t?
k
Let u = 601 + -74. Let t = 527.1 - u. Which is bigger: 71 or t?
71
Suppose 0 = 2*h - 3 + 1, 0 = 3*x + 2*h - 20. Suppose -4*i + x*q - 3*q = -20, 0 = 3*i - 2*q - 14. Let s be (-6)/(-27)*(0 + -5 + i). Is 2/5 bigger than s?
True
Let j = 86411133 + -143356079831/1659. Let o = j - 1/237. Is -7 at least o?
False
Let n = 51 - 62. Let w = 7201/7 - 1039. Are w and n unequal?
True
Let k = 146003 - 733572/5. Let h = -711 - k. Is h bigger than 74?
False
Let q be -200*(16/(-32))/((-2)/(-6)). Let n(i) = 74*i**2 - 211*i - 420. Let t be n(-2). Is t > q?
False
Let h be (-1)/(-8) + 945/(-840). Which is greater: h or 6/2135?
6/2135
Let x be -1*2/542 - 0. Let u = 34135 + -34136. Is u bigger than x?
False
Suppose -271*m = -264*m + 23982. Which is greater: -3427 or m?
m
Let b(x) = 4*x**3 - 231*x**2 - 296*x + 60. Let d be b(59). Which is bigger: d or 24/635?
d
Let a = 543.13 + -540. Let t = a - 5.13. Which is smaller: t or 108?
t
Let o = 35 - 24. Let z = o + -54. Let h = z - -57. Is -3 greater than or equal to h?
False
Let b be 15*(0 + -1 + 13/5). Let u be b/(-36)*(-621)/6. Which is smaller: 67 or u?
67
Suppose 7*q = 2*m + 2*q - 1333, -3316 = -5*m - 4*q. Which is smaller: 662 or m?
662
Suppose 3*y + 2561 = 4*y. Let x be y/78 - (-2)/12. Let d = -21 + x. Which is bigger: 13 or d?
13
Suppose 4*m + 7547 = -p, -4*m = 135*p - 133*p + 7546. Which is smaller: m or 2?
m
Let u be (-7)/2 + 322520/(-176). Which is bigger: u or -1838?
u
Let q = -7/27953089 + 806614349799/54368758105. Let p = 14/389 - q. Is p > -14?
False
Let i = 1877 + -1872. Let z = 12 - 6. Is i <= z?
True
Let s(g) = g + 5. Let d be s(-7). Let n be 8*(2/6)/(66/9). Which is smaller: d or n?
d
Suppose -2*o - 12 = -2*b, 2*b - 5*o = -7*o + 8. Suppose 6*m + 40 = 4*d + m, m = 3*d - 30. Suppose -a - 5 = -b*z, 5*z - 2*a + 4*a + d = 0. Is z != 2/401?
True
Let c = -0.07254 + -6.92746. Is -4.14 equal to c?
False
Let r be (84/18 + -7 - -3) + (-8)/(-24). Let z = 461 - 5985/13. Is r greater than or equal to z?
True
Let k = 14/1319 - 171624/14509. Which is smaller: -12 or k?
-12
Suppose 1066*u = 1062*u - 5*d + 413, d - 553 = -5*u. Is -47 smaller than u?
True
Suppose 5*c - 8*c + 54 = 0. Let w = 30 - 20. Let m be 68/(-6)*(-15)/w. Which is smaller: m or c?
m
Let c = -876.4 + 861.4. Is c > 4/125?
False
Suppose 141*m = 4*s + 146*m - 6, -9*m + 14 = 4*s. Is -4/11413 < s?
False
Let z(n) = -2*n + 16. Let m be z(4). Let o be (7/m)/(1/(-12)*-1). Let x = 23/3 - o. Which is greater: x or -3?
x
Let k = -271087 - -8944931/33. Let r = 42/11 + k. Which is bigger: r or -24?
-24
Let a = -742874 - -43057719912/57961. Is a at most as big as 0?
True
Let l be (8/(-6))/(41/18). Suppose 220 = -117*r - 103*r. Is l smaller than r?
False
Let m = -60.094 - -60. Let o = -0.004 - m. Let c = o - -0.41. Are c and -5 non-equal?
True
Let y be (24938*-1)/(88/132) - -7. Which is smaller: y or -37399?
y
Let j = -34624 + 34753. Is 639/5 