 x bigger than d?
True
Let z(k) = -k**2 + k + 1. Let b be z(3). Let s be (-3 - 8) + (4 - 1). Let r be 7/(-3)*(-12)/s. Does r = b?
False
Let z = -31.06 + 31.3. Are z and -5 equal?
False
Suppose 8*i = -0*i + 32. Suppose -5*p = -2*j - 66, i*j + 48 = -5*p - 24. Is j less than -23?
False
Let v = 10.7 - 14.8. Let a = 5.3 + v. Which is smaller: a or 0?
0
Let s be 1*(-2 + 7) + 0. Let p be (-96)/(-50) + -7 + s. Suppose -5*r - 4*w = -15, -2*w + 10 = -0*w. Do p and r have the same value?
False
Let a be (3*-6)/(5/(-5) + 0). Is a less than 12?
False
Suppose -4 = 3*j - j. Let d be (-24 - -23)/(-1*j/(-4)). Which is smaller: -1 or d?
-1
Let q(z) = -42*z + 839. Let f be q(20). Let k be 126/15 + (-4)/10. Let c be 0/(-1) + (-1)/k. Which is bigger: f or c?
c
Let y = -1299 + 11681/9. Suppose 3*h - 4*h = 0. Is y greater than h?
False
Let b(t) = -5*t - 2. Let s be b(-3). Let k = s - 10. Let m be k + (-51)/24*2. Which is greater: m or -1?
-1
Let i(t) = t**3 + 4*t**2 - 15*t - 15. Let g be i(-6). Suppose 2*m - 7*m + 2*y = g, -5*m = -y - 1. Which is smaller: 0 or m?
0
Let j = -252 + 252. Which is smaller: j or 0.32?
j
Let b = -899 + 898. Let u be (-58)/(-7) + (-6)/21. Let a be 18/u + (-6)/3. Is a at most as big as b?
False
Let p = -0.021 - -47.021. Let u = -48 + p. Do u and -3 have the same value?
False
Let k be 3/1 + 450/(-27). Let b = 13 + k. Is b equal to 2/47?
False
Let u be 144/(-168)*(-7)/3. Which is smaller: 16/9 or u?
16/9
Suppose -2*c + 15 = 1. Let p(a) = 2*a - 4. Let l be p(4). Suppose l*m + 2 - 30 = 0. Is c at most as big as m?
True
Suppose 4*o + 1 = -3. Let d be -4*13*1/1040. Is d at least o?
True
Let p = 780.07 - 795. Let b = 15 + p. Let o = -44 - -43. Do b and o have different values?
True
Suppose 5*u = 14*h - 13*h + 26, -38 = -5*u - 2*h. Which is smaller: 7 or u?
u
Let p(b) = 5*b + 68. Let s be p(-13). Suppose s*f + 5*a = 406, 254 = 5*f + 5*a - 406. Do 127 and f have the same value?
True
Let u(k) = 17*k**3 - k + 0*k**2 + 4*k**2 + 6*k - 18*k**3 + 1. Let i be u(5). Is 5/17 < i?
True
Suppose 3*r - 5 = 13. Let p be (10/(-15))/((-2)/(-39)). Let m = -8 - p. Is m greater than or equal to r?
False
Let i = 108.04 - 116. Let l = 0.04 - i. Let b = 2145 - 2144.9. Is l less than b?
False
Let l = 1.5 + -0.8. Let t = 0.3 + l. Let k = -0.387 - 0.113. Do k and t have the same value?
False
Let v be 1/3 - (-49)/(-3). Let d be 177/354 + 62/(-4). Is d > v?
True
Let l be (-6)/(-3) - (4 - 2)*-5. Suppose 2*f - 6 = -l. Is -1.1 > f?
True
Let o(u) = -u - 3. Let r be o(-5). Let p be (r + 1 + -8)/1. Is -7 smaller than p?
True
Suppose 0 = -3*j - 2*x - 4 - 4, 12 = 5*j - 3*x. Suppose j = -6*l + l + 50. Let z = -0.21 - -0.21. Which is greater: z or l?
l
Suppose 4*k + 4*s = -364, 19*k = 15*k + 2*s - 334. Which is greater: k or 2?
2
Suppose 0 = 5*h - h + f - 209, 0 = -2*h - 5*f + 109. Let l = -47 + h. Let w be ((-12)/(-10))/((-3)/(-10)). Which is greater: w or l?
l
Suppose -2320 = -60*t + 70*t. Is t greater than -231?
False
Let j = -0.25 + -103.75. Let m = -104.05 - j. Do m and 0 have the same value?
False
Let d = 50 + -45.92. Let j = d + -4. Let k = 0.08 - j. Are k and -2/3 nonequal?
True
Let r(o) = -5 + 2*o**3 - 4*o + 7*o**2 - 7 - 3*o**3. Let z be r(6). Suppose 0*q + q = z. Is q greater than or equal to -2/37?
True
Let p be 0/(-2 + 4)*4/(-4). Suppose -2*o = -u - 0 + 3, p = o + 2. Is -2 < u?
True
Suppose 0 = 15*x - 13*x - 28. Is 13 > x?
False
Let k be 8/(-10)*(-3 - -63) + -3. Which is smaller: k or 1?
k
Let y = 19 - 19. Let k = 0 + 0. Suppose -5*f + 25 = -k, 2*n - f = -7. Is y at least as big as n?
True
Let b(m) = m**2. Suppose 0 = 8*v - 12*v - 8. Let r be v/7 + 63/49. Let q be b(r). Is -1/33 != q?
True
Let b(g) = 7*g**2 - 21*g + 1. Let a(r) = -3*r**2 + 10*r - 1. Let o(m) = -5*a(m) - 2*b(m). Let h be o(8). Let u be 47/9 - 18/81. Which is smaller: u or h?
h
Let i be (50/10)/((-35)/(-80)). Which is bigger: i or 12?
12
Let h be 6*5/(5/11). Let t be (-2610)/(-5280) - (-3)/(h/(-4)). Which is greater: t or -1?
t
Suppose 2*g = -2*u + 16, 4*g = 9 + 7. Let x = 279 - 281. Do x and u have the same value?
False
Suppose -20 = 5*z, 0 = -5*k + z - 1 - 45. Let i be ((-6)/(-5))/(24/80) - 13. Which is bigger: k or i?
i
Suppose -l + 572 = -5*j, -3*j + 3*l - 348 = 4*l. Is -115 less than j?
False
Suppose 73 = i + x, 0 = -5*i + i + 2*x + 292. Let n be (-2360)/16*(-6)/(-12). Let o = i + n. Is -2 at least as big as o?
False
Let y = 953/3 + 118. Is y equal to 436?
False
Suppose -i - s = 4*s - 64, -5*i + 200 = s. Is i at most 39?
True
Let p = 2.07672 - -0.22328. Let k = -0.5 - -0.3. Which is smaller: k or p?
k
Suppose 5*n = 5*y + 185, 5*y + 29 = 3*n - 2*n. Let g = n + -27. Is g greater than or equal to 9?
True
Let r = 328 - 364. Is -36 greater than or equal to r?
True
Suppose -2 = 2*c - 266. Let n = 265/2 - c. Is n bigger than 0.32?
True
Let t = 0.4 - -5.6. Let h = -780 - -776. Which is smaller: h or t?
h
Suppose 11*h - 16*h = -255. Which is greater: 0.06 or h?
h
Let t(v) = 79*v + 550. Let m be t(4). Is 867 equal to m?
False
Let k = -37.22 + 0.22. Let i = k + 38. Is i >= 0.15?
True
Let z(k) = k**2 - 6*k - 40. Let u be z(-4). Let x = -194647/161 - -1209. Which is smaller: u or x?
u
Let q = 5062/11583 + -32/81. Which is smaller: q or 1?
q
Let f = 130.14 - 130. Let z = -8.3 + 8. Which is greater: z or f?
f
Suppose -5*a = -2*m - 542, -612 = -5*a - m - 58. Do 110 and a have different values?
False
Let z be 1/((-10)/(-8)*-1*4). Is z >= -93?
True
Let a be (-36)/(-3) - (14 - 19). Which is smaller: a or 11?
11
Let t be 3 - 12/(-440) - (6 - 3). Which is smaller: t or 0?
0
Let o be 6 + 98/(-18) + 7. Suppose 10*p = 6*p + 32. Which is bigger: o or p?
p
Let i be (-12)/(-15)*(0 + 30). Suppose 3*o + 23 = 26, 4*o = -b + 27. Which is smaller: i or b?
b
Let k = -24.842 - 0.158. Are k and 0 equal?
False
Let z be (26/(-6) - -4) + 94/273. Let i = z + -187/455. Let p = 3395/13 - 261. Which is smaller: i or p?
i
Let p = -1173 + 1153. Which is bigger: p or 7?
7
Let z(c) = c**3 - 3*c**2 + 3*c. Let b be (4/5)/((-2)/(-5)). Let l be z(b). Let n = 16 - 12. Is n less than l?
False
Let u = -65 - -199. Let g = u - 135. Is g >= 0?
False
Let u = -10 + 32. Let o be (-561)/(-27) + 2 - 8/(-36). Is u greater than or equal to o?
False
Let h be (12/10)/((-77)/(-35)). Suppose -k + 33 = 3*k + 5*s, -4*k - 4*s = -28. Suppose -l - 3 = -3*u, -4*u + 2*l = -4 - k. Which is smaller: h or u?
u
Let o = -802 + 802.3. Which is smaller: o or -10.1?
-10.1
Let v = 18.12 - 18. Let q = -0.16 - v. Let u = q + 0.28. Which is bigger: u or -2/3?
u
Let p be ((-1)/(-5) - 0) + 7568/(-38940). Which is smaller: 0 or p?
0
Let b(k) = -k**3 + 9*k**2 - k + 5. Let s = 40 + -31. Let u be b(s). Is u less than -5?
False
Let t = 286/3 - 96. Suppose 27 + 8 = 5*m. Suppose 3*k - m + 2 = -5*x, 3*k = 4*x + 23. Is x > t?
False
Suppose -z + 4*x = -61, -3*x + 93 = -4*z + 376. Let t = 83 - z. Which is smaller: t or 11?
t
Let p be (109/654)/(0 + (-2)/4). Is -67 bigger than p?
False
Let i = 5.13 - 0.13. Let u = 365 - 361. Let r = i - u. Is -1.2 at least r?
False
Let t = -3491 + 3509.93. Let h = t + -19. Let z = h - 0.03. Which is smaller: -3 or z?
-3
Let s be (-1 - -1) + (-11 - -13) - -4. Let p be (-9)/(-2) - (-9)/s. Are 40/7 and p equal?
False
Suppose -3*m + 5*w + 19 = -7*m, -3*m - 3*w - 15 = 0. Let a be 1/m + 1100/120. Is a greater than 9?
False
Let k = -0.122 - -0.182. Let j = -0.26 + 0.3. Let v = k + j. Which is bigger: -1/5 or v?
v
Let y(o) be the third derivative of -o**4/6 - 17*o**3/3 - 13*o**2. Let i be y(-9). Which is smaller: i or 4/7?
4/7
Let k = 2227 - 158114/71. Which is greater: 1 or k?
1
Let n be 8/6 - (-64)/(-48). Let q be 10/4*8/1350. Which is bigger: q or n?
q
Let u = 0.96 + 1.6. Let g = u - -0.44. Are -1/10 and g unequal?
True
Suppose 2*b = -2*r - 19 + 7, 5*b = -10. Let q be 10/((-6)/((-9)/(-3))). Is q less than r?
True
Let d(o) = o**3 - 9*o**2 - 2*o + 11. Let p be d(8). Are -66 and p equal?
False
Let s = 154519/187965 - -2/12531. Let c = 3/5 - s. Let y be (-29)/2 + 18 + -3. Is c smaller than y?
True
Suppose 3*p + 3 = -4*k - 0, 0 = -3*p + 5*k - 30. Let v = -6 - p. Let s be 3/2 - v - 1. Is 3 at least as big as s?
True
Suppose 0*x - 10 = x. Let y(s) = -s**3 + s**2 + 114*s + 30. Let b be y(-10). Is b not equal to x?
False
Let f(n) = 19*n + 392. Let p be f(-16). Which is greater: 