
False
Let r(n) = -2*n**2 - 24*n - 25. Let h = -73 + 76. Let x(p) = 2*p**2 + 23*p + 24. Let i(o) = h*x(o) + 2*r(o). Let m be i(-9). Are -6 and m non-equal?
True
Let l be (15/7 - 2) + (-4)/(17472/(-5340)). Which is smaller: 2 or l?
l
Let h be (-1350)/240 + (495/(-616) - (-6)/14). Let b(n) = -2*n - 6. Let o be b(-6). Let g be (o/15)/(1/(-15)). Is g greater than h?
False
Suppose 4*i + 3*w - 342 = 0, 3*i + 4*w = -0*w + 253. Suppose -i*a = -92*a + 10. Which is bigger: 3 or a?
3
Suppose 173*g + 315 = 152*g. Is g at least as big as -14?
False
Let u = 1767 + -81279/46. Let q(s) = s - 4. Let x(r) = -10*r + 13. Let y(c) = 6*q(c) + x(c). Let d be y(-3). Which is bigger: u or d?
d
Suppose -4*h + y + 358 = -3*h, 2*h - y - 720 = 0. Suppose a - h = -a. Do 181 and a have different values?
False
Suppose -64 = 2*i + 8. Let w = i + 124. Let l = -705/8 + w. Is 1 smaller than l?
False
Let a = -0.20571 + 0.11751. Which is smaller: 3 or a?
a
Suppose 0 = -84*j + 82*j - 3*p - 53, -5*j - 4*p = 122. Let c = -57 - -7. Let b = j - c. Which is smaller: 29 or b?
b
Let n = -312209 - -4220753469/13519. Are 0 and n equal?
False
Let y = 101752 - 492581434/4841. Which is bigger: y or 1?
1
Let x be -1*(8 + (0 - -1)). Let h be (22 - -2)/(2/(-75)). Let s be (3/(-6))/((-50)/h). Are s and x unequal?
False
Let a be (-10)/13*(-66)/(-330) - (-1064)/(-13). Which is smaller: -35 or a?
a
Suppose -5*u - 31*l + 28*l = -92, 4*u = -l + 68. Are u and 406/25 nonequal?
True
Suppose -4*z = -2*o - 20, -2*z + 40 = -16*o + 10*o. Suppose 0*x = 4*x + 2*j - 32, 0 = -x + 2*j + 8. Suppose -12 = z*l - x. Which is smaller: l or 13?
l
Let h = 326 - 532. Let f be h/(-200) + 1/2*-2. Which is greater: f or 1?
1
Let d be (295/(-2596))/(5/(-18)). Is 32 smaller than d?
False
Let g(c) = -7*c + 290. Let k be g(41). Let a be 9/(315/20) - k/(-7). Which is smaller: a or -4/99?
-4/99
Suppose 1 = -3*o - 5*c + 16, c + 53 = 5*o. Let q be -3*14/o*(7 - 2). Let t = q - -14. Which is smaller: t or -10?
-10
Let k(z) = 3*z**3 - 34*z**2 + 29*z + 12. Let x(h) = 2*h**3 - 23*h**2 + 19*h + 8. Let o(f) = -5*k(f) + 8*x(f). Let w be o(13). Which is smaller: -76 or w?
-76
Let l be 8 - (-1952)/(-240) - (-157)/3090. Which is greater: l or 0?
0
Let l = 4391489/154 - 199622/7. Are l and 0 nonequal?
True
Suppose y - 50 = 11*y. Let r be y/(-1)*(-76)/15. Which is smaller: r or -24?
r
Let g be (-14 - -1)/(-52)*0*(2 + -1). Is g at least 20/579?
False
Let b = -12418.63 + 12454. Is b at most as big as -4?
False
Let a = -289987 + 290034. Suppose 4*j = 5 + 11. Suppose 0*v = -j*v + 184. Which is smaller: v or a?
v
Suppose -11*m = -9*m - 1250. Suppose -8*j + 185 - m = 0. Which is smaller: -56 or j?
-56
Let v be 928/(-6) - (32/(-12) - -2). Let d = v - -135. Is d at least as big as -21?
True
Suppose -u + 32 = -i + 3*u, -38 = i - u. Let g(a) = 16*a**2 - 55*a + 2. Let f be g(2). Is i greater than f?
True
Let h(u) = u**3 + 15*u**2 + 8. Let w be h(-15). Let g = -646 - -653. Is g less than w?
True
Let m = 20.4 - 64.4. Let z = m + 82. Which is smaller: z or 1?
1
Let v = 2.0912 + -0.0012. Let p = v - -17.91. Which is greater: -4 or p?
p
Suppose -3*h + 2154 = -4*x, 3*h + h - 2*x = 2872. Suppose -9*n = h - 115. Let i = n - -69. Is 13 < i?
False
Let n = 303714/13 - 23362. Which is bigger: n or -13/6?
n
Let u(z) = z**3 + 4*z**2 - 8*z - 3. Let f be 1*(37 + (1 - 2)). Let c = -42 + f. Let i be u(c). Does i = -27?
True
Let w(p) = p**3 + 52*p**2 + 53*p + 109. Let k be (-2 + 66/(-18))*27/3. Let a be w(k). Is -8 >= a?
False
Let t be 7/(-3) + 182/78. Which is smaller: -18/181 or t?
-18/181
Let z be ((-44)/16)/((-5)/20). Suppose -a = -4*g + z, 0 = -2*g + 6*g + 3*a + 1. Suppose -5*n + n + 69 = 5*d, 31 = g*d + 5*n. Which is greater: 51/4 or d?
d
Let y be ((-138)/(-460))/(27/219060). Is y <= 2438?
True
Let d(b) = 2*b - 36. Let r be d(21). Let a be (-620)/(-78) - 10 - (-4)/r. Is a smaller than -0.3?
True
Suppose 2*q = -16 + 4. Let l be (-2 - 0)*(-1 + q/(-5)). Which is bigger: 0.13 or l?
0.13
Let t = 8573/1040 - 9/208. Suppose -32*o + 25 + 135 = -128. Which is smaller: t or o?
t
Let i = -336.6 + 337.6. Is i greater than 49?
False
Let x(s) = -s**3 - 32*s**2 + 33*s - 3. Let m be x(-33). Is m smaller than 2372?
True
Suppose -6*x + 2*t = 390, -114*x - 189 = -111*x - 3*t. Which is smaller: x or -196/3?
x
Let f = 1589.7 + -2254. Let y = f + 665. Do y and -1 have different values?
True
Let o be 31/(((-40)/(-280))/(124/14)). Let b = -63431/33 + o. Which is smaller: b or 0?
b
Let z be 130*(-9)/(90/(-8)). Let k = z - 57. Let r = k + -64. Which is greater: -2/7 or r?
-2/7
Let g be -1 - 38*(-7)/(-6). Suppose -8*k - 373 = -5. Which is smaller: g or k?
k
Let w = 3960 + -3759. Is 212 at most as big as w?
False
Let x(k) = k**3 - 38*k**2 - 77*k - 99. Let l be x(40). Let f be l/(-2)*(-7)/((-21)/78). Is -271 at least as big as f?
True
Let u be 2/(232/(-342) - (-6)/9). Let j = -180 - u. Is -6 greater than j?
True
Suppose -5*f + 3*o - 328 = 0, 3*o = 3*f + 7*o + 220. Let u = -63 - f. Suppose 0 = u*v - 5 - 0. Is -2 less than v?
True
Suppose 4*h + 22 = 4*z + 6*z, 0 = -2*h + 2*z - 14. Which is smaller: -11/4 or h?
h
Suppose -926*s = -874*s - 141180. Is s less than 2717?
True
Suppose 0 = -2*x + 4*x. Let z(i) = 5*i + x*i**2 + 7*i**2 - 21 + 9*i**2 - 4*i - i**3. Let y be z(16). Is -6 less than y?
True
Let u = 536 + -525. Suppose -9 = u*m + 2. Which is smaller: m or -0.057?
m
Suppose 61*w = 135*w - 64*w - 810. Let k be (-5688)/(-70) + 2/14. Is k smaller than w?
False
Let b = 382714/55651 - 679/101. Let g = b - 6/29. Suppose 4*u = 2*s + 13 - 3, 5*u + 1 = -2*s. Is u > g?
True
Let s = -266 + 273. Let d(j) = -j**2 - 16*j - 15. Let u be d(-14). Let c = 21 - u. Which is greater: c or s?
c
Let v = -0.217 - 12.283. Let x = v + 16.5. Do x and -3/2 have the same value?
False
Let z be (-3 - 6139/(-2051))*(128 + -129). Suppose -c = 4*c. Is z at most c?
False
Let y be ((10/48)/((-22)/(-3)))/((-3157)/(-5412)). Is y < 0?
False
Let m be 63/(-27)*(-33)/77. Is -2/67569 at most m?
True
Suppose 11*n + 920 = 117*n + 124*n. Let v(b) = 6*b - 3. Let q be v(2). Is n <= q?
True
Let o(r) = -r**3 - 30*r**2 - 57*r + 51. Let u be o(-28). Let n = -87 + u. Let z = -2 - -3. Is n bigger than z?
False
Let c = 6.653 + 876.347. Which is bigger: c or 3?
c
Let z(g) = 136*g - 85. Let x be z(1). Which is greater: x or 80?
80
Suppose 0 = -0*b + 3*b + 3. Let c = 0 + b. Let v = 460022/69 + -6667. Which is smaller: v or c?
c
Let o(u) = -21 - 26 + 53 + 7*u + u**2. Let y be o(-6). Let v be (1 - 10/6)*21/(-49). Do y and v have the same value?
False
Let s(f) = -15*f**3 - 6*f**2 + 3*f + 21. Let l be s(-4). Let k = l - 449. Which is greater: 425 or k?
425
Let z be (-2)/(-8*9/(-504)). Let a be (1 + z/(-6))*2262/(-58). Which is greater: -129 or a?
-129
Let q be ((-4)/(-290))/(5/(-125)). Let m(y) = y**2 + 32*y + 248. Let d be m(-13). Which is smaller: q or d?
q
Let w be ((-8)/(-24)*-1)/((-4)/234). Let z(p) = 6*p**2 + p - 1. Let i be z(-2). Suppose -3*d - i = -4*d + m, 0 = -4*d - 4*m + 68. Is d greater than w?
False
Let n be (-2)/(-48)*-25 + 1. Let r(x) = 6*x**2 + 325*x + 677. Let y be r(-52). Is y not equal to n?
True
Let d be ((-4)/3 + 0)*3. Let j be 3 + ((-10)/d)/(2/4). Suppose -2*t = -j + 14. Which is bigger: -5 or t?
t
Let u(h) = 12*h**2 - 244*h + 60. Let p be u(20). Is -254/13 at least as big as p?
True
Suppose 3*u + 91 = -5*h, -23*h = -27*h - 5*u - 78. Which is smaller: h or -55/3?
-55/3
Let p = -1472108/193 - -7628. Is 0 less than p?
True
Suppose 643*i - 2*o - 5 = 638*i, i = -2*o + 1. Which is smaller: 16/311 or i?
16/311
Let z(j) = 6*j - 132. Let x be z(11). Let b = 349 + -409. Is x smaller than b?
True
Let m = 115 + -114. Let v be (m/(-7))/((-7)/(-2835)*5). Which is greater: -12 or v?
v
Suppose 5*u = -6*u + 88. Let z be 34398/624 - 1/u. Which is greater: 50 or z?
z
Suppose -4*r - 5*g + 299 = 0, 5 - 2 = -3*g. Which is bigger: 69 or r?
r
Let n = -6/337 - 1992/1685. Let c = 0 + -2. Do c and n have different values?
True
Let w be 6156/(-2394) - 151302/(-58856). Which is smaller: w or 1/7?
w
Suppose -576 = 35*i - 47*i. Suppose 0 = -55*q + i*q - 35. Let r be (-32)/14 + (-4)/(-14). Which is bigger: q or r?
r
Let a = 43 - 30. Let z be -1*(-2 - a*(-3)/3). Let h be 203/(-88) - -2 - 2/z. Which is smaller: 0 or h?
h
Let z be 1222/14 + 12/(-42). Let h be (-111