0*-2 - 210588/211460. Which is greater: u or -1?
u
Let k = 698.61 - 702. Let j = k - 0.21. Let f = 5.6 + j. Which is greater: -1/9 or f?
f
Suppose 370*l = 375*l + 4*f - 3343, 0 = -3*l + 5*f + 1991. Which is greater: 668 or l?
668
Let n = -431/4 + 104. Let p be (-632)/(-52) + (-6)/39. Suppose 0 = 3*q - s + 13, q + q = -s - p. Which is smaller: n or q?
q
Suppose -19*t = -26*t - 84. Suppose 13*g - 36 = 15*g. Which is bigger: g or t?
t
Let o = -1108.1 + 1106.1. Are o and 1.5 unequal?
True
Let y be (8892/2222 - -4) + -8. Which is smaller: 6/7 or y?
y
Let t = -15606 - -15605. Suppose -5*u + u + 112 = 0. Let k = 869/31 - u. Do k and t have the same value?
False
Let m be ((-2)/6)/((-4)/(-544)). Let j = -271 - -459. Suppose -5*x = q + 24, 4*q - 14*x + 11*x = -j. Is q >= m?
True
Let w be ((-4)/(-2) - -2)*(-15428)/9842. Is w != -5?
True
Let v = -415 + 413. Which is greater: 5 or v?
5
Suppose 3*u = 6*u - 939. Let g = 216.1 - 216. Which is smaller: g or u?
g
Suppose -4*g - 13 = r, -2*r - 3*g - 54 = -38. Let m be -4 - r/((-105)/(-234)). Do 8 and m have different values?
True
Let z be (-1 - 42/63)*((-2)/(-18))/1. Which is bigger: -3 or z?
z
Let t = -1957/3 - -1277/2. Let r(i) = -29*i - 247. Let p be r(-8). Which is smaller: t or p?
p
Let a = 2238 + -2240. Let w = -77467/28 - -2767. Which is smaller: w or a?
a
Let l be -8 + (-4)/(-1) + 3. Let c(z) = -97*z - 663. Let d be c(-6). Is l >= d?
True
Let i = 2.39 - 1.53. Let q = 213.2 + -213. Is i at most q?
False
Suppose 3*z = -4*z + 112. Let j = z + -19. Let m = -0.546 - -0.246. Is m not equal to j?
True
Suppose 2*g = -2*s - 0*s, -3*s = -g + 4. Let n be (-600)/(-42) - (s + 27/21). Is n equal to 12?
False
Suppose -19*f = -16*f + 12. Let d be (27/(-12))/((-9)/96*f). Is d smaller than -5?
True
Let q = 1175 - 1176. Let c be (-1 - 8*-1)/(-53). Which is greater: q or c?
c
Suppose 0 = -2*f - 3*a + 568, 63*a - 65*a = 4. Is 286 at least as big as f?
False
Let s(i) = -102*i**3 + 3*i**2 + 12*i + 17. Let w be s(4). Is -6415 != w?
False
Let p = 52 + -37. Let k be p*(0 + 402/15). Let w be (2 - 786/k)*(-1)/1. Is w <= 0?
True
Let v = -3/13141 - 196002/4875311. Which is smaller: v or 1?
v
Let z = 1597 + -1087. Is 0 > z?
False
Let u(w) = -2*w**3 - 7 - 10*w**2 - 7*w + 3*w**3 - 8*w + 5*w. Let c be u(11). Suppose c*p + 2 = -b, 2*p - b + 6 = -2*p. Which is smaller: 3/11 or p?
p
Let b = -273.94 - -277. Let x = b - 0.06. Which is bigger: 107 or x?
107
Let w(u) = -2*u**2 - 11*u + 9. Let s(v) = -2*v**2 - 2*v + 6. Let o be s(-3). Let z be w(o). Suppose z = -5*t - 3*j + j, -4*t - 3*j - 1 = 0. Are 0 and t equal?
False
Let d be (-3)/(-6)*(-16)/(-1). Let m be d/10 + (-2590)/3175. Suppose 0 = 238*r - 230*r + 8. Do m and r have the same value?
False
Let j = -17/1906 + -125209/12389. Which is smaller: -10 or j?
j
Let t(k) = -k**3 - 7*k**2 + 7*k - 79. Let q be t(-11). Which is smaller: q or 330?
q
Let i = 81 - 122. Let r = i + 40. Which is greater: r or 83?
83
Let f be -5 - (2418 + -4 + 1). Let j be ((-2)/20)/(9 + 21788/f). Let i = -54 + 83. Are j and i non-equal?
True
Let c be (-1256994)/235656 - -5 - 1/(-3). Are c and -1 unequal?
True
Let z(s) = 5*s**2 - 67*s + 504. Let h be z(10). Which is greater: h or 998/3?
h
Let d(y) = 24*y**3 - 2*y**2 + 32*y + 53. Let t be d(-5). Which is smaller: -1/4 or t?
t
Suppose -n + 85 = 5*o, 3*o + 109 = 8*n - 7*n. Let b be (-3120)/n - (-8)/(-10). Suppose -21 = v - 4*l, -4*v + l - 2*l - 135 = 0. Which is greater: b or v?
b
Suppose 3*n + 21 = -0*n. Let h = n + 8. Let l = -21016 + 966737/46. Which is smaller: l or h?
l
Let g be (-1)/1595*53960/(-16). Let s = -223103/22 - -10139. Let c = s + g. Is -1 < c?
True
Let k = 4/16435 - -560104/3287. Which is greater: k or 170?
k
Let d = -0.0698 + -0.9442. Let j = d + 0.014. Let i(v) = v**3 + 12*v**2 - 5. Let n be i(-12). Which is smaller: j or n?
n
Let s = -26948/5037 + 320/69. Which is greater: s or 0?
0
Suppose 4*q - 8*q = -2*r - 8, -q = -1. Let a(x) = 510*x**2 - 6*x - 2. Let d be a(r). Let c be d/3120 - (1/(-3) + 1). Which is greater: -1 or c?
c
Let i = 0.060444 - -47.948556. Let w = i + -0.009. Let b = w + -36. Is -1 at least as big as b?
False
Let w = -329 - -342. Suppose 0 = w*a - 7*a - 1014. Is 169 at most as big as a?
True
Suppose -3*p = 2*p + 125. Let u = -679/27 - p. Let i be (-12)/(83 + 1)*(0 - -7). Which is greater: u or i?
u
Let n = -13/1665608896 + 2598098370855977/5031804474816. Let a = 1549/3 - n. Which is bigger: -1 or a?
a
Let m = -1164 - -1122. Which is greater: m or -33?
-33
Let f = -38 - -16. Suppose -21*s + 266 = -35*s. Let k = f - s. Which is bigger: -7/3 or k?
-7/3
Let p = 60.3 + -25.9. Let i = p + -37. Let r = -2.4 - i. Which is smaller: -0.08 or r?
-0.08
Let j be -1 + (1275/4 - (-3 - 5)). Is 325 <= j?
True
Let m = -6846 + 4819579/704. Which is bigger: 0 or m?
0
Let l be (-2)/((-7 - 3) + (-167484)/(-16745)). Which is smaller: -989 or l?
-989
Let v(j) = -j**2 + 21*j + 73. Let r be v(24). Let g be 4/(-18) + (-3260)/(-14940). Is g > r?
False
Let s = 295.0253 - 0.0253. Let h = s - 294.9. Which is smaller: h or -232?
-232
Suppose -l - 12551 = -2*b, 3*l - 30687 = -4*b - 5610. Let y be b/(-2074) - (-2 + -1). Is y smaller than -1?
False
Suppose 4*o = -8, 0*l + 2*l = -4*o. Suppose -5*k - l*s = 6, -4*s + 8 = -4*k - 4. Suppose -3*n = -7*n + 8. Is k != n?
True
Let j(l) = l**2 - l - 6. Let u be j(-5). Suppose 212*p + q + 136 = 217*p, 0 = -7*p - 5*q + 120. Which is greater: u or p?
p
Let z(u) = 6*u**2 + 15*u - 16. Let w be z(1). Suppose -w*s + 39 = 44, -4*c + 3*s = -155. Is c not equal to 37?
True
Let o = -794950/757803 + -2/12423. Is -1 bigger than o?
True
Let s = 4213/2 + -1964. Which is greater: s or 143?
143
Let r = 73 + -72. Let t be ((-9)/(-3 + 12))/(r + -2). Let z = 1403 + -35081/25. Is z != t?
True
Suppose -68*g + 1664 = -66*g + 206*g. Which is smaller: 509 or g?
g
Let l = 2153 + -828903/385. Suppose -2*w = -6*w. Which is smaller: w or l?
w
Let t = -0.021 + 0.0274. Let z = -2.9936 - t. Suppose 3*f + 2*l = -2*f + 92, 0 = 3*f + 5*l - 40. Is f less than z?
False
Let h(t) = 10*t**2 - 21*t - 920. Let j be h(-27). Is 6935 >= j?
False
Let l = -1/565705 - -15193259/22062495. Let h = 7828/91 - 86. Let x = h - l. Is 1/3 greater than x?
True
Let y = 481 + -448. Which is smaller: y or -1/11?
-1/11
Suppose -5*x + 247*v - 246*v = 8, -4*v + 32 = -x. Which is greater: 7229 or x?
7229
Let y = 509 - 199. Suppose 33 = 6*n + 3*c, 92 = -3*n - c + 102. Is n greater than or equal to y?
False
Suppose 5*s = x + 14, 0*x + x + 4*s = 13. Suppose c + 2 = x. Let n be ((-15)/(-1980))/((-6)/(-16)). Which is bigger: c or n?
n
Let y = -0.015 - -16.515. Let n = 0.047495 - -0.952505. Is n >= y?
False
Let i be (-4)/(-6) + (-40)/24. Let h(j) = -20*j**3 + j. Let r be h(i). Let w = -20 + r. Which is smaller: w or 2/29?
w
Let j(k) = 4*k - 79 + 12*k - 46 - 5*k. Let g be j(11). Is g >= -23?
True
Suppose -27*f = -25*f + 3*r - 51, -2*f + 47 = -r. Suppose -31*n + 413 = -f*n. Which is bigger: n or 58?
n
Let b(w) = -w**3 + 6*w**2 - 5*w. Let p be b(5). Let n = -22 + 29. Suppose -d - 2 = -n*y + 4*y, -2*y + 5*d = -10. Is y <= p?
True
Let y = 579 - 389. Let v = y - 190. Is v > -3/52?
True
Let d be 12/162 - (-209)/1188. Let z be -2*(-2 - (-1)/1). Suppose 4*a - 3*l - 31 = -6, z*l = -a + 9. Is d <= a?
True
Let u = 66/23 + -735/184. Suppose -9*g + 5 = -4. Suppose 2*d = 3*d + g. Is d greater than u?
True
Let c(u) = -74*u + 255. Let o be c(5). Is -114 bigger than o?
True
Let f = 14905/2 - 7226. Let k = f + -339301/1498. Which is greater: -1 or k?
k
Let i be 9*9/(-15) + 5. Let r be 1*(-1)/(-2)*26. Let w be (-11 + r)/((-70)/2). Which is greater: w or i?
w
Let u = -0.076 + 0.086. Let k = u + 0.19. Let g = -3.09 + 2.9. Which is smaller: g or k?
g
Let u = -51 - -60. Suppose r + u = 7. Let t be 28/28*(2/r + 1). Are -8/23 and t equal?
False
Let l = -59301/7 + 8472. Suppose -2*m - 5*c = -10, 2*m = -m - c + 2. Which is smaller: l or m?
m
Let z be -37*7/((-21)/9). Let x = z + -191. Let n = -21 + -60. Which is greater: n or x?
x
Let q = -68.685 + -4.315. Which is smaller: 0.05 or q?
q
Let f be 3/(8202/1366 - 6). Let k = 697 - f. Suppose -3 = -3*l + 3. Are l and k nonequal?
True
Suppose 1308*f - 1250*f = 0. Which is smaller: f or 4/4987?
f
Let o(v) = -7*v - 167. Let i be o(-25). Suppose 33*s + i = 41*s. Is 6/53 >= s?
False