igger than -1?
False
Let u be ((-252)/(-147))/(0 + 2/(-14)). Let c be (-3 + 46 + 2)*12/u. Which is greater: -44 or c?
-44
Suppose 9*l = 44*l + 6*l + 2911. Which is bigger: l or -81?
l
Suppose j + 20 = 100. Let h be 0 + (3 - 2)*-79. Let s = h + j. Which is greater: 25 or s?
25
Let h be 14 + 2 + 2 - (-1 + -3). Suppose -3*l = -25*l - h. Is l <= -2?
False
Let n = -33 - -31. Let j(r) = r**3 + 3*r**2 + 5*r + 5. Let t be j(n). Let x = -8809/495 + 196/11. Which is smaller: x or t?
t
Let m be (27 - 0)/(-9) + 19/(-1). Let z = m - -21. Which is bigger: z or -9/11?
-9/11
Let b(x) = 60*x**2 - 44*x + 37. Let u be b(6). Do u and 1936 have different values?
True
Let b(k) = 2*k**2 - 177*k + 2485. Let g be b(71). Is g at least as big as 32/35?
False
Suppose -3*l + l = -3*l. Let i(n) = -n. Let m be i(l). Let v be (-6)/44*(-8)/3. Is m smaller than v?
True
Let z = -7 + 11. Suppose -k - 2*q + 2 - 11 = 0, -8 = z*k + q. Let x be (-12460)/64680 - (-2)/(-44). Is k bigger than x?
False
Let l = 532 + -530. Let v be -868 - 110 - -1*(0 - l). Which is greater: -979 or v?
-979
Let h be (87 - 19)*213/(-12). Which is bigger: h or -1/2?
-1/2
Let c be (15/(-5))/((-18)/28)*36. Suppose 0 = -20*r - r + c. Is r at most -3?
False
Suppose 6*c = -4*c + 24*c - 4*c. Do -3/2077 and c have different values?
True
Let n be -2 - 3 - ((-723)/90 + 3). Let t(l) = -7*l + 3 + 8*l + 5. Let a be t(-9). Which is greater: a or n?
n
Let i = -743/38 + 400/19. Which is greater: i or -1122?
i
Let t = 0.96 + -1. Let v = -0.06 + t. Let c = 8.9 + -11.7. Which is smaller: v or c?
c
Let j be 29/(-2) - 15/(-6). Let y be (j/(-130))/((-4)/(-10)). Which is greater: 0 or y?
y
Let p = -1526 - -1819. Suppose -2*a - 2*a = -1168. Is a at most p?
True
Let x = -13 - -19. Let f = x + -7.8. Let g = 983 + -981. Is g < f?
False
Let f(z) be the third derivative of z**6/60 + z**5/6 - 11*z**4/24 - 15*z**2. Let h be f(-6). Let q be h/8*(-80)/180. Which is bigger: -1 or q?
q
Let h(n) = -23*n**3 - 7*n**2 + 11. Let v be h(5). Let l = -355561/117 - v. Let s = -24 - -24. Does l = s?
False
Let v be -2 - 7 - (-4 + (-14 - -6)/(-8)). Suppose -20 = -2*l + 8. Which is bigger: l or v?
l
Let m = 53/136 + 4/17. Let q(j) = 4*j + 66. Let z be q(-16). Suppose -26 = -11*c - z*c. Is m equal to c?
False
Let h(y) = -2*y**2 + 245*y - 1506. Let t be h(116). Which is bigger: t or 29?
29
Let x = 153169/2697 + -1695/29. Which is bigger: x or -2?
x
Suppose 2*p + 8 = 0, -4*p = -4*i - 0*p + 48. Let f be 2/i + 15/(-60). Which is bigger: f or -3/176?
f
Let b be -3 - -7 - 222/55. Let x(r) = -r**2 - 10*r - 15. Let g be x(-2). Which is greater: b or g?
g
Let u = -24991 - -24990. Which is bigger: 2/9573 or u?
2/9573
Let d(t) = t**3 + 23*t**2 + 42*t - 4. Let y be d(-21). Let v be -3 - (-12)/y - -7. Is 130 > v?
True
Let g = 3.49442 + 787.46058. Let o = 787 - g. Let t = 0.045 - o. Is -15 greater than or equal to t?
False
Let d be (-1)/5 + -2 + 5 + 1. Let z = -52 - -55. Suppose 3*h + z = -2*p, 5*p + 5*h + 3 = p. Is d equal to p?
False
Let g = 30 - 16. Let u be 315/18*30/g. Let i = u - 37. Is i greater than -11?
True
Let x be 6/(-21) + (-135)/42. Let p = x + 93/26. Let k be 24/(-11 - -7) - -5. Which is bigger: p or k?
p
Let f = 573 + -391. Let d = f - 183. Which is smaller: d or 0.14?
d
Let o = 123 + -96. Suppose -5*k - o + 37 = 0. Suppose 32 = -k*s - 0*s. Which is smaller: -13 or s?
s
Let g be (-4 - 1) + (-245)/(-63). Let w = -27 - -27. Let c = w - 0. Which is smaller: g or c?
g
Suppose 0 = 3*r - 3*t - 144 - 114, -30*r + 2272 = -2*t. Suppose 3*n - 228 = -3*y, 4*n + y - 202 = 105. Does n = r?
False
Let w = -403.3 + 402.3. Is -433 at most w?
True
Let v = 16.05 + -0.35. Let r = -3782 - -3781. Is v not equal to r?
True
Let q = -27.165 + 27.265. Is -10.95 at most q?
True
Suppose -9*d - 3*d = -1848. Let y = 153 - d. Which is greater: -17/16 or y?
y
Let k be -2 - (-5)/1 - (93 + -1). Is 2.1 bigger than k?
True
Let j be (-7 + 1)*(-4)/3. Suppose -j*t + 6*t = -m, -2*t - 3*m = 0. Is -94 at most t?
True
Let o(m) = -m**3 + 6*m**2 + m - 6. Let d(x) = -6*x**3 + 31*x**2 + 6*x - 28. Let b(c) = -2*d(c) + 11*o(c). Let j be b(-3). Are -63 and j nonequal?
True
Let p be 68/(-510) + 48/225. Is 27 <= p?
False
Let g(a) = -a**3 + 13*a**2 - 26*a + 11. Let t be g(10). Let q(c) = 0*c**2 + 48*c - c**2 - 37 + 25*c - t*c. Let x be q(19). Is 20 at least as big as x?
True
Let u = 21978 - 21978.3. Do -4/1177 and u have the same value?
False
Suppose 3*g + 10 = 5*g. Suppose 0 = 3*n - 9, 5*b + g*n + 209 = 3*n. Which is smaller: -45 or b?
-45
Let w = -14 + 29. Let a(b) = b**3 + 2*b**2 - 21*b + 13. Let p be a(0). Does p = w?
False
Let a = -49 - -44. Let w be a/(-7) - (-2)/7. Suppose -w + 8 = t. Is t at most as big as 6?
False
Suppose -155*l + 27 = -146*l. Let m be -1*(9 - -28 - l). Suppose 4*g + 180 = -g. Which is smaller: g or m?
g
Let u(x) = 141*x**2 + 3*x. Let l be u(-1). Suppose -4*k = -k + l. Let i = -111 - -64. Is i > k?
False
Let v = 275 - 277. Let i = v + 5. Which is smaller: i or -1/13?
-1/13
Let x(z) = -71*z - 26. Let p be x(2). Let g = p - -109. Which is bigger: g or -54?
-54
Let t = -177 - 126. Let c = t - -476. Which is bigger: -0.1 or c?
c
Let m = 99/70 - -3/35. Let u be -3 + ((-369)/(-93) - 1). Let j = 117/217 - u. Does m = j?
False
Suppose -91*b - 144*b + 48395 + 42315 = 0. Are 394 and b nonequal?
True
Let m be (348/30 + -5)/(9/405). Which is greater: 3/8 or m?
m
Let l = -4.42 + 4.52. Are -88/17 and l equal?
False
Let q be ((-74)/4 + 2)/((-12)/264*-11). Is q < 4/15?
True
Let t = 3129 + -3136.2. Let h be 4/(-8) + 10/36. Which is smaller: h or t?
t
Let r = 17823 - 17749. Let d = -59 + 132. Which is smaller: d or r?
d
Let m(n) = -60*n + 459. Let y be m(-18). Which is greater: 1541 or y?
1541
Let x be 638972/(-182568) - -5 - 6/4. Are x and -1 unequal?
True
Let r = 356 + -294. Suppose -59*c - 3 = -r*c. Is c less than -2/133?
False
Suppose x - 1 = -0. Let t(o) = 27*o**2 + 4*o + 2. Let l(c) = -c**2 + 1. Let j(s) = 5*l(s) - t(s). Let g be j(x). Is -97/3 greater than or equal to g?
True
Let j = -0.02801 + -1.97199. Is j bigger than 0.27?
False
Let y = -771 + 825. Let z = 89/24 - 35/8. Which is greater: z or y?
y
Let g be 12/4 + -3 + (4104/(-388) - -9). Does g = -2?
False
Let k = -13633 + 422631/31. Let d be (-3)/(-6)*(-6)/(-1). Let q = 4 - d. Is q < k?
False
Suppose 2927*o - 2918*o = 9. Is 2/13575 greater than o?
False
Suppose -56*p + 5282 - 60228 = 550. Do p and -992 have the same value?
False
Let y = 2811 - 2780. Which is greater: -10 or y?
y
Let k = 40395878/1411683 - 2/108591. Does k = 30?
False
Suppose 206 - 214 = -2*j. Let v = -2/579 - -1030/193. Which is greater: j or v?
v
Let v = -78 - -66. Let g be (v/(-6))/(2/11). Is g equal to 10?
False
Let h = 1219 + -1220. Which is greater: -1/409 or h?
-1/409
Suppose 2*y + 256 = -3*t - 0*t, 4*y = 4*t + 328. Let k = -56 - t. Let u = -24 - k. Is -52 at most u?
True
Let o(p) = p**2 - 6*p - 248. Let a be o(19). Which is smaller: -66/251 or a?
a
Suppose -i + 3*g = -6, 1 + 0 = g. Suppose -10*c + 8 = -i*c. Let k be (c/(-24))/(2/(-84)). Which is smaller: k or 12?
12
Let d = 742 - 483. Suppose -3*s + d = -5*x, 5*x = -26 + 1. Is s <= -2?
False
Suppose -193*f + 186*f = 243 - 75. Do f and -142 have different values?
True
Let k = 17564 + -3349. Are 14215 and k equal?
True
Suppose -9*q + 298 = -8*q. Let s be (q/6 + -2)/(1 + 2). Are 15 and s nonequal?
True
Let l = 5.5 + -7.47. Let s = 2 + l. Which is smaller: 7 or s?
s
Let n = 3.5 + -0.5. Let v = -1.3403 + -0.1597. Which is smaller: v or n?
v
Let f be 150/(-1740)*(0 - (-11)/80). Let j be ((-14)/896)/((-2)/(-28)). Let l = j - f. Do l and -1 have the same value?
False
Let f = -5/1457 - -533287/7285. Is 73 != f?
True
Suppose -4*k - 2*m = 61 - 53, k = -9*m - 53. Which is smaller: k or -37/81?
-37/81
Let t(j) = -2*j**2 - 12*j - 8. Suppose -5*b - 5*k = -b + 20, 0 = -5*b - 2*k - 25. Let c be t(b). Let y = -21/5 + 163/40. Is c bigger than y?
True
Let l(a) = 2*a**2 + 36*a - 229. Let r be l(8). Let y(o) = 4*o**2 + 2*o + 6. Let g be y(-7). Which is smaller: r or g?
r
Let r(b) be the third derivative of 29*b**2 + 0*b - 1/120*b**6 - 7/3*b**3 + 3/4*b**4 - 2/15*b**5 + 0. Let d be r(-10). Is 22/3 > d?
True
Let x be (-8 - (-360)/27)*(-9)/(-2). Suppose -x + 54 = -6*i. Let m = -2757/595 + 4/119. Is i != m?
True
Let a = -1671 + 1673