 - -1167/11. Which is smaller: b or s?
b
Suppose -2*b - 2*b = 8. Let l be (-3 - b) + 1 + 3. Let o be -43 - 8856/(-189) - (-2)/(2*7). Are o and l unequal?
True
Let u = 25 - -14. Let j = -0.36 + -36.64. Let q = j + u. Which is greater: q or 4/9?
q
Suppose -3*f = 3*i + 3, -3*i + 5*f + 23 = i. Suppose -2*h + 5*h + 11 = s, -i*s + 7 = -h. Suppose 6*z + s*z = -0*z. Is z at least as big as -3/74?
True
Let b = 9092 - 6050. Is -2 smaller than b?
True
Let h be 208/26 - 13666/1708. Which is greater: -1 or h?
h
Suppose -3*m = -4*v + 21, -2*v + 34*m = 35*m + 7. Is v not equal to 4/653?
True
Let d be (-10)/12 + (-803858)/(-244). Is 3295 less than d?
False
Let p be (-94)/611 - 41/(-13). Suppose 0 = -k - 3*a - 51, p*a + 87 = 5*k - 7*k. Is -36 at most as big as k?
True
Let z be ((-128)/1088)/(-3 + 385). Which is greater: z or 1?
1
Suppose 2*y - 3*v + 19 = 0, -2*y - 2*v + 6*v - 24 = 0. Let t be y/60*-4*(-41 + 2). Which is bigger: t or -4?
-4
Let p(f) = -f**3 - 10*f**2 + 13*f + 26. Let r be p(-11). Suppose 4*l - r = -3*x + 4, -x + l = 2. Which is smaller: -10/27 or x?
-10/27
Suppose -3*b - 474 = -9*b. Suppose -84*m + b*m + 10 = 0. Suppose 2*s + 2*s = -12. Which is greater: m or s?
m
Let f = 16.944 + -17.444. Which is smaller: -57 or f?
-57
Let m = 1762 + -1761. Let o be 15/(-30) - 146/(-212). Is o smaller than m?
True
Let r = 852 + -508. Let l = r - 347. Do l and 57/5 have the same value?
False
Let m be 6573/2*72/(-112). Which is smaller: m or -2114?
-2114
Let r be (-5012400)/278475 + (20 - 2). Which is smaller: r or 1?
r
Let l(q) = 9*q + 3. Let y be l(-7). Let r be 1347/(-18) + (-10)/y. Which is greater: r or -76?
r
Let p = -170.7 + -172.3. Is p at least as big as 1?
False
Let u be 11209/(-14355) - 8/(-10). Let l = u - -3077/2871. Let z(c) = -c**2 - 5*c + 8. Let x be z(-6). Which is smaller: l or x?
l
Suppose -5*q + 2730 = -5*h, -3*h + 7*q - 1641 = 5*q. Let i = h + 557. Which is smaller: i or -0.3?
-0.3
Let f be (-2)/(-48)*118032/(-264). Let n = -4/33 + f. Let a = 19 + n. Which is bigger: 10 or a?
10
Let k be 18 + -20 + 72/(-4 - -1). Which is smaller: k or -201/8?
k
Suppose -6*j + j = 0. Suppose -3 + j = 2*h - 5*u, -5*h + u - 42 = 0. Let q = -13742 - -13731. Which is bigger: q or h?
h
Suppose 0 = -2*v - 4*d + 2104, 2*v + 2*d - 2144 = 6*d. Let s = v + -652. Is s <= 411?
True
Let v = -141/56 + 191/14. Let a = v + -10. Is a not equal to 0?
True
Let g = 0.017 + -0.0573. Which is bigger: g or 2/3?
2/3
Let t = 263 + -262. Is t at most as big as -210?
False
Let w = -26.74 + 27. Let p = w - -1.74. Let b = -61/28 - -17/7. Is p equal to b?
False
Let m(r) = -r**2 + 24*r - 25. Let b be m(1). Which is greater: b or 198?
198
Suppose -3*m + 5*m = 18. Let d(w) = 3*w - 18. Let f be d(m). Let t be 3/f*-3*-1. Which is bigger: t or -2/91?
t
Let v(w) = -3*w**3 - 3*w**2 - 15*w + 114. Let k be v(6). Which is bigger: k or -5859/8?
k
Let o = 74.95 + -75. Let b = 0.007 - o. Let f = b + 0.043. Is -0.12 >= f?
False
Let q(p) = -5*p - 173. Let c be q(-35). Let a be (((-4)/12)/(25/90))/c. Which is smaller: a or 13/3?
a
Let y be (2 + 1 + -1)/((-18)/27). Let z(a) = 3*a + 10. Let h be z(y). Let u = -49 - -2498/51. Which is smaller: h or u?
u
Suppose 2*y + 2*x = 4*x + 6, 0 = 2*y - x - 3. Suppose -6*m + m - 70 = y. Suppose 0 = -22*g + 25*g + 39. Which is greater: m or g?
g
Let s(a) = -a**3 + 5*a**2 - 5*a + 30. Let x be s(6). Which is smaller: x or -34?
x
Let q(i) = -i**2 + 15*i + 26. Let s be q(-23). Let u = 136526/161 + s. Is u smaller than 0?
True
Suppose 4*w - 2*f + 4 = 10, 0 = -5*w - 2*f - 15. Let t be (4*w)/(5 - 3). Let a be 1*1/(8/28)*t. Do 2/5 and a have different values?
True
Let b = 16.86 - 48.93. Let s = -2.78 + -29.22. Let i = s - b. Do 1/4 and i have the same value?
False
Suppose -2*m + 7*m = -4*b + 35, 3*b = -5*m + 30. Suppose r - 2*t - m = 6, 2*t + 12 = -2*r. Let k be r/((-17)/45) + (-7 - -4). Which is greater: 1 or k?
1
Suppose 8*n - 36 = -13 - 31. Let v = -1/556 - -2027/199604. Which is smaller: n or v?
n
Let y = 5984 - 6031. Which is bigger: y or 4?
4
Suppose 4*u + 0*u = 0. Suppose q + 11 = 5*s, 3*q + u*q = -2*s + 18. Suppose -3*c + 3 = f + c, -s*c + 5 = f. Do 13 and f have different values?
True
Let i = 15.64 - 11. Let h = -4.9 + i. Let t = 18.26 + h. Is t at least 1?
True
Let n = 0.3458 + -0.2458. Which is greater: -55/53 or n?
n
Suppose 0 = -c + 7 - 9. Let q be (-36 + 34)*(2 + c/2). Let b be q + 2 - (-8)/(-8). Which is bigger: 1/30 or b?
1/30
Let b(p) = -p**3 - 41*p**2 - 236*p + 14. Let x be b(-7). Which is smaller: -3/6101 or x?
-3/6101
Let a be ((-1610)/(-490))/(39/(-21) + 2). Is a at most 38?
True
Let s be 9744/(-72)*(2 - 3)*3. Let g = s + -405. Is 14/73 bigger than g?
False
Let c(x) = 237*x - 12197. Let l be c(8). Is l bigger than -10303?
True
Let s be -3*18/27 - -257. Suppose -17*l - s = -0*l. Let c(t) = -t**2 + 2. Let k be c(0). Is l greater than or equal to k?
False
Let d = -383 - -375. Which is greater: d or -51/7?
-51/7
Let c = -625.2 + 625.1. Does -27/92 = c?
False
Let r be (-18)/135*260/6. Let m = r - -337/63. Let y = 0.2458 - 0.0458. Which is bigger: m or y?
y
Let b = 7 + 5. Let z(f) = -f**3 + 19*f**2 + 22*f - 39. Suppose 4*n + 3*s - 86 = 0, 3*n - 5*n = 2*s - 44. Let o be z(n). Is b >= o?
True
Let h(y) = -y**3 + 18*y**2 - 17*y + 3. Let q be h(17). Let j be ((-306 - -3)/q)/(6/(-12)). Is j bigger than 203?
False
Suppose -4*f + 10 + 10 = 0. Suppose -2 + 22 = f*j. Which is bigger: j or 1/6?
j
Let o = -2898 - -17118484/5907. Is 1 bigger than o?
True
Let o(v) = -v**3 + 9*v**2 - 11*v - 4. Let m be o(8). Let j = m + 35. Suppose g + 56 = -3*w + j*w, -3*g = -3*w + 42. Is 2/9 equal to w?
False
Suppose 6*k = 5*k + 5*c + 19, 5*k - 2*c - 26 = 0. Suppose -k*x + 3*x - 23 = 0. Is x bigger than -19?
False
Let r(s) = -s - 50. Let a be r(-16). Let f be 32/a - 4/68. Are -6/187 and f non-equal?
True
Let w = -0.00289 - 0.01511. Which is bigger: w or 0.09?
0.09
Let n = -4007 - -3506. Is n != -509?
True
Let h = -467.3 + 470.3. Is 193 greater than h?
True
Suppose -28 - 8 = -9*q. Suppose -61 + 73 = 2*o + q*a, 5*o - 18 = 2*a. Which is bigger: o or 10/3?
o
Let s = 70206 - 70205. Let r be (-8)/(-237)*3/2. Is r greater than s?
False
Let u = 5578 + -5009. Is u greater than 573?
False
Let i = 69 + 203. Suppose -248 = 2*k + v + 3*v, 2*k - 4*v = -i. Is -128 at most k?
False
Let c = -21744 - -21745. Let p = 1646 - 136621/83. Which is greater: p or c?
c
Suppose 30*d + 669 = 2739. Let h be (-4 - -1)*(-158)/(-6). Let g = d + h. Which is bigger: -8 or g?
-8
Let c = -9079 - -8442. Is 1/4 > c?
True
Suppose 10 = 3*d - 2, 2*j + 4*d = 86. Suppose -4*h - 2*i = j + 121, 5*h + 5*i = -205. Let x be (-13 - -63)/(-1) + 12. Is x less than or equal to h?
True
Let u = 54 - 51. Let q(h) = 3*h - 5. Let i be q(u). Let t(b) = 2*b**2 + 3*b + 5. Let d be t(-2). Which is greater: d or i?
d
Suppose -16*q - 32280 = 13827 + 7957. Which is smaller: -3378 or q?
q
Let g be 17/21 + 4060/(-2436). Let v be (-1)/(-2)*(1 - -1). Suppose -2*z - v = 1. Is z not equal to g?
True
Let u = 1842 + -1843. Are 1585 and u unequal?
True
Let p = -8 - -4. Let r(j) be the second derivative of j**3/6 + 5*j**2/2 - 234*j - 2. Let b be r(p). Which is bigger: 8 or b?
8
Let i be (-4)/(-18) + 0 + (-22672)/84366. Let a = -0.4 - 1.6. Is a < i?
True
Let w = 430448/5 - 85533. Which is smaller: w or 557?
w
Suppose 0 = 1208*t - 1076*t + 528. Are t and -191/47 equal?
False
Let c = 164 - 142. Suppose -5*w = 5*l + 15, -18*w - 20 = -c*w + 4*l. Which is smaller: w or 1/104?
1/104
Let i = -9923 + 9940. Which is smaller: i or -9.7?
-9.7
Let v(r) = -322*r - 8243. Let i be v(-22). Which is smaller: -1170 or i?
-1170
Let b be (-96)/3*(-1 + 3). Let r(v) = -v**3 - 10*v**2 - 15*v - 15. Let j be r(-9). Let t = j + b. Is t != -26?
True
Let h = 3995 + -4063. Is -78 greater than h?
False
Let c = -632/9 + 70. Let x = 87.7 - 37.4. Let q = 51 - x. Which is greater: c or q?
q
Suppose 2*p + 41 + 25 = q, 3*q - 4*p - 198 = 0. Let d be (-48)/(-22) - (4 + (-252)/q). Suppose -d*x - h = 22, -19 - 5 = 4*x - 3*h. Which is bigger: -8 or x?
-8
Let r be (3 + 1 + -9)/(1/(-3)). Let n be 22/(-55) + (2 - 39/r). Let p be (-4 - n - 1) + 994/248. Is p at least as big as -1?
True
Let f = 231 + -188. Let c = -44 + f. Which is bigger: c or 1?
1
Let v = 57 + -57.27. Let z = -2534 - -2593.27. Let n = v 