rue
Let z = -23782.858 + 23782. Is -8 greater than z?
False
Let a = 222 - 222. Let p = -117.951 + 118. Let l = p - -4.151. Is a at least as big as l?
False
Let s = -6 + 4. Let n(k) = 8*k - 84. Let l(o) = -3*o + 31. Let m(b) = 11*l(b) + 4*n(b). Let g be m(s). Which is smaller: 3 or g?
3
Let m = -421.9663 - -422. Let s = m + -0.1937. Is 0.05 > s?
True
Let z = -0.20661 + 0.04661. Is 29 > z?
True
Let q = -0.59 + 0.66. Let o = -95.07 + q. Let x = o + 95.1. Which is greater: -2.7 or x?
x
Let y(g) = -2*g + 5. Let i be y(2). Let l be (-3)/(-9)*((-108)/(-111) + -1). Which is bigger: l or i?
i
Suppose 148 + 60 = -16*v. Suppose -11 = 3*y + 4*t, 4*t + 0*t = -5*y - 21. Let z = y - v. Which is greater: 58/7 or z?
58/7
Let h be (-20)/((-10)/(-1))*-1*(-4)/(-8). Is h < -1/20?
False
Let o = 0.4 + -8.4. Let c = o - -22. Let q be ((-1 - -3)*(-18 + (-39)/(-2)))/(-9). Is q greater than c?
False
Let g be (-7)/(-2)*(-560)/(-196). Let q be (1 - (0 - 1))*5/g. Let f be (12/10)/((-333)/(-30)). Is f at most as big as q?
True
Let q = -20/6033 - 23992/42231. Let i = 40 - 38.3. Is q bigger than i?
False
Let q be (14/28)/((-3)/6). Which is smaller: q or -14/111?
q
Let f = 2/14003 - -69739/1932414. Let q = -1972859 - -1905781391/966. Let t = q + f. Is t greater than or equal to 0?
False
Let o be -5 + 6 + -7 + (-704)/(-52) + 4. Is 12 >= o?
True
Let s = 84 - -1. Let m = 96 - s. Let j(d) = -d**2 + 8*d + 9. Let r be j(m). Is r at least as big as -24?
True
Suppose 0 = -4*x + r - 12106, -r = 3*x + 1898 + 7192. Which is greater: x or -3029?
x
Suppose -3*p + 30144 = 3*p. Let d = -587803/117 + p. Let q = d - 2/13. Is q equal to -5/6?
False
Let w be (-3 - -2)/((-14)/(-322))*-8. Let t = -171 + w. Which is smaller: -4 or t?
-4
Let r(q) = -16*q**3 + 3*q**2 + 3*q + 1. Let b be r(-1). Suppose 2*s = 4*v - 18, 10 + b = 5*v - s. Let l(c) = c - 5. Let f be l(v). Which is greater: -3/13 or f?
f
Let v = 21 + -18. Let j be (v/(-6))/(1/2 - 0). Let q be 34/8 - 4 - j/(-36). Which is smaller: q or 1?
q
Suppose 0 = -i + 4*j - 11, 2*i - j = 2*j + 3. Suppose -16 - 11 = -i*l. Is -59 < l?
True
Let a be ((-14)/(-3))/(-2) + 0. Suppose -2*g + 99 = 3*c, -3*g + 75 = -4*c - 65. Let x be 45/(-12) - g/(-64). Which is greater: a or x?
a
Let h be 18/(-3) - -13 - 3. Suppose -12 = -4*j - h*c, -3*c - c + 6 = -2*j. Which is smaller: j or -7/25?
-7/25
Let p(u) = u**2 + 8*u + 14. Suppose -3*w + 8 + 7 = 0. Suppose 4*s + 19 = -w*k, 6*s + 15 = 3*s - 3*k. Let t be p(s). Which is greater: t or -1/3?
t
Suppose k = 2*r - 7, 222*k + 5*r - 17 = 225*k. Is k > -24/157?
True
Let y(f) = -f**3 + 8*f**2 - 3*f - 1. Let t be y(7). Let a(b) = 2*b**3 - 8*b**2 - 5*b + 5. Let z be a(5). Which is smaller: t or z?
t
Let h = -17/26 + -1/78. Suppose -96 = -5*p - 4*t, -4*t - 5 = -1. Suppose -17*z + p*z = -3. Which is smaller: z or h?
z
Let f = -11582 - -150496/13. Which is greater: f or -5?
-5
Let z(f) be the third derivative of f**6/120 + f**5/4 + f**4/24 - 7*f**3/2 + 21*f**2. Let p be z(-15). Let y = 117.9 - 118. Which is smaller: p or y?
p
Let c = 103/60 + -19/10. Let d be (-12)/30*(-4)/(-24). Let t = c + d. Which is smaller: t or 0?
t
Let m(q) = -q**3 - 38*q**2 - 327*q - 76. Let b be m(-24). Suppose -182 = o + 110. Is o greater than b?
False
Let c = 17806/11 - 1616. Let j be (-56508)/(-39611) - (-126)/(-99). Which is smaller: j or c?
j
Let w be (-1)/(-4) + 22/8. Let n = -22.73 - 3.27. Which is greater: n or w?
w
Let r be 97/(-9) + (-1)/(-1). Let c(t) = -738*t + 5157. Let l be c(7). Is r greater than or equal to l?
False
Let c(o) = 2*o**2 + 6*o + 9. Let v be c(-2). Suppose -v*g = 2*j - 69 + 34, 0 = g + 4*j - 25. Is -12 not equal to g?
True
Suppose 13*j - 9*j = 0, i + 5*j = 6. Suppose -i*a - 89 = 913. Does a = -167?
True
Let g = 21 - 75. Let n be (-11641)/63 - (-12)/g. Are -185 and n equal?
True
Suppose -15667 + 2203 = 88*h. Is h equal to 22?
False
Let c(a) = 309*a + 22. Let j be c(-13). Let i = j + 395500/99. Which is smaller: i or -1?
-1
Let w = 751 + -987. Let b = w + 235.3. Is b not equal to -7?
True
Let w be (3/(-6))/(9/18). Is w < 24?
True
Let i = -28 + 29. Let k be (-3)/i - (-6 + 130/(-15)). Let c(u) = 12*u**3 - u**2 + u - 1. Let y be c(1). Which is smaller: y or k?
y
Let i be (-2 + 36/16)/(5/((-260)/166)). Which is bigger: i or 0?
0
Let j = -749 + 749. Let o = 6627/38033 - 13/73. Is j at most o?
False
Let c = 3563674/9825 - 9068/25. Let b = 3 - 2.9. Is c equal to b?
False
Let s(m) = -19*m + 346. Let h be s(18). Let r(j) = -j**2 + 7*j - 14. Let f be r(6). Let a be 15/(-6)*f/4. Which is smaller: h or a?
h
Let b be (-2)/10 + (-14)/(-20). Let z be 165/(-143)*247/(-38). Which is greater: z or b?
z
Let b(g) = -151*g**2 + 10*g - 9. Let n be b(1). Let r = n - -3001/20. Are -1 and r non-equal?
True
Suppose 0 = -5*n - 6*p + 9*p + 54, 3*p + 9 = 0. Suppose -69 - 75 = n*d. Is d at least as big as -15?
False
Let m = -84.1 + 84. Let a = 0.0512 + 0.0968. Which is greater: a or m?
a
Let z be (-2)/65*5/(-4). Suppose -3*m + 10 = -0*m - i, -2*i = 4*m. Suppose -3*r = 9, -9*r + 10*r = m*a - 3. Is a at least as big as z?
False
Let a be 12/(-74)*1/3. Let x be 26 + -8 - (-9)/(207/(-437)). Are a and x non-equal?
True
Let q(u) = u**3 + 3*u**2 - 17*u - 3. Let t(n) = n**2 + 1. Let d(r) = q(r) - 3*t(r). Let w be d(3). Is w > -33?
True
Let h be ((-176)/24 - -6)*2/(-244). Let f be 8/18*((-7)/(-2) - 3). Is h at most f?
True
Suppose 0 = -l - 57*l - 77*l - 254205. Is l greater than or equal to -1885?
True
Let o = -116438899/5279 + 22057. Which is bigger: -1 or o?
o
Suppose -n + 4*g = -0 - 11, 0 = 2*n + 4*g + 14. Let s be (-1)/(63/6 - 1/n). Let m be -2 - (6/4 - 3). Which is bigger: s or m?
s
Let t = -1/3948 - -10567/10545108. Let o = -173623/10684 + t. Let d = o - -447/28. Do -2/23 and d have the same value?
False
Let d = -65 - -586/9. Let j = 59 + -48.1. Let y = 10.8 - j. Which is smaller: y or d?
y
Let i be -1 - (-69118)/(-21) - (-28)/21. Which is smaller: i or 0.3?
i
Let c(z) = -z**2 - 3*z + 41. Let j = 185 + -180. Let s be c(j). Is s greater than 2/119?
True
Let r = -178.3 - 522.2. Let u = -679 - r. Which is smaller: 0 or u?
0
Suppose 3*k + 4*u + 3 = 0, 0 = -4*k - 0*u - 5*u - 3. Let y = -1 + k. Suppose -3*l + 7 = 4*v, 2*v - l + 0*l - 1 = 0. Which is smaller: y or v?
v
Let f be (5/10)/((-2)/(-8) + 2/8). Is f > -9/379?
True
Let x = -13 + 11. Let r(v) = v**3 - v**2 - 3*v - 36. Let z be r(0). Let a be x/12 + (-6)/z. Which is bigger: a or 1/11?
1/11
Suppose 2*m = -8*m + 940. Suppose 4*a - m = -250. Are a and -40 unequal?
True
Let o = 3327/4 + -827. Let n be (12/(-14))/((-14)/98). Let x be n - 0/((-6)/2). Which is smaller: o or x?
o
Let y be (-63)/(-3474)*20/7. Let d = y + -3704/78937. Which is smaller: 0 or d?
0
Suppose 5*s = -5*m - 270, 0*s = -s - 5*m - 58. Suppose -z - 159 = 3*a, 110*a + 5*z + 132 = 108*a. Which is bigger: a or s?
a
Let i(c) = 9*c**3 + 29*c**2 - 11*c - 77. Let u be i(-7). Is -1665 smaller than u?
False
Let i = 176 + 353. Let c = i - 528.96. Which is smaller: -16 or c?
-16
Let u = -16627.065 + 16627. Do 1.6 and u have the same value?
False
Let p = -99/58 - -239/174. Which is smaller: p or 1969?
p
Let o(d) = -d**3 - 41*d**2 + 81*d - 97. Let j be o(-43). Is j not equal to 108?
True
Suppose -2258*g + 1136*g = -1130*g. Is g greater than or equal to 4913?
False
Let n = 0.012026 + 0.087974. Let b = -78.146 + 78. Is b < n?
True
Let i = 690 - 501. Is i at least 190?
False
Let v = -149335 + 32405693/217. Suppose 4 - 16 = 3*h - 5*c, -c = 5*h - 8. Which is smaller: h or v?
v
Let g(v) = -v**2 - 77*v + 3740. Let j be g(32). Do j and 251 have different values?
True
Let z = 3527 - 3632. Let s be (-2)/8 - 577/(-4). Let o = z + s. Are o and 39 nonequal?
False
Let f be (90/(-60))/((-3)/14). Suppose -f*v + 20*v - 78 = 0. Which is greater: v or 10?
10
Let g(s) = 7*s + 120. Let l = -196 - -179. Let m be g(l). Is m less than -3/154?
False
Let x be 1*182/(-13) - -2410. Which is greater: 1 or x?
x
Let z = -8 + 3. Let q be -1 + -17*(-1)/z. Let n(t) = -t**3 - 2*t**2 + 26*t - 13. Let k be n(4). Is k less than or equal to q?
True
Suppose 7144 = 362*u - 343*u. Is u < 13?
False
Let f = 1675430/1337589 - 2/40533. Is f bigger than 1?
True
Let a(x) = x**3 + 58*x**2 - 2*x - 116. Let k be a(-58). Let n = 6 + -4.86. Which is smaller: k or n?
k
Suppose -2*c - 7*c = 5256. Let l be c/1111 +