 5265 = 3*d - 40311. Let r be d/(-3372) - -3 - 3/(-2). Which is smaller: r or 1?
r
Let y = -11175 + 4110. Are -7064 and y unequal?
True
Let o = 589501.9823 + -589465. Let m = o - -0.0177. Is m at most 1?
False
Suppose 3*r + 722 = 4*z + r, 732 = 4*z - 4*r. Let f be 263/z - 33/22. Is f at most 1?
True
Let x be 4/32 - (55426/(-240) - (-48)/(-360)). Is 230 less than x?
True
Suppose -h - 4*h = 2*n + 50, -125 = 5*n - 2*h. Let l be 1 + 5 + 11 + n. Which is greater: l or -4?
-4
Let h(j) be the first derivative of 7*j**2/2 - 123*j + 40. Let z be h(0). Let w = -124 - z. Is 1/7 less than w?
False
Suppose 2*i - 5*j - 43 = 0, 2*j - 56 = -4*i - 6. Suppose 15*p + 180 = 21*p. Suppose 32*d - p*d - 26 = 0. Which is greater: i or d?
i
Suppose 68 = 2*s - 5*s - 4*f, 4*f + 124 = -5*s. Let d be 120/s + 4 - (-46)/14. Is 16/9 at least d?
False
Suppose -4*u + 6 = -10. Suppose -u - 8 = 3*t. Let w be (-260)/66 + (0 - t). Which is smaller: w or -1?
-1
Let s = 5589 - 11183/2. Which is smaller: s or -441?
-441
Suppose -2*k + c = 799, -14*c - 1978 = 5*k - 10*c. Which is smaller: -401 or k?
-401
Let i be 4/16 + 23/4. Suppose -6 = -i*g - 0. Let u be (3 + (-44)/16)/g. Which is bigger: u or 0?
u
Let g = 3659/7 - 523. Let f = 245 + -333. Which is smaller: f or g?
f
Let d = 0.076 + -62.076. Let m = d + 62.77. Let z = 0.07 - m. Which is smaller: z or -2?
-2
Let x(d) = -d**3 + 4*d**2 - 2*d - 2. Let b be x(3). Let w be (-3)/4 + (-1392)/(-832). Let v = 71/91 - w. Do v and b have different values?
True
Let w be ((-5)/(-15))/(1/(-9)). Suppose h = -5*z + 45, 8 = 5*z + 4*h - 37. Let t be (-9)/(-6)*((-24)/z - w). Which is smaller: t or -0.02?
-0.02
Suppose -21 = -5*n + 3*g, 3*n + 4*g + 7 = -21. Which is bigger: 6/937 or n?
6/937
Suppose 89*n + 120 = 84*n. Let h be ((-6)/n)/(6/324). Is h at least 15?
False
Let h be ((-4)/(-12) - 1)/(6/(-135)). Suppose h = 5*z, 4*a + a - 5*z = 230. Let v be (-2)/(-6)*(-630)/a. Which is greater: v or -4?
-4
Let p be ((-6)/(-8))/(((-1170)/(-48))/5 + -6). Let l be ((-1)/104)/((-54)/903). Let v = l + -1/144. Which is bigger: v or p?
v
Let j(a) = 140*a + 3. Let n be (-2)/9 + (-102)/27. Let m be j(n). Let h = m + 12813/23. Which is greater: h or 0?
h
Let w be (-1 + -4 + 3)*2/4. Let q be ((-9)/(-2) - 5)/(w - -3). Is 7.1 at least q?
True
Suppose 0 = -11*t - 5727 - 13138. Is -1718 bigger than t?
False
Let b(k) = -31*k - 103. Let f be b(25). Let g = f - -3511/4. Which is greater: -1/19 or g?
-1/19
Let q = 12459.51 - 264.51. Which is greater: 0 or q?
q
Let l(n) = 2*n**2 - 21*n - 65. Let a be l(13). Which is greater: a or 11/119?
11/119
Suppose 0 = h - z + 7, 31 = 4*h + 4*z + 11. Which is smaller: h or 2/627?
h
Let h = 26 - 27. Let j = 243616/15 + -16216. Let r = -25 + j. Do h and r have different values?
True
Let l = -6157 + 6164. Which is smaller: -255 or l?
-255
Suppose 13569 = 20*a - 3*p, -1371 = -339*a + 337*a + 5*p. Is 682 greater than or equal to a?
True
Let t = -95 + 96. Let x be (-372)/88 - (1 + -4 - t). Does -1 = x?
False
Suppose 3*v + x = -2006 + 341, 5*v - 3*x = -2803. Which is bigger: v or -11?
-11
Let s = -246/799 + -2493862/7191. Which is smaller: -347 or s?
s
Let u(s) = 4*s + 12. Let m be u(4). Let w = m - 26. Suppose a = 3*a, w*a = 4*d. Is d bigger than 10/27?
False
Let f(h) = 4*h**2 - 2. Let n be f(1). Let j be -7 - n*847/(-238). Which is greater: j or -4?
j
Let u = 369 + -368. Let a be (-2 - u) + (-10)/(-40)*16. Which is bigger: a or 1/29?
a
Suppose -3*w - 18 = 0, 5*w + 162 = o + 9*w. Are o and 175 unequal?
True
Let t be -5 + 11 + -10 + 2. Is -61/64 < t?
False
Let w be (-8)/(-156) + 4648/(-37401). Which is bigger: w or 0?
0
Let t(h) = -3*h**2 - 17*h - 48. Let q be t(-6). Which is bigger: -52 or q?
-52
Let s(r) = -r + 36. Suppose -95 = -4*x + a, -2*x - 3 + 48 = -3*a. Let d be s(x). Is 126/11 smaller than d?
True
Suppose 398*t + 1402 + 12055 + 4477 = -1966. Let q be -1 + (-1)/((-1)/(-41)). Which is greater: q or t?
q
Let t be 12/(-8)*(5 + -1 + 4). Let i be 12/(-27) + t/(-27). Do i and 1/4 have different values?
True
Suppose 44*c - 39*c = -1235. Let j = -303 - c. Suppose 2*h - 4*a + 90 = -9*a, -a - 106 = 2*h. Which is smaller: j or h?
j
Let d = -13 + 11. Let u = -34 - -145. Let w = 110.81 - u. Is w at most as big as d?
False
Let g = 411/4 - 103. Is g greater than -485/3?
True
Let i = -691 + 830.6. Let o = i - 65.5. Let g = o - 74. Is -2 >= g?
False
Let w be 42/(-6) + 12 + 463/(-41) + 0. Which is bigger: -1 or w?
-1
Let q(w) = w**2 - 1. Let g be q(3). Suppose -3*b + 2*s - 4 - 32 = 0, 3*b + 3*s + 21 = 0. Let x = 9 + b. Is g greater than or equal to x?
True
Let u = -9148 + 6196. Which is greater: -2951 or u?
-2951
Let s = -0.437 - -0.127. Let q = s + 0.31. Which is greater: q or 2/243?
2/243
Let w be (3 + 15/(-2))*12/(-9). Let s be (-4)/8 + 39/w - 4. Is 6 <= s?
False
Let l = -4380 - -4330. Which is smaller: l or -43?
l
Let u be 0/2 + 21/10. Let z = -10273 + 10274. Is z smaller than u?
True
Let w = -257 - -279. Suppose -5*h - 41 = 69. Let l = w + h. Is -0.5 not equal to l?
True
Let l = 93 - 90. Let c be (-4)/3*(-273)/168. Is l bigger than c?
True
Let o(r) = -17*r**3 + r. Let g be o(-1). Suppose 3*z = 3*k - 0*z + 258, 0 = 4*k + 4*z + 328. Let m be ((-357)/k)/(((-2)/8)/(-1)). Which is bigger: m or g?
m
Let m = 6.1495 + 0.0705. Let q = m + 5.78. Are -14 and q equal?
False
Let q = -6504 + 6035. Do q and -472 have the same value?
False
Suppose -2*i + 3*t + 351 = 0, 4*t = -4*i + 9*t + 699. Which is bigger: i or 2/3?
i
Suppose -4*v - 956 + 224 = 0. Suppose -4*q = 5*x - 10*x + 728, 0 = 2*q - 3*x + 364. Which is greater: v or q?
q
Suppose 2*w + 325 = -3*s, -26*s + 24*s - 3*w = 220. Is s smaller than -322/3?
False
Let o = -110 - -109. Let f(i) = 6*i + 2. Let d be f(12). Let u = d - 2736/37. Which is greater: o or u?
u
Let u be (8/48)/((-7)/28). Let a be -2 + -1 + 367/56. Let f = a + -33/8. Do u and f have the same value?
False
Let r = 118 + -193. Let z be -3*(-5)/r + (-14)/30. Which is smaller: -34 or z?
-34
Let i = 46 + -47. Let n be (24/15)/(-4)*i/(-2). Which is greater: n or 0.25?
0.25
Let u(i) = -i**3 + 21*i**2 - 20*i - 88. Let f be u(13). Is 1003 bigger than f?
False
Suppose -2*x + 4*w = -12, 3*x + 4*w = -13 + 71. Suppose 0 = x*c - 13*c - 68. Is c < 69?
True
Suppose 2*p - 4 = 4*n, n - 8 = -2*n - 4*p. Let i be 21/(-7) + -67 + 0. Let t be 6 - (5733/i)/(-13). Is t less than n?
True
Let c = -2899 - -5935. Suppose c = 11*t - 33*t. Which is bigger: t or -139?
t
Let j be 31 - ((-1)/(-3))/(16/192). Suppose -j*r + 35*r = -2344. Is -292 smaller than r?
False
Let k = -133/6 - -22. Let d = 132 - 134.8. Let t = d + 3. Which is smaller: k or t?
k
Let p = 13/207 + -925/21321. Do p and -1/2 have the same value?
False
Let v = -0.22 + 0.1. Let x = 2.52 + v. Let h = x + -3.4. Which is smaller: -16 or h?
-16
Let k be ((3 - 3)*(-15)/30)/(2 + 0). Does -14/473 = k?
False
Suppose -12 = -2*w + 4*w. Let h be w/(-9) - (-2)/(-48)*10. Let k be -3 - (-3 + 6 + -6). Is h > k?
True
Suppose q + 4*i - 40153 = 5*i, 4*q = -4*i + 160604. Let x be (-8)/6 - q/(-29952). Is 1 at least as big as x?
True
Suppose 12*p = 10*p + 30. Suppose -13*w + 8 = -p*w. Let c be 1 - (w - (-282)/56). Which is greater: c or 0?
0
Let s(a) = -a**3 + a**2 - 11*a - 18. Let c be s(6). Let z = c - -245. Is z bigger than -18?
False
Suppose -24*r = -25*r. Let j = 15 - 33. Let h be ((-6)/j)/(2/12). Is h smaller than r?
False
Let p(o) = 3*o - 64. Let c = -261 + 253. Let x be p(c). Is x at most as big as -2?
True
Let b(q) = -q + 2. Let u be b(-26). Suppose -5*f = i - u, -3*i = -8*i + f + 36. Suppose -4 = 4*y - i. Which is smaller: y or -4/9?
-4/9
Let k = -15.472 - -0.372. Let p = k + 15. Let w = 663/8 - 83. Is p less than or equal to w?
False
Suppose 0 = -109*w - 42880 + 14431. Are -257 and w equal?
False
Let n(l) = l**3 - 3*l**2 - 2*l + 3. Let y be n(3). Let s be (-825)/60*(-48)/30. Which is greater: y or s?
s
Let i be (1/(-1))/(12/24) + -4*1958. Which is smaller: i or -7833?
i
Let n = 0.66 - 8.46. Let g = 7.719 + n. Let d = g + -0.019. Is 28 at least as big as d?
True
Suppose -4*v = 4*v - 808. Let z = v + -53. Suppose 5*l - d - 68 = 0, 5*d + 19 = 4*l - z. Which is smaller: 12 or l?
12
Suppose -21 = -3*f + 66. Let t be 6/(7/(98/3)). Is t at least as big as f?
False
Let d(r) = r**2 + r + 3. Let h be d(0). Suppose h*k - 3 = -0. L