+ 139 + 350 = 0. Are -163 and o unequal?
True
Let b = 0.33 - 1.33. Suppose -442 = 4*n - o, -2*n - 3*o - 2*o - 210 = 0. Let t = 661/6 + n. Are t and b equal?
False
Let m be (-832)/(-18) - ((-170)/45 + 4). Suppose 0 = -26*o + m*o + 60. Which is smaller: -30/17 or o?
o
Let k be 2*5/30*27. Let n be (30/(-36))/(k/(-42)). Is 4 at least n?
True
Let g = -104.3 - 18.7. Let n = 1283 - 1416. Let h = n - g. Is h less than or equal to 1?
True
Let m be ((-69)/(-4531))/((-3)/(-4)). Let r be (-4 + 2/(-2) - -2)/(-136 + 133). Which is smaller: m or r?
m
Let i(h) = -8*h - 6. Let c be i(-14). Let x = c + -103. Suppose -x*v = 13 - 58. Which is smaller: 18 or v?
v
Let u be 4/1 - (-2)/(-2). Let j(s) be the second derivative of s**5/20 - s**4/3 + 2*s**3/3 - s**2/2 - 1575*s. Let b be j(u). Which is smaller: b or 24/11?
b
Let j be 6/21 + (-254)/7. Let q be (j/8 - -4)*2. Let t be 2 + q + 7/(-9). Which is bigger: t or -2/77?
t
Let j = 739 + -747. Let c be (-30)/j*320/120. Suppose 0*f + 33 = 3*f + q, -4*q = f - 11. Is f bigger than c?
True
Let n = -3.1192 - -3.4192. Which is bigger: 4941 or n?
4941
Let f = -4295 + 4351. Which is greater: f or 42?
f
Let a = -1.3026 - 21.6974. Which is bigger: a or -48?
a
Suppose -5*t + 5*f - 9*f - 512 = 0, -t - 98 = 3*f. Which is smaller: t or -114?
-114
Let n be 195/130*74*(-2)/159. Let d = n - -52804/37895. Is d at least 1?
False
Suppose -4*r + 2*n = 2, 7*n = r + 2*n + 5. Suppose r*a + 18 = 2*a - 5*s, -3*s - 11 = -a. Which is smaller: 1/136 or a?
a
Suppose -5*x + 5 = -0*x. Let w = -2042/9 + 14492/63. Which is greater: w or x?
w
Let u be (3 + (-3)/3)*(2 + -1). Suppose -20*p - 5 = q - 15*p, 5*q = -2*p - u. Which is smaller: q or 1/269?
q
Let o = 7.864 + -8.164. Is o < 32?
True
Let d be 1 - 204/(-28) - 2/7. Suppose -3*h = d*h - 22. Let g be 17/(-51) + h/(-3). Is -18/5 < g?
True
Let s be (-4)/(-6) + (-1403)/69. Let f = -1481/75 - s. Which is smaller: -1 or f?
-1
Let j(m) = m**3 - 26*m**2 + 18*m + 340. Let v be j(25). Is 160 bigger than v?
False
Let k = 225553 - 3690723740/16363. Which is smaller: k or 1?
k
Let h = -15418 + 15516. Is h < 105?
True
Let v = 5580/11 + -27339/55. Which is greater: v or -10?
v
Let z be 38/((-44)/33 + -2 + 4). Let y be (-963)/z - 28/266. Let p = 7 - 23. Do p and y have different values?
True
Let b = 39985 + -40004. Is b bigger than -749?
True
Let c = 379 - 563. Let i = c - -184. Is i > -1/8?
True
Let g be 1912/(-114)*(-4 - (-50)/12). Let x = g + 32/19. Is x smaller than -2?
False
Let n = -1551 - -834. Let w = n - -761.36. Let s = 44 - w. Which is bigger: s or 1?
1
Let t be (-1)/(1 - 0)*(391/23 + 768). Is -8628/11 <= t?
False
Let c be 96/816 - 43602/366282. Which is greater: -1 or c?
c
Let y = 173 - -277. Suppose -55*v + 40*v = y. Is v equal to -31?
False
Suppose -4*i - 5*f = 0, 9*i - 3*f = 7*i + 4*f. Is 2/1101 <= i?
False
Let r be (43 - 44)/(2/(-502)). Let d = 250 - r. Which is smaller: d or 4/299?
d
Let c(m) = 2*m**2 + 156*m + 2857. Let a be c(-80). Which is bigger: -2 or a?
a
Let w = 1063 - 1061.1. Let o = 2 + -4. Let p = w + o. Is p greater than or equal to 8?
False
Let j(w) = -3*w**3 - 28*w**2 + 46*w**2 - 4 - 7*w**2 + 9*w. Let o be j(4). Which is smaller: o or 19?
o
Let h = 1 - 2. Let i = 0.61565 + 0.56435. Is i bigger than h?
True
Let t = -273 - -275. Let f = 0.5 - 0.1. Let h = -5.6 - f. Which is greater: t or h?
t
Let l = -6.02 - -1024.02. Let r = l + -1044. Is -6 less than r?
False
Let x = -3.308 + -0.692. Which is bigger: x or -580?
x
Let d = 2198190 - 2198189. Let f = -29.9665 + 0.2265. Let k = -30 - f. Which is smaller: k or d?
k
Let x be ((-3)/(-6))/(2/4) - -63. Suppose -x = -0*q + 4*q. Let n be 4/2 + q/12. Do 47 and n have different values?
True
Let w be 135/1161*(-15)/(-7)*-1. Which is smaller: w or 0?
w
Let s = -63 - -93. Let x be (-8)/(-60) - (-1556)/s. Which is smaller: 53 or x?
x
Let t be 36/42*56/(-83). Is t at most as big as -1?
False
Suppose -31*d = -32*d - 12. Let t(b) be the first derivative of b**3/3 + 6*b**2 - 4*b + 3. Let a be t(d). Which is smaller: a or 3/7?
a
Let u = 155 - 152.96. Let r = u + -1.54. Which is bigger: r or -12?
r
Let q = 1157 - 606. Let u = q - 642. Is -92 >= u?
False
Let u be ((-10)/(-24))/((-18990)/840624). Let x be -19*(-1 + (3 - 1)). Which is smaller: u or x?
x
Let x(h) = -12*h + 61. Let i be x(5). Let v = -1 + 0. Let n be v/(-2) + (-36)/45. Is i greater than n?
True
Suppose 0 = 5*v + 3*m - 1300, -3*v = v - 5*m - 1077. Is 267 at least v?
True
Let r(f) = 46*f**2 - 4*f - 2. Let h be r(-1). Suppose -3*m = 4*b - 29, h - 18 = 3*b + 5*m. Which is smaller: 6 or b?
b
Let g(m) = m**2 + 23*m - 173. Let l be g(6). Which is greater: 2/1491 or l?
l
Suppose t = -0*t + 2. Let j be (-1 - -1)/(6 + -2) + -4. Let n be -1 + -2*t/j + -17. Does n = -17?
True
Suppose 1006 = 10*y - 1374. Suppose 9*d - 4244 = y. Which is bigger: d or 497?
d
Let i = 57/166 + 8311/1660. Let v = -23/4 + i. Let a = -10 + 11. Which is smaller: a or v?
v
Suppose -w - 12 = -3*g, -2*w + 4*g = 10 + 10. Let k(o) = -27 + o - 4 - 8*o + 2*o. Let t be k(w). Which is smaller: 1/67 or t?
t
Let c be (28/(-5))/(-14) - 888/(-5). Suppose -c*k - 8 = -180*k. Is k equal to 60/11?
False
Suppose 0 = -7*z - 73 + 31. Let g(l) = l**3 + 5*l**2 - l + 8. Let p be g(-5). Is p < z?
False
Let j be (326/(-55) + -2)/(110/(-1650)). Is 120 smaller than j?
False
Let n = 7262 - 7262. Is n smaller than 6?
True
Let k be 232/56 + (-42)/6. Suppose 0 = 4*h + 6*h + 22*h. Is h not equal to k?
True
Let q be 2/45*(-3)/(-1). Let o = -117 + 273. Let w = o - 156. Is q greater than or equal to w?
True
Let g(f) = 12*f**3 - 3*f**2 - f + 8. Let t be g(2). Let a = -91 + t. Are a and -1 equal?
True
Let h = 2.4 - 1.4. Let o be (3/((-18)/(-28)))/((-4336)/216 + 20). Is h less than or equal to o?
False
Suppose 5*k = -3*p + 1684, 3*k = 4*p + 8*k - 2242. Suppose p*f = 550*f. Which is greater: 1/18 or f?
1/18
Suppose 53 = 6*y - 1. Let w be -57*3/y + 8. Which is bigger: -7 or w?
-7
Suppose 4*d - 5*d = -4*x - 13, -3*d + 31 = -4*x. Suppose -57*t = -58*t - d. Let l(c) = -c - 23. Let a be l(-11). Is t at most as big as a?
False
Let z = -38267/9 - -29810/9. Let u = -935 - z. Let m(p) = p**3 + 5. Let h be m(0). Is h <= u?
False
Let b(s) = -3*s**3 + 2*s**2 - 23*s - 27. Let y be b(8). Which is smaller: -1620 or y?
-1620
Suppose -107*u + 4678 - 933 = 0. Which is smaller: 24 or u?
24
Let p be 280/(-35) - (-336)/40. Which is smaller: 2575 or p?
p
Let x = -3544 + 3404. Which is smaller: -3/7 or x?
x
Suppose 0 = 546*x - 593*x - 8601. Are x and 8 equal?
False
Let v(n) = -9*n**2 - 36*n - 6. Let k be v(-9). Let z = k + 390. Is z greater than 4?
False
Suppose 4*t + 1071 + 280 = 3*j, 2*j - t = 894. Is 452 less than or equal to j?
False
Let i = 1832 - 1827.452. Let x = 4.7 - i. Are -1 and x nonequal?
True
Let m(c) = -2*c**2 - 39*c + 552. Let r be m(-29). Which is greater: r or 40.6?
40.6
Let i be 2207/(-3) + 2/3. Let l be (46/24 + -1)/(i/28). Let n = l + -2/63. Which is greater: n or -1?
n
Let r be (-1)/(-2) - ((-1476)/8)/(-9). Let b be (-1 + -1)*115/r*2. Let a = b - 44. Are a and -22 nonequal?
True
Let z be (11 - 4) + 3*8/(-12). Suppose 25 = 5*y, 2*l - z*y + 88 + 59 = 0. Which is smaller: -59 or l?
l
Let c(d) = -136*d - 3856. Let f be c(-30). Is 2456/11 at least as big as f?
False
Let a be ((-2)/12)/((-1)/4). Let y = -558.8741 + -0.1259. Let c = -558.94 - y. Which is greater: c or a?
a
Let u = -21 + 48. Let c = 245.8 - 221.8. Let p = c - u. Is 3 not equal to p?
True
Let w be ((-1)/(-5))/(-1*(-3)/873). Suppose k + 14 = 74. Let f = k - w. Is -2 > f?
False
Let d be -13*1022/(-1001) - -11. Which is bigger: d or 24?
d
Let g be (-9)/(-231)*12/9. Let d be (1/(-4))/1 + (-60)/80. Is g less than d?
False
Let s = 13332 - 13251. Does 1222/15 = s?
False
Suppose -5*d + 3*x = -1063, 4*d + 4*x - 1053 + 177 = 0. Is d bigger than 210?
True
Let n be 6625/45 - (-2)/(-4 + -2). Is 147 smaller than n?
False
Suppose -3 = g - z, 5*g + 4*z = -z - 15. Is -0.442 greater than or equal to g?
True
Suppose -36*q + 4*x = -34*q - 6, -2*q + x + 9 = 0. Suppose -177 = u + q*g - 52, -4*u + 4*g - 620 = 0. Is -151 >= u?
False
Let o be (-1)/((8 + -4)/(-12)) - 3. Suppose o = -45*d + 49*d - 188. Is d > 47?
False
Let j = 22 - 9. Let q = 549247/7 - 78450. Which is bigger: j or q?
q
Let k = -60078 - -60075. Let a = 13 + -20. Let w b