e 3 + -4 - 21/(-91). Is q at most r?
False
Let h = -977 - -977.11. Do -104/9 and h have the same value?
False
Let y(h) = -h**2 + 5*h + 8. Let i be y(6). Let v = -5 - i. Let m be -1 - ((-2)/(-1) + 7). Which is greater: m or v?
v
Let w be 2907/5634 + 10/(-20). Which is bigger: 0 or w?
w
Let x(h) = h**3 + 10*h**2 + 2*h + 11. Let c be x(-10). Let b = c + 16. Let k = 2859 - 2854. Is k >= b?
False
Let m be ((-630)/(-4585) + 0)*(-272)/6. Is m >= -6?
False
Let y(m) = m - 4. Let x be y(5). Let c be 2/(x/(-2)*-4). Suppose 15*n - 10*n + 5*k + 20 = 0, -2*n - k = 4. Is c at most n?
False
Let r(i) = -2*i**2 + 64*i + 9. Let f be r(27). Suppose -u - 5*a = 2*u + f, 0 = 3*u - a + 279. Let v be 158/u - -2 - 1/3. Which is greater: v or 1?
1
Let o(h) = -15*h - 29. Let v(t) = 17*t + 30. Let j(g) = -5*o(g) - 4*v(g). Let c be j(-7). Which is greater: -165/7 or c?
-165/7
Let u(t) = -2*t**3 - 4*t**2 - 5*t - 2. Let l be u(-5). Let h be 63/(-105) - (-5178)/30. Is l at most as big as h?
False
Suppose 1035 = 26*x + 645. Let v(g) = g**3 - 6*g**2 + 2. Let a be v(6). Let r be 13/(-3 - a*-2). Which is greater: x or r?
x
Let p = -3 + 3. Let v(h) = -9*h + 29. Let i be v(-11). Let o = i + -128. Is p not equal to o?
False
Let o = -1.3737 - -3.3737. Does o = 133/6?
False
Let b be ((-18)/12)/((-2)/((-16)/(-3))). Let c(h) = -8 - 6 - 9 - b - 3*h. Let i be c(-6). Are i and 2 nonequal?
True
Let u = 11 - 15. Let y = u + 5. Let z = 29044/35 - 830. Is z less than y?
True
Let r = 2024.103 + -2023. Let m = r - 0.013. Let k = 1.91 + m. Is 4 smaller than k?
False
Let r = 0.66 + 10.64. Let o = r - -3.7. Let b = o + -15. Is b != 23?
True
Let y(c) = -1253*c - 1183. Let s be y(-1). Let q be 686/3 + 10/(-15). Suppose g + 5*r = 65, -5*r + q = 5*g - 117. Is s <= g?
True
Let y be (-25)/10 + (-69795)/(-27846). Which is bigger: 0 or y?
y
Suppose -8 = 4*y, 0*r = -4*r - 4*y. Suppose -r*j - 782 = -770. Let f(x) = -2*x**2 - 5*x - 2. Let u be f(-3). Is j at least u?
False
Let z be (33 - 30 - 5068)*(1 + 18/(-15)). Which is greater: z or 1019?
1019
Let w be ((-734)/(-8))/((2 + -36)/(-816)). Are -1 and w non-equal?
True
Let b(r) = -2*r**2 - 9*r + 6. Let x be (-192)/36 + (-1)/(-3). Let j be b(x). Is -6/19 bigger than j?
False
Let c = 113 + -26. Suppose 8*j + 0*j + 696 = 0. Let i = c + j. Which is greater: i or -1?
i
Let t = 704 - 692.13. Let k = -17.47 + t. Let m = 73/3 - 24. Which is smaller: m or k?
k
Let x = -16/263 + 638/1841. Let m = 889203/262625 - 3471/955. Let u = 3/125 - m. Which is greater: x or u?
x
Let h(c) = -15*c - 51. Suppose -3*o + o + 1 = -3*l, -6 = -2*o + 4*l. Let w be h(o). Is 55 at least as big as w?
True
Let t(b) = -b**2 + 3*b + 7. Let o be t(6). Let m = 90/1277 - 127323/12770. Is o not equal to m?
True
Let i = -4443 + 2961. Is i < -1482?
False
Let l = -4890 + 4894. Is l != 0.328?
True
Let n = 29201 + -35811. Is -6609 greater than n?
True
Let v be (-156)/2*(-2)/6. Let n = -11101/3 + 3581. Let x = 120 + n. Is v at least as big as x?
True
Let i be ((-24)/30 - -1)*-5 - (-40)/32. Which is smaller: i or -112/3?
-112/3
Let y(m) = -18*m + 3. Let h be y(-3). Let j = -101 - -328. Let u = j - 169. Are u and h non-equal?
True
Let t = 240180/5593 - 2106/47. Which is greater: t or -1?
-1
Let s be (42/6 - (-14)/(-2))/(2 + 0). Are s and 26/413 nonequal?
True
Let n = -5089 - -5090. Which is smaller: -78/235 or n?
-78/235
Let p(h) = h**2 - 43*h - 322. Let j be p(-6). Is 6 not equal to j?
True
Suppose -6*b + 2*b + 2*n + 10 = 0, 3*b - 6 = 3*n. Suppose 0 = a - 4 + b. Let k be (48/3264)/((2 - 0)/4). Is a smaller than k?
False
Suppose 0*u = 11*u + 176. Let c be ((-2)/(-6))/(u/(-48)). Are c and -59 equal?
False
Let f = -53680106482/344223997 - -1470924/9413. Let j = f + -30/97. Which is smaller: -1 or j?
-1
Let a be ((-58080)/(-3195))/(-44)*(0 - 3). Which is bigger: 0 or a?
a
Let c be ((-438)/8)/(51/68). Let v = 12.99 + -13. Let w = 0.09 - v. Are c and w non-equal?
True
Suppose -2*z - 1608 = -4594. Is z at least 1490?
True
Suppose 3*u + 2*n = -1, 3*u - 2*u = 2*n + 5. Which is greater: 2/1347 or u?
u
Let q(f) = f**3 + 4*f**2 + 5*f + 4. Let z be q(-6). Let p = z - -175. Let i be 30/(-225) - p/(-15). Which is bigger: 13/3 or i?
i
Let n = 1383 + -1870. Which is bigger: 0 or n?
0
Let i = -74 + 42. Let u(a) = -54*a + 72. Let h be u(5). Let m = 165 + h. Which is bigger: i or m?
i
Suppose -2*r = -6*r + 24. Suppose r*y + 5 = 35. Is y not equal to 4?
True
Let k = -241 + 241. Let j(i) = 2*i**2 - 3*i - 2. Let t be j(k). Is -36/11 <= t?
True
Let c = -754045/469 + -509/469. Let p = c + 1605. Suppose 2*y + 33 = 2*k + 3*k, 4*y - 2*k = -26. Do p and y have different values?
True
Let m(z) = 2*z + 6. Let y be m(-4). Let f = 106.088 - 0.088. Is f greater than y?
True
Let j = 3259 + -3234. Let t be 102/14 - (-4)/(-14). Let r(s) = -s**3 + 7*s**2 + 5*s - 9. Let d be r(t). Is d at least j?
True
Let p(j) = j**3 + 2*j**2 - 7*j - 15. Let x = -132 + 128. Let r be p(x). Which is bigger: -6 or r?
-6
Let c(l) = 2*l**3 - 5*l**2 - 6*l + 25. Let b be c(5). Let n = b + -119. Let h = 7.2 - 10. Which is bigger: h or n?
n
Suppose 2*v = 13*k - 9*k - 7758, -3*v + 5796 = 3*k. Is 1937 equal to k?
True
Let r = -103 + 126. Let y = -49 + 29. Let m = r + y. Which is smaller: -2 or m?
-2
Let j(p) = p**3 - 24*p**2 - 81*p + 45. Let t be j(27). Let q be (-2 - (-95)/t)*3. Which is bigger: q or -51?
q
Let o be ((80/70)/((-36390)/35))/((-28)/6). Is o > -1?
True
Suppose 3*d - 63560 = 2*w, -58*w = -60*w - 3*d - 63524. Is w greater than or equal to -31771?
True
Let c = 2520 - 2882. Do c and -360 have the same value?
False
Let a = 0 - 0. Let n = -0.0444 + -26.2556. Let j = -64.3 - n. Which is smaller: j or a?
j
Let h = -10.741 - 0.059. Let c = 6.8 + h. Let q be (10/3)/((-7)/(-3)). Which is smaller: q or c?
c
Let t = -27 + 58. Let w = t - 6. Let h be -5*(-2 - (-105)/w). Is h smaller than -11?
False
Let g = -6143 - -6142.95. Which is greater: g or -1.61?
g
Let p(z) = 6*z**2 + 615*z + 1004. Let y be p(-109). Is y equal to -0.1?
False
Let r = 84 - 82. Let b(x) = x**3 - 5*x + 2. Let d be b(r). Let f be d - 3 - (3 + 62/(-11)). Which is greater: f or 0.1?
0.1
Let y = 1178286/13 - 91182. Which is greater: -546 or y?
y
Let k(l) = -4*l**3 - 3*l**2 - 2*l + 2. Let u be k(-3). Suppose d + u = 32. Let z = d + 58. Which is smaller: 2/191 or z?
2/191
Let f = 7247 - 7063. Let s = 153/5 + -31. Are s and f nonequal?
True
Suppose -5*v + 2*v = 4*j - 5, -2*v = -6. Suppose b = 2*l + 12 + 3, 3*b + l = 24. Let z be (b/2)/(-9) + 9/14. Is j at most z?
True
Let o be (6/(-27))/1 + (-427880)/(-171). Is o greater than 2501?
True
Let z be (-336)/(-169) - (2 + 0). Let i(n) = -5*n**2 - 24*n + 16. Let w be i(-11). Let y = w - -325. Which is smaller: z or y?
z
Let z = 1999 + -1998.23. Which is smaller: -3 or z?
-3
Let r(x) = -x - 9. Let g(t) = t**3 - 5*t**2 + 6*t + 3. Let p be g(3). Let u be r(p). Suppose -6*y - 198 = 12*y. Which is bigger: y or u?
y
Let m = -329269 - -3622946811/11003. Is m bigger than -1?
True
Let n be ((-3)/(-4))/((-36)/12). Let r(s) = -s**2 - 3*s + 17. Let z be r(-12). Let d be (-36)/(-306) + z/340. Which is greater: n or d?
d
Let y = 5488 - 5790. Do y and -302 have different values?
False
Let b(v) = -v**3 - 6*v**2 + 2. Let n be b(-6). Let t(j) = -4*j**2 - 19*j + 14. Let g be t(-5). Suppose -4*s + 26 + g = f, -2*s - f = -15. Is s smaller than n?
False
Let u = -35685 + 24683. Is u > -11002?
False
Let j be (-33615)/10584 - 20/(-32). Which is greater: j or -2?
-2
Let l = -240.22 - -241. Let h = -0.917 + l. Is 0.1 greater than h?
True
Let s = -20457 + 20612. Is -41 != s?
True
Let x = 24.99 - 24.892. Which is smaller: -0.11 or x?
-0.11
Let s be (-35)/(-168)*6 + -3 - -2. Are 362 and s unequal?
True
Let k = 13.23 + -110.23. Is -1/2 at most as big as k?
False
Let n(g) = 27*g - 108. Let s be n(4). Which is bigger: 14.57 or s?
14.57
Let b = 12.2619 + 0.4381. Which is greater: 0.4 or b?
b
Let f = -313 - -312.905. Let h = 0.225 + f. Is 4 > h?
True
Let g(v) = -v**2 - 120*v - 2230. Let f be g(-61). Is f at least 1368?
True
Let g = 3311 + -3549. Is -267 > g?
False
Let w = -1491 - -7451/5. Suppose -5*t = -2*a - 29, 3*t + 17 = -4*a - 2. Let k(p) = p + 6. Let g be k(a). Which is smaller: g or w?
g
Let k be (-169)/(-39) + -4 - 69018/18. Which is greater: k or -3833?
-3833
Suppose 3*l = 8*l + 15. Le