 = 36 - 35.08. Let t = d + 33.08. Let n = t + -33.9. Is n greater than or equal to 1/13?
True
Let v = -16426 + 16425.94. Suppose -2*x + 2 = -8. Suppose -3 = -4*p + x. Is v greater than or equal to p?
False
Let q be 2089146/(-83566) - 775/(-31). Which is smaller: q or 1?
q
Let n be 21/14*(-13 - 1). Let b be (24180/4564 - 5) + 6/n. Is 0 smaller than b?
True
Let b = 1831 + -1831.49. Let u = -4.5639 + -0.0261. Let o = b - u. Is o not equal to 0?
True
Let b be ((-11808)/14)/((-273)/1274). Which is greater: 3938 or b?
3938
Suppose -3*l - 2*i + 27 = 2*i, -43 = -4*l - 3*i. Suppose -l*n = -93 + 15. Which is smaller: -6 or n?
-6
Let p = 34502/7 + -4906. Suppose -11 = a - 14 - 19. Is a bigger than p?
False
Suppose 10 = 2*s, -h = 4*h + 4*s - 30. Let o be -87 + (1/(-2))/(h/(-4)). Let r = -88 - o. Is -5/7 equal to r?
False
Let a = 0.2691 + -0.7491. Which is smaller: -0.22 or a?
a
Let m be ((6 - 1422/8)/1)/(6/(-16)). Is 458 equal to m?
True
Suppose 29*s = -3*k + 31*s - 1971, -1314 = 2*k + 4*s. Is -656 <= k?
False
Let u(p) = -p**3 - 39*p**2 - 71*p + 104. Let f be u(-37). Is 0.59 bigger than f?
True
Suppose -3*v - 2 = 4*x, -4*v = x + 1 - 7. Let j be (8/(-14))/v - (-344)/28. Which is bigger: 10 or j?
j
Let h = -3.97 - -4. Let u = 209 - 207. Let x be ((-5)/u)/(77/(-22) + 3). Which is smaller: x or h?
h
Let i be (-3)/((-1107)/6)*-15. Suppose -40*g - 5*z + 35 = -38*g, 4*z - 76 = -4*g. Suppose 20*o = -g*o + 40. Which is bigger: o or i?
o
Let o = -0.539 + 53.839. Let r = 53 - o. Is 33 less than or equal to r?
False
Let k = -0.235 + 31.235. Let s = -29 + k. Which is bigger: s or -7?
s
Let k = -115.427 + 0.427. Let w = k + -74. Which is smaller: 0 or w?
w
Let q = -2615 + 2880. Are q and 8 nonequal?
True
Let i = 88993 - 182524649/2051. Which is smaller: i or -4?
-4
Suppose -3*x + 9 = h - 17, h = 4*x - 44. Suppose 5*d - x = 0, -5*d + 4361 + 5604 = 5*c. Let l = c - 21943/11. Is l > -5?
True
Let a(m) = 2*m**2 + 58*m + 107. Suppose -4*p + 4*v = 100, 0 = 3*p + 5*v + 93 - 2. Let r be a(p). Which is greater: r or -1/95?
-1/95
Let x = -156812483/5229 + 29989. Which is smaller: x or -1?
-1
Let w(q) = -6*q + 52. Let m be w(6). Suppose 0 = 11*i - m*i - 790. Does -159 = i?
False
Let t be 0 + -1 - (-14)/21. Let z = 4338 - 4430. Which is smaller: t or z?
z
Let a = -107792/75867 - 1/3993. Suppose 4*u + 3*l - 6 = 0, -l + 4 = 2. Is a >= u?
False
Let r = 171157/49267 + -1/2593. Let y(t) = -t**3 + 135*t**2 + 138*t - 268. Let g be y(136). Are r and g unequal?
True
Let h be (1*13)/(102/20 - 5). Let g = -1172/9 + h. Which is bigger: g or -31?
g
Let z(h) = 2*h**3 + 47*h**2 + 3*h + 648. Let t be z(-24). Let s be (-4)/10 - 203/(-189). Let p = s - 2/27. Which is smaller: p or t?
t
Let d = -326624/1863 + -953/81. Let f = 187 + d. Let k = -0.3 + -3.7. Is k > f?
False
Suppose 229 - 235 = -6*c. Let i be 399/950*(-16)/(-14). Which is smaller: i or c?
i
Let b = 244 + -244.1. Let u = 0.07 + -0.24. Let r = 0.15 + u. Which is greater: r or b?
r
Let b = -523/16701 - 65/879. Suppose 0 = c - 0*c + 6. Which is smaller: c or b?
c
Suppose c - j = -0*c + 877, 2*c - 1742 = -2*j. Suppose 0 = 15*z - 53*z - c. Which is greater: 9 or z?
9
Suppose -3*z - 485 = 5*a, -3*a - 70 = -5*z + 187. Let c = a - -105. Let w = 12 - c. Which is greater: 4/31 or w?
w
Let g = -3482223/68 + 51206. Is g less than -4?
False
Suppose -3*u = -23*u + 840. Let l = -11 - u. Which is smaller: -4 or l?
l
Let q be (-128)/129 - (-3 - -2). Let x = 12154 + -12154. Which is bigger: q or x?
q
Suppose -720*a + 725*a = 2*j + 41, 0 = -2*a + 4*j + 10. Is 351/34 <= a?
False
Let w = 203 + -198.3. Let n = 47 - 46.8. Which is smaller: w or n?
n
Suppose -19*i + 130 = -9*i. Suppose f + i = 19. Suppose -3*a = 2*a - 20. Which is smaller: a or f?
a
Suppose -10 = -22*q + 12*q. Let u = -26868/10424129 - -5/1817. Let d = u + -11753/1600623. Which is greater: q or d?
q
Let k = 9205 - 26962/3. Let g = k + -226. Which is smaller: g or -1?
g
Let y = 7553 + -7590. Are y and -46 nonequal?
True
Suppose -5*z - 50 = 2*d + d, 2*d - 3*z = -46. Let s be d/13 - (6 + -7). Is s <= -1?
False
Let j(g) = 16*g**3 + 3*g**2 - 19*g**2 - 15*g**3 + 15. Let k be j(8). Let z = 7459/15 + k. Which is smaller: z or 0?
0
Let o = 31 - 25. Suppose 3*k + o = t, -3*k + 0*k = 9. Let c be (-1)/((t/(-5))/((-4)/10)). Is c greater than -0.2?
True
Let p be ((-128)/1488)/((-5162)/(-516) - 10). Which is greater: p or 2/5?
2/5
Let u be ((-9)/(-18))/(2/148). Let p = 37 - u. Suppose 2*y + 6*y - 12*y = p. Is 9 smaller than y?
False
Let c be (218/(-4) + 0)*2. Let b = c + 64. Let x be 3*2/(-33) - (-7056)/(-154). Which is smaller: x or b?
x
Let d = 16350 - 16323. Which is smaller: d or -1.37?
-1.37
Let s(g) = -12*g**2 - 50*g + 146. Let x be s(-14). Is -1506 equal to x?
True
Let c be (((-65)/(-104))/((-385)/(-21)))/(10/8). Is c < 1?
True
Let i = 6127 - 6128. Is i >= -22/411?
False
Let b(u) = 2*u**3 + 2*u**2 + 5*u. Let o be 0 + 3 + 2 + 16/(-16). Let k be b(o). Which is greater: 179 or k?
k
Suppose o - 2 + 6 = 0. Let f be 2*(-10)/o*-1. Let u be (0 - -5)*f/(-15). Is u bigger than 1?
True
Let v = 0.29301 - 1.29301. Is 1995 bigger than v?
True
Suppose 0 = -11*l - 48 + 103. Which is bigger: l or 3?
l
Suppose 24*j = 36*j - 7344. Suppose j = 13*m - 597. Is 93 >= m?
True
Let v be (-12)/60 + (-1299)/5. Let t be 24/(-15)*163 + (-1)/5. Which is bigger: t or v?
v
Let o = 149 + -147. Suppose 2*y - 42 = 3*g + 2*g, 3*y + o*g - 44 = 0. Is y greater than 15?
True
Suppose -8 = 4*d, 5*d - d = -4*l - 8. Let g = 2762/17 + -171159/1054. Do g and l have the same value?
False
Let l be 828 + 5 + -4 - (0 + (2 - 2)). Which is smaller: 827 or l?
827
Let w(f) = 2*f**2 - 12*f + 7. Let n be w(4). Let h = 17 + -27. Which is greater: n or h?
n
Let b be 0/((-2)/(-1) + 0). Suppose 73*w + 272 = -604. Let h be ((-1432)/3080 - w/(-21)) + 1. Is h greater than or equal to b?
False
Let q be ((-1513)/(-6090))/(524/904) - 81/189. Are q and 0 equal?
False
Let v(p) = -p**2 - 11*p + 28. Let n be v(-13). Suppose 5*i = -4*q + 4*i + 278, n*q - 136 = i. Suppose q = 3*u + 180. Is -37 greater than or equal to u?
True
Suppose -2*d - 18 = -3*x, 4*d + 16 = x - 0*d. Suppose -5*q + 2*o + 796 = 0, -3*o = x*q + 2*o - 650. Let u be ((q/6)/4)/(1/(-9)). Does -59 = u?
False
Let t = 4160 + -5929. Is t smaller than -1770?
False
Let x = -33/1685 + -10724596/21905. Let r = 491 + x. Which is smaller: r or 0?
0
Let t be (-15)/10*(-16)/(-3). Let h(f) = -4*f**2 - 32*f + 11. Let s be h(t). Is s at most as big as 12?
True
Let t = -567 - -853. Let a = -291 + t. Are -55/12 and a equal?
False
Suppose -140*h - 545*h = -22*h. Let y be (-137)/(-134) + 0 + -1. Which is smaller: y or h?
h
Suppose -25047 = -8*f + 45969. Suppose 41*u = 74*u + f. Which is smaller: u or -268?
u
Let u = -13393 - -2491151/186. Let y = u - -3/62. Let k be ((-6)/(-34))/3*-1. Is y smaller than k?
False
Suppose -161*a = 3*v - 165*a - 607, -3*v = -2*a - 599. Which is bigger: 8 or v?
v
Let c = -94 - -92. Let q be -2 - c*55/(-2). Let t = -54 - q. Is t equal to -4?
False
Let w = 5490 + -5498. Which is greater: 13 or w?
13
Suppose -44*n + 22 = -33*n. Suppose 2*c + 14 = c. Which is greater: n or c?
n
Let j(n) be the third derivative of 11*n**4/24 + n**3/3 + n**2. Let v be j(2). Let l be (-10603)/1383*(1/((-6)/(-18)))/(-1). Which is greater: v or l?
v
Let u = 3219 + -3067. Is 154 at least u?
True
Let o = -7.63294 + 0.03294. Is o greater than or equal to 2.7?
False
Let w = 5911/7 + -2519/3. Is 5 less than or equal to w?
False
Let q(h) = 10*h**2 + 349*h - 2933. Let j be q(7). Let y = -16351/91215 - -3/2027. Which is greater: y or j?
j
Let o(t) = 189*t - 1449. Let k be o(22). Which is smaller: 2708 or k?
2708
Suppose -40 = -4*f + 6*q - 8*q, 2*f + 4*q = 32. Suppose 6 + f = -4*a + 2*j, -a + 19 = -5*j. Let l be 3/(4 - (-23)/a). Which is greater: 15 or l?
l
Let j be (-39201360)/13067244 - (2 + -4 + -1). Do 1 and j have the same value?
False
Let t be ((-1 + 5)*-22)/(-5) - 8. Which is greater: 11 or t?
11
Let y be 7 + 450/(-63) + 652556/157500 + -4. Is 0 less than or equal to y?
True
Let j = -4644 + 4556. Which is smaller: -2 or j?
j
Let d be (134/(-6) + 6/(-9))*3/(-1). Is 63 bigger than d?
False
Let u = 4797 + -5792. Is u smaller than -989?
True
Let o(t) = -3*t - 32. Let c be o(-16). Let h = -15 + c. Let s be (1 - 0) + -3 + h. Wh