= -0*b - 6. Let m be -10 - (0 + b + 3 + -1). Is m not equal to 0?
True
Let z be 2/6 - 1635/4851. Let w be (-37)/185*(1 - 56). Suppose 0 = -5*o + 2*k - 1, 2*k = 4*o - 3*k + w. Which is greater: o or z?
o
Suppose 0 = 5*j - 2*c - 828, -3*c + 27 = j - 142. Suppose 35*f = 52*f - 2805. Do j and f have different values?
True
Let a(y) = 32*y + 2942. Let c be a(-86). Which is bigger: 188 or c?
c
Let u(r) = 73*r + 75. Let s be u(7). Let j = -586 + s. Which is bigger: 3/629 or j?
3/629
Suppose 2*d = 2*p - 3 + 5, 0 = -3*p - 4*d + 11. Suppose 36818*n - 372 = 36787*n. Is n > p?
True
Let h(b) = -2*b + 11. Let c be (-99)/(-18) - 1/(-2). Let i be h(c). Let w be (-28)/(-49)*i/(-2). Is -19 less than or equal to w?
True
Let v = -365517 - -4504997029/12325. Which is bigger: v or 0?
v
Let o = -4 + -1. Suppose -9*x + 4*x = 0, -4*m + 3*x = 16. Let i = m - o. Which is smaller: 6/11 or i?
6/11
Let v = 941 - 942.294. Let i = v - 0.006. Let k be 1 + 0 + (-24)/32. Is i greater than or equal to k?
False
Let j = -2.2259 + -0.0441. Let v = -0.27 - j. Which is smaller: 15 or v?
v
Suppose -2*v = -224 + 112 + 108. Do -356/7 and v have different values?
True
Let o(y) = y**3 + 6*y**2 + 3*y - 8. Let q be o(-5). Let b be -59 - ((-6)/(-2))/(q - 3). Which is smaller: -111/2 or b?
b
Let o be -24*(-19)/4256*1. Is 0.3 less than or equal to o?
False
Let r = -6709 + 12303. Are r and 5594 non-equal?
False
Let v(n) = 133*n**3 - 3*n**2 + 2. Let o be v(-1). Let p be o/506 + 1/11. Is 0 <= p?
False
Let m = -794 - -744.7. Let o = -0.48 - 48.52. Let r = m - o. Are r and -1 equal?
False
Let c = 4.26 - 325.26. Let r = c - -330. Which is greater: r or 3?
r
Let q(s) = s + 4. Let t be q(-3). Let i = 210 + -210. Suppose i = -5*y - 3*w - 2, -5*y - 7*w + 6 = -6*w. Is t bigger than y?
False
Let s = 39382/25 - 1575. Let o = 8 + -8. Is s at least as big as o?
True
Let j = 2/115105 - -222996/415183735. Is j < 0?
False
Let f = -80 + 83. Let t be 3/18*f*(-10 + 10). Is t >= -7?
True
Suppose -3 = 255*p - 252*p + 12*c, 2*p + 4*c = -14. Which is greater: -665/52 or p?
-665/52
Suppose -2*a = d + 1148, 275*a - 1704 = 278*a - 3*d. Which is smaller: a or 1/16?
a
Let r = -749 - -759. Let d(j) = 3*j**2 + 6*j + 6. Let h be d(-2). Let l(p) = -p**3 + 5*p**2 + 8*p. Let f be l(h). Is f <= r?
False
Let i = -0.4166 - 28.5834. Which is bigger: 40 or i?
40
Suppose 3121 = 19*q + 955. Suppose 0 = 3*y + 2*y - 580. Are y and q nonequal?
True
Suppose -8549 = 17*z - 406. Which is bigger: z or -481?
z
Let n be -6*5/(-105) - 99/77. Is 2/6171 smaller than n?
False
Suppose -45 + 140 = 19*l. Suppose -40 + 1 = 5*m - a, -3*m - 19 = -l*a. Which is bigger: m or -90/11?
m
Let c(b) = -b**2 - 10*b - 13. Suppose o = 0, -148 = 4*m - 2*m - 2*o. Let u = 68 + m. Let d be c(u). Which is smaller: d or 12?
d
Let b(l) = -10*l**2 - 70*l + 1. Let i be b(-7). Do i and -1/1282 have the same value?
False
Suppose -3*l = 2*r - 237 - 68, 5*l + 4*r - 509 = 0. Suppose t - 139 + 142 = -5*k, -5*k + 2*t + 36 = 0. Is k != l?
True
Let c be (7 + (-90)/12)/((-2)/(-2)). Let i be -1*2 + 54/30. Is c at most i?
True
Let m be 9 + (26117/21)/(-13). Is -1 < m?
False
Let p = 16/365 + -9301/4015. Let g = p - -103/55. Let t = -74 + 94. Is t not equal to g?
True
Let z = -211 + 208. Let c be z/(-2)*64/48. Which is smaller: c or 16?
c
Let n = 538.82 + -538. Let r = n + -2.02. Which is bigger: 0.05 or r?
0.05
Let m = -180932 - -2697153325/14907. Is m < 1?
True
Let a = 37 - -31. Let f be a/17 + (-22 - (0 - 0)). Is f >= -8?
False
Suppose 9 = s + 1. Suppose 9 = 2*w - 1. Suppose -18 = -w*x + 17. Is s greater than x?
True
Let u = 16811 + -33005/2. Which is greater: u or 309?
309
Let l(d) = -5*d**2 + 183*d - 1552. Let w be l(18). Is 228 not equal to w?
True
Suppose 17*p - 4*p = -13. Let i be p/5 - (245/(-40) - -6). Is 0 >= i?
True
Suppose 2*a = -19*a + 89 - 110. Is a > 2/12625?
False
Suppose 44192 + 143546 - 761998 = 102*w. Is -5629 <= w?
False
Let n = -5859/8 - -5935/8. Is n > -10/9?
True
Let j = 100.7 - 119. Let s = 16.3 + j. Is s at least -19?
True
Let w be -13 + ((-4340)/45)/(-2). Is 36 at least as big as w?
True
Let u = -55.1 - -55. Let b = -0.4 - -0.4. Let y = b - 0.6. Which is greater: u or y?
u
Let w = 4368.1 + -4365. Which is greater: -367 or w?
w
Let g be 1521/(-117)*1296/(-28). Which is smaller: g or 603?
g
Let i(o) = -5*o + 43. Let l be i(13). Let v be 326/10 - l/55. Are 35 and v non-equal?
True
Let b be (-4118 + -1)*(-164)/(-1722). Let u = b + 395. Is -2 > u?
False
Let k = -247 - -755. Let x = k - 502. Let f = -0.07 + 0.01. Which is bigger: x or f?
x
Let t = -391 + 2728/7. Let o be (20 - 11)*(1 + -2) + 120/15. Which is smaller: t or o?
t
Let m be (-1329)/27 - (-3 - (-150)/54). Is -49 equal to m?
True
Let t(s) = 70*s**3 - 15*s**2 - 58*s - 8. Let x be t(-4). Is -4496 != x?
False
Let q = 952 + -947. Let w(y) = -y**2 + 21*y - 31. Let k be w(21). Which is bigger: q or k?
q
Suppose 9054 = -2*t - 5582. Let z be -3 - (t/62 - 4). Let i = z + -119. Which is smaller: i or 0?
0
Let a = 8 + -19. Suppose 4 = 2*h, h = 2*y + 4*h - 72. Let u = y - 43. Which is greater: u or a?
u
Let b = 0.2716 - -11.7384. Let p = b - 12. Let m = -0.484 + -3.516. Which is greater: m or p?
p
Let l = -0.6646 - -0.8346. Is -1/6 > l?
False
Let p be (-2 + 9)*12/(-14). Let g be p + -9 + (0 - -2). Let c = 1450 + -1464. Is g at most as big as c?
False
Let v = 552/1883 - 2/269. Suppose -266*f = -212*f - 1033*f - 2130 - 5702. Which is greater: v or f?
v
Let l = 0.28 + -0.024. Let m = -0.365 + l. Which is bigger: -1/2 or m?
m
Let y be (-2)/(-8 + -1*(-3748)/468). Is -229 at least as big as y?
True
Let m(u) = -3*u**3 + 175*u**2 + 52*u + 54. Let b be m(59). Do -3840 and b have different values?
False
Let p(y) = 15*y**2 - 6. Let u be p(-2). Let n = 57 - u. Let t = -5 + n. Is -5/4 less than t?
False
Let q = 23 + -129. Let m be (-1*2 - -1)/q. Let x = 101727 - 101728. Is x at least m?
False
Let b be (-3 - 4325/(-105))/(19370/14). Let t = b + -8/195. Which is smaller: t or -1?
-1
Suppose 0 = -p - 3*p. Let w be 54*21/(-95508)*(-1)/(9/6). Which is smaller: w or p?
p
Suppose 5*z - 4*q - 14261 = 0, -2*q = 2*z - 1813 - 3877. Is 2850 smaller than z?
False
Let a be -50*(7/(-14))/((-10)/(-48)). Which is smaller: a or 107?
107
Let w be (-1 - 8)/(-3) - (410 - 3 - 0). Which is greater: -408 or w?
w
Suppose -q - 4*d = -16, -5 = 4*q + 2*d - 13. Does 21/218 = q?
False
Suppose y = -3*t - 46, -5*y - 154 = -y - 3*t. Suppose 3*k + 23*k + 33*k = -2419. Which is smaller: y or k?
k
Let m = -0.04 + -0.33. Let s = 0.37 + m. Let a = -0.01 + s. Which is smaller: a or -1?
-1
Let d = -47.5342 + 1.5012. Let f = 0.033 + d. Let j = f - -30. Is j not equal to 1?
True
Let a = 6066 - 18199/3. Which is smaller: -2401 or a?
-2401
Let k = -117 + 120. Let w(i) = -3*i**2 + 4*i - 9. Let g be w(k). Do g and -24 have the same value?
True
Let f = -6869 + 6868.94. Which is smaller: f or -61/4?
-61/4
Let h = -26561 + 26451. Are h and 23 unequal?
True
Let i = -4.93 - -5.5. Let j = -78947 - -78948. Is j at least i?
True
Let b = -25890104/126797 - -42/11527. Which is smaller: -205 or b?
-205
Let i(t) = 91*t - 148. Let x be i(2). Suppose -70 = -2*n - 4*y, -4 = y - 5*y. Which is smaller: x or n?
n
Let t be 114/(-16)*(-38)/((-532)/(-378)). Is 191 at most as big as t?
True
Suppose 1098*b + 114000 = 1038*b. Which is greater: -1896 or b?
-1896
Let p = -17.7 + 45.7. Let z = 0.46 - 39.46. Let g = z + p. Is 1 bigger than g?
True
Let w = 0.06872 + 5.93128. Is w less than -1893?
False
Let i = 9185 + -9252.43. Let o = i + 2.43. Which is smaller: -1 or o?
o
Let z(n) = n**3 + 9*n**2 + 9*n - 1. Let u be z(-7). Suppose -k = -4*m + 91 - 22, -k - 3*m - u = 0. Let j = k - -52. Is 13/6 at least as big as j?
False
Let j = 26018 - 2601801/100. Which is greater: j or -21?
j
Let z = -31 + 60. Let y = 24 + z. Suppose s + 8 = -2*n - y, 74 = -3*n - 5*s. Is 0.1 > n?
True
Let o be 29699/51 + (-1)/3. Is o at least as big as 581?
True
Let t be (2/108)/(18/1740*5). Let f = t - 2/81. Let s = -1.085 + 0.085. Is f at least s?
True
Let t = 0.36 - 87.36. Let l = 95.7 - 183. Let m = l - t. Is m not equal to -0.4?
True
Let a = 150537 + -225052827/1495. Is 0 at least a?
True
Suppose 0 = 184*q - 175*q + 7290. Is -808 != q?
True
Let c be (31/(465/132))/((-4)/(-730)). Is c bigger than 1604?
True
Let y(z) = -z**2 - 