4*o - 47. Let c be r(-26). Suppose 6*n + n = -c*n. Is 7/10 greater than n?
True
Let n = -318 + 423. Let m be (10*9/270)/(1/n). Is m smaller than 34?
False
Let w = -55.64 + 16.8. Is -1/3 >= w?
True
Suppose 0 = -5*h - 12 + 32. Suppose -5*i - 80 = h*n, -2*n - n = -i + 41. Let g = -47 - n. Which is smaller: g or -31?
g
Let i(u) = u**3 + 11*u**2 - 28*u - 16. Let x be i(-13). Let w(z) = -2*z**3 + 21*z**2 - 7*z - 31. Let s be w(x). Which is smaller: 3/46 or s?
s
Suppose 3*p - 17*k = -20*k + 1209, -4*p - 2*k = -1610. Suppose -183 - 226 = 4*u - 5*t, 4*u = -2*t - p. Which is smaller: u or -102?
-102
Let p = -4.24 - -0.24. Let z = 0.14 - 3.24. Let v = z + 3.04. Are v and p non-equal?
True
Let x(i) = -i**3 + 36*i**2 - i + 36. Let z be x(36). Let y = -252/17 + 3269/68. Which is smaller: z or y?
z
Let g be (-2)/11 - (311088/(-891) + 5). Let r be (-2)/(-4) + (-6201)/18. Let u = g + r. Which is smaller: -2/7 or u?
-2/7
Let r = -3.2 - -8.6. Let h = 4.73 - r. Let p = -0.41 - h. Which is smaller: p or 1/2?
p
Let b = 0.68262 - -0.26738. Is 0.04 <= b?
True
Suppose -34*j = -78*j - 924. Let h be (-1)/(-3) + (-48)/(-18). Suppose -44 = -u + h*u. Which is bigger: u or j?
j
Let u be 3/(-6)*(-2 + 3*-2). Suppose 0 = 4*s + 3*n - 0*n + 509, 0 = -u*s + 3*n - 491. Let r = 136 + s. Is r at most as big as 12?
True
Suppose -4*p - 146 - 43 = -3*s, -4*p - 248 = -4*s. Let j = s + -82. Which is smaller: j or -21?
j
Let f = 633 - 616. Suppose 9*c = 8*c + f. Which is bigger: 137/8 or c?
137/8
Let f = -51 + 54. Suppose -3*p - 3*m + 12 = 0, -p + 3*m - f = -3*p. Let s = p + -15. Is -3 > s?
True
Let v = -42 + 21. Let t = -21.041 - v. Let h = -0.159 + t. Is h != -9/5?
True
Let p(c) = -31*c + 155. Let t = 80 - 75. Let s be p(t). Is 4/85 bigger than s?
True
Let d be (40/(-36))/((-62)/(-279)) + 15811. Which is greater: 15805 or d?
d
Let u = -16579 + 5587105/337. Is -1 < u?
True
Let r = -4/40709 + 64953/246737249. Is 1 less than or equal to r?
False
Let t be 63/(-2457) + 2735/195. Is 570/43 equal to t?
False
Suppose -2*q - 10 = -2*b, -3*q - 21 = -b - 6. Do -2/17141 and b have the same value?
False
Let n = 87.73 + -1.73. Let g = n - 77. Which is greater: g or 2?
g
Suppose 0 = w - 3 + 1. Let d(k) be the third derivative of -k**6/60 + k**5/15 - k**4/12 - k**3/3 + k**2 - 11. Let y be d(w). Which is greater: y or -5?
-5
Let b(y) = 6*y**3 + y**2 - 4*y - 3. Let u be b(-2). Suppose -3*s - 44 = -62. Let h be s/8*(-24)/u. Is h at most -1?
False
Let m = -6216 - -1077. Which is greater: -5141 or m?
m
Let a = -4622 + 4889. Are a and 6 nonequal?
True
Let l be (-12)/(15360/248) - (-3)/15. Is -1 bigger than l?
False
Let q(u) = 2*u - 1. Let b be q(2). Suppose 0 = -209*r - 288*r. Is r <= b?
True
Let m = 795479/77 - 10331. Is m >= -11?
True
Suppose 3*v + 2*x + 118 = 0, -4*x = -6*x + 2. Let u = 127 + v. Which is smaller: 88 or u?
u
Let w be ((-6)/10)/((-7)/(-15)). Suppose -2*j + 3*n + 352 + 505 = 0, 1749 = 4*j + n. Let k = -438 + j. Which is greater: w or k?
w
Let q(s) = 550*s**2 - 7*s + 10. Let n be q(5). Suppose 5*t + 4*t = n. Let b = 12185/8 - t. Is 0 smaller than b?
False
Let r(y) = -3*y**3 - 6*y - 5. Let j be r(-2). Suppose 4*m = -17 - j. Suppose -2*p + 52 = -6*p. Is p < m?
True
Let x = 488 + -468. Suppose 22*p = x*p + 2. Is p < -2/75?
False
Let j = -868.67 + 869. Are j and 0.097 nonequal?
True
Suppose p - 4*p = -42. Let k = -27 - p. Let w(q) = -q**3 + 7*q**2 - 6*q + 1. Let z be w(7). Is k less than z?
False
Let p = 10836 - 10836. Which is smaller: p or 23/142?
p
Let h(n) = 42*n**2 + 3*n + 14. Let r be h(-2). Let y = -198 + r. Is y less than -22?
False
Let b = -14748 + 14747.8. Which is bigger: 15 or b?
15
Let q = -219 + 122. Let m = q - -113. Is 12 <= m?
True
Let g be (1*30)/(-1 + 2). Let o be (-110)/312 + 10/g. Let f = 47/260 - o. Which is smaller: -1 or f?
-1
Let y(j) = -30*j - 2. Let l(v) = -v + 5. Let a be l(6). Let m be y(a). Which is smaller: 27 or m?
27
Let c = 2701 + -6119. Let i = -3321.04 - c. Let j = -97 + i. Is -1 at most j?
True
Suppose -2*w = 3*o + 5, 0 = -2*w + o - 0 - 1. Let f = -2189/300 - -1645793/11100. Let d = f + -141. Which is greater: d or w?
d
Let y(h) be the second derivative of h**5/20 - 7*h**4/6 + h**3/6 - 5*h**2 + 199*h. Let w be y(14). Suppose -3*q + 5 = 2*q. Which is greater: q or w?
w
Let m(v) = -v**2 - 19*v + 65. Let g be m(-17). Let r be (-260)/462 + 18/g. Is -1 at most as big as r?
True
Let l be 0/(6/(-3)) + 11 + -7. Suppose -5*m - 2*r + 263 = 0, m - r = 16 + 38. Suppose 35 + m = -l*u. Which is bigger: -1/2 or u?
-1/2
Let j be (-4)/((-40)/(-2)) + (-8604)/(-20). Suppose 432*d - j*d = 0. Is d >= -2/1217?
True
Let s = -61 + 86. Suppose -64 = -2*g + 2*r, -5*r = -3*g + s + 75. Suppose 61*q - 14*q - 1170 = 8*q. Is g at least as big as q?
True
Let n be -1 - 79/(-14)*2. Let h(g) = g**3 + 18*g**2 + 560*g + 11010. Let f be h(-19). Which is smaller: n or f?
f
Let u(d) = d**2 + 25*d + 21. Let p be u(-24). Let x(t) = -3*t - 9. Let m be x(-4). Let c be p - (m/(-6))/(18/80). Which is greater: -2 or c?
c
Suppose 5*c + 0*d - 10 = 5*d, 5*c = -4*d + 37. Suppose -c*o = -3*o - 28. Let t = o - 15. Which is smaller: t or -1/25?
t
Let n(c) = 2*c + 3. Let y be n(5). Suppose -y*r + 68 + 36 = 0. Let i be (r/(-86))/((-7)/((-21)/6)). Is 0 at most as big as i?
False
Let p(r) = 3*r**3 + 27*r**2 + 16*r - 63. Let w be p(-8). Which is bigger: w or 16/63?
w
Let s = -371.751 + 371.8. Are s and -2/13 equal?
False
Let r = -43.6 + 43. Let g = r - -0.57. Which is smaller: g or -0.2?
-0.2
Let p be (-45177)/440*(-4)/(-6). Let y = 41597/660 + p. Let q = 32/11 - y. Which is bigger: q or 8?
q
Let x = -4210 + 2087. Is x > -2122?
False
Let d = 402175 + -402186. Let q(y) = -6*y - 1. Let z be q(-2). Suppose -2*m + z = -3*m. Do m and d have different values?
False
Suppose -18*c = -15*c - 558. Let v = c - 147. Is v equal to 39?
True
Let i = 354.7 - 351.9. Is -0.02 at most as big as i?
True
Suppose -5*q = 2*h + 14, 0*q - 4*q = 5*h + 18. Suppose 0 = g - 4, -17 + 8 = -p - 2*g. Let y be 84/228 - (-2 + (4 - p)). Which is smaller: h or y?
h
Let r be 14/(-4)*44/11. Suppose 3*s + 20 - 174 = m, 5*m = -3*s + 130. Suppose -4*x + t + t = s, 79 = -5*x - 3*t. Is x not equal to r?
False
Let q = 720 - 1285. Let r = q + 559. Is r > -6?
False
Suppose 0 = -15*q + 18*q + 24. Let b be -1*(-2)/(-14) + (-27)/(8505/(-60)). Which is bigger: q or b?
b
Let h(u) = -330*u - 104. Suppose 2*t + b = -2, 5*t - 17*b + 14 = -15*b. Let p be h(t). Which is greater: 557 or p?
557
Let s = 39006 + -351050/9. Which is smaller: s or -584?
-584
Suppose 3*i = -3*b - 99, -2*i = 4*b + 116 + 18. Let w(y) = 3*y**3 - 34*y**2 - 26*y - 9. Let x be w(12). Is x smaller than b?
False
Let w be 5/(-15) - (11 - 4147/48). Which is greater: 74 or w?
w
Let f = -402 + 405. Let t be (84/9)/(-14) + 2/f. Is 1/135 at least t?
True
Let c = -4.04303 + 0.04303. Is -1/883 >= c?
True
Let w be (-1 + 0)/((-2)/(-10)). Let v = 14.6212 + 0.0788. Let x = 17.7 - v. Is w < x?
True
Let i = -34 + 55. Let b be (-1)/(i/(-594)) + 1. Let z = b + -29. Is z bigger than -1?
True
Let k be ((-138)/(-6))/((-2530)/(-660)). Let z(a) = a**3 + 2*a**2 - 2*a + 4. Let l be z(-3). Let p = 2 + l. Which is smaller: k or p?
p
Let w be (-2754)/(-204)*55/(-45). Which is smaller: 0.02 or w?
w
Let m = 294253/7 - 42184. Which is smaller: -147 or m?
m
Let m be ((-20)/16)/(4/(-16)*1). Let d be m/(-10) - 38/(-20)*1. Which is bigger: d or 1?
d
Let z be ((325/(-90))/13)/(0 - 2). Let g = 1/9 + z. Is -3.3 at least g?
False
Let t be (-315)/(-350) + -3 + (-155)/(-50). Is -794 > t?
False
Suppose -1722 + 336 = 11*p. Let l be (-55)/(-3) - 210/p. Is 23 != l?
True
Let u be (-2)/(-12) + (-5)/(30/(-743)). Suppose 0 = -8*k + 4*k - u. Is -27 at least k?
True
Let j = 151 - 82. Suppose c + 63 = -j. Let v be (4/c)/((-6)/(-9)). Is v less than or equal to 0?
True
Let u = 4439 + -4376. Let g = -1419/10 + 142. Is u at most as big as g?
False
Let a = -1.01556 - -0.01556. Which is greater: 6146 or a?
6146
Let b be 10640/24 + -13 - 30/(-18). Which is smaller: b or -10?
-10
Let k = 38 - 33. Let f = -6 + k. Is 23 != f?
True
Suppose -3*c - 9 = -c - 1. Which is smaller: 2/43 or c?
c
Let l = 61 + -279. Which is smaller: l or -1528/7?
-1528/7
Let q = 4312 + -7557. Let p = 84405/26 + q. Let w = p - 317/221. Is w not equal to 0?
True
Suppose 316*b = b + 1071