 or g?
g
Let n = 10545 - 10557. Is n less than or equal to -170?
False
Let t(x) = 4*x**2 - 176*x - 1176. Let k be t(-6). Which is smaller: -39 or k?
-39
Let u(f) = f**2 - 4*f - 29. Suppose -43 = -5*b + 3*q, b - 5*q - 12 - 1 = 0. Let t be u(b). Suppose 7*n - 2*n - 5*i - 20 = 0, t*i = 3. Are n and 16/3 unequal?
True
Let x be 2/1*(1 + 2). Suppose 9*b - 3010 = -5*b. Let d = b - 210. Is x bigger than d?
True
Let p = -56207/11 + 5099. Is -12 bigger than p?
False
Let s = 16.2 + -3.2. Suppose 14 = 1683*p + 14. Are p and s non-equal?
True
Suppose -1622*s - 7733 = -1633*s. Is s at least 704?
False
Let l = -12572 + 12574. Is l bigger than 413/120?
False
Suppose -7*t + 5*t + 3*c = -26, 6 = 3*c. Suppose 2*d = -5*h + t, -10*h + 14*h = 2*d + 20. Let v = -2.02 - -2.2. Which is smaller: v or d?
d
Let n = 2226 - 2227. Let u = 34 + -33.9885. Which is bigger: u or n?
u
Let z = 26901 - 26900. Let i = 18439/40 + -461. Is i at least z?
False
Suppose 256*c = 264*c - 32. Suppose -16*v - 8 = -20*v - 3*o, -c*o = -3*v - 19. Is v < -36/95?
True
Let y(p) = -2*p**2 - 27*p - 90. Let q be y(-6). Suppose -3*j + 3 = 0, -290 = -h - q*j - 4*j. Which is smaller: 287 or h?
h
Let p = -5325 - -5282. Let c = -9 - 35. Which is smaller: p or c?
c
Let a = -5256 - -5252. Let b = 22.8 + -19. Let k = a + b. Which is bigger: 3/14 or k?
3/14
Let u = 48 + -55. Let h be 28/(u*3/(-42)). Is 56 at least h?
True
Let p = -22244.96 + 22245. Which is smaller: 187/3 or p?
p
Suppose -18 = k + 24. Let t = k - -41. Let h be ((-60)/160)/(t/(-4)). Is -1 bigger than h?
True
Let c(k) = -3*k + 28. Suppose 2*o - 4*o + 10 = 0, -4*n + 23 = -o. Let l be c(n). Suppose -8 = m + l*m. Which is smaller: 1/72 or m?
m
Let m(w) be the first derivative of -26 + 1/2*w**2 + 18*w. Let l be m(-7). Is l greater than 12?
False
Let t = 9/7 + -157/133. Let j = -60.609 + 60.309. Is j at least t?
False
Suppose 0 = m + 1, -2*z - 26 = -3*m - 83. Suppose -80 = -v + z*j - 32*j, 0 = -3*v + 5*j + 160. Is v less than 59?
False
Let z = -38 - -42. Suppose -2*k = -t + k + 82, 79 = t - z*k. Let q = t - 7. Which is bigger: 83 or q?
q
Suppose g = 4*g - 9. Suppose p = g*p. Let u be ((-784)/(-2688))/(((-735)/20)/(-3)). Which is greater: p or u?
u
Let m = -0.1998 - -0.191. Let a = -0.1088 - m. Is a greater than or equal to 42/37?
False
Let r = 189.6 + -191. Let v = r + 1.2. Let h = 8 - 20. Does h = v?
False
Let m = -58 - -57.8. Let g = -0.013 + -0.051. Which is smaller: g or m?
m
Let g be 18096/2784*(74/(-26) + 2 + 1). Are g and -4185 non-equal?
True
Let g(h) = 2*h**2 - 2*h - 4. Suppose l = -8*l + 81. Let f be g(l). Which is smaller: 141 or f?
f
Let p be 115/35 + (-4)/14. Suppose p*w - 2 = 4. Which is greater: w or 6/7?
w
Let i = 15 - 3. Let l = i + -12.1. Let n = -0.93 + 6.93. Is l >= n?
False
Let f = -84806/6171 + 234/17. Let z = f + 58/8349. Let d(g) = g**2 - 62*g - 335. Let i be d(67). Which is greater: z or i?
z
Suppose -4*k - 5*u - 36 = -u, -66 = 5*k - 2*u. Let n be (-33 - -30)*(-8)/6. Let b be -11 - ((5 - n) + -5). Is b > k?
True
Let j be -10 + (-281883)/18795 + 25. Suppose -2*u - 5*f + 0*f = -12, 3*u = 4*f - 5. Are u and j equal?
False
Let f = 261 + -257. Suppose 14*t = f*t + 10. Which is bigger: 3/67 or t?
t
Let p = -6893 + -2730. Is p not equal to -9623?
False
Let x = -601 - -690. Let m = 983/9 - 109. Which is smaller: m or x?
m
Let j(g) = -g**3 - 38*g**2 - 101*g + 141. Let l be j(-35). Which is smaller: 28/561 or l?
28/561
Let m be (-18)/(-153) + (-10 - 475140/204). Do -2341 and m have the same value?
False
Let c = 0.9794 + -4.7294. Which is smaller: c or 0.7?
c
Let s(i) = -344*i - 2063. Let j be s(-6). Is -1825 at least as big as j?
False
Let n = 33634 - 97908575/2911. Which is bigger: -1 or n?
n
Let l be -2 - 6 - ((-56)/(-4) + 0). Let f be -2 - (-1 + 12/(-3)). Let u be (l/8)/((f - 0)/(-12)). Are 11 and u nonequal?
False
Suppose 0 = 2*v + 91 - 63. Let x be (-38520)/1008 + (12/v)/3. Are -39 and x equal?
False
Let p = -156 + 149. Let f(j) = j**3 + 9*j**2 + 14*j - 1. Let z be f(p). Is 4/157 greater than z?
True
Let y = 807 - 339. Suppose 0 = g - y + 273. Is 195 smaller than g?
False
Suppose 5*y - 60 = -5*s, -12*y + 9*y = 5*s - 24. Let m(h) = -h**3 - 8*h**2 + 6. Let g be m(-8). Is y at least g?
True
Let t be ((-1)/((-26)/1028))/((-48)/(-68)). Let x = 56 - t. Let f = x - -59/546. Which is smaller: -1 or f?
-1
Suppose 96 - 95 = -d. Let k be 4 - (-1)/d - 5. Let x be (-3)/(-6)*6*(-1 - k). Is x > 32/11?
True
Let m = -245 + 1487/6. Let u = 26/9 - m. Suppose 3*l - 5*s = -7, 2*l - 6 = -5*s + 6. Is u > l?
False
Let m = -8/1209 + 287/1209. Suppose 5*x + 25 = 5*p, -2*p + 2*x + 25 = -3*x. Is p at least as big as m?
False
Suppose 2*j + 3*g = -j + 12, 0 = 5*j - 3*g + 12. Suppose 2*c - r = -0*r + 4, 2*r = j. Suppose 5*t = 4*t + f + 7, 3*f + 14 = c*t. Which is smaller: -5/4 or t?
-5/4
Let h = -645.6 - -555.02. Let w = 91 + h. Let l = w - 0.42. Is 49 less than or equal to l?
False
Let a = 0.5284 + 1.0716. Is 4 less than a?
False
Suppose -5*v - 4901 = 3*q, 9210 - 2677 = -4*q - 5*v. Is q less than or equal to 1/2?
True
Let i = 20006/9 + -7662478/3447. Is i < 0?
True
Let i(o) = o**2 - 10*o + 4. Let c(d) = 2*d**2 - 19*d + 8. Suppose 58 = 11*f + 3. Let h(s) = f*i(s) - 3*c(s). Let p be h(7). Is p at least as big as 1?
False
Let h = -1488.8 + 1489.3. Which is smaller: -0.9 or h?
-0.9
Let n(f) = -f**2 + 4*f + 21. Let q be n(7). Let j = 25300397422161/117838 - 214704912. Let l = j + -1/886. Is l smaller than q?
False
Let a(n) = n**3 + 2*n**2 - 321*n - 3. Let g be a(-18). Is 591 at most g?
True
Let i = -1055/13 + 2510913/30940. Which is smaller: i or 1?
i
Let x = -937310/131 - -7155. Let h be 2*5/(-40)*0. Is x smaller than h?
True
Suppose 4093 = -40*z + 4133. Are 2/11681 and z non-equal?
True
Let s be -1*(-3)/(-6)*-7431*6/(-9). Which is smaller: s or -2474?
s
Suppose 8*m - 569 = 655. Let z = m - 58. Which is greater: 0 or z?
z
Suppose 27*j + 18*j = -70650. Which is bigger: -1569 or j?
-1569
Let w = 93639 - 409108781/4369. Is w at most -1?
False
Let i be (4/(-5))/((-2)/30). Let m be (i/15)/((-1)/50). Let u = 8975.8 + -8975.8. Is m at most as big as u?
True
Suppose -5*r + 42 + 53 = 0. Suppose r = 23*u - 4. Which is smaller: u or -186?
-186
Let g be ((-231)/(-9) - 26)*-3. Is 13/98 equal to g?
False
Let y be ((-133)/57)/((-30)/18). Is y less than 109?
True
Let x be 265944/60 + 1/(50/30). Is x >= 4434?
False
Let l(d) = -d**2 + 95*d + 220. Let j be l(-74). Which is smaller: -12285 or j?
j
Let m = 7295 - 7340. Which is smaller: -1/6 or m?
m
Let t = -56415 - -394902/7. Let x be ((-12)/16)/(2/(-16)). Is x greater than t?
True
Let u = 51 - 75. Let k = -3472/183 + -22/61. Let p = 19 + k. Is u at most as big as p?
True
Suppose -263*y + 148*y = -132*y + 17. Let n = -88063/78 - -1129. Which is greater: n or y?
y
Let p be 6/8*48/(-30). Let l(d) = 3*d**2 + 144*d - 1363. Let f be l(-56). Which is smaller: f or p?
f
Let p be ((-22)/(-396))/(3/42). Let m be ((-10)/(-35))/(1/28). Let a = m + -8. Is a greater than p?
False
Let x be (-2)/10 - 78778/2380. Is -32 greater than x?
True
Let j(w) = 3*w - 96. Let i be j(0). Let b = -111 - i. Let s(c) = -c - 16. Let v be s(b). Which is bigger: -1/96 or v?
-1/96
Let v = 216 - 222.5. Let s = -0.197 + 0.297. Which is smaller: v or s?
v
Let k be (((-20)/6)/((-36)/(-54)))/(1/(-86)). Which is greater: k or 432?
432
Let o = -2.45 + 2.471. Let t = o - 0.021. Which is greater: t or -58?
t
Let t be -1 + 4/10 + 9139/65. Let f = 223 - 88. Let d = f - t. Which is greater: d or 2?
2
Let k = -0.0504 - 7.3796. Let u = -1.57 + k. Let b = -0.306 - -0.006. Which is greater: b or u?
b
Let g = 65 + -65. Suppose -4*x + 16 = g, 8 + 4 = 2*t - 3*x. Suppose -8*h - t = 4*h. Which is bigger: h or -2/145?
-2/145
Let k = -118 - -129. Let a be (-7 + 8)*k + 0. Is 95/8 equal to a?
False
Let g = 2628.58 - 2531. Which is bigger: -0.1 or g?
g
Let z = 5518 + -11037/2. Let k = 13 + -14. Is k >= z?
False
Suppose -1442 = -29*c + 42*c + 90*c. Which is smaller: c or -250/17?
-250/17
Let w be (-23)/4 - (-8 - -4). Let r = -1341 - -2687/2. Is r > w?
True
Let r(o) = 2*o**2 - 5 - 6*o**3 + 4 - 104*o + 102*o. Let s be r(1). Which is smaller: -9 or s?
-9
Let x(s) = 2*s**2 + 96*s - 274. Let a be x(-52). Let j = 312 - 171. Which is greater: a or j?
a
Let f be 18/(-117) + (-379)/(-13). Is f sm