((-94)/(-10)). Let s be 13 + (-184)/7 - -13. Which is greater: l or s?
l
Let q(b) = b**3 + b**2 - 3*b + 1. Let z(w) = w**3 - 3*w + 1. Let j be z(0). Let g be q(j). Is g equal to -3?
False
Suppose -2*l = 4*v - 71 - 299, -285 = -3*v - 3*l. Let o be 15/6*36/v. Is 15/14 smaller than o?
False
Let h = 2788 + -2788.2. Is 11647 < h?
False
Let v(k) = 55*k - 302. Let h be v(5). Let g be (-118)/(-5) + 2/5. Suppose 4*z = 2*o - 25 - 83, o + g = -z. Which is smaller: h or z?
h
Let v = 2117 + -2134. Let g be 24/(-27)*(-2)/8. Is g bigger than v?
True
Let k = 348 - 157. Let y = k - 192. Is y at most as big as -18/13?
False
Let k = 6/807511 - -23092391893/23417819. Let g = k - 986. Which is smaller: 0 or g?
0
Let s = 33/1640 - 25351/1585880. Is s less than -2?
False
Let b be (7/(-168)*16)/((-2)/(-1095)). Which is smaller: b or -364?
b
Let h = 1.244 + -1.35. Let t = h - -13.106. Is 1/4 smaller than t?
True
Let i = -3868.74 + 4028. Let q = 162 - i. Let a = q - -0.26. Which is greater: -0.1 or a?
a
Suppose -168*t + 52441 + 84311 = 0. Which is smaller: 3261/4 or t?
t
Let a be (-4)/10 - 45/3075*-24. Let g be (1 + 0)*(-2 - -3). Which is smaller: a or g?
a
Suppose 4*w + m = 63, 31 = 3*w + m - 17. Suppose -2*c - 6 + 14 = 0. Suppose -c*p = -114 + 54. Are w and p equal?
True
Let w be -4 + (-3)/(-1) + -1. Suppose 3*b + 2*t - 15 = 0, -13 = 5*b - t + 1. Which is smaller: w or b?
w
Let h = 72885 - 200360867/2749. Is 1 greater than or equal to h?
True
Let m = 2.57 + -2.57. Suppose -2*g + 5*p + 808 = -5*g, -3*g - 3*p - 798 = 0. Is g < m?
True
Let t = -0.7227 - -0.6227. Let y = 28 - 47. Is t <= y?
False
Let o = -1808 + 1805. Which is smaller: o or -10?
-10
Let i be 155923/77982 + 6/(-3). Do i and 0 have the same value?
False
Let l = -27.7645 - 0.2355. Which is greater: -212 or l?
l
Suppose -5*c + 14 + 16 = 0, -17*k - 2*c = 107. Is k != 1828?
True
Let k be (-21222)/8991 + 1/(-3)*-7. Is k smaller than 9.9?
True
Let a = -247.6 + 33.6. Let s = a - -213.871. Which is smaller: 1/2 or s?
s
Let s(j) = -j + 3. Let t be s(-7). Suppose 0 = -t*z + 6*z + 5*b + 19, -2*z = -5*b - 7. Is -1.3 at most as big as z?
True
Suppose -3*o - 30 = -2*o. Let f be ((-715)/o)/13 + (-2)/(-12). Suppose -f = x + 6. Which is smaller: x or -10?
-10
Let z be 0/(2 + -3 + 2). Suppose 0 = -q - z*q - 9. Let s be (6/8)/((-23)/92). Which is bigger: q or s?
s
Let y = 446/15 - 27251/915. Let b = 180 - 179. Which is greater: y or b?
b
Let b = 58.55 - 60.66. Is b >= 0?
False
Let i = 34830 - 34794. Let g be (114/(-8))/((-24)/64). Which is bigger: i or g?
g
Let a = -142 + 146. Suppose 20 = 5*q + 5*m, 4*m - 11 = -3*q + a*q. Is 1/223 greater than q?
False
Let i be (68/(-2))/(4/(-466)). Let j = i - 11767/3. Which is smaller: 40 or j?
j
Suppose 0*k + 12 = 2*k. Suppose -3 = 3*u - k. Let s be 12/15*30/u. Is 24 greater than s?
False
Let c = 1841/3 + -628. Suppose -4*y + 398 - 147 = 5*p, 0 = p + 1. Suppose 1 = -5*a - y. Is a greater than c?
True
Suppose -6*l - 2 = -2*l - 2*y, 5*l = 3*y - 3. Let o = l + -20. Suppose 4*a = -2*i - 58, 5*i + 4*a - 38 + 159 = 0. Which is smaller: i or o?
i
Let j be (38/5225)/((-7)/20). Which is bigger: 1 or j?
1
Let s = 293.12 + -230. Let a = s - 0.12. Let u = a - 61. Are u and 0.1 nonequal?
True
Let g be 14/(-3) + (-22)/66. Let j be (g + 110/33)*(-3)/5. Which is bigger: -4/51 or j?
j
Let j(u) = -2*u**3 + 2*u**2 + 8*u - 7. Let m be j(-4). Let f = m - 125. Is f at least as big as -7?
True
Let j = 4655 + -4654. Is j > -18/53?
True
Let q = -0.57294 + 0.32894. Which is smaller: q or 5/2?
q
Let l be (-12)/(-8)*2 - (-1 + 2). Suppose 7*i - l*i + 50 = 0. Let t be (-2)/28 + (-30)/i + -3. Which is smaller: t or 1?
t
Suppose 4*l - v = -635, 4*v = l + v + 167. Is l at least as big as -2046/13?
False
Let p = -669 - -724. Is p less than or equal to 55?
True
Let j(l) = l**3 - 11*l**2 + 19*l + 16. Let v be (-3)/(-3)*(-6)/4*-2. Suppose -v*c = 4*q - 7, -2*c - 6*q + 2*q = 2. Let x be j(c). Which is smaller: x or 27?
x
Suppose t + b - 11 = -3*t, 0 = -4*b - 20. Suppose 2*o + t = -4*a - 58, -3*a = -o - 26. Is -31 > o?
False
Suppose 94*a - 261 = 123*a. Which is greater: a or 307?
307
Let o = 1/181 - 4889/362. Suppose -21*t - 150 = 228. Let d be (-768)/54 + -1 + (-22)/t. Is d greater than or equal to o?
False
Let p(i) = 202*i - 200*i + 50 - 14 + 2*i**3. Let k be p(0). Which is greater: k or 35?
k
Let n = 88 - 193. Let r be 2 - (114/n + 3 + 0). Let g = 2 + -1. Is g greater than or equal to r?
True
Let t be 83/((-4648)/560) + 1*11. Do 6 and t have the same value?
False
Let r be ((-248280)/222984 - 4/(-38)) + 1. Is 1 >= r?
True
Suppose 3692*m - 3680*m = 1152. Suppose m = y + 93. Let x(j) = j**2 + 5*j + 3. Let w be x(-3). Is w > y?
False
Let z = -1.8 + 2. Suppose -2*c - 4*f - 194 = 0, -5*c + f = 162 + 378. Let q = c - -103. Which is smaller: z or q?
q
Suppose 0*f - 12 = 2*f. Suppose 602 = -5*b + 627. Let t be (-10 - f) + 0 + b. Which is smaller: -1/52 or t?
-1/52
Let s be (-26)/52*68/(4/2). Let j = 10 - 30. Does j = s?
False
Suppose 0 = 3*h - 5*v - 5 - 14, 44 = 5*h + 4*v. Let q = -2914.11 - -2914.1. Which is smaller: h or q?
q
Let a = 20.99 + 1.01. Let o(y) = -y**2 + 4*y + 7. Let i be o(5). Which is smaller: a or i?
i
Let h = -2/13053 + -1396661/65265. Which is smaller: -20 or h?
h
Let y = -1/41 - 119/164. Let i = y + -19/12. Is 6 at least i?
True
Suppose -2*t + 12299 = 12249. Suppose 3*b - 4*j = j + 82, -66 = -3*b - 3*j. Suppose u + b = 2*u. Are t and u unequal?
True
Let d = -24.372 - -18.372. Is 16/9 smaller than d?
False
Suppose -104*r = 18411 - 477779. Do r and 30920/7 have the same value?
False
Let o = -3 + 0. Let m = -93 - -463/5. Is o smaller than m?
True
Let d = -9 - -5. Let a(v) = -8*v - 4*v - v**2 - 13 - 7*v + 3*v**2. Let q be a(10). Is d >= q?
False
Let n be 2/(-3)*(-1)/(-4)*606/6. Which is smaller: n or -17?
-17
Let s = 180 + -105. Suppose 5*v - 3*h - s = 0, -2*h + 5 = 5*v - 45. Suppose m - 1 - v = 0. Is m at most 13?
True
Let r = 9.453 - -117.547. Let o = 1342.2 - 1215. Let p = r - o. Is p less than 1/47?
True
Suppose 0 = 177*h - 13*h - 7*h - 14915. Let r = -102 + 198. Is h less than r?
True
Let o be (-10)/(-45) + (-5)/(-180)*290980. Does 0 = o?
False
Suppose -41*s = 3*s - 14828. Which is smaller: s or 340?
s
Let k(c) = c**2 + 6*c - 7. Let v be k(-7). Let b = -482485258/69 + 6991032. Let r = b + 1508. Which is smaller: v or r?
v
Suppose -2*t + 2 - 206 = 0. Suppose -156 = 2*s - 4*u, 3*s - 4*u = 274 - 530. Do t and s have the same value?
False
Suppose -3*d + 1407 = 522. Let c = d + -59. Is 236 >= c?
True
Suppose -5*q = 4*o + 354, 18*q - 246 = 22*q - 3*o. Suppose -5*t + 3*l + 46 = 0, -28 = -3*t + 2*l - 0*l. Let f be (-2 - q/8)/(2/t). Which is smaller: 24 or f?
24
Suppose 0 = -3*a + 14*a - 44. Suppose -4*i = a*h - 16, 15*i = 10*i + 2*h - 8. Which is smaller: i or -18/31?
-18/31
Let l be 2*-15 + (1 - 2). Let g = 765 + -102. Let u be g/(-21) + 96/(-224). Which is bigger: u or l?
l
Let p(y) = -8*y**2 - 247*y + 776. Let z be p(3). Suppose -3*i - 128 + 14 = 0. Are i and z nonequal?
True
Let l be -2 - (-60)/5 - 4. Suppose -l*y + 26 = 92. Is y at least as big as -11?
True
Suppose 0 = -5*h + h + 3*k - 5, 12*h - 6 = 2*k. Is -34.15 at most h?
True
Let q be 2*1 + (110 - -9) - 3. Suppose 0 = 5*i - q - 2. Let t = i + -22. Do 5 and t have the same value?
False
Let f = 6 - -437. Let m = f - 596. Which is bigger: -1 or m?
-1
Suppose -2*f - 6 = 3*z, z = -3*f - 82 + 80. Let m = 536 + -371. Suppose m = -3*p - o, -p + o - 5*o - 44 = f. Is p not equal to -57?
True
Let r = 0.59 - 25.59. Let a = r - -25.8. Let f = 1 + a. Which is bigger: f or 0.3?
f
Let v be (84/105490)/((-9)/(-30)). Which is smaller: v or 1/4?
v
Let l = 54 - 43. Suppose -l*g + 385 + 11 = 0. Suppose -g*o + 152 = -40*o. Which is smaller: o or -40?
-40
Suppose -10*m = -18 - 132. Suppose -13*p - i - 304 = -m*p, 451 = 3*p + i. Is p >= 152?
False
Let w(k) = 104*k - 140. Let o be w(9). Let c be -6 + (o/266 - (-6 - -3)). Suppose -t = 3*t. Which is greater: t or c?
t
Suppose 3*r = -9, -3*r + 116 = 5*k - 5*r. Let b be (-2)/(-270)*18*(-10)/k. Let l = -4 - -6. Which is greater: l or b?
l
Let o be (3/((-1386)/84))/(2/44*-2). Let l = 1 - 1. Let i = l - -0.5. Which is smaller: o or i?
i
Let m = 19756 - 59371/3. Which is smaller: -0.053 or m?
m
Suppose 0 = -2*z - w - 328, -3*z - 5*w = -6*