). Let n = 109659/16 + q. Is n bigger than -1?
False
Let r(j) = -j**3 + 11*j - 19. Let d be r(-6). Is 115 <= d?
True
Suppose -2*b + 4*h = 6 - 58, 3*b + 5*h = 100. Let j be (-8)/60 + 34/b. Is j <= 64?
True
Suppose -16 = u - 70*u - 154. Which is greater: u or -17/10?
-17/10
Let z be 0/(-1 - 0)*(8 - 9). Let o be (z - (0 - 12/(-16)))/3. Which is smaller: -34 or o?
-34
Let b = 56573 - 56446. Let a = 17/60 - -1/20. Is b greater than or equal to a?
True
Suppose -897 = -2*z + x, 2*x + 661 = 5*z - 1582. Is z greater than or equal to 1?
True
Let t(g) = 6*g**2 + 31*g - 78. Let q be t(-7). Which is greater: q or -104/223?
-104/223
Let d(y) = 2*y + 3. Suppose 0 = -j + 4*j - 3. Let h be d(j). Suppose 2*k + h*k = 217. Which is smaller: 29 or k?
29
Suppose 0*l + 127 = 5*l + 4*g, -5*g = 4*l - 107. Let v(o) = o**2 - 562*o - 12222. Let n be v(-21). Is l bigger than n?
True
Let g = 15289 + -15288.9. Do g and 253 have the same value?
False
Let i(l) = -l**3 + 24*l**2 + 90*l - 1160. Let c be i(16). Which is bigger: c or 2325?
c
Suppose x + 3*z = 0, 0*x - 5*z = 5*x. Let i be (-68)/(-18) + 10/45. Suppose i*h = h - x*h. Is h at most as big as 3?
True
Let d = -310 - -361. Suppose 6*s - 3*r = 3*s + d, s = -4*r + 22. Suppose -i = -4*i + 45. Which is bigger: i or s?
s
Let i be 3311 + -15*12/(-180). Is i <= 3315?
True
Let p = 0.17 - -0.83. Let j(l) = -l**3 + 6*l**2 - 5*l - 9. Let x be j(5). Let u be (48 - 2)*9/x. Is p greater than or equal to u?
True
Let n be 0 - -2 - 133/66. Suppose 4*l - 3*u - 18 = -u, l + 5*u - 10 = 0. Suppose 3*h + 3*d - 12 = 0, -2*d + 9 = -4*h - l. Which is greater: h or n?
n
Let n = -1.3 + 1.1. Let i = -1223.37 + 1224. Which is smaller: n or i?
n
Let i(c) = 188*c + 26. Let q be i(8). Let x be 4/((-5)/((-325)/q)). Let t = x - 3367/306. Which is smaller: -12 or t?
-12
Let m(x) = x**2 - 12*x + 24. Let w be m(10). Suppose 3*q = 4 - w. Suppose -6*f = -q*f. Is 0 not equal to f?
False
Let n be (72/10)/((-2)/(-40)). Suppose -n = 4*a + 28. Is -40 less than a?
False
Suppose 0 = -214*r - 5883 + 18295. Which is greater: 54 or r?
r
Let b = -3041/9 - -339. Let y = -11.9 - -11.87. Does b = y?
False
Suppose -4*x - 68 = -2*q + 3*q, 3*q - 4*x + 140 = 0. Let i be 24/(-36) + q/(-6) + 0. Let g be (-11)/(-44)*((-6)/i)/3. Which is bigger: 1 or g?
1
Suppose -4*k + 43 = 5*z, 4*k - 22*z = -18*z + 16. Let v be (2 - k)*(-1 + (-3 - -5)). Is v bigger than -4?
False
Suppose 22 = -16*w + 166. Suppose -2*f = 4*r - 26, -w*f = -5*f - r - 7. Is f <= -10?
False
Let d = -3808 - -41852/11. Let k = 16/11 + d. Let c(j) = -j - 5. Let w be c(-4). Is k > w?
False
Suppose -4*l - 7 = -3, -2*x + 4 = -2*l. Let k be (2 + 1115/(-565))*1. Which is bigger: x or k?
x
Let z be 543 - (0 - 6/6). Let m be z/119 + 7 + -1. Is 11 bigger than m?
True
Let h(g) = 44*g + 88. Let y be h(-4). Let c be (-8 - y)/8*(-3)/94. Is 1 equal to c?
False
Let g(k) = 20 - 2*k - 22 + 17. Let x be g(7). Which is smaller: 0 or x?
0
Let c = 3955 - 3957. Suppose 245 = -5*l - i, -l + 2*i - 245 = 4*l. Which is greater: c or l?
c
Let z(c) = c**3 + 16*c**2 + 40*c + 139. Let q be z(-9). Which is smaller: q or 348?
q
Suppose -2*y = 3*y + 20. Let i(f) = -15*f**2 - 571*f - 39. Let v be i(-38). Let d be y*((2 - 3) + v). Is d smaller than 8?
False
Let s = 346 - 341. Let o be (-139)/(-2) + (-8)/12. Let g = o - 69. Which is smaller: g or s?
g
Let r = -520 + 614. Are r and 12 equal?
False
Suppose 2*i - i - 5 = 0. Suppose -x = -6*x + 25, 0 = 2*n - i*x + 23. Let f be (6 + n)/(16 - (3 - 6)). Is f < 0?
False
Let h(m) = -m**3 - 12*m**2 + 3*m + 21. Let z be h(-12). Let q be 2/14*(-3 - z/3). Is -49 != q?
True
Let j(p) = 4*p**3 + p**2 - 110*p + 28. Let s be j(9). Are s and 2038 nonequal?
True
Let b(j) = j**3 + 3*j**2 - 12*j - 28. Let q be b(-6). Let x = -51 - q. Suppose -x*g = -11*g. Which is smaller: g or -2/401?
-2/401
Let s = 0.9009 + -6.7009. Are -14/13 and s nonequal?
True
Let z = 409 + -414. Let t = -1.1 + 0.77. Is t less than z?
False
Let x = 3188.8 + -3192. Is -3.2 smaller than x?
False
Suppose -2*a = -f - 7, -a - 2*f + f + 5 = 0. Suppose -5*y = -a*y - 849. Let i = 16127/19 - y. Is -1 < i?
True
Suppose -n = -3*g + 16, -n + 4*g - 32 = 3*n. Let h(u) = -u**2 + 8*u + 3. Let d be h(7). Let t = d - 16. Which is smaller: n or t?
t
Let i(p) = -p**2 - 191*p + 192. Let a be i(1). Are a and 20/331 non-equal?
True
Let p = -0.475 + -126.525. Let q = 137 + p. Which is greater: q or -0.04?
q
Let p = 101.77 - 102. Let l = -96.77 + p. Which is smaller: l or 1?
l
Let q(l) = l**3 + 6*l**2 - l - 9. Let v be q(-6). Let s be (-5)/5 + -3 - (-741)/95. Are s and v nonequal?
True
Let x be 15855/(-906)*((-29)/(-2))/((-30)/(-216)). Do -1825 and x have different values?
True
Suppose -59*s + 58*s = 458. Which is greater: s or -453?
-453
Let l be 366240/126 - (-28)/12. Is l != 2910?
True
Let l = -5650 - -3868. Which is bigger: -1781 or l?
-1781
Let y = 634 + -957. Let r = 126 + y. Which is smaller: -196 or r?
r
Let r(u) = 3*u**2 + 72*u - 440. Let p be r(16). Is 1480 equal to p?
True
Suppose a + 168 - 134 = -0*a. Are a and -51 equal?
False
Suppose -735 + 135 = -6*a. Suppose 0 = 2*f + f + o + a, -4*o + 8 = 0. Let y(z) = 5*z + 7. Let i be y(-8). Which is greater: i or f?
i
Let s = -1 - -2. Let p = 435.8 + -431.7. Which is bigger: s or p?
p
Let b = 232 + -228. Suppose -b*f = 5*c + f + 80, -c + 3*f = 36. Is c > -98/5?
False
Let j be (-20)/36*-6*(-72)/10. Let g be 23/9 + 28/63. Let o be j/g - -5 - (-2)/4. Which is greater: o or 3/7?
3/7
Let g = 2507.3 + -2370.3. Which is smaller: 25 or g?
25
Suppose 4*p + 3*l - 48 = 0, 4*p - 13 = -5*l + 35. Let t be p - -2 - (1 - -4). Let v be 2/t + 0 + 204/(-1161). Which is smaller: v or 1?
v
Let r be ((-108)/(-72))/((2 + 0)/(-36)). Let o be (r/(-2370))/((54/30)/3). Which is greater: o or 1?
1
Let i = -122 + 127. Suppose -4*v = 2*m - 2*v + 16, 2*v + 40 = -i*m. Are -4 and m equal?
False
Let c = 3434 - 3434.2996. Is c < 0.3?
True
Suppose 24*h - 14 = -0*h + 10*h. Is -1/1185 smaller than h?
True
Let i be (-4 - 12/(-4))*1. Let x be i - -2 - (13 + -17). Suppose 0 = 8*r - x*r + 36. Is r < -9?
True
Suppose 2*l - 294 = 7*f - 5*f, -405 = 3*f + 3*l. Are f and -149 nonequal?
True
Let w(f) = f**3 - 28*f**2 + 11. Let g be w(28). Let c = -217.6 + 218. Which is greater: c or g?
g
Let u = -18 + 72/5. Let v(c) = c**2 + 2*c - 3. Let f be v(-4). Suppose -3*d = -5*b - 8, -f*b + d = -0*d + 16. Which is smaller: b or u?
b
Let x = 845824/17 + -49730. Which is greater: x or 25?
25
Let x be 2 - (0 - 0)/1. Let v = 0.0349 + -0.1076. Let o = v - -26.0727. Which is greater: x or o?
o
Let j be 5/((-25)/26) - 4/5. Let d(n) = n**3 + 7*n**2 + 10*n + 25. Let b be d(j). Is b not equal to 4/31?
True
Let i = -52 - -120. Let k = i + -58. Which is smaller: 7 or k?
7
Suppose -3*b + 5 = -2*y, 5*y - 6 - 29 = -2*b. Suppose 4*v = b*z - 8*z - 4, 0 = -v - 3*z - 1. Let n be (240/35 - 6)*(-8 - v). Is -1 < n?
False
Let v = 11 - -55. Let d = -63.8 + v. Is d smaller than 0.04?
False
Let n = 250 + -250.371. Let d = -0.001 - n. Which is smaller: -1 or d?
-1
Suppose -3*t - 2*q + 1 = 0, -36*t - 3*q + 1 = -31*t. Do t and -9/13 have different values?
True
Let h = -13.473 + 2.603. Let l = h - -1.07. Let m = 10 + l. Are -0.03 and m non-equal?
True
Let k(u) = 117*u + 4. Let y be k(-1). Let p = 793/7 + y. Which is smaller: p or -13?
-13
Let u = -15 + -47. Let v be (3 + (-21)/6)*0/(-2). Suppose v = 5*w - w + 248. Is u smaller than w?
False
Suppose v + 32 = -0*v. Suppose 425 = -316*k + 333*k. Let x = v + k. Is x >= -8?
True
Let f(c) = -c**2 - 28*c - 39. Let k be f(-22). Suppose -2*a + k = -59. Is a != 77?
True
Let o(g) = -g**3 + 27*g**2 - 138*g + 2165. Let t be o(25). Which is smaller: 53 or t?
t
Let l be 3/(-4) + 48734/(-472). Which is smaller: l or -102?
l
Suppose 590*t = -544*t + 68040. Let q(f) = -14*f + 5. Let l be q(-4). Is l >= t?
True
Suppose -2*a + 3 = a, -3*c + a + 14 = 0. Suppose 4*n - 3*n = -p - 227, -c*p + n - 1165 = 0. Does p = -232?
True
Let y be (-4)/34 + (-57)/(-51). Which is smaller: y or 4/485?
4/485
Suppose 0 = 2*m + 2*n + 741 - 149, -3*m - 2*n - 891 = 0. Are m and -302 non-equal?
True
Let k(q) = -309*q + 6790. Let f be k(22). Is f at most as big as -1/8?
True
Let i = 7/351 + -42506/1755. Suppose 3*r = 5*u + 105, -5*r - 480 = 12*u - 167. Is u greater than i?
True
Let j = 5513/334 - 1/16