 b be (-7)/70 + 885/(-150). Is b less than or equal to -182/29?
False
Let k(p) = 1718*p**3 + 6*p + 5. Let z be k(-1). Is z not equal to -1718?
True
Let o = -2/5023 + -421906/65299. Let v be 186/(-30) - 2/(-10). Is v at least o?
True
Let r be ((-30)/(-34) - -1) + -2. Suppose 229*q - 62*q = 80*q + 70*q. Is q less than r?
False
Let b be (1 - (-7)/42)/(90890/(-183)). Is 1 at least b?
True
Let q = 0.0374 + 19.1626. Is -0.22 at most q?
True
Suppose -d + 12 = -4*d. Let t = 5277/2 + -131921/50. Is d <= t?
True
Let p be (-12)/4 - 1070/(-358). Let v = 0.036 + 0.088. Let d = v - 1.124. Is d equal to p?
False
Let u = 64730 + -75151511/1161. Which is greater: 1 or u?
1
Suppose 213 + 238 = -5*x - o, 0 = -x + 4*o - 107. Let j = x - -85. Let w be 56*(4 + 21/j). Is w > 28?
False
Suppose 2*c + 2*c = -4. Let f be (-13)/((-5187)/(-42))*5. Which is smaller: f or c?
c
Let d = 119885/174 - 689. Let s(q) = -4*q**2 + 82*q - 181. Let x be s(18). Are x and d nonequal?
True
Let h be 8*(-1)/10 - (-18)/10. Let c be (2/(180/(-21)))/(20/8). Which is smaller: c or h?
c
Let v = -570 - -3991/7. Is -93 at least v?
False
Let i be (-6)/10 + (-184)/35. Which is greater: -6 or i?
i
Let i be (58110/(-6))/(-13) + -13. Which is smaller: i or 729?
729
Suppose -188 = -5*o + 417. Let r = o - 849/7. Let a = 67 - 65. Is r bigger than a?
False
Let y(v) = -v**3 + 36*v**2 + 38*v - 29. Let r be y(37). Is 1/79 at most r?
True
Let n = -2/43 - -13/1204. Suppose -3*h + l - 1 = 7, -2*l = 2*h - 8. Is n >= h?
True
Let d = -12588 - -12630. Let c(q) = -13*q + 8. Let a be c(6). Let w = a + d. Are w and -26 non-equal?
True
Let v(q) = -10*q**3 + q**2 + 3*q - 7. Let l(r) = -r**3 + r**2 - 1. Let x(f) = -6*l(f) + v(f). Let j be x(-2). Is 26 equal to j?
False
Let p(n) = n**2 + 7*n + 123. Let y be p(8). Which is greater: 241 or y?
y
Let q = 2032.6 + -2049. Is 1/17 greater than q?
True
Let h = 411.94 + -0.94. Let q = 403 - h. Is q <= 8?
True
Suppose 0 = 3*y - 5*f - 215, -5*f + 175 = 3*y - 0*f. Suppose -6*z = -3*z - 6. Suppose -4*d + 144 = z*b, d = -0*d + 3. Is y > b?
False
Let k be (-56)/(-42)*3/2*54. Let y be (0 + (k - 5))/5. Is 20 < y?
True
Suppose 6*j - 3*j = 12. Let c(k) = -k**3 + 5*k**2 - 3*k - 5. Let o be c(j). Let b be 2/(25/420*4). Is o <= b?
True
Let t be (91/(-2022503))/(0 - 239/6). Let k = -697868439056/7438154949165 + t. Let f = 2/2505 + k. Which is smaller: f or -1?
-1
Let r be (-6)/(72/(-138)) + 10/(-4). Let u be 27/(-3)*4/(-3). Is u smaller than r?
False
Let a(l) = -l**3 + 8*l**2 - l + 11. Let r be a(8). Suppose -6*m = -r*m - 12. Suppose -432*o + 450*o = 0. Which is bigger: m or o?
m
Let q = -96.05 - -95.96. Do -113 and q have the same value?
False
Let z = 4889893/45 + -108651. Let y = -62/5 + z. Suppose -3*q = -5*q + 4. Is y > q?
False
Suppose -313*u + 4900 = -288*u. Which is bigger: u or 1378/7?
1378/7
Suppose 14 = -5*v - q, 0 = v + 13*q - 14*q - 2. Is 18/227 < v?
False
Let l = -38532 - -38530. Let q(c) = c**3 + 5*c**2 - 6*c - 4. Let n be q(-6). Which is bigger: l or n?
l
Let b = -11781 - -58903/5. Is -4631 not equal to b?
True
Let z = 25573 - 21609. Which is smaller: z or 11893/3?
z
Let q be (6 + -318)/4*(2 + -1). Let f = 276 + q. Suppose 23*x = 14*x + f. Is x less than or equal to 25?
True
Suppose 2*g + 4*p = -36, 5*g + 3*p = -38 - 31. Let b be (-4)/((-32)/g)*-2. Suppose b*j - 6*q - 3 = -q, -j + 1 = 2*q. Which is bigger: 2/399 or j?
j
Let s be (6/4)/(8 - (-226982)/(-10808) - -13). Which is smaller: -1152 or s?
s
Let p be (20/(-6))/((-6)/(-54)). Let q = p + 24. Which is smaller: q or -44/7?
-44/7
Let y be 0/(((-180)/(-6))/15). Is y less than or equal to 26/219?
True
Suppose -5*k - 145 = 5*s, 5*s + 2*k - 4*k = -152. Let v be 2*s/24 - (-1)/(-2). Which is bigger: 2 or v?
2
Suppose -m - 308 = -3*a, m + 574 - 60 = 5*a. Let l = -47 + a. Which is smaller: l or 57?
l
Suppose 0 = -6*o - 14*o + 160. Suppose -o*p - 26 = 18*p. Which is greater: p or 1/4?
1/4
Suppose 1699 - 1842 = -11*s. Let y = 2/197 - -5315/394. Which is greater: y or s?
y
Suppose -225*m = -228*m. Suppose 3*n + 3*r + 6 = m, 2*n + 7 = -3*r + 1. Is 2/313 at most as big as n?
False
Suppose -9913 = 5*c - c + 5*g, -4*g - 4964 = 2*c. Is -2472 at least c?
True
Let z = -0.415 - -0.285. Let p = z - -0.15. Let c = 2 - 1. Which is bigger: c or p?
c
Suppose t - 3*v + 1 = 5*t, 2*t - 2*v = 18. Suppose t*a = -z + 419, -a - 2*a = -3*z - 318. Let o be (a/10)/(4 + -1). Are 3 and o equal?
False
Let s = -11585 + 11584. Which is greater: s or -10.91?
s
Let s(k) be the third derivative of -11*k**5/30 + k**4/24 + 2*k**3/3 + k**2 + 4*k. Let d be s(1). Is d >= -16?
False
Let t = -11389 + 11383. Which is smaller: t or 9.6?
t
Let p = 83747569/682 - 122797. Is 1 <= p?
False
Let p be (-130)/78 - 13034/(-3). Is p at most 4343?
True
Suppose -3*l + 4*y + 23 = -6*l, -2*l = 5*y + 6. Suppose 0 = 1852*s - 1817*s + 560. Is s <= l?
True
Let x(g) = -g**2 - 11*g - 112. Let a be 0 + 6 - (-5 - -24). Let u be x(a). Which is smaller: -137 or u?
u
Let m be (540036/158)/1 - (-52 + 52). Let w = 3418 - m. Do 0 and w have the same value?
False
Let g(x) = -5*x. Let h be g(4). Let b = h - -22. Suppose b*l = 5*j + 47 + 130, 0 = 5*l - 5. Is j != -33?
True
Let n = 21786 + -21784. Let r be (2/2 - 2) + 39. Which is smaller: r or n?
n
Suppose 214 = p + 144. Suppose p - 53 = 17*o. Is o equal to 1/94?
False
Suppose 0 = d - 4 + 7. Let q be -20 - d - (-3)/(-3). Let y be (-2)/q + 32/36. Which is bigger: -0.1 or y?
y
Suppose -b = 5*u - 13199, -25*u = b - 26*u - 13217. Is b at most 13214?
True
Suppose -5*r - 3*w + 239 = 0, w - 39 - 8 = -r. Suppose -j - 47 + 51 = -3*n, 3*n - 4*j = 11. Let c be -7*((-54)/14 + n). Which is smaller: r or c?
c
Let t = 270 - 267. Suppose 0*s + 56 = t*b - s, 0 = -4*s - 8. Which is smaller: 20 or b?
b
Let z be 3/(6/2)*1. Let t be -1 + -1 - (-95 - -90). Let j be z + (11/(-3) + t - 11). Are j and -11 equal?
False
Let h = 6198 + -6197.98. Is -437 less than h?
True
Suppose -4*j = 3*m - 14, 3*m - 8 = 2*j - 6. Suppose 0 = -4*z + x + 938, 0 = z - j*x - 2*x - 242. Is z at most as big as 235?
True
Let w be 1680/(-1470) - (-890)/(-189). Is w >= -5?
False
Suppose 0*v = -3*v - 5*o + 2, 4*o = 5*v - 28. Suppose v*n = 5*y - 11, 0*n = 5*n + 3*y - 14. Suppose -212*u + 214*u + 70 = 0. Which is greater: u or n?
n
Let r(x) = x**3 - 102*x**2 - 330*x + 1571. Let j be r(105). Is 15 less than or equal to j?
False
Let n(s) = 6*s**2 + 29*s + 84. Let f be n(-6). Let o = 173 - 46. Which is bigger: f or o?
o
Let n be ((-94716)/(-16))/(-27) - 2/1. Which is smaller: n or -220?
n
Let w(z) = -z**3 + 14*z**2 - 37*z + 63. Let o be w(14). Let i = -439 - o. Which is greater: 0.1 or i?
i
Let d = 2528 - 2529. Are 2017 and d equal?
False
Let x = -527 - -533.38. Let y = x - 6.9. Let l = y + 0.72. Which is smaller: l or -1.5?
-1.5
Let n(w) = w - 8. Let o be n(11). Suppose s + 24 = -o*r, 3*s = 5*s + 5*r + 51. Let g be ((-4)/(-6))/((-22)/s). Is 3 greater than g?
True
Let s(g) = g**2. Let i be s(1). Let u be (-4 + -1)/(i/(-3)). Let p = 17976 + -17962. Which is greater: u or p?
u
Let g(l) = 15*l - 10. Let f(q) = -q**3 - 23*q**2 + 28*q + 98. Let c be f(-24). Let n be g(c). Are n and 20 non-equal?
False
Let k = 7 - 7. Suppose 2*h + x = -22, -x + 2 = 4*h + 44. Let i be (-2)/h + 336/(-1480). Which is bigger: k or i?
k
Let c = -102 + 102.23. Let j = -71.77 - c. Let n = -61 - j. Is -2 at most as big as n?
True
Suppose -4*n + h + 3 = -10, 12 = 4*h. Suppose 5*i + 0*u + 3*u = 98, -n*i + 3*u + 73 = 0. Suppose -i*z = -17*z - 2. Is z smaller than 2/13?
False
Let p = 107 - 106.512. Let y = p + -0.288. Which is greater: -76 or y?
y
Suppose b + 2*x = -0*x + 74, -6 = -2*x. Let t = b - 44. Which is smaller: 26 or t?
t
Let x be (-1501660)/310 - (736/124 - 6). Which is greater: x or -4845?
x
Suppose 2*a + 10 = 2*s + s, 12 = 2*s + 4*a. Suppose s*j + 4*y = 0, -4*j + j - 4*y = 1. Which is bigger: 4/181 or j?
j
Let o = 82 - 69. Suppose 0 = 8*d + 11 + o. Let i = -322 + 309. Is i bigger than d?
False
Let h(f) = -3*f + 269. Let q be h(0). Suppose -9*s = q - 125. Which is smaller: s or -12?
s
Let b(m) = 4*m**2 - 9*m - 49. Let v be b(-11). Suppose 436 + v = -10*t. Is t at least -97?
True
Let t(a) = 3*a**2 - 2. Let p be t(2). Let x(b) = -9*b**3 + 28*b**2 - 5*b + 7. Let d be x(3). Is d at least p?
False
Let u = 26.8 - 26. Let r = 0.851 - u. Let 