23/(-39). Is q at most s?
True
Let u be (-3)/(-27)*2 - (-4005)/567. Which is smaller: 6 or u?
6
Let q = -137/5 + 27. Which is smaller: 0 or q?
q
Let g be ((-20)/4 + 0)*-1. Suppose g*a + 165 = -2*s, 0*s - 2*a - 231 = 3*s. Let o be (-79)/(-5) - (-60)/s. Which is greater: 16 or o?
16
Let d = 410 - 527. Which is bigger: d or -119?
d
Let n be ((-2592)/(-645) - 4)*(-20)/(-24). Which is smaller: n or -1?
-1
Let f(a) = 2*a**2 + 24*a - 21. Let w be f(-12). Is -20 smaller than w?
False
Suppose -1380 = 8*q - 13748. Let x be q/10 - (-15)/(-5). Let z = x + -151. Is z <= 1?
True
Suppose 11 = 3*b + 2*h, 15*b + 4*h = 16*b + 15. Is b greater than 39?
False
Suppose 12*v - 226 + 418 = 0. Is -101/6 bigger than v?
False
Let p = 2.9 - 2.7. Let m = -4.7 - -5. Let b = m - p. Which is greater: b or -3?
b
Let s be ((-57)/76 - 25/(-12))*-39. Which is smaller: s or -53?
-53
Let y(d) = -4*d**2 + 24*d + 2. Let p be y(6). Let l(k) = 5 - k + 4 - 2. Let q be l(7). Is q at least p?
False
Let h be (-33)/(-44) - ((-2)/(-8))/1. Let i = -0.86 + 0.44. Which is bigger: i or h?
h
Let k(a) = a**3 - 10*a**2 + 7*a + 21. Let d be k(9). Suppose 0 = 5*r - d*s + 6, 3*r + s = -2*r + 2. Is 2 bigger than r?
True
Let d = 33 + -49. Suppose -8*c = 59 + 77. Which is greater: d or c?
d
Let a = 3 - 3. Suppose a*p = p. Let l be (-3)/(36/8) - p. Which is smaller: l or 0.1?
l
Let v = -16.9 + 17. Is -0.178 smaller than v?
True
Let u = 216.2 - 216. Which is greater: u or 2/461?
u
Let f(k) = -k**3 + 6*k**2 - 4*k - 7. Let a be 360/70 - 1/7. Let u be f(a). Is -7/3 at least as big as u?
False
Let c be 0 + -2 + 7 + 0. Is 2/7 > c?
False
Let a = 2/19 - 196/2223. Which is smaller: a or 0?
0
Suppose 17*o = 10*o + 42. Suppose 4*a = -2*s + o, 0 = 4*a - 6*s + 4*s - 10. Is a equal to 16/15?
False
Let a = -0.117 + -0.493. Let t = 0.7 + a. Do -2 and t have the same value?
False
Let d = -8 + -3. Let l = d - 14. Let q = 25.1 + l. Is 3 at least as big as q?
True
Let g be (3/7 + 2)*(7 - -1110). Let j = 2703 - g. Which is greater: -11 or j?
j
Let y = 390 + -389.7. Is -1/72 > y?
False
Suppose -7*r = -3*r. Suppose -k + 1 = -r*k. Let f = 116 - 2435/21. Which is greater: k or f?
k
Suppose 0 = 3*k - 5*k, 16 = 2*y - 5*k. Suppose l + 61 = 5*l + 5*b, 4*l - 16 = 4*b. Is y at most as big as l?
True
Let v = 58 - 89. Which is greater: 0 or v?
0
Let l = -0.8 + 1.1. Let x = -250 + 254. Is l >= x?
False
Let u = -497 - -421. Which is bigger: u or -384/5?
u
Let y = -85.3 + 86. Which is smaller: -0.18 or y?
-0.18
Let h(o) = 3*o**2 - 36*o - 5 - 6 + 62*o. Let m be h(-9). Is m bigger than 0?
False
Suppose 0 = 5*n + 5*r + 20, -3*n - 2 = 4*r + 13. Suppose 2*c - 2*j + 0*j + 2 = 0, -5*c - 2*j = 19. Which is bigger: n or c?
n
Let k be (-5)/4*-4 + 99. Let u = -164 + k. Which is bigger: -61 or u?
u
Let n = 30.3 - 32.63. Let w = n + -0.07. Let y = w + 4.4. Is 1.5 not equal to y?
True
Let b = 0.1503 + -0.0703. Does b = -1?
False
Let x = 93 + -63. Let g be -3 + (-2 - (-291)/x). Let p = 23/5 - g. Are -1 and p unequal?
True
Let g = 39 - 37. Suppose -n - 4*t = g, -2*n - t - 7 = -5*n. Suppose 12 = 2*l + n. Is l greater than or equal to 7?
False
Let m be ((-49)/(-28))/((-7)/(-28)). Is 75/11 bigger than m?
False
Suppose -3*g - 7 = -31. Let t = g - 3. Is t smaller than 10?
True
Suppose -13*f = -8*f - 325. Let w = f - 200/3. Let m be -1 + 2/(-1) + 0. Is m != w?
True
Let v be (-1 - (-1)/(-5))*(-760)/(-228). Let o be ((-17)/v)/((-9)/36). Are o and -17 equal?
True
Let i(p) be the third derivative of -p**4/24 - 7*p**3/2 - 2*p**2 - 2*p. Let l be i(-20). Let r = 1636/45 - 182/5. Is l > r?
False
Let j(v) be the third derivative of v**4/8 - 17*v**3/6 - 2*v**2. Let f be j(5). Is f < -0.2?
True
Let n = 8 - 6. Let z = 3379/78 + 46/39. Let c = z + -449/10. Which is bigger: c or n?
n
Let b be 94/(-10) + (-4)/(-10). Suppose -9*p = -10*p - 10. Let n = b - p. Is 7/6 not equal to n?
True
Suppose -2*y + 2*m - 430 = 0, -14*y + 17*y - 2*m = -644. Is y at least as big as -215?
True
Let y be (-2)/10 - 78/(-15). Suppose 0*m = -y*m. Let f be 3/((-6)/(-8)) + m. Which is smaller: 10/3 or f?
10/3
Let i = -79/7 + 69/7. Let o(a) = a**3 + 5*a**2 - 2. Let q be o(-5). Do i and q have different values?
True
Let v = -366.97 - -367. Is v at least as big as 12?
False
Let p = -278 + 292. Which is smaller: 1 or p?
1
Let s be (-5)/30 - (-31)/6. Let q = 1/32 + 167/32. Is s not equal to q?
True
Suppose w + 3*w = 0. Let m be 3*2 - (w + 4). Suppose -4*g + m*g - 24 = 0. Is g not equal to -12?
False
Suppose -l = -4*u + 429, -u - 4*l = -3*l - 106. Which is smaller: 109 or u?
u
Let h = -1177 + 1148. Suppose 3*l + 3*c = -c - 92, l = 3*c - 22. Is h >= l?
False
Let r = 123 + -213. Which is smaller: 1 or r?
r
Let d(w) = -w - 4. Let s be d(4). Let b(a) = -a**3 + 28*a**2 - 71*a - 101. Let m be b(25). Is s smaller than m?
True
Let z(o) = 3*o**2 + 4*o - 22. Let u be z(-4). Which is bigger: -11 or u?
u
Suppose -4*f - 12 = -68. Let v(d) = -d**2 - 10*d - 1. Let r be v(-9). Suppose -u + f = r. Which is smaller: u or 5?
5
Let n = -0.0083 + 1.6383. Which is smaller: n or 2?
n
Let n = 267.6 - 268. Let c = 1.99 - -0.01. Which is bigger: n or c?
c
Let z = -32.223 - 0.877. Is 1 >= z?
True
Let z(v) = -v**3 - 20*v**2 + 22*v + 95. Let x be z(-20). Is -344 != x?
True
Suppose -5*v - 16 - 16 = -3*w, 0 = -2*w + 2*v + 16. Suppose -3*d = -k + 1 + w, -4*d = 2*k. Suppose 0 = k*i - 4*i. Is i smaller than 0?
False
Let z = -4.27 - -4.1. Let q = -0.77 - z. Let o = 142/5 - 28. Which is bigger: o or q?
o
Let f = -3242.91 - -3243. Which is bigger: 121 or f?
121
Suppose -15*m - 4*m = 0. Let k = 8 - 26. Let s be (-7)/(-18) + 4/k. Is s != m?
True
Let z = 1101 - 1061. Does 36 = z?
False
Suppose 5*c + 38 = 2*k - 25, 9 = -3*c. Let g = 24 - k. Is 0 less than g?
False
Let b be (-5)/15 + 3/(-9)*920. Do -307 and b have different values?
False
Let p = 6364/1649 + -32/97. Which is smaller: p or 5?
p
Suppose -5142 = 5*y - 5137. Which is bigger: y or -3/686?
-3/686
Let u be (-780)/(-220) - (-6)/(-11). Suppose -a = -5*a + 24. Suppose u*l = a - 3. Which is smaller: l or 8/5?
l
Suppose -214 = -3*l - 217. Do -2/83 and l have different values?
True
Let o(d) = -3*d**2 - 26*d + 10*d + 2*d**2 - 16 + 0*d**2. Let l be o(-15). Which is bigger: l or -4/3?
l
Let f be (-871)/268 + 3/(-1)*-1. Which is smaller: f or -0.151?
f
Let z = -22 + 26.2. Let p = 2.5 - z. Let x = -0.3 + p. Which is bigger: 0.2 or x?
0.2
Suppose 3 = h + 2. Let n = -3996 + 419578/105. Which is bigger: h or n?
h
Let v be 0 - ((-1215)/(-255) + (-4)/1). Is v equal to -1?
False
Suppose -69 = -6*h + 15. Let w = h - 27/2. Let b be -2 - ((-36)/10 - -2). Which is greater: b or w?
w
Suppose 3*j - 26 = 2*p - 16, 5 = 3*j - p. Which is smaller: 1/147 or j?
j
Suppose -31*h + 51100 = -6*h. Is h at most as big as 2044?
True
Let a be (-547)/(-12) - 3/2. Let o = -44 + a. Let w = -1/12 - o. Does w = 0.1?
False
Suppose 8*m = 741 + 267. Let f(o) = -o - 3. Let z be f(4). Let y be 36/m - (-9)/z. Is -12/7 greater than or equal to y?
False
Let z = -28487/84 + 1019/3. Let h = z + 25/28. Suppose 0 = 8*q + 15*q. Are h and q nonequal?
True
Let d be 150*-2*2/(-10) - 2. Suppose 0 = d*o - 54*o + 108. Is o at least as big as -29?
True
Let y = 14 + 17. Let z = y - 20. Let v = 11.3 - z. Is -1/2 greater than v?
False
Let m(g) = 5*g + 38. Let o be m(-7). Let i(s) = -3*s**2 + 7*s - 8. Let y be i(o). Which is smaller: -27/2 or y?
y
Let w = -8429/20 + 422. Is 1 greater than or equal to w?
True
Let i = -2/5557 - 27779/16671. Suppose 0*o - 2 = 2*o. Which is smaller: o or i?
i
Let c(l) = -l**3 + 6*l**2 - 6*l + 5. Let f be c(5). Does 1/38 = f?
False
Let r(y) = -2 + 13*y - 1 - 12*y - 4. Let j be r(0). Let d be 4/22 - j/22. Are -1/3 and d nonequal?
True
Suppose -4*w - 9 + 25 = 0. Let c(s) = -12*s + 17*s**2 - s**3 + 6 + 12 - 31*s**2. Let h be c(-13). Is h >= w?
True
Let i = -80 + 80.118. Let t = 27.4 - 27.5. Which is smaller: i or t?
t
Suppose -8*h = -11*h + 48. Suppose 23 = u + y, -u + 7 = 4*y - h. Suppose -39 = 5*w - d, -2*d + 7 = -4*w - u. Which is bigger: w or -1?
-1
Suppose 3 = -37*y + 3. Let s = 0.049 - -75.951. Is s at least y?
True
Let a = 243 + -248. Let w = 0 - 0. Suppose 2*u + 21 = -3*x, 5*u + w*x = 4*x - 18. Is u != a?
True
Let h = -1201109444/2075 + 578848. Let b = h - -2/415. Do -1 and b have the same value?
False
Let q = -0.03