*3558/(-9). Is c >= 14824?
True
Let b(h) = h**3 - 16*h**2 - 68*h + 123. Let y be b(25). Which is greater: 1/4 or y?
y
Let l be 1 - (0/2 - (165 + -7)). Let h = 149 - l. Which is bigger: -14 or h?
h
Let h = 0.02089 + -36.32089. Is -12 <= h?
False
Let w(r) be the first derivative of r**4/4 + 7*r**3/3 - 5*r**2 + 11*r - 312. Let k be w(5). Is 262 >= k?
True
Let o = -9804 - -9738.43. Let r = o + -1.43. Let a = r + 71. Which is smaller: a or -1?
-1
Let g = 138/13 - 573/65. Let c = g - 13/10. Which is bigger: -2.96 or c?
c
Let w be (-3)/(-9) + (-524)/(-12) + 2. Suppose 2*f + 129 = 3*l, -2*l = -16*f + 13*f - 76. Is w != l?
True
Let l(v) = v**3 - 6*v**2 + 3*v - 19. Let z be l(6). Which is greater: z or -174?
z
Let g(o) = o + 39. Let p be g(-28). Suppose 5*i + 4*q + p = -5, 0 = -4*i + 5*q + 20. Is i equal to -30?
False
Suppose 14*t - 11*t = j + 3197, -4*j - 2*t - 12900 = 0. Which is smaller: -3222 or j?
-3222
Let y = 38.154 + -37.954. Which is bigger: -152/45 or y?
y
Suppose 4*y + 6 = -103*s + 98*s, -5*y - 5 = 5*s. Is y greater than or equal to -3/1271?
True
Suppose -2*w = 3*r - 11, 7*r = 2*r + 4*w + 11. Suppose 0 = b - r*y - 3, -y = -2*b - 0*y - 9. Which is bigger: -0.01 or b?
-0.01
Let i(r) = -71*r + 3655. Let v be i(51). Is v less than or equal to 51?
True
Let d = 2005/54572 + -2/1949. Is 1.4 less than d?
False
Let u = 110 - 32. Let k = -785.4 - -864. Let r = k - u. Is r smaller than 0.2?
False
Let b = 9.387 + -10.387. Are b and -1333/3 equal?
False
Let f = 8515 - 8516. Which is bigger: f or -1/202?
-1/202
Let g = 132 - 84. Let y = g - 44. Suppose y*b = -3*b - 14. Is -24/7 < b?
True
Let s = -1.94 + -0.06. Suppose -15*t + 21*t = -540. Let h be (t/(-150))/(3/20). Which is smaller: s or h?
s
Suppose 65*y = 42*y + 299. Let i be y/65*((-264)/15)/(-4). Is i bigger than 0?
True
Let z(y) = -1499*y - 3257. Let t be z(4). Which is bigger: -9254 or t?
t
Let r(k) = k**2 + 20*k - 58. Let u be r(-21). Let g be (-4)/16 + 429/(-12). Is u < g?
True
Suppose 0 = -4*p + 9 + 47. Suppose -p*k + 11*k = 15. Which is smaller: -60/11 or k?
-60/11
Suppose -48*a - 5 = -53*a. Suppose 2*f + a - 3 = 0. Let w be 2 + -5 + 485/161. Which is greater: f or w?
f
Let r be ((-182373)/62)/(6/8). Which is smaller: -19608/5 or r?
r
Let o(r) = 48*r - 220. Let v be o(8). Let s be (-99)/2*100/(-30). Which is smaller: s or v?
v
Let i(k) = 28*k**2 - 60 + 11 + 35*k**2 - 31*k - 2 - 66*k**2. Let h be i(-7). Which is bigger: 23 or h?
23
Let z = 66 - 56. Let o = 9.5 - z. Let p = o - -1.5. Is p less than 1/9?
False
Suppose 12 = 2*m - m + 4*g, 2 = 2*g. Let j = -136977/14 + 19583/2. Which is greater: m or j?
m
Let r(q) = q**3 + 52*q**2 + 8*q - 6. Let u be r(-52). Is u at most -421?
True
Let u be 2 - (-4 - (-358 + -5) - 5). Let z = u + 426. Which is bigger: 73 or z?
z
Let a = -2418.0955 - -2419.7. Which is bigger: a or -1/3?
a
Let v = 124 + -234. Suppose -2*k = -3*k - 109. Do k and v have the same value?
False
Let l(m) = -22*m - 242. Let r(g) = -11*g - 121. Let v(y) = -6*l(y) + 11*r(y). Let n be v(-11). Let p = -366/10397 - 3/562. Which is greater: p or n?
n
Suppose 0 = 62*x + 1112 + 500. Which is bigger: x or 70?
70
Suppose 10*b = 16 + 64. Suppose 3*c - 31 = -2*w, 4*w - b*w = 4. Is c <= 11?
True
Let q = -35.4 - -25.1. Let c = q - -1.3. Let v be ((-4455)/(-90) - 49)*0. Which is greater: c or v?
v
Let c = 72601 + -51186. Which is smaller: 21416 or c?
c
Let h be ((-180)/44)/5*1. Which is smaller: -14 or h?
-14
Let a be (-1032)/2838 + (-56)/(-33). Let o = -573/4 - -144. Is a at most as big as o?
False
Let w = 9 + -7. Suppose 4*l = j + 9, -w*l + l + 11 = -2*j. Let d = -242/9 - -10657/396. Which is bigger: d or l?
l
Let r(l) = -88*l + 905. Let c be r(10). Are -23 and c unequal?
True
Let h = -44 - -53. Suppose h*q = 18*q - 36. Is q <= 29/6?
True
Let v = -4820 + 4832. Are 2/877 and v unequal?
True
Let d be -8 + 10 + 57/(-243). Let q = -12523/1863 + d. Which is smaller: q or -6?
-6
Let p = 0.1 - 0.3. Let g = p - 1.2. Let s be (-2)/(-14 - -6) - (-7)/(-252). Which is smaller: s or g?
g
Let g be 3/15 + (-25)/(6750/(-67221)). Is g greater than or equal to 250?
False
Let u(r) = -r**3 - 8*r**2 - 8*r - 8. Let l be u(-2). Is -342 <= l?
True
Let p = 147.6 - -4.4. Let d = 151.9 - p. Is 577 smaller than d?
False
Suppose 4*d - 5 = 75. Suppose -4*c + d*i - 19*i = 23, -15 = 3*i. Which is smaller: -96/17 or c?
c
Let v = 901 - 903.4. Which is greater: v or -24?
v
Let a = -0.95 + -0.05. Suppose 3*d = 3*u + 21, -2*u - 4*d + 21 = d. Let z be 53/(-36) + (u/(-8) - -1). Is a not equal to z?
True
Let u = -16.1 + 16. Let n = 1090 - 950. Which is smaller: u or n?
u
Suppose 20061 = -173*u - 107440. Which is smaller: -738 or u?
-738
Let s(h) = h**3 - 21*h**2 + 65*h - 158. Let c be s(19). Is 354 equal to c?
False
Let r = -533 - -311. Let z(y) = -80*y + 19. Let c be z(3). Is r less than or equal to c?
True
Let o be 14 - (3 - (2 - 5) - 3). Suppose o*i - 6 = 9*i. Suppose 0 = y - y + i*y. Which is smaller: y or -8/9?
-8/9
Suppose -102 = 39*q - 56*q. Suppose q*r - 195 = 51. Is r equal to 119/3?
False
Suppose 19*d - 36*d = 34. Let x = -26 - -19. Which is bigger: d or x?
d
Let n(b) = -b - 3. Let f be n(-3). Suppose -3*p + v - 337 = f, -2*p - p + 4*v = 340. Do -1 and p have different values?
True
Let q be (1 + -6)*(-9)/((-5400)/16). Let p be (-30)/9*(-12)/10. Let v be (-4 + p)/(-1 - (-4)/2). Which is bigger: q or v?
v
Let m(i) = 697*i + 2092. Let y be m(-3). Let r be (-6)/(-118) - (1 - 1). Are r and y nonequal?
True
Let n = -2613.9 - -2613.3. Is 24.94 smaller than n?
False
Let b = 8.64 - 7. Let v = 1.44 - b. Which is smaller: v or 100?
v
Let o = -0.1083 + 0.0383. Let m = 57/2 - 169/6. Is o bigger than m?
False
Suppose -50*k = -92*k - 588. Which is smaller: 23 or k?
k
Let z(q) = -5*q - 24. Let j be (4*-4)/(3/(-3)). Let h be z(j). Let d = h - -101. Which is smaller: -4 or d?
-4
Let s = 19 - 4. Suppose 13*b - 407 + 199 = 0. Is b at most s?
False
Let q(i) = i**3 + 6*i**2 + 11*i + 11. Let j be q(7). Suppose 10*f + 5*u = 7*f + j, 241 = f + u. Is f less than 239?
False
Let o be -1 + (139960/69982 - 1). Let q = -54865906/314919 - o. Let n = q + 174. Is 5 bigger than n?
True
Let h(j) = 244*j**2 - 5*j - 51. Let l be h(-5). Let o = -1002206/165 + l. Is o at least 0?
True
Suppose -4*o + 5*o = 0. Let k be (-6)/(-4)*30408/(-189). Let z = 242 + k. Which is smaller: z or o?
o
Let g(f) = -3*f**2 - 27*f + 26. Let p be g(-10). Let a be 2 - (233/p - 6/8). Is 62 bigger than a?
True
Let z = 4757/2382 + 5042551/221526. Let f be ((-392)/(-21))/(((-27)/4)/(-9)). Let n = f - z. Is n <= -1?
False
Let d be 8/10*5/(-2). Let q = d + 3. Let r be ((-2)/(-10))/(-1) - (-1558)/8610. Which is smaller: r or q?
r
Let x = 502091938/119 + -4219187. Let o = x + -73. Is -0.1 equal to o?
False
Let p(v) = -4*v**3 + 347*v**2 + 89*v - 183. Let g be p(87). Which is smaller: -532/53 or g?
-532/53
Let u = -34.7513 + -2.2487. Are 306 and u nonequal?
True
Let h = -59.43 - -60.43. Which is greater: -0.4667 or h?
h
Let f(b) = -b + 19. Let p be f(15). Suppose -34 + 22 = -p*d. Let g be (-8)/24 - 23/d. Is g greater than -9?
True
Let k = -838.7 + 928.7. Which is greater: k or 9?
k
Suppose 9*d + 12000 = 29*d. Suppose -852 = 33*s + d. Which is smaller: s or -41?
s
Let v = 6432/7 - 909. Let q(k) = -2*k**3 - 10*k**2 - 195*k - 1232. Let u be q(-6). Which is greater: u or v?
u
Let c be (214/(-10))/((-247)/33345). Are c and 2888 non-equal?
True
Let z = -355 + 354. Which is greater: z or -2/1173?
-2/1173
Let l be ((-22)/30)/(65/190). Let k = l + 40/13. Which is greater: 1 or k?
1
Suppose 9*x - 10*x + 5 = j, 5*j + x - 21 = 0. Let p be (-11 + 3)*18/j. Is p at least as big as -1?
False
Suppose -4*x - 13*x - 4012 = 0. Let j = -1181/5 - x. Let v = -2 + 2.4. Which is greater: j or v?
v
Let i = 0.07 - -14.93. Let l = i + -12. Let k = -963 - -964.1. Are k and l nonequal?
True
Let b = 16.8 + -3.8. Let u = b - 13.2. Let w be ((-2)/12)/(11/(-33)). Which is bigger: u or w?
w
Suppose -b - 3*b = -49317996. Let d = b - 46519200778/3773. Let k = -2/343 - d. Which is bigger: 0 or k?
k
Let o(x) = 141*x**3 + x**2 - 2*x + 1. Let f be o(1). Suppose p - 147 = -a, 3*p + 0*a - 435 = -2*a. Is f equal to p?
True
Let v be ((-73724)/21)/((-44)/(-33)). Which is smaller: v or -2632?
v
Let p(b) = b**3 - 13*b**2 - 12*b + 101. Let o be p(13