(-24)*-15 + 331. Let h = 335 - o. Is 4/69 at least h?
True
Let i be (-30)/(-40) - 1/(-4). Suppose -i = y + 3. Let x be ((-4)/(-12))/(y/(-12)). Is -1/7 bigger than x?
False
Let u be 3/(((-650)/635 - -1)/(6 - 7)). Is u at most 139?
True
Let f be 9*(-6)/(1 - 0). Let v = -498 + 381. Let m = f - v. Which is greater: 64 or m?
64
Let f be 2/(-1)*420/8. Let c = -105 - f. Let d = -662 + 43028/65. Is d equal to c?
False
Let n(v) = 9*v + 18. Let l be (-40)/22 + (-6)/33. Let d be n(l). Is d at most -15/31?
False
Let p = -44351/7645 - -2/1529. Suppose 5*b + 20 = 5*l, 2*l = -2*l - 5*b + 34. Suppose -2*r + 5*c + 44 = -l*r, 0 = c + 4. Is r bigger than p?
False
Let z be (-104)/(-10) - (-2)/(-5). Let y = -16 + z. Let l = 4805 - 9623/2. Which is smaller: y or l?
l
Suppose -4*g - 415 + 83 = -4*k, g - 4*k = -77. Let u = -235 - -481. Let f be 5/15 + g/u. Which is smaller: f or 1?
f
Suppose 60*w - 106 = 61*w. Let k = 9 + -111. Let r = w - k. Is r bigger than -2?
False
Let j = 5244 - 5246. Which is smaller: -95/51 or j?
j
Let m = 39 - 28. Suppose 3*s + 4*a + 19 = -2, 4*s + a + 2 = 0. Are s and m unequal?
True
Suppose -73*w = -72*w - 160. Suppose -2*z - w = -146. Which is smaller: -8 or z?
-8
Let c = -154 - -160. Suppose -3 = 4*l - a, 1 = -2*l - 5*a - c. Is -8/7 > l?
False
Let p = -126.9 + 121. Let q = 6 + p. Let d be 48/15 + (-1 - 1). Is d <= q?
False
Suppose 4*p - 9 = -3*j, 4*p - 3*j + 6 = -j. Suppose 0*z = y + 2*z - 4, p = 3*y + z - 12. Let k be (y - 7) + 7 + (-8)/2. Which is bigger: 4/5 or k?
4/5
Let n(q) = 12*q - 79. Let i be n(10). Suppose -i - 7 = -6*z. Which is greater: 9 or z?
9
Suppose -39696 = 27*z + 11469. Let x = z - -7627/4. Is x at least 12?
False
Let u = 319310 + -319632. Let h be -214*(1 + 2/4). Which is smaller: h or u?
u
Let m(u) = 5*u + 32. Let f be m(-6). Suppose 8*t = 10*t - f. Let p = t + -1. Is 7/9 < p?
False
Let q be 87847/(-321) - 4/(-6). Is -278 < q?
True
Let h(b) be the first derivative of -14*b**2 + 90*b - 144. Let i be h(6). Which is greater: i or -1/2?
-1/2
Let w = 30 + -28. Suppose 7 = -3*a - 2*s, 4*a - s + w = 11. Suppose 31 = -3*z + a. Which is smaller: -6 or z?
z
Let g be ((-687)/133736)/((-3)/(-2)). Which is bigger: -16 or g?
g
Suppose 2*l = o + 17 + 26, 4*l + 2*o - 106 = 0. Suppose -4*i + l = -p - 3*p, 37 = 2*i + 3*p. Is -0.3 less than or equal to i?
True
Let v be 7/126*-6*-3. Which is smaller: v or -2/15855?
-2/15855
Let b = 0.25668 - 0.05668. Let n = 26 - 48. Is b < n?
False
Let f = -103968037928/97347197 - 9/1232243. Let s = f - -1068. Which is greater: 1 or s?
1
Let t be 5/(50/(-4))*835. Let a = t - -10355/31. Let n be (-13)/(-13) + -4 + 3. Which is smaller: a or n?
n
Let q(h) = -h. Let a be q(4). Let p be 10*a/3*27/18. Let z be (-27)/(-1)*(-4)/p. Are z and 6 equal?
False
Suppose 3*r + 64 = -4*a, 4*r - 8*a + 6*a + 56 = 0. Is -43 >= r?
False
Let a be 5/(-4 + (-57)/15*-1). Let c be (-4 + (-180)/a)/(4/30). Are 21 and c nonequal?
True
Let t be 903/(-49) - 3/(-7). Suppose 30 + 0 = -z. Let c be (-6)/4*8/(-20)*z. Are c and t non-equal?
False
Let i be ((-7056)/60)/(10/(-3)). Which is bigger: 36 or i?
36
Let f be 2/12 + (-82)/(-12). Let l be f - -3*(-96)/54. Which is smaller: 0.13 or l?
0.13
Let l = -8886 + 8886. Which is smaller: l or 106/311?
l
Let d(i) = -2*i**2 - i - 1. Let k(t) = 3*t**2 - 15*t + 2. Let f(b) = -2*d(b) - k(b). Let q be f(-17). Is q at least as big as -65?
True
Let s be (-1045928)/198240 - (1 - 6). Let i = s + 17/60. Is -1 greater than i?
False
Suppose -89*o = 91*o - 177*o - 12. Is -3.9 >= o?
False
Let o = -0.0008 - -258.0008. Let w = o - 269. Which is smaller: w or 0.1?
w
Let c = -71 + 501/7. Do c and 54 have the same value?
False
Let q be ((-3)/(-68))/(2/(-8)). Let l be (((0/2)/(-3))/1)/2. Suppose l = f - 5*f. Do q and f have different values?
True
Suppose -20*w + 9*w = 220. Let r be (-2 - (-34)/18)*24/w. Is 1 > r?
True
Let s(p) = 4*p - 74. Let z be 28/(-8)*(-6)/(-14)*-2. Let i be s(z). Is i greater than -2?
False
Let p be 622/4 - (-5)/(-50)*5. Let z = -141 + p. Suppose -2*j - 9 = -39. Is z bigger than j?
False
Let c(v) = -2*v**2 + 7*v - 3. Let g be c(6). Let w = 143 + g. Let x be 98/w - (-8)/(-10). Which is smaller: 1 or x?
x
Let y = 2/242189307 - 2695593896875/5085975447. Let a = y - -530. Which is smaller: a or 1?
a
Let n = 133/9 + -257/18. Let l = -17.53 - -1.53. Are n and l unequal?
True
Let q = -157/231 - -1/77. Let o be (-207)/(-63) + -3*(-2)/(-21). Which is greater: q or o?
o
Let i = -0.05 - -0.85. Let h be ((-6)/(-9))/((-2430)/607 - -4). Let f = 203 + h. Is f <= i?
True
Let m be (-1)/(((-1)/2502 - 0)*-3). Let w = m - -17512/21. Which is smaller: w or 25?
w
Suppose -a + 5*y = -1662, 2*a = 3*a + 3*y - 1646. Suppose a = 11*i - 4*i. Is 235 less than or equal to i?
True
Suppose 4 = f + 2. Let j be 10 + (-8)/f - -4. Suppose -2*g + 3*c = 45, 2*c + 0*c = j. Which is bigger: g or 0?
0
Let t = -160.33 + 23.23. Let w = t + 137. Is w smaller than 213?
True
Suppose 3*y = 5*z - 20, 4*z - 30 + 14 = 3*y. Let j be z/(-71)*-7*15/210. Are -4 and j nonequal?
True
Suppose 2*k - 3*b = 47, 5*k + 2*b + 52 = 160. Let h(n) = k + n - 1 + 20. Let t be h(-22). Is t at least as big as 17?
True
Suppose -209*b = -211*b + 2*d + 14, 0 = 4*d + 4. Is -2 greater than b?
False
Suppose 3*v - v - 118 = -3*t, -2*v + 5*t + 86 = 0. Suppose -2650 + 5093 + 10031 = 231*c. Is c > v?
True
Let s be ((-54)/(-8))/(-3)*4/(-3). Suppose -2*h + 11*k - 13*k = -82, s*h - k = 119. Which is smaller: -8 or h?
-8
Let q(f) = -144*f + 238. Let x be q(32). Which is smaller: x or -4369?
x
Let p = 1.3 + -0.3. Let u = -188.8 - 59.2. Let r = u - -259. Are p and r equal?
False
Suppose -q = 130 - 124. Let j = -8 + -3. Let b = 3 + j. Which is smaller: b or q?
b
Let p = 64133 + -62963.925. Let h = 1157 - p. Let u = 0.075 + h. Is -1/5 smaller than u?
False
Suppose 2*w - 5*g = -3*w - 730, 0 = 3*w - g + 438. Let y be (1/(w/(-9)))/(10/100420). Let z = 619 - y. Which is smaller: z or 0?
z
Suppose -221030 = -12*j + 7*j + 67*j. Which is smaller: j or -3564?
j
Let q be (-19 - 1)*(-2)/4. Let j be -2 + (1 - 1390/15). Let s = 1247/12 + j. Is s not equal to q?
True
Let z be 29*(-3)/2*((-205)/(-30) + -7). Which is greater: z or 7?
z
Suppose -333 = -3*o + 5*l, -l + 171 = 2*o - 64. Let s be 6/(-8) - -1 - (-10643)/o. Is s <= 94?
True
Let g(s) = -26*s + 90. Let m be g(-6). Are m and 244 unequal?
True
Let r be 12/(-3) + (-5130)/(-990). Which is smaller: 1 or r?
1
Let f = -159/2 - -66625/838. Suppose -61*k + 56*k + 5 = 0. Do f and k have the same value?
False
Let x = -121 - -112. Suppose z - l = 3*l - 3, -z + 5*l = 4. Suppose 6*t = 13 - z. Is x less than or equal to t?
True
Suppose o + 242 = -2*m, -5*o = -0*o - 2*m + 1222. Let h = 55 + o. Is -189 smaller than h?
False
Let m be (-1)/(5/7)*-5. Let o be (0 - 48/56) + (-1)/m. Is o at most as big as -1.4?
False
Let k = -18050 - -16132. Which is smaller: 1 or k?
k
Let l = -2.48953 + 0.07953. Which is smaller: -0.04 or l?
l
Let h = 2041 + -1762. Is h less than or equal to 275?
False
Let i be ((-9)/18)/((-3)/(-1410)) + -3. Let z = i + 89. Does -149 = z?
True
Let u = 218 + -143. Suppose 5*l - 1 + 4 = -a, -5*l - u = -5*a. Suppose 9*i - a*i = 0. Is i > 1/2?
False
Let j(s) = s**3 + 3*s**2 - s + 4. Let x(z) = 2*z**2 + 26*z - 5. Let v be x(-13). Let b be j(v). Is -1 at most as big as b?
False
Let l be -1*(-2)/(-24)*(10 + 0). Let s be (-3)/2*(-100)/6. Suppose -r + 3*o = -0*o + 15, -r + 5*o = s. Does r = l?
False
Let f = -15918 - -14722. Is 6 at least as big as f?
True
Let s(z) = -17*z - 173. Let b be s(-24). Let t be (-282)/b + 4/5. Let x = 0.17 + -12.17. Which is greater: t or x?
t
Let c = 12.8 - -0.2. Let i = 197 + -208. Let b = i + c. Is b greater than 8?
False
Let w be (24/(-42))/(-8 - -2). Let l = -251 - -401. Let g be 8/((-320)/l) + (-4)/(-1). Is w bigger than g?
False
Suppose -36*n = -9150 + 2922. Let q = n - 174. Is q bigger than -1/23?
False
Let b = 965 - 1018.9. Let c = 54 + b. Which is smaller: c or 15?
c
Let i = 100.1 + -101.8. Are -9/20 and i equal?
False
Let w = 3/13978 - -19017/9085700. Which is greater: w or 1/5?
1/5
Let k = -26080 + 912297/35. Let p = -95/7 - k. Suppose -2*c - 35*i + 39*i = 2, -2*c + 1 = -i. Is p > c?
False
Let l(n) = n**3 + 26*n**2 + 2*n + 50. Let w be l(-26). Let p be w/7 - (-1040)/3822. Is p at most as big as -1?
False
