 Which is smaller: c or 1/250?
c
Let c = -1.1 + 30.1. Let g = c - 30. Let h = g + 5. Is 0.4 less than h?
True
Let j(a) = a**3 + 9*a**2 - 33*a - 120. Let l be j(-11). Which is bigger: l or -41/192?
l
Let r = -28033 - -28032. Let c be (-612)/(-610)*1 + -1. Which is smaller: r or c?
r
Let h = -137 + 112. Let f = 58 + h. Let r = f - 34. Is 2/209 less than or equal to r?
False
Let j = -140 + 239. Suppose -j = i - 12*i. Suppose i*m + 5 = 14*m. Is m bigger than 12/13?
True
Let u = 69.116 + -69. Let q = u - 0.216. Is -0.92 < q?
True
Let u = 245.22 - 244.22. Which is smaller: u or -9.333?
-9.333
Let i be -4 - (-20)/2*(-7539)/105. Let s = -122021/169 - i. Which is bigger: -1 or s?
s
Let o = 5563517/2105 + -2643. Are o and 0 non-equal?
True
Let i = 6366 + -6313. Is 8 equal to i?
False
Let n = 17332 - 52004/3. Which is smaller: n or 12/23?
n
Let x(r) = -r**2 + 10*r + 7. Let w be x(11). Let n be 2 + (w - 3) + -1. Suppose 4*q = -12*q - 32. Is q != n?
True
Let w(f) = -f**3 - 17*f**2 - 33*f - 50. Let t = -710 - -695. Let v be w(t). Is -10 smaller than v?
True
Let p be 2 - (12/(-20) - -1)/(12/(-3735)). Is 126 at most p?
True
Let q(b) = -b**3 + 5*b**2 - 4*b + 4. Let y be q(3). Let g = y - 18. Let w = -73.5 + 73.8. Which is smaller: g or w?
g
Let f = -39 + 50. Suppose f*i = 12*i. Let y(l) = l**3 - 5*l**2 + l - 4. Let m be y(5). Which is greater: i or m?
m
Let x = 151 - 156. Let z be (x + 12 - -4)*36. Is 396 at least as big as z?
True
Suppose 4*w + 2*h - 10 = 0, h - 3*h + 4 = w. Suppose w*c = 10, 0*u + c = 4*u + 5. Suppose -i = 3*o + 31, u = -o + i - 0*i - 13. Are -13 and o unequal?
True
Let q be 396/(-330) + 4434/(-30) - (-4 - -1). Let h(v) = -5*v**3 - v**2 - v. Let f be h(3). Are f and q equal?
False
Let c = 101/60 + -1451/852. Is c smaller than 0?
True
Let z(o) = o**2 + 7*o - 21. Let b be z(-10). Suppose s + 5 = -7*t + b*t, 2*s + 10 = -2*t. Which is smaller: t or -3/142?
-3/142
Let g = 5471 + -5879. Is g at least -405?
False
Let h(m) = -m**2 + 13*m - 27. Let n be h(3). Suppose -3*u = n*u - 4*u. Do u and 9/10 have the same value?
False
Let o be 62/120 - (-3)/(-6). Let b be ((-64)/20)/(((-18)/15)/3). Suppose f = -7*f - b. Is o greater than f?
True
Suppose 0 = m - 4*m + 3. Suppose -301 = -43*s + 40*s - n, -4*s + 5*n + 395 = 0. Let k be 6/15 - (128/s + -1). Is k <= m?
True
Let z = 0.109 + 2.581. Let y = z - 2.25. Does y = -0.1?
False
Let d be ((-2808)/(-39) - 3)/((-3)/62). Are -1433 and d equal?
False
Suppose -5*j + 5 = -5. Suppose s = 2*l, -4*l - 4*s + j = 14. Let o(t) = 2*t**3 + t**2 + 2*t + 1. Let q be o(l). Is q < -2?
False
Let y(v) = 3*v**3 - 90*v**2 - 87*v - 252. Let a be y(31). Let c = -19 + -44. Which is bigger: c or a?
c
Let w(k) = -22*k + 207. Let b be w(-25). Which is greater: 755 or b?
b
Let a = -3554/13 + 14855733/54340. Is 0 bigger than a?
False
Suppose 5*c + 1 - 11 = 0. Suppose -p + 4*p + 36 = c*s, -2*s - 2*p = -16. Let w(r) = 3*r - 26. Let m be w(s). Is m equal to 11?
False
Let k = 594 + -593. Let h be ((-65)/(-104))/(68/8 + k). Which is smaller: -1 or h?
-1
Suppose 4*n - 92 + 80 = 0. Let u(w) = -w**3 + 14*w**2 + 14*w + 20. Suppose -5*x - 85 = -5*b, -3*x - 54 = -4*b - 6*x. Let y be u(b). Is y at least as big as n?
True
Let u be ((-112)/(-4340))/(4 - 1 - 224852/74950). Let s be (-2 + 1)/((-3)/2901). Let l = s + u. Is l at least as big as -1?
True
Suppose 13 = 3*d + 2*m, -m = -7*d + 3*d - 1. Let b = -428459357 + 54795238709260/127889. Let z = 1/1007 + b. Is d greater than z?
True
Let d(b) = b**2 - 6*b + 5. Let z be d(-4). Let m = z - 40. Suppose 33 + 32 = m*v. Is v <= 15?
True
Suppose 1755 = 35*r + 10*r. Suppose r*a - 96 = 15*a. Is a at most -1/86?
False
Let s = 51 - 48. Let w be (11 + -12)*(-1)/s. Which is smaller: -28 or w?
-28
Let o = -39 + 64. Let j = -24.988 + o. Let r = j + 0.088. Is r smaller than 37?
True
Let x = -1494 - -1493.967. Let u = 0.55 + -3.55. Is u at most x?
True
Let n = 33.456 + -70.886. Which is greater: n or 3?
3
Let g be ((-209)/38)/(82/180). Let h = -12 - g. Let r(s) = s**2 + 1. Let i be r(0). Which is greater: i or h?
i
Let l(q) be the first derivative of q**4/4 - q**3/3 - q**2/2 + 7*q + 212. Let o be l(0). Which is greater: o or 39?
39
Suppose 23*a - 57*a - 4080 = 0. Which is smaller: -42 or a?
a
Let g(d) = d**3 + 5*d**2 - 14*d - 60. Let v be g(-5). Which is smaller: 2.95 or v?
2.95
Let q(m) = 16*m**2 - 9*m**2 - m**3 + 7*m - 5 - 6*m**2. Let s be q(2). Suppose -s*a - 6 = 29. Which is smaller: a or -6?
a
Let z = 3/2243 - 31765/271403. Let f = z - -7870/1089. Which is smaller: f or 8?
f
Let i be 154/(-30) + 4/30. Let p be (-620)/(-58) + i - 5. Which is smaller: 1 or p?
p
Let b = -15522 - -15524. Which is smaller: b or -0.00033?
-0.00033
Let q = -0.8649 - 375.1351. Which is greater: -9 or q?
-9
Suppose 3*i = 5*g - 9, 9*i + g = 14*i - 7. Suppose -3*k - 123 = -3*f, i*k - 6 = -f - 76. Which is smaller: -3 or k?
k
Let l(v) = -10*v**3 + 3*v**2 - 6. Let y be l(-3). Let w(g) = 291*g**2 + 42*g + 42. Let t be w(-1). Is y less than or equal to t?
True
Let f = -8851 - -9034. Is 183 greater than f?
False
Let r = -14 + 21. Let u(v) = 3*v - 3*v - 6*v + 9*v - 2 - 6. Let g be u(r). Is g greater than 13?
False
Let h = -3.1874 + 0.1874. Is h at most 1064?
True
Suppose h - 422 = 4*j - 27, 2*j + 5*h = -225. Let n = 0.52 + -3.52. Which is smaller: j or n?
j
Let g(f) = 9*f**2 - 4*f + 2. Let x be g(1). Suppose -x*z = -94 + 472. Let v be (-110)/2*-7*5/(-35). Does z = v?
False
Let c be ((1 - -2) + 2*(-21)/14)/(-3). Is -22/235 greater than c?
False
Let c = 135299/3 - 194695321/4317. Which is greater: c or -1?
c
Suppose 10*l + 4 = 84. Suppose 4*v + 4 = -3*w - 2, 0 = -4*w + 3*v - l. Which is bigger: w or -17/7?
w
Let b = 202/15 - 1651/120. Suppose 4*o - 8 = 4*w + 2*o, 2*w + o = 0. Which is smaller: b or w?
w
Suppose -7*s + 3*s = -8*s. Suppose -g - 2*f + 65 = 0, -5*g + 8*g - 4*f - 225 = s. Are 71 and g equal?
True
Let i(v) be the third derivative of v**6/120 + v**5/12 + v**4/6 - v**3/2 - 8*v**2. Let x be i(-3). Let t be (4 + -5)/((x/3)/(-1)). Which is greater: t or -1/31?
t
Let h = 196 - -209. Let o be 3/15 + (-3)/h*37. Are o and -1 unequal?
True
Suppose m - 2 - 11 = 0. Let o(g) = g**2 + 14*g - 136. Let f be o(-22). Suppose -m*p - f = 233. Which is smaller: 1/2 or p?
p
Let a = 0 - 1. Let n = a + 0.8. Let t = -6932/14963 - -2/1151. Is t greater than n?
False
Let d = 52.9 + -34.3. Let b = -42 - -27. Let n = b + d. Is 0 at least as big as n?
False
Let l be 4/(-6)*(-13860)/(-170). Is -54 less than l?
False
Let o = 126717/2 + -117213269/1850. Is 1 at least o?
True
Let a(k) = -k**3 - 24*k**2 - 22*k + 30. Let h be a(-23). Let o be h - (6 - (-10)/15). Which is smaller: -1 or o?
-1
Suppose s - 11 = -944*i + 941*i, 0 = s - 4*i + 17. Which is bigger: s or -3/392?
-3/392
Let b be (2 - 1)*(-2)/6. Let f = -464.77 + 506.77. Which is bigger: b or f?
f
Let q = -5115 + 5116. Is -924 >= q?
False
Let t(o) = 12*o - 109. Let r be t(9). Let b be 4/(-4 + -1 + r). Which is smaller: 327 or b?
b
Let p = 0.1128 - 0.6658. Let t = p + -5.447. Is t at most as big as -6?
True
Let r = 17548 + -17548.1. Let c = 0.04 - -0.21. Let n = -0.46 + c. Do n and r have the same value?
False
Let t be 5*1004/4*(-4)/(-10). Let q = -29115/58 + t. Which is smaller: 0 or q?
0
Let w be (-3)/(-1 + 4) + 21. Let r be (138/48)/((-35)/w). Which is greater: r or -3?
r
Suppose 0 = -40*h + 53043 + 2037. Which is greater: h or 2753/2?
h
Let l be 430/(-45) + (-4)/54*-3. Let y = 0 + -10. Which is greater: l or y?
l
Let k = -0.028 + -0.336. Let b = k - -2.364. Is 1/55 <= b?
True
Suppose -48*x + 34 - 14 = 116. Is 557 > x?
True
Let m = -21149/537999 - -1/10549. Which is smaller: m or 8?
m
Suppose 3*x - 16 - 6 = 2*h, -5*h = -x + 81. Let t = 20 + h. Let j be t/(-6)*-6*(-16)/(-108). Which is greater: j or -1?
j
Let k = -3196 + 3194.3. Which is greater: k or -193/5?
k
Let r(o) be the third derivative of o**6/120 - o**5/15 + o**4/12 - 28*o**2. Let i be r(3). Let b be 1 + (-16)/(12/i). Is -5/4 at least as big as b?
False
Let k = 1/782189 - 132190844/706316667. Let j = 2983 + -128275/43. Let r = j - k. Is r bigger than 1?
False
Let d be 1/3*(0 + -9) - 1152/(-382). Which is smaller: 1 or d?
d
Let k = -1955 - -195501/100. Which is smaller: 1 or k?
k
Let b = 422 - 1026. Which is greater: b or -602?
-602
Suppose 2*x = 24*x + 2