o k and n have the same value?
True
Let l(b) = 2*b**3 - 22*b**2 + 5*b - 50. Let d be l(11). Suppose -y + 3 = 0, 3*y - y = 2*h + 4. Is h at most d?
True
Suppose 7*b - 55 = 5*b - 53*b. Let l be (6 + -106)*2/(-4). Which is greater: l or b?
l
Suppose 0 = -485*c + 495*c + 20. Is -31/17 bigger than c?
True
Let z = 253846079/2259 - 112371. Is 0 not equal to z?
True
Let v(d) = d**2 - 9*d + 9. Let k be v(8). Let f = 146 - 87. Let o = 42 - f. Which is smaller: o or k?
o
Let h = 14845 + -14845.1. Let s = -84 + 145. Is s smaller than h?
False
Let y be (-20)/(-190) + 946/38. Suppose -33*q - y = -34*q. Which is greater: q or 24?
q
Let y = -10663/9380 + -14/335. Which is greater: -1 or y?
-1
Let r be (1 + 0)*((-132)/27 - 41/369). Which is bigger: r or 143?
143
Suppose 563*m = 505*m + 5278. Is m >= 98?
False
Let v(m) = m**2 + 18*m + 4. Let w be v(-18). Suppose 0 = -3*r - 4*u + 52, -r + 15 = w*u - 13. Suppose 3*f = 9*f - 78. Which is greater: r or f?
f
Let d = -8 + 6. Let u be 549/1026 + d/4. Let z be 2*(-5 - -9) - 7. Which is greater: u or z?
z
Let a(f) = 104*f + 1934. Let k be a(-15). Do 379 and k have different values?
True
Let d = 71 + -62. Let v be 3/d - (328/(-6) - 1). Suppose -5*c - 5*k - 6 = -v, -k = -5*c + 80. Which is bigger: c or 14?
c
Suppose -4*f - 200 = -4*d, -2*d - 51 = -3*d + 2*f. Let r = d + -49. Let t be r - ((-3)/12)/((-1)/4). Which is smaller: -0.7 or t?
t
Let u(b) = 48*b**3 + 40*b**2 - 179*b - 52. Let y be u(6). Do y and 10682 have the same value?
True
Let l be (-5)/(-3)*(-72)/270*117/(-2556398). Are l and 0 equal?
False
Let v = -2899 - -5200. Which is greater: v or 2300?
v
Let o = 1666 + -46661/28. Let t = -0.196 + 0.196. Is t != o?
True
Let j(g) = 2*g**3 + 169*g**2 + 93*g + 760. Let a be j(-84). Let r = 1971 - 17695/9. Is a smaller than r?
True
Let k = -10407 + 10354. Is k greater than or equal to -3/5?
False
Let f be (8/12 - 2/2)*0. Let g be (0 + f)/(0 - 5/5). Let w be 34/(-9) + (-46)/207. Is g equal to w?
False
Suppose 32 = -17*r + 21*r. Suppose 0 = r*f + 4*f + 564. Which is greater: -45 or f?
-45
Suppose -40*r + 43*r = 3. Let g be r + 0 - (1 - (-21)/(-11)). Is 3 greater than g?
True
Let h = 0.11465 + 514.78535. Let w = -515 + h. Which is smaller: -122/3 or w?
-122/3
Let s = 0 - 0. Let u = -129313147/171304 + 5/21413. Let q = u - -756. Is q bigger than s?
True
Let c = 280.1 + -214. Let f = -62 + c. Let m = 7.2 - f. Is m less than or equal to 0?
False
Let q be ((-20)/12)/(13/3 - 4). Let l be (-5136)/1028 + ((-25)/1)/q. Which is greater: 1 or l?
1
Let x = 0.06 - -0.02. Let p be ((-42)/4)/(-7)*2/(-20). Let z = -1/10 + p. Which is bigger: x or z?
x
Suppose 3*k - 2*i + 21 = 0, 347*k - i = 356*k. Are -23/237 and k nonequal?
True
Let t be (-1)/(((-39)/(-867))/13). Are -288 and t unequal?
True
Let j be (2/390*3)/(16224/65 + -6). Is j >= 1?
False
Let y be ((-6)/(-8))/(1/(-4)). Let c = -3 - y. Let x = -34506 - -34507. Do x and c have different values?
True
Let z be ((-29)/1)/((-7)/(-3990)). Let x = z + 115935/7. Is 31 < x?
True
Let t(q) = q**2 - 9*q + 8. Let l(d) = -8*d + 70. Let k be l(0). Suppose 38*b + k = 45*b. Let u be t(b). Which is smaller: u or 16?
16
Let m be -11*(-5)/165*-3804. Is m bigger than -1268?
False
Let q = -0.124 + -0.29. Let i = 0.064 + q. Let u = i - -0.253. Which is smaller: u or 1/3?
u
Let w = 1141643/49878 - -1/5542. Let t = -421/18 + w. Suppose -y + 3*o - 8 + 20 = 0, 0 = 4*y - 5*o - 20. Do y and t have different values?
True
Let y = 635477/11 + -57730. Does 41 = y?
False
Suppose 33*k - 31*k = -8. Suppose 0 = -2*z + 8*z + 12. Which is smaller: z or k?
k
Let p(g) = -9*g - 57. Let t be p(-7). Suppose 145 = t*w - 11. Is w > 30?
False
Let j = 12360/31 - 516742/1271. Which is greater: j or -8?
j
Suppose 143 = -w - w - 5*o, 3*w + 225 = -4*o. Let b = w - -76. Which is bigger: b or -33/14?
-33/14
Let x(y) = 4*y**2 - 23*y - 5. Let b be x(6). Is b at most as big as -2/15219?
False
Let o(t) be the third derivative of t**6/120 + t**5/20 - t**4/12 - t**3/3 - 21*t**2. Let x be o(-2). Let n be ((x/28)/3)/((-2)/128). Which is smaller: 1 or n?
n
Let g = 130175 + -1792615/14. Let j = g + -2130. Suppose -26*f = 31 - 57. Which is smaller: f or j?
f
Let a = -0.0028 + -74.9972. Which is smaller: a or 22?
a
Suppose -7*z = 5*i - 5*z - 10, -i - 5*z = -25. Let a = 28127579 - 2081287669/74. Let s = a - 2070. Are i and s unequal?
True
Let p(d) = 67*d + 1856. Let t be p(-7). Which is bigger: t or 1390?
1390
Let l(j) = 120*j - 217. Let d be l(8). Let q = -766 + d. Which is greater: q or -121/5?
q
Let c(i) = -6*i + 3. Let t be c(3). Let u = -285 - 504. Let y be (-9)/u*(-5)/(t/(-2)). Which is smaller: y or 0?
y
Let p be (0 - -3)/(-3)*(-4 - 25). Let g = p - 55. Let i be (-48)/(-60)*(-1 - g/(-4)). Do i and -10 have different values?
True
Let f = -24 + 23.9. Let d(m) = -m**2 + 31*m - 17. Suppose -2*u = 4*t - 64, 4*u - 6*t - 117 = -3*t. Let g be d(u). Which is bigger: g or f?
g
Suppose -43351 = 5*q - z, q - 2*z + 4238 = -4443. Which is smaller: q or 1?
q
Let h = -467039/9 - -52160. Let j = -266 + h. Is 0 >= j?
False
Let s = -0.7006 - -6.7006. Let p = 0.01 + -0.09. Let r = p + 0.68. Which is smaller: r or s?
r
Suppose -6 = -2*d - 3*n, 5*d + 5*n - 10 = 2*d. Let a be d - 24/(-33)*-1. Which is smaller: -1 or a?
-1
Let r(g) = g**2 + 30*g + 143. Let k be r(-26). Let o be (-4)/(-26) - (-33)/k. Does o = 3/41?
False
Let r be 10931/12155 + 6/(-8). Let m = -1/220 - r. Which is smaller: 0 or m?
m
Let s = 26413 + -38377. Is -2/5 greater than or equal to s?
True
Let s be 4 + 3927/(-1170) + ((-1)/(-3) - 1). Let l = 4 - 3.9. Is l >= s?
True
Let g(t) = 146*t**2 + 6*t + 7. Let b(m) = 218*m**2 + 9*m + 10. Let w(y) = -5*b(y) + 8*g(y). Let a be w(-2). Is -1 equal to a?
False
Let b = -55.9 - -55.9. Suppose -3*z - 10 = 2*z. Let d be ((-16)/(-420))/(z/3). Which is smaller: b or d?
d
Suppose 3*s + 19 = -23. Let a be 4/s - (-225)/(-21). Let l be a/22*1/((-3)/186). Is l at least 30?
True
Let s = 17606 + -88028/5. Is s smaller than -7/647?
False
Suppose -105 = 3*a - y, -6*a - 5*y - 140 = -2*a. Let l be 14/(-49)*(-28)/(-4). Let n be ((0 + 3)/6)/(3/l). Is a less than n?
True
Suppose 14*l = -4*s + 11*l - 3317, -825 = s + 5*l. Is s >= -824?
False
Let p be (-42)/6 - -547 - 3. Let z = 425 - p. Which is bigger: -111 or z?
-111
Let g = 19831/4 - 4989. Suppose -r = -4*x + 14, 2*r - 3*x + 55 = 7. Is r <= g?
False
Suppose -2034*m + 1989*m = 1800. Is m at most as big as -355?
False
Suppose -5 = -3*w + 7. Let o(j) = 2*j + 11 - 2*j**2 - j**3 - 3 - w*j + 8*j. Let x be o(-2). Which is smaller: -1 or x?
x
Let q be 0 + ((-87)/27)/((-26)/(-60)). Let o = 75/13 + q. Which is smaller: o or -3?
-3
Let h = 639 - 638.994. Let c = -0.114 - h. Let d = 2.2 - 2. Is d bigger than c?
True
Suppose -5*v - 174 = 5*s - 4319, -2*v + 2484 = 3*s. Which is bigger: 825 or s?
s
Let p(f) = -2*f**2 + 11*f - 2. Let u be p(5). Let g be (-46)/112 - u*(-10)/105. Is 0.3 bigger than g?
True
Let b be (2*1*880/(-330))/(4/18). Is b < 0.387?
True
Let t be (47 - 51)*(-397)/(-4). Let j = 330 + t. Is j at least -67?
True
Let h be (-6)/(-75)*-5 - ((-355467)/(-98770) - 4). Which is greater: h or -1?
h
Let d = 796 + -796.0647. Let c = 58.0647 + d. Which is bigger: 5 or c?
c
Let m = -25 + 74/3. Let j = 186 + -943. Let c = j - -11359/15. Does c = m?
False
Suppose 862 = -125*w + 32 - 670. Let n = -19 + 46. Let b be n/(-2) - -2 - -1. Is b at most w?
False
Let m be (-160)/(-210)*-6 - -4 - (-2)/2. Let y be 0/(2 - 0 - 4). Are m and y equal?
False
Let m(a) = 2*a + 20. Let d be m(-6). Let b be 3*(2 - d/12). Let f be ((-8)/160)/(b/(-150)). Is 1 >= f?
False
Let z(a) = -2*a**2 - 28*a - 26. Let i(g) = -20*g - 154. Let n be i(-7). Let v be z(n). Which is bigger: -23 or v?
-23
Let z = -1279/99 - -142/11. Let f = -1639 - -1639. Which is greater: z or f?
f
Let l = -602 + 598.592. Let b = -0.592 + l. Is b at least -37?
True
Suppose 0 = 12*h - 24*h - 24. Let i be (h - -3) + -20*6/126. Is i less than -3?
False
Let x be ((-312)/(-40))/((-488472)/(-244410) - 2). Let s = x - -5478. Is s smaller than -1?
False
Let w(m) = -209*m + 7046. Let l be w(37). Is -691 smaller than l?
True
Let v be ((-3)/12)/((-50)/24 + 2). Suppose 0 = v*n - 1 + 10, -3 = -3*q - 2*n. Suppose 2*c - 66 = -q*a, 3*c - 21 - 8 = -a. Is a less than 19?
False
Suppose 3 + 3 = 3*r. Let v be r/550*(