 s = -85. Are s and j nonequal?
False
Let x be (2739/6 + (-1)/(-2))/30. Let n = x + -77/5. Does n = 3?
False
Let z = 315 - 317.967. Let k = -891 - -891.033. Let c = z - k. Which is greater: -10 or c?
c
Let u = 470/13 - 25824/715. Let g = -227/1320 - u. Let d = 0 - 0. Is d less than or equal to g?
False
Let m = -82/7595 - -8/155. Suppose 4*w + 57 = 3*o, 72*w + 10 = 4*o + 74*w. Is m <= o?
True
Let i = 584114/539 + -11940/11. Let r = i + 1/196. Which is bigger: r or 2?
2
Let u be (4/(-30))/(92/(-230)). Are 209 and u unequal?
True
Let p be (4/(2 + -22))/(-18). Let t = -103/180 - p. Is t less than or equal to -1?
False
Let h(w) = 119 - 37*w + 9*w + w**2 - 6*w. Let u be h(4). Which is smaller: u or -3/476?
u
Let v(a) = -a**2 - 4*a + 14. Suppose -4*w + 16 = 0, -5*c = -4*c + 2*w - 2. Let r be v(c). Let p be (1/r)/(3/(-6)). Is p equal to 4/9?
False
Suppose 492 = 4*j + 5*l, 2*j - 2*l + 6*l = 240. Suppose 6*m - 3*m + 3 = 0, -5*n = 3*m + j. Let z = 1 - 26. Is n at most as big as z?
True
Let p = -129 - -256. Let x = 211 - p. Let j = -83 + x. Which is smaller: j or 0?
0
Let l be ((-2)/32)/((-5)/12). Let o = -1026049/11 + 93277. Is o smaller than l?
True
Let i be (-2)/(-4) + (-217948)/438368. Which is smaller: 0 or i?
0
Let s = -28 + 28. Let o be 1*(s + 14) + -3. Suppose -10*n = -o*n + 1. Which is greater: n or 3/4?
n
Let u(d) = 189*d**2 - 36*d - 35. Let g be u(-1). Which is smaller: g or 194?
g
Let r(i) = 5*i**2 - 24*i - 540. Let y be r(-13). Which is smaller: -2 or y?
-2
Let p be (4/(-2038))/(208/32 - (-7)/2). Does p = -1?
False
Let s be (-2)/8*2 + (-228277)/6006. Let c = s + 970/39. Is c less than -14?
False
Let x(y) = y**3 - 3*y**2 - 6*y + 7. Let r be x(4). Suppose 35*p - 4473 = 112. Which is smaller: r or p?
r
Let j(i) = -i**3 + 3*i**2 + 5*i + 1. Let o be j(4). Let d = -3377 - -3383. Which is smaller: d or o?
o
Suppose -5*y + 0*y - 4*o = -147, -5*o - 41 = -y. Suppose -4*v + y*n - 35*n = -64, -3*v + 30 = -3*n. Which is greater: 14 or v?
14
Let i = 343.9 + -425.9. Is -3 <= i?
False
Let m be 3 + -3 + 10 + -7. Suppose 0*t = -4*p + m*t + 133, -3*p = -t - 96. Suppose 4*f = -2*s + 136, -8*s = 4*f - 9*s - 124. Which is greater: p or f?
f
Let d = 517/127451 - 21/547. Are -1 and d equal?
False
Suppose 75*l = -839 + 2623 + 2191. Which is greater: 1204/23 or l?
l
Suppose -541777 = -295*t - 80387 + 111795. Is 1943 at least t?
True
Suppose x + 35 + 0 = -3. Which is smaller: x or -33?
x
Let y(c) = -2*c**3 + 17*c**2 - 6*c - 15. Let x be y(8). Let o be (-219)/72 - (-10)/15. Let l = o + 261/56. Which is smaller: l or x?
x
Let l = -1177 + 1092. Let d = -102 + 197. Let t = d + l. Which is smaller: t or -4?
-4
Let s = -3 + 53. Let v = 57 - s. Suppose -o = -v*o. Which is smaller: 7/8 or o?
o
Suppose -60*c = 45*c - 13012 - 16073. Are c and 275 equal?
False
Let r be (6/(-265))/(((-1246)/105)/((-12)/36)). Which is bigger: 1 or r?
1
Suppose -4*u + 5*y = -1609, 183*u - 186*u = 4*y - 1199. Is u less than or equal to 407?
True
Let n = -125 + 121. Let y = n - 22. Let o = y - -26.3. Is -5 < o?
True
Suppose -1397 + 1397 = 14*l. Let o be (-1 - 154/(-136))*(7 + -11). Which is bigger: l or o?
l
Let o = 37 + 503. Let z = o - 489. Which is smaller: z or 0.3?
0.3
Let s be 1/7*(-2 + 4). Let k = -296.69 - -295. Let r = k - -1.63. Are r and s unequal?
True
Let i(p) = -p**3 - p**2 + 16*p - 5. Let d be i(-5). Suppose 2*j + d = -3*j. Let o = 3.8 - 2.9. Which is smaller: j or o?
j
Let z = 6132 + -10100. Which is bigger: 0 or z?
0
Let o = 165.2 - 16.2. Let n = 239 - o. Let c = -90.1 + n. Which is smaller: c or -1?
-1
Let q be ((-4)/(-342))/((-1)/6). Let k be (-17 - -15) + (3 - (-3 + 1)). Suppose -5*v = k*y - 11, -5*y + 6 = 3*v - 7*v. Which is smaller: q or v?
q
Let s be -54*(32/12 - 3). Suppose 0 = -3*x - 6*x + s. Is 9.8 <= x?
False
Let h(m) = -m + 17. Suppose 0 = -3*p - 4*p + 98. Let r be h(p). Suppose -r*o - 5*n = -2, 9*o - 4*o - 3*n - 60 = 0. Which is smaller: 57/7 or o?
57/7
Let w be 30/24 + 3/222*-103. Is w equal to -1?
False
Let f be 4930/300 + -20 - 1/3. Let u(k) = -k**3 - 22*k**2 + 21*k - 51. Let x be u(-23). Is f at most as big as x?
False
Suppose 0 = 2*u + 4*w - 280, -3*u - 28*w = -25*w - 420. Let r be (3 + u/(-15))/(20/(-36)). Suppose 3*x + 5*j = 36, 6*j = 3*j. Which is smaller: r or x?
r
Suppose -2*l - 198 + 30 = 0. Let p = l + 86. Suppose 2*m - 3*z = -2*m, -p*m - 2*z = 0. Which is bigger: m or -3/14?
m
Let x be (42 + 19584/(-238))/((3/(-21))/(-1)). Is -283 greater than or equal to x?
False
Let c = -6276 - -6270. Is c at least as big as 66?
False
Suppose -5*g + 4*x = -15626, -2*g - 50*x + 6249 = -53*x. Is 3125 at most as big as g?
True
Let f = -135308.326 + 135441. Let h = f + 0.326. Let b = -133.2 + h. Which is smaller: b or 0.16?
b
Let b = 34548.8 + -34777.843. Let r = b - -229. Which is greater: 1 or r?
1
Let m(q) = q**2 + 17*q + 58. Let a be m(-11). Let d(y) = 15*y + 133. Let n be d(a). Is n >= 13?
True
Let r = -4909 + 4908. Which is smaller: r or -51/29?
-51/29
Suppose -x - 1956 = -5*x. Suppose -x = 4*i - 109. Which is bigger: i or -94?
-94
Let v be (-2)/(-2 + 682/291 + 16/(-48)). Let o(t) = 24*t + 22. Let z be o(-9). Is v greater than or equal to z?
True
Let q = 39290.67 + -39084. Let y = -207 + q. Which is smaller: y or 0.3?
y
Let y = -58 + 96. Suppose 10*x = y - 138. Is -12 bigger than x?
False
Suppose 4 = -c, 5*q = 4*c + 613 + 168. Suppose 70 = 148*g - q*g. Which is greater: g or -2?
-2
Let m = -406060/6918041213 + 14/140831. Is 1 at most m?
False
Let r = -120.836 + 121. Let g = r - 0.164. Is -0.052 greater than or equal to g?
False
Suppose -37 = 16*x - 373. Suppose 4*h + 22*c + 698 = x*c, 3*c + 876 = -5*h. Is -175 smaller than h?
True
Let j = -2.32 + 0.22. Let o = j - -0.1. Let t = -3.8 - o. Do t and 0 have different values?
True
Let a(h) = 4*h**3 + 46*h**2 + 56*h + 171. Let q be a(-10). Which is greater: q or 1273/6?
1273/6
Let k = 129 - 149. Let c be (-8)/(-2) - 0 - (-96)/k. Which is bigger: c or 17?
17
Let g be (4 - (5 + 3))*(-15)/4. Let y be 527/g - 60/450. Which is greater: 43 or y?
43
Let m be (14/3)/7*-9. Let y(b) = 2*b**2 + 9*b + 3. Let w be y(m). Let j = -172 - -172. Is j less than or equal to w?
True
Let s = 179/18 - 278/27. Let a(u) = u**2 - 27*u. Let n be a(27). Is n >= s?
True
Let i = 95 + 0. Let j = i + -82. Let m = -2137/3 - -725. Is j equal to m?
False
Let z = -490 + 495. Suppose -2*v - 400 = z*x + 578, -3 = -3*v. Is -2/3 <= x?
False
Let c = 16 - 14. Suppose 0 = 4*j + c - 6. Let a be j + (0 - 6/9). Which is greater: a or 30?
30
Let c = 120 - 109. Suppose 0 = -9*a + c*a. Suppose a = 10*r - 4*r + 18. Which is greater: -4 or r?
r
Suppose 3*z = -9*b + 13*b + 308, 4*z = 0. Which is smaller: b or -0.06?
b
Suppose -3*j - 2 = -b - 70, -3*j + 4*b + 83 = 0. Suppose -j*h + 358 = -41. Which is greater: 135/7 or h?
135/7
Let w = 80 + -99. Let n be (w + 21)/((-6)/645). Which is greater: n or -214?
-214
Let f = -53299/48743 + 86/79. Let u = -194/86997 + f. Is u greater than 1?
False
Let f = 13 + -21. Let b be 2/(f/12)*-1. Which is smaller: 42/11 or b?
b
Let g = 256 + -258. Let l be (-4 - (-24)/21)/(g/14). Let w be (-6)/(-21) - 152/(-7). Are w and l equal?
False
Let a be ((-4)/24)/(3399/27). Which is bigger: 1 or a?
1
Let x = 806 - 709. Let k = 98 - x. Is k at most as big as 460?
True
Let h = -109.2 - -95. Let s = -14 - h. Let r = 6.37 + 0.63. Is s not equal to r?
True
Suppose -73*y = -2*r - 69*y - 102, -5*r = -y + 210. Which is smaller: -39 or r?
r
Let w = -11/699 - -361471/5592. Is 66 less than w?
False
Let m = 122 + -1043. Let s = 117889/128 + m. Which is smaller: 0 or s?
0
Let n = 3.741 + -3.611. Which is bigger: n or -461?
n
Let u = -3.4 + 4. Let c = -45.387 - -45.2. Let t = 0.013 - c. Which is bigger: t or u?
u
Let p = -1351353 + 336473113/249. Let a = -166/3 - p. Are a and 0 equal?
False
Let v(t) = t**3 + 5*t**2 - 12*t + 2. Let g(s) = -s**3 - s**2 + 4*s - 3. Let o be g(2). Let a be v(o). Let c = -12 - a. Is c bigger than -2/13?
True
Suppose 0 = -c - 3*c + 104. Suppose -2*p = -4*p - 4*u + 4, -c = -3*p + 4*u. Let w(j) = -j**3 - 6*j**2 + 14*j + 55. Let y be w(-7). Is y <= p?
True
Suppose -5*i + 5*m = -8*i + 1825, 0 = 5*i + 2*m - 3010. Let g be (i/45)/(-10)*(-2)/(-12). Let f = 3 - 4. Is f equal to g?
False
Let a = 55.3 - 53.7. Which is smaller: a or -91?
-91
Let y = 88