k >= -52?
True
Let j = -3688 + 25738/7. Which is bigger: j or -6/29?
-6/29
Let o be ((-492)/9)/(3*(-11)/(1188/(-8))). Is o bigger than -258?
True
Let h(q) = -88*q + 25*q - 55 + 32*q. Let m be h(-3). Is m at least 38?
True
Let g = -146464 + 1904020/13. Let n(y) = y**2 + 6*y - 7. Let l be n(-7). Which is smaller: l or g?
g
Let g = 8.57 + -9.1. Let u = g - -0.53. Is 82 greater than or equal to u?
True
Let j(n) = 483*n**2 + 22*n + 1. Let w be j(1). Let t = -505 + w. Do 2 and t have the same value?
False
Suppose 21*y = 28*y - 483. Let t = y + -69. Which is bigger: -5/32 or t?
t
Let y = 4342.3 + -4342. Which is smaller: 0.0177 or y?
0.0177
Let v be 12*(-64)/(-36)*-12. Are -255 and v unequal?
True
Let b be (-894)/2210 - (-18)/45. Let w be (-4 + 14/6)/(25/(-15)). Which is smaller: b or w?
b
Let h be ((-1)/(-2)*1)/8. Suppose -5*f + 29 = 2*t, -236 = 4*f + 2*t - 264. Is f at least h?
True
Let y = 241 + -242. Which is smaller: y or -6/881?
y
Suppose 0 = -5*d + 33 + 47. Let m(k) = -d*k + 10*k + 4*k + 4*k + 21. Let r be m(-10). Are r and 3/8 equal?
False
Let g = 0.9866 + -1.0866. Do g and 6160/9 have the same value?
False
Let l(c) = -c**2 - 25*c + 86. Let d be l(-28). Let w be 12/d - (1 + 11). Which is greater: 10 or w?
10
Suppose a + 8 = x, 2*x + 13 = -2*x - 5*a. Suppose h + 2*h + u + 9 = 0, -x*h + 5*u - 27 = 0. Let q be (-3 - 142/(-46))/(h + 5). Is 1 at most q?
False
Suppose -9*m = -m - 48. Suppose g + 4 = -3*g + a, 0 = g - 2*a - m. Let i be 95/25 + g/(-10). Which is bigger: i or 5/2?
i
Let p = -373/20 + 85/4. Let v be -2 - -99 - (-8 - -2 - -8). Let a = v + -93. Is a > p?
False
Suppose -5*p + q = 3 - 20, -4*q = -p - 8. Suppose -47 = -3*m + 4*g, g + 12 = 3*m + p*g. Suppose -2*f + 13*c = m*c - 6, 0 = 3*f - 5*c - 8. Is 51 greater than f?
True
Let k(y) be the second derivative of y**5/20 - 2*y**4 + y**3/6 - 12*y**2 - y + 28. Let o be k(24). Is 3/89 >= o?
True
Let w be (2122/4)/(-2*(-6)/(-24)). Are -1062 and w non-equal?
True
Let g = -443 + 447. Suppose -63*j + 60*j = 2*l + 401, 4*j = g. Which is bigger: l or -201?
-201
Let d(s) = 2*s**2 + 7*s - 12. Let c be ((-3)/(-9) + 0)/((-2)/6). Let f = c - 6. Let b be d(f). Do 37 and b have the same value?
True
Let p be (-3 - -5)/(15/129) + 4. Let u = -313/15 + p. Suppose 0*d + 2*d = 44. Is u != d?
True
Let w = -4052 - -4055. Does w = 12?
False
Let a = -401570372/69 - -5820143. Let r = a + 3/23. Let m = r - 278. Which is smaller: 5 or m?
m
Suppose 4*w - 5*d = 2155, 0 = -2*w - 5*d + 1015 + 70. Let n be 3/4 + (-285)/w. Do 1 and n have the same value?
False
Let u be 150/(-210) - (-31074)/43680. Does u = -1?
False
Let t(g) = g**3 - 5*g**2 + 5*g - 1. Let m be t(4). Suppose -m*a - 11 = -l, a + 4*l = -3 + 21. Let q = -598 + 6571/11. Is q greater than a?
True
Suppose 3*f + 463 + 4473 = -4*u, 5*f = u - 8219. Let r = -97017/59 - f. Which is smaller: r or -1?
-1
Let d = 4297 + -133201/31. Which is greater: d or -1.1?
d
Let s be 18/42 + 1*(-190)/(-14). Let n(t) = 5*t + 16. Let j be n(s). Which is smaller: 87 or j?
j
Let s = 6193 - 6194. Which is greater: s or -1388/7?
s
Let z = -12.822 - -12.917. Are 22 and z non-equal?
True
Let n be ((-27)/6)/(-1) - ((-400)/(-10))/10. Suppose -4*x + 3*l - 7*l + 4 = 0, -5*l = 0. Which is smaller: n or x?
n
Let x = 25368949/4 + -86127626531/13580. Let l = x - -2/485. Let s(j) = -2*j**2 - 13*j + 5. Let p be s(-7). Which is bigger: l or p?
p
Let y = 336 - 986. Let i be (-145)/2*(-5 + (-3210)/y). Is i <= 4?
False
Let b(y) = y**2 + 31*y - 2. Let c be b(-31). Let q be -1 + c + 2/6*159. Which is smaller: 151/3 or q?
q
Suppose -34 = -3*c + 3*o + 8, -4*c - 4*o = -64. Suppose -12*v = -c*v - l + 10, -4*l = 8. Let g(q) = 3*q - 3. Let r be g(3). Which is smaller: v or r?
v
Let u be 1/(-2)*(1 - 11). Suppose -6*h + 64 = -7*h. Let a = h - -69. Is a at least as big as u?
True
Let d be -9 - ((-60)/220 + (-25218)/(-22)). Is -1154 at least as big as d?
True
Let h be (6 - 6)/(-11)*((-14)/(-3) - 5). Which is smaller: h or 245/197?
h
Let m be 6*8/36*(-1 + -527) - 0. Which is bigger: -703 or m?
-703
Let a = 2 - -33. Suppose 41 = -5*o - 19. Let m = o - a. Which is greater: -46 or m?
-46
Let k be (0 - -2)*2/(-4) + -2. Let s be 6/((-6)/(-25)) + k. Let n = 22 - s. Is n less than or equal to -1/15?
False
Let z be ((-1)/(-20))/(1/6). Let o = -1537 - -1541. Suppose -3*t + 14 = o*y - 5*y, t = 5*y. Which is smaller: y or z?
z
Let z(h) = 3*h - 942*h**3 + 14 + 18*h + 941*h**3 + 6*h**2 - 35. Let f be z(8). Let i = 52 + -30. Which is smaller: f or i?
f
Let h be (-16 - 4472/(-65))*(-20)/6. Which is smaller: -0.2 or h?
h
Let o = -3350 + 3216. Is o less than -664/5?
True
Let h(s) = 2*s**2 + 3 + s**2 + 22*s - 5*s + 2 - 5*s**2. Let m be h(-2). Which is smaller: m or -35?
m
Let z(f) be the first derivative of f**4/2 - 40*f**3/3 + 19*f**2 + 8*f + 20. Let m be z(19). Which is greater: m or -41?
m
Let o = 236 - 216. Suppose o*j = 8*j. Is j < 1/341?
True
Let y be (15 + -12)*(-5)/(-3). Let x be y - -5 - 4 - 5. Which is bigger: x or 5/119?
x
Let m be -1*(-74 + 4 + 3). Suppose 5*u + 18 + m = 0. Is -14 >= u?
True
Suppose -3*z - 14 - 4 = -3*p, -4*p = -12. Let y(r) = -r - 3. Let g be y(z). Suppose 0 = 3*m + 2*m + 5*m - 6*m. Are g and m nonequal?
False
Let u be 1*25*(-18)/234 - -8. Which is bigger: 7 or u?
7
Let n be (0 + 941)/(3/3). Suppose i = -4*v - 0*i - 3743, -v - n = -5*i. Let s = v + 29013/31. Which is bigger: s or -1?
s
Let s be (-6)/9*1 + 76*15/2520. Let y(o) be the first derivative of o**3/3 - 9*o**2/2 + 7*o + 6. Let h be y(8). Which is bigger: s or h?
s
Let d(z) be the first derivative of -12 - 5*z + 3*z**2 + 2/3*z**3. Let y be d(-4). Which is smaller: y or 6?
y
Suppose -3*g - i = 12, 0 = -3*i - i. Let t(q) = -q**3 - q**2 - 2*q + 9. Let z be t(g). Let h be 9/(-27) + z/(-21) - -3. Does 0 = h?
False
Let q = -3951 + 3948. Is -290/123 smaller than q?
False
Let n be 5456/2180 - (-96)/(-80). Is 0 less than or equal to n?
True
Let d(l) = l + 3. Let g be d(-3). Let x = -4/806823 + 2147224964/4034115. Let t = x - 532. Is t >= g?
True
Let f = -402 + -213. Let m = f - -614.9. Which is bigger: m or -254?
m
Let f be ((-3)/2)/((-5)/120). Suppose 0*r - f = 2*r. Let x be (-86)/258*(r/11)/(-1). Which is greater: x or 3?
3
Suppose -4*q - 787 = q - r, 5*q - 2*r = -789. Let u be ((-60)/(-3))/(-95 + 92) + 1*6. Is q at least u?
False
Suppose n + 9 = -v, 8*n - 9*n = -v - 7. Is n greater than 2/7033?
False
Let v = 5314219/1851 - 2871. Let n = 130 + -131. Which is smaller: n or v?
n
Suppose -5*u + 5 = -2*o, 4*u - 3*o + 8 = o. Let q be ((-46)/736)/((-2)/124). Which is smaller: u or q?
u
Let l be (-4*6/12)/(6/(-3)). Let h = 39 - 36. Let y be -1 - (-345)/290*2/h. Is l at most y?
False
Let z(r) be the third derivative of -r**6/120 + r**4/3 + 11*r**3/6 + 10*r**2. Let k be z(-5). Let d = k - 54. Which is bigger: -0.1 or d?
d
Suppose -32*y + 10326 = -18154. Is 893 at most as big as y?
False
Let s = -5.716 - -5.646. Which is greater: 65 or s?
65
Let a = 16.9 + -16.5. Let v = -13.6 - a. Which is bigger: v or 2?
2
Let k(g) = -3*g**3 - 13*g**2 - 41*g - 229. Let o be k(-5). Let l = 1 + 0. Is l >= o?
False
Let x(h) be the second derivative of h**4/12 - 5*h**3/3 + 2*h**2 + 5*h + 33. Let y(z) = z. Let l be y(3). Let k be x(l). Is -17 != k?
False
Let l be -4*(3 - (1 + 4)). Let j be (-54)/l + 0 - (-7)/(-28). Is j > -62/9?
False
Suppose 21*r - 1844 + 6821 = 0. Let z = -236 - r. Is -18 > z?
False
Suppose -4*z = -2*y + 14, 0 = 2*y + 4*z + 8 + 2. Suppose -a + 3*k - 2 = 0, 11 = k + 13. Which is bigger: y or a?
y
Let i be (19/95 + -26)*(3 - -2). Is i > -26?
False
Let q be -6 + (986/10 - 1*(1 - 3)). Is -2 > q?
False
Let f = -17240 + 32518. Let g = f + -76633/5. Which is smaller: g or -50?
-50
Let p(q) = -7*q + 12. Let r be p(-4). Suppose -108 = -4*b + r. Which is greater: b or 32?
b
Let n be 52/(-14) - -4 - 506/252. Let l = -305/198 - n. Which is bigger: l or -11?
l
Let t(p) = p**2 + 4*p - 91. Let v be t(8). Let k(x) = -x**2 - 9*x - 11. Let n be k(-9). Let h be (-4 - -7) + n/v + -2. Which is smaller: h or -0.3?
h
Suppose -2*v - 3 = -9. Let h = -0.3 + 0.246. Let x = h - 10.946. Does x = v?
False
Let s = 26487 + -26448. Let x = 2 + 0. Is x bigger than s?
False
Let d = 853.5 + -813. Let y = -40.8 + d. Is 1.86 less than or equal to y?
False
Let u be 10/(-15)*6 + -44. Let i be (-115)/2 - 1