be a(f). Which is bigger: 9/2 or o?
o
Let i be (359 - -5)*(-60)/(-120). Is 194 <= i?
False
Let o = 3043 + -3257. Which is greater: -638/3 or o?
-638/3
Let z = 2246 + -2249. Let x = -8/45 + -2009/90. Let f = x + 22. Which is smaller: z or f?
z
Suppose 3*y + 3*z - 15 = 3, 0 = 4*y + 3*z - 20. Let q(h) = -h**3 - 16*h**2 + 57*h - 1. Let l be q(-19). Let c be -9 + 11 + 0/l. Is y at least as big as c?
True
Let r = 464 - 978. Let k = -340 - r. Are k and 173 equal?
False
Let k = -5835 + 5751. Let s = -6 + -79. Which is bigger: k or s?
k
Let c = 20825/117 - 1577/9. Let u be 9/(-12) - 2/(-4). Which is smaller: c or u?
u
Let k = -1493 + 1484. Which is greater: 5 or k?
5
Let v(y) = -y**2 - 19*y - 70. Let t be v(-15). Let h be (7 + (-312)/40)/((-2)/t). Is -2 at least as big as h?
True
Let d = 7801 - 7799. Is 464 less than d?
False
Let d be 5/(540/(-246036)) - (-2)/18. Is d smaller than -2279?
False
Let f = -14.5 - 2.5. Let t = -17.15 - f. Let q = t + 0.08. Which is smaller: -2/3 or q?
-2/3
Let h = 7 - 7.06. Let d = 2.94 - h. Let o(z) = z**2 - 214*z + 3527. Let t be o(18). Which is smaller: d or t?
t
Let s = -1458 - -1003. Let a be s/(-245)*(-7)/2. Is -8 greater than or equal to a?
False
Let a = 785 + -833. Which is greater: a or -5?
-5
Suppose 3*t + 59 = 176. Let f(q) = 3*q**2 + 17*q + 22. Let i be f(-4). Suppose -4*g = -v + 26, 0*v = -i*v - 5*g + t. Which is bigger: v or 20?
v
Let x = -0.05 - -2.05. Let a(y) = 7*y - 15. Suppose -288*v + 290*v + 4 = 0. Let u be a(v). Is x greater than u?
True
Let r = 3588 - 3601. Suppose -4*i + 6*u - 26 = 3*u, 2*i = 4*u - 18. Which is greater: r or i?
i
Suppose -p + 5*m = -10, -m + 14 = -3*p + 2. Let j be 238/((-10)/p) + -5. Is j < 115?
True
Let d = -0.3 - 0.35. Let u = -24467/5 - -4893. Which is smaller: u or d?
d
Let m(n) = -n**2 - 10*n + 5. Let f be m(-10). Suppose q - f*q + 16 = -3*x, -2*q - 2*x - 6 = 0. Let t be (64/(-12))/4 + q. Which is bigger: t or -1/2?
t
Suppose -s + 0*n + n = 18, 0 = -3*n + 15. Let o be s - -13 - 1*3/(-6). Which is greater: o or 0.19?
o
Suppose -4*u + 6 + 94 = 0. Let q = 167 - -45. Let w = -186 + q. Which is bigger: u or w?
w
Let x = -349 + 327. Let v(w) = -w**2 - 12*w - 25. Let d be v(x). Does -244 = d?
False
Let c be (-3 + 1)/(6 - (-2431)/2453*-6). Which is greater: c or 2/7?
2/7
Let m be (26/(-32))/((-155)/(-1178)). Let s = 35/8 + m. Which is smaller: -2 or s?
-2
Let w be -3 + -2 - (21/(-6) - (-63)/(-36)). Which is greater: w or -0.97?
w
Let m = 38835 + -37024. Which is smaller: 1806 or m?
1806
Let f = 4467.359 - 4464. Which is greater: 0.1 or f?
f
Let k = -65 - -91. Suppose -2*q - 10 = -2*x - k, -5*x - 25 = 0. Let v = -1728/5 - -350. Which is smaller: v or q?
q
Let l = 267 + -267. Which is smaller: l or 2/563?
l
Let p(c) = -255*c + 7863. Let f be p(6). Is f not equal to 6334?
True
Let g = -1760 - -1742. Is g > -14?
False
Suppose -197 = -c - 43. Let y be 2/7 - (-124)/c. Let i be (18 - (-63)/(-9)) + -10. Which is bigger: y or i?
y
Let h = 3397 + -1571. Let w be 462/h*(-6)/9. Is w < 0?
True
Let d = -0.324 - 167.676. Let m = d + 113. Let o = m - -36. Is o > 1/5?
False
Let d = 5663 - 4970. Which is bigger: d or 1/3?
d
Let a = -0.17 - -0.188. Let n = 0.082 + a. Is n equal to -12/55?
False
Let o be (4/2127)/(100/90). Is o > 1?
False
Let u be 12/90 + ((-4)/30)/1. Suppose -w - 5*y + 212 = u, y + 139 = 2*w - 296. Which is smaller: w or 218?
w
Suppose -3*r = -4 - 8. Suppose r*u + m = 2*u + 44, -2*m = -4. Let g = -2656 + 2676. Which is bigger: g or u?
u
Let x = -68 - -69. Suppose u + 6 = 4*u. Suppose -r = -u*r + x. Is r bigger than -2/61?
True
Let y be 0 + (-1)/(-18) - (-25007)/26478. Is -15/848 bigger than y?
False
Let x = 1/3569 + 3506/224847. Which is bigger: 1/2 or x?
1/2
Suppose -3*q - 2*h + 544 = 0, 0 = -3*q + 8*h - 7*h + 529. Is 190 > q?
True
Let c(w) = w - 24. Let v be (-4)/(-8) + (-7)/(-2). Let h = 20 + v. Let a be c(h). Which is greater: -2 or a?
a
Let h = 7604 + -7605. Which is smaller: -1/4693 or h?
h
Let j be ((-16)/(-10))/((-2)/(-20)). Suppose 0 = -49*h + 53*h - j. Suppose -o = -4*u - h*o + 17, 0 = 5*u - o - 7. Which is smaller: u or 14/19?
14/19
Let x = 1641 - 508. Let b be (2 + -3)/(11/x). Which is bigger: b or -105?
b
Let p = -213 + 214.75. Let z = -0.05 + p. Are z and -3 non-equal?
True
Let z be 5/(-4) + 360/1440. Which is smaller: z or 16/923?
z
Let t(k) = 156*k + 935. Let r be t(-6). Which is bigger: r or -14/113?
-14/113
Suppose 11*x - 540 = -551. Let b be 11 - (-2 + -2 + 2). Let t = b - 17. Which is bigger: t or x?
x
Let m = -2635 + 2634.9. Let g be -30*((-3)/1)/6. Let f be (-21)/g*1*-2. Which is greater: m or f?
f
Suppose 120*h = 95*h + 4800. Suppose 111*i = 109*i - h. Does i = -95?
False
Let u be (35485/660 - 4)*1/(-2). Let y = 276/11 + u. Which is greater: 1 or y?
1
Let q(z) = z**2 + z. Let m be q(-2). Let w(s) = -s**3 + 15*s**2 + 14*s + 35. Let d be 2/(2 + 45/(-24)). Let t be w(d). Is t < m?
False
Let n = -4.7 + -0.3. Let j = 589.15 - 10.15. Let s = 575 - j. Is n at most s?
True
Suppose 0*j + 2*l - 22 = -j, 35 = 5*j - 5*l. Suppose j*g - 13*g = -6. Which is greater: g or -13?
g
Let q be ((-20)/(-5))/((3/(-1))/(-3)). Let l be ((-6)/((-48)/4))/(1/q). Suppose 0 = l*a + 2*k + 2, 7*k - 5 = 5*a + 4*k. Which is bigger: 2/123 or a?
2/123
Suppose -24*h = -74827 - 13709. Are h and 3693 equal?
False
Let w be 1/((-44)/(-16) - 3). Let f(x) = x**3 + 6*x**2 + 20*x + 71. Let k be f(-4). Which is smaller: w or k?
w
Suppose -g = 5*q + 1020 + 1313, -944 = 2*q + 4*g. Is q at least -463?
False
Let g = -38 + 24. Let m = g - -13.99. Let d = m - 21.99. Which is smaller: 0.2 or d?
d
Suppose -71 - 9 = 4*i. Let q(o) be the third derivative of 25*o**4/24 + 157*o**3/6 - 6*o**2 - 14*o. Let t be q(-7). Which is greater: i or t?
t
Let r = -17504 - -17544.1456. Let z = r + -0.0456. Let d = 40 - z. Is d at least as big as -5/4?
True
Let v = 140 - 136. Suppose -4*n + 3*r = 15, -v*n - n = 4*r + 11. Is 3.1 at least n?
True
Suppose r + 25 = -5*y, 4*r = 4*y - y - 31. Let x be (-7)/14 - (r + 10). Let k = 0.035 + 34.965. Are x and k nonequal?
True
Let f(u) be the second derivative of -u**5/20 - 2*u**4/3 + 8*u**3/3 + 53*u**2/2 - 3*u. Let h be f(-9). Are -13 and h unequal?
True
Let g = 1974 - 1974.25. Which is greater: g or 120?
120
Suppose 19 = 5*v + 2*s, 3*v - s = v + 4. Suppose v*a + 55 = -2*a + h, -5*h + 25 = 0. Let j be a/(-40) - 3/(-4). Which is greater: -2/9 or j?
j
Let b(f) = f**3 - 107*f**2 + 214*f + 753. Let i be b(105). Is 1173 < i?
False
Let n(v) be the second derivative of -v**5/20 + 5*v**4/12 - v**3 + 5*v**2/2 + 12*v. Let k be n(4). Let f be (k - -4) + (-4 - -1). Which is smaller: f or -7?
-7
Suppose 6*v = v + 5*d - 225, -5*d - 225 = 4*v. Let z be (v/48 + 1)/(6/(-12)). Is z at least 0?
True
Let v = -29 - -3. Suppose -3*q - q - 4 = 0, -z = 3*q + 35. Let i = z - v. Do -5 and i have different values?
True
Let p = -146 - -147. Which is smaller: p or -1/244?
-1/244
Let w = 78 + -61. Let i(c) = -c**2 + 16*c + 22. Let g be i(w). Suppose g*z + 0 = 10. Is z < 6?
True
Suppose 3*s + 2*b = 6, s - 2*s - 4*b - 8 = 0. Suppose -6 = -g - 3. Suppose -3*i + 4*i - 4*x = 22, -s*i + g = x. Is i less than -3/11?
False
Let g = 17733.2 - 17525. Which is smaller: g or 1?
1
Suppose 10*b = 220 + 240. Suppose 3*o = -2*j + 274, -b = -o + j + 42. Which is smaller: o or 91?
o
Let m = 6463 + -6476. Are 213 and m nonequal?
True
Let t = -5867 + 5866. Which is greater: 1/10539 or t?
1/10539
Suppose -2*m - 3*o + 14 = 7, -11*o + 47 = 2*m. Is -417 greater than m?
False
Let i = -3123 - 109. Let n = i + 287658/89. Let f = n - 301/3471. Which is smaller: -1 or f?
-1
Let w = -3/12454 - -102503/11918478. Which is greater: w or 0?
w
Suppose -559 = 143*l - 148*l + v, -v + 449 = 4*l. Are l and 110 unequal?
True
Suppose -w - 219 = -5*x, 0 = -3*x + x - 5*w + 66. Let t(m) = 21*m + 11 - x*m + 15 + 25*m. Let q be t(-9). Which is smaller: q or 1/36?
q
Suppose -t + 5*z + 23 = 0, 0 = -4*t - 2*z + 6*z + 28. Let c(p) = 9*p**3 + 6*p**2 - 22*p + 47. Let x be c(t). Is x >= 277?
True
Let d = 512 + -364. Let f = 146.2 - d. Is -4 smaller than f?
True
Let u = 16.7 - 198.5. Let r = u + 182. Is -22 smaller than r?
True
Let z = 772 + -1120. Are -340 and z nonequal?
True
Let n = -0.7 - -1.1. Let r be 31 - 33 - (-25)/14. Is n greater than r?
True
Let g(c) = -c**3 + 3*c**