3. Which is greater: 2/93 or a?
2/93
Let a = -1.8 + 27.6. Let o = 26 - a. Is o at most as big as 26?
True
Let y(h) = 18*h + 96. Let t be y(-5). Suppose t*a + 19 = 25*a. Is a equal to 8/7?
False
Suppose -13*r + 10*r = -63. Suppose 5*x = r*x + 320. Let u = -21 - x. Is 1/36 greater than or equal to u?
True
Let y = 110657/3 + -36881. Let t = -234 - -122. Let j be t/(-18) + (-4)/18. Is y greater than j?
False
Let s be (-2)/(-5)*(-20)/(-38). Suppose 5*y - 6 = -j + 7, 2*y = -3*j + 13. Let v be (13/(-39))/((-1)/j). Which is smaller: s or v?
s
Let p = 1/91809 + -188741/470337507. Which is greater: 0 or p?
0
Let l = -390.23 + -9.77. Let r = l - -398. Is 13 != r?
True
Let h be ((-275)/30)/((-58)/(-28)). Let r = -7/29 + h. Let a = 8030 - 8034. Which is smaller: r or a?
r
Let y be -9 - (-3)/(7/(-21) + 10/15). Let w = -39576/35711 - -74/67. Which is smaller: y or w?
w
Suppose 4740 = 72*a - 12409 - 8411. Is 379 less than or equal to a?
False
Let o = 63 - 56. Suppose -10 = -5*t, -12*w + o*w - 74 = -2*t. Let b = 16 - 28. Which is smaller: b or w?
w
Suppose z - 34888 = -5*y + 5058, -y - 2*z = -7991. Is 7989 equal to y?
True
Suppose -66*m - 25 = 2*m + 43. Let w = -170516/96645 - 2/5685. Let n = w + 1007/561. Is m > n?
False
Let k = -52.935 + -0.065. Let v = -52.72 - k. Is 4 != v?
True
Let w(x) = x**3 + x**2 + x + 1. Let n be w(0). Let o = -671723/1125 - -5374/9. Is n bigger than o?
True
Let l be -8097*(-1)/198 - (-1 - (-35)/30). Does l = 41?
False
Let m = 11263 - 78843/7. Do -13/142 and m have the same value?
False
Suppose 1617 + 68 = -5*s. Let l = -337 - s. Is 14/11 greater than l?
True
Let s = -14400 - -14252. Is s at least as big as -144?
False
Suppose -40*n - 19*n = 42480. Is -718 < n?
False
Let n = -29329723/2 + 442655903/30. Let f = 90373 - n. Let p = f + -112/3. Is p at most -89?
False
Let z = 0.1 + -0.2. Let x(v) = -v**2 - 7*v - 3. Let q be x(-6). Let n be (-1)/((-85)/250) - q. Which is smaller: z or n?
z
Let l = -57065963/19 - -3002641. Let u = l - -650/57. Let f = -811 - u. Which is smaller: f or 7?
7
Suppose 0 = 3*t - 4*s - 347 + 117, -s - 76 = -t. Suppose -69*k = -t*k - 40. Let m be 10/4*(-90)/25. Which is smaller: k or m?
m
Suppose 4*a + 66 - 166 = -4*u, 4*u - 2*a = 94. Suppose -4*b - 2*b - u = 0. Let h be b/(-28) - 1 - -1. Is h greater than or equal to 0?
True
Let i = -9986/255 + -155/51. Let h = i - -1482/35. Is h bigger than 1?
False
Let k = 43213/99 - 5980/99. Is 376 less than or equal to k?
True
Suppose 0 = 5*f - 3*w + 20009, -30*f + 27*f - 3*w = 12039. Is f greater than or equal to -4007?
True
Let h = -1 + 1. Let n be (-6*154/66)/(1/(-1)). Let f be -17 + 15 - (n/(-4) + h). Is 1 less than or equal to f?
True
Let h be 11 + 1 + (-2 - 5). Suppose -3*o + 3 = -5*q + 36, h*q = 15. Is o at least 1?
False
Let q = 2078 + -6239/3. Which is smaller: q or 2/1299?
q
Let b be (9 - 19 - -5) + 8. Suppose 18*s + 4*p = 14*s + 780, 0 = b*p + 12. Which is smaller: 200 or s?
s
Suppose -x - m = -24, -3*x = -4*m - 25 - 47. Let b be -5*(-5 + 0)*2/(-5). Let t be (-2)/(b/5)*23. Which is bigger: t or x?
x
Let i = -1.34 - -1.74. Let j(b) = -3*b**2 - 7*b + 13. Let g be j(3). Which is smaller: i or g?
g
Suppose 33 = -3*t - 0*t. Let w = -37493 - -337348/9. Is w at least as big as t?
True
Suppose -2*o + i = -1 - 8, -3*o = i - 26. Let t be 80 + o + -3 + -4. Let b be ((-1)/2)/((-300)/t). Which is bigger: b or 0?
b
Suppose 21850*c - 315 = 21843*c. Which is bigger: 1098/25 or c?
c
Let t = 0.0938 + -1.5938. Is t greater than or equal to 9?
False
Suppose 0 = -69*s + 52*s + 6970. Suppose 30*x = -3*m + 25*x + 313, 4*m - s = -3*x. Is m less than 102?
True
Let j(v) = v**3 - 4*v**2 - 4*v - 14. Let f be j(6). Let k = -35 + f. Let l = 521/2231 - 10/97. Is k greater than l?
False
Let i(b) = -4*b - 4. Let c be i(3). Suppose 6*z + 5*z - 1155 = 0. Suppose 5*g - 10*l = -5*l - z, -l = 2*g + 27. Is c != g?
False
Let k = -260/161 + -176419/322. Let f = k + 549. Suppose 0 = -5*q - 3*l - 36, l = -5*q + 5*l - 22. Which is bigger: q or f?
f
Let h(i) = -i**2 + 4*i - 3. Let j be h(3). Suppose j = -3*w - 0 + 15. Let f = 16.357 + -16.257. Which is smaller: f or w?
f
Let g = -12/71 + 265/1988. Let j(p) = 89*p + 179. Let q be j(-2). Is q at least g?
True
Let i(u) = -44*u - 47*u - 1 - 44*u - 2*u**2 + 137*u. Suppose 3*n = -3*w + 3 + 3, -28 = n - 5*w. Let l be i(n). Which is bigger: -47/2 or l?
-47/2
Suppose 87*x - 364640 = 247*x. Is -2277 less than x?
False
Suppose -4*m + 38 = -2*u, 4*m = 2*m + 4*u + 28. Suppose 3*p - m*p - 4*a = 21, -p = a + 5. Is p less than -2/139?
True
Let z(f) = f**2 - 126*f - 423. Let p be z(106). Is -2544 at least as big as p?
False
Let z(o) = -o**2 + 6*o - 3. Let r be z(5). Let b be (-1220)/(-183)*(-3)/(-30) - 112/(-21). Is r bigger than b?
False
Let h be (-25)/15*26/3. Let z = h + 5617/387. Which is bigger: -1 or z?
z
Suppose -4*h = 0, 5*p = h + 670 + 2420. Let m be -6 - 6/((-612)/p). Let v = 3 - 2. Is v at least m?
True
Suppose 12 + 44 = 2*o. Suppose 285 = -o*l + 9*l. Which is greater: -2/9 or l?
-2/9
Let x = -913929/11 - -82849. Which is greater: -234 or x?
-234
Suppose -83 = -2*b - 4*q + q, 0 = -3*b + 2*q + 92. Suppose -b*l + 39*l + 185 = 0. Are l and -36 equal?
False
Let k(d) = -3*d**2 - 2*d + 2. Let j be k(2). Let z be 6/7 + 4/j. Let l(i) = -i**3 + 5*i**2 + 46*i - 239. Let f be l(6). Is z at most as big as f?
True
Let p = -259 - -284. Suppose -p*l = -17*l. Which is bigger: l or -13/47?
l
Suppose 328 = 3*v + m, -2*v - 43*m + 40*m + 228 = 0. Which is bigger: -2/7 or v?
v
Suppose -g = -2*n + 9, -5*g + 0 - 5 = -2*n. Is -27/182 less than or equal to g?
True
Suppose 0 = 178*l - 168*l - 9240. Is 923 at most l?
True
Let i(y) be the first derivative of 137*y**4/4 - y**3/3 + y**2 - y - 70. Let c be i(1). Is 138 at most c?
False
Let x = 6 + -19/3. Let l = 14371 + -14405. Which is bigger: x or l?
x
Let n(o) = o**2 + 18*o + 47. Let r be n(-3). Let c be (-183)/(-18) + 7 - r/12. Suppose 0 = 3*u - 0*u. Is u at most c?
True
Suppose 6*v = v + 10. Let r be -4*(-1 + 7/3)*-426. Let i be r/(-2016) + (-6)/14. Which is bigger: i or v?
v
Let w = 368 + -311. Let n = 50 - w. Suppose -4*b = 4*c + 8, 0*b + 18 = -3*c + 3*b. Which is smaller: c or n?
n
Let x = 98 - 304. Let a = x + 205.23. Which is smaller: a or 2/7?
a
Let k = -5367 - -2122. Let n = 412117/127 + k. Let x = -518/635 + n. Which is smaller: -2 or x?
-2
Suppose m - 5*l = 2, -5*m - 16 = 3*l + 2. Is -25 at least m?
False
Let q(j) = -j**3 + 23*j**2 - 2*j - 146. Let a be q(18). Which is bigger: a or 2873/2?
a
Let a = -17206 + 17206.2. Which is smaller: a or 571?
a
Let a = 2.9 - 15.9. Let p = 82 - 25. Let y = -54 + p. Which is smaller: a or y?
a
Let c be (-8)/20*(-10140)/234. Does c = 16?
False
Suppose 92 = 5*f - f. Let g = f + -22. Suppose -3*u - j = -0*j - g, -4*j = 2*u + 6. Which is bigger: u or -4/15?
u
Let f = 1287 + -5209/4. Let h(j) = 20*j**3 - 49 + 5*j - 35*j**2 + 10*j + 52*j - 19*j**3. Let a be h(33). Is a <= f?
True
Suppose 33*i - 20 = 38*i. Let q be (7 + 4)*(i - -3). Which is bigger: -45/4 or q?
q
Let i be ((3772/2463139)/41)/((-27)/21 - -1). Are i and 1 non-equal?
True
Let x = 680 + -452. Which is smaller: 235 or x?
x
Let t be (-318)/9 + 2/(-3). Let m = 84.92 + -85. Let f = m - -0.18. Which is smaller: f or t?
t
Let o be 27/270 - (-3 + 2427/(-30)). Which is greater: o or 936/11?
936/11
Let m(r) be the second derivative of 0 - 20*r + 1/20*r**5 + 2/3*r**3 + r**2 + 1/4*r**4. Let z be m(-1). Which is smaller: -6 or z?
-6
Let m(i) = 13*i**2 + 3*i + 6. Let s be m(3). Let h be (-24)/(-44) + (-72)/s. Are h and -2/1083 unequal?
True
Let f be (-48)/60 + (-52)/(-90). Is f less than -399/5?
False
Let m = -311/280 + 33/40. Is m at most 90.9?
True
Let o be 14 + (-5 + 5)/(-1 - 1). Suppose 0 = -25*n + o*n. Which is smaller: -2/125 or n?
-2/125
Let k be 2/(-12)*(-1 + 1). Is k < -3/6979?
False
Let o = 3632/9 - 366850/909. Suppose -4*j = -4*h + 4, 5*j + 5 = -0*j - h. Which is greater: j or o?
o
Let z be 57/6 - 29/(-58). Which is greater: 20 or z?
20
Let q(s) = 255*s**2 + 2*s - 122. Let b be q(-8). Let o be ((-2)/30)/(62/b). Which is greater: o or -17?
-17
Suppose -27 = -6*m + 28 + 11. Let b = -3074/7 + 3161/7. Do b and m have the same value?
False
Let r = 0.14307 + -1.54307. Is r less than or equal to -3/140?
True
Let y(h) = -399*h**2 - 3*h + 7. Let m 