 (-2)/7 - (-29)/o. Is a greater than 4?
False
Suppose -8*r + 1 = -15. Suppose 2*k - r = 4*b, 0*k - 4*k - 2*b = -24. Let x(d) = -d + 5. Let a be x(k). Is -4/31 >= a?
False
Let w = 336.02118 - 0.02118. Are 6 and w non-equal?
True
Let p = 2998.4 + -2998. Which is smaller: 348.4 or p?
p
Let t(u) = 3*u**2 + 499*u + 1657. Let z be t(-163). Let j be (-1)/3 + 256/(-6). Let v = j + z. Which is smaller: -19 or v?
-19
Let k = -34.788 - 0.412. Let w = -51.2 - k. Is 10 at most w?
False
Let z = 14052 + -1124053/80. Is z less than or equal to 1?
False
Suppose 8 = 2*z - o + 3*o, 4*z + 2*o - 8 = 0. Suppose z = -3*m + 102 - 12. Let f be (1 + 0)*(-5)/m. Are f and 0 nonequal?
True
Let x = 45922299/11 - 4184839. Let d = x + 10092. Do d and 6 have the same value?
False
Let q = 7.4 + -6. Let w = -172 + 172.5. Is w greater than q?
False
Let s = -11676/13 + 163321/182. Let d be -2*(-1)/2 + -1. Which is bigger: s or d?
d
Let i = -1.32 + 1.42. Let w = -28.11 + 28. Let t = w - -0.03. Which is greater: t or i?
i
Let y be ((-372)/(-18))/(2/3)*1. Suppose 0 = 5*r - o + 27 + 30, -3*r - o = y. Which is smaller: r or -58/5?
-58/5
Let f = -358 - -357.99. Let q = -0.99 + f. Which is smaller: -6.7 or q?
-6.7
Let i = -4645 + 18397/4. Let h = -1228 - -1183. Is i greater than or equal to h?
False
Let i = 24532 - 318544/13. Which is greater: i or 2/11?
i
Let r = -613.714 - -614. Let n = -1.286 + r. Is n at most 303?
True
Suppose 4*m + 5*u - 2*u = -841, 0 = -4*m - 12*u - 904. Do m and -123 have the same value?
False
Suppose 0 = 26*p - 7*p - 15*p + 60. Which is smaller: p or -384/25?
-384/25
Suppose 56*d + 24968 + 120 = 0. Is d at most -447?
True
Let z = -2.5 - -121.5. Let h = 71 - z. Let l = -60 - h. Do l and -1 have the same value?
False
Let c = -4.9 + 2.9. Let z be (-18*7/(-105))/((-12)/90). Is z equal to c?
False
Let u(x) = -x**3 + 24*x**2 + 62*x - 926. Let k be u(25). Is 40/469 at most k?
False
Let o be ((-102)/68)/(3/(-4)). Suppose -49 = 4*b - 3*j, -o*b - 26 = 2*j - 4*j. Let v be 6*5/402*(-4)/b. Which is greater: -1 or v?
v
Let f(h) = 8*h + 40. Let j be f(8). Let g = 105 - j. Which is smaller: 1/79 or g?
1/79
Let h = 173 - 179. Let m(y) = y**3 + 6*y**2 - 7*y - 26. Let q be m(h). Which is smaller: q or 21?
q
Let u = -105 + 118. Suppose -21 = 8*l + u*l. Do -1/17 and l have different values?
True
Let j be 0*2/(16/(-4)). Suppose -2*o - 8 = -0, j = -5*l + 2*o + 3. Let t be (-4)/(-10) - (-123)/(-420). Is l >= t?
False
Let c = 432/5 + -86. Suppose 34 = -9*k + 26*k. Let p be (39/104)/(k/4). Which is smaller: p or c?
c
Suppose 2*g = 2*k - 92 + 42, 0 = 4*g - k + 94. Let y = 2774 + -13986/5. Is y at most as big as g?
True
Let y = 5607 + -5606. Let m be ((-28)/(-220))/(-1) + 0. Let c = m - 129/715. Is y > c?
True
Let g = -28.255 - -26.655. Which is smaller: -74/9 or g?
-74/9
Let p be 2 + (-39)/18 - (-4180)/62832. Let q = -1/670 - 1221/79730. Let n = q - p. Is 1 > n?
True
Let b(y) = 7*y**3 + 4*y**2 - 3*y - 26. Let q(d) = 6*d**3 + 3*d**2 - 2*d - 25. Let v(i) = -5*b(i) + 6*q(i). Let w be v(3). Which is greater: 7 or w?
7
Suppose -5*x + 20 = 0, 17*i - 15*i = -x. Let h = -137 + 1506/11. Let p = h + -31/22. Does i = p?
False
Suppose 0 = -4*c - 89 + 13. Suppose 15*w + 8 + 7 = 0. Let n be -3 + 16/((2 + w)*-1). Is n < c?
False
Suppose 0*g - 5*g - 2395 = 0. Let h = -186015/7 + 2009219/77. Let x = h - g. Is -1 equal to x?
False
Suppose 0 = 782*l - 753*l - 50663. Is 1745 greater than or equal to l?
False
Let k = -1.67 + -0.33. Suppose 37*d + 145 = 108. Is d at most k?
False
Suppose -3*q - 1 + 16 = 0. Suppose 0 = 2*j + a - 2*a + 17, q*j = -4*a - 10. Let n(o) = -3*o - 17. Let x be n(j). Is 1 greater than x?
False
Let b = 8.5 - 12. Let c = b - -1.5. Let f = 0.0762 - -0.0238. Which is smaller: c or f?
c
Let t = -850 - -842. Are t and -445 unequal?
True
Let d = -6932863805 - -105358731202462/15197. Let a be (6/(-8))/((-5845)/20). Let l = a + d. Which is bigger: l or -4?
l
Let s(d) = -d**2 - 7*d + 23. Let l be s(-7). Let f = 1569 - 1537. Is l greater than f?
False
Let r = 268 + -273. Let t(c) = c**3 + 7*c**2 + 11*c + 4. Let f be t(r). Suppose -3*z - 11 = -5*p, 3*z + 5*p = z + 1. Which is bigger: f or z?
f
Let r = 629.00685 + -0.00685. Is 0.4 greater than or equal to r?
False
Let b = -3/124 + 559/2604. Let t(m) = 4*m**2 + 42*m - 22. Let l be t(-11). Does l = b?
False
Let a = -28669 + 10663. Which is greater: -18005 or a?
-18005
Let j = 9185/14 + -656. Is 40 greater than or equal to j?
True
Let a(n) = -n**2 - 11*n. Let t be 0 - 3/(3/10). Let s be a(t). Suppose -8*g = -4*k - 4*g - 8, 5*k + s = -3*g. Is k less than or equal to -11/6?
True
Let l = 178.416 + -0.416. Let z = l - 155. Are -4 and z unequal?
True
Let w(z) be the second derivative of 67*z**3/6 - 155*z**2 + 75*z. Let u be w(5). Is 76/3 smaller than u?
False
Let f = 845 + -883. Let z be 1/2 - 14/14. Is z greater than f?
True
Let f = -73 + 67. Let c be 0/((-4 - 2)/f). Is c at least as big as -10/9?
True
Let t = -1560 - -1560. Suppose -2*z - 82*y + 78*y - 6 = 0, t = 3*y. Let d be (8/5)/((-28)/30). Which is smaller: d or z?
z
Let v be (-2)/4*1930/15. Let h be -63 + -3 + 3 + -1. Are v and h unequal?
True
Suppose -4*k + 2*k = 0. Suppose -2*r = -5*q - 163, k = -2*r + 3*q + q + 158. Let y = -347/5 + r. Which is smaller: -15 or y?
-15
Let i = 0.02784 - 3.02784. Is -76/13 greater than i?
False
Let r = 165 - 111. Suppose 49*a = r*a + 15. Let c be -3*((-16)/(-4))/(-4) + a. Which is smaller: -10/7 or c?
-10/7
Let j = 55.098 - 0.098. Let q = j + -35. Let t = q - 21. Is 68 bigger than t?
True
Let j = -182.12 + 182. Let l = 0.5 + -0.28. Let q = l + j. Is q at most as big as -2.8?
False
Suppose 0 = -i - 2*i + 15. Let w be 18/112*103240/2670. Which is greater: i or w?
w
Suppose 0 = 4*w + w - 2*w. Suppose w = 2*g - i + 62, g = -2*i - 3*i - 9. Which is smaller: -28 or g?
g
Suppose 0 = 5*i + 5, -26*i + 21*i = 2*n + 199. Let h = n + 96. Which is smaller: -3/19 or h?
h
Let i be -3*(1/4)/(1/(-4)). Suppose 2*m - i*o + 19 = 7, -3*o = -3*m - 12. Which is greater: m or -5/16?
m
Let t(c) = -56*c - 391. Let w be t(-7). Let x be (10/15)/((-778)/(-6)). Which is bigger: x or w?
w
Let w = 523 + -503. Let f be (-11)/w + 8*4/40. Are 182 and f equal?
False
Let x(j) = -j**3 - 51*j**2 - 55*j - 247. Let h be x(-50). Let c be (3 + -4)/(146/49 - h). Is c <= 540/11?
True
Let b = -27709/16626 - 1/16626. Suppose 12*k - 14*k - 4 = 0. Is b > k?
True
Let b = 699 + -716.14. Let f = -17.2 - b. Is f less than 6/23?
True
Let s = 5867 - 5861. Is 204/41 bigger than s?
False
Suppose 0 = -3*m - 9, 5*n - 44*m + 35548 = -40*m. Is -7109 > n?
True
Let g = -1643 - -1642. Which is greater: g or -3/3976?
-3/3976
Let b = -20841 + 1021173/49. Which is greater: -2 or b?
b
Let f = -102.44 - -16.54. Let y = 12.9 + f. Let b = y + 67. Does -2 = b?
False
Suppose 125*v + 224 = -99*v. Which is smaller: -14/1005 or v?
v
Let y = 9.042 - 8.782. Which is smaller: -1/36 or y?
-1/36
Let p = 3/58 + 43/290. Suppose -3*d = g - 10, -3*d + 2*d = 3*g - 6. Suppose -g = 5*a + w, -w - 1 = -3*a + 6*a. Is p != a?
True
Suppose 5 - 1 = 3*n - 4*h, 0 = -5*n - 2*h - 2. Let o be (-2)/(-9) + 24836/(-144). Let k = o - -171. Which is smaller: n or k?
k
Let d = 14.8 - 18. Let q = -39.48 - -39.46. Which is smaller: q or d?
d
Let n be ((-120)/(-60))/(1 - -1). Let z = -6 - -6. Let g be (4/(-14) - z)/8. Is g smaller than n?
True
Let y = -1.59 - 3.01. Let m = 8.6 + y. Is 0.2 less than or equal to m?
True
Suppose -562*v - 482*v + 330 = 1374. Let a be 2/3 - (-208)/(-309). Does v = a?
False
Let n be 54/(-50) + 2/2. Let j = 46847 - 46846. Is j smaller than n?
False
Let m = 17 - 57. Let q = m + 121/3. Let g = 0.0512 - -63.9488. Which is greater: q or g?
g
Let y(c) = c**3 - 23*c**2 - 22*c - 45. Let t be y(24). Let v be 0 + (-1489)/(-560) - (-24)/(-84). Let m = 3/112 + v. Which is bigger: m or t?
t
Let l be 1174/30 + (-9)/(-45). Let g = -709/18 + l. Suppose 0 = -156*h + 183*h - 27. Which is smaller: h or g?
g
Suppose 7*s + 12356 = 12426. Which is greater: -420 or s?
s
Let b be 3*(2 + 15/(-6)). Let g = -0.4635 - 0.1355. Let k = g - 0.101. Which is smaller: b or k?
b
Let v = 257/3003 + -2/231. Let m = 1710 - 6841/4. Which is greater: m or v?
v
Let r be (1 - -1 - -14) + -1. Let c(m) be the second derivative of -m**5/20 - 2*m**4/3 - 5*m**3/6 - 13*m**2 + 53*m. Let 