- 918*o - 936*o = 0. Is -15/557 greater than or equal to o?
False
Let s be -2*6*13*(-176)/(-32). Which is greater: -859 or s?
s
Let j = 1609.8 + -1780. Let k = -170 - j. Which is smaller: k or 0.5?
k
Let j = 2317 - 2124. Is j at most 194?
True
Let l = 11847 + -11845. Which is greater: -2072 or l?
l
Let y = -6787 - -6788. Are 0.105 and y non-equal?
True
Let g be (27/6 + -2 + -2)/((-153)/32436). Is -109 less than g?
True
Let b = -773 - -768. Which is greater: 2/263 or b?
2/263
Suppose -7*z + 89 = -135. Suppose -61*u = -60*u - z. Which is smaller: u or 0.3?
0.3
Let l be (2 - -2)/4*142. Let o = l - 141. Do o and -6/19 have different values?
True
Let j(i) = -i**2 - 12*i + 103. Let x be j(-18). Let z be 24*(0 + (0 - (-10)/(-15))). Which is smaller: x or z?
z
Let q = 12677 - 5350. Is q greater than 7327?
False
Let s = -16.1 + 94.1. Let k be 2/8*(-2816)/4576. Which is greater: k or s?
s
Let s be 3*3/54*2541/(-14). Let z(o) = -o - 37. Let u be z(-7). Is s != u?
True
Let r = -30.26 - -32.84. Which is greater: -9/4 or r?
r
Let k be (-27)/9 + 7 + ((-1)/1 - -862). Which is bigger: k or 864?
k
Let j be 528/(1 + 2) - -14. Which is greater: j or 181?
j
Let v = -177 + 179.1. Let l = -24 - -26.2. Let a = l - v. Which is smaller: a or 2/5?
a
Let a = 29719 + -118877/4. Which is bigger: a or 5994?
5994
Let s = -1.4 - -1.36. Let n be ((-59)/(-177))/(2/3). Which is bigger: n or s?
n
Suppose g - 64 = -0*g. Suppose -4465 = -122*z + 3099. Is g >= z?
True
Let d = 1071 - 7495/7. Let g = -0.1142 - 0.0478. Is d greater than or equal to g?
True
Let b = 5 + -15. Suppose 3*q - 725*w = -723*w - 23, 5*w = q + 25. Is b greater than or equal to q?
False
Let u = 0.71 - 0.7. Let v = u - -0.015. Let g = v + 0.575. Do g and -0.2 have the same value?
False
Let t be (-108)/(-4230)*(-120)/3. Let n = t + 1861/1316. Is n greater than 0?
True
Let z be 2/(-5) + (-7348)/55 + -2. Suppose -2*g - d = 272, 2*g + 4*d = 6*g + 532. Which is bigger: z or g?
g
Let z = -473.84 + 479. Let a = 5.16 - z. Which is bigger: a or -16?
a
Suppose 1339*k = 1434*k + 582635. Is -6132 bigger than k?
True
Suppose -19*s - 1235 = -15*s - m, -2*m + 1230 = -4*s. Which is greater: -6 or s?
-6
Let s be ((-1)/(-5))/(-1) + (-1898)/(-365). Suppose -5*d = -3*o + 11, 16*d - 13*d + s = o. Let l = -2/949 + -7586/2847. Which is greater: d or l?
d
Let i = 9/655 + 241/30130. Let f be (3 + 1)*(-1)/(-2). Suppose 5 = 3*x + f*x. Is i greater than x?
False
Let m(v) = 10*v + 96. Let c be m(-6). Let f be (17/68)/(573/c). Which is greater: -1/3 or f?
f
Let o(p) = -p**3 + 16*p**2 - 36*p + 93. Let h = -485 + 498. Let d be o(h). Is d less than 132?
False
Let h = 6.35 - 2.47. Let r = 3.78 - h. Is 1.94 greater than r?
True
Suppose 0 = -115*x + 114*x - 3*h + 82, 0 = 3*x + 5*h - 258. Let s(i) = 14*i - 5. Let c be s(-6). Let l = c + x. Is l > -9?
True
Let j = 2075 + -2079.247. Let v = j - -0.247. Which is bigger: -13/2 or v?
v
Let w be (2/2)/(24/(-432)). Let t be (-13)/(1/(1/w)). Let l = -109/36 - t. Which is bigger: l or -3?
-3
Let t = 3 + -3.68. Let j = t - -0.57. Let b = -5 - -4. Which is bigger: j or b?
j
Let x be (544/(-3672))/((-4)/(-6)). Which is bigger: x or -97.2?
x
Let p = 12 - 0. Let n be 3/(-27)*-75*p/(-2). Which is bigger: n or -51?
n
Let d be 3515/22 - (8 + (-77)/7). Let v = 325/2 - d. Which is smaller: 1 or v?
v
Let a be ((-9)/(-45) - (-51)/(-105)) + 150/378. Which is bigger: 63 or a?
63
Suppose 0*i - 2*x = -i - 69, -4*x = -4*i - 296. Suppose -5*k - 173 = -f + 229, 151 = -2*f + 145. Which is smaller: k or i?
k
Let s = 73 + -89. Let n be 4/s - (-28)/(-16) - -24. Which is smaller: 68/3 or n?
n
Let n = 27 + -104. Let p = 79 + n. Suppose 0 = -c - 0*c - p. Which is greater: c or -10?
c
Let q = -73 + 77. Do 160/49 and q have the same value?
False
Let d(b) = b**2 - 8. Let r = -31 + 31. Let u be d(r). Let t(o) = o**3 + 7*o**2 - 10*o - 10. Let v be t(u). Are 2 and v nonequal?
True
Let u = 8.85 - -0.15. Let k be (-163)/(-4) + -2 + 7/28. Suppose 5*p + k = 34. Is p bigger than u?
False
Let z = 199348054/399051 + 10/44339. Which is smaller: 501 or z?
z
Suppose -3094*t + 3114*t + 40 = 0. Let p be ((-6)/5)/((-1)/(-2)). Which is greater: p or t?
t
Let h be (-2)/(-7) + (-19)/(-7). Let y = 7543 + -7541. Which is smaller: y or h?
y
Let h be (-1)/3 - (-17)/(-102). Which is smaller: h or -5602?
-5602
Let r = 487.54 - 487.56. Which is greater: -1594 or r?
r
Let j(g) = g**3 + 6*g**2 - 19*g - 115. Let q be j(-5). Suppose -2 = -3*r + 7. Suppose -r*c + 5 = 2. Is q > c?
True
Suppose -5*n - 5 = -6*n. Suppose -2*t = -t + 3, n*j = 4*t + 17. Suppose -7*r + 4*r = 0. Which is greater: r or j?
j
Let t(r) = 10*r**2 - 4*r - 19. Let p be t(4). Suppose 8 = 4*n - 4. Suppose -n*d - p = 2*d. Which is smaller: d or -26?
-26
Let r(x) = -5360*x + 39. Let j be r(-1). Is j less than 5400?
True
Let m be ((4939354/(-248))/(-19))/(9/(-8) - -1). Are m and -8386 equal?
True
Let q = -0.18 - -0.1. Let r = 195 - 158.2. Let o = -37 + r. Which is smaller: o or q?
o
Let g = 6373 - 6279. Is g smaller than 140?
True
Let t be 1/((1*(-2)/(-34))/(-3)). Suppose 3*d = 3, 3*d + 11 - 65 = q. Is t greater than q?
False
Let d be (((-6)/30)/((-38)/(-25555)))/((-2)/(-4)). Which is smaller: d or 3?
d
Let g(t) = 4*t**2 + t + 2. Let b be g(-1). Suppose -b*r + 0*r = 205. Let i = r - -41. Is 9/10 equal to i?
False
Let n = 20509 + -20511.69. Let p = -14 - -13.9. Are n and p equal?
False
Suppose -4*r - 793*h - 40 = -789*h, -2*r - 55 = -3*h. Which is bigger: r or -605/38?
-605/38
Let y(c) = 2*c**2 + c + 5. Let m be y(0). Suppose 4*q = m*q - 18. Let v be 15/q + 0/(-4). Is 0 less than or equal to v?
True
Suppose 50 = -101*s + 106*s. Suppose 9*k - s = -k. Which is smaller: k or 4/9?
4/9
Let c be (-17)/(-102) - (-227678)/(-264). Which is smaller: 2/5 or c?
c
Let d = 1099451/51 + -21559. Let q = d - -2198/3009. Which is bigger: q or 0?
0
Let t be (-10)/1395*1*6/2. Let a be 5 - (0 + -3 - -6). Suppose 22*r - a = 20*r. Is r less than t?
False
Suppose 2*p - 3 = -4*f - f, f - 2 = p. Let o be (85/153)/(9/((-810)/(-10))). Is o > f?
True
Let k = -28957 + 17975. Which is greater: 0 or k?
0
Let x = 97.717 - -0.283. Let w = -37 - x. Is w > 1/4?
False
Let o(j) = -51 - 6*j**2 + 101 - 46 - 4*j. Let l be o(2). Let c be (l/21)/(101/(-51) - -2). Is -68 greater than or equal to c?
True
Suppose -577 = 3*h - 124*c + 119*c, 4*c = -4. Which is bigger: h or -196?
h
Suppose 334*z - 743611 - 2240892 = -57*z. Is 7634 greater than or equal to z?
True
Suppose 4*t + 2*u = 5*t + 1, 3*t - 9 = 2*u. Suppose -4*c - 2*y + 5 = -1, 5*c + t*y - 15 = 0. Is -14/39 bigger than c?
False
Let y be ((-8)/(-3))/4*948. Let u = y + -362. Let i = -7017/26 + u. Which is greater: 1 or i?
1
Let p = -2023/5 + 406. Let l = 284 + -282. Suppose 0 = -5*j + 4*j, 0 = l*q + 2*j. Which is bigger: q or p?
p
Let r = -1/1545 + 2101/63345. Let y be 56/16 + (-9)/6. Which is smaller: r or y?
r
Suppose -84*k + 75*k = 47734 + 39386. Which is smaller: k or -9679?
k
Let z = 590 - 587. Suppose -45*g + 47*g + 4 = z*m, -8 = 2*m - 4*g. Suppose -2*a - n + 7 = 0, 3*n = 2*a + 2*n - 9. Is m at least a?
True
Let q = -265 - -272. Suppose -m + 9 - q = 3*h, -m + 2 = 5*h. Let o = 186 + -7811/42. Which is greater: o or h?
o
Let s be (-38)/(-95) - 2/(20/(-26)). Suppose -3*h + 50 + 7 = s*a, -5*h + 5*a = -135. Which is smaller: h or 21?
21
Let t = -91 + 36. Let d = 54 + t. Let r = 0.084 - 0.16. Is r >= d?
True
Let i = 3101 - 4741. Is -1639 equal to i?
False
Let k = 98.333 - 0.933. Let j = k + -102. Are 2 and j equal?
False
Let r be ((-6)/9 - 0)*-2 - 25/111. Is 0 <= r?
True
Let g = 76.286 + -75.94. Is -3 <= g?
True
Let u be ((-69)/(-9) + 0)/(2/48). Suppose -u = -4*c - 0*c. Let k = 45 - c. Are 2 and k equal?
False
Let a = 3657/2 - 1760. Let b = -2946/43 + a. Are -1 and b unequal?
True
Let x = -9 - -6. Let p be 1/(16/35242) - 9/x. Let z = p - 2209. Is -4 greater than or equal to z?
False
Suppose -2620*f - 117 = -2607*f. Let b(h) = -2 + 1 + 0 - h**2. Let a be b(1). Which is greater: a or f?
a
Let c be (-1323 - -1)*(-6)/(-18). Which is smaller: c or -442?
-442
Let i = 1329 + -852. Suppose -i = 22*m + 1833. Suppose 2*t - 7*t - 520 = 0. Which is greater: t or m?
t
Suppose 0 = -2*d + 282 + 102. Let c be (d/560)/(6/(-160)). Is -9 at most c?
False
Let w = -37625 + 37629. Let p = 241 - 710/3. Which is big