 5*k = -5*d - 19 + y. Which is bigger: k or -6/35?
k
Let r = -2.6 - -6.5. Let d = r - 3.8. Let h = 27033/175 - 1083/7. Are d and h equal?
False
Let q(y) = -y**3 + y**2 - 1. Let r be q(2). Let z be (-1)/r + 1405/(-25). Let i = 1735/31 + z. Which is smaller: i or -1?
-1
Let l = -2097 - -4048. Is l >= 1950?
True
Let h be ((-3)/((-30)/256))/(150/375). Suppose 16*t + 80 = h. Which is smaller: -3/317 or t?
t
Suppose i - 3 = 0, 383 = 4*c + i + 1488. Let f = c + 158. Is -119 >= f?
True
Let m = -1660.9 - -1548. Let a = -113 - m. Let j = 3.6 - 9. Which is smaller: j or a?
j
Suppose -26*q + 105 = -25. Let t be -3 + (-4 - 14)*q. Is t != -93?
False
Let j(o) = 3*o**2 - 14*o + 5. Let f be j(4). Let y be f - (-1102)/3489*(-95)/(-10). Which is smaller: 0 or y?
0
Let q = -12586 + 12585.402. Which is bigger: -7 or q?
q
Let u be 4/((-417)/(-492) - (-12)/(-16)). Is -1/4 smaller than u?
True
Let v = -409/114 + -758185/114. Which is greater: v or -6653?
-6653
Suppose 0 = 4*g + w - 9, -5*g + w + w + 8 = 0. Suppose 2*q + g = 5*k - 3, -q = 5. Which is smaller: -4/11 or k?
k
Let n be (-2 + -58)/(-4)*1/(-3). Let r be -4*((-2)/n)/(8/45). Let b = r + 26. Which is smaller: b or 16?
16
Let h(t) = -10 + 20 - 2 - t**2 - 2*t + 0*t. Let n(k) = -4*k**2 - 7*k + 32. Let w(f) = -9*h(f) + 2*n(f). Let b be w(-5). Is b bigger than -20/7?
False
Let z = 225 - 225. Suppose z = -25*u + 9 + 116. Is u not equal to 6?
True
Let u be (-525)/3*(-60)/(-75). Let r be (7/u)/(33/(-24)). Is 1 less than r?
False
Let z = 4578 + -4482. Is z less than 0.1?
False
Let r be ((-4)/7 - -1) + 1158/42. Suppose -6*f + r = -8*f. Is -14 >= f?
True
Let h(p) = 48*p - 1. Let u be h(-1). Let m = u + 51. Let r be (-81)/(-45) - m*1. Are r and 1 unequal?
True
Let w = -401.7 + 402. Let k be -1 + 2 - 1284/1280. Let j = 1909/3520 - k. Is w >= j?
False
Let y = -187 + 131. Let q be 2/y + (-1)/4. Let b = -3 - -34/9. Which is smaller: b or q?
q
Let g(q) = -246*q + 530. Let w be g(5). Are -701 and w equal?
False
Let j be (-208)/(-78)*(-9)/186. Which is greater: -43 or j?
j
Let y be 73920/66*(-1 - (-2)/10). Let l = -897 - y. Let g be ((-3)/138)/(3/144). Is g > l?
False
Let z(q) = -37*q - 195. Let y be z(-5). Let t be y*(-6 - 63/(-14)). Let u(r) = 2*r**2 - 5*r + 2. Let s be u(4). Are t and s equal?
False
Let z = 1184/9 - 398/3. Let s = -30 - -35. Suppose 2*i + 11 = -s*a - 1, -5*a - 7 = -3*i. Is a greater than z?
False
Let g = 32058 + -31966. Does g = 1299/14?
False
Let r = 4.65324 + 0.04676. Is -1 greater than or equal to r?
False
Let j = -15562/13 - -1198. Suppose 0 + 4 = 4*b, -4*b = 5*k - 79. Suppose -k*d + 10*d = -5. Is j not equal to d?
True
Let q(w) be the second derivative of w**4/4 - w**3/2 + 5*w**2 + 21*w. Let o be q(-3). Do o and 45 have different values?
True
Let f(a) = 2*a**3 - 7*a**2 - 2*a. Let b be f(5). Let c = -46958.8 + 46959. Is c at most b?
True
Let j = -2 + 8. Let q = -52 + 60. Suppose -5*s = -t - 14, 3*s - q - 2 = -t. Is j >= t?
True
Let w be ((-6400)/18816)/(4/3). Which is bigger: -1 or w?
w
Suppose -3*h = -2*i + 533, 2*i + h - 2*h = 523. Suppose 0 = 30*m - 37*m + i. Which is greater: m or 36?
m
Let b = -2956.4 - -3234. Let h = -278 + b. Is h at most 1/79?
True
Let j(g) = -g**3 - 17*g**2 - 25*g + 34. Let k be j(-15). Let m = k + 5. Which is bigger: m or -33?
-33
Let j = 521 - 506. Suppose -j = 4*r - 11. Which is smaller: r or 1/16?
r
Let d(u) = -u**3 - 4*u**2 - 4*u - 2. Let l be d(-3). Let j be 1328/(-4980) + (-34)/(-15). Is j greater than l?
True
Let d = -103/99 - 5/99. Let y(w) = -5*w**2 - 31*w - 13. Let l be y(-6). Let h be 6/l - 15/105. Which is smaller: h or d?
d
Suppose 2*i - 16 = -2*i. Suppose -i*y = 4*m + y + 526, -5*m + 5*y = 680. Let b(z) = 7*z - 119. Let f be b(-2). Which is smaller: f or m?
m
Let v = 3257 + -3192. Are -1/2 and v equal?
False
Let x(z) = 3*z**2 - 35*z - 36. Let l be x(-1). Let f(p) be the third derivative of -3*p**5/10 - 2*p**2. Let h be f(l). Which is smaller: h or -73?
-73
Let d be 6*(-4 - -3)*-9. Suppose 3*y = 4*j - 33 - 41, -2*y + 5*j = d. Let x(o) = o**3 - 9*o**2 + 5*o. Let r be x(8). Is y bigger than r?
True
Let c = -10831 + 303319/28. Which is greater: 2 or c?
2
Let x = -29647 + 29619. Let r = -75 + 45. Does x = r?
False
Let w = -122 + 46. Let v be w/209*2/488. Which is greater: 1 or v?
1
Let x(q) = -q**3 + 5*q**2 + q - 5. Let n be (-2)/3 - ((-85)/15)/1. Suppose p = n*p - 4*l - 16, -2*p + 5*l = -5. Let v be x(p). Is v not equal to -2/49?
True
Let q = 2.093 - 0.093. Let i = q - 23. Which is greater: i or -1?
-1
Suppose 2*q + 25 = 5*n + 66, -q + 4*n = -16. Suppose 10*l = q - 18. Is 3/26 at least as big as l?
False
Let j = -1912 + 1917. Is j <= 178/47?
False
Let r be (83/(-26) - -6)*(248 + 1). Let a = -1393/2 + r. Which is greater: a or 4?
4
Let k = 9931/13 + -763. Let q(f) = 2*f. Let y be q(4). Suppose -y*n = -4*n. Which is smaller: n or k?
n
Let o(b) = -2*b**3 + b**2 + b + 1. Let j be o(-1). Suppose -j*d + 256 = 52. Do 68 and d have different values?
False
Let c be (2922/4)/((-70)/1015 - 110/87). Which is smaller: c or -548?
-548
Let z = -7/5 + -43/30. Suppose -58*g - 180 = 2*g. Which is bigger: z or g?
z
Let x = 0.21019 - 10912.21019. Which is bigger: -0.1 or x?
-0.1
Let r(l) = -31*l + 417. Suppose -27*p - 10*p = -222. Let f be r(p). Is 229 <= f?
True
Let i = -0.2 + 0.3. Let c = 0.4471 - 940.1971. Let n = -940 - c. Do n and i have the same value?
False
Suppose 9*v + 163779 = -r, -29*v - 72776 = -25*v - 2*r. Is -18196 at most v?
False
Let d = 219/260 - 23/20. Which is greater: -37 or d?
d
Let y be ((-325)/(-10) + 4)/(4/8). Let z be 443/6 + 7/42. Which is greater: z or y?
z
Let a = -78713/12 + 19679/3. Let b = -59/4 + 15. Let q = b - 1/12. Is q <= a?
True
Let y be (-20)/80 - 82/(-8). Suppose -98 = 3*m - y*m. Is 76/5 at most as big as m?
False
Let h be (1/(-2))/(28/(-88)) - 5. Suppose -8 - 13 = -5*i - s, 0 = 3*i - 2*s - 23. Suppose f = -p, -f = -i*f + 4*p - 16. Is f at least as big as h?
True
Let z be (10 - 0) + 23 + 69. Are z and 19 equal?
False
Let f(g) = g**3 + 17*g**2 - 2*g**3 + g - 8*g**2 - 7*g**2 - 2*g**3. Let v = 3 + -4. Let j be f(v). Which is smaller: j or 2?
2
Let u = 32 - -13. Suppose -4*n + m - 144 = -u, -78 = 3*n + 3*m. Is -171/7 less than n?
False
Let h(n) = -11*n**2 + 14*n - 42. Let k be h(7). Let q be (-42)/k + (-195)/1978. Is q greater than 1?
False
Let b be 2/(-17) + 51302/2856. Let s = b - 71/4. Which is greater: s or 1?
1
Let p = 488.3 - 486.3. Let u = -0.5 + 1. Let o = 0.48 - u. Which is greater: p or o?
p
Suppose -3*k + 382 = 76. Suppose k*b - 100*b = -2. Which is smaller: 1/154 or b?
b
Let u = -7626.7 + 7628. Is -80/9 bigger than u?
False
Suppose -5*a + 3*u - 113 = 0, -a = 2*a - 3*u + 69. Let c be 2/a*(3 + 33/(-12)). Let r(f) = -f**2 + 4*f + 6. Let x be r(5). Which is greater: c or x?
x
Let c be (-4 + 19)/3 + -3. Suppose -186 = -c*f + 2*n, -3*f - 3*n - n = -279. Is f < 91?
False
Suppose -3 + 15 = 4*q. Suppose 0 = q*y - 1 + 4. Let i = -2092.1 + 2092. Is y > i?
False
Let u = 25 - -6. Suppose -572 = -3*y - 53. Let h = y - 521/3. Is u > h?
True
Let c = 0.158 - 68.258. Let k = -11 + -57. Let l = k - c. Which is smaller: l or -41?
-41
Let a = 4382.8 + -3951.83. Let l = a - 431. Is -0.15 at most l?
True
Let v = -184535/27 + 6835. Is 0 greater than v?
False
Let d be 675 + -5 - (3 - -1). Suppose -2*f - 1191 = 5*n, -f - n + 72 = d. Let p = f + 14237/24. Is p bigger than -1?
True
Suppose 3*u - 1939 = 2*m - 6*m, -4*m + 1941 = 5*u. Which is bigger: 480 or m?
m
Let h be (9 - -12)*(-2)/634. Let m = h + -190454/951. Let j = m + 204. Do j and 3 have different values?
True
Let j(r) = 2*r**3 + 68*r**2 + 124*r - 129. Let q be j(-32). Which is bigger: q or -0.126?
-0.126
Suppose 0*q - 4 = -q. Let m = q - 3. Let t be (-6)/(-33) - (166/(-660) + 602/4515). Which is bigger: t or m?
m
Suppose -9*m + 0*m - 14*m = -920. Let n be (-1)/(-1) + -1 + 46. Suppose n*v - m*v + 24 = 0. Which is smaller: v or -6?
-6
Let v be (2 - (-88)/10) + (-108)/135. Suppose 45 = 3*z + 2*z. Let c = 18 - z. Are v and c nonequal?
True
Let l be ((-196)/91 - -2) + (-230)/26. Suppose -m = 4*w + 22, 6*w = 7*w - 3*m + 12. Which is smaller: l or w?
l
Suppose 2*j + 34 = 38. Suppose -3*y + 10*l = 7*l + 96, 10 = j*l. Which is greater: 3 or y?
3
Let g be 289488/119370 - 8/20. Let a = g + 116/173. Which is smaller: 