e k(-12). Let i = 8 - 4. Let d be ((-4)/r)/(i/(-78)). Is -1/2 greater than d?
False
Suppose o - 4*o = -938886. Let n be o/1359729 + (-18)/81. Let b = n + 2/791. Which is greater: 1/3 or b?
1/3
Let o = -73525547/45 - -1633353. Suppose -548 = 18*r - 19*r. Let k = r + o. Which is bigger: k or -1?
k
Let l = 0.10296 + 1.89704. Which is smaller: -0.5847 or l?
-0.5847
Let y = -206 + 259.2. Let s = y + -46. Which is bigger: s or 3?
s
Suppose 0 = 3*g + 6. Let u be g/(-4)*(-300)/(-125). Does u = -0.08?
False
Let r be (-3857)/168 - (-27 + 20). Is -15 bigger than r?
True
Let y be 10671/(-306)*3 - (-4)/34. Let l = 108 + y. Let d(w) = w**3 - 6*w**2 + 4*w + 4. Let z be d(5). Is l at least z?
True
Suppose -28*y + 38*y + 1404 = 19*y. Is y > 157?
False
Let v = -867 + 2357. Does v = -1?
False
Let s = -8302640/313 - -26526. Suppose -4*o = -0*o. Is s bigger than o?
False
Let r = 0.216 + 2.784. Let h = 2.6 - r. Which is smaller: h or 32/3?
h
Let z be (-16)/(-28) + (-612)/483. Suppose 4*o = 7*p - 5*p + 4, 5*o - 4*p - 8 = 0. Which is bigger: o or z?
o
Suppose -18 = 4*o - 2*o + 4*y, 3*y + 17 = 2*o. Let r = 35/478 + -409/18642. Which is smaller: r or o?
r
Let u be (2829/184 + -15)/(30/(-48))*(-10)/(-4). Let w = -2.1 - -2. Let x = 0 - w. Which is smaller: x or u?
u
Let k = 482 + -485.3. Let t = 5.3 + k. Which is smaller: 6 or t?
t
Let n be (-4)/66 - 59192/(-924). Which is smaller: n or 46?
46
Let a = 193 - 173. Let i(f) = 5*f**2 - 99*f + 27. Let g be i(a). Is 47 at least as big as g?
True
Let z(r) = -28*r - 57. Suppose -5*y = -p + 5 - 35, 2*y - 35 = 5*p. Let b be z(p). Are 79 and b equal?
False
Let q = 481 + 452. Let d = 932.8 - q. Which is greater: -58 or d?
d
Let x be (5*72/(-140))/(-3 + 128/42). Which is smaller: -55 or x?
-55
Let n(v) = -6*v**2 + 494*v + 478. Let k be n(92). Do -4859 and k have the same value?
False
Let m(o) = -o**3 - 5*o**2 - 3*o + 7. Let c be m(-3). Let k = 658 - 665. Is c at most k?
False
Let l be (-427 + 1/(-1))*22/(-88). Let r = -109 + l. Is r not equal to -0.26?
True
Suppose -392 = -5*a - p, 2*a + p = 7*a - 388. Suppose -4*m + 5*j = a, 0 = 15*j - 16*j - 2. Let b be (-1)/2*-1*-38. Is m greater than or equal to b?
False
Let b be (-12)/((-2)/4 - 14/28). Suppose 3*v - 21 = b. Let f = 20 + -12. Which is greater: v or f?
v
Suppose 2*u - 168 = -4*f + 212, 4*u = 5*f + 773. Let j be u/(-240)*(2/4 - 1). Is -207 <= j?
True
Let r be (-2)/(-5) - (5 - 488788/580). Let y = 838 - r. Let p = -86/203 - y. Which is bigger: 0 or p?
0
Suppose -2*u = -2*p + 6, -3 + 19 = -3*u - 4*p. Is u at most as big as -141/49?
True
Let d = -2.4 - -2.7859. Let b = d + -0.0859. Let f = -2.7 - -3. Is f at least b?
True
Let y(n) = -5*n**3 - 16*n**2 + 12*n + 7. Let i be y(-10). Suppose 8*w + 11*w - i = 0. Is w at most 174?
True
Let o = -23 - -482/21. Let p = -83 - -86. Let v be 6 - (5 + p - 3). Is o > v?
False
Let a = -29 + 29. Suppose -2*h + 5*n + 0*n + 77 = a, -4*n = -3*h + 98. Suppose j - 19 = -h. Which is smaller: j or -8?
-8
Let n = 0.226 + -30.926. Let x = 69 + -100. Let v = x - n. Is 2 > v?
True
Let h be ((-7)/(-7))/((-296)/(-13)). Let x = -6727/8584 - h. Is x at most as big as -1?
False
Let r = -71 + 71. Is -3/1670 at most r?
True
Let r be (151/604)/((-5)/4). Which is greater: r or -4/11?
r
Let o be ((-50)/(-135))/(11/6351). Let d = o - 2406/11. Is d >= -4?
False
Suppose -7*u + 44 + 5 = 0. Suppose u*z - 40 - 51 = 0. Which is smaller: 10 or z?
10
Let v = -40 + 86. Let n = 0.93 + -48.93. Let q = n + v. Which is greater: q or -0.1?
-0.1
Let j(w) = 6*w**2 + 193*w + 32. Let v be j(-32). Suppose 4*p + 133 = -4*s - 31, -4*s + 3*p - 157 = v. Which is smaller: s or -44?
-44
Suppose -f + 26*f - 112 = 113. Which is smaller: f or 10?
f
Let h = -0.002 - -0.102. Let x = 1.86 + -1.6. Let q = x + -0.16. Is h less than q?
False
Suppose 6*k = 5*k + 219. Suppose 85 + k = 4*u. Are u and 74 equal?
False
Let t be 9/3*(-2587)/(-39). Suppose -151 = 7*b + t. Is -50 greater than or equal to b?
True
Let u be -19 + -1446 + -2 + 4. Which is smaller: u or 0?
u
Let q = -0.93 + 0.18. Let u = q - -1.1. Let a = 0.45 - u. Is -21 less than a?
True
Let d = 15.234 - -0.036. Let l = -1.73 - d. Is -2/3 less than or equal to l?
False
Let r = -2099 + 2136. Is r not equal to -17?
True
Let z be 7*1 - (-4)/((-400)/725). Which is smaller: z or 744?
z
Let a(m) = -14*m**3 + 7*m**2 + 5*m - 24. Let r(o) = 3*o**3 - 2*o**2 - o + 6. Let x(d) = 2*a(d) + 9*r(d). Let q be x(-5). Is q at most as big as 230/9?
False
Let v = 3/3568 + -7247/132016. Is v smaller than -8?
False
Let o = 3984/61 - 129555/1342. Is o at most as big as -31?
True
Let n be 3/(3*1/20). Suppose 10*v + 33*v + 3450 = 3751. Are n and v unequal?
True
Let a = -167 - -305. Let z = a - 222. Which is bigger: -83 or z?
-83
Let g(y) = -y**3 + 10*y**2 + 8*y + 8. Let t be g(11). Let j = 28 + t. Let n be ((-6)/10)/(j/15). Does n = -17/8?
False
Let d = 11090.05 - 11090. Is -0.0489 greater than d?
False
Suppose -2*m + 1292 = 3*d, m + 794 + 958 = 4*d. Let p = 0 - -1. Is d <= p?
False
Let u be (-9)/(-54) - 17/(-6). Let t be (u/(-2))/(1290/(-635)). Let m = 1/86 + t. Is m > 0?
True
Let l be ((-10)/(-5))/(-2*(-2)/50). Let f = l + -26. Let x be ((-8)/f - 2)*4/(-12). Which is smaller: -3/4 or x?
x
Let l be (44/10)/((-9)/(-45)). Let x be (4/l)/(150/190). Let j = -1/33 + x. Which is bigger: j or 0?
j
Let h = 11 - 6. Suppose 5*u + h = -5*k, 0 = u - 3*u. Let a be 1680/64480 - (-2)/(-31). Which is bigger: a or k?
a
Suppose 5*f - 2*w + 7 = -4*w, 0 = -5*w - 5. Let l be (-1166)/582 - (0 + -2 + 0). Which is smaller: f or l?
f
Suppose 22650 = 1083*s - 1133*s. Which is smaller: s or -457?
-457
Let t be (-3570)/(-20)*(-4)/(-3). Let f(r) = -551*r + 11808. Let q be f(21). Which is greater: t or q?
t
Suppose -7*s = -2*s. Suppose 12*a + 12 = 8*a, -5*v - a + 187 = s. Let p = -57 + 96. Do p and v have different values?
True
Let g(y) = -y**3 - 8*y**2 + 6*y - 13. Let x be g(-9). Let n be (x - 17)*((-2)/(-2))/1. Let m = 5.8 + -6. Which is bigger: n or m?
m
Let j = 1648/7 - 97197/413. Let p = -16103 - -16104. Are p and j equal?
False
Let n = -55 + 84. Suppose 3*v - 162 = 5*z, 3*v = v - 5*z + 108. Suppose 2*b + 112 = 4*y, 0 = -3*y - 4*b + v + 41. Is n less than or equal to y?
True
Suppose -3*i = 1 + 23. Let f be (-12)/i*(-4)/(-6). Suppose -3*p + f = 16. Is -23/4 bigger than p?
False
Let z = -0.044 + -222.956. Let d = z + 222.6. Is -38 != d?
True
Let d(u) = 228*u - 3634. Let i be d(62). Is 10500 at most i?
True
Let o = -1963 + 774. Let h be 36/(-48) + o/(-1284). Let z = -1/107 + h. Which is greater: -0.1 or z?
z
Let v(n) = -2*n**2 + 19*n - 14. Let i be v(8). Suppose -228 = 3*c + 3*c. Let h = -27 - c. Which is greater: i or h?
h
Let p = -148722 - -1299681556/8739. Let t = p - -4891/157302. Which is greater: -1 or t?
t
Let y = 143.9 - 151. Let f = 8.1 + y. Which is smaller: -3/71 or f?
-3/71
Let c be ((-2)/(-1))/(58*1). Let w be 9 + 17/((-119)/70). Is w bigger than c?
False
Suppose w + 92 = 5*w. Let u be (-416)/10*(-9015)/14424. Is u at least w?
True
Let a(l) = -l**2 + 19*l - 34. Let d be a(16). Suppose 0*h = -3*h - 12, 3*t - 217 = 4*h. Let i = -155/3 + t. Is d less than i?
True
Let o(z) = z**3 - 4*z**2 + 2*z + 3. Let d be o(3). Suppose q - 4*j + 72 = d, -q + 0*q - 2*j - 42 = 0. Suppose -68*g + 6188 = -87*g - 100*g. Is q at least g?
True
Suppose -2*y + 5*g + 41 = 0, 2*g - 5*g - 3 = 0. Let z be 150/54 - (-4)/y. Let c be (1*(-4 + 3) - 1) + 6. Which is smaller: c or z?
z
Let k(s) = -7*s - 17. Let u(d) = -6*d - 17. Let r(j) = -3*k(j) + 4*u(j). Let g be r(-8). Let c be 4/g - (-12)/(-70). Which is smaller: c or -2/5?
-2/5
Let m = -2211 - -2212. Which is smaller: m or 700/11?
m
Suppose -4*c + 3*p - 2 = 26, -4*c - 28 = 5*p. Let q be (35/c - -5)/1. Which is bigger: q or -1/593?
q
Let j be (-3 + (-26)/(-10))*(-40)/(-16). Let f be (-1)/(j - 186/8). Is f at most 0?
False
Let d = 9180 + -321164/35. Is d < 3?
False
Let i = 9203.7 - 9203. Which is greater: i or 1/21?
i
Suppose 37 = -6*y + 7*y. Suppose -7*b = -30 + 2. Let w be (2/(-2))/(0/(-1) + b). Which is smaller: y or w?
w
Suppose -3*v + 59 = -l + 130, 4*v - 3*l + 88 = 0. Which is greater: v or 21/17?
21/17
Suppose 147*t = 235*t + 16896. Which is smaller: t or 4/5?
t
Let n = -26.1732 - 0.8268. Is 1.4 less than or equal to n?
False
Let i be ((-1915832)/220)/17*(-130)