u?
True
Let w(k) = k**2 - 7*k + 7. Let z be w(6). Let t be (((-4)/(-3))/(-4))/(z - 0). Is t less than or equal to -211/2?
False
Let b = -0.05021 + -0.94979. Is -109/20 less than or equal to b?
True
Let j = 66.45 + -66.52. Is -11 < j?
True
Let l = -0.1 - 3.9. Suppose 210 = -5*u + r - 3*r, -r + 115 = -3*u. Let s be 2/u*96/36. Which is smaller: s or l?
l
Let b be (-4797)/(-2106) - 14/9. Let z(s) = 3*s - 1. Let k be z(1). Are k and b equal?
False
Let q be (-1)/87*180/1290. Is q greater than 0?
False
Let h = 2357.0691 + -2.0691. Which is bigger: 1/3 or h?
h
Let x(d) = 2*d - 16. Suppose -4*m + 20 = -76. Suppose 0 = 25*h - m*h - 10. Let s be x(h). Is s less than or equal to 3?
False
Suppose 0 = 4*t + 91 + 381. Let k(o) = -o**3 - 96*o**2 - 1278*o + 39. Let p be k(-80). Which is smaller: t or p?
p
Let p(i) = -i**3 + i**2 - 3*i - 41. Let h be p(0). Let x = h + 51. Let v be 1386/885 + -1 - 6/x. Which is bigger: v or -1?
v
Let p = 4 + -3. Let y be (-20)/220*-1*((-30)/12 - -2). Which is smaller: y or p?
y
Let f be (7/84*8)/((-1)/(-303)). Let k = -165 + f. Are 37 and k equal?
True
Let h(m) = -2*m. Let d(l) = l**2 + 12*l - 17. Let n(r) = d(r) + 6*h(r). Let q be n(4). Which is smaller: -1/65 or q?
q
Let f be (-2800)/1344 - -2*1. Let t = -23 + 22.5. Is t greater than f?
False
Suppose 2*u - 4*u - 18 = 4*l, 3*u = -2*l - 19. Suppose -9*b + 1377 - 1404 = 0. Which is smaller: l or b?
b
Let r be (-12)/(-72) + 458/(-12). Let n = r - -90. Suppose 0 = 5*c + 352 - n. Are c and -60 nonequal?
False
Let k(b) = -b**2 - b. Let i be k(-1). Let h = -250065239 + 2041532613669/8164. Let s = h + 3/628. Is i equal to s?
False
Let n be (1*0/2)/(-2). Let u be (14520/576)/55 + 3/108*-3. Is n less than u?
True
Suppose -j + 4*c = -5, -2*c = -3*j - 3 + 18. Suppose -43 = j*a + 2*y, 24*a - 37 = 27*a + 4*y. Let p(k) = 13*k**3 - 2*k**2 - k. Let t be p(-1). Is t >= a?
False
Let u = -550 + 414. Let i = -137 - u. Which is smaller: -101 or i?
-101
Let s = 174.9285 - -0.0715. Let x = -174.9 + s. Which is smaller: -0.0395 or x?
-0.0395
Let x = 5870 - 8009. Is -0.3 greater than or equal to x?
True
Let b = 36987/14 - 5317/2. Suppose -2*x = -5*i - x - 88, 3*i + 60 = -3*x. Is i > b?
False
Let o = -3056 + 3057. Is -0.0894 less than o?
True
Let q = 846 + -845. Which is bigger: q or -100.3?
q
Suppose -2*j = 5*s, -295*s - 14 = -298*s - 4*j. Is -146/63 bigger than s?
False
Let u = -83.42 + 2.42. Let y = u - -87.8. Is y less than 2?
False
Let h = 6.7054 + -13.6603. Let n = -0.0451 + h. Which is smaller: 1 or n?
n
Let a(u) = -2*u**2 + 3*u + 2. Let v be a(5). Suppose 2*w + 83 = -4*x - 47, 541 = -16*x - w. Is x greater than v?
False
Let z be 1/2*(-40)/105. Let l = 0 - 75. Let x be (-13)/15 - (-10)/l. Is x < z?
True
Let n = 1826/1213 + -13/2426. Suppose -2*b - 2*b = 20, 5*z - 4*b = 30. Is n not equal to z?
True
Let f be 11*(-4)/330 - (2 - (-14)/(-15)). Let u = -29 - -4. Let g = 73/3 + u. Is f bigger than g?
False
Let p be 10*6/(-420)*-7 + -2*1. Which is smaller: p or 0.05467?
p
Let m = 307 + -300. Suppose m*p = -3*p + 3*p. Which is smaller: p or 8/13?
p
Suppose 2*h + 4*u + 22 = 0, -76*h + 80*h - 44 = 3*u. Which is smaller: h or 49/9?
h
Let z = -76601 + 458581/6. Let q = z + 171. Is q != 3/5?
True
Let j be (0 + 1)/((-62)/5150). Let t = j + 83. Suppose -82 = 265*m + 241 - 58. Which is bigger: m or t?
t
Let g(o) = -o**3 - 23*o**2 + 24. Let w be g(-23). Let u = -22 + w. Suppose 4*r + u + 18 = 0. Is r at least 0?
False
Suppose -24 = 6*o - 14*o. Let b(s) = -s**o + 4*s**2 - 18*s - 14*s**2 + 0*s**2 - 10. Let v be b(-8). Which is greater: 50/9 or v?
v
Let y = -2459.08 - -2459. Which is greater: y or -1/22?
-1/22
Let o = -1 + 2. Let l(m) be the third derivative of -m**6/120 + 7*m**5/20 + 3*m**4 - 2*m**3 + 2*m**2 - 66*m. Let s be l(24). Is s less than or equal to o?
True
Let y(t) = t**2 + 119*t - 1652. Let r be y(11). Which is smaller: -210 or r?
r
Let v = 30679 + -17005. Which is bigger: 13673 or v?
v
Let u = -29 + 33. Let g(k) = k**3 - 3*k**2 - 3*k - 4. Let s be g(u). Suppose s = -2*i - 8*i - 170. Which is smaller: i or -14?
i
Let m be (0 - -46)/((-186)/(-54963)). Is 13594 not equal to m?
True
Suppose -18400 + 22120 = 3587*y - 44310 - 27297. Let m(u) be the first derivative of u**3/3 + u**2/2 + 22*u + 1. Let s be m(0). Is y > s?
False
Let b(j) = -j**2 - 8*j + 3. Let w be b(5). Suppose 0 = 16*s + 3529 + 7031. Let x = s - -598. Is x at most w?
True
Let l = -24416 + 24415.9793. Which is smaller: l or 14?
l
Let b be 22512/(-11252) + (93/62)/((-6)/(-8)). Is -0.08 smaller than b?
True
Suppose 5*i + z - 163 = 6*i, -2*i = z + 314. Which is smaller: -9 or i?
i
Suppose 4*d - j = 9, -3 = -4*d + 5*j + 10. Let u be (-32)/36 + (4 - 1 - d). Which is bigger: 0.3 or u?
0.3
Let i be ((-10)/(-4))/((-1)/(-2)). Suppose 0 = -2*r + i*r - 168. Let f = -445/8 + r. Are 1 and f nonequal?
True
Let q = -59608093/40230 - -80071/54. Let t = 7/149 - q. Which is smaller: t or -1?
t
Let k = -17202 - -17201.7. Which is smaller: k or 0.3087?
k
Let n be 0 + 15 + (-4)/(2 - -2). Suppose n*l + 234 = 38. Which is greater: 0.5 or l?
0.5
Suppose 9833 = -31*x - 11402. Is x < -685?
False
Let x = 19.5 + -4.5. Let i = 215 + -200.17. Let m = x - i. Which is smaller: -1 or m?
-1
Let y be (162/(-12))/(-27) - 44/(-8). Is 12 at least as big as y?
True
Let r(a) = a**3 - 11*a**2 - 15*a + 68. Let d be r(14). Let z = d - 414. Let q = -75 + 108. Is z at least q?
False
Let a = 393 - 1571/4. Which is bigger: a or -2565?
a
Let k be 2/(1 + 3 + 540/(-138)). Suppose 262 = -5*z - k. Do z and -59 have different values?
True
Let z = 3363 + -3364. Which is greater: z or 7520/11?
7520/11
Suppose 0 = 4*d - 7*d + 2*m + 1144, -5*m - 1530 = -4*d. Let h(w) = -382*w**3 - 12*w**2 - 77*w - 66. Let i be h(-1). Which is bigger: i or d?
i
Let c be (-92)/(-12) + -2 + 2/(-3). Suppose z - 38 + 25 = 3*m, 3*z - 23 = c*m. Which is smaller: z or -3/7?
-3/7
Let b be (-206)/25 + (-11 - -15) + 5*1. Is -2/7 greater than or equal to b?
False
Let x = -24 - -23.78. Let t = -95.22 - x. Let w = t + 62. Which is smaller: w or -1?
w
Suppose 0 = -3*a + 2*h - 633, -5*a + 4*a - 4*h = 211. Let k = -91 - a. Let x be 2/6 - 70/k. Are x and -2/9 unequal?
True
Let a(t) = -119*t + 128. Let u be a(-6). Which is bigger: 840 or u?
u
Let a(p) = p**2 - 5*p - 9. Let l(z) = z**2 - 5*z - 10. Let k(f) = 3*a(f) - 2*l(f). Let n be k(6). Is -2.17 greater than n?
False
Suppose 0 = z - 1 - 0. Let r = -157 - -156. Let h be 8/(-40) + r + 1264/1070. Which is smaller: z or h?
h
Let o = 3151 - 4332. Is o smaller than -4719/4?
True
Let u = -6745 - -2744. Is -4001 > u?
False
Let g(c) = 3*c + 61. Let d(n) = -2*n - 62. Suppose 17 = l + 5*p, -35 = 5*l - 0*l - 5*p. Let s(b) = l*g(b) - 4*d(b). Let v be s(19). Which is smaller: v or 47?
v
Let s = -289709/509270 - -145/254. Is s less than 0?
False
Let y(r) = 6*r**2 + 36*r + 29. Let k be y(-5). Let v = -3.79 - 1.22. Let a = v - -5. Which is smaller: k or a?
k
Suppose m + 4*b = -m + 26, -4*m - 2*b = -64. Suppose m*f = -215 + 1864. Is f > 96?
True
Suppose 18*l - 6 = 84. Suppose -l*v - i + 11 = 0, -4*v = 2*i - 3*i - 7. Suppose -m - 3 = -n, 9 = -5*m + v*n + 3. Is -8/17 greater than m?
False
Let v = -1376 - -1496. Suppose 0 = -7*y + 14*y - 840. Is y <= v?
True
Let l be (-124)/(-558) + 1904/18. Let y = 41 - l. Do y and -67 have different values?
True
Suppose 13*s + 22 = 12*s. Let j = s + 25. Suppose 0 = -j*c + 8*c + 10. Is -6/5 greater than c?
True
Suppose d - 5*d = l - 2264, -l + 1134 = 2*d. Suppose 375 = 10*r - d. Which is smaller: 92 or r?
92
Let i = 49.82 - 50.82. Which is greater: 115 or i?
115
Suppose 5*v - i = -14, -2*v + i + 47 - 52 = 0. Which is greater: -12/449 or v?
-12/449
Let c = -264 - -405. Let z = c - -9. Which is smaller: 0 or z?
0
Let j = -159925/1309 + 1344/11. Let u be (3 - 7/2)*2. Which is bigger: j or u?
j
Let q be 1 - (1 + -1 + 0). Suppose 4*y = 3*y - q. Let p(t) = t**2 - 5*t + 6. Let j be p(4). Which is greater: j or y?
j
Suppose -3*v = 319 + 113. Let s = 7454 - 7597. Is v not equal to s?
True
Let f(u) be the first derivative of -5*u**2/2 - 68*u - 11. Let o be f(-21). Suppose -5*v + 20 = 0, 2*c - 5 = 5*v - o. Is c at least -2?
False
Let t = 21907 + -21889. Let v be (14/(-6))/((-3)/1584). Suppose 0 = 4*g - t*g - v. Is g >= -87?
False
Suppose 5929 = 28*q - 7694 + 4215. Is 359 small