 at least 64?
False
Let z be ((-16)/40)/((-10)/100). Suppose b - 5*t - z = 0, b + t - 8 = 2. Do 61/7 and b have the same value?
False
Suppose 14568 = -208*g + 184*g. Which is greater: g or -1?
-1
Let i = 5081/948 + -114/79. Is 4 less than or equal to i?
False
Let t = -3538 + 4035. Is t at least as big as 494?
True
Let b = 404.5 + -657.5. Which is bigger: b or 7?
7
Suppose 15*t - 5*t = -t + 638. Let h(z) = -7*z**3 - 2*z - 2. Let w be h(-2). Does t = w?
True
Let i = -2.01 + -21.79. Let n = 23.9 + i. Let z be 81/(-6)*(-8)/3. Which is smaller: z or n?
n
Let h(u) = u**2 + 22*u - 46. Let d be h(-13). Let p be d/(-468) - (-2)/(-13). Do p and -1 have different values?
True
Let i be (48/(-120) - (-1)/15)/(4/12). Is i > -2?
True
Let h be (-423)/(-18)*(-30)/(-3). Let c = 707/3 - h. Which is smaller: c or 50?
c
Let i(b) = -10*b + 8. Let t be i(0). Suppose -t*u + 108 = -2*u. Which is greater: u or 2/11?
u
Let g = 8651 + -8721. Let j(f) = -2*f**2 + 4*f - 1. Let q be j(7). Which is smaller: q or g?
q
Let b be (1*(-849)/9)/((-5)/(-30)). Is b != -564?
True
Let d(c) = 4577*c**2 - 12*c - 4. Let b be d(-1). Which is bigger: b or 4584?
b
Suppose -3*a + 4*j = 4877, -189*j + 3282 = -2*a - 194*j. Which is smaller: -1629 or a?
a
Suppose 5 = 5*o - 7 - 178. Do 27 and o have different values?
True
Let q be 6/4 - ((-9)/2 + 2). Suppose 4*j + 20 + 12 = 5*b, -q*b = -4*j - 28. Let h be -37 - ((-104)/(-88) + b/(-22)). Which is smaller: -37 or h?
h
Let t be (3006/(-4676))/(3/4 - 0). Let x = 222 + -222.7. Which is smaller: x or t?
t
Let p be (75/(-125))/(2/(-10)). Suppose b - 36 = 2*q + 34, -45 = -b - p*q. Is 62 at most b?
False
Let x = -0.2 + 0.1. Let r = 3.1 + x. Let z = -0.4 - -0.3. Which is bigger: z or r?
r
Let g = -395 - -342. Let q be 2/((-372)/(-94) - 4). Let m = g - q. Which is bigger: -32/7 or m?
-32/7
Let y = -1589 + 1589.1. Let d = -0.6 + 1.6. Which is smaller: y or d?
y
Let m be 122/(-126) - -1*1. Let c = 62755730/583 + -107643. Let w = c + 3/53. Which is bigger: w or m?
m
Suppose 5*n - 1009 = 4*h, -n - n + 3*h = -398. Let g = n - 204. Is -12/29 at most as big as g?
True
Let j = -0.486 + 9.286. Let k = -1.2 + 1.3. Are k and j equal?
False
Suppose -2*o = -3*j - 57, -3*o + 5*j = -8*o + 155. Let w be (2 - 52)/(-2 + 4). Let n = w + o. Is 9 >= n?
True
Let g(o) = -2*o**2 - 5*o + o**3 - 30 - 9 + 2*o + 5 - 6*o. Let s be g(5). Which is smaller: -15 or s?
-15
Let j(t) = 2*t**2 + 42*t + 110. Let q be j(-37). Is 1296 at least as big as q?
True
Let k = 45523/120 - 2135/24. Does k = 290?
False
Let z(q) = q**3 + 31*q**2 + 34*q - 23. Let t be z(-31). Let g = 917 + t. Is g > -160?
False
Suppose -165 = -2*l - 127. Suppose 4*k = -2*m + 19 + 29, 4*m - 3*k = 96. Is m >= l?
True
Let v = 376.0435 + -0.0435. Let c = v + -375.58. Which is greater: 1/4 or c?
c
Let c(d) = 34*d - 1329. Let b be c(39). Is b at least -200/77?
False
Let i(t) = t**2 - 37*t - 957. Let w be i(-20). Suppose -l = -2*l + 122. Suppose 4*h - w = -3*b, 2*b + 2*h + 2*h = l. Is 60 greater than b?
False
Let u = -505 + 849. Is 343 equal to u?
False
Suppose -5*n - 1355 = -4*k, 18*n + 2*k = 16*n - 560. Is n bigger than -280?
True
Let i = 39 + -28. Let s = -27 + 55. Suppose 435 = 37*x + s. Do i and x have different values?
False
Let m be 7 - (-72)/(-15)*19/13. Which is greater: m or 1?
1
Let b = 6.3 + -193.3. Let l = b - -186. Is l >= -3/17?
False
Let p(v) = -v - 22 - 6*v - 6. Let g be p(-4). Is g at least as big as -0.003?
True
Let d(j) = -j**2 - 4*j - 5. Let o be d(-2). Let c be o/(-5) + 165/(-275). Is c at least 0.035?
False
Let s = -0.076 - -1.166. Let x = -4907 + 4907.09. Let k = x - s. Which is greater: -54 or k?
k
Suppose 6*b = 2*h - 4*b + 68, 4*b = 0. Is -35/13 less than h?
False
Let z = 1.17 - -133.83. Let g = 0.2452 - -134.9548. Let w = z - g. Is 7 smaller than w?
False
Let p = 4.2 - 19.2. Let y(i) = i - 24. Suppose -117 = -4*r + 5*o, 5*o - 92 - 15 = -4*r. Let f be y(r). Which is greater: f or p?
f
Let l(m) = -9*m - 14. Let h be l(0). Let f be -32*(-4)/(-20)*35/h. Is 16 less than f?
False
Let f = 56 - 52. Suppose 6*t = f + 8. Let c be 1 + (-40)/12 + t. Which is smaller: 2/5 or c?
c
Let b = -15724/713349 + 30/1183. Are 1 and b equal?
False
Let m be (1038/5 + 0)/((-8)/(-20)). Let g be ((-6462)/(-8))/((-18)/12). Let p = m + g. Is -20 > p?
False
Let q be 974327/7767*(-3)/(6/(-4)). Which is smaller: 251 or q?
q
Let n = -0.7055 - -33.6875. Let w = n - -0.018. Let s = w + -67. Is s < 2/3?
True
Let w = 15636 + -16900. Is 4 > w?
True
Let x be ((-3)/36)/(18/(-30) + (-28)/(-80)). Is x at most -1227?
False
Let q = 15 - -402.5. Let m = -352.43 + q. Let c = 65 - m. Which is greater: c or -5?
c
Let h = -3148 + 3172. Is -0.6 not equal to h?
True
Let m = 1042 - -467. Which is greater: -0.1 or m?
m
Let m = -24.74 - -34.42. Which is bigger: -0.2 or m?
m
Let w(l) = 2*l + 41. Suppose -2*o + 2 = -4*o - 4*f, -o = -5*f - 13. Let r = 3 - o. Let u be w(r). Are u and 40 equal?
False
Let v = 1796 + 2446. Let z be (-9)/(-12) + v/(-24). Which is bigger: z or -177?
z
Let w = 36952/5565 + -360/53. Do w and -1 have the same value?
False
Suppose -u = 3, 19*a - 5*u = 21*a - 10451. Is a equal to 5232?
False
Let m be -6*18/24300*(1 - 7). Is m at least as big as -0.41?
True
Let f(u) = -9*u + 5. Let g be f(0). Suppose 3*n + 4*p = 89 + 141, -5*n + 380 = g*p. Is 74 at least as big as n?
True
Let g be 9/(-6)*(-1 - (-52)/(-12)). Let k be (-453)/(-3330) - g/80. Which is smaller: -1 or k?
-1
Let n = 1074 + -1074. Does n = -714?
False
Let p = 10996 + -11017. Let c(z) = -z + 44. Let l be c(0). Let r = l + -65. Is r bigger than p?
False
Let j = 327 + -93. Which is greater: 227 or j?
j
Let i be 6/9*18/(-3). Let h = -128/25 - -658/275. Do i and h have the same value?
False
Let y = -11270 - -4091008/363. Which is smaller: y or 4/15?
y
Let h = 79 + -79. Suppose -5*b + 4*l - 1753 = 0, h*b - 5*l = -5*b - 1750. Do -353 and b have the same value?
True
Let n be (-27041)/9023 + -7 + 10. Is 0 >= n?
False
Let v(f) = 5*f**3 + f**2 - 5*f - 13. Let s = 126 - 130. Let c be v(s). Which is smaller: c or -296?
c
Let t be (-64)/(-4)*(-9)/(-3). Suppose -3*m = -6*m + 4*d + 140, 5*m = 4*d + 228. Let r = m - t. Which is smaller: 5 or r?
r
Let m(i) = -i**2 + 12*i - 15. Let t be m(10). Suppose -t*q = 14*q. Is q greater than or equal to -15/23?
True
Let o be (-7)/14 - (-106)/140. Suppose -30*t = -36*t - 24*t. Is t at most as big as o?
True
Let f = -3788612646031/16528056 - 58/2066007. Let l = -229641 - f. Let g = 419 + l. Which is smaller: 2 or g?
g
Suppose -83491 = 355*m + 99689. Which is greater: -505 or m?
-505
Let q = 43025 + -1764122/41. Which is smaller: q or -1?
q
Suppose -3*a = 2*a. Let f = -12/11 + a. Suppose -310 = -12*h - 322. Do h and f have the same value?
False
Let z = -5125/4 - -1263. Let r = -213 + 196. Is r >= z?
True
Let h = 439.17 + -1.17. Let d = h - 438.1. Which is bigger: d or 175?
175
Suppose 5*g - 4*h = -40284, -3*g + 2*g - 15*h - 8120 = 0. Is -8060 less than g?
False
Suppose 5*q - 20 = -0*q. Suppose q*z + 3*t - 10 = 0, -5*t + 5 = -z - 4. Let r be z/5*5*-31. Is r less than or equal to -32?
False
Let b = 108.11069 + -0.01869. Let n = b + -0.092. Let o = -107.5 + n. Which is greater: o or 1?
1
Suppose -13*g - 4782 = 145. Suppose 42*k = -10475 - 5443. Is g equal to k?
True
Let z = -15044052/35 + 429755. Let k = 75 + z. Let t be ((-2)/6)/((-1)/3). Is k at least t?
False
Let s be (-179837)/91 + ((-20)/26 - -1). Which is smaller: s or -1977?
-1977
Let n = 4.96304 + 0.03696. Which is smaller: -46 or n?
-46
Let v = -271 + 275. Which is smaller: v or 95/27?
95/27
Let y = 39 - 40. Suppose t + 35 = -4*t. Let n be 102/(-42) - 3/t. Which is smaller: y or n?
n
Let b(d) = -d**3 - 4*d**2 - 4*d + 16. Let q(o) = -o**3 - 4*o**2 - 5*o + 16. Let i(s) = 6*b(s) - 5*q(s). Let y be i(-4). Is 13 at most y?
False
Let n be 2/(2/7) + 42845/(-6061). Is n greater than or equal to 1/61?
False
Let k = -0.6501 - -0.637. Are 9 and k nonequal?
True
Let n = 101 + -98. Let m = -64.42 + 1.42. Is n less than or equal to m?
False
Let t be 3/18 + (-17314)/132. Which is smaller: t or -139?
-139
Let p be 1547166/68*1*(-2)/19. Let d = 2395 + p. Which is bigger: -1 or d?
d
Let k be 0 - 0/(-1) - 1. Let g = -4842/719935 + 4/1051. Is g equal to k?
False
Let a(t) = t**3 + 9*t**2 - 25*t - 30. Let d be a(-11). Supp