11406. Let a be n(100). Do -214 and a have different values?
True
Let l be ((-6)/(-9))/(4 - 10/(-3)). Which is smaller: l or -39/8?
-39/8
Let q = -26657 + 372943/14. Which is bigger: -17 or q?
-17
Suppose 20 = -9*u + 1127. Let w = u + -125. Let i be 8/12 - 17/12. Is w greater than i?
False
Suppose -149 = -5*i + 3*t, -i - t - 124 + 149 = 0. Which is bigger: 24 or i?
i
Let k be 795/(-318)*(-4)/25 - 66532/(-70). Is 952 > k?
True
Let h = -250 - -85. Let g = -447875 - -447710. Is h bigger than g?
False
Suppose -b + 36 = -8*s + 5*s, 0 = -3*s - 3*b - 36. Let z be (-2)/(-7) + 0/s. Let o = 0.12 + -3.12. Is o < z?
True
Suppose -4*h - 1282 = 5*p, h + 3*p + 224 = -93. Is h != -2?
True
Let b(a) = a - 6. Let c be b(6). Let q be 18 + 2 - 15 - 412/82. Are q and c nonequal?
True
Let r = -7265 - -7262. Is -156/97 at least as big as r?
True
Let c = 4037 - 4034. Do 0.012 and c have different values?
True
Suppose -7*h = -2999 - 5576. Suppose 4*z - 5*w = -h, 4*z + 4*w + 633 = -547. Is -300 less than z?
False
Let q = -4.2 - 0.8. Let n = -229/6 + 75/2. Which is greater: n or q?
n
Suppose -76*u = -146*u - 170*u - 16080. Let d be (-2)/7 + 948/(-14). Is u != d?
True
Let v = 2281 + -93527/41. Is v greater than or equal to -12/5?
True
Let d = -28/25 + -63/100. Let z = 37/12 + d. Is 0 at least z?
False
Let a = 6203005586/163 - 38054537. Let l = a - 712. Are 1 and l equal?
False
Let r be (1/(57/136080))/(5 - 7). Let g = 1194 + r. Which is greater: g or 1?
1
Let i = 84 - 82. Suppose 0 = 4*a - 3*w - 451, 3*w + 2*w = i*a - 215. Suppose 6*d - a = 11*d. Is d at least as big as -67/3?
False
Let z = -40 - -8. Let m be (2124/8 - 0)/(138/8 - 9). Let y = m + z. Is 3 smaller than y?
False
Suppose 247*l = 252*l - 360. Let g be l/(-270) - 3*(-4)/30. Which is greater: g or 1?
1
Let x be (28/(-9))/(-14) - (4 - 175/63). Let b = -2026 - -474085/234. Is x greater than b?
False
Let n(l) = -10*l**2 - 30*l - 15. Let i be n(-2). Suppose -41 - 43 = -3*u. Let f = 37 - u. Which is smaller: f or i?
i
Let g be 1009/12 - (1 - -4). Let d = g + -236/3. Which is bigger: d or 0?
d
Let z be (34/(-6))/((-5)/15). Let b(s) = -s**2 + 22*s - 15. Let u be b(z). Let j be (6/u)/((-3)/(-2)). Is 0 smaller than j?
True
Suppose 4*b = -5*k - 4430, 19*b - 24*b + 7145 = -8*k. Is k at least as big as -5/3?
False
Suppose -850*v + 406*v = -417*v + 4077. Are v and -150 non-equal?
True
Let m = 105888914205965/3084 + -34334926259. Let d = m + -1579/3. Which is greater: 1 or d?
1
Let u be 24 - (3 + (-20)/12)*-3. Let t be -1 - (u/(-21))/((-4)/(-678)). Which is smaller: t or 0?
0
Let t = 2147 - 2147.2. Which is smaller: 434/17 or t?
t
Let m = -755.27 + 755.6. Let c = 2.03 - 2. Let y = m - c. Is -29 > y?
False
Suppose 2*b - 2*k = 3*b - 233, 5*b = 2*k + 1225. Suppose b - 1170 = 9*l. Is l not equal to -103?
False
Let b(w) be the third derivative of w**6/120 + w**5/30 - 3*w**4/8 + 2*w**3/3 - 40*w**2. Let q be b(4). Which is smaller: q or 65?
q
Let g(p) = -5*p**2 - p - 21. Let y be g(9). Let d = y + 340. Is d <= -96?
False
Let k be (-430)/4 - (-16 - (-330)/(-44) - -21). Suppose -3*c - n = 381 - 69, 3*c - 4*n + 312 = 0. Which is bigger: k or c?
c
Suppose -2*f + 3 = d, -23 = -3*d - 3*f + 4*f. Suppose -6*m = -d*m - q + 90, m - q = 90. Is 90 bigger than m?
False
Suppose -40*z - 8 = -42*z. Suppose -z*d = -20, 3*f - 4*d - 6 = -d. Which is bigger: 8 or f?
8
Let r be (-16662)/(-2082) - 5 - 3. Let q = r + -799/36435. Which is smaller: q or 1?
q
Let b be (-1 + 15/17)*2/(-2888)*2. Which is greater: b or -1?
b
Let w(m) = m**3 - 16*m**2 - 17*m + 9. Let r be w(17). Suppose 0 = 4*i - r*i + 5*t + 75, 3*i - 4*t - 47 = 0. Is i at least 4?
True
Let b(c) = c**2 + 13*c - 4. Let x be b(-14). Suppose 6 = -f - x. Suppose -5*i + 2*q = 82, -q - 2 = -2*i - 34. Is i <= f?
True
Let a = 2 - 0.3. Suppose -5*p - 929 + 916 = 2*g, 4*p = 4*g - 16. Is a at least as big as g?
True
Let y = 0.73 + 1.66. Let u = y + -4.39. Which is smaller: u or -0.12?
u
Suppose 8*g + 3*m = 4*g - 16, 4*g - m + 16 = 0. Let a be 69/g + (-3)/(-12). Let n be (0 + (2 - 3))*(-2)/a. Is n at most as big as -1?
False
Let p(u) = -2*u**2 + 13*u + 10. Let a be p(7). Suppose -w = a*x - 60, -2*w + 5*x = -7*w + 260. Which is smaller: 234/5 or w?
234/5
Suppose 49*o = 62*o - 26. Suppose -4*m + 0*m + 48 = o*s, -m + 12 = -3*s. Are m and 29 unequal?
True
Let l = -6134 - -6141. Which is smaller: l or 15?
l
Let u = 352.8 - 357.8. Which is smaller: u or -2.3?
u
Let d(f) = f**3 - 6*f**2 + 4*f + 9. Let b be d(5). Suppose 9*w = b*w + 340. Let n = -54 + w. Is n at most as big as 15?
True
Let d be ((-5)/15*1)/(8/7584). Is -318 greater than d?
False
Let l(w) = -5*w - 44. Let a(r) = 7*r + 24. Suppose h = v + 3 - 8, -5*v = 2*h + 10. Let q be a(h). Let d be l(q). Which is bigger: d or -2?
d
Let b = -671 + 690. Let u(f) = -3*f + 5. Let c be u(-5). Is c greater than b?
True
Let h = -27298/1207 + 384/17. Let s(v) = -14*v - 281. Let i be (-8)/(-22) - (-4480)/(-220). Let k be s(i). Which is smaller: h or k?
k
Let v be -1 + -13 + 7 - (0 - 5). Which is bigger: v or 29/5?
29/5
Let j(i) = i**2 - 124*i - 914. Let u be j(-7). Is 72 at least as big as u?
True
Let y = -5936.8 + 5937. Is y less than 216.8?
True
Let u(a) = 4*a**3 + 10*a**2 + 151*a - 1318. Let h be u(9). Do h and 3767 have the same value?
True
Suppose j = 6*j + 15, 0 = -2*q - j + 47. Let t be (5 - 187/33)/(4/(-3)). Which is smaller: q or t?
t
Suppose 0 = -3*o + 2*y - 683, -4*y + 241 = -4*o + 3*o. Is o at least -224?
False
Let i(w) = -14*w**2 - 2*w - 2. Let q be i(-5). Let k = -1200312811/3512847 - -1/270219. Let h = k - q. Do h and -3/4 have different values?
True
Let l = -37.141 - -37.3. Let r = l - -2.341. Which is greater: r or -2?
r
Let y be 2/21 + (-1573)/(-21) + -2. Which is smaller: 887/12 or y?
y
Suppose 0 = -3*w + 3*a - 2943, 4*w + 7*a = 5*w + 987. Which is greater: -981 or w?
w
Let z be (0 + 16/(-210))*(-18)/(-24). Let g = -1.3 - -0.3. Let u = 1 - g. Which is greater: u or z?
u
Let o(p) = 32*p**2 + 16*p - 15. Let z be o(1). Which is greater: 26 or z?
z
Let x = -177 + 189. Let v be x/(-20)*(-1)/3. Which is smaller: v or -11?
-11
Let d = -2198 - -2254. Which is bigger: d or 447/8?
d
Let v be (2 + -9)/((-34)/1411*1/(-2)). Is -581 greater than or equal to v?
True
Let m(z) = 37*z**3 - 118*z**2 + 466*z + 36. Let q be m(4). Is q less than 2380?
False
Let t be (-5980)/(-506) - 4/(-22). Suppose -5*v - 1 - 5 = 2*a, 0 = 5*a - v - t. Is a at least 20/9?
False
Suppose -r + x + 2 = 0, -2*r + 4*x + 4 = -0. Let q be r + 28/(-80) + -3. Let p = -1/20 + q. Does 0 = p?
False
Suppose -552 = 29*v - 6*v. Let u be 1 + (-114)/v + -6. Is 37 != u?
True
Let w be (357 + -9)/((-45)/(-6) + -7). Is w less than 698?
True
Let z = 0.334 + -151.334. Let l = 0.22344 - -0.77656. Is z greater than l?
False
Let i = 75646/45 - 1681. Suppose 0 = 2*d - 6*d + 100. Suppose -j - 10 = -2*v, 4*j - 5*v + d = j. Are j and i equal?
False
Let a(w) = w**3 + 5*w**2 - 3*w - 7. Let n be a(-6). Let x = -416 - -618. Let r be ((-4)/(-16) - x/8)*1. Is r less than or equal to n?
True
Let d = 6909.3 + -6925. Which is smaller: d or 0?
d
Let w be (4 - 3)*4 - 4. Suppose w = -25*d + 29*d. Is -1/33 greater than d?
False
Suppose 106*v = 111*v + g + 2395, -5*g = -4*v - 1887. Do -476 and v have different values?
True
Suppose -810*n = -802*n - 56. Is n >= 124/15?
False
Let r(q) = -q**3 - 54*q**2 - 120*q - 3550. Let n be r(-53). Does n = 130/71?
False
Let x be (-2 + (-4 - -4))*(-30)/(-160). Which is smaller: 33 or x?
x
Let u(g) = 5*g**3 - g**2 - 1. Let i be u(2). Let m be 154/i - 4 - 936/2265. Is 1 less than m?
False
Let m = -98 - 46. Let x = m - -145. Is 1 at least x?
True
Let j(x) = 17*x + 35. Let t be j(-6). Let m = t - -73. Suppose -m = 4*q - 6. Which is smaller: q or 3/7?
q
Let r = -9096 - -9102. Is -77/3 at least as big as r?
False
Let l be ((1 + 1)/(-2))/((-34)/(-340)). Let h be (15/l)/(45/(-12)). Is h less than or equal to -4/7?
False
Suppose 23*t + 1 = 22*t. Suppose 6*r + 2*k = r + 86, -2*k + 6 = 0. Suppose -r*o - 5 = -15*o. Is t not equal to o?
True
Let d(i) = -3*i**3 + 14*i**2 - 22*i + 192. Let j be d(9). Is -1067 smaller than j?
True
Let b = -725148/65 - -11157. Does 0 = b?
False
Let l(s) = 171*s + 1053. Let p be l(-6). Let f(i) = -9*i - 2. Let b be f(3). Let h = b + p. Is h <= 2?
True
Suppose 18327 = 74*v + 51775.