re g and -109 non-equal?
True
Let z = 2004 + -2004.06. Which is greater: z or 668?
668
Let l be (-1 + 1 + 154/49)*7. Suppose -26*g - 4 = -l*g. Is g greater than -8/15?
False
Suppose 4*n = 2*n - 24. Let d be ((-27)/(-6))/(-3) + 135/10. Suppose 10*c - 11*c - d = 0. Is c smaller than n?
False
Let x = -19405 - -19450. Are x and 498/11 nonequal?
True
Let x = 2444 - 2445. Which is bigger: x or -1/2905?
-1/2905
Let o be (198/990)/(0 + 289). Which is greater: o or 1?
1
Let h be (-83 + 74)*(-6)/27*2/(-4). Which is smaller: h or -57/121?
h
Let p = -33 + 31. Let x be (-15 - -13)/((-1)/20). Let d be (-50)/x*12/(-50). Is d >= p?
True
Suppose 5*j - 1368 = -33*j. Suppose -2*c - 332 = -j. Which is greater: c or 1?
1
Let z be 15/(-20) + (-99)/(-36). Let t be 14*852/(-5966) + z. Which is greater: 1 or t?
1
Suppose 2*r + 4*x = 260, 5*r = 5*x - 132 + 707. Is r at most as big as 124?
True
Let h = 15668 - 16653. Is h >= -992?
True
Suppose 9*u - 640 = -7*u - 3648. Which is smaller: u or -938/5?
u
Let z = 88009/3 - 75951761/2589. Let x(m) = m**3 - 4*m**2 - m + 5. Let a be x(4). Is a < z?
False
Let x = -3472121600/12021 + 288838. Is x less than 0?
True
Let g = 2.7782 - 2.8. Let a = g - -233.0218. Which is smaller: 1 or a?
1
Suppose 22*j - 9426 = 2674. Is j > 4946/9?
True
Let o = 11112 + 12800. Let s be (-1 - (-5)/(-7))/((-1232)/o). Which is smaller: s or 32?
32
Suppose 0 = 16*b + 957 + 371. Let y = b + 83. Which is smaller: -2/21 or y?
-2/21
Let w(d) = -10 - 3*d**2 + 41*d**3 - 22*d**3 + 8*d - 20*d**3. Let s be w(-5). Which is bigger: s or -11/15?
s
Let i be ((-2163)/15)/(-7) + 3/(-5). Suppose 0 = 4*s - i, 7 = -2*o + 5*s - 14. Does 38/13 = o?
False
Let d(t) = -t**2 + 17*t + 2288. Let i be d(-41). Does -53 = i?
False
Let v(f) = f**3 - 11*f**2 - 14*f + 4. Let u be v(12). Suppose -492*w + 486*w = 126. Which is greater: u or w?
u
Let m = 214 + -219. Let q(u) = -32*u + 187. Let z be q(m). Which is greater: 346 or z?
z
Suppose 20 = g + 4*j - 9, 4*j = g - 21. Suppose -g*n - 6204 = 1296. Which is smaller: n or -298?
n
Let c = -135 + 136. Let o = -26.362 + -0.638. Is o greater than or equal to c?
False
Let t = 2653282023/24334 + -109036. Is -1 <= t?
True
Suppose 0 = 3*x - c - 12, -3*x - 3 = -6*x - 2*c. Suppose -t = -f + x*t + 17, 4*t - 70 = -2*f. Is f greater than 28?
True
Suppose -k - 3*k + 16 = 0, -3*c = -k - 170. Suppose 0 = -9*a + c + 23. Is a at least as big as 5?
True
Let o = 58 + -100. Let u(l) = 45*l - 132. Let z be u(3). Suppose -5*c = 5*x - 10, z*x + 3 = 7*x - c. Do x and o have the same value?
False
Let v = 582 - 604. Let z be (-16080)/180752 - 2/v. Is -1 != z?
True
Suppose -2*y = -p + 3, -4*p + 4*y = -0*y - 16. Suppose -2*g - p*g = 525. Let u = g - -376/5. Which is smaller: u or -1?
-1
Let r(k) = -k**2 - 19*k - 107. Let j = 184 + -192. Let b be r(j). Which is greater: -35/2 or b?
-35/2
Let v = -13297 - -14120. Is v smaller than 1643/2?
False
Suppose 248 = 12*y + 116. Which is bigger: y or 148/15?
y
Let w = 5989 + -5625. Is w less than or equal to 375?
True
Suppose -83 = 2*k - 4*s - 97, 2*k - 2*s = 6. Is k greater than -16/199?
False
Let y = -11485 + 11813. Which is smaller: y or 1638/5?
1638/5
Let j be 5/20*92 - 23. Which is greater: 4/11883 or j?
4/11883
Let b = -6537 + 6537. Is -4/2281 less than b?
True
Let r = -386 + 158. Let k = r + 227. Are 9.4 and k equal?
False
Suppose -1236 = 31*m + 1471 + 1695. Let g be -5*29 + (4 - 2). Is g greater than m?
False
Let x = 26341.9 + -26342. Which is greater: 23109 or x?
23109
Let j be (-44554)/(-8910) - (-2 - -17 - (3 - -7)). Is j < 1?
True
Let u be (1 - -2)*1*(-2)/(-6). Let q(c) = c + 2. Let v be q(u). Suppose 2*l + v = -l + 4*h, -4*l + 5*h - 4 = 0. Which is greater: 1/30 or l?
1/30
Let o = 6904/99 - 626/9. Is 0.35 at most o?
False
Let n = -497 + 81. Let r = n + 412. Is r != -36?
True
Let i be 3/(-2)*(-5)/(-156). Let x = -77112 - -77111. Do i and x have the same value?
False
Let a = -7695.4 + -164.6. Is -0.1 smaller than a?
False
Let u = 137 + -95. Let r = 37.48 - 37.18. Which is smaller: r or u?
r
Let x = 14262273/543014 + -5/15971. Let d = -21/17 - x. Let o(h) = 34*h + 583. Let i be o(-18). Is d smaller than i?
False
Let g(y) = y**2 - 4*y - 11. Let q be g(8). Let u be -5 + 10 - (0 - q/(-5)). Is 0 greater than or equal to u?
False
Let o be 0 - (-3 + 2)/((-2)/(-52)). Let n = -89 + o. Are n and -62 nonequal?
True
Suppose 9*l + l = -10. Let d be (-1)/(2/22*l). Let v = d + 2. Is 12 smaller than v?
True
Let h be (45/(-480)*-4)/(246/32). Do 3 and h have the same value?
False
Let a be 3*(3 + (-73)/27). Suppose 361*w - 368*w = -14. Are w and a non-equal?
True
Let o be (-64)/3 - 2/(-6). Let h = 0.0845739 - -0.0154261. Which is smaller: o or h?
o
Suppose -4*h + 11 + 9 = 0. Suppose 5*p - h + 20 = 0, -6 = 3*i + 2*p. Let z be 0 + 26/(-38) + 1. Which is smaller: z or i?
i
Let t be 1 + (52/(-468) - (-17)/(-9)). Are t and 3/770 unequal?
True
Suppose -2*j + c + 36 = 0, 0 = -2*j - 5*c + 537 - 525. Is j not equal to -232?
True
Let w = 27664.1628 + -27710. Let j = 0.0372 + w. Let p = -46 - j. Which is bigger: p or 3?
3
Suppose 12*h + 31*h + 111577 + 56510 = 0. Do h and -2/9 have the same value?
False
Let s = 109/39 + -32/13. Let j be (24/(-20))/(2 + 37/(-20)). Is j greater than s?
False
Let c(q) = -3 - 18*q + 3 + 4 + 16*q. Let n be c(-6). Let p(g) = 2*g**3 + g**2 - 3*g + 2. Let o be p(2). Is n smaller than o?
False
Let x be 4/4*22/(-2). Suppose 5*s = -a - 1, 4988*a - 13 = 4984*a - 3*s. Is a not equal to x?
True
Let z be 184/(-6)*(56196/(-8))/(-21). Let m = 133430/13 + z. Does m = 6?
False
Let a(m) = -m**2 - 27*m + 51. Let i = -674 - -644. Let y be a(i). Which is smaller: y or -38?
y
Let d = 32404 + -9193. Is d greater than or equal to 23211?
True
Let d = 0.14738 + 277.85262. Which is greater: 0.8 or d?
d
Let x be (-124)/(-155)*5/(-2). Let l be (-24)/9 - x - (-11)/3. Is l < 64/23?
False
Suppose -91*r - 3360 - 774 = 15*r. Which is bigger: r or -3?
-3
Let i = -7016203/4202 - -2779/382. Let p = 1665 + i. Is p less than or equal to 4?
True
Let r = -5 + 5. Let i(y) = -y**3 + 10*y**2 + 3. Let d be i(10). Let l be (-12)/(-8) - d - (-3 - r). Is 1 greater than l?
False
Let o(s) = s**2 + 15*s + 25. Let h be o(-13). Let w be ((-1053)/(-1062) + h)/((-3)/4). Let l = 3 + -2. Is l < w?
False
Let f = -28312 + 28397. Is -2/7 >= f?
False
Let b = 2 + 46. Suppose -3*f - 8 = -2*f - w, -3*f - 3*w - b = 0. Let g be 1/(4/f) - -3. Is 2/101 <= g?
False
Let b = 74 + -71.9. Let h = 69.39 - 69. Let a = 0.19 - h. Which is greater: a or b?
b
Let m = 138 + -176. Let j(h) = h**3 - 10*h**2 - 22*h - 22. Let o be j(12). Which is smaller: m or o?
m
Let c = 277387590 + -23855653513/86. Let l = -3730 - c. Is 0 at most as big as l?
False
Let t be (-4)/2 + 350/160. Suppose m + 2*n = 4, 0 = -2*m + 5*n - 4*n + 3. Let l be ((-13 - -9) + (5 - m))/(-1). Is l <= t?
False
Suppose -72 = -6*n + 72. Suppose -366 = -n*s + 27*s. Let g = 362/3 + s. Which is greater: g or 0?
0
Let w(r) = r**3 - 2*r**2 + 3. Let q be (10 + -9)/((-1)/(-2)). Let t be w(q). Suppose -t*d - 16 = -34. Do d and 0 have the same value?
False
Let v be (-2 + -133)/((3/(-61))/3). Which is smaller: v or 8234?
8234
Let j = 121/2 + -59. Let z(w) = -2*w**3 - w**2 + 2*w - 17. Let o be z(4). Let p = o - -154. Which is smaller: p or j?
p
Let v be ((-272)/(-5) - -2)/(512/(-80) - -6). Which is bigger: v or -126?
-126
Suppose -94187 = 3*q + m - 2*m, -2*m = -3*q - 94189. Let y be 25396/q - 4/(-5). Let k = y - 10/69. Are 1 and k non-equal?
True
Let s(g) = g**2 - 24*g + 136. Let c be s(9). Is c smaller than -4/2133?
False
Let d = -95751 + 480574271/5019. Is 1 != d?
True
Suppose -24*t + 8*t = -160. Let m(r) = 27*r - 272. Let p be m(t). Let y be 2/(-1)*2/4. Is y < p?
False
Suppose 4*j - 5 - 19 = 0. Let d be 12 + -5 + -1 - 424/j. Which is smaller: d or -65?
-65
Let n = -133 - -106. Let d = 1 - n. Which is smaller: 27 or d?
27
Suppose 48*a - 179*a = 285449. Which is bigger: a or -2180?
a
Let j = -918698 + 140558390/153. Let w = j + 252/17. Is w at most as big as -1?
False
Suppose 525*q - 727 = 523*q - 5*r, -5*r + 35 = 0. Is q equal to 691/2?
False
Suppose 62*c - 64*c = 198. Let s = 35 + c. Are s and -62 equal?
False
Let n = -99917/8 - -12482. Which is bigger: n or -9?
n
Suppose -12*r - 3*r = -315. Let w = r + -21. Let z be (6/(-21))/(4/6). 