n = -230836/5 - d. Let s = 397 + n. Which is bigger: s or 0?
0
Let j = 0.1514 - 4.5014. Are j and 2 nonequal?
True
Let l = -58101 - -58102.15. Let j = 0.3 - 0.4. Which is bigger: l or j?
l
Let h(g) = -31*g**3 + 2*g**2 + 595*g - 597. Let t be h(1). Let f be 73/2*(-1 + -1). Let c = 42 + f. Is c bigger than t?
False
Let y = -182.3209 + -0.6791. Which is smaller: 9 or y?
y
Let g = 128175 - 128912.137. Let x = g + 737. Do x and -2/5 have the same value?
False
Let y(l) = -l**3 - 7*l**2 - 7*l - 44. Let a be y(-7). Suppose -3*d + 33 - 100 = -a*b, -161 = 5*d + 4*b. Suppose -3*u = -7*u - 124. Which is bigger: u or d?
d
Let r = -9 + 13. Suppose -u + 20 = r*l, 0 = -5*l + 3*u - 2 + 10. Let s be 141/6 + 2/l. Which is smaller: 23 or s?
23
Let f = 218 + -217. Suppose 4*u = -d - 5, -d - 2*u = -4*u - f. Which is bigger: d or 3/101?
3/101
Suppose 3*m = b + 19, -5*m + 4*m - 3*b = 7. Suppose -3*a - 18 = 3*h, 4*a = m*h - 7 + 28. Is -2/849 equal to a?
False
Suppose 1100*h - 4931 = -4*j + 1103*h, -2*j + 2455 = -5*h. Do 4935/4 and j have the same value?
False
Suppose 0 = -5*l + 9*l - o + 771, -2*o = 5*l + 954. Let n be 1512/l - (-1)/(-8). Does n = -8?
True
Suppose -4*q = -4*w + 264, q - 5*w + 62 = -2*w. Let t be q*((-1)/2 - 1). Suppose -4*p - 10 = t. Which is bigger: p or -27?
-27
Suppose 0 = -4*u - 12*u + 2016. Let s = 126 - u. Suppose -3*v = 12 - 78. Which is greater: v or s?
v
Let p = -28197 - -56389/2. Is p != -448?
True
Let u be (55 + (-29458)/(-44))*(-16)/66. Which is smaller: -176 or u?
-176
Let f = 7558/63 + -4204/21. Is -81 != f?
True
Suppose 9*p = -4*p - 195. Let j be p/(-30) - (-12)/(-16). Let z = -17.98 - 0.02. Which is greater: z or j?
j
Let u = 546124885/14091 + -38757. Which is greater: -1 or u?
u
Let x = -425 + 476. Let f = -2.2 + 2. Which is smaller: x or f?
f
Let j = 589.26 - 584. Let h = 55.26 - j. Is h at most as big as -3?
False
Let p be (-21)/2058*14 - (-30158)/14. Is p at most as big as 2156?
True
Let o = -12 - -178. Let m = o + -166.2. Which is smaller: m or -58?
-58
Let x be 4 + -4 + 1/(-3). Let g = 63 - 61. Suppose 2*w = -3*u, -g*u - 4*w = -2*w. Does u = x?
False
Let q = 288 + -223.5. Let j = q - 55. Let y = 8.1 - j. Is y bigger than -3/4?
False
Let h = 352.28 + -354. Let k = h + 3.22. Which is bigger: 1.1 or k?
k
Let r = 36628 + -36616. Which is greater: r or 0.02?
r
Let g = -10816 - -10816.1. Which is smaller: -2/23377 or g?
-2/23377
Suppose 13*p - 40938 - 55886 = 0. Which is smaller: 7447 or p?
7447
Let d be -5 - -5 - (-248 + 0). Let f be d/16*(0/(-2) + 2). Suppose -x = 3*u + 2*u + f, 5*x - 3*u + 15 = 0. Is -6 bigger than x?
False
Let j = -306 - -212. Let r = j - -93. Let m = -19 + 7. Are m and r nonequal?
True
Let y = -3/2441 + -307533/26851. Let v = y + 12792/1111. Do 0 and v have the same value?
False
Suppose 5 = w, 0 = s - 2*w - 0 + 13. Let d(n) = -5*n**2 - 6*n - 4. Let l be d(s). Is 5 >= l?
True
Let v = 4 - 0. Let f be 93/15 + -6 + 24/5. Suppose m - f*w = -4*m, 2*m + v*w + 6 = 0. Which is smaller: 1/37 or m?
m
Let f be -17 - -16 - (-1)/7*471. Let b = -16711/252 + f. Let t(v) = v**2 - 4*v - 1. Let d be t(4). Which is bigger: b or d?
b
Let h(c) = -c**2 + c + 17. Let x be h(0). Let j(m) = 10*m + 98. Let v be j(-8). Let z = v - x. Which is greater: z or -4/13?
z
Let f be 20/(-350)*(-10)/3. Let o = f + 22/105. Is -0.036 greater than o?
False
Let h = 532099003/117 - 4548121. Let r = h - -3138/13. Which is smaller: r or -24?
r
Let h = 2 - 2. Let d = -23871302/127 - -187963. Which is bigger: h or d?
h
Let a = 3657 - 3657.09. Is a bigger than -1/67?
False
Let x = -4053/748 + 312/187. Which is bigger: x or -3?
-3
Suppose -5*a + 194 = 2584. Is a bigger than -477?
False
Let x be (42/16)/((-12)/(-40)). Suppose 0 = 82*p - 92*p + 540. Suppose -p + 46 = -a. Which is greater: a or x?
x
Let j = 0.1981 + 0.1019. Let w = -32 - -30.7. Is w <= j?
True
Suppose -2*y + n + 6 - 7 = 0, -4*y - 3 = -n. Let r be ((-44)/5500)/(2/12*y). Which is bigger: r or -1?
r
Let w be 2*4/((-32)/(-68)). Suppose 2*l + 12 = 2*r + 4*l, 3*l = -4*r + 26. Let c = 26 - r. Is c < w?
False
Let f = -510 + 511. Let k(w) = 31*w**2 - 2*w - 4. Let h be k(-3). Let i = h + -6181/22. Is i at most f?
True
Let q(m) = -45*m - 312. Let o be q(-7). Let r(k) = -75*k + 17. Let a be r(o). Which is smaller: -209 or a?
-209
Let n = 85 - 84.51. Let a = -0.4 + -18.11. Let z = a - n. Which is smaller: -2 or z?
z
Let a = 1/14 - -2/21. Let j = -1545.85 - -1536.85. Which is bigger: a or j?
a
Let p = 12 + 5. Let k be (-41 + 41)/(7 + 4). Which is smaller: k or p?
k
Let o(w) = -6*w**2 - 22*w - 41. Let r(a) = -5*a**2 - 24*a - 40. Let m(g) = -6*o(g) + 7*r(g). Let v be m(37). Let h = -17/5 + 31/5. Which is bigger: h or v?
v
Let c(b) be the second derivative of -13*b**3/3 + 21*b**2/2 + 43*b. Let w be c(2). Is -31 != w?
False
Suppose 5*c = 682 + 213. Is c > 1250/7?
True
Let a = -145 - -148. Suppose -3477 = 2*z + 3*r, 0*z - 3*r = -a*z - 5193. Let p be (-15594)/z - 4 - 5. Which is smaller: p or 1?
p
Suppose 0 = -4*h - 19 + 19. Suppose h = -33*p - 4 - 29. Let j(z) = 3*z - 2. Let q be j(-2). Which is greater: q or p?
p
Suppose -53 = 4*u - 5*t, 0*t = -2*u + 2*t - 26. Suppose g + 11*g - 60 = 0. Suppose -52 + 2 = g*v. Is v not equal to u?
True
Suppose -4511 = 83*o + 6030. Which is bigger: 28 or o?
28
Suppose -1258 = -46*s - 1212. Let r = -2 - -3. Is r less than or equal to s?
True
Suppose -55 = 9*l - 91. Let m be (l/(-8))/((-352)/(-1536)). Let a = 24/85 + 2/17. Is a greater than m?
True
Let u be ((-285)/(-171))/(5/(-30)). Let t = -2693033/225 + 11969. Let o = t + -2542/225. Which is smaller: u or o?
o
Suppose 0 = 3*y + 4*f + 33 + 27, 52*f = -y + 54*f. Let m = 7/136 - 1537/136. Which is greater: y or m?
m
Let u be (-431731)/581766 + (-12)/(-18). Let g = -2/2063 - u. Is g <= 1?
True
Let m be (-342)/152 + 3 + 9/(-4). Is 17 <= m?
False
Let t(l) = l**2 - 86*l + 1574. Let z be t(81). Do z and 1169 have the same value?
True
Suppose -19*o = -11*o + 104. Let b be 9/(-12)*o/39. Which is smaller: -38/7 or b?
-38/7
Let g be (-16)/352*-11 + 25603/2. Is g bigger than 1?
True
Let i be ((-138)/(-8))/(45/1320). Suppose 499*q = i*q. Which is smaller: -3/145 or q?
-3/145
Let u = 173 + -166. Suppose 0 = u*d - 20 + 13. Which is bigger: 11/5 or d?
11/5
Let b be ((-44)/16)/((-735)/70). Is -1 at least b?
False
Suppose -59*b + 75*b - 21104 = 0. Which is smaller: 1317 or b?
1317
Let y = 5066 + -2300. Suppose -27*o - 744 = y. Which is smaller: -132 or o?
-132
Let l = 819492/144929 + 23753855042/4791207811. Let j = l + 8/2543. Are 12 and j nonequal?
True
Let d = -112.803 + 55.803. Let u be (-14)/6 + (-6)/(-3). Which is smaller: d or u?
d
Let a = -6860129/46165 + 2/9233. Suppose j + j - 297 = m, -j = 4*m - 144. Let n = j + a. Do 0 and n have different values?
True
Let r = 279.5 - 234. Let m = -45.465 + r. Which is smaller: m or -0.2?
-0.2
Let h = 189 + -123. Suppose 0 = -2*o - 2*o - 2*g + h, o - 12 = -5*g. Let k = -21 + o. Is -2 less than k?
False
Let s = 37 - 42. Let q = -14.905 - 0.095. Let b = q - -24. Are b and s non-equal?
True
Suppose 23*m + 17 = 40. Is 2/939 >= m?
False
Suppose 2318 + 1439 = 3*n - 4*x, 2*n = -x + 2490. Is 1246 equal to n?
False
Let b = 14.77 + -648.77. Let d = -664 - b. Let h = -8 - -6. Which is smaller: d or h?
d
Let a = 445/32 - 7693/544. Which is bigger: a or 0.054?
0.054
Let o be (-2 - -8)*(440/(-16))/(-5). Suppose -94 = 2*l - 32. Let p = o + l. Which is greater: p or 3?
3
Let w = -22/1571 + -4669/3142. Suppose 4*t + 4*s - 32 = 0, -5*t - s + 11 = -3*t. Suppose 0 = t*u - 6 - 3, 2*k = -5*u + 13. Are k and w unequal?
True
Suppose 4*i = -5*s + 285 + 6719, -10470 = -6*i - 3*s. Which is greater: i or 1740?
i
Suppose 5*b + 18 = k - 21, 0 = -3*k + 12. Let z be 14/10 - b/((-280)/16). Is z less than 2/203?
False
Let l = -1942 + 1800. Does l = -148?
False
Let k = -50 - -124. Let z be (-11)/(-33) + k/48. Is z not equal to 2?
True
Let x(s) = 5*s**2 + 21*s + 153. Let k be x(-7). Let f = k - 203. Is 48 >= f?
True
Let s be (6 + -1 - 10) + 3/1. Is 109 at least as big as s?
True
Let u = 207066 + -207055.9763. Let c = -0.0237 + u. Is c at most 1/19?
False
Let b = 39 + -33.6. Let h = -3 + b. Let z = -6504.1 - -6504. Is z greater than or equal to h?
False
Let h be ((-33)/42)/((-8)/288 + 0). Is 29 at most h?
False
Let j be (11/(-30) + 8/(-60)