212949 - -16823192/79. Let a be (-10)/(-20)*((-2)/(-395) - 0). Let q = h + a. Is 2 greater than or equal to q?
False
Suppose -4*a - 28606 = -f, 4*a - 5*f + 20039 + 8575 = 0. Is -7153 equal to a?
False
Let t be (-6)/(0 + 10/3 + -3). Let l be (t/(-10))/(24/(-30)). Which is bigger: -3 or l?
l
Let p(a) = 7*a + 3*a**3 - 5*a + 0*a - 8*a**3. Let c be p(-1). Is c at most as big as 15/8?
False
Suppose 0 = 5*j + 5*y + 120, 149*j = 144*j + 4*y - 57. Which is bigger: j or -469/27?
j
Let r = 1154 + -652. Let i = 734 - r. Is -1 smaller than i?
True
Let r be (-630)/945 + (-652)/(-114). Is -1 at most r?
True
Suppose -5*a = 4*i - 28, -42*a + 39*a - i + 14 = 0. Suppose -32 = -4*k + q, 0 = 5*k - 0*q - 4*q - 40. Suppose 16 - k = -a*d. Is -15/8 at most as big as d?
False
Let j = -257311/136 - -1892. Suppose -4*q + 5*a + 9 = 0, 2*q + 3*a + 7 - 6 = 0. Is j less than q?
True
Let d = -3 - -5. Suppose 3 = y - d*y. Let k be ((-3)/y - 1)/2. Which is smaller: -3/13 or k?
-3/13
Let o be 3/6 - 20/8. Let x be ((-86)/8)/(o/8). Suppose -135 - 80 = -5*f. Is x bigger than f?
False
Let g = 4.652 - 1.752. Let m = -7069/6 - -1175. Let f = m + 17/6. Is g at most as big as f?
False
Let y = -3 - -2.85. Let q = y + 1.55. Let o = 181 + -182. Do o and q have the same value?
False
Let m be ((-8)/(-10))/((-4)/10)*4. Let a(t) be the third derivative of t**5/60 + 13*t**4/24 + 6*t**3 + 21*t**2. Let p be a(m). Which is smaller: -5 or p?
-5
Let q = 21.36 + -21. Let l = q - 0.06. Let y be ((-34)/68*(-3 + 3))/(-3 + 2). Is l > y?
True
Suppose i + 4*k = 14, 4*k + 30 = -i + 2*i. Suppose -2*q = -q + 4*u - i, -5*q = -5*u - 60. Let z be (1 + -5)/(-7 + q + 72). Which is smaller: 1 or z?
z
Let n = -32 + 43. Suppose -6 = b - 2, -3*b - n = c. Is 203 smaller than c?
False
Suppose -3865 = 10*t + 2895. Let a be ((t/(-10))/13)/(2/5). Which is bigger: a or 18?
18
Suppose 33 + 17 = -5*c. Let i be (-3)/(27/(-79)) - c/45. Let d(l) = -l**2 - l. Let b be d(1). Is b bigger than i?
False
Let b = -281/112 - 10289/1680. Let p be ((-2)/4 - 0)*-17. Let l = b + p. Is 0.3 less than or equal to l?
False
Let v be ((-44)/(-165)*-5)/(1 - -885). Which is bigger: 0 or v?
0
Let f(o) = o**3 + 66*o**2 - 4*o - 158. Let d be f(-66). Which is greater: d or 105?
d
Let s be 5/((-3600)/(-1084))*-3. Let g be (21/20)/3 + 27/54. Let i = s + g. Is -0.1 < i?
False
Let x = -5038 - -4877. Is x not equal to -2402/15?
True
Suppose 5*p - 15*o = -11*o + 176, 2*p = -o + 60. Suppose 30*i - 5*w = p*i - 48, -2*i + 44 = 3*w. Which is smaller: 16 or i?
16
Suppose 0*y + 2*y = 4*t - 28, 2*y - 7 = -t. Let g = -107038 - -107049. Which is smaller: g or t?
t
Suppose -3*l = 3*x + 15, 0 = -3*l + 11*x - 13*x - 9. Are l and -4/967 non-equal?
True
Let l be ((-104)/(-1) - 0) + (17 - 13). Suppose m = 7*m - l. Does 120/7 = m?
False
Let j = -3.6 + 3.7. Let g = j - 2.4. Let m = 8.3 + g. Which is greater: -3/4 or m?
m
Suppose 180 - 70 = 10*a. Suppose 19 = 3*s - a. Let u be s/(-6)*(1 - -2) + -3. Which is bigger: -22/3 or u?
-22/3
Let p(a) = -4*a**3 - 19*a**2 + 22*a + 75. Let x be p(-5). Let n = -8 + 16. Which is greater: n or x?
n
Let y be (8/(-3))/(-2)*(-99)/2. Let a = 40 - y. Is a greater than or equal to 107?
False
Let i(s) be the third derivative of -s**6/120 - s**5/60 + s**4/24 + s**3/6 + 7*s**2. Let q be i(0). Let l be 2/((-4)/q + 3). Is l greater than 1?
False
Let d be (800/250 - (-8)/(-20)*-2) + -3. Is 78/1111 at most as big as d?
True
Let q = 418 + -327. Suppose -5*f + d - q = -3*f, 0 = 4*f + d + 167. Is -297/7 at most as big as f?
False
Let d(x) = -9*x - 74. Let s be d(-61). Which is smaller: 471 or s?
471
Let g(n) = 2*n**2 + n + 2. Let p(k) = 5*k**2 + 12*k + 12. Let r(b) = 2*g(b) - p(b). Let o be r(-10). Which is bigger: -27/4 or o?
-27/4
Let d be 3 + 7943 + 12 + -1 + -1. Which is smaller: d or 7954?
7954
Let f be (-1*(-3)/6)/(4/(347 + -3)). Is f at most as big as 52?
True
Let p = -75 - -76. Let j be (-3 - 3)/(-6) - (-115)/p. Is 115 != j?
True
Suppose 0 = -2*a - 2*a. Suppose -4*i - n - 5 = a, -3*i - n = 3*n + 7. Let f = 7277/16 + -455. Does i = f?
False
Suppose 0 = -26*j + 25*j - 474. Let k = -464 - j. Is 89/10 less than k?
True
Let z be (-2 - (-3219)/35) + (864/60)/(-36). Is 90 greater than z?
True
Let l be -43*1*(7 + -15). Suppose 2*h = -i - 5, 4*i = -4*h - 8 + 4. Suppose -7*d + i*d - l = 0. Is d at least -86?
True
Suppose 2*q = 3*g + 3*q + 21, 5*q - 47 = 4*g. Suppose -283*f + 285*f + 90 = 0. Let k be (f/(-10))/(6/g). Which is bigger: k or -3/7?
-3/7
Let j = -0.48 - -0.5. Let x = -50.45 - -53. Let s = -1.55 + x. Which is smaller: s or j?
j
Let p = 0.6 - -1.2. Let a = p + 0.2. Let u = -1 + -1. Is u at least a?
False
Let c = 0.043 + -15.043. Let p = -5585.12 + 5585. Is p at most as big as c?
False
Suppose -24*j + 51*j + 18*j = 2295. Which is smaller: j or 466/9?
j
Let d be (2/3)/((-7)/3). Suppose 0 = -12*b - 1390 - 782. Let p = b + 180. Is d at least as big as p?
True
Let f = -0.75 + 1.75. Let o = 541 - 545.94. Let c = 5 + o. Is f > c?
True
Let a be (-10)/(-1) - (-8)/(-4). Let h = 6.7 + 18.1. Let c = h - 23.8. Which is smaller: a or c?
c
Let n be (-3)/(5/125*-3). Suppose -n*q - 16 = -9*q. Let g be ((-37)/16 - 0) + 2. Is g less than q?
False
Suppose 343824 = -305*u + 247*u. Which is greater: u or -5927?
-5927
Let m be (19402/(-327))/((-4)/(-15)). Is -222 <= m?
False
Let w be (27/(-2818071))/(11/(-66)). Is w less than or equal to -1?
False
Let w(t) = 29*t + 74. Let i(b) = 19*b + 50. Let o(p) = -8*i(p) + 5*w(p). Let a be o(-15). Suppose -3*h - 3*f + a = 0, -5*f - 15 = -5. Which is bigger: h or 26?
h
Suppose -4*n - 19 = 21. Let t(b) = -3*b - 13. Let g be t(n). Suppose 11*f = g*f + 78. Which is greater: f or -14?
f
Suppose -1340 = -d + 5*a, 4*a - 1622 = -2*d + 1030. Let y = 9252/7 - d. Suppose 3*t + 5*h = -6, t - 108 = -2*h - 109. Which is greater: t or y?
t
Let y(k) = -k**2 + 17*k - 4. Let s be y(19). Let q be 28/s*(-3)/8*-2. Is -35 at most q?
True
Let k be (-28)/6 + -2 + 2. Let v be (0 - 3)*(-3)/(-6)*-2. Suppose 18 = -13*f + 8*f + 4*i, -v = -2*f + 5*i. Which is bigger: k or f?
k
Let p = 1381 - 1389. Which is smaller: 435 or p?
p
Let b(p) = 143*p - 855. Let w be b(6). Is w > 38?
False
Suppose 2*y - 421 = -3*r, -2*y - 5*r = 2*y - 847. Let t = -481/2 + y. Is t <= -22?
True
Let d be (-4485)/(-468)*4/(-6). Is -7 less than or equal to d?
True
Let p = 734 - 366. Let g = p + -367.98. Are g and -10 non-equal?
True
Let b = 412 - 413. Let x be (-3)/(9/(-6)) + b. Which is bigger: -2/743 or x?
x
Let h be (-8)/564*(-21)/(-10)*(-34)/(-119). Which is smaller: h or 1?
h
Suppose 2*k + 77 = 5*l, -5*k = -2 + 7. Let q be l/20 + -1 - 50/56. Is q != -1?
True
Suppose 0 = -68*o + 49*o + 1729. Let u be ((-1)/38)/(o/14 - 7). Suppose -y = -2*y - 1. Is u greater than y?
True
Let q = 954 - 489. Let h = 465 - q. Which is smaller: h or -4/29?
-4/29
Let b(t) be the second derivative of -1/12*t**4 + 0 - 17/6*t**3 + 2*t - 29/2*t**2. Let m be b(-15). Is m at most -6.4?
False
Let z = 30 - 5011/167. Suppose -5*v - 2*s + 43 = 0, 3*v - 4*v - 5*s = -27. Let y = v - 6. Which is greater: y or z?
y
Let z = 11420 + -11420. Is z less than or equal to -6/1357?
False
Suppose -424*g + 11088 = -452*g. Is -396 smaller than g?
False
Let n(v) = -3*v**2 - 22*v - 21. Let r be (20 - 0)/((-5 + 7)*-1). Let w be n(r). Is w at most as big as -100?
True
Let g = 122829 - 122880. Let l be 32/(-30) + (-2)/(-5). Is g less than or equal to l?
True
Let z = -6784 + 6783.5. Which is greater: -365 or z?
z
Let c be 3655*20/50 + 13. Is 1476 at most as big as c?
False
Let w = -130 + 111.2. Let g = w - -19. Is 0 greater than g?
False
Let j = 3898907285768/21939 - 177715816. Let z = 10/213 + j. Let r = 5028 - 5029. Which is smaller: z or r?
r
Let y = -5 + 167/34. Let t = -0.11 - -0.01. Let j = -0.2 - t. Which is smaller: y or j?
j
Suppose o - 6*i - 3374 = -10*i, -5*o + 16780 = 2*i. Is 3355 at least as big as o?
True
Suppose -18 = -4*p - 3*r, -p - 81*r + 82*r = 6. Which is smaller: p or -15/967?
-15/967
Suppose -9*a + 1512 = 1233. Let u(n) = -2*n + 17. Suppose -5 = 2*f + 9. Let y be u(f). Are a and y nonequal?
False
Suppose l = 5*t - 29, -2*l - 349 + 333 = -3*t. Do l and 2/2893 have different values?
True
Let x be (1/5)/(12/85755). Let a = 1564 - x. Let v = 135 - a. Is v <= 0.4?
True
Let j(u) = -u**3 + 12*u**2 + 34*u - 32. Let q be j(