less than or equal to f?
False
Suppose -178 - 1980 = 13*g. Let z = -170 - g. Is z at least -28/9?
False
Let a = -106 + 105.99. Let p = -1.188 + 0.178. Let w = a - p. Which is smaller: w or 52?
w
Suppose 1365 + 5 = -2*u - 5*h, 0 = 2*u + 4*h + 1374. Do 3 and u have the same value?
False
Let z = -4441 - -4441.537. Which is bigger: 6 or z?
6
Suppose -3*i = 4*d - 1639, 5*i = 5*d - 9*d + 2737. Let p be ((-66)/(-77))/(i/273 + -2). Which is greater: 80 or p?
80
Let s be 2401596/(-3361176) - (-10)/14. Is s greater than -1?
True
Suppose -4*f = -5*u + 1 - 6, 5*u - 20 = -f. Suppose -2*i + 5 = -3*q, -7 = -u*i - q + 5*q. Let h = 24/1483 - 4238/78599. Are h and i equal?
False
Let x = 1/193 + -393/1351. Let c = -86.77 + -1.23. Let p = c - -87.47. Which is greater: p or x?
x
Let d = -13641/130 + 1362/13. Is -1 equal to d?
False
Let j be -2 - (0 + 3) - (-11)/((-154)/(-70)). Which is greater: j or -1/2316?
j
Suppose -90*n + 257 = -193. Suppose i + 0*i = -4. Let p be (n + (-52)/i)*1/2. Which is smaller: p or 42/5?
42/5
Let m = 18864/117623 - 49/3179. Let j = m - 2/37. Let z be 2/11 - 2/11. Which is greater: z or j?
j
Let d = 75.58 - -7.52. Let a = 20.9 - -62.1. Let f = a - d. Which is smaller: 31 or f?
f
Let q(w) = -2*w**2 + 152*w - 154. Let d be q(75). Which is smaller: d or 2/85?
d
Let q be (-4 + 7)*2/(-3). Let k be (0*(-4)/(-8))/(-7 - q). Is k at most 179?
True
Suppose 3*o + 3*z - 2367 = 0, 3*o + 2*z = -2*o + 3945. Let k = -4705/6 + o. Is k != 6?
True
Let h(s) be the first derivative of -5*s**2/2 - 19*s - 16. Let w be h(-13). Let r = -39 + w. Is r less than or equal to -1?
False
Let b be -20*((-70)/4 + 3). Let y be (1/b)/(8/32). Let g be (-2)/9 + 4114/2178 + 2/(-3). Does g = y?
False
Let p(k) be the second derivative of -k**6/360 + k**5/120 - 7*k**4/6 + 25*k. Let u(h) be the third derivative of p(h). Let q be u(23). Is -46 >= q?
False
Let v = 251 - 277. Let r be (32/104)/((-4)/v). Is r >= -5?
True
Let t = 187 + -188. Let l = 4 - -2. Let j = -12 + l. Are t and j equal?
False
Suppose -4*a + 376 = 2*i, 0 = 20*a + 3*i - 643 - 1223. Is 9 smaller than a?
True
Suppose 16 = -4*d, -8*y = -4*y - d - 48. Suppose 0 = -3*r + 2 - y. Suppose -4*b + 41 = -3. Is r <= b?
True
Let a be (-1650)/(-58410)*(-4)/30. Let o be (20/(-118))/((-3)/4). Let m = a + o. Is -1 greater than m?
False
Suppose -3*n - 641 = 5*a - 9*a, 3*n + 5*a = -650. Let j = n + 248. Which is smaller: j or -6?
-6
Let o = -8926 - -8926. Which is smaller: o or -190?
-190
Let o = -1138 - -791. Let c = -418 - o. Is c greater than or equal to 1?
False
Let c = -1406 - -1399. Which is bigger: c or -109?
c
Suppose 0 = 3*l + 5*q - 23 + 1, 2*l = 3*q + 21. Suppose -2*s - 1 = l. Suppose 614*j - 5*f = 610*j + 23, 3*j - 5*f = 31. Which is smaller: s or j?
j
Let p = 18.9917 - -0.0083. Let a = -0.17 - -16.17. Let t = a - p. Do t and -1 have the same value?
False
Let u = -22963/2 + 11627. Which is smaller: 147 or u?
u
Suppose t - 7 = 2*v - 4, 5*t + 5*v - 15 = 0. Suppose -533 = 3*y - 4*a + 2*a, t*y + a = -530. Let h be (-1 - y/225)/((-2)/3). Which is smaller: h or -1?
-1
Let v be (-6)/8 - (-14)/(-3304)*158214/(-894). Which is greater: 1 or v?
1
Let h = 597 + -599. Let p be h*1*2/(-4). Which is smaller: -2/765 or p?
-2/765
Let r = -722 + 720. Let h be (r/40)/((-148)/(-5)). Is h < 1?
True
Let u = 335 + -344. Let g be u/(1134/(-49))*-3. Which is smaller: 0 or g?
g
Suppose 30*q + 32 = 35*q - 2*u, 2*u = 3*q - 20. Is 6.4 >= q?
True
Let a be 14/35 - (-64)/(-10). Let c be a/(-4 + 1 + 225/72). Is -46 > c?
True
Let n = 3.61 + -189.61. Let y = n - -185.813. Let o = -0.007 - y. Is -1 >= o?
False
Let u(i) = -i**3 + 11*i**2 - 94*i + 683. Let n be u(9). Which is smaller: n or 3/3967?
n
Suppose 10*l + 16*l - 10*l = -16. Are l and 5/1238 non-equal?
True
Let o = 629 + -627. Suppose y - s = -3, -y - o*y = -s + 1. Which is smaller: -2/471 or y?
-2/471
Let g = 2.8 + -19.8. Let a = 138.3 + 84.7. Let k = -223 + a. Is g at least k?
False
Let a be (84/35)/(6/40) - 1. Let k = -24.996 - 0.004. Let n = k - -24.8. Which is greater: a or n?
a
Let r = 247/24 - 1699/168. Is r at most -0.5?
False
Suppose 0 = p + 5*m - 9, 5*p - 5 + 16 = 3*m. Let j be 13/((-637)/(-14)) - (-4)/(-14). Let d be 85/(-70) - (p + j). Which is bigger: -2/5 or d?
d
Let x = 1765 - 1669. Is 15 bigger than x?
False
Let b be (-10 - (-6)/(-4))*54. Which is greater: b or -622?
b
Suppose -2*l + 3 = -l + 3*c, 0 = 4*l + c - 1. Let s be l - -1*8/7. Let b(v) = -374*v**2 + 4117*v - 32. Let m be b(11). Is s at least m?
True
Suppose 691 + 296 = 7*p. Suppose 5*c - 9*c - 4*z - 564 = 0, c = 2*z - p. Which is smaller: -140 or c?
c
Let b be ((-4)/22)/((-6)/(-18)). Let m = -14.43 + 15.23. Which is bigger: m or b?
m
Suppose -13*a + 12*a + 7*a = 0. Let j be ((-64)/(-12) + a + -5)*9. Which is greater: j or 1/177?
j
Let s(p) = -52*p**3 + p + 1. Let j be s(-1). Suppose m - 5*m + 5*l = -j, -5*m = -5*l - 65. Which is smaller: 19 or m?
m
Let o = 58 - 57.67. Let u = -468.12 + 468.18. Is u smaller than o?
True
Let w be 9/(-15) - (-828)/(-45). Is w at least -18?
False
Let a = -0.175 + 71.175. Let p = a - 71.006. Let m = -0.394 + p. Is m smaller than 3?
True
Let a(x) = x + 59. Let f be a(0). Suppose 6*j - f = -4*w + 7*j, 4*w - 44 = -4*j. Is w <= 14?
True
Let u(b) = b**2 + 19*b + 48. Let y be u(-16). Let d be -4 - y - (4 - -3). Which is smaller: d or -98/9?
d
Let d = 7053.63 - 7054. Let c = -7.31 - -6.9. Let o = d - c. Is 6 != o?
True
Let v be (15/21 + -1)*-7. Suppose -v*j - 168 = 12*j. Which is smaller: j or -14?
-14
Suppose -4*t + 2*d = -56234, 4*t - 23017 = d + 33210. Which is smaller: t or 14054?
14054
Let d = -620087/21 + 29529. Let p = -20 - -22. Which is greater: p or d?
p
Let r be (0 + -1)*2/2. Let c = -123 + 98. Let x = 474/19 + c. Are r and x nonequal?
True
Let t = -3010 - -3017. Which is bigger: t or 137/23?
t
Let t = -2844/5 - -570. Let z = t - 94/45. Which is smaller: 0 or z?
z
Suppose -3*f = -5*q + 45, -3*q + 12*f - 10*f + 27 = 0. Let u be q/(-24) - (-7 + 37662/5680). Is -1 != u?
True
Let w = 1222 + -1222.232. Is w greater than or equal to 4?
False
Let k = 11486.2 - 11486. Which is smaller: -412/3 or k?
-412/3
Let o(n) = 11*n**2 - 12*n - 18. Let l be o(-6). Suppose -2*r + l = -17*r. Is -31 greater than or equal to r?
False
Let y = -24881 - -3806807/153. Let i = y + -164/17. Is i bigger than -11?
True
Let p = 5828 - 5785.1. Which is smaller: -5 or p?
-5
Suppose 3 = -2*y + 25. Let r(b) = 13*b - 93. Let q be r(y). Is q < 51?
True
Let b(o) = -2*o**2 + 14*o - 12. Let g be b(5). Let t be (4/(-16)*0)/(5 - g). Let h = -331/900 - -19/36. Do t and h have the same value?
False
Suppose -4*n + f - 15 = 0, -6*n + 2*n + 4*f - 24 = 0. Suppose -3*o - 21 + 105 = 0. Let a = o + n. Is a greater than 26?
False
Let c = -5084 + 5091. Which is smaller: c or 75?
c
Suppose 0 = -j + 35 - 9. Suppose -11*v = -j*v + 195. Is v >= 12?
True
Let x be ((0 - 0)/(-1))/(4 - 2). Let o be (-3 + (-22)/(-6))*(-3)/5. Which is smaller: x or o?
o
Let t(g) = g**3 + 18*g**2 - 41*g - 21. Let d be t(-20). Let n = 23 - 32. Let v be n/66*56/6. Is d smaller than v?
False
Suppose 0 = 9*i - 7*i, 3*i - 1440 = -3*y. Suppose -390*p - y = -398*p. Is 62 equal to p?
False
Let u be ((-290)/3)/(3140/(-5)). Let a = u + -1/6. Which is bigger: a or 1?
1
Let d be -1 + -5 - 2184/(-7). Suppose 4*a - 7*a = -d. Is a bigger than 102?
False
Let t(j) = 6*j + 20. Let i be t(-4). Let s be (5 + -6)*186/54. Which is smaller: s or i?
i
Let h(p) = -2*p**3 - p**2 + 8*p - 8. Let k = 105 + -104. Let w be h(k). Let v = 0 - 1. Is v < w?
False
Let h(t) = -85*t + 589. Let g be h(6). Which is bigger: 722/9 or g?
722/9
Suppose -12*x + 7*x = o + 120, 4*x = 0. Let n be 710/o + 6 + 201/(-1548). Which is bigger: -1 or n?
n
Let r = -180.4 - -179. Let c = 156 + -94. Let x = c - 188/3. Which is smaller: r or x?
r
Suppose 149 = -8*u + 13. Let w be (8 - (0 - u)) + 32. Let n be ((-4)/6)/(4/(-6)). Is w != n?
True
Let m = -83 - -87. Let s be m/6*(-12 - -9). Which is bigger: -22/15 or s?
-22/15
Let t be 12/15*(1106 - 12/(-3)). Suppose 0 = 12*g + 72 - t. Is 68 greater than or equal to g?
True
Suppose 5*c - 5 = -0*c. Let w(b) = 2*b**2 + 39*b + 13. Let n be w(-19). Let t be 8*(-1)/n - c. Which is greater: -25 or t?
t
Let y be (-6)/57 - 150/19. Let s be (-676)/552 + y/(-6). Which is greater: 1 or s?
1
Let 