: f or h?
h
Let t(r) = 3*r**2 + 1234*r - 7379. Let d be t(6). Let o be (-1)/(-1 - 400/(-403)). Is o at most as big as d?
False
Let b(g) = 4*g**3 - 4*g**2 - 6*g + 1. Let f be b(-6). Let h = f - -1801/2. Is -72 at most as big as h?
True
Let f be 4/10 - (-1665)/(-225). Let o be (f - -10)/(-3) - (12 - 1). Let m be 4/14 + (-858)/63. Which is bigger: o or m?
o
Let y be -4*(-2)/(-12)*1275/(-10). Suppose -y*h = -88*h - 1089. Is h bigger than -363?
False
Let a = -2857 - 400. Is a >= -9775/3?
True
Let d = 3267/2 + -32669/20. Let q = -5 - -3. Let j be (1/q)/((-1)/(-2)). Which is smaller: d or j?
j
Let w = -317 - -330.2. Let f = w + -13.21. Is f != -31?
True
Let v = -27 + 109/4. Suppose -49*u + 216 = -53*u. Let o be ((-6)/u)/((-3)/(-126)). Which is smaller: v or o?
v
Let a be (-15)/(-4)*-3*(-16)/(-126). Let t = -4139/5 - -828. Is a at most as big as t?
True
Let z = 45 + -100. Let c = 396 - 324. Let o be -49 + 2/((-6)/c*4). Is o greater than z?
False
Suppose -2*i - 4*v - 364 = 0, 3*i - 4*v = 2*i - 176. Let o = 176 + i. Is -3 equal to o?
False
Let w = 53 + -294. Let l = 252 + w. Which is smaller: -1/2 or l?
-1/2
Let m be 2/(4*3/126). Let l = 49 - 166. Let s = 138 + l. Is s at least m?
True
Let a = -5145/2 + 2572. Let k be ((40/12)/(-5))/115. Is a at least k?
False
Let h(t) = -9*t**3 - 5*t - 5. Let w be h(-2). Suppose 3*s + 62 = -2*q, -4*s + 4*q - w = -21. Let l be 2/5 - 507/30. Does l = s?
False
Let f = 29327 - 34427. Which is greater: f or -5103?
f
Suppose -3*g - 6139 = w, 1566*g + 12281 = -2*w + 1563*g. Do -6143 and w have the same value?
False
Suppose t - 45*u + 49*u = -4, 2*u = -t - 2. Which is greater: -1/3467 or t?
t
Suppose 43*n - 8 = 45*n. Let u be 0 + -1 + (-344)/n - 4. Let s be (-18)/u + 2 + (-66)/27. Is 49 equal to s?
False
Let r be (-2)/(-3)*(-6)/(-73). Suppose -1020 = -3*u + 4*u - 1021. Is u < r?
False
Let j = -471.21 + 478. Let p = -1.91 - j. Let c = -8.6 - p. Is -6 equal to c?
False
Let q be 1 + -1*1/2. Let i = 108908 - 108918. Is i at most as big as q?
True
Let w be 5/(-30)*6*(-2)/(-5)*1. Which is greater: 80 or w?
80
Let q = 24613.6 + -24612. Let o be (-6)/3 - 36/(-15). Is o bigger than q?
False
Let v = -11 + 12. Let o(c) = 2*c**2 - 6*c + 6. Let f be o(3). Let b be (-3 + 36/f)*2/8. Which is smaller: b or v?
b
Let w(j) be the third derivative of -j**5/60 + 23*j**4/24 + 17*j**3/3 - 46*j**2. Let p be w(20). Let d = p - 108. Is d greater than or equal to -15?
True
Let m(q) = 4*q - 11. Let i(l) = l - 1. Let r(u) = -2*i(u) - m(u). Let o be r(3). Let a be (15/16)/(((-15)/12)/o). Do 3 and a have the same value?
False
Let p be 11375/(-115) + (-12)/(-46)*13/(-39). Is -21 > p?
True
Let w be ((-760)/14)/(194/(-679)). Is w >= 187?
True
Let t = 26221 + -26225. Let u = -2/2215 + -276871/4430. Let b = u - -1623/26. Is b at least t?
True
Let b = 61 + -64. Let u be -4*b/(-20) - (-1 - -8). Which is bigger: -7 or u?
-7
Let g(s) = -s**3 + 5*s**2 - 11*s + 12. Let k(u) = u**2 - 2*u + 2. Let c(p) = 2*g(p) - 11*k(p). Let l be c(1). Is 2/221 > l?
True
Let a be 12/(-18) - 170/51. Which is smaller: a or 0.476?
a
Let k = 60 - 58. Let h be ((-12)/(-6) + -2)/k. Which is greater: -1/73 or h?
h
Let l(h) = h**2 - 31*h + 110. Let c = 380 + -359. Let v be l(c). Which is smaller: -98 or v?
v
Let d = -177/20 - -9. Suppose -6*v - 7 = -5*v. Let b(m) = -2*m**2 - 13*m + 7. Let i be b(v). Which is smaller: i or d?
i
Suppose 0 = -2*u + m - 4056 + 185, u - m = -1934. Which is bigger: -1936 or u?
-1936
Let o = -298 + 173. Suppose 211*l - 215*l = -3*a - 400, 3*a + 393 = 3*l. Which is smaller: o or a?
o
Let h = 31879/288 + 17/288. Is h bigger than 1/3?
True
Suppose -3*j = -s + 103, j - 259 = -0*s - 3*s. Suppose -5*o + 2*c + 604 = 164, -5*o + 435 = -c. Which is smaller: o or s?
o
Let n be ((-82)/451 - (-58118)/572)*56/(-42). Is -134 less than n?
False
Let l = -93114 + 93245. Let z be ((-9)/(-6))/((-3)/(-260)). Is z greater than l?
False
Suppose 2*c + 5*o + 234 + 362 = 0, 3*c + o + 933 = 0. Which is smaller: -3456/11 or c?
-3456/11
Suppose 3*i - 3 = 2*i. Suppose 2*t = 2, -t + 3*t = j + i. Let g = -102/77 + 60/77. Does g = j?
False
Suppose -2*z - 10 = -7*z. Let w be 6/(4 - 17/5). Let v be 2*w*(-3)/(-66). Which is smaller: v or z?
v
Suppose 19*j - 12 = 22*j. Let m be 2/(32/12) - 17/j. Suppose -42*c + 37*c = m. Is 1/46 >= c?
True
Let u(c) = 87*c**2 - 874*c + 25. Let t be u(10). Are 54 and t unequal?
True
Suppose -12*k + 11 = -25. Suppose 5*r + 14*a + 9 = 10*a, 0 = k*r + a + 4. Which is smaller: -2/593 or r?
r
Suppose 193 - 205 = -4*v + 2*x, -20 = -4*v + 4*x. Let i = 424 + -429.54. Is i at least as big as v?
False
Let l(f) = f**2 + 103*f - 179. Let n be l(19). Is 2134 > n?
False
Suppose 0 = -4*d + 3*s + 12, -2*d + 4 = 23*s - 24*s. Are 1/1289 and d nonequal?
True
Let n be (-174)/(-418)*((-98)/(-56) + -2). Let m = n - -1/76. Do 0.2 and m have different values?
True
Suppose -4*v = 4*m, -2*m = -3*v - 3 + 8. Let d = 4715 - 4704. Which is greater: d or v?
d
Suppose 2*j - 2*y - 24 = 0, j = -j - 4*y - 6. Let s = 19526 + -156145/8. Which is bigger: j or s?
s
Let r be (-69)/(-4) - 33/(-44). Let u be (-1335)/(-20)*r/(-4). Let a = 301 + u. Is 1 bigger than a?
True
Let y be (16 - 15)/((-2)/(-44)). Let q be (1/1)/((-4)/(-368)*-4). Let f = y + q. Is f equal to 2/21?
False
Let j = 0.0186 + -24.0186. Let m(l) be the second derivative of -l**4/12 - 2*l**3/3 - l**2/2 + 19*l. Let n be m(-4). Which is smaller: j or n?
j
Suppose -407 = -300*u + 337*u. Which is smaller: -24 or u?
-24
Let j = -3235 + 3234.8. Which is smaller: 0.0633 or j?
j
Suppose -72*d + 1098 = -4*l - 74*d, 3*l - d + 836 = 0. Is l < -1113/4?
False
Let i = 18 - -24. Suppose 0 = 5*s - 1242 + i. Is s less than or equal to 240?
True
Let b be -40 + 42 - (-2)/44*14767. Let p = -673 + b. Which is smaller: -1 or p?
-1
Let c(i) = 34*i**2 - 166*i - 327. Let z be c(-2). Which is bigger: 1413/10 or z?
1413/10
Let l(j) = j - 12. Let r be l(12). Suppose -m = 2*q + 21, m + 4*q + 13 = -r*q. Suppose -2*i + 0 = 3*w + 82, 0 = -2*w - 2*i - 54. Which is smaller: m or w?
m
Let d be -2 + (-40)/(-24) - (-164)/501. Let w = d + -331/501. Which is greater: w or -0.98?
w
Suppose 120*j = 92111 + 142905 + 334864. Which is greater: 4750 or j?
4750
Let k = -12775 - -12816. Suppose -2 + 4 = t. Which is smaller: k or t?
t
Let b(h) = -h**3 + 17*h**2 - 35*h + 142. Let r be b(15). Which is bigger: 75 or r?
75
Let m = 0.03427 + -0.23427. Which is bigger: 431 or m?
431
Let q(c) = 35*c**2 - 8*c - 136. Let l be q(14). Let z be 1 + (l/(-3312) - (-2)/2). Is z less than 1?
True
Let u = 14439/17621 - 137/263. Which is smaller: u or 0?
0
Suppose 3*b = m + 160, 4*b + 2*m - 7*m - 239 = 0. Which is greater: b or 60?
60
Let u = 0.61 - 0.6311. Let r = u + -0.0789. Which is smaller: -3.64 or r?
-3.64
Let v = 0.22295 + -0.02295. Is v at most 3629?
True
Let n = 20/547 + -76760/4923. Which is smaller: n or -16?
-16
Let a = -726216 + 1160936. Let q be a/62088 + 1 + -8. Which is smaller: q or 0?
0
Suppose 5*n = -w + 14, 3*w + 5*n - 37 = -25. Is w > -6/623?
False
Let w = 3023.633 + -3021. Let k = -0.133 + w. Is k > 0.1?
True
Let s be (-16751734)/(-2352538) + (-14)/2. Let x = 6/863 + s. Which is smaller: x or 1?
x
Suppose 256 + 48 = -2*n + 4*t, -5*t + 45 = 0. Which is bigger: -132 or n?
-132
Suppose 42*c - 48 = 38*c. Suppose c*r - 153 + 93 = 0. Is 6 smaller than r?
False
Let c = -219 + 77. Let q(h) = 9*h**2 + 26*h - 73. Let u be q(3). Let r = u + c. Is r greater than or equal to -55?
False
Let y(p) = 940*p - 286. Let f be y(-20). Which is smaller: f or -19087?
-19087
Suppose -15*v + 14*v + 7616 = 4*d, 3*v = d + 22939. Is v at least 7646?
False
Let j = -245.316 + 245. Let l = 0.316 + j. Is 17 bigger than l?
True
Let q = 91 - 158. Let s = q + 63. Let a be (-119)/14*s/6. Which is greater: a or 6?
6
Let h = -0.988 - -0.872. Let v = 1.314 - 1.59. Let t = v - h. Is 2/11 at most as big as t?
False
Suppose 4*f + 9 = 5*p, -3 = p + 3*f - 5*f. Suppose -p*h = u - 99, 4*u = -h + 3*u + 23. Suppose 3*l = h + 101. Is l less than 41?
True
Let l be ((-580)/30*831/(-2))/1. Is l at least 8033?
True
Suppose 0 = -4*b + c + 6, 0 = -3*b - 0*b + 3*c + 9. Let o = -4598999/350 + 13140. Is o at most b?
True
Suppose 0 = 4*z + 12, 0 = -3*k + k - 2*z + 24. Suppose 0 = 5*y + k + 365. Which is smaller: y or -75?
y
Suppose -4*l + 3*f 