an or equal to s?
True
Let p be ((-248)/(-20))/(9/90). Suppose 2*b + p = -404. Is b > -266?
True
Let q be ((-70)/75)/7 + (-2)/(-15). Suppose 5*a - 5*t = 15, q*a = 2*a - 4*t - 4. Let n = 162/25 - 57/25. Which is smaller: n or a?
a
Let p(o) = -6*o - 18. Let l(r) = -r**3 - 5*r**2 - 11*r - 16. Let a be l(-5). Let d be p(a). Are -252 and d unequal?
False
Suppose 54 = 13*t + 210. Let s be 35/506 - t/(-132). Suppose 2 = 5*a + h, 2*a + h + 1 = -0*h. Is s bigger than a?
False
Let j be 1 - (-412437)/1648758*-4. Let f = j - -1316428255/282761997. Let h = f - -4/343. Which is bigger: h or -0.1?
h
Let a(t) = t**2 - 10*t - 2. Let u be a(11). Suppose 5*n + 23 = 3*f, -n - u = 2*n + 3*f. Let s be 4 + n + (-30)/14. Is -2 at most as big as s?
False
Let d be (-10 + 8)*2/2098. Let u = 1067/9441 + d. Let t = -3 + 2. Is u at least t?
True
Let n(z) = -9*z**3 - 6*z**2 + z - 2. Let w be n(0). Which is bigger: w or -2008?
w
Let o(v) = -2*v**2 - 20*v - 65. Let m be o(-4). Which is smaller: m or -103?
-103
Let n = -717775064463/77 + 9321593393. Let i = 160680 + n. Let r = i - -114/11. Which is smaller: r or -2?
-2
Let b = 0.0311 - 15.1311. Let m = 4.8 + b. Which is smaller: m or 2?
m
Suppose k + 69 = 5*v + 89, 4*v + 16 = 2*k. Let r be (-27)/(-45)*(-1 - (-280)/276). Are r and k equal?
False
Let j = 13 + -12.79. Let v = 299 + -867. Let x = v + 568. Is j at most as big as x?
False
Let b(z) = 18*z**3 - z**2 - 8*z + 24. Let r be b(2). Which is greater: r or 87?
r
Let n = 2715862/9 - 301461. Which is smaller: 300 or n?
300
Let c be 12/(-18) - 15/9 - (-1341)/(-27). Suppose -h - y = -6*y + 68, 4*h = -y - 209. Which is greater: c or h?
c
Let m = -58151/1572 - -445/12. Let s be (-6 + -377 + 5)*1/4454. Let w = s - m. Is 2 smaller than w?
False
Let w = -11351 - -10037. Is w at most as big as -2/23?
True
Suppose -53 + 41 = 6*y. Let q(w) = -w**3 + 15*w**2 - w + 10. Let m be q(15). Does y = m?
False
Let v = 781.54 - -13.46. Let j = -838.87 + v. Let a = j + 44. Are a and 2/3 non-equal?
True
Let s be 115*(1 - 176/187). Which is bigger: s or 6?
s
Let h = -38 - -26. Let p = -711490/17 - -41840. Which is smaller: p or h?
p
Let n = 210 - 12. Let q = n - 200. Is -2 smaller than q?
False
Suppose 0 = -5*p - 0*p + 25. Suppose -p*s - 3 - 2 = 0. Let v = 317/21156 + -5/164. Which is smaller: s or v?
s
Let a(r) = -10*r - r - 144 + 126. Let u be a(0). Does -13 = u?
False
Let d be (40/(-12))/((4/(-90))/1). Let l = -71 + d. Suppose -g = 3*m - 5 - 0, -2*g - l = -m. Is -15/7 bigger than g?
False
Suppose 5*f = 2*j - 10, -j - j + f + 2 = 0. Suppose j = 25*a - 6530 - 1845. Which is greater: 336 or a?
336
Suppose 0 = -5*f + k - 1997, -5*f - 261*k + 263*k - 1989 = 0. Is -5 at least f?
True
Let k be -255*(3*384/290 - (49 - 45)). Which is smaller: k or 7?
7
Suppose 4*o - 839 = 5*x, 2*x = 3*o - 10 - 621. Let c = o + -206. Which is bigger: 1 or c?
c
Suppose -5*g = -6 + 41. Let l(c) = c**3 - 24*c**2 + 47*c - 28. Let q be l(22). Suppose -q*t - 184 = -15*t. Which is bigger: t or g?
g
Let p be (-8)/9*(-3)/2. Let x(w) be the third derivative of w**6/120 - w**5/3 - w**4/8 + 55*w**3/6 - 55*w**2. Let j be x(20). Which is bigger: j or p?
p
Let h = -358.7 + 91.6. Let a = h - -267. Let m = -1.5 + -0.5. Is m greater than a?
False
Suppose 0 = -2*n + 129*t - 131*t + 552, 5*n + 3*t - 1372 = 0. Which is smaller: n or 267?
267
Let r(k) = 22*k - 154. Suppose 4*q + d = 24, -3*q - 4*d - 2 + 20 = 0. Let b be r(q). Let u(n) = -5*n**2 + 2*n + 2. Let m be u(-2). Is m less than or equal to b?
True
Let r(p) = -4*p**2 - 110*p + 445. Let f be r(4). Which is smaller: f or -41?
f
Let v(l) = l + 1. Let t be v(0). Let x(d) = 1192*d - 15494. Let r be x(13). Which is smaller: t or r?
t
Let s = -2768 + 47038/17. Suppose v + 7 = -5*h, 0 = 18*h - 21*h - 4*v - 11. Is s not equal to h?
True
Let u = -0.6466 - -113.1466. Which is smaller: u or 1?
1
Let c = -91975 - -14808102/161. Let j = -5/23 + c. Is 0.01 at most j?
True
Let a be ((-4342)/(-2660))/(-13) + 9/(-90). Which is smaller: 1 or a?
a
Suppose t + 1 = -o, -3*o = -3*t + 1 + 2. Which is greater: o or -7/64?
-7/64
Let x be (0*4*(-3)/(-24))/2. Suppose 45 = 5*i - x*i. Suppose -4*z - i*z + 13 = 0. Is -1 greater than z?
False
Let n be ((-257420)/(-350))/((-8)/14*222). Let u = n + -1/444. Let d(l) = -l - 5. Let s be d(0). Is s at most u?
False
Let v be (3 - 105/12) + 1. Let n = v + 13/4. Suppose -101*i - 1044 = 269. Which is smaller: i or n?
i
Let n(u) = 8*u**2 - 12*u + 28. Let x be n(2). Suppose -41 = -q + 4*j, -2*q = -6*q - 3*j + 107. Suppose -q = -g + 6. Is g equal to x?
False
Let y be (-5 - -4)*(-14 - -2). Suppose 18*h + 126 = y*h. Let x = 22 + h. Which is smaller: 0 or x?
0
Let t be -4 + (4/14 - 20942/(-5439)). Is 2/7 > t?
True
Let v = -11 + 12. Let j be 48/(((-27)/2)/(-9)). Suppose -20*q + j = -16*q. Are q and v nonequal?
True
Suppose -m - 2*u = 3*m + 4, -m - 2*u = -2. Let l be 2 + m + (-1 - 0). Let n be 3 + (-1 - 0) + l. Which is smaller: n or -1/38?
-1/38
Let i be 10143/168 - (-3)/24. Suppose 5*w + 2*t = 308, 3*w + 7*t - 2*t - 200 = 0. Which is smaller: w or i?
w
Let d = -797 - -794.6. Is d equal to 68?
False
Suppose 0 = -96*h + 105*h + 198. Let k(d) = -3*d - 77. Let x be k(h). Is x > -2?
False
Suppose 39 = -3*f - 12. Let y = 18 + f. Which is smaller: y or -2/5?
-2/5
Let j = 148 + 100. Let c = j + -248.108. Is 0 greater than c?
True
Let c = -6523/5 - -11760964/9015. Which is greater: c or -1?
c
Let r = -3 + 6. Suppose r*j + 12 = -2*f, 6 = -2*j - j. Let s(o) = 8*o**2 - 26*o + 3. Let u be s(3). Is f > u?
False
Let p = 0.765 - 0.765. Let h be 6*(-6)/5 + -5 + 1. Which is smaller: h or p?
h
Let s be (3 + 0)/((-1)/2). Let x be (-2)/((-3)/126*-7). Is x smaller than s?
True
Let j(u) = -2*u**2 + 18*u - 41. Let g be j(8). Let c = g + 249/10. Which is smaller: c or 3?
c
Suppose -33*t + 37*t = 24. Let m be (4*(-6)/288)/(2/t). Is m at least as big as 17?
False
Suppose 0 = 61*g - 6*g - 430 - 10. Which is smaller: g or 129?
g
Let n = -6342/221 + 480/17. Suppose 3 - 18 = -3*k. Suppose 16 = -4*u, -1 + 16 = k*x - 5*u. Is n not equal to x?
True
Let m = 27825 - 27824.95. Is m less than -2/485?
False
Let a = -1.16 + 11.66. Let g = -10.3 + a. Which is bigger: g or -2.3?
g
Suppose -11*t + 19*t = 4712. Let f = 350 - t. Which is smaller: -238 or f?
f
Suppose 0 = -3*v - 8*v + 11. Let r(z) = 3*z**3 + 6*z**2 - 7*z + 6. Let t be r(5). Let n be ((-4)/t)/(2/(-4)). Which is smaller: v or n?
n
Let d be 800/((-2)/(-1)) - (-39 - (-37 - 9)). Do 394 and d have the same value?
False
Let a(u) = u**3 - 4*u**2 - 79*u + 4. Let y be a(-7). Which is smaller: y or -72?
-72
Suppose -2*c + 5*i - 1641 = 0, -71*c = -73*c - 5*i - 1671. Does c = -830?
False
Let p(c) = -57*c + 285. Let q be p(5). Which is bigger: 5.38 or q?
5.38
Let w = 12602 - 12607. Is w <= -12?
False
Suppose -297 = -217*c + 226*c. Let h(q) = q**3 + q**2 + q + 3. Let s be h(0). Let u be (-4 - (34 - s))*1. Which is smaller: u or c?
u
Let p be ((-228)/5 - -2) + 2. Let s(b) = 41*b**3 - 3*b**2 + 5*b - 2. Let y be s(1). Let o = y + p. Which is smaller: -1 or o?
-1
Let q = 6893 + -2015. Is q less than 4878?
False
Suppose -5886 = 22*s + 11472. Let r = s - -773. Suppose -y - 1 = -c + 5*c, 2*c = 8. Which is smaller: y or r?
y
Let g be -119*6 - (165 + -155). Which is smaller: g or -721?
g
Let s be (-1*(-7)/35)/(4/20). Is -1/180 bigger than s?
False
Let t = -3.2942 - -0.0142. Let x = t + 6.28. Which is greater: -25 or x?
x
Suppose -3*v - 3*s = -6, -6*v = -9*v - s + 4. Which is greater: 3/683 or v?
v
Let d be 69566/(-10850) - (-3 + -2). Let k = d - -14/31. Is -1 greater than k?
False
Let k(r) be the first derivative of -5*r**2/2 - 30*r - 4. Let b be k(-7). Suppose -o = c - 4*c - 65, -b*c + 4*o = 120. Is c bigger than -22?
True
Let x = 921 + -918. Which is smaller: x or 159/8?
x
Let n = 7 + -1. Let w be -2*(104/(-28) - -3). Let v = w - 58/21. Is n less than v?
False
Let w(n) = -23*n - 109. Let h be w(-6). Which is smaller: -2/79 or h?
-2/79
Suppose -3*h + 0*h + 9 = 0, 2*h = -4*d - 30. Let z be (0 + d/(-6))/(9/36). Suppose 2*k = 4*j + z, -5*k = -0*k + j - 70. Are 13 and k equal?
True
Let v be 16/184 - 0/(-1). Let a be ((-18)/8)/((-1)/(-4)). Let f be 0 - 2/a - 0. Which is smaller: f or v?
v
Let d = 3.01 + 189.99. Let o = d - 191.8. Which is greater: o or 0?
o
Let r = 0.14 + -0.04. Let y(k)