True
Let u = 67 + -66.69. Let o = u + -0.11. Let i = 0.2 - o. Is -1/4 at least as big as i?
False
Let a = 23.7 - 24.05. Let r = -0.25 - a. Which is bigger: r or -97?
r
Let i = 196.04 + -179.1. Let z = i - 17. Let k = 17.51 - 22.51. Which is smaller: z or k?
k
Let p = -5683 + 108057/19. Suppose -676 = 891*s - 1060*s. Which is bigger: s or p?
p
Suppose -4*y = -m + 4, 0 = 3*m + 6*y - 2*y + 4. Let r be ((-52)/22)/(15*27/6). Let q = r - -2/135. Which is smaller: q or m?
q
Let h = -14101/119 + 827/7. Let w = 3 + 0. Suppose -w = 5*o + 2. Which is smaller: o or h?
o
Let o(r) = 8*r**2 - 2*r - 2336. Let s be o(0). Is -2336 at most as big as s?
True
Let w = -4 - -3. Let y = -27/2362 + 8207/304698. Which is bigger: w or y?
y
Let p = -3.5 + 4.49. Let c = p + -15.49. Which is bigger: c or 3?
3
Let w = -98 - -95. Let v = 2.97 + w. Is 2/13 greater than or equal to v?
True
Suppose -94 = 3*l + 2*s - 0*s, -5*l = s + 159. Let f be (-31 - l)*4/(-7). Is -2 greater than or equal to f?
False
Let i(x) = x**3 - 122*x**2 + 691*x + 30. Let f be i(6). Which is bigger: -409 or f?
f
Let v = -436 + 437. Let d be ((-2 - v) + 2)*5. Suppose 13 = -3*g + 3*u + 1, 0 = -5*g + 3*u - 20. Is d greater than g?
False
Let o(h) = 6*h**3 + 3*h**2 + h + 2. Let t be o(-2). Let c be 3/t*72/112. Is -1 smaller than c?
True
Let x = 2849/5694 - 1/2847. Are -28 and x nonequal?
True
Suppose 21*a - 6*a = 4*a - 5027. Is -457 less than a?
False
Let h be (12/22)/(-3) + (-992)/(-2552). Do -37 and h have the same value?
False
Suppose 0 = -2*g + 7*g - 4*h - 285, -2*g = 5*h - 114. Let r = g - 49. Is r less than 7?
False
Let h = -1/670 - -40223/15410. Let q = h + -5/46. Is q at least -0.1?
True
Let a be (-4674)/(-228) - (1 - 8). Let u(o) = -3*o - 34. Let i be u(-21). Is a bigger than i?
False
Suppose -2*y = 2*a - 422, -4*a = -58*y + 57*y - 869. Suppose v - d = 2*d + 229, 2*v + 2*d - 426 = 0. Is a <= v?
True
Let z be 192/(-80) + 6/15 + 1. Let u be (1/(-2) - z)*(46 - 36). Is 68/19 at least u?
False
Let a = 1795.29 + -1795.224. Let t = 2.01 - 0.01. Which is smaller: a or t?
a
Suppose 38 = 3*o - 2*s + 267, -239 = 3*o - 4*s. Which is smaller: -64 or o?
o
Suppose -30*v + 33*v = 2*l + 1002, 1331 = 4*v - l. Is v at most 328?
False
Suppose 54 = 2*p + 42*g - 44*g, 60 = 2*p + 4*g. Suppose -198 = -53*y + 44*y. Which is greater: p or y?
p
Let b(y) = y**2 + 20*y + 96. Let c be b(-12). Which is smaller: c or -1/4173?
-1/4173
Let n be (2/(-796))/((-2)/(-8)). Let y be (1 - 1)*(-22)/(-1518)*23. Is y < n?
False
Let j = -10608 + 10307. Let f be (599 - 0)*6/(-12). Is f != j?
True
Let m = 19014.9 + -19015. Is 0.06731 at most as big as m?
False
Let o = -7 - -6. Let n = -802.38 + 800.3. Is n bigger than o?
False
Let w = -357 + 666. Let t = -308 + w. Are t and 14 nonequal?
True
Let u be 10*5/(550/6369). Is 579 at least as big as u?
True
Let n(p) = -p**3 - 6*p**2 + 6*p + 10. Let b be n(-9). Suppose b + 225 = 4*q - 5*j, 4*q = 4*j + 424. Let m be (-1)/(-2) - q/(-12). Which is greater: m or 10?
10
Let p be 3/(0 + (-2 - (-358)/178)). Let i = 98 - p. Is -169 smaller than i?
False
Let p be (105/10)/(-7) - 66/(-4). Let h be (-807)/24 - p/40. Is h <= -35?
False
Let b = 21581/13 - 1661. Let k be 1/2*(2 - -4 - -2). Let u = k - 6. Is u < b?
True
Let i be -81*(-3 - ((-1089)/(-27))/(-11)). Is -107 > i?
False
Let d = -101 - -115.9. Let f = 15 - d. Let y = -75.15 - -75. Are f and y unequal?
True
Suppose -2*v = -4*q - 5712, 2*q + 4*v - 1201 = -4037. Is -1425 at least q?
True
Let o(r) be the second derivative of r**4/12 - 3*r**3 + 15*r**2 - 73*r. Let x be o(19). Are 50 and x non-equal?
True
Let o be (-3)/12*-36 + (-2601)/288. Which is greater: o or -31?
o
Let i = 66 + -15. Let u = -41 + -16. Let h = u + i. Which is bigger: h or 0?
0
Let n(g) = -11*g**2 - 121*g - 524. Let j be n(-17). Is -1645 < j?
False
Let a = -1.76715 + -0.23285. Which is smaller: -1109.9 or a?
-1109.9
Suppose -17*d - 5744 = 291. Suppose -11*w + 280 - 4174 = 0. Which is greater: d or w?
w
Let y(p) = -98*p - 1469. Let f be y(-15). Let b be (-2)/(10 - -2)*1. Which is greater: b or f?
f
Let u = -61 - -63. Let l be (u/8)/(4 + (-858)/16). Which is smaller: 0 or l?
l
Suppose -5*r + 2545 = -5*w, 21*r - 2035 = 17*r + 3*w. Is r greater than 509?
False
Let u = -3813/4 + 974. Let n = -142 + 164. Does u = n?
False
Let b = 74 + -80. Let p = b - -2. Let n be (3 - p/8)/(6/12). Is 28/5 at most as big as n?
True
Let r = 1 + -2. Let f = -16478/25 + 2257686/3425. Which is smaller: f or r?
r
Let n be 3*(-6 - (-100)/15). Let m be -2 - 2/n - 15/(-13). Which is bigger: m or -1?
-1
Let o = 0.031 + -1.331. Let p = -30.3 - o. Let u = p + 32. Which is greater: u or 2/3?
u
Let s be 1376/6286 + (-236)/826. Which is bigger: -1 or s?
s
Let y = -644 - -644. Which is smaller: y or -44/27?
-44/27
Suppose 5*d = u + 16, -2*u - u = -5*d + 18. Suppose -5*i = 4*v + 52, -3*i + 5*v - 18 = d*v. Let s be i/95 + 7/(-70)*-4. Which is smaller: s or 1?
s
Let d be 20*(-4 - ((-6)/2 + -2)). Let o be d/(-15)*48/2. Which is smaller: o or -286/9?
o
Suppose -1510 + 1415 = -95*r. Is 2/689 at most as big as r?
True
Let a be 1*13 + (-1106028)/85082. Is 0 at most as big as a?
True
Let c be (-9770)/(-40) - (138/(-24) + 5). Is 1963/8 at least as big as c?
True
Let w(t) = -6*t**2 + 5*t - 4*t**2 - 4*t + 30 + 9*t**2. Let s be w(5). Let n = s - 22. Is -8 >= n?
True
Let s = 0.7 + -1.7. Let z = -169.8 + -46.2. Let c = z + 236. Are s and c nonequal?
True
Let a = -251 + 138. Let y = 0.042688 - 0.142688. Is y greater than a?
True
Let d = 0.222 - -193.778. Let v = d + -192. Is v > -1/12?
True
Let d = 99 - 54. Let t = 33 - d. Let l(u) = -u**3 - 5*u**2 + 6*u + 1. Let q be l(-6). Which is bigger: q or t?
q
Let n be 625/(-8) - 316/(-2528). Do -12 and n have the same value?
False
Suppose 5*i + 2*n = 22, -4 = 2*i - 4*i + 4*n. Let h be 43 - (i + 12/9*-3). Is 43 greater than or equal to h?
True
Suppose 5*v = -31*t + 34*t + 10, -25 = 5*v + 4*t. Which is smaller: v or 10/149?
v
Suppose 3*f + 50 = -2*u + 7*u, 0 = 4*f. Let p be (-56)/168*u/(-9). Which is bigger: 1 or p?
1
Let x be (0/59)/(-10 - 3). Do x and 2/4663 have the same value?
False
Let n(w) = -25*w + 924. Let i be n(36). Is -59 < i?
True
Let f = -53 - -51. Let z be ((-435)/(-55) + -8)*24. Which is smaller: f or z?
z
Let z be 5568/(-3045) - (48/30)/(-4). Let t = -2 - 0. Which is bigger: t or z?
z
Let g(n) = -2*n + 42. Let k = 76 - 54. Let h be g(k). Which is greater: -5/3 or h?
-5/3
Suppose 0 = -5*j - 2*s + 1, -2*s = 3*j + 2*s + 5. Suppose -2*r + 5*k = 154, -3*k + 222 + 100 = -4*r. Is j at most r?
False
Suppose i + i + 1003 = 849. Are -68 and i non-equal?
True
Let b be (-7)/(-5) + (-2)/5. Suppose -3*x - b = -2*x. Let w = 113/2 - 169/3. Are x and w equal?
False
Let k be 1*(6 - (-5124)/(-852)). Let r = -121 - -121. Is r not equal to k?
True
Let g = -0.016 + -2.784. Let u = g - -2.49. Let v = u - -0.11. Which is bigger: -9 or v?
v
Suppose 5*r + 38 = -4*v + 4, -3*r = 5*v + 23. Which is bigger: -1/298 or v?
-1/298
Let f = 74546 + -74417. Suppose -5*l = 2*b - 654, -4*l + 3*b = -b - 512. Is f greater than l?
False
Let y be 1 - ((-80)/(-48) + (-285)/9). Let h = 1 + 0. Let b be 32 + h - (0 - -2). Are b and y nonequal?
False
Let w be (-1 + 3)/2 - -262. Suppose -9*p - 659 = -w. Suppose 0 = 5*a - 51 + 266. Do a and p have the same value?
False
Let b = -23477.12 - -22901. Let v = b - -576. Which is smaller: v or 3?
v
Let z(h) = -h**3 - 14*h**2 + 18*h - 12. Let t be z(-16). Let r = t - 263. Is r != -52?
True
Let k = -0.0784 - -51.1784. Let r = 133.1 - k. Which is bigger: 3 or r?
r
Let u = 64 - -28. Let o = u + -153. Let a = 64 + o. Which is smaller: a or 1/4?
1/4
Let g = 55.12 + -54.467. Which is smaller: -1 or g?
-1
Suppose -2*h + 88 = 2*l, l + 2*h + 6 = 50. Let y = -41 + l. Suppose 5 = y*f + 11. Is -9/8 < f?
False
Let i = 451 - 1073. Let c be (-12)/(-7) - 279424/448. Is i greater than c?
False
Let c = 463.9 + -463. Which is smaller: 17 or c?
c
Suppose v + 100 = 2*k - 239, 2*k + 2*v = 324. Suppose 2*u - 2*i = 62, -5*i = 5*u - k - 18. Is u != 34?
False
Let n = -615 + 619. Suppose 4*j - 404 = -4*t, -169 = -n*j + 5*t + 253. Which is greater: 104 or j?
104
Let g = 61885 + -738473703/11933. Which is smaller: -1 or g?
-1
Let j = -9 + -5. Let l = -14 - j. Let b be 0 + l + 2/(-6). Is b at least 2?
False
Let b = 803 + -