 - 1841. Are 611 and o unequal?
False
Let c = -73 - -72.97. Is 8/59 greater than or equal to c?
True
Let h be (2 - (-38)/(-4)) + 2/(-4). Let i be ((-12)/(-10))/((-1)/(-35)). Let d be i/(-56) - 33/4. Which is smaller: d or h?
d
Let w = -9552 - -9573. Is 219 < w?
False
Let y = 0.2 - -4.8. Let j = 910.2 - 403.1. Let q = j - 507. Which is bigger: y or q?
y
Let t(g) = g**3 - 15*g**2 + 36*g + 17. Let v be t(12). Let k = 6 - 25. Let c = v + k. Which is bigger: c or -3/5?
-3/5
Let w = -69 + -84. Let g = 152 + w. Which is smaller: 3/232 or g?
g
Suppose 14*r = 16*r. Suppose r = -3*w + 5*v + 351, -2*w - 5*v + 46 = -163. Suppose -2*n = -18*n - w. Which is smaller: n or -50/7?
-50/7
Let s = 7657874/47 + -162898. Which is bigger: s or -1/4?
s
Let s be 9/6 - (-27)/(-54). Let m be (-213)/(-45) - 8/20. Let l = -17/4 + m. Which is bigger: s or l?
s
Let q = -1709 + 1794. Which is greater: 14 or q?
q
Let a(c) = c**3 - 4*c**2 - c + 8. Let b be a(2). Which is greater: b or 390?
390
Let p = 274 + -232. Suppose 0 = -9*a + 63 + 306. Which is smaller: a or p?
a
Suppose 2*l - 4*l + 8 = 0. Let p be (-5)/((-320)/(-24))*170/6. Let m = p + 111/8. Which is greater: m or l?
l
Suppose -4*m = m - 3*x - 344, 4*m - 274 = 3*x. Let g be (-20)/m + 33/91. Suppose 5*d + 2*b + 13 = -2, 18 = 2*d - 4*b. Which is greater: d or g?
g
Let d = 0.61966 + -0.04896. Which is greater: d or -0.1?
d
Let j be 0 + 535/45 + 1/9. Let t be (12/(-245))/(j/40). Are t and 0 nonequal?
True
Let b(k) = k**3 + 23*k**2 - 19*k + 118. Let f be b(-24). Let m = -0.1 + 0.19. Is f bigger than m?
False
Let j be (-4)/18 + (-248)/18. Suppose 0 = 2*p + 3*c - 101, 6*c = 10*c - 4. Let w be (-63)/p - 4/j. Which is bigger: 3/34 or w?
3/34
Let f = 16991/3971231 - 14/2321. Is f != -1?
True
Suppose 0 = -2*w - i + 185, -i = i - 10. Suppose -17*q - w = 97. Which is smaller: q or 0.6?
q
Let a be ((-10)/(-2)*2)/(-38 - -37). Let p be -1 - -6 - (-104 + a). Let r = 53 - p. Do -65 and r have different values?
True
Let g(y) = -47*y**2 - 390*y + 5. Let k be g(17). Which is smaller: -20209 or k?
-20209
Let i = -646.796 + 436.83. Let l = i + 210. Which is bigger: -0.2 or l?
l
Let r = -2/11881 - 23360/2388081. Let w(q) be the third derivative of q**5/60 - 7*q**4/8 + 7*q**3/2 - 5*q**2 + 1. Let b be w(20). Which is smaller: r or b?
r
Let s = -53173921/945 + 412543/7. Let w = 2666 - s. Let q(b) = b - 1. Let l be q(2). Is l greater than or equal to w?
True
Let f be 1/((1/(-7))/(6/(-7))). Suppose g - 5 = -5*r + 10, -4*g = -2*r + f. Is -15 greater than r?
False
Suppose 11*a - 9*a = -6. Let q be 2 + a/((-9)/6). Which is smaller: -2 or q?
-2
Let a = 0.5534 + 0.4466. Is a greater than or equal to 31.37?
False
Let a be (-10)/12*2/(-5). Suppose -o = -5*o + 44. Suppose 3*n = 4*u + 15, -3*n - 1 = 5*u + o. Do a and n have the same value?
False
Let b = 978397/3179 - 3385/11. Let q = 351/7225 - b. Which is bigger: -1 or q?
q
Let x(d) = -54*d + 486. Let r(a) = -29*a + 244. Let i(m) = -5*r(m) + 3*x(m). Let s be i(14). Let t be ((-1)/(-7))/((-1)/(-3)). Is t < s?
False
Let s = 4003 + -3613. Which is smaller: 393 or s?
s
Let v be 4 - (-82)/(-14) - (-9)/((-9)/(-4)). Suppose 3 + 0 = j. Do j and v have the same value?
False
Suppose 88*t - 140521 + 34464 = 58943. Which is smaller: 1873 or t?
1873
Let n = -48269882 - -3523781312/73. Let r = n + -1095. Is r greater than or equal to 1?
False
Let z be 18/24 + 597/(-12). Let i = 4 + z. Let v be (-25)/(-9) - 10/i - 4. Is -6/13 greater than v?
True
Let a = 2419/44 - 221/4. Let g be (-9)/24 + ((-120)/10 - 749/(-56)). Does g = a?
False
Let i = 151 - 266. Let s be (2/1809)/(i/834). Let p = s + -2/1035. Is p equal to 1?
False
Let y = -9 + 6. Let g = 8.72 - 7.96. Is y at least g?
False
Let a = 132.94 - -0.06. Let o = a - 145. Are o and 0 equal?
False
Suppose 15*g - 39856 = -g. Let d = g + -356215/143. Which is smaller: d or 1?
d
Suppose -4*p = -3*k - 17, 2*p - 3*k + k = 10. Let f(a) = -13*a + 41. Let t be f(3). Suppose 3*m = 6, 3*m = p*u + m - t. Is 6 smaller than u?
False
Let o = 0.71 - -2.02. Let d = o + -2.73. Which is smaller: -2/75 or d?
-2/75
Suppose 0 = 7*u - 17*u - 40. Let v be (u - 65) + 6 + -3 + -2. Let w = 135/2 + v. Which is smaller: w or -5?
-5
Let l = 3032 - 9116. Which is greater: l or -6085?
l
Suppose 4*h - 7 = 4*c + h, 0 = 4*c + 3*h - 23. Let s be 1/(1 - 0) - 34/c. Let f(z) = z**3 - 4*z**2 - 15*z + 1. Let l be f(6). Which is bigger: s or l?
s
Let q(y) = 13 + 2*y + 18 - 10. Let a be q(7). Let j be 2/a*(-1 + 1 + -5). Is 2/33 less than or equal to j?
False
Suppose 0*f + f = 3. Suppose 747 + 367 = 4*o + 3*h, 0 = f*o - 2*h - 844. Suppose b - o = 6*b. Which is smaller: b or -57?
-57
Suppose 207*u - 2945 + 382723 + 85765 = 0. Is -2249 greater than or equal to u?
True
Let v = -7558 + 7209. Which is smaller: v or -5/2?
v
Let a be ((-93)/(-27))/((-10)/2370). Let v = -821 - a. Which is smaller: v or 10?
v
Suppose 0 = 5*n - v + 49, 3*n - v = -24 - 7. Let s be (-6)/54 - 2161/n. Suppose 11*g + 680 = s. Which is smaller: g or -41?
-41
Suppose -130 = 3*n + 107. Let c = 79 + n. Let t be -19 - -1*(c/2)/(-3). Which is smaller: -21 or t?
-21
Let p be -1282 - (7 - -1 - 9). Let j = p + 126824/99. Which is bigger: 0 or j?
j
Let y(k) = k**3 + k**2 + 2*k + 2. Let n be y(0). Suppose 2*r - 8 = -n*r. Suppose 3 - 9 = -3*m, r*q = -m. Which is greater: q or 4/13?
4/13
Let a be (-2 + 2 - 0)/3. Let g(y) be the first derivative of -y**2/2 - y + 4. Let c be g(2). Which is smaller: a or c?
c
Suppose -5*q + q + 4*h = -164, -2*h + 170 = 4*q. Suppose 4*x + 3*r = -q, 5*x = x + 2*r - 32. Let f be 4/(-10) - x/(-15). Is f smaller than 6/49?
True
Let h be -6 + 4 + (-8)/12*-6. Let f be (-3)/h*(-2108)/(-51). Which is greater: f or 0.1?
0.1
Suppose -719*z + 716*z = -498 - 18. Suppose -342 = -3*a + a. Which is greater: a or z?
z
Let u = 5256 - 5257. Is u less than or equal to -220/163?
False
Let d be (2/((-30)/(-65)))/((-1)/(-6)). Suppose 4*i - 3*p = -52, -p + 2 = -2*i - d. Let g(q) = 13*q**3 - q**2. Let v be g(-1). Which is greater: v or i?
v
Let l = 90.7 + -168.8. Let u = 74.07 + l. Let q = -0.03 - u. Which is smaller: -7 or q?
-7
Suppose 110 = -p + 32. Let g(v) = 330*v - 5027. Let f be g(15). Which is bigger: p or f?
f
Suppose 148*v = 144*v - 3*y - 350, 2*y = v + 93. Which is bigger: -91 or v?
v
Let r = 676 + -697. Is r equal to 6?
False
Let o be 197/394*(2 - (-2)/(-3)). Does o = 0.287?
False
Let l = 7198/305095 - 8/379. Suppose -488*c = -62*c. Is c at most as big as l?
True
Suppose t - 96 = 5*r, 5*t - 38*r = -40*r + 426. Let b = -4907 + 24967/5. Which is greater: b or t?
b
Suppose b + 33 = -3*x + 51, -5*x = -35. Which is bigger: b or -314/87?
b
Let v = -248 - -699. Let d = -451 + v. Which is bigger: d or 1/97?
1/97
Let y = -7359 + 7389. Which is smaller: y or 50?
y
Let x(t) = t - 88. Let a be x(-52). Which is bigger: a or 0?
0
Let w = 27.92 + -28. Let y be (-2 + 3)*-6 + 1. Let x be y/(45/(-24)) + -2. Is x greater than w?
True
Let z = -163120854/2095 + 77862. Which is greater: z or 1?
1
Let i = -44.2 - -79.1. Let y = i + -53.9. Are 0 and y non-equal?
True
Let x = -304.05 - -353. Let p = x + -50. Let r = p + 0.44. Which is smaller: -2/5 or r?
r
Suppose 0*i = -3*u - 2*i - 4, 0 = 5*u + 4*i + 8. Let x be ((-2)/65)/((-65)/10 - -7). Which is greater: u or x?
u
Suppose 160 = 4*p - g + 5*g, 0 = -3*p - 2*g + 120. Suppose -p = -6*v - 34. Is v not equal to -1/279?
True
Let a = -5365 + 5364. Which is greater: -4/2557 or a?
-4/2557
Let p = -5778 + 5822. Which is bigger: p or 42?
p
Let u = -28/45 - -2/9. Let w(h) = -6*h**2 + 86*h - 453. Let k be w(5). Is k smaller than u?
True
Let r = 163 - 91. Suppose 8*v - 666 = -3*m + 3*v, -4*v - 920 = -4*m. Let j = 300 - m. Which is bigger: r or j?
j
Let j be ((-6)/9)/((-220)/(-592024)). Suppose 3*s - 1139 = -6521. Let l = j - s. Are l and 0 non-equal?
True
Let c be 1*6 - (73/(-146))/((-1)/(-174)). Is c > 92?
True
Let t = 6742 - 11145. Is t bigger than -4403?
False
Let g(v) = v - 15. Let q be 0 - (-1)/4 - 273/(-156). Suppose -2*x = -4*r + 40, 0 = 4*r + x + q*x - 30. Let f be g(r). Is 0.1 equal to f?
False
Suppose q - 1641 = 2*r, 6*r - 2*r = 5*q - 8229. Which is bigger: q or 1654?
1654
Let z = -1389.7 + 1672.3. Which is smaller: z or -0.1?
-0.1
Let u(b) = -1629 - b**2 - 4*b + 1500 - 20*b. Let k be u(-14). Does 5 = k?
False
Let