 is greater: f or 5?
5
Let o = 1209.07 - 1224. Is 3 >= o?
True
Let j(h) = 32*h**2 + 65*h + 3. Let m be j(-2). Is -44/135 at least m?
False
Suppose -d - d - 2*k = 60, -3*k - 115 = 4*d. Let m(c) = 57*c + 328. Let b be m(-6). Is d >= b?
False
Let q(h) = -5*h**2 - 219*h + 67. Let y be q(-44). Is y smaller than -26?
False
Let m = -1479 + 4071. Let c = -59490/23 + m. Which is smaller: 4 or c?
4
Suppose -8 = -2*a + 201*i - 202*i, i = 4*a + 2. Which is smaller: 7/2712 or a?
7/2712
Let d be 8/(-13)*(-7)/28 + (-202080)/3432. Which is smaller: d or -60?
-60
Let i be 2*((-2)/7 + (-15)/21). Let s be -8 + 7 - (34130/11808 - 3). Let k = 1/656 + s. Is i < k?
True
Let o be ((-24)/15)/(4/(-30)). Let k be (-72)/(-48)*(-3 + 5) + -8. Which is smaller: o or k?
k
Suppose -306*t = -301*t. Suppose t = 11*f - 7*f + 11*f. Let h = 1005/11809 - -9/241. Is h less than f?
False
Suppose 7*j - 3*b = 11*j - 1199, -3*j = 5*b - 902. Suppose -j*p - 63 = -302*p. Are p and 23 nonequal?
True
Let a = -2.39703 - -0.39703. Let r = 3876/7 - 568. Is r less than a?
True
Let s(x) = -x**3 + 15*x**2 + 3*x - 35. Let m be s(15). Suppose -62 - m = -9*l. Suppose b - 1 = -3*k, 30 = 2*b - 3*k + 1. Which is smaller: l or b?
l
Let k be -1*(2 + 12/(-4)). Let x be 0 + ((-5)/k - -2). Does x = -56/13?
False
Let q = 591 + -497. Suppose q = 4*l + 7*z - 9*z, -4*l = -z - 89. Which is bigger: 131/6 or l?
131/6
Let z be ((-4)/8)/((-34)/(-323)). Let r = 3 - 7. Is z smaller than r?
True
Suppose -3*k - 33688 = -4*d, -2*d + 77*k + 16864 = 73*k. Is 8416 > d?
False
Suppose 5*z + 4*q + 2 = -15, 4*q + 8 = 4*z. Which is smaller: -13/399 or z?
z
Let j = 21/907 - 32887/1616274. Which is smaller: 0 or j?
0
Let z(f) = -3*f**2 + 171*f - 210. Let k be z(58). Is -385 < k?
True
Let n = 9/4 - 2. Let m = -13.86 - -14.8. Let f = m - 1.56. Is n less than f?
False
Suppose 0 = 3*f - 3*n + 1374, n + 886 = -2*f - 3*n. Which is smaller: f or -451?
f
Let i be 3/((-9)/111)*(-109 - -108). Is 50 > i?
True
Let x = -1.68 + -75.32. Let r = 0.047259 - 0.347259. Is x > r?
False
Let w = -35.07 + 0.07. Let o = -296/207 - -38/23. Are w and o equal?
False
Let k = 216 - 1345/6. Let r be -24*(36 + 5029/(-141)). Which is smaller: k or r?
k
Let o(z) = -2*z + 13. Let x be o(7). Let v be (x - 1) + (7 - -58). Which is smaller: 65 or v?
v
Let f(z) = z**2 + 19*z + 37. Let u be f(-2). Let n be u/2*(-854)/(-183). Do n and 2/11 have the same value?
False
Let x = -22.21 - -21.95. Is 6 smaller than x?
False
Suppose -43*g + 46*g = 27. Let r(q) = -4*q + 39. Let d be r(g). Which is bigger: d or 9?
9
Let s = 96.01 + -94. Let n = -78.01 + s. Is n bigger than 0.1?
False
Suppose 3*b + 10 = 2*b + 3*a, -14 = b - a. Let p(i) = -2*i**3 + i**2 + 3*i + 2. Let z be p(3). Let t = z - -32. Is t less than b?
False
Let r = -7798 + 116942/15. Does r = -9?
False
Suppose -87 = -y + 2*c, -104*y + 105*y = -5*c + 136. Let j = 0.2 - 0.1. Which is bigger: y or j?
y
Let a = 16.00368 + -0.00368. Is 0.112 less than a?
True
Let c be -45*(32/(-30) - (-60)/150). Which is greater: c or 156?
156
Let g be (-262)/164 + (-3)/6. Let k be (-36)/306 - 220828/110126. Let f = g - k. Is f > -1?
True
Let h be 23/(69/62)*69/(-7). Are -205 and h non-equal?
True
Let a(h) = -20*h - 41. Let w be a(-2). Is -12/971 less than or equal to w?
False
Let q = -10/38259447 - 4416645054992/1492118433. Let v = q + 2960. Suppose -4 = -4*f + 8*f. Is f at least as big as v?
False
Let n(g) = -4*g**2 - 4*g - 4. Let b be n(-1). Which is bigger: -181/33 or b?
b
Let k = -1525 + 2317. Is -2/17 at most k?
True
Let i = -2771 - -3616. Is i equal to 849?
False
Let j = 71 + -103. Let s = -30 - j. Suppose 0 = 4*m - s*l + 31 - 81, 70 = 4*m + 2*l. Is -1 less than or equal to m?
True
Let n(p) = -288*p - 764. Let k be n(-2). Which is greater: k or -566/3?
k
Suppose -3*s + 3 + 3 = 0. Let i be (-3)/15 - 156/20 - -6. Is s >= i?
True
Let w = -8017/2884 - -27/412. Which is smaller: w or -4/85?
w
Let t be 3/5 - (-234)/(-90) - -4. Suppose -4*m + 136 = -2*b, 2*m - 3*m + 4*b + 27 = 0. Is m < t?
False
Let z = -0.0567 - -64.7567. Let w = 3.7 - z. Let c = w - -60.8. Is -3 > c?
False
Suppose -2*n - 4*h = -0*n - 32, 5*n - h = 58. Suppose -n*v = -6*v. Suppose v = -5*p + 18 - 8. Which is bigger: p or 12/13?
p
Let k be 216994/(-18) - 34/(-153). Let a = k - -60019/5. Let w = -53 - a. Which is greater: w or -3?
w
Suppose -4*s + 4*k + 4 = 0, -443*s + 31 = -440*s + 4*k. Let h = -57981 + 2841299/49. Let w = -4/147 + h. Which is bigger: w or s?
s
Suppose 0 = -4*s + 3*o - 5*o + 334, 4*s - 3*o - 329 = 0. Suppose -86*d = -s*d - 12. Is d smaller than 5?
True
Let n be (36 - (-12 - -47))*(-274)/4*-2. Which is smaller: 142 or n?
n
Let t(v) = -v**2 - 3*v + 1. Let k(p) = -3*p**2 - 62*p + 64. Let z(o) = k(o) - 5*t(o). Let q be z(23). Which is bigger: q or 32?
q
Let j(k) = -3*k - 22. Let l be j(-8). Suppose -5*b + 16 = -l*z - 27, -z = 4*b + 15. Let y = z - -61/3. Do y and 0 have the same value?
False
Suppose 8 - 29 = -7*c. Suppose -3*j = 2*u + 14, -c*u - 6 = -0*j - 3*j. Let t be 1295/(-651) - 1*j. Which is smaller: t or 0?
0
Let f = -19524 - -19523. Which is greater: 2/45687 or f?
2/45687
Let g = -0.046 - -0.346. Is g greater than 133?
False
Let h(m) = m**3 - 3*m**2 + 2*m - 2. Suppose 0 = -5*l + 9*l - 12. Let s be h(l). Let a be -9 + s - (2 + -3). Which is smaller: 0.3 or a?
a
Let l(z) = -2 + 792*z**2 - 821*z**2 - 2 + 5*z - 24*z - 2*z**3. Let y be l(-14). Which is smaller: 67 or y?
y
Let r = -149.964 - -150. Let a = -0.064 - r. Which is smaller: a or 4.9?
a
Let d be (((-2)/(-3))/((-1)/6))/(287 + -291). Is d greater than or equal to 4/1469?
True
Let b be (2/5 - 1) + 15288/455. Which is bigger: b or 36?
36
Let h = 332 + -332. Let i = 2265 - 97401/43. Which is smaller: h or i?
i
Let u be ((-657)/(-207) + 4)/((-12)/(-80)). Which is greater: 47 or u?
u
Let o = -4537.093 + 4537. Which is smaller: -2/3 or o?
-2/3
Let p be (-778)/1077 - (2/6 - 1). Which is smaller: p or -2/7?
-2/7
Let t be -6 - (-6)/18*21. Let j be 7 - 8/(-6)*-3. Suppose -5*n + 2*r = j*r + 25, 4*n + 1 = 3*r. Which is bigger: n or t?
t
Suppose 5 = p - 3*y, 3*y + 3 - 8 = -p. Suppose -k + 3*a = -147, 3*k - 4*k + 143 = -p*a. Let b be -1 - (-3 + k/48 + -1). Which is smaller: b or 1?
b
Let z = 105 - 105. Suppose -4 = -w - z. Is 0 at least as big as w?
False
Let q be (-19)/5*(-614 + 4). Which is bigger: q or 2320?
2320
Let o = -0.0304 - 0.1706. Let b = 0.02579 + -1.02579. Which is greater: o or b?
o
Let f = -23.838 + 18.838. Let i = -2 + -5. Do f and i have different values?
True
Let d = -166 - -318. Let f = 52 - d. Is -100 at most f?
True
Suppose 2*k - 10 = 0, 5*u - 5*k = 588 + 92. Suppose q = o + 33, 0 = -o + 5*o - q + u. Suppose 4*n - 2*x = 63 - 201, 3*n - 3*x = -102. Is o greater than n?
False
Let r = -423175/1788 + 5/596. Is -237 smaller than r?
True
Let c be (38/16 + -2)/(12/96). Suppose 3*h - 2*p + 52 = 0, 5 = -2*h - 4*p - c. Let j = -13 + 0. Which is greater: h or j?
j
Let g be 195/(-194)*(-1265)/(-550). Let x = 18/293 + -3504/28421. Let b = x - g. Which is bigger: b or 1?
b
Suppose 3*z = -4*i - 958, -2*z - 5*i = 913 - 272. Are 5 and z equal?
False
Let q = 24.8517 - -0.0483. Let d = q + -25.1. Is -30 greater than d?
False
Let m = -3 + 3.05. Let h = m - -0.1. Let y = 156.22 + -159.22. Is h at most y?
False
Let d(i) = -i**2 - 5*i + 5. Let x be d(-6). Let t(c) = -c**2 + 11*c + 8. Let f be t(0). Let o(v) = -v**3 + 8*v**2 - v + 7. Let b be o(f). Is b smaller than x?
False
Suppose 0 = 24*s - 20*s - 3*i + 242, 4*s + 188 = 12*i. Is -31 not equal to s?
True
Suppose -36*w + 31*w = -5. Let h be 1 + (w - 1) - (17 + -21). Let i be (((-1)/(-46))/(-1))/(h/(-30)). Is 1 at least i?
True
Let o(q) = 16*q**2 + 2*q - 12. Let d be o(4). Suppose -18*k + d = -12*k. Is 41 less than or equal to k?
True
Let p(x) = x**2 - 27*x + 15. Let o be p(28). Let y be 148/(-37)*6/(2 + 0). Let v be -2*(-3)/y*-86. Is v at most o?
True
Suppose -2*a + 4 = 10, -35 = -2*i - 3*a. Suppose i*y - 9*y + 13 = 0. Let w be 10 - (y/5 - 126/(-30)). Which is smaller: w or 5?
5
Suppose -2*w + 310 = 5*n, -2*w + 5*n = 183 - 493. Let q = -2760 + 2789. Suppose q = 14*p + w. Which is smaller: -8 or p?
p
Let n = 1.75 + -1.35. Suppose -8*w - 101 = -61. Which is smaller: n or w?
w
Let x be (4 - 2341)*52/39*(-2)/(-8). Is -779 at least x?
True
Let a be (-1)/(42/(-3)) - (-1