t z = 18498 + -17795. Which is bigger: 697 or z?
z
Let z = 133.29 + -1.29. Let w = -139 + z. Which is greater: w or -6/11?
-6/11
Let i = -241.9 + 178. Let s = i + 53.9. Is 5 bigger than s?
True
Let z = -9149 - -9150. Which is bigger: -7/615 or z?
z
Let d(u) = -2*u**3 + 6*u**2 - 3*u + 4. Let o be d(5). Let n be 3*(o + 4) + -2. Let k = 3556/11 + n. Which is bigger: k or -1?
k
Let x = 0.13 + -0.13. Let s be 3*2/(-2) - -2. Let h be ((-17)/(-2))/(s/(-2) - 1). Which is greater: x or h?
x
Let k = -1412 + 1411. Let t = 2/655 + -913/84495. Are k and t non-equal?
True
Let w(m) = -2*m**2 - m - 6. Let v be w(0). Let k be (20/v)/((784/(-21))/(-16)). Is k at least as big as -1?
False
Suppose 5 - 35 = -5*c - 3*k, 0 = -2*c - 4*k + 12. Let n = -5 + c. Let m = -2854/23 - -124. Is n > m?
True
Let k be (-219)/2*(-294)/(-63). Let v = k - -512. Is v != -2/79?
True
Let t = 28.82 + -29.82. Is t at least as big as 7933?
False
Let n be (-446)/376 - (-135)/108. Let d be (7/3)/((-1363)/3). Let j = d - n. Which is bigger: 2 or j?
2
Let l = -267 - -270. Suppose l*g - 50 = -14. Which is greater: g or 8?
g
Let h = 2579 - 3508. Is -928 greater than or equal to h?
True
Let a = -345148/15 - -22999. Is a less than -10?
True
Let b = 17.358 - -8322.642. Is b < -1?
False
Suppose 6*n = 8*n - 110. Let z be (-22)/n*(-15)/(-1216). Let m = z - -8545/6688. Is 2 > m?
True
Let i be 0 - (9 + -213)/2. Suppose -i = -q + 18*q. Let c be (-2 + 32/10)*-5. Does q = c?
True
Suppose -20*c - 119*c = 59631. Does -421 = c?
False
Let z = 1448 + -986. Let q be (-44)/z - (-1688)/(-798). Are q and -1 non-equal?
True
Let v(z) = -4*z - 39. Let q be v(-22). Let g be (3/(-21) - (-4662)/q) + 1. Let o = -76 + g. Is 18 bigger than o?
False
Let n = 10447/7 - 10450/7. Is -0.0675 at least n?
True
Let r(u) = -272*u - 7344. Let d be r(-27). Which is smaller: d or -118/159?
-118/159
Let q = -2761/487695 - -4/7503. Which is greater: -5 or q?
q
Let n = -14129 + 14130. Which is greater: -1/1192 or n?
n
Let y be (-6)/27 + (-67882)/(-21078) + -3. Which is smaller: y or 4?
y
Let d = -34 - -113. Let j = -70.7 - -149.6. Let x = j - d. Which is smaller: 9 or x?
x
Let v(q) = 9*q - 1. Let g be v(2). Suppose -2*d + 3*c = -4*d + g, 19 = -d + 4*c. Let n = -38888/5 - -7778. Which is greater: n or d?
d
Suppose -a - 28 = -29. Let v be a/((-2)/(-14)) - (1 - -3). Suppose 3*j = j - 2, 2*j = -v*u - 2. Is u not equal to 1/78?
True
Suppose -60 + 108 - 57 = 9*x. Which is bigger: x or 9.92?
9.92
Let q = 6510327/121352 + 1420/2167. Let m = 381/7 - q. Are m and -8 unequal?
True
Let q be 1890 - -5*(-22)/275*-5. Which is bigger: q or 1893?
1893
Let k be -2*9/6 + (-20 + 18 - -5). Are 7/586 and k unequal?
True
Let o = 1562 + -1794. Is -241 bigger than o?
False
Suppose -12*a + 5574 = -3*u - 13*a, -7454 = 4*u + 5*a. Is -1848 equal to u?
False
Let o = 203 + -202. Suppose 160 = 5*s - 145. Let b = -70 + s. Which is smaller: b or o?
b
Let p = 3543 - 3492. Is p greater than or equal to 64?
False
Let z(n) = -n - 24. Let i be z(-24). Which is bigger: i or -72/49?
i
Let k = -9869.8 - -10042.7425. Let y = -0.0575 - k. Which is smaller: y or -1?
y
Suppose 2*y = -0*p + 2*p - 4, 5*y = p - 6. Let z be 12/18*p*-3. Let s be 2/((45/18)/(-5)). Which is smaller: s or z?
s
Let l = -21 + 14. Suppose 33 - 105 = 8*q. Let n(c) = 2*c**2 + 19*c + 10. Let v be n(q). Which is bigger: l or v?
v
Let t = -26 - -26. Suppose -4*m + 2*q - 175 + 687 = t, 375 = 3*m + 3*q. Suppose -z = -b - m + 45, 0 = -4*z - 4*b + 304. Which is greater: z or 80?
80
Suppose 2553 = -246*j + 339. Let s(c) = 3 - 10*c - 3. Let l be s(1). Is l greater than j?
False
Let b be 954/12*(-8)/3. Let n be (b/(-36) + -6)*-2. Is n at most 69?
True
Suppose -4*f = -2*f - 4*c - 764, -4*f = 2*c - 1498. Let j be (f/10)/(15/75). Suppose 14*v = 10*v + j. Which is bigger: 46 or v?
v
Let f be 42/28*(-1)/6. Suppose 4*v - v - 12 = -4*h, v - 4 = 5*h. Let g be (h + 10)/(-5) + 19. Does g = f?
False
Let r be 6*((-55)/3 - -1). Let c(l) = l**2 - 19*l - 79. Let z be c(-7). Let i = z + r. Which is smaller: -3/16 or i?
i
Let l be -1 + -1 + 652/322. Suppose -5 = -421*u + 398*u - 28. Is l not equal to u?
True
Suppose -3*q - 10*s = -5*s, 0 = 2*q - 3*s + 38. Are -235/26 and q nonequal?
True
Let x = -0.22 - -21.22. Suppose 0*i + 3*h + 165 = -2*i, -i - 81 = 2*h. Let w = i + 347/4. Which is bigger: w or x?
x
Let y = -287.5 - -282.5. Are y and 299 non-equal?
True
Let d = 2119/2 - 1061. Let h be (38/6)/((-3)/(-9)). Suppose 4*x - 5*x + 5*q + h = 0, -4 = q. Is x smaller than d?
False
Suppose 39 = 17*w - 56*w. Which is greater: w or -4/851?
-4/851
Let l be (((-1504)/(-40))/47)/(-1 - 153/(-155)). Let s be 3*-22 + (-8 - -9). Which is smaller: s or l?
s
Suppose -4*c + 2*m = 0, 10*m - 6*m = 16. Suppose -5*x - 18 = 4*f, 29*f = -2*x + 32*f + c. Is 0 at least x?
True
Let y = -76/465 - -3/31. Suppose 7 - 7 = -8*o. Which is greater: y or o?
o
Suppose -157 = -p + 2*i, 3*i - 516 = -3*p - 0*i. Let q = 166 - p. Is 39 >= q?
True
Let n = -83.1 - -82.8. Is n smaller than 61/15?
True
Let o be 4/(3/3) + (1 - 0). Suppose 8*v = -11 - o. Let i = 2 + -8. Is i smaller than v?
True
Let r be (-1 - (-178)/4)*-3*(-1752)/108. Which is greater: 8473/4 or r?
8473/4
Let u = -9/2693 - 99191/134650. Let x = -2729/850 - u. Let a(s) = -2*s**2 + 47. Let m be a(5). Is x smaller than m?
False
Let z = -3943/13 - 11489/52. Which is smaller: -523 or z?
z
Let p be 24/(-16)*18*-1. Suppose 51 = 24*s + p. Is -5/11 >= s?
False
Let t be (5 + -5 - 1)*1 - -26. Suppose 2*b - 40 = -2*f, 5*b = 7*f - 8*f + 4. Which is bigger: t or f?
t
Let f be (-4)/(-2)*(-100)/8. Let h(j) = j**3 - 13*j**2 + 20*j - 2. Let s be h(11). Which is greater: f or s?
s
Let j = -5232.75 + 5233. Which is smaller: -24 or j?
-24
Let p be ((-214)/(-36)*4)/(9/18). Let f(j) = -7*j - 6. Let u be f(6). Let a = p + u. Is a smaller than 1?
True
Suppose 0 = -4*x - 24. Let s be 2/3 + (4 + -1 - (-1626)/(-198)). Is x < s?
True
Let j = -2365/8 + 9563/8. Is 901 greater than j?
True
Let n = 289 - 427. Let x = n + 102. Is -36 bigger than x?
False
Suppose 0 = -106*m + 231*m + 125. Which is smaller: m or -2/20405?
m
Let h(o) = -o**3 + 26*o**2 + 44*o + 149. Let u be h(28). Which is smaller: u or -749/4?
-749/4
Let m be 24/(-18)*6*(-151)/(-4). Let c be (-2)/(-5) - m/(-5). Are -61 and c nonequal?
True
Let n be 88/(-22)*108/(-2). Suppose -7*j - 244 = -n. Is j smaller than -40/13?
True
Let n = 18/55 + 69/11. Let x = -1009 + 995. Let l be 11*(10 + x - 150/(-33)). Which is bigger: n or l?
n
Let p = -2864/1547 + 170/91. Is p <= 66/5?
True
Let q = -4978 - -4722. Are -262 and q unequal?
True
Let k = 1514 - 16627/11. Suppose -3*f + 2*v + 7 = 0, -f + 5*v - 17 = -5*f. Is f >= k?
True
Let c(g) = -2*g**3 + 2*g**2 - 2. Let b be c(0). Let r be b/(-6) + 82/861. Which is smaller: -0.11 or r?
-0.11
Let d = 3356 + -13425/4. Which is smaller: d or 62?
d
Let i(x) = 2*x - 43. Let b be i(18). Let m be b + (1 - -1) + -2. Let q be 1*2/(-6)*19. Do q and m have the same value?
False
Suppose 3*s + 2*a - 11 - 5 = 0, -4*s + 4*a - 32 = 0. Let f be ((-3)/9)/(134/3). Is s less than f?
False
Let k(v) = -7*v**2 - 45*v - 162. Let a(w) = 5*w**2 + 45*w + 163. Let p(m) = 3*a(m) + 2*k(m). Let q be p(-4). Is q at least as big as 6/35?
True
Let t = 1.03677 + -0.03677. Let p = -64 + 64.31. Is t <= p?
False
Let q = 2/45957 + -965113/367656. Let b = -1 + -3. Is q less than b?
False
Suppose 6 = -3*s + 5*c, -10*c + 5*c = -5*s. Let v be -22*(-2 + s/(-6)*-5). Which is smaller: -7 or v?
v
Suppose -3*l - 31 = 4*y, 3*l - 3 = y - l. Suppose p = i + 5 - 1, -5*i + 15 = 2*p. Suppose 0*x - i = -n - 4*x, 5*x - 17 = n. Is y at least n?
True
Let r be 11 - -3 - (-29920)/(-44). Which is smaller: r or -668?
-668
Let k be 5/(-40) - 6/32*-142. Let x be (-11034)/420 - (-1)/5. Let v = x + k. Is v less than or equal to 0?
False
Suppose -2*d = -d. Suppose 3*a + 2*b + 211 = d, 2*b = a - 5*a - 278. Suppose 19*g - 5*g = -952. Which is bigger: g or a?
a
Suppose 0 = -873*j + 880*j + 14. Is 0.1309 bigger than j?
True
Let o = -235422584/1465 - -160698. Is o bigger than 1?
False
Let p = -5/3622 - 1628069/14488. Is p > -111?
False
Let x = -499 - -501.99. Let o = x - 1.89. Is -0.11 <= o?
True
Let v = 1280601 + -14104279/11. Is -1607 > v?
False
Let b = -1 - 2. Let i(w) be the second derivative of -w**5/20 - w**4/4 + w**2/