t y(p) = -p**2 - 4*p. Let c be y(-3). Let t = -104 - -106. Let o be 10/t - (-11)/((-77)/21). Is c smaller than o?
False
Let k = -7.618 + 7.9. Let i = -0.182 + k. Which is smaller: 1/82 or i?
1/82
Let v be (3 - (-182151)/123) + 1. Let m = -1485 + v. Let h(s) = 12*s**2 + 541*s + 46. Let z be h(-45). Which is smaller: m or z?
m
Let k = -158 - -811/5. Suppose -2*m - s = -4, 5*m + 0 = s + 24. Is k != m?
True
Let h = 659 + -477. Suppose 2*f + 146 - h = 0. Is 35/2 not equal to f?
True
Suppose 47*p = 25*p + 99*p - 16863. Is p != 63?
True
Let a = 63779/27468 - 65/28. Is -1 != a?
True
Let q = 13468/3 - 4671. Are -183 and q unequal?
True
Let w = 15619149/545 - 28659. Suppose 11*j + 39 + 44 = 72. Is w less than j?
False
Let d = -2.515 + 1.87. Is 1/3 less than d?
False
Let j = -3351 + 6721/2. Which is bigger: j or 10?
10
Let y = -73 - -75. Suppose 0 = r - y*r - 3*f - 5, 0 = -r - 4*f - 7. Let b = -377/2 - -21867/116. Is b bigger than r?
False
Suppose 0*g + s - 117 = -4*g, 0 = -s - 3. Let m be g/(-14) - (2 - 3). Let v = 22156 + -22157. Which is smaller: m or v?
m
Let d = 0.21 + -16.11. Let q = 16 + d. Which is bigger: q or 48/11?
48/11
Let g be (-11)/(-33) - 2/6. Let k(w) = 2*w**2 - 5*w + 16. Let b be k(g). Is 44/3 greater than b?
False
Let r = 41 - 104. Let x be 84/35*(-720)/(-27). Let w = r + x. Which is greater: w or 2/91?
w
Let v = -4946 - -628144/127. Let j(c) = -c**2 + 3. Let o be j(-2). Which is smaller: v or o?
o
Let u be 4/(-28) + 6/14. Let l = 127 + -120. Which is smaller: l or u?
u
Let a be (-13)/(4449731/(-61596)) + (-2)/11. Which is smaller: a or -1?
-1
Suppose 4*j + 20 = -5*a, a = 3*j - 0*a - 4. Let p = 55 + -45. Suppose -9*n = -p*n. Are n and j non-equal?
False
Let m = -115 + 115.004. Let u = m - 7.004. Do -21 and u have the same value?
False
Let z be ((-4)/18)/((-17)/(-51)). Which is smaller: z or 1829?
z
Let a(f) = f**3 - 11*f**2 - 24*f - 24. Let w be a(13). Suppose 18*z = w*z. Which is smaller: -2/233 or z?
-2/233
Let v(z) = -z - 90. Let n be v(-26). Let a be n/24 - ((-1)/(-3) - 1). Is 1.6 <= a?
False
Let z(d) = 110*d - 4720. Let g be z(43). Let y be (5/2)/((-5)/(-10)). Suppose -y*f + 45 - 10 = 0. Which is smaller: g or f?
f
Let j(f) = -3*f**2 + 11*f + 45. Let h be j(13). Let w = h - -145. Is -174 greater than w?
False
Let a = 54460 - 13560472/249. Which is smaller: a or -1?
-1
Let g be (-3 + (-16)/(-12))*21*-1. Suppose 8*q + g = 15*q. Let w = q + -21. Is w <= -118/7?
False
Suppose -f + 4*q = -149, -f - 59*q + 139 = -61*q. Is 46 less than f?
True
Let w = 59 + -59.026. Let g = w + 0.026. Is g > -44?
True
Let j = 2393 - 2376.43. Let c = 80.43 - 80. Let h = j + c. Which is smaller: h or -0.1?
-0.1
Let b be -1 - 2900 - (-10)/15*-3. Let s = -406423/140 - b. Let l = -37/140 + s. Which is smaller: l or -3.3?
-3.3
Let z be ((-22626)/(-63))/3*-7. Is -839 greater than z?
False
Let k = -238.7 + 238.8. Is -0.276 less than k?
True
Let w = 27 - 26. Let h(g) = 3*g**2 + 3*g. Let t be h(-1). Let c be -4 + w + t - 7/(-3). Are c and 0 equal?
False
Let n(b) = -2*b**2 - b**3 + 2*b - 1 + b**2 + b**2. Let t be n(1). Let j = 15947/618 - 155/6. Which is smaller: t or j?
j
Suppose -182 = -d + 9*m, -3*d = -6*d + 2*m + 471. Is d at most 123?
False
Let r be -1 + (-95)/(-35) + 4/14. Suppose 0 = r*b - 5*b - 2*o + 24, -4*b - 4*o = -32. Suppose 5*p - 2*c - 49 = 0, 2*c + 3 + 1 = 0. Which is bigger: p or b?
p
Let k be 36/(-66) + (-173792)/176. Is -989 greater than or equal to k?
False
Suppose -4*s - 3 + 2 = -c, 0 = c + 3. Let r be (-3)/s + (-15392)/5122. Suppose 5*g - 3*g = 4*i - 8, 0 = -4*g - 8. Does r = i?
False
Let h = -0.12115 + -0.07885. Let z = 39 - 78. Which is greater: h or z?
h
Let x be ((-156)/15)/(((-84)/30)/7). Suppose 4*y + 12 = -4*t, 2*t - y + 2*y = -3. Which is bigger: t or x?
x
Let y = 14150 + -13438. Are y and 693 equal?
False
Let f = -38941 - -37046. Which is greater: f or 7?
7
Suppose -4*z + 5*t - 1801 + 618 = 0, 2*t - 1174 = 4*z. Are z and -294 non-equal?
True
Let t(s) = 3*s**2 - 8*s. Let x be t(3). Suppose -5*v + 0*r = -r - 4, 4*r = v + x. Are -16 and v unequal?
True
Let d = 14950 + -7892. Which is smaller: 7057 or d?
7057
Let t = -2413591/151440 - -1/9465. Let a = 24257/1520 + t. Let p = 360 - 719/2. Is a bigger than p?
False
Let m = 16431 + -16014. Is m greater than 415?
True
Let i = 19.5 - 19. Let h = -0.7 + i. Let u = -423 + 412. Do u and h have the same value?
False
Let h = -130 + 177. Let n = -31 - -63. Let k = h - n. Which is greater: 12 or k?
k
Suppose -3*m - 5*n + 52 = -5*m, m + 26 = -3*n. Let f = m - -36. Let z be 0/(-9) - f/9. Is -1 < z?
False
Let r be 526/(6 + -13 - -6). Let o = r - -463. Which is greater: -253/4 or o?
o
Let m = 9/37 - 281/851. Suppose -4*p = -2*p - c - 138, -4*c + 185 = 3*p. Let l = -66 + p. Is l less than or equal to m?
False
Let u = -39 + 38.47. Let i = u + 1.59. Let g = -10.94 - i. Which is greater: g or -6?
-6
Let h be 4 - 7 - 31 - 4/(-2). Let u = 220 - 212. Let s = u + h. Is s < -26?
False
Let o = -319 + 637/2. Let k(v) = 2*v**3 + 5*v**2 - 3*v - 4. Let n be k(-4). Let t be ((-124)/n)/(-1) - -3. Is o at most as big as t?
True
Let f be ((-434)/62 - (-13 + 2)) + -1 + -3. Is f not equal to -4?
True
Let c = -247 - -248. Let l be (0/(3/c))/((-36)/18). Is l != -1/3?
True
Let v(j) = j**2 - 11*j + 31. Let h be v(7). Suppose -7 = 10*p + h. Is p > -8/11?
False
Let g(k) = 26*k**2 - 93*k + 284. Let z be g(3). Is z < 2156/9?
True
Let u = 3/155 - -128/1395. Let t = -33/7 - -325/63. Let m = t - u. Is 0 smaller than m?
True
Let a = 0.033 + 134.967. Let d = a - 342. Is d smaller than -0.1?
True
Suppose j + 4*d = 3 - 15, j - 4*d = -20. Which is greater: j or 13?
13
Let s be (33/5)/(16/(-10)). Let h = 35/8 + s. Is 7/11 bigger than h?
True
Let r be 1*0*1/2. Let v(x) = x + 4. Let o be v(-1). Suppose -5*i + o*i - 8 = r. Which is bigger: i or -54/11?
i
Let a = -40847/69009748 - -22/13813. Which is smaller: 0 or a?
0
Suppose 0 = -120*q + 23659 - 3859. Let z(t) = 33*t. Let n be z(5). Are q and n non-equal?
False
Let w be (-3 - (-221)/91)/2. Which is smaller: w or -308.1?
-308.1
Let b = -2138.63 + 2138.53. Suppose -a - 17 = -4*g, 2*g - 1 = -2*a + 5. Suppose 2*j = g*j - 74. Which is smaller: b or j?
b
Let p = 2.47137 + -0.27137. Let k = 0 - 1. Which is smaller: p or k?
k
Suppose -31*p + 1624 = -0*p - 59*p. Which is smaller: -298 or p?
-298
Suppose -28*t = -10*t + 25*t - 301. Is 106/19 != t?
True
Let t = -0.03462 + -0.96538. Which is smaller: t or -3/1207?
t
Let m be ((-116)/(-2842))/((-3)/((-84)/8)). Let k = -0.14 - 5.86. Let p = k + 6.06. Is p at least as big as m?
False
Let i(z) = 2*z - 6. Let w be i(7). Let g be (-3)/((-13)/(-156) - (-2)/w). Which is smaller: -7 or g?
g
Let c = 32330 - 1002333/31. Which is bigger: c or -2?
-2
Let l be 15/28 - (-8 + 10/(-210)*-174). Is -1867 not equal to l?
True
Suppose -51 = 3*q + 14*q. Let h(b) = -57*b - 39. Let r be h(q). Is r less than 132?
False
Let c = -273.728 - -274. Let k = c + -0.372. Do 65/4 and k have the same value?
False
Let z be -1 - -3 - 80/(-2). Suppose -q + 4*q = z. Suppose 0 = -658*s - 171*s + 12435. Does s = q?
False
Let z(f) be the second derivative of 1/6*f**4 - 7/6*f**3 - 15/2*f**2 + 0 + 18*f. Let d be z(-5). Are d and 70 non-equal?
False
Let s(q) = 3*q**2 + 18*q - 81. Let p be s(-19). Which is smaller: p or 662?
p
Suppose -3*y + 0 = -6. Suppose 3*o - y*o = 0. Let m = 7822456/147 + -53214. Is o < m?
False
Suppose -139 = -3*c + 5*v + 155, -c + 5*v + 108 = 0. Is c != 642/7?
True
Let z = -21912 - -21911.1. Which is greater: z or -8.41?
z
Let c = -8.39 - -8.69. Is c greater than 0.1025?
True
Let j be (-27 + 18)/((-22)/(-99)*1/(-18)). Is 5112/7 smaller than j?
False
Suppose 0 = -4*a - 5 + 69. Let c = 154 - 162. Let n(q) = -6*q - 45. Let i be n(c). Does i = a?
False
Let c be 4/(32/12)*(-2)/3. Let x be 282/47 + 2980/(-497). Which is greater: c or x?
x
Let p = 0.0147 + -0.0066. Let a = p + 0.0019. Let z be (-2 - (-4)/3) + 0. Do a and z have different values?
True
Suppose -73*a + 894 = -67*a. Let v = a + -149. Which is greater: v or 1/204?
1/204
Let w = -69 + 67.58. Let m = w + 2.42. Is m greater than -2/39?
True
Let i(k) = k**3 + 8*k**2 - 14*k - 8. Let p be i(-10). Let z = 68 + p. Which is smaller: 3/80 or z?
z
Let x be (-16)/552*3/8. Let m = x + 187/276. Let p = 185.62 + -185.4. Is m smaller