than or equal to p?
True
Let m(v) = -27*v + 300. Let b be m(11). Suppose -6*q + b = -3. Which is smaller: 266 or q?
q
Let u(i) = i**3 + 8*i**2 - 7*i + 21. Let m be u(-9). Suppose -2*z + 2 = -5*p + 12, p = m*z + 15. Let v be (p + 2 + -1)/(-5). Are 0 and v equal?
False
Let x be (-64)/(-16)*(-3)/(36/(-525)). Is 176 greater than or equal to x?
True
Let x = -60 + 162. Let q = 66 - x. Let l = 38 + q. Which is smaller: l or -5?
-5
Let r = -579 + 579.06. Let v = -25 + 48. Let p = 24 - v. Which is smaller: p or r?
r
Suppose 357 = 6*b - b - 4*t, 195 = 3*b + 4*t. Let f = b + -68. Is f > 30/43?
True
Suppose 0 = h + 2*t + 12, 4*h + 2*t = -8 - 10. Let y be (-4)/16*22*1/h. Is y < 3?
True
Let c be (82/(-5))/(12*(-25)/900 - (-4)/30). Let w = -18 + 88/5. Which is bigger: w or c?
c
Suppose p + 5*x - 48 + 9 = 0, -3*x + 88 = 4*p. Let w be (13 - (0 - (0 + -1)))/((-30)/(-45)). Is w less than p?
True
Let j = 35086/17 + -2064. Let m = -0.005 - 9.995. Is j smaller than m?
False
Let h = -94 - -358. Let w = h + -297. Which is bigger: w or -63/2?
-63/2
Let l = 30425 + -23898. Is -1 bigger than l?
False
Let z = 16149313/22 - 270032695673/367862. Let j = 2/727 + z. Let b = 4.4 + -0.4. Is j bigger than b?
False
Let z be 2 - ((-4)/2 - (48/(-60) + -5)). Is -0.044 at least as big as z?
True
Let u be (-4)/(-26) + (-24350)/1436175*9. Which is smaller: 1 or u?
u
Let l be (-4)/6*9/(-15). Let o = 87 - 82. Suppose -c = -m + 5, -m - o*c + 5 = -0*m. Is l less than m?
True
Let d be (100/265)/10*1. Let h be ((-5)/15)/(7/21). Is h > d?
False
Let m = 28044/53 + -27860899/53106. Let o = m - 2/501. Suppose -39 = -s + 5*f - 10, -s = -3*f - 19. Which is bigger: o or s?
o
Suppose -5*u = -3*u - 12. Suppose 60*g - 54*g = 456. Let q = g + -70. Is q <= u?
True
Suppose 16*y - 4945 = -1185. Let l = -6113/26 + y. Suppose -3*g - 2 - 1 = 0. Is g at least as big as l?
False
Let j be (8/(-10))/(2/(-110)). Let z = -35 + 39. Suppose z*a - 91 = n + 81, -3*a + 116 = -4*n. Is j smaller than a?
False
Suppose 98*m = 22995 + 8561. Is m bigger than 325?
False
Suppose -57*p + i = -53*p + 61904, i - 15482 = p. Which is greater: p or -15473?
-15473
Let q = -14.7 + 14.785. Let z = -4.085 + q. Which is greater: 9 or z?
9
Suppose 5*l + 0*l + 10 = 0. Let f be (9/36)/(l/(-24)). Let m(b) = -b**3 - 9*b**2 + b + 13. Let j be m(-9). Which is greater: f or j?
j
Let p = 235.2 + -40.2. Let f = p + -193.2. Which is greater: 1.9 or f?
1.9
Let u = 69/35 + -172/105. Is -0.3685 greater than or equal to u?
False
Let d = 964 + -544. Let n = 419.9 - d. Which is greater: 1.12 or n?
1.12
Suppose -4*h - 5*l + 228 = 203, 0 = 3*h + 2*l - 10. Let a = -692 - -380. Let r be 6/8*(-128)/a. Which is greater: h or r?
r
Let m be (5 - (-524275)/(-104875))/((-12)/70). Is m at most -1?
False
Suppose 0*v - 140 = -5*v. Suppose 4*u + 5*n + 36 = 0, 5*u = -2*n - 0*n - v. Let h be (-16)/2 + 3 - u. Is 4 greater than h?
True
Suppose 1685 = -5*h - 53*v + 58*v, -21 = -3*v. Is -329 < h?
False
Let v = -140.787 - -141. Let j = -0.087 - v. Let t = -1.4 + 0.4. Is t at least as big as j?
False
Let r(o) = -13*o**3 - 147*o**2 - 35*o + 75. Let u be r(-11). Let w = -2.05 - -0.05. Are u and w unequal?
True
Let v be ((-10)/15)/(-2) - (-76)/6. Let s(r) = -r**3 + 15*r**2 - 18*r + 18. Let q be s(v). Let z = 353/3 - q. Is 0.2 less than z?
False
Let w = 1574.9659 + -1575. Which is smaller: w or -1/2?
-1/2
Let m(p) = 8*p - 11. Let o(y) = -11*y + 9. Let b(w) = 4*m(w) + 3*o(w). Suppose k = 5*k + 40. Let u be b(k). Is -6 < u?
False
Let x(g) = g**3 - 4*g**2 - 70*g - 27. Let z be x(11). Let u(l) = -7*l**2 + 342*l + 9. Let f be u(z). Is -392 less than f?
True
Suppose 4 = -2*y - 2. Let u be (-12)/(-904)*-2*(-2)/y. Let n = -103/565 + u. Is 1 bigger than n?
True
Let a = 0.00083 + -0.01083. Let b = 2085/7 + -299. Which is bigger: b or a?
a
Let d be 5 + (-32)/8 - (-2 - 17). Suppose 163 + 197 = d*l. Is 15 greater than l?
False
Let j be 0/(-3 - -6) - -13. Let p(t) = -t**3 + 14*t**2 - 13*t. Let g be p(j). Suppose g = -16*s + 21*s - 85. Is s less than 17?
False
Let t be (-44)/(-352) - (209/8 - 2). Let a be 176/(-86) + (-8)/(-4). Let h = -2111/86 - a. Do h and t have the same value?
False
Let t(i) = i - 1. Let h be t(-1). Let y be 21/14*(h - (-16)/6). Let s = -10.32 - -11. Is s < y?
True
Let z = 415.3 - 352. Let i = z + -62.19. Is i smaller than -4?
False
Suppose 13*w = 24 + 54. Let r be 2/w*123/82. Which is smaller: r or -85?
-85
Let v(r) = 6*r**3 - 2*r**2 - 3*r + 3. Let j be v(1). Suppose -4*c = -5*t + 69, 0 = 5*t + j*c - 7*c - 73. Is 14 < t?
True
Let o(v) = v**2 - 3. Let a be o(3). Let j = -13190 + 13140. Which is bigger: j or a?
a
Let g be -5 - (-38 - (-8 - -14)). Suppose -t = 4*y + 24, 3*t + y + g = -77. Is -43 != t?
True
Let x be (-6)/27 + 8/36. Suppose x = 5*s + n + 2, s - 13 = -s - 5*n. Let u be (-3)/3*(s + 20/18). Which is greater: u or -1?
u
Let f = 0.32 + 0.44. Let y = 44.24 + f. Let a = 47 - y. Is a bigger than -0.1?
True
Let a(p) = p**3 + 4*p**2 - 519*p + 24. Let n be a(21). Which is smaller: n or 149?
149
Let r = -608586 - -608781. Let z = 0.4 - 0.3. Which is smaller: r or z?
z
Suppose 587 = 109*w + 42. Which is greater: w or 384/107?
w
Let i(h) = -124*h - 869. Let x be i(-7). Is 31/96 at least x?
True
Let v be 22/(-18) + (-16)/216*-3. Let b be 1 + 2 - (-6)/v - 59. Is b less than -62?
False
Let u(c) = 9*c**2 - 8*c + 3. Let t be u(2). Let h = 25 - t. Suppose -4*r = s - h*s - 21, 2*s - 5*r = -27. Is -7 bigger than s?
False
Suppose -78 = -5*r - 3*a, -4*r = 3*a - 6*a - 84. Let j be (-21)/(-6)*r/21. Let g = 18 - j. Which is greater: 14 or g?
g
Let b be ((-320)/12)/((-11)/6). Suppose -4*u + 2*s + 35 + 43 = 0, -5*s - 35 = 0. Which is greater: b or u?
u
Let a be -3 - (-11)/((-66)/(-20)). Let m = 54.050022 - 0.032022. Let i = -0.018 + m. Which is greater: i or a?
i
Let l be ((-17262)/(-60))/21 + (-30)/(-100). Which is greater: l or -168?
l
Suppose 2*h + k + 3*k + 362 = 0, 3*k = -12. Suppose -4*d = -2*t + 692, 17*t - 692 = 4*d + 14*t. Is d at least as big as h?
True
Let u = 6 - 2. Suppose c - 4*h = -8, -u*c - 5*h = -5 - 5. Let n be 22 + (264/(-1760))/((-45)/(-6672)). Which is greater: n or c?
c
Let p(j) = -j**2 + 11*j + 1. Let f be p(11). Let h(t) = 14*t + 3. Let x be h(3). Let o be ((-178)/(-8) - f)*6/x. Which is bigger: 2 or o?
o
Let z = 33.005 + -0.005. Let i = 28 - z. Let m = i + 5. Which is greater: -3 or m?
m
Let k be 27/((-12)/4) + 1/((-1)/(-7)). Let c(m) = -m + 12. Let h be c(9). Suppose h*z + 0*z + 5 = -4*j, -3*z + j = 10. Which is bigger: z or k?
k
Let k(s) = 4*s**2 - 77*s + 18. Let n be k(19). Is n > -50/1301?
False
Let p = -284 - -299. Suppose 2 = 5*x - 2*j, -4 = -5*x + 3*j - 1. Is p greater than or equal to x?
True
Let j be (-54)/(-4) + (-2)/4. Let k(d) = -7*d - 15 - d**2 - 2 + 3*d - 54 - 40*d. Let b be k(-42). Is j smaller than b?
False
Let v be (-10)/30 + -1*(0 + (-5 - -5)). Let k(x) = -49*x - 1. Let w be k(3). Which is greater: w or v?
v
Suppose 0 = -14*x + 16*x - 726. Suppose -4*l - 393 = 4*k - 105, 5*l + 4*k + x = 0. Is -74 >= l?
True
Let r(b) be the second derivative of -11*b**3/6 + 77*b**2 + b - 1. Let w be r(14). Is 10/39 equal to w?
False
Let n = -2796.09 - -2794. Which is bigger: n or -0.01?
-0.01
Let w = -5150116/23 + 223976. Is 57 smaller than w?
True
Let f = 563 + -344. Let y = f - 218.835. Is y at least 0?
True
Let w = -1874.1 + 1873.8. Which is greater: w or -2032?
w
Let n = 337405/89172 + 54/2477. Is 5 less than n?
False
Suppose -32475 = -2*c - z, 13*c - 211104 = 19*z - 20*z. Which is greater: 16240 or c?
16240
Let g(z) = 72*z**2 - 343*z - 3. Let q be g(3). Which is smaller: 0 or q?
q
Let p = 6706.9 - 6707. Is p less than -278?
False
Suppose 8 = -3*i + 11. Let p = 19976555/1259 - 15867. Which is bigger: i or p?
i
Let c = 5477 - 2481083/453. Suppose -4*m + 2*m - 2 = 0. Which is bigger: m or c?
c
Let j(l) = 6*l + 22. Let h(r) = -2*r - 11. Let v be h(7). Let s = 21 + v. Let c be j(s). Which is smaller: c or -6/7?
c
Let h be (-3)/(((-780)/(-611))/20). Is -375/8 < h?
False
Let b(c) = -2*c**2 + 171*c - 1379. Let g be b(9). Is 196 greater than g?
True
Let y = 4886.1 - 4886. Is y equal to -60.08?
False
Let l = 11846 + -11855.8. Which is smaller: l or -31?
-31
Let b = 1.9 + 124.1. Let s = b + 66. Are -2/3 and s nonequal?
True
Let q = 170 + -348. Let k = 892/5 + q. Is