25 - 136.199. Let h = s - m. Which is greater: 7/5 or h?
7/5
Let y = -22837 + 34986. Does 12149 = y?
True
Let i(t) = 86*t**3 - 5*t**2 - 2*t + 4. Let x be i(2). Which is greater: 670 or x?
670
Let i be (10 - 2)*(-200)/(-80). Suppose 33*l = i*l. Is l at most -2/61?
False
Suppose 24378 = 101*m - 7171 - 4104. Is 360 <= m?
False
Let p = -3.06 - -3. Let m = -3.94 + p. Let o(h) = 584*h - 585. Let c be o(1). Are c and m unequal?
True
Let h(m) = -m + 7. Let s be h(-6). Suppose -19*c = -s*c - 6. Let n = -38 - -37. Which is smaller: n or c?
n
Let y = 23722 - 26738. Which is bigger: y or -3015?
-3015
Let q = 0.02127 + 8.11273. Let g = q + -0.134. Which is smaller: 0.2 or g?
0.2
Let w = -207 - -322. Let q = 134 - w. Is q < 0.1?
False
Let v(u) = 121*u - 270. Let z(a) = -61*a + 135. Let w(k) = 3*v(k) + 5*z(k). Let j be w(5). Which is bigger: j or -2/5?
j
Let o = -85.0907 - -0.1907. Let n = o + 10.9. Let k = n + 79. Which is smaller: -0.06 or k?
-0.06
Suppose 4*b - 3*u = -2*u - 29, 2*b = 2*u - 22. Let a be (b/636)/((-1)/8). Let n(h) = -h - 2. Let g be n(-2). Which is greater: a or g?
a
Let l be (-61792)/240*(-6 - -1)*(-6)/(-24). Is l greater than 321?
True
Let v be 5 + (-16)/(-2 - -1). Let z(t) = t**3 - 3*t**2 - 3*t + 18. Let p(g) = -4*g - 20. Let m be p(-6). Let b be z(m). Is v at most b?
True
Suppose 13*a + 10 = 3*a. Let t be (8 - a)/(-3) - (-169)/60. Let m = -1/60 - t. Which is smaller: 0.1 or m?
0.1
Let z = 4213/6 - 4211/6. Which is smaller: z or 2/197?
2/197
Let d = -16 - 3. Let m = -18.968 - d. Let k = m - 0.132. Is 1 at most k?
False
Suppose 17*f = 12*f + 765. Suppose 147*o - f*o - 72 = 0. Do o and -2/17 have the same value?
False
Let j = -194 + -74. Let q = 3347 - 3614. Is q <= j?
False
Let g = 323083 - 29723333/92. Let r be (-12 - -8) + (2 - (-70)/23). Let l = r - g. Is -1 greater than or equal to l?
True
Let g(w) = -2 + 6 - 5 + 0. Let p(o) = 2*o - 30. Let s(t) = 6*g(t) + p(t). Let x be s(12). Which is greater: -15 or x?
x
Let l(m) = 18*m**3 + 5*m**2 - 3*m - 1. Let j be l(1). Suppose 0 = -24*p + j - 307. Suppose 2*t - 16 = c, -5*c - 2*t - t - 41 = 0. Which is smaller: c or p?
p
Let f = 439.2 + -435.2. Which is smaller: -6/11 or f?
-6/11
Let z = 2438 - 429087/176. Let w be (-2782)/(-2461) - (-24)/(-184). Which is smaller: w or z?
z
Suppose -19*d = -20*d + 95. Let u = d - 87. Let v be (-3)/18*u*15/(-3530). Do 0 and v have the same value?
False
Let c = 73 - 3. Let v = c - 45. Let t be (5/15)/(v/(-30)). Is -0.3 less than or equal to t?
False
Let z be (-3 + 7)/((-2)/(-22)). Let s be 1/(-10)*(-30)/24*-2. Does s = z?
False
Let w = 863.1 + -828. Let d = w + -6.1. Let i = d + -28.3. Is i at least 4?
False
Suppose -7 = 3*a - 10, -6*a = 3*h - 7167. Is 2387 at least as big as h?
True
Let j = 0 - -3. Let p = -185.9 + 72. Let a = p + 114. Which is smaller: a or j?
a
Let y = 808.1 + -808.45. Which is smaller: y or 49?
y
Let x(z) = z**3 + 100*z**2 - 86*z + 1509. Let q be x(-101). Is -469 bigger than q?
False
Let x = -239.2 + 173. Let c = x + 65. Which is smaller: c or 0.5?
c
Let d be (3/2)/1*-14. Let f = 2558 - 2534. Let n = f + d. Which is smaller: n or 7/3?
7/3
Let c = 33302/3 - 11235. Which is smaller: -133 or c?
c
Suppose 0 = -7*p + 4*p - 4*g - 14, 4*p - 13 = g. Let b be -3*5*(0 + p/(-3)). Which is smaller: 41/4 or b?
b
Let n be (132/55)/(1/15). Suppose -30*y = -n*y - 360. Do y and -60 have the same value?
True
Suppose 166*j = 161*j. Is 1/2255 bigger than j?
True
Let p = 133 - 144. Let f be (-10 - p)/((-1)/(-21)). Which is greater: 22 or f?
22
Let s be 10*5*(6/4)/3. Suppose x - s = 16. Suppose 2*d - 6*d + 168 = 0. Is x >= d?
False
Let u be (21 + 14340/(-680))*5/(45/(-12)). Is u equal to 503?
False
Let t = 3.43 + -2.12. Let l = t + -1.11. Which is greater: l or -109?
l
Let y = 0.0671 - 0.0271. Which is greater: 0.36 or y?
0.36
Suppose a + 3 = 0, -47*a + 42*a = -3*m + 27. Suppose m*y - 3*p - 6 = 0, 4*y - 6*p = -2*p + 8. Which is greater: 7/8 or y?
7/8
Let q = 2369.4 + -4463.4. Is q < 0.2?
True
Let w = 89 - 116. Let a be w/(-81) + 1 + 14/(-6). Which is smaller: -4 or a?
-4
Let h(w) = -w**3 - 35*w**2 - 39*w + 886. Let r be h(-33). Let z(c) = c**3 - 5*c**2 + 4*c - 1. Let a be z(3). Is r < a?
False
Let k = -33244500/43 - -134987892301/174580. Let r = k + 5/812. Let a = 88 - r. Which is bigger: 1/3 or a?
a
Let z(u) = -8*u + 33. Let s be z(-10). Let c = 107 - s. Let k be (-1020)/70 - c/(-14). Is -14 > k?
True
Let b be -6 + (2 - 5) - 177. Let d be 28/(3/b*-4). Are 434 and d equal?
True
Let h be (-8 - 207948/(-25992))/((-7)/(-30322)) - 2. Is h less than or equal to -1?
False
Let v = 3451 + -3303. Do -2 and v have the same value?
False
Let j be (-2125)/175 + 12 - (-7)/((-98)/37140). Do j and -2653 have different values?
False
Suppose 4*y + 16 = -4*n, y + y = 2. Let m = -96 + 107. Let x be ((-2)/(-7))/(m/(539/(-3))). Is n smaller than x?
True
Let l be 18/(-39) - 2*(-1083)/(-884). Is 0.1 != l?
True
Let o be (-39078)/198 + (15/12)/((-4)/16). Is o < -202?
True
Let p = 72 + -174. Let b = p + 88. Is -14 at least b?
True
Let t(x) = x - 6. Let r be t(5). Let v = 9854848/105759 + 12/3917. Let p = v - 93. Which is smaller: r or p?
r
Suppose a - 2056 = -2*v, 0 = -4*a + 5*v + 159 + 7961. Is a at most as big as 2042?
True
Let k(t) = t**2 + 10*t - 6. Let r be k(-9). Let p = 16 + r. Is 4/3 equal to p?
False
Let r = 25 - 22. Suppose r*g - 23 = -0*g - 4*t, -4*g + 5*t + 10 = 0. Suppose 0 = g*c - 106 - 24. Is 26 at least as big as c?
True
Let j = 0.2 + 0. Let o = 38790.83 - 38633. Let l = -158 + o. Which is bigger: l or j?
j
Let d = -80 + 1. Let y = d - -81. Suppose 3*l = 4*m - 85, -y*l - 4*m + 4 = 74. Is -31 less than l?
False
Let v be (1 + 1)*-1*-1 + (112 - 61). Is v not equal to 4?
True
Let q = 595 + -594.747. Let k = q - 1.253. Are 1/4 and k nonequal?
True
Suppose -30*w = -7*w + 23. Let m be (w/(-173) - 0/30)/3. Which is bigger: m or 1?
1
Suppose -j = 2*j - 102. Let f = j + -31. Let l be f + -2 + (-9)/2. Which is bigger: -3 or l?
-3
Suppose 4*a = -0*a + 4. Suppose 7*x = -6 + 20. Let n be -10*(-4)/(-132)*(-5 + x). Which is greater: a or n?
a
Let x be 340/(-30)*(-260)/(-8) + -6. Is -373 != x?
True
Let z be (-4)/2 + (-7260042)/(-9706). Let l = 746 - z. Which is greater: l or 0?
l
Let n be (5 + -3 + -7 - 4) + -11464. Does -11473 = n?
True
Let i = 1048 + -32485/31. Let d(y) = 16*y - 2. Let t be d(-15). Let z = t - -243. Which is smaller: z or i?
i
Let a be (-344838)/576030 - ((-24)/(-10) - 3). Which is greater: a or 1?
1
Let t = 6 + -4. Let q be (-16)/40 - 4/((-80)/22). Is t > q?
True
Let a = -1143 - -89117/78. Let b = -5/26 + a. Let v = 76 - 51. Which is smaller: v or b?
b
Let c = -4 - -85. Let q = 79 - c. Let r = q + -109. Is -1/4 <= r?
False
Let f(q) be the second derivative of 0 - 22*q + 8*q**2 - 1/20*q**5 + 4/3*q**3 - 1/3*q**4. Let a be f(-5). Which is smaller: a or -5/21?
-5/21
Suppose 124*z - 121*z = -y + 4, 2*y + 3 = 5*z. Which is bigger: y or -7/3908?
y
Suppose 4*p + 2*g = -10, -2*g - 20 = 2*g. Suppose -4*w + 25 - 13 = p. Suppose w*b + 15 = 3*c - 6*c, 0 = -c - 2*b - 8. Which is smaller: c or -5/8?
c
Let z be 49 + -1 + (-34)/(-17). Suppose -4*g + 0*y + 2*y = z, -3*g + 4*y - 50 = 0. Let u be -1 - ((-22)/143 + (-184)/(-13)). Which is smaller: g or u?
u
Let k(s) = -s**3 - 12*s**2 - 10*s - 48. Let f = 110 + -122. Let a be k(f). Which is smaller: a or -1?
-1
Suppose 0 = -8*z + 3*z - 45. Let j(y) = y**3 + 9*y**2 - 3. Let r be j(z). Let p = r - 3. Is -2 less than p?
False
Let x = 69063 - 69062. Let d = 4333 - 567629/131. Do x and d have different values?
True
Suppose -3*l = 4 - 43. Suppose -16*z = -l*z + 87. Let d = z - -28. Do 3.5 and d have different values?
True
Let s = -14033 - -14026.5. Is 0.06 not equal to s?
True
Let c = 5996.266 + -5997. Is c less than or equal to -2/9?
True
Suppose 27*s = 29*s. Let w(q) = -4 + s + 8 + q + 0*q. Let b be w(-5). Which is smaller: 4 or b?
b
Let m be (-35)/508*(-556)/(-8340). Is m at most as big as 0?
True
Suppose 3*w = -4*d, 3 = -3*d - 3*w - 0. Suppose -5*m - 119 = 4*o, 0*m - 152 = 5*o + d*m. Let g = -16 - o. Which is smaller: g or 16?
g
Let h = -121.11 + 121.02725. Is h less than or equal to 0?
True
Let i be (113/(-58) - -2)*-2. Suppose -5*q + 2*q + 11 = 8*q. Which is smaller: i or q?
i
Suppose 434 = -5*u + 464. Let n(v) = -2*v**2 - v**2 + 4*v**2.