 + 167*m - 136. Let n = m - g. Which is bigger: 3/67 or n?
3/67
Let u(z) = -z**3 + 38*z**2 + 36*z + 77. Let y be u(39). Let j be (2545/8 - 3) + 5/y. Is j >= 315?
True
Suppose -4*t - z - 651 = 0, -11*t + 10*t = z + 162. Which is smaller: t or -167?
-167
Suppose 9 = 5*r + 13*r - 9. Are r and -20/533 equal?
False
Let z = -1.5902 + 1.1402. Which is bigger: z or 156?
156
Let y = 751/4 - 188. Suppose -3*r + 3 = 0, 0 = 5*m + 3*r + 2*r + 30. Let j(l) = l**3 + 6*l**2 - 8*l - 8. Let s be j(m). Do s and y have the same value?
False
Suppose 41*l + 2088 = 53*l. Is l less than 0?
False
Let n be -3*11 + -1 + 756/((-3780)/(-60)). Let b be -1 - 18 - (-2 - -3). Let h = 0 + b. Is n greater than or equal to h?
False
Let s be -4*5/(-5) - (-3 - -195). Let c = 190 + s. Is c > 2?
False
Let f = -97 + 164. Suppose -57*i = -f*i - 120. Are -12 and i unequal?
False
Suppose 2*p = 2*r + 10, 5*p + r + 1742 - 1737 = 0. Which is bigger: p or 3/6320?
3/6320
Suppose -5*d = 2*w + 8 + 5, -7 = 2*w + 3*d. Let h = -346773/166 - -2089. Is w smaller than h?
False
Let t = -12827 - -6785486/529. Is t > 0?
True
Let x = -1248 - -1280. Let w = 12 + 16. Which is smaller: x or w?
w
Let s = -13789/5 + 68948/25. Let q = -5 - -4. Let y = 0.8 + q. Which is greater: s or y?
s
Let c(y) = 18*y**2 + 6*y - 6. Let w be c(1). Let b(a) = 12 - 2*a + 5 - w + 2*a**2. Let i be b(1). Which is bigger: i or -2/7?
-2/7
Let b(w) be the second derivative of w**4/12 + 5*w**3/6 - w - 2. Let g be b(-5). Is g at least as big as 20/19?
False
Let t be (-30973522)/(-24776296) - 10/8. Is t less than 0?
False
Let m(h) = -7*h + 124. Let y be m(18). Let n be (-4)/(6/114*y). Which is bigger: 37 or n?
n
Let w = 157.106 - 1.906. Let i = w - 155. Which is smaller: i or 5/27?
5/27
Let l = 0 + 1. Let x = -2/16883 - 1266199/219479. Let r = -789/130 - x. Which is greater: r or l?
l
Let q = 305 - 316. Let k = q + 12.2. Is -7 <= k?
True
Let p be (-3)/(-4)*4 - (-3 - -2). Let z be (-1)/((-3)/(p*-3)). Let a(h) = h - 2. Let x be a(z). Is x < -7?
False
Let u(m) = 120*m**2 - 584*m + 10. Let s be u(8). Which is greater: 3016 or s?
s
Let s be ((-2)/(-3))/((-8)/(-252)). Let h = -69/4 - 31/8. Let i = h + s. Is i < 0?
True
Let d(g) = 28 + 29 + 6 - 29 + g + 5. Suppose y = -4*y. Let q be d(y). Are 39 and q equal?
True
Let b be (546/(-49))/((-279)/112). Is b greater than or equal to 4?
True
Suppose -11*f + 600 = 160. Let d = -60 + 105. Let q = d - f. Is q equal to 5?
True
Suppose 2*k - 12*k - 7*k + 5100 = 0. Which is bigger: 294 or k?
k
Let t be (-6 - 7) + 4 - 2/(-1). Let r be (t/21)/((-1)/3). Let b be (r + -1)/((-21)/(-7)). Are -1/68 and b equal?
False
Suppose 0 = -11*o + 1871 - 4841. Let s be (2 - (-67)/(-2))/((-45)/o). Which is bigger: -190 or s?
s
Let q be (6216/(-140))/((-2)/15). Let h = 328 - q. Let y = -400 + 1978/5. Which is smaller: y or h?
h
Suppose 3*g = -5*t - 29, -6*t - 35 = 5*g - t. Let a be g/(-2)*(11 + (-680)/24). Which is bigger: -124/5 or a?
-124/5
Let o = -741 - -741.1804. Let f = o - 0.1004. Let z be 10/(-8) - 3/(-12). Which is smaller: f or z?
z
Suppose 2*o = 7*o. Let a = -1288/275265 - -44956159/178812144. Let w = -3/560 + a. Which is smaller: o or w?
o
Let z(c) = -3*c**2 - 14*c - 35. Let l = 16 + -19. Let j(g) = -2*g**2 - 7*g - 18. Let w(f) = l*z(f) + 5*j(f). Let h be w(11). Which is smaller: h or -31?
-31
Suppose 6 = -3*w - g, g - 3 - 9 = 3*w. Let a be (2 + w)*-3 + (-908)/20. Let y = a - -1499/35. Which is smaller: 0.4 or y?
0.4
Suppose -2*n + 22 = 5*a, 28 = n + 4*n - a. Let j be 2/(-5)*(n + 2 + -3). Let w = -1 - j. Is -0.4 bigger than w?
False
Let a = 57.5 - 5.3. Let j = a - -4.8. Is 2 greater than or equal to j?
False
Suppose 3*p + 20*p + 383 = -31. Are -324/19 and p equal?
False
Let n = 1692/11 + -9811/66. Let z = n + 1/30. Suppose 0 = -5*u + 12 + 8. Which is smaller: z or u?
u
Suppose 3*f - 43 = 5*i + 32, 3*f + 33 = -4*i. Which is greater: i or -901?
i
Suppose 7223 = -63*w + 32*w. Is -230 bigger than w?
True
Suppose -2*k - 3 = o, 26*k - 22*k - 2*o - 6 = 0. Which is bigger: -3/2023 or k?
k
Let f be (-24)/(-204)*99/(-126). Which is bigger: -1 or f?
f
Suppose 1827*z - 1826*z + 24 = 0. Let k(h) = -16*h - 98. Let l be k(z). Which is greater: 288 or l?
288
Let d be 0 + ((-2)/7 - (-1656)/63). Let i = d + -29. Let l be i/((-27)/2) - 13/72. Which is bigger: l or -0.1?
l
Let n(t) = t**2 + t - 4. Let l be n(-2). Let r be 4/74 + 0/l. Let i = 304.1 + -304. Is r < i?
True
Let p = -275537 - -2410122134/8747. Which is smaller: -1 or p?
-1
Let o = -13 - -7. Let g(x) = -7*x - 7. Let j be g(o). Let y = -518113 + 518147. Which is smaller: y or j?
y
Let h = -5.4 - 3.4. Let l = 5.4 + h. Let g = l - -0.4. Which is smaller: g or -1/4?
g
Suppose j = 4*c - 1308, 3*j + 1098 - 108 = 3*c. Let r = -258 + c. Is r != 67?
True
Let c(w) = 5*w**2 - w + 7. Suppose 3*l = -l + 16, -j - 10 = l. Let z be c(j). Let n = 1955/2 - z. Is -24 at most n?
True
Let g(z) be the second derivative of -3/4*z**4 - 1/20*z**5 - 14*z + 11*z**2 + 1/3*z**3 + 0. Let n be g(-9). Do n and 4 have the same value?
True
Let u = -854323/225 + 3797. Let p be ((-2)/8)/(13/(-104)). Suppose 3 = -4*f + f, p*m = 4*f + 4. Which is bigger: u or m?
u
Suppose 4*a = -109 - 15. Let p(y) = -2*y**2 - 63*y + 10. Let x be p(a). Is x smaller than 42?
True
Let w be 0 + 5 + -1*6 - 33. Suppose 4*g + 57 = -p, 0 = -4*g + 3*p + 2*p - 75. Let f be 14/((-2)/g*-3). Are f and w equal?
False
Let g = 903/16 + -56. Suppose 27*s - 2 = 10*s - 19. Which is smaller: g or s?
s
Let u = -10236 - -23751. Which is bigger: 13516 or u?
13516
Let f(k) = -137*k - 1376. Let n be f(-10). Which is smaller: -52 or n?
-52
Let g(s) = -4*s**2 + 163*s - 11. Let c be g(37). Let p = -406 + c. Is 138 >= p?
True
Suppose 47 = -12*t + 203. Let q(y) = 3*y - 39. Let l be q(t). Let b = -77/1392 - -1/29. Is l at most b?
False
Let r = 7335 - 6751. Which is smaller: r or 8774/15?
r
Let f = -4086 + 4219. Which is bigger: f or 21?
f
Suppose 19*r + 78 - 192 = 0. Let f be 16907/265 - r/(-5). Which is greater: f or 66?
66
Let z(l) = -5*l**2 + 29*l - 13. Let b be z(5). Let u(y) = 5*y**2 - 33*y - 3. Let j be u(b). Which is bigger: j or -6?
j
Let y be (3 + -2)*-2 - -2. Suppose 5*c + 5*u - 55 = y, c - 2*u = -0*c - 4. Let d be -6 + ((-12)/(-18) - (-258)/18). Is d at least as big as c?
True
Let k be -4 + (-2)/((-4)/2). Let d be ((-4)/k)/((50/(-10))/(-180)). Suppose 0 = 3*s + 2*j - 83 - 58, 3*s - 156 = 3*j. Which is greater: s or d?
s
Let h(w) = w**3 + 8*w**2 - 2*w. Let d be 1/(-4) - 6/(-24). Let r be h(d). Which is smaller: 6/35 or r?
r
Let f = -192 + 204. Let l be -7*4*(66/f + -6). Which is greater: 16 or l?
16
Let i = -0.19042 - 0.09958. Which is greater: i or 69?
69
Let d = 479 + -479.81. Let l = d + -7.19. Which is smaller: -2/13 or l?
l
Let d = 2305.5 - 2246.5. Which is smaller: 1 or d?
1
Let k = -131 + 710. Suppose 44*m + k = 41*m. Do m and -192 have different values?
True
Let d(o) = -14*o - 98. Let p be d(-45). Is 7 >= p?
False
Let k(b) = -2*b**3 + 17*b**2 - 10*b - 10. Let r be k(8). Which is bigger: r or -164?
r
Let n = 4930 - 4933. Is n at least 66?
False
Let u = -64 - -70. Let m be (8/u)/2 - 56. Let v = m + 55. Is -1 > v?
False
Let p(u) = -u**2 - 47*u - 42. Suppose 173 = -4*h - y - 11, 0 = -h + 4*y - 46. Let z be p(h). Which is bigger: z or 78/19?
78/19
Let l = -9492 - -151837/16. Which is smaller: 16 or l?
l
Let a = -133/211 - -159769/260163. Which is greater: a or 1?
1
Suppose 6 = -2*u - x, -4*u = -3*u - x. Let v be (-40 + -44)*(u + 10/4). Which is smaller: -38 or v?
v
Suppose -9*d = -8*d - 2*c - 69, 5*c = -d + 97. Which is smaller: d or 74?
74
Let z be (12/(-8))/(120/(-20128)). Is z smaller than 2/3?
False
Let p(b) = -b**2 + 10*b - 123. Let y be p(43). Is y >= -1542?
True
Let q = 801 + -802. Let p be (-5478)/1092 + (-1)/q*5. Are p and 0 non-equal?
True
Suppose -f + 2*n - 5 = 0, 5*f - n + 0*n = -61. Let p = f - -87. Is p at most 76?
True
Let v = 0.24 + 139.76. Let w = -139 + v. Which is smaller: w or -0.11?
-0.11
Suppose 0 = 927*o - 928*o - 505. Let n be (0 - 4/(-10)) + 212/o. Which is greater: 0 or n?
0
Suppose 3*v - 33 = -3*p, -3*v - 5*p - 49 = -80. Do v and 309/28 have the same value?
False
Let v = -457428 - -3666879/8. Which is greater: 933 or v?
933
Let d(t) = -64*t + 19. Let k be d(-2). Let y = k - 130. Suppose 0*c + 5*c = 85. Is c less