u(18). Is r > q?
False
Let o = -75/1943 - -598561/15406047. Is -1 equal to o?
False
Let a be ((-14)/70)/(24/45 + (-5)/15). Let u = -33 + 14. Let p be (-4)/6*3/u. Which is greater: p or a?
p
Let g be 1/16 - 53676/860352. Which is smaller: g or 0?
0
Let j = -0.033 - -0.139. Let y = -0.464 - j. Let z = 0.55 + y. Which is bigger: 2 or z?
2
Let f be 16 - (-3 + 11 + -5)/(-8 - -7). Let a = 2 - 2. Suppose a*h = -3*h + 63. Which is greater: f or h?
h
Let w = 993/7 + -7963/70. Which is bigger: w or 28?
w
Let r = -19084/3 + 6362. Let l = -6 + 2. Let g = 2 + l. Is g >= r?
False
Let o = 0.04684 - 0.04684. Do -0.0987 and o have different values?
True
Let a be 531986/1365*(-2)/(8/6). Let k = 589 + a. Which is greater: k or 5?
5
Let v = -0.17 - -0.07. Let m = -1923.04 + 1923. Is v >= m?
False
Let l = -285 - -130. Let u = l - -150. Which is smaller: u or -0.2?
u
Let s(t) = t**3 - 9*t**2 - 19*t + 12. Let g = -28 + 25. Let i be (-1 - g)*(34/4 - 3). Let q be s(i). Which is smaller: q or 46?
q
Suppose 0*k = k + w + 1, 0 = -2*k - 4*w - 12. Suppose -i + t = 38, -k*i - 6*t - 184 = -2*t. Let d(y) = 255*y + 2254. Let a be d(-9). Which is bigger: i or a?
a
Let k be 1/(((-206)/309)/(10364/6)). Which is smaller: k or 1?
k
Let q(w) be the first derivative of 2*w**2 + 28*w - 5. Let s be q(-7). Suppose -6*b - 2*b = s. Which is smaller: b or 1?
b
Let v = 24 - 37. Let w(j) = -j**2 - 7*j - 9. Let l be w(v). Let q be 4/12 + (-1 - l/36). Is q greater than or equal to 1?
True
Let o = -9757/29 + 519882173/1545207. Which is bigger: 0 or o?
0
Let l = -24735 - -17057. Is l greater than -7678?
False
Let o be ((-331815)/(-74907) - 4/(-7)) + -5 + 0. Is 0 > o?
False
Let o be (-6)/(-12) + (-269)/(-2). Let g be 8 - 1 - (0 + 5) - -132. Which is smaller: g or o?
g
Let k = -3877.11 + 3877. Which is greater: k or 1.35?
1.35
Suppose 4*n - 182 = -4*r - n, -r + 53 = 5*n. Suppose 4*k - r = -t + 26, 0 = 4*k - 2*t - 66. Which is bigger: k or 9?
k
Let s = -19199 + 19193. Is s at least -372/71?
False
Let z be (-2)/3 - (-32)/(-6). Suppose 0 = -26*f + 9*f. Let p be (-7 - (-8 + f))/(2/(-14)). Which is bigger: p or z?
z
Let m be (-28)/(-2)*(5100/(-24) - 2). Let j = 23913/8 + m. Which is bigger: -13 or j?
-13
Let r = -14447.9 + 14448. Is r smaller than 3/1423?
False
Let z(r) = -r**3 - 29*r**2 + 63*r + 20. Let x be z(-31). Let m be -1*(x - -5) - -20. Which is bigger: m or 23?
m
Suppose -2*c = 6*k - 7*k - 16, -k = 5*c - 19. Which is bigger: 160/41 or c?
c
Suppose -9224 = -39*x + 5869. Let g = x - 321. Suppose 4*d - d - 201 = 0. Is d less than or equal to g?
False
Let b = 245 + -245. Let r be 38/95*(1 - b). Which is greater: r or -0.133?
r
Suppose 10 = -3*m + 13, 2*m - 4 = -o. Let z be 0/(-1) + 0 + 4. Suppose -4*g + z*q = 12, 4*g + 4*q - 22 = -o. Is g at least 4/19?
True
Let u be -3 + 10 - 1088/2. Let p = u + 532. Which is bigger: -46/11 or p?
-46/11
Let n = 25.495 + 0.105. Let x = 29 - n. Let q = x + -3.6. Does q = 0.1?
False
Let n be (-384)/(-1728) - (-4)/(-18). Is -9/427 < n?
True
Let v be (-1910)/((-111)/9 + 6 - -6). Is 5730 bigger than v?
False
Let q = 4733.1 + -4937. Let c = -204 - q. Which is bigger: c or 31?
31
Suppose -6*n = 132 + 120. Let b = 1 + n. Which is greater: b or -40?
-40
Let g = -8746 + 8745.88. Which is smaller: g or 123?
g
Let c = -17718 - -17720. Are c and -376/5 nonequal?
True
Suppose 4*t - 85 = 287. Suppose 5*w - t = 4*p, 2*w - 66 = -w - p. Let r(i) = i**3 - 21*i**2 + 2*i - 38. Let h be r(w). Which is greater: 5 or h?
5
Let y be 2 + (34/10 - (-13)/260*-8). Suppose -3*m + 64 - 22 = 0. Let g = y - m. Is -5 at most as big as g?
False
Let v = -0.092 + 0.1. Let f = 3.822 + -3.91. Let o = v + f. Is o equal to -0.2?
False
Let y = -0.002 + -0.425. Let c = 0.4 + y. Let w = c - -0.287. Which is greater: 0 or w?
w
Let q be (-66)/90*-3 - 3. Let i(z) = 2*z - 9. Let h be i(7). Suppose -3 = 3*l + 5*w, -2*w + 4 = -h*l - 1. Is l bigger than q?
False
Suppose -2*t + 19 = 3*p + 5, -25 = 5*t. Let l be p/(-36)*-3 - (-132)/(-252). Let q(x) = x**2 - 6*x + 4. Let w be q(5). Is w greater than or equal to l?
False
Suppose -51 + 9 = 2*i. Let v = i - -2. Let k be (-2)/(-102)*(-16 - v). Does k = -1?
False
Suppose -h - w + 7 = 0, 0*w + 2*w = 14. Is h <= -2/4291?
False
Let b = 25841 - 14654. Is b >= 11186?
True
Let n(q) = -2*q**2 + 14*q + 1. Let t be n(10). Suppose -2*s - 5*i - 103 = 0, -4*i = -58*s + 61*s + 165. Is s not equal to t?
False
Let x = 4/1361 + 11825/144266. Suppose 34 - 6 = 3*l - 4*b, 0 = 2*l - 5*b - 35. Which is smaller: x or l?
l
Let d = 18/5 - 784/215. Let c be 74/(-10) + 7 - (-169)/860. Let p = c + d. Is -2/7 not equal to p?
True
Let l be (-116)/(-14) - (0 + 4/14). Suppose -l = 5*m + j, m + j = -0*m. Is -1 at most as big as m?
False
Let f = 1275 + -1281. Let m(z) be the second derivative of z**3/2 + 8*z**2 - 2*z. Let h be m(f). Is 1 greater than h?
True
Suppose -93*m = 62*m - 155. Is -2/18239 less than or equal to m?
True
Suppose -2201 = 3*c - 4*v, 1468 = -2*c - 8*v + 10*v. Let n = c + 16909/23. Which is smaller: n or -1?
-1
Let y be 42 + -38 + 27/24. Let t be (14/3)/(1104/1233). Let k = t - y. Is 0 not equal to k?
True
Suppose -2*q = -3*k + 7944, -q + 15896 = -5*q + 4*k. Is q greater than or equal to -3976?
False
Let h = 0 + 36. Suppose -3*a + h = -4*a. Let q(d) = -d**3 - 22*d**2 + 4*d + 51. Let l be q(-22). Which is smaller: l or a?
l
Let w(j) = -j**3 + 7*j**2 + 27*j - 73. Let q be w(10). Which is smaller: q or -101?
q
Let l(j) = -j + 17. Let d be l(16). Suppose -q + d = -26. Let z be ((-189)/(-28))/(-9)*-36. Is q greater than z?
False
Let q = -91.41497 - -1.46287. Let w = q + -0.0479. Which is greater: w or 3?
3
Let b(s) = s**3 - 7*s**2 + 49*s - 748. Let q be b(14). Which is smaller: q or 0.1?
0.1
Let z = 174 + -170. Let r be (10/z)/((-154)/44). Is -1 at least r?
False
Let s = -1876 - -8564. Is 6689 >= s?
True
Let f be (0 + 1)/(-3 + 5482/1828). Let n be (2 + f/87)*5/1328. Let g = n - -3/332. Are g and 1 equal?
False
Let s be ((-31962)/(-390908223))/((-4)/(-14730558)). Let w = -2/2286013 + s. Let q = -301 + w. Which is greater: q or -1?
q
Suppose -r + 4*k + 83 = 0, -r - 2*k + 88 = -k. Suppose -39*f - r = 30. Suppose 0 = l - 3, y = 3*y - 2*l + 12. Is y at least f?
True
Let u(m) = 79*m - 1757. Let v be u(23). Which is smaller: 48 or v?
48
Let j be 10/640*60*2/(-10). Which is smaller: 2/9 or j?
j
Let v(r) = 2*r**2 - 22*r + 59. Let l be v(0). Let g = -3 + 2. Which is bigger: g or l?
l
Suppose -2*l - 1 = 3, 3*w - 2*l = -158. Let n = 27.21 - 25.21. Is n >= w?
True
Let m be -3 - 17/(408/16)*-5. Suppose -2*u = -7*u + 25. Suppose -2*s + u = 25. Which is greater: s or m?
m
Let m = 2822520/263 + -10732. Which is smaller: 1 or m?
m
Suppose -781 = 2*u + 2*i + 131, -5*i - 472 = u. Which is smaller: -3 or u?
u
Suppose -16*h - 14*h + 2070 = 0. Let u be 87/63 - 115/h. Which is greater: u or 28.3?
28.3
Suppose -302 = -5*m + 88. Suppose 4*i - 42 = m. Suppose -4*b + 2*b + i = 0. Are 13 and b equal?
False
Let r = -166 - -163. Let v be r*(0 + (-148)/12). Which is greater: v or -1?
v
Let l(p) = -p**3 - 7*p**2 + 29*p - 10. Let o = 71 - 81. Let h be l(o). Is -2/1121 >= h?
False
Suppose 270*w - 269*w = -2874. Let z be ((-18)/w)/(9/(-6)). Is z at least 1?
False
Let m be ((-75429)/2085 - 1)/((-426)/10). Let i = m - 120/139. Is i at least -1?
True
Let x = -894 + 894. Is x at most 21/58?
True
Let y = -1901 + 2032.9. Let a = 132 - y. Let v = 7 + -12. Is a at most as big as v?
False
Let l be 29416/2676 + (-47 - -36). Is -1 > l?
False
Let s = -30 - -28. Let z be s/4 - (-30)/140. Let m = 47.1 + -46.68. Which is greater: z or m?
m
Let s = 31 - 24. Suppose -s = -7*t + 7. Suppose 2*r + r + t*a = -11, 4*r + 5*a = -17. Which is smaller: 3 or r?
r
Let o be ((-4)/6)/(1/72). Let m(p) = 82*p - 13988. Let t be m(170). Is o less than or equal to t?
True
Let i be (80 - -1)*-7*26/(-22). Let r be (-9 + 678)/(2 - 3). Let k = r + i. Which is greater: k or 0?
k
Let h = -1/32 - -67/96. Let m = 57.31 - -0.69. Let p = m - 44. Is p at most h?
False
Let f(s) = 35 - 6*s + 3 + 34. Let v be f(12). Which is greater: v or 1/9?
1/9
Suppose 0 = 5*l + 4*s - 663, 5*l - 653 = 2*s - s. Let d = 128 - l. Does -6 = d?
False
Let j be (8/(-52) - 0) + (-101114)/(-338). Is 300 less than or equal to j?
False
Let w(k) = k**3 + 12*k**2 - 5*k - 60. Let u be w(-12). Are 