as g?
False
Let a be -4 + -1 + 44/8. Let y = 7 - 6.78. Is a smaller than y?
False
Let y be -6*(294/(-36) + 6). Is y at most 1?
False
Let h = 2/525 - 19447/5775. Let m(f) = -3*f**2 + 63*f + 3. Let q be m(21). Let o = q + h. Is o at least 0?
False
Let x = 891 - 890. Is x smaller than 5/16?
False
Let c = 0.51 + -2.51. Let t = -0.19 - 1.71. Let g = c - t. Which is bigger: -2 or g?
g
Suppose 3*m = -37 - 41. Let b = -28 - m. Which is bigger: b or -17/6?
b
Let u be (10 - 5 - -901) + 2. Which is bigger: -1 or u?
u
Suppose 3*h - 4*h + 215 = 4*j, 4*j - 213 = -3*h. Suppose -f = -2*p + 30, p - 5*f = -3*p + j. Let c = p - 15. Is c > 2/3?
True
Suppose 8 = -2*p + 80. Suppose -j = 5*j - p. Suppose 4*o = 8, 5*v - 28 = 3*o - 4. Is j bigger than v?
False
Suppose 6*t = 2*t + 48. Let a be ((-2)/(-3))/((-8)/t). Is -2/11 <= a?
False
Let n be (-1 + 0 + -1)*7. Let m(l) = 3*l**2 + 43*l + 144. Let x be m(-8). Is n > x?
False
Suppose -25*a + 4*p + 153 = -22*a, 5*a - p = 238. Which is smaller: a or 93/2?
93/2
Let r = 16 - 31/2. Let a(t) = t**3 - 23*t**2 + t + 15. Let q be a(23). Is q < r?
False
Let r = 11 + -6. Suppose 0 = -r*m - 5*s, 7*m - 6 = 3*m + 2*s. Let l = 0.1 - -0.1. Is l not equal to m?
True
Suppose 0 = 5*k + 3*j + 1744, -5*k + 3*j + 1394 = -9*k. Is -350 <= k?
True
Suppose 5*o = 22 - 7. Suppose -o*w = 12, 11*u - 2*w - 8 = 6*u. Which is smaller: u or 2/375?
u
Let t = 42 + -39. Suppose 5*d = -4*b - 11, b - 7 = d + t*b. Is d at least as big as -0.1?
True
Let w(x) = -236*x**2 - 2*x. Let j be w(1). Is j < -238?
False
Suppose s = -t + 1, s + 2*t - 10 = 4*t. Let v(m) = 2*m + 28. Let d be v(-15). Let z = d + s. Are 1 and z nonequal?
True
Let q = -92.1 + 92. Suppose 15 = -2*w - w, 4*w = -3*s - 14. Which is greater: s or q?
s
Suppose a = -a. Suppose 0 = 5*d - 2*d + 72. Let t = d - -101/4. Is a greater than t?
False
Let v = 0.31 + 27.69. Let m = v - 30. Let d = 30 + -34. Are m and d equal?
False
Suppose l = -4*l - 3*c, 14 = -2*l - 4*c. Suppose -3*z + 1 + 2 = 2*o, -l*z - 5*o + 12 = 0. Which is greater: 2/79 or z?
2/79
Let b be (-40)/104*(-4 + 268/70). Is -1 greater than or equal to b?
False
Let t(d) = -95*d**3 - 5*d**2 - 96*d**3 - 7 + 189*d**3 + 6*d. Let j be t(-5). Which is smaller: j or 87?
87
Let p(c) = -c**2 + 20*c + 69. Let u be p(23). Which is smaller: 10 or u?
u
Let v(s) = 5*s**2 - 15*s - 9. Let g be v(-7). Which is greater: 343 or g?
343
Let r(q) = -2*q + 14. Let x be r(7). Is x at most as big as 3/19?
True
Let p = 27 + -29. Let c = 0.5 - p. Which is greater: c or 2/7?
c
Let t(b) = -b**3 - 10*b**2 - 10*b - 7. Let y be (-4)/(1 - 0) - 5. Let z be t(y). Is 33 at least as big as z?
True
Let u = 2171146849/39324 - 220847/4. Do u and 0 have different values?
True
Let v = -5058 + 5057. Let s = 165/16 + -7457/720. Which is bigger: s or v?
s
Let v(m) = 1032*m**3 + m**2 + m - 1. Let l be v(1). Let i = -7253/7 + l. Let n = -3700 + 3697. Which is greater: i or n?
n
Suppose -1560 = -5*n + 34*b - 39*b, 951 = 3*n - 2*b. Is 316 smaller than n?
False
Suppose -507 = -5*h + 523. Let x be h/870 - (-6)/(-45). Is -1 at least as big as x?
False
Let l = 4 + 0. Let i be l - (-7)/(28/16). Which is smaller: -2/3 or i?
-2/3
Suppose 16 + 14 = c. Let s be 22/(-6) - 10/c. Let q be (-2)/(s/(-18)*3). Which is greater: q or 3?
3
Let x = 19 - 11. Suppose -2*m = 5 + 7. Let t be -3 - (m/8*1 + -2). Which is smaller: x or t?
t
Let w = 0.0499 + 0.0501. Which is smaller: 2/181 or w?
2/181
Let d = 1.7 - 1.568. Let l = d - -26.968. Let v = l - 5.1. Is 1 less than v?
True
Let d(z) be the first derivative of z**3/3 + z**2/2 + 2*z - 9. Let a be d(-3). Suppose -42 = -5*l - 2*b, 5*l - b - 53 + 14 = 0. Is l at least as big as a?
True
Let u = 25 + -30.84. Let l = 0.16 - u. Let q = 5 - l. Which is bigger: q or -8/7?
q
Let m be 3 + (-1 - -2) + (-15 - -10). Is 5 at least m?
True
Suppose r + 86 = 4*r + 4*c, 0 = 5*r + 3*c - 147. Let y be (-2 - 260/(-126))/(r/45). Do 0 and y have different values?
True
Let l(c) = -c**3 - 4*c**2 + 4*c - 7. Let s be l(-5). Let t be s - (2 - 7 - -4). Is t >= 8?
False
Suppose 0 = -3*q + 2*q + 10. Let z = q + 8. Let y be 3/z*3*-38. Which is smaller: y or -18?
y
Let x be 24/18 + (-29)/(-3). Suppose i - 6 = x. Let o = -155/9 + i. Which is smaller: 1 or o?
o
Let k = 5 + -8. Let p(a) = 45*a**2 - 133*a - 2. Let q be p(3). Do q and k have the same value?
False
Let n = -73 - -75. Suppose -b - 11 = 2*t - n, 22 = 2*b - 4*t. Which is greater: 2/15 or b?
b
Let w be (-35)/(-21)*(213 - 3)/(-7). Is w less than -54?
False
Let x(a) be the second derivative of -a**3/6 - 2*a**2 + 8*a. Let w be x(5). Is -9 bigger than w?
False
Let s = 12.718 + 0.282. Is -0.5 greater than or equal to s?
False
Let g be 1 + -2 + (-3 - -7). Let p(c) = -6*c**2 + 9. Let d be p(g). Which is greater: -44 or d?
-44
Let s = 19.93 + -0.93. Let n = 20 - s. Which is bigger: -1/11 or n?
n
Let j = 17/84 - -1/21. Let r be ((-195)/(-3575))/(3/10). Is j greater than r?
True
Let x = 1.1 - 1.7. Let w = 0.43 + x. Let b = -6.83 + w. Which is bigger: 1 or b?
1
Let d = 5 - 3. Let c = -24 - -21.5. Let a = c + 2.1. Do d and a have the same value?
False
Suppose 27 = 2*q - 4*p - 13, -5*p = 4*q - 15. Is q at least as big as 31/3?
False
Let v = -132 + 128. Is 1/4 < v?
False
Suppose 2*g + 4*p - 252 = 0, -3*g - 63 = -5*p - 430. Is 617/5 equal to g?
False
Let f = 625 - 631. Suppose -6*o - 4 = -2*o. Is o less than or equal to f?
False
Let d = 16.5 + -21. Let k = d - 0.5. Let q be 97/(-97) + 4/3. Is q greater than k?
True
Let y = -498 + 497. Which is smaller: y or -2/3565?
y
Let t = 120 + -84. Let g be (-267)/(-104) - t/12. Let l = -4/13 - g. Which is bigger: 0 or l?
l
Suppose -5*u = -4*f + 80, 0*f - 2*u + 33 = f. Let z be (f + 3 - 3) + 1. Let h = z + -18. Is 8 bigger than h?
False
Let z = -552 - -552.38. Let f = -1 + 1. Which is smaller: z or f?
f
Let s be -1*1/1 - -3. Let g(o) = -2*o**2 - 90*o - 340. Let l be g(-41). Which is bigger: l or s?
s
Suppose -6*q + 24 = -0*q. Suppose -2*u + 5*u - 6 = 0. Suppose 0 = 3*s + q*n + 6, -u*s + 0*n = 3*n + 4. Is s smaller than -2?
False
Let i be (2 - 6) + (-14)/12. Let w = i + 127/24. Is -1 at most w?
True
Let d = 849 - 839. Which is greater: 66/7 or d?
d
Let b(i) = i**3 + 4*i**2 + 6*i - 1. Let c(j) = 5*j**3 + 16*j**2 + 24*j - 3. Let x(l) = -9*b(l) + 2*c(l). Let o be x(5). Are o and -3/4 equal?
False
Let k be 6/4 + (-84)/(-8). Let r be ((-63)/12 - -4)*k. Which is bigger: -27/2 or r?
-27/2
Let c = -135.9018 - -135.9. Is c < -2/5?
False
Suppose -12 = -2*w + 3*f, 2*w - w - 4 = f. Which is smaller: 6/175 or w?
w
Let p be 3043/(-15) + (-1)/3. Let h be ((-123932)/(-1830) + 0)/((-25)/(-75)). Let r = p + h. Which is bigger: r or -1?
r
Let j = 26/101 + -3893/606. Let g = -4 - 2. Is j at least as big as g?
False
Suppose 0*i + 2*i = -14. Let f(a) be the second derivative of a**5/20 + 2*a**4/3 + 7*a**3/6 + 5*a**2/2 - 3*a. Let p be f(i). Is 3 != p?
True
Let m = 3937/110 - -9/22. Is m != 2/3?
True
Let s = -466 - -466.4. Is 4 equal to s?
False
Let f = -48 + 47.9. Let h = 32.99 - 33. Is h greater than f?
True
Let m(a) = 13*a + 62. Let t be m(7). Are 154 and t nonequal?
True
Suppose 70*m + 240 = -110. Is 1/5 greater than or equal to m?
True
Suppose -2*l = 5*h + 3*l + 10, 14 = -h - 4*l. Suppose s - 3*i + 9 = 0, h*s + 20 = 4*i + 8. Is -8/17 at most s?
True
Let i be (-1)/(-5 + 156/30). Let x be 4*(-2)/(-4)*1. Suppose -x*p + 0*p = 8. Which is smaller: i or p?
i
Let r = 20/11 + -355/44. Is r bigger than -6?
False
Let u = 964 + -10614/11. Suppose -4*o + 5*j = j - 16, -j = 5*o + 4. Which is smaller: u or o?
u
Let s(o) be the third derivative of -o**5/30 + 7*o**4/12 + 4*o**3/3 - 8*o**2. Let b be s(10). Let t be 1 + 2/(b/50). Is 0 less than or equal to t?
False
Suppose -4*h - 25 = -9*h. Suppose -5*w = 5*u + 15, 4 = 2*w - h*u - 4. Is w smaller than 8?
True
Let r be (116/(-5))/(8/1260*9). Is r at most -406?
True
Let o be (-34)/8 + (-8)/(-32). Let j be o/14 + 82/(-7). Let t(k) = k**3 + 11*k**2 - 11*k + 2. Let l be t(j). Is -11 smaller than l?
True
Let d = 3252 + -29312/9. Which is greater: d or -4?
-4
Suppose 18*r + 16 = -2. Suppose -2*p = -3*p + 4*b - 18, 5*p + 4*b = 30. Suppose p = 3*c - 2*c. Which is bigger: c or r?
c
Let o = -254 + 245. Are o and -60/7 nonequal?
True
Suppose -i = -3*i + 8. Suppose -10 = -i*q + 14. Suppose h - 6 = -w + 3*w, -4*h 