 at least as big as 2378?
True
Let y be 2*2/12*55/((-11153780)/88). Which is bigger: -0.1 or y?
y
Let f = 4024 - 4023. Which is smaller: -383.9 or f?
-383.9
Let k = -2 + 1. Let s = 6 + k. Suppose 0 = 182*w + 556*w + 3690. Which is bigger: s or w?
s
Let t be (-2)/(-12) - (12190/60 + 22). Which is smaller: t or -51?
t
Suppose 13 = b + 2*d, -3*b - 7 = d - 31. Let z = 2 - b. Let j = -16718 + 16713. Is j >= z?
True
Let z = -579 - -405. Let i = 175 + z. Which is bigger: -0.03 or i?
i
Let n = -1706536/12585 - -2/2517. Is -137 >= n?
False
Let h be -8 - (-1352)/12*3. Let d = 338 - h. Which is smaller: 7 or d?
7
Let v(j) = 74*j**3 - 3*j**2 + 8*j - 9. Let u be v(2). Which is greater: u or 591?
591
Let u = -166280399/3432 + 48450. Which is bigger: 1 or u?
1
Suppose 0 = 13*c + 511 + 5378. Let g = c - -444. Is g at least -7?
False
Let b be 2/(-4)*1354/(-4). Let j(k) = -k**2 - 25*k + 122. Let p be j(-23). Let w = b - p. Is 2 smaller than w?
False
Suppose 11*t - 2106 = -41*t - 29*t. Let m(l) = 5*l**2 + 3*l - 2. Let y be m(2). Is t bigger than y?
True
Let o be (-77)/(-308) + 139/4. Suppose a - o = -2*y, -5*a + 94 = 4*y - 51. Is -0.2 <= a?
True
Let b be 1 - 22/10 - -2. Let f = -0.06001 + 2.96001. Do b and f have the same value?
False
Suppose 5*t = 3*h + 11, -t - 8 = -h - 3*h. Let n = 76322850/10502107 - 3/617771. Let c = n + -37/17. Are t and c unequal?
True
Suppose 18*g = 3*g - 15. Let f(w) = -10*w - 3. Let c be f(g). Suppose 0 = 3*a - 7*a + 32. Is c greater than or equal to a?
False
Suppose 3*v - 5*w = -652, -5*w = -2*v - 486 + 43. Let q = 201 + v. Let u = 10 + -17. Is q <= u?
True
Let v = 118026 + -23841201/202. Is 1 < v?
False
Let p be (800/392 + (-3 - -1))/(-2 - -1). Let g = 5 - 6. Which is bigger: p or g?
p
Let r = 9359/92 + -433/4. Which is smaller: r or -7?
-7
Let w = -768 - -455. Let s = w - -313.1. Which is greater: s or 0.6?
0.6
Let a = -20935 - -20938. Which is smaller: a or 25/37?
25/37
Let u be (-3)/((12/32)/1). Let j = -4 - u. Suppose 5*q - q = -j*i - 60, 4*i - 2*q = -84. Which is smaller: i or -18?
i
Let w be 10 - ((-164)/(-8) - (-380)/(-38)). Which is bigger: w or 81.96?
81.96
Let p = -55 - -41. Let d(r) = 6*r + 58. Let o be d(p). Let g be (-116)/o + (-7)/((-28)/(-16)). Which is smaller: 1 or g?
g
Let b = -8445 + 42013/5. Let i = b + 161/5. Let v = -209/20 - i. Which is smaller: 1.4 or v?
v
Suppose 3*q + 2*q = 4*o - 30, -23 = -5*o - q. Suppose 2*k + 4*r = -30, -2*r = -o*k - 6*r - 93. Let z(m) = m**3 - 7*m**2 + 6*m - 1. Let l be z(5). Is k < l?
False
Suppose 3*k = d + 8, -241*d - 8 = -k - 242*d. Which is bigger: k or -610?
k
Suppose -3 = -2*g - 1. Let h = -2.91 - -1.1. Let p = h - -11.81. Is g at most as big as p?
True
Let j = -4.3001 - -1.3001. Let m = -42.8 + 47. Are m and j nonequal?
True
Let r(z) = 309*z - 180 - 287*z - 56 - 143. Let h be r(14). Let l = 55 - 125. Which is smaller: h or l?
h
Let l = 3 + -6. Let j = l - -3.1. Let i = -56911 - -284546/5. Which is smaller: j or i?
i
Let a = 68.79 + -68. Let r = -1.79 + a. Let p be 34 + ((-9)/(-3))/(-3). Which is greater: p or r?
p
Let q = -14261447/3 + 142693453/30. Let n = 2633 - q. Is n bigger than 1?
False
Let k = 7 - 11. Suppose 2*j - y = 6*j - 5799, -3*j + 3*y = -4338. Let o be 126/j - (1 - 693/(-299)). Is k less than o?
True
Let w(k) = -k**3 - 28*k**2 + 26*k - 87. Let u be (-1632)/51 - -3*1*1. Let l be w(u). Which is smaller: -1/238 or l?
-1/238
Let j(a) = 3*a**3 + 6*a**2 + 7*a - 4. Let z be j(-2). Let x be z/(-20)*(4 - 644/105). Is -1 less than or equal to x?
False
Let i(d) = 99*d + 1. Let n be i(1). Let x be (1 + 39/(-12) - (-323)/136)*114*7. Is n greater than or equal to x?
True
Suppose 397*q - 62125 + 138451 = -92796. Is q < 23?
True
Suppose 2*i - 4*n = 58, -5*i + 2*n + 0*n + 153 = 0. Let w = 30 - i. Which is smaller: 3/91 or w?
w
Suppose 8*r = -33*r - 41. Let w = -39 + 23. Let k = -19 - w. Does k = r?
False
Let b = -1417/221892 - 2/1681. Suppose -141*l + 142*l + 16 = 4*q, -3*l - 4*q = -16. Is l at least as big as b?
True
Let j be (2 - 55/20)/(3/636). Is -1420/9 at most j?
False
Let q = -10779 + 8592. Which is smaller: -2183 or q?
q
Let m = 36 + -143/4. Let c = 137 - 26. Let o = 89 - c. Which is smaller: o or m?
o
Let u = -119 + 97. Let h be (-64)/u + -5 + 2. Do -4 and h have different values?
True
Let w be (-214)/749*(-14)/52314. Which is smaller: 1 or w?
w
Suppose -7*d + 5*d - 4 = 0. Let c be 0*(-4 + (-7)/d). Let z = 9/20 - 163/140. Which is smaller: z or c?
z
Let c = 0.04483 - -0.23517. Which is greater: -0.1 or c?
c
Let p = 3 + 7.9. Let s = 11 - p. Suppose -2*l - 200 = -4*x, -4*x = l - 239 + 51. Which is smaller: x or s?
s
Suppose 4*p - 24 = 4*y, 0 = 5*p - 2*y + y - 10. Let m = -3318 + 295304/89. Which is smaller: p or m?
m
Let i = -9405 - 2680. Is i >= -1?
False
Let f = 378881/2262 + 2/1131. Let z = 173 - f. Let j = -7 + z. Is -3 bigger than j?
False
Let m = -27 - -47. Let a = 21.8 - 11.8. Let s = a + m. Which is bigger: 2/5 or s?
s
Suppose -140*f - 20 = -136*f. Let b be 3/f - (-405)/(-75). Which is greater: b or -9?
b
Let v be (2 + -1)*(-7 + 7). Let o = -1 - -30. Suppose v*i - o = -i. Is 30 bigger than i?
True
Let x be ((-1265)/(-92))/11 + (-139)/116. Which is smaller: -1 or x?
-1
Let i be (-2)/(-4) - 25/58. Let x = 1797 + -1789.09. Let d = 5.91 - x. Which is smaller: d or i?
d
Suppose 3*n + 87 = 4*y, -4*n - 2*y - 176 = -60. Let h(a) = -4*a**2 - 116*a + 18. Let d be h(-29). Let r = d + n. Which is greater: r or -1?
-1
Let p = 0.3532 - -0.9468. Do -91 and p have the same value?
False
Let b = 2/8613 - 87628/6451137. Is b at least 0?
False
Let d be 0 + -9 + 959567/106617. Which is smaller: -1 or d?
-1
Let b = 31.24 - 34.24. Which is smaller: b or 5/56?
b
Suppose 3*h - b - 4 = 0, -2*h - 3*b + 10 = -0*h. Let c be ((-12)/20)/((-36)/60) + -5. Are c and h equal?
False
Let d = 62.8 + -68.8. Which is smaller: -5/38 or d?
d
Suppose 15*u + 9 = 18*u. Suppose -2*l = -4*c - 776, -u*c + 577 + 1376 = 5*l. Let s be (-4)/(-26) + 10730/l. Is 27 at least s?
False
Let w be 3 - 10*21/(-66). Let q be (0 - -4)/(4/6). Is q equal to w?
False
Suppose 0 = f + 5*l - 16, 3 = 3*f + l - 45. Suppose 12*q - 11*q = f. Let u be (4/q)/((-3)/(-2) - 2). Which is bigger: 12 or u?
12
Let y be (910/156 - (-5)/(-6)) + -2574. Is -2570 greater than y?
False
Suppose 0*w + 13 = -4*w - d, w = 3*d. Is -13 at most as big as w?
True
Let o = 65180 - 2802932/43. Let f = o - 3/86. Which is smaller: f or -4?
f
Let g = 11 + 47. Let v = g + -105. Let c be (-128)/252 - 6/(-27). Are c and v nonequal?
True
Let x = 125 - 125. Suppose g = 2*z, 0 = 6*z - 9*z - 6. Which is bigger: g or x?
x
Let q be ((-11)/(-24))/(-6 - 652/(-108)) + -3. Which is bigger: 8 or q?
q
Let x be (-108)/(-15900)*15/99. Is x != 0?
True
Suppose 0 = 29*x - 28*x + 59*x. Is x at most as big as -59/63?
False
Suppose 0 = -5*a + 4*a - 162. Let l = -36 - a. Which is greater: 124 or l?
l
Let t(q) = 25*q**3 + 2*q**2 - 14*q + 18. Let f be t(4). Let g = -84478/53 + f. Is g at most as big as 0?
False
Let n(y) = y**3 - 2. Let i be n(0). Let j be (-14)/48 - -9 - 8*20/16. Which is bigger: i or j?
j
Let u = 7141 + -7141. Which is greater: -1769 or u?
u
Let b = -675.489 - 0.511. Let n = -674 - b. Do n and 17 have different values?
True
Let o(l) = -l**3 + 9*l**2 - 3*l + 27. Let b be o(9). Suppose b = -116*g + 121*g + 10. Let u(n) = -n. Let k be u(3). Is k > g?
False
Let q be (3420/(-133))/30*(0 + 55434/9). Is q < -5278?
True
Let j(f) = -f**2 - 13*f - 37. Let r be j(-8). Suppose -r*p + 5*d + 287 = 0, -5*p + 495 = -7*d + 2*d. Let v = 207/2 - p. Which is greater: 0.02 or v?
0.02
Let v(i) = 25*i + 72. Let x be v(-8). Is -108 at least as big as x?
True
Let w be (549/5490)/((-1)/((-145)/(-3))). Which is smaller: -0.25 or w?
w
Let d be 11/10 - 26/(-260). Suppose -6 - 5 = -b. Suppose 0 = b*f - 10*f. Which is bigger: d or f?
d
Let b = 4651 + -5892. Which is smaller: -1246 or b?
-1246
Let a = 5.13 + -2.09. Let o = a - 4.04. Which is smaller: o or -495?
-495
Suppose w + 5596 - 2776 = 13*w. Is w < 233?
False
Let q be -1*10/15 + 0. Which is greater: 2/497 or q?
2/497
Let c be 74/1147 - 7514/(-775). Is c at least 11?
False
Let l = 18704866175/592043 + -62705024404046617/1958252675617. Let j = l - -2/472517. Let i = 425 + j. Which is smaller: i or -2?
i
Let q = -1765/29 - -8918313/146537. Is -1 sm