se 4*t = -2*u - 2*u + 48, 39 = -2*u + 5*t. Is u < h?
True
Let n be (0/(-1))/((-2)/(-1)). Let a be ((-171)/2793)/(8/(-28)). Is n >= a?
False
Let y = -23391 - -11789045/504. Is -1 not equal to y?
True
Let y(a) = 4*a**3 + 48*a**2 + 7*a - 18. Let p be y(-12). Which is smaller: -89 or p?
p
Suppose -34 = -5*p - c - c, -2*p - 3*c = -18. Let v be p/(-4)*40/15. Let l = -6 - -2. Is v not equal to l?
False
Let f be 1/5*-1 + (-79164)/(-45). Let a = f - 29889/17. Which is bigger: 2 or a?
2
Let w = -5038 + 5045. Which is greater: -132 or w?
w
Let f(g) = 584 - 296 - 275 + g**3 + 5*g - 8*g**2. Suppose -1 = -d + 6. Let i be f(d). Do 1/25 and i have different values?
True
Let a be 4 - (-4)/16 - (-1)/(-4). Let c be 4*(6 + (-13)/a). Which is bigger: 41/4 or c?
c
Let v = 3006 + -1800. Suppose v = -36*k + 30*k. Are k and -200 equal?
False
Let h(l) = -l**2 - 6*l + 80. Let m be h(7). Let f(t) = -t**3 + 5*t**2 - 2*t + 2. Let y be f(2). Let c = y + m. Is c less than 3/23?
True
Let v be (0 - 2)/4 - 2 - 36873/306. Which is bigger: -114 or v?
-114
Let f = 68 - 66. Suppose 2*v - f*t + 2 = 8, -2*v = -3*t - 11. Is -12/5 at least as big as v?
False
Let m(d) = 150*d + 1618. Let t be m(-12). Which is bigger: t or -185?
t
Let n be (1 - (0 + (-1235)/(-1275)))/(2/20). Which is smaller: 0 or n?
0
Let g = 3.682 - 6.682. Is 3.2 at least as big as g?
True
Let b be (-333)/54 + (-1)/(-6). Suppose -n = y + 3, -5*y + 2*n - 6 - 2 = 0. Let s be 8 + -12 + y + 1. Is s smaller than b?
False
Let k = 307991/459 - 671. Let f = 2056 - 2057. Is f >= k?
False
Let s = 111 + -167. Let d = -50 - s. Which is bigger: 0.05 or d?
d
Let j be 6/107*(-2)/3. Let m(y) = 283*y + 1415. Let v be m(-5). Which is greater: v or j?
v
Let z = -34060 - -34515. Which is smaller: 8622/19 or z?
8622/19
Suppose -m - 3 = 0, -5*h - 6 = -h + 2*m. Let i = 520211/27 - 19267. Which is smaller: h or i?
h
Let h be ((-2)/(-3))/(16/2136) - 3. Let v = -1283 + 1367. Is h < v?
False
Let z = 336 + -330. Let g = 19 - 11. Let d = g - z. Which is bigger: 1 or d?
d
Let l = 84.3 - 96.3. Is -3/193 greater than or equal to l?
True
Suppose -4*n + 8946 = 3*n. Let t be (-3 + n/30)/(4/30). Let b be 4/22 - 76/t. Which is greater: 0 or b?
0
Let m be (-2 + (-1)/(-1))/((3020/1200)/(-151)). Does m = 762/13?
False
Suppose -21*y + 333 = 354. Which is smaller: y or -2/31851?
y
Suppose 0 = 2*w - 4*t + 54 - 10, -26 = w - t. Suppose 0*r - 9*r + 243 = 0. Let s = r + w. Are s and -8/5 unequal?
True
Let j = 5 + -2. Let u(r) = -6*r - 148. Let t be u(-23). Let s be ((-11)/(-55))/(3/t). Is s <= j?
True
Let s be (-2)/(-6) - 33/126. Let i(n) = -3*n**3 - 78*n**2 - 2*n - 58. Let d be i(-26). Let w be (d/16)/(6/(-8))*-2. Which is bigger: s or w?
s
Let l(m) = m**2 + 11*m - 7. Let f be l(-6). Let d be ((-3)/2)/(-8 + (-462)/(-60)). Suppose -5*c - 2*j = 184, -4*c - 96 - 71 = -d*j. Which is bigger: c or f?
f
Suppose -5*k + 210 + 50 = -5*s, 3*s = 9. Suppose -3*c + j = -170, 6*c = 2*c - 3*j + 205. Is c > k?
False
Suppose 108 = -16*q + 25*q. Let g(i) = -i**3 - 6*i**2 - 6*i + 7. Let d be g(-5). Is d at most as big as q?
True
Let d(q) = -q**2 + 25*q + 1010. Let g be d(-41). Is g at most -1698?
False
Let q(t) = -t**3 + 25*t**2 + 4*t - 18. Let s be q(25). Let w be s*((-1)/(-1) - 0). Which is smaller: w or 81?
81
Suppose 0 = 5*q, -5*q - 33 = 6*s - 9*s. Suppose 0 = 2*c + s + 5. Let y be 4/(-6)*(23/c - 2). Are 2 and y non-equal?
True
Let u = -130 - 373. Which is smaller: u or -502?
u
Suppose 0 = 2*r - a + 4, -3*r + a = -a + 6. Let n be (-3 + 3/2)/(5/10). Let z be (2 - (-4)/(-3))*n/r. Is z < -2/47?
False
Let t = -100837380 + 18049733141/179. Let l = 882 + t. Is l at most -1?
False
Let h = 9613 + -9771.3. Is 1 greater than h?
True
Let z = 164 - 160.6. Let d = 0.22 - 5.62. Let x = d + z. Is 0.5 at most as big as x?
False
Let k be (-1)/23*(8 + 10/(2850/(-2277))). Which is greater: 1 or k?
1
Let q = -15.014 + 15. Let g = 2500.714 + -2499. Let h = g + q. Is h less than or equal to -2?
False
Let q = 351.442 - 351. Let t = -1.442 + q. Are t and -27/13 nonequal?
True
Suppose -5*v = 4*d + 10 - 16, 7 = 3*d + 5*v. Which is smaller: -350 or d?
-350
Let r be 64473/(-18) + 2/(-12). Let o be r/(-27) + (-5)/(-15). Is o >= 132?
True
Let f = 59 + -201. Let o = f - -146. Let b be ((-3)/2 + 0)*22/(-9). Which is bigger: o or b?
o
Let u = 65 - 69. Let p be (1 - (-8)/(-2))*u/12. Which is greater: -1/99 or p?
p
Let a be (2/(-138))/(9/54). Is a at most -11?
False
Let m = -404 + 403.757. Let c = m + 0.133. Which is smaller: c or 1/2?
c
Suppose 3*y + 16 + 44 = 0. Let c(p) be the first derivative of -17*p**2 + 216*p - 464. Let r be c(7). Which is bigger: y or r?
y
Let k = -6282 - -6281. Let s be 3/9*178/(-186). Let f = 3/31 + s. Is k not equal to f?
True
Let t = 206 - 207.28. Let j = 6.72 - t. Which is smaller: 1.4 or j?
1.4
Suppose 11*k - 5220 + 1348 = 0. Let q = k - 621. Is -267 > q?
True
Let n be (-6 + (-12389)/(-2067))*(-3 - 1*-2). Let d = -1 - -1. Which is smaller: d or n?
d
Let x(l) = -l**3 + 10*l**2 - 29*l + 118. Let z be x(8). Which is bigger: z or 337/24?
337/24
Suppose -l - 47*t = -45*t - 7, -5*l + 3*t + 22 = 0. Let a = -7 + 26. Suppose -a*s - 2 = -20*s. Is s >= l?
False
Let i be (14 - 15)/(4/(-12)). Let j be ((-105)/12)/(-7)*(-5 + 1). Is i bigger than j?
True
Let n be 897/3311 + ((-84)/(-49))/(-6). Let a = 10767/7568 - n. Is a != 2?
True
Let z = 21/526 - 39523/976782. Which is greater: 0 or z?
0
Let w be -4*((-4)/(-72) - 0). Let t be -6*(-4 + (-3)/((-108)/148)). Are t and w nonequal?
True
Suppose -8652 = 34*q - 8*q - 12*q. Is q equal to -621?
False
Let k = -1331769/83 + 16045. Is k greater than or equal to 0?
False
Let m = -9 - -13. Let t = -7826 - -7834. Suppose 0 = -t*i - m - 12. Which is bigger: i or -27?
i
Let g be (0/(-2) + 2/2)*3. Suppose -g*j - 2*a + 117 = 5, 184 = 5*j + 2*a. Let d = j + -30. Is d less than 6?
False
Let t be ((-5278)/406)/(-2*2/4). Suppose -4*x + 3*x = 4*y - 51, 2*y + 2*x - 24 = 0. Is t less than y?
False
Let w(h) = 3*h**2 + 6*h + 3. Let u(q) = 2*q**2 + 3*q + 2. Let b be ((-1)/(-2))/(5 + 204/(-40)). Let x(n) = b*u(n) + 3*w(n). Let t be x(1). Is 0 > t?
False
Let i = -2810372/11197879 + 4/39017. Which is bigger: 1 or i?
1
Let i be (1*(-21)/4)/((-4128)/384). Is i equal to 1?
False
Let b = -333.1 - -334.1. Which is bigger: b or 1/24?
b
Let o be (-5 + 9 - 10) + 84/64. Which is bigger: -6 or o?
o
Suppose -3*z - 2*n = -5*z + 1430, 2*z = -4*n + 1418. Let t = z + -710. Which is smaller: t or 36/17?
36/17
Let s = 39.5 - -4.5. Let b = -15 + s. Let m = b + -31. Which is bigger: m or -1/5?
-1/5
Suppose -5*c - 2*k = -144, c - 5*k - 49 = -4. Let p = -331 - -322. Let b(s) = 2*s**3 + 17*s**2 - 17*s - 42. Let d be b(p). Is c >= d?
True
Let q(p) = 3*p + 3. Let g be q(-1). Let y(v) = v**3 - 12*v**2 + 3*v - 4. Let i be y(10). Let m = 4696/27 + i. Is m less than or equal to g?
True
Suppose -3*s - 4*r - 2011 = 0, 746 - 76 = -s - r. Let c = -2026/3 - s. Is -5 > c?
True
Let y(b) = -9*b - 16. Let c be y(0). Let r be (-82)/c + 2/(-16). Which is smaller: r or 43/9?
43/9
Suppose 277*i - 104 + 8 = 280*i. Suppose -2*d + 132 = -6*d. Which is smaller: i or d?
d
Let c = 0.02035 + -0.08035. Let o be (-1)/7 - 2922/126. Let u = -23 - o. Is c smaller than u?
True
Let s(i) = i**2 - 4*i - 15. Suppose -21*m + 96 = -15*m. Let v = -11 + m. Let b be s(v). Which is smaller: b or -17/2?
b
Let q = 510913/24 + -61562/3. Is q at least as big as 766?
True
Let u = 1.878 + -2.278. Is u equal to 2215?
False
Suppose -5*p = 97*g - 96*g - 2, -3*p + 6 = -g. Which is greater: p or 3/3539?
p
Let j be ((-24)/(-9))/(2849/(-363) + -3). Is j less than or equal to 1?
True
Suppose -183*z - 102337 = 113874 + 2317058. Is -13842 not equal to z?
True
Suppose -43 - 451 = 2*v. Let m = v - -3213/13. Is 17/7 at least as big as m?
True
Let c be (1/5)/(29032/760). Which is bigger: c or 2?
2
Let k = -254 - -256. Let g be k/18 + ((-4704)/54 - 2). Is -89 <= g?
True
Let k = -9181.97078 - -9182. Does k = 2/3?
False
Let c be 52*2/32 + (-2)/8. Suppose -4 = -c*v + 5*k + 21, 0 = 5*k + 25. Is v greater than 1/66?
False
Let a = 50764 + -50766. Let c = 1955/6253 - 30/169. Is c bigger than a?
True
Let u = -13477 - -13512. Which is smaller: u or 104?
u
Let h = 2128 - 896. Suppose 17*k = 28*k - h. Is k less than 3?
False
Suppose 1075 = 27*l - 22*l - 6920. Which 