be 0*(-1)/(-6) - 0. Let p = -41 - -227. Suppose a = -s - 5*s - p. Is s equal to -1?
False
Let x = -502 - -507.1. Let f = -5.02 + x. Is 1 smaller than f?
False
Suppose -j + 3*r + 185 = 10, -2*j - 5*r + 383 = 0. Suppose -13*o = -50 - j. Is 15 less than o?
True
Let h(l) = l**3 - 7*l**2 + 10*l - 16. Let c be h(6). Suppose -2*u - c*u = -u. Is -1/43 <= u?
True
Let o(c) = 15*c + 87. Let h be o(-24). Let g = 274 + h. Which is bigger: 88 or g?
88
Let m = -172.66 - -172. Let i = -13.66 - m. Which is smaller: i or 6?
i
Suppose a + r = -195, 2*r - 139 = a + 62. Let f = a - -197. Which is bigger: f or -3/50?
f
Let z(x) = -x**2 - 158*x - 1482. Let a be z(-148). Suppose 2*p = -2*k + 12, -p = 4*p - 15. Which is bigger: a or k?
k
Let k = -10 - -28. Let w = -2260 - -1578. Let s = -684 - w. Is s >= k?
False
Let b = -17723/73073 + 19/77. Which is smaller: b or 0?
0
Let t be 2*41*73/146 + 8. Is t at most as big as 51?
True
Let b = -294 - -307. Suppose 0 = 9*d + 140 + b. Is -18 at most as big as d?
True
Let r = 2704 + -2710.156. Let w = -0.156 - r. Is -3 at most w?
True
Suppose g + 25 = 4*r, -2*r + 5*g = -25 - 10. Suppose r*a + 100 = -b + 2*a, b + 92 = -5*a. Let x = b + 239/2. Which is bigger: 0 or x?
x
Let r = 161.2342 + -161.3. Which is smaller: 0.3 or r?
r
Suppose -3*f - 2*a = -4*f - 8, -3*f - 4*a = -26. Suppose -2*k = -5*r + 11 - 37, f*r - 36 = -5*k. Let w = -0.16 + 0.06. Is w at least as big as k?
False
Let b = 174 + -150. Let d be 1 + 0 - 31/b. Which is bigger: 1 or d?
1
Suppose 19 = -3*l + 4*n, 0 = -l + 9*n - 8*n - 5. Is -56/699 < l?
False
Suppose 87 = r + 2*r. Suppose k = 5*s - 122, 9*s - 6*k = -k + 210. Which is smaller: s or r?
s
Let v = -244713/892936 + 1/12232. Let f = -6514/24309 - v. Is f >= 1?
False
Let t = 0.0239 - 0.1239. Is t equal to -16096?
False
Let j = -1436/43 - -5046/473. Is -23 smaller than j?
True
Let a be -5 + (4 - (-2 - -4)). Let b = a + 9. Suppose -v - b = -12. Which is smaller: 8 or v?
v
Let u(y) = y**3 - 15*y**2 - 15*y - 40. Let r = 47 - 31. Let d be u(r). Is d at least -24?
True
Let n be (-54)/315648*8*(-4)/(-10). Which is smaller: n or -1?
-1
Let v = 3407 + -3265. Which is smaller: v or 140?
140
Let w(j) = 13*j - 19. Let r be 6/(-16)*-4*(-4)/(-2). Let g be w(r). Suppose -15*u + g*u = -20. Which is smaller: -6 or u?
-6
Suppose k - 35 = -4*r + 1, -2*k = -5*r + 45. Suppose h + 6 = 5*w, 0 = 4*w - 8*h + 3*h - r. Which is greater: w or -3/65?
w
Let u = 349 - 33859/97. Let f be ((0/39)/(-51))/(-1 - 3). Which is greater: f or u?
f
Let s(z) = 5 + z**2 - 2*z**2 + 4 - 8*z + 2*z**2. Let a be s(7). Let q be 0 + (2/3)/(a/3). Which is smaller: -4/9 or q?
-4/9
Suppose -5*s = 3*a + 955 - 4267, 0 = 3*s + 2*a - 1986. Is 1999/3 != s?
True
Let g be (-7)/49 - (-594)/42. Suppose -g*x - 7*x - 147 = 0. Is -9 > x?
False
Suppose -94 - 193 = -41*h. Suppose o = -3*g, -9*g = -h*g + 3*o. Which is bigger: g or 8/47?
8/47
Let q = -150 - -201. Let j = -70 + q. Which is greater: -18 or j?
-18
Suppose -3*b - 29*b = 8*b + 34240. Which is smaller: -1 or b?
b
Let v = 14276 - 9441. Does v = 4835?
True
Suppose 1212 = -2*p - 2*t, -p + 2*t = 609 - 12. Which is bigger: -1 or p?
-1
Suppose -1346*m = -1323*m + 23. Let q = -4.04 + 0.04. Let y = q - -7. Is y less than m?
False
Let w be 2/(-4) + 2/8. Let c(n) = 9*n + 76. Let g be c(-7). Suppose -14*b = -g*b - 1. Are w and b nonequal?
True
Let h = -3 + 8. Suppose -4*i - 2*i = -132. Suppose -41*z + i = -39*z. Which is bigger: z or h?
z
Suppose -2*c = -5*a - 1, -4 = 4*a + 2*c - 14. Let b(s) = -77*s + 3. Let z be b(0). Suppose -5*m - z = -3*f, -3*f + 3 = -0*m - m. Are f and a equal?
True
Suppose -w = w - 102. Suppose -2*y + 17 = w. Let v = 352 - 367. Is y at least v?
False
Let b be (-1)/(-6)*3 - (-155)/(-186). Does 6690 = b?
False
Let c = 16918 + -16917.9. Which is smaller: c or 1/2646?
1/2646
Suppose 0 = 4*g - 25*n + 26*n - 12006, g - 2991 = 5*n. Which is smaller: 3002 or g?
g
Let y = 48.6 - 17.8. Let z = -35.8 + y. Is z > 6/23?
False
Let y = -647 + 1778. Let g be 4/(-26) + (-21)/y. Suppose 5 = 6*x - x. Is g bigger than x?
False
Let k = 1722/235 + -367843/43240. Let p = -39/23 + k. Is p at least as big as -4?
True
Suppose -3*n = -3*z + 75, 2*z - 28 = -2*n + 18. Let t(p) = p**2 - 28*p + 58. Let m be t(z). Is m <= -34?
True
Let b(o) = 29 - 195*o + o**3 + 0*o**2 - 5*o**2 + 187*o. Let t be b(6). Which is smaller: t or -5?
-5
Let c = -7234135/79 - -91573. Which is bigger: c or 3?
3
Suppose -v + 6*u - 9*u + 898 = 0, 3553 = 4*v - u. Let r = 872 - v. Is r < 14?
True
Suppose 7 = h - 10. Let l = 2308 + -2296. Suppose h*i + 5 = l*i. Is i < -13/7?
False
Let c = -3882 + 2117. Is -1765 != c?
False
Suppose 4*g - 21 = -17. Let l be (98/280)/(g + 1 - 0). Which is smaller: l or 0?
0
Let v(p) = -572*p - 3605. Let n be v(-7). Which is smaller: 403 or n?
n
Suppose 2*x = -q + 5, -2*q - 11 = -x + 4. Let c be (5 + -39 - -3)*(-7)/x. Let j = -45 + c. Is -3 smaller than j?
True
Let r be 39 + (-8 - 32) + 5972/5990. Do -1 and r have different values?
True
Let x(i) = 49*i + 189. Let m be x(-6). Let l(n) = -12*n**3 + 3*n**2 - 2. Let r be l(2). Let o = m - r. Is o bigger than -16?
False
Let v = -309 + 440. Let j = -132.6 + v. Which is bigger: j or -2/11?
-2/11
Let k(y) = 3*y**2 - 7*y - 6. Let o be k(4). Suppose -17*u = 82 - o. Which is bigger: u or -5?
u
Suppose -g = 4*g, -2*v + 23*g = 22*g + 3308. Is -1654 less than or equal to v?
True
Let t = -71298 + 778212/11. Let v = -3441 - -2889. Let c = v - t. Which is smaller: 0 or c?
c
Let p = 19 + -34. Let x = p - -82. Which is smaller: x or 65?
65
Let y(b) = -b**2 - 21*b - 54. Let m be y(-4). Suppose 0 = -11*i + m*i - 6, -j - 2 = -2*i. Which is greater: j or 20?
20
Let u = -4 + 12. Let q(a) be the third derivative of 5*a**4/24 + 47*a**3/6 - 10*a**2. Let o be q(-9). Is u equal to o?
False
Let d(l) = -l**2 + 7*l + 2. Let x be d(6). Let p be (x/260)/(-1*(-124)/20). Let z = p + -525/24583. Which is greater: -2/7 or z?
z
Suppose -21*i = 205 + 12080. Do -6426/11 and i have the same value?
False
Let c = -2685405/7 - -382884. Is -745 <= c?
False
Let h be 0/(2/1) + -154. Suppose 0 = 5*s - 2*n + 772, -20557*n = 4*s - 20556*n + 628. Is s < h?
True
Let y = 26600 + -26594. Which is smaller: 597/86 or y?
y
Let a(d) = -3*d + 56. Let k be a(18). Suppose -2*v + 2*u + 2 = -16, k*u = -8. Are 8 and v unequal?
True
Let v be ((-11)/3)/(1/3). Let m be (-15)/(-4)*(120/(-18) + 4). Do m and v have the same value?
False
Let b be (2 - 1) + 11/(-8). Let a = -272 + 272. Suppose -6*l - 6 = -a*l. Which is smaller: l or b?
l
Suppose 0 = 5*v - 5*w + 1935, -3*w - 375 = 149*v - 148*v. Is v < -382?
True
Let w be 6/2 + 2 - 205/25. Let n = w - -33/10. Let s = -3 + -3. Which is greater: n or s?
n
Let c be 137375/(-4650)*(-8)/(-10934). Let j = c + 1/2046. Is j less than -1?
False
Suppose -14*n + 663 = 649. Which is greater: 2/19 or n?
n
Let i = -581 - -6395/11. Let q(z) = -2*z + 12. Let f be q(6). Let w be -2*(f + 4/(-8)). Are w and i equal?
False
Suppose -13 = -16*q + 147. Let o be q/(-150)*(-6)/(-52). Which is greater: o or -1?
o
Let q = 102 + -53. Let k = 11 - q. Let m be (-74)/4*(-18 + 20). Does k = m?
False
Let g be ((-880)/(-330))/((-262)/36 - 24/108). Which is greater: 0.2 or g?
0.2
Let o be (-4)/6 - 52/3. Let a be 105/245 + (-512)/(-14) - 2. Suppose 3*t = -5*q - 50, -3*t - a*q = -31*q + 49. Which is bigger: o or t?
t
Let s = 59419/1360 + -873/20. Which is smaller: -1 or s?
-1
Let w = 34 + -91. Let m = 1102 + -1037. Let s = m + w. Is s at most as big as 8?
True
Let f = -31 + 34. Let k be ((1 + 0)*-247)/(f + -2). Which is smaller: k or -0.1?
k
Let b = 587 - 2921/5. Let n be (-2 + 1)/5*12407/893. Let z = b + n. Are z and 0 non-equal?
True
Let q be (13809/(-13806) + 1)*-16886. Let g = -2/767 + q. Let u = 766 + -761. Is g less than u?
True
Let u(f) = 86*f**2 - 22*f - 47. Let p be u(-2). Let l = p + -348. Which is bigger: l or 1/3?
1/3
Let s = -67/25 + 3664674/1367425. Which is smaller: s or -1?
-1
Let r be (6/4 + -2)*56/7. Let g be 10/r*16/40. Let q be 74/(-40) - (-6)/(-15). Which is bigger: g or q?
g
Let l = 343585/13 - 26345. Is 86 greater than or equal to l?
True
Let c be -1*18/8*104. Let j be 41/6 - 39/c. Which is smaller: 0 or j?
0
Let m = -342 + 16415/48. Let c be (16/10)/((-12)/(-30)). Let o(u) = -u**3 + 5*u**2 - 3*u - 3. Let l be o(c). Is m < l