s y?
False
Let x = 2947/8325 - 9/25. Suppose -5*j - 2*h - 8 = -j, -3*j - 5*h = 20. Which is greater: j or x?
j
Let k = 313/1488 - -15/248. Let w = k - 15/16. Let b = 2.8 + -3. Is w >= b?
False
Suppose -d - 19 = -12*d - 30. Which is smaller: -5/803 or d?
d
Let b = -7 + 5. Let a be (3/b)/(6/(-8)). Let g be (a/(-204))/(14/56). Is g >= 0?
False
Let m = -128 - -108. Does m = -101/5?
False
Let j = -29351 - -322621/11. Is j > 0.3?
False
Suppose -18 - 117 = -9*c. Let v = -4 + 9. Suppose -c = -3*u, v*z - u = -0*u + 175. Is z less than or equal to 36?
True
Let p = -549820755244/88519527 + 56166/192853. Let a = p - -6211. Is a > 1?
False
Let b be (-1)/3 + (-9044)/741 + 13. Let j be 2*(1 + (-60)/8). Let u = j - -12. Which is greater: u or b?
b
Let k = -74 + 89.5. Let b be (4/(-8))/((-10)/8). Is k != b?
True
Let p = 0.02638 + -1.02638. Do p and 0.27 have different values?
True
Let h(b) = b**3 - 7*b**2 + 13*b + 387. Let y be h(-14). Which is greater: y or -3909?
-3909
Suppose -5*a = 4*d + 102 - 43, -a + 68 = -3*d. Let p be (460/40)/((-1 + 0)/2). Which is bigger: d or p?
d
Let f(m) = -2*m + 3. Let h = 49 - 52. Let b be 0*h/(-12)*2. Let r be f(b). Which is smaller: 0 or r?
0
Let a(u) = -4*u + 3. Let m(j) = 5*j - 3. Let f(t) = -4*a(t) - 3*m(t). Let z be f(14). Suppose -7*v = -z*v - 4. Is v at least 0?
False
Let h be 1/3*66/(-28). Let p be (6/(-10))/(-26 + 931/35). Which is greater: h or p?
h
Let w = 1896 + -104276/55. Let g = w + 47/110. Which is smaller: 6.7 or g?
g
Let n(o) = o + 4. Let w be n(-3). Suppose -5 + w = 2*g. Let p = 4 - 9. Which is greater: g or p?
g
Suppose 11*i - 14*i + 3*f - 6 = 0, -5*f = -15. Let l be 9363/(-5)*(-410)/(-840). Let y = 914 + l. Is i smaller than y?
False
Let p(c) = 5*c**2 - 6*c**2 - 2*c**2 - 3*c - 21*c**3 - 4 + 7. Let y be p(1). Is -24 greater than y?
False
Let g be -9 + 2 - (-76160)/9805. Let q = -27/37 + g. Let x(o) = -o**2 + 3*o + 5. Let y be x(4). Does y = q?
False
Let w(x) = -5*x - 38. Let l be w(-2). Let b be (28/42 + 2/(-1))*20. Is l at most b?
True
Let a = -4/907 + 423581/2721. Suppose 3*f = -86 - 385. Let s = f + a. Which is smaller: s or 3/5?
s
Suppose 3*z = -5*b + 1688 + 3343, 15 = -5*z. Let n be b/40*10/(-6). Does n = -37?
False
Suppose -254*i + 256*i = -2. Which is greater: -2/2067 or i?
-2/2067
Let h be (4*8/10696)/((-18)/105). Is h equal to 1?
False
Let r = -212.08 + 212. Let j = -0.12 + r. Suppose -v - 6*g = -g - 25, 2*v - 41 = -g. Which is greater: j or v?
v
Let u be -1 + 5 - 2*10. Let v be 3/(-27) + -5*(-8472)/(-2700). Is v equal to u?
False
Let v(i) = -2*i**2 + 30*i + 64. Let c be v(-2). Which is bigger: -68 or c?
c
Let k = -5/18162 - 369019/998910. Is -1 less than or equal to k?
True
Suppose -41 = 182*u - 141*u. Let o = -17161079/827 - -20751. Which is smaller: u or o?
u
Let n be 57 + 21609/(-378) + 11/30. Let x = 35 + -24. Which is greater: n or x?
x
Let l = -80 - -78. Let z be ((396/(-55))/6)/(l/(-55)). Is -31 <= z?
False
Let f = -4732 - -4732. Is f greater than -9/1295?
True
Let n = 402 - -282. Suppose -3*k - n = 3*c, -12*k + 686 = -3*c - 17*k. Is c smaller than -227?
False
Suppose 94*w - 97*w = -3. Let p = -1039 - -57141/55. Is w < p?
False
Suppose 2*m - 7516 = -4*a, 0 = 190*m - 194*m + 4*a + 15020. Are 3757 and m unequal?
True
Let g = 0.28776 - 0.08776. Is 8161 less than or equal to g?
False
Let v(h) = h - 3. Let r be v(-5). Let k = 40 + -35. Suppose -4*t - 24 = 5*s, -13 = k*s - s - 3*t. Is s >= r?
True
Suppose 0 = -d - 5*o + 480, -40 = 4*o - 24. Is d at least 497?
True
Suppose 0 = -4*g - r - 25, -2*r + 20 = -3*g - 4*r. Let c be (2/((-4)/(-3)))/(g/(-16)). Let a be 3/6*(38 - c). Are a and 18 nonequal?
True
Suppose 6*p - 4*p - t = -100, 0 = -4*p - 5*t - 172. Let l be (2/(-18))/(4/(p/17)). Is l at most as big as -1?
False
Suppose 10*w - 35*w - 5037 - 4763 = 0. Is -392 at most w?
True
Suppose -3*i = -0*i + 3. Let q be (-8)/(-2) + 1*i. Let o = -2008417/42 - -334756/7. Which is smaller: o or q?
o
Let u = 1300/11 - 18211/154. Let t(l) = -l**3 + 5*l**2 + l - 5. Let d be t(5). Is d > u?
True
Let a be (-2 - 127/(-3)) + 12/(-36). Suppose 0 = 2*j - 0*j - 4. Suppose 195 = 5*n + w, -3*n + 117 = -0*n + j*w. Which is smaller: n or a?
n
Let w(v) = 11*v**2 + 320*v + 36. Let x be w(-29). Let k(q) = -q**3 + 10*q**2 - 9*q + 6. Let u be k(9). Is x not equal to u?
True
Suppose -4*t + 100 = 4*q, -3*q = 5*t + q - 124. Let b(h) = -2*h + 4. Let j be b(1). Suppose j*m = -i + 7*m + 8, 4*i - 95 = -m. Which is smaller: t or i?
i
Let n be (8*1 + (-171)/18)*-2. Which is greater: n or 195?
195
Suppose 0 = 4*w - 12*c + 7*c - 44, -4*c = 16. Suppose -n = 4*n. Suppose -w*k + 2*k = n. Which is smaller: k or -1/7?
-1/7
Let n = 0.142 + 187.858. Let h = -189 + n. Let p(y) = y**3 + y**2 - 4*y + 1. Let q be p(-3). Which is smaller: h or q?
q
Suppose 17*z + 66*z = 13*z - 70. Which is smaller: z or -1/9008?
z
Let j = 465 - 462. Suppose t - 5*f + 51 = 1, -4*t + j*f = 132. Is t at least as big as 0.5?
False
Let r = 0.476 - 62.476. Let a = r - -62.065. Is 3 bigger than a?
True
Suppose 5*u - 42 + 2 = -5*s, 2*s - 4*u + 8 = 0. Let j be (-76)/(-10) + s/10. Let x be 8/(1 - -7) - -9 - 5. Which is smaller: j or x?
x
Let q(g) = g**2 - 5*g - 31. Let y be q(11). Suppose 0 = -2*t + 5*k + y, -4*t + 5*k + 25 = -20. Are t and 19/4 equal?
False
Suppose -24*h + 34*h = 70. Let w be 5/(23 + h) + (-235)/6. Is -39 equal to w?
True
Let x = 2473 + -1665. Suppose -184 = 6*o - x. Which is smaller: 108 or o?
o
Let s(f) = f**3 + 13*f**2 - 142*f - 39. Let j be s(-20). Which is greater: j or 1/3069?
j
Let v = -27833.5 - -27834. Which is smaller: v or 0.378?
0.378
Let c = 9 - -11. Let k = 2576/6365 + -6/1273. Which is greater: k or c?
c
Let v be (7/(-2))/((-2)/8). Let d be ((-30)/v - -2)*(-26)/(-494). Is d smaller than 1?
True
Let m be (-1)/((2 - 3)/(-1)). Is 4/525 smaller than m?
False
Suppose -12515 = 28*v + 46190 + 9699. Are -2439 and v unequal?
True
Suppose -5*r - 2*f + 4 = 0, -5*f - 21 + 6 = 0. Suppose 9*t + 429 = -r*t. Let h be ((-8)/90)/((-26)/t). Is -1 greater than h?
False
Let a = 362045/25978 - 55/838. Is a less than 15?
True
Let f be 24*((-2)/(-3) - 1) - 659. Is -670 < f?
True
Let f = -44387 - -44543. Let s(m) = -155*m**3 + m**2. Let o be s(-1). Is o > f?
False
Let v = 48790045910/77 + -633628340. Let o = v + -8620. Does o = 0?
False
Let l be 6 - 4 - 3 - -4. Suppose 3*j = 3*o + 33, -l*j - 1 = 5*o - 58. Do -2/5 and j have different values?
True
Let q = 3337/4 - 229219/268. Which is smaller: -21 or q?
q
Suppose -5*l + y - 657 = 0, -l + 5*l + y + 531 = 0. Let b = -15700.9 - -15703.9. Which is greater: b or l?
b
Let u be (-122712)/(-16)*4/(-6) + 0. Which is smaller: u or -5112?
u
Suppose -315 = -2*k + u, 3*k - 4*u + 2*u = 474. Are -30 and k unequal?
True
Suppose 7*d + 49 = 14*d. Let j be -7*4/6*-3. Let k = 20 - j. Is k < d?
True
Let t = -11647 + 174703/15. Let b = -4.2 + 0.2. Which is bigger: b or t?
t
Let q = -9756.34 + 9753. Is q less than or equal to -4?
False
Let y(r) = -r**2 + 3*r - 5. Let m be y(4). Let t be -9 - 20 - (5 + -38). Does t = m?
False
Let p = -5679438931/14563 - -389991. Which is greater: 1 or p?
1
Let b = -146 + 61. Let f = 85.1 + b. Let s = 0.26 - -0.14. Which is smaller: s or f?
f
Let x = -262 - -258. Does x = 681?
False
Let r(l) = -2*l**2 + 12*l - 13. Let k be r(6). Suppose -3*s + 57 + 60 = 0. Let j be ((-11)/(-3))/((-13)/s). Is k < j?
True
Let u be (8/(-1))/(348/2784). Is u <= -0.02?
True
Suppose 0 = -v + 2, t - 9 - 3 = -4*v. Suppose 5*s - 9 = -2*g, -2*g = t*s - 5 - 7. Suppose 8*z - g = 5*z. Which is smaller: z or 22/7?
22/7
Suppose -k + 3*c - 3963 = -6*k, 0 = -5*c + 5. Let r be k/2349 + 5/(-15). Which is greater: r or -1?
r
Suppose -68784*d + 68830*d = 6118. Is 132 less than d?
True
Let i = 1 - 1. Suppose -8*l - 39 = 41. Let r be (12496/2695)/4 - (-12)/l. Is i greater than or equal to r?
True
Let y = 11177 + -11115. Which is greater: 3 or y?
y
Let v be -1 - ((-10)/(-16) - 2). Let s = 7285.97 + -7408. Let f = s + 122. Which is smaller: v or f?
f
Let q be ((-5)/(-55))/(10/(-12)). Let u = 103/440 + q. Let w = -18 - -18. Which is greater: u or w?
u
Let a = 103357 + -103356.9. Let x = -21 + 31. Does a = x?
False
Suppose z - 4*q + 4053 = 0, 0 = 3*z - 34*q + 30*q + 12191. Is -4068 at most z?
False
Suppose -89 - 78 = -7*n - 160. Which is smaller: n or 