((-51)/80). Let m = 115/34 - a. Which is smaller: 3 or m?
m
Let m(n) = 5*n - 2*n**2 + 3*n**2 + 2*n - 2*n. Let b be m(-10). Suppose -b = -d - 4*d + p, 0 = -5*d + 2*p + 50. Which is greater: 9 or d?
d
Let n = -928.5 + 928.6. Which is smaller: n or -2697?
-2697
Let k = 4933 + -5081. Which is smaller: k or -150?
-150
Let d = -201 - -201.48. Is d greater than 0.4?
True
Let h = 15244 + -15245. Which is smaller: 60 or h?
h
Let s be (-1)/(1/(-2)*1). Suppose -k + 22 = -l + 9, 7 = 4*k + 5*l. Suppose 5*a + k = -s. Is -20/11 smaller than a?
False
Let n be 8/(-12)*3*-9. Suppose n*q - 8 = 14*q. Suppose q*a + 2*h = -8, 4 = -3*a + h - 2*h. Which is smaller: -7/11 or a?
-7/11
Let v be (428/10)/(1 - 34328/34330). Let r be (-2)/(-14) + v/308. Let w = -2385 + r. Are -1 and w unequal?
True
Let g = -3/6955 + 12241/12254710. Which is smaller: 0 or g?
0
Let a = 38 + -36. Suppose v + 1 = -9*w + 7*w, 0 = 2*v + a*w. Is v at most as big as 3?
True
Suppose 1705 = -0*x - 5*x - j, 0 = -x + 2*j - 341. Is -4755/14 at least x?
True
Suppose 0 = -135*q + 125*q + 3960. Suppose -13*a = -a - q. Is 33 less than or equal to a?
True
Let a = -126/617 + 803/73423. Do 0 and a have the same value?
False
Suppose -44*r - 10779 = 75*r + 9332. Is -169 <= r?
True
Let u(l) = l**2. Let j be u(0). Suppose -3*k + j = 3. Let g be 1*3 + 24/(-7). Which is smaller: k or g?
k
Let r be 14 + (-12720)/6348 + -12. Is 0 < r?
False
Let c = 312316 + -312146.917. Let t = c - 169. Let n = t - 1.083. Which is bigger: -10/9 or n?
n
Let w = 39087 + -39501. Is w >= -825/2?
False
Let f = 89 - 90. Let q = f + 33. Is q at most -0.1?
False
Suppose -m = -6*m + 460. Suppose s + 46 = -2*y, -2*s + 0*y + 3*y - m = 0. Is s at most as big as -45?
True
Let m = 3.442 + 0.088. Let s = 2.43 - m. Is -0.1 at least as big as s?
True
Suppose c + 138 = p - 103, 0 = 3*p - 5*c - 731. Suppose 0 = -p*q + 236*q - 73. Which is smaller: q or -76?
-76
Let d = -424148/3 + 141423. Let j = -14 + 55. Is d bigger than j?
False
Let n be ((-204)/(-10))/((-1)/15) - 0. Let k = n + 306. Is k greater than -2/77?
True
Let g be 0 + 12/(-1) + -2. Let j = -43994 + 483794/11. Is j > g?
True
Suppose -65*a = -59*a + 234. Let y be 65/a - 4/(-6)*1. Which is smaller: y or -1/411?
y
Let q = -471 + 388. Let r = 73 + q. Which is greater: r or 0.08?
0.08
Let x = 378 + -1017. Let j = -27475/43 - x. Which is bigger: j or -0.1?
j
Suppose 2*s - 4 = 2*r, 0 = 4*s - 3*r - 9 + 3. Let m be s*(8/(-2))/(-4). Suppose m*f = 3*f - 105. Is f less than or equal to 36?
True
Let q be (-55)/(-20) - 5/(0 + -20). Suppose 3 = i - 2*v, q*i - 7 = v + 4*v. Which is smaller: -17 or i?
-17
Let v = 42481090196796/1549541 + -191906914/7. Let w = -8/1223 + v. Is w at most -1?
False
Let t = -5 - -10. Suppose t*n + 7*b + 14 = 3*b, 4*b = -2*n + 4. Let w(r) = -225*r - 7. Let i be w(0). Is i at least n?
False
Let n(p) = -70*p - 667. Let r be n(-8). Which is bigger: -103 or r?
-103
Let f be 24/9*-6*(-225)/468. Let h = 13235/1729 - f. Which is smaller: h or -1?
-1
Let o be (-167 + 7)/8 + 21. Which is bigger: -1/13423 or o?
o
Let l be 13 + -11 + -24*1 + -2. Let a(c) = 9*c - 37. Let p be a(7). Let k be (-1 + 0)*(p - 3). Which is smaller: l or k?
l
Let q = 7.3 - -0.7. Let r = q - 3. Suppose 4*d = 4*i - d + 11, -5*d = i - 16. Which is smaller: i or r?
i
Let c be (162/90)/((-6)/(-20)). Suppose -2*g = -b - 116, -c*b + 3*b = 4*g - 252. Which is smaller: 293/5 or g?
293/5
Let g = 751 - 751.02. Let d = 0.02 + -5.02. Which is smaller: g or d?
d
Let s = 390 + -395. Suppose 78 = 3*c + 2*c + 2*w, 3*c + 3*w - 54 = 0. Suppose -5*d - c = -m + 31, -27 = 4*d + m. Which is smaller: s or d?
d
Let y = 5768935075/16841 + -342553. Are 0 and y equal?
False
Let p = 3496941/58 - 60294. Is -2 != p?
True
Let h(d) = 2*d + 4. Let a(g) = -4*g - 12. Let u(s) = 6*a(s) + 20*h(s). Let i be u(1). Is i less than -0.6?
False
Let q(n) = 3*n - 22. Let f be q(9). Suppose -f*h = -2*j + 203, 0*j = 3*j - 4*h - 294. Which is greater: -1 or j?
j
Let a = -11478333/7 + 1634272. Let w = a - -5437. Is w bigger than -52?
False
Let d = 4446 + -4868. Does d = -421?
False
Suppose -p + 3*j = j - 30, -3*p + 2*j = -70. Suppose -2*y + p = 3*y. Suppose -3*l - 23 = -y*l. Do 23 and l have the same value?
True
Let m = -1487 - -1486. Is 2/20095 less than m?
False
Let d(x) = -12*x**2 - 5*x + 173. Let b be d(-12). Is -1495 less than b?
False
Let w be 0 + 25/(-5) + 5. Suppose w = 13*j + 19 + 7. Are -57 and j nonequal?
True
Suppose -22*x - 660 = 2222. Let v = x + 142. Let t be 4/2 - (-28)/(-16). Which is smaller: t or v?
t
Let q = 9.3515 + -0.0415. Let w = 21.31 - q. Which is bigger: 2 or w?
w
Let m be 1 + -5 + (-14958)/86010*-23. Is -1 != m?
True
Let g = 228 - 230. Let r be (3 - g) + 21 + -26. Which is greater: 5/29 or r?
5/29
Suppose 0 = -3*p - 2*z + 51, -79 = -5*p + 2*z + 54. Is 1236/53 greater than or equal to p?
True
Suppose -x = r + 5, -7 - 8 = 5*x + 3*r. Let n = 1/6557 + 52385/465547. Which is smaller: n or x?
x
Suppose 120 = -2*x - f, 2*f + 14 = -x - 40. Suppose 0 = 4*d + 3*o - 5*o + 262, d + 48 = -3*o. Do x and d have the same value?
False
Let b = -32861 + 32879. Which is smaller: -194/5 or b?
-194/5
Let n be (46/(-69))/((-5)/(-240)). Let f(g) = -g**3 - 2*g**2 + 3*g + 4. Let y be f(3). Do y and n have the same value?
True
Let i = -2492 + 2237. Is -264 smaller than i?
True
Let t be (-1 - 1*-3) + 3626/74. Does t = 0.45?
False
Let p be (62 - 60)*3/(-520). Is -1 greater than or equal to p?
False
Suppose w = -2*c + 145, -5*w = -4*c + 203 + 80. Suppose 3*s + c = 15. Which is greater: -135/7 or s?
s
Let j(y) = 212*y**3 - y**2 + 3*y - 2. Let s be j(1). Suppose x = -7*d + 2*d + 530, -4*x = 2*d - s. Suppose -5*u - d = -91. Is u less than or equal to -7/2?
False
Let c(n) = 24*n + 197. Let s be c(-8). Suppose 160 = 2*h + 2*h - 4*m, s*m - 142 = -4*h. Suppose 4*r - 156 = z + 5, -3*r - 2*z = -107. Which is smaller: h or r?
h
Let k = 2686 + -4704. Which is bigger: k or -2017?
-2017
Let t be 12/(-9) + 2662/(-6) + -3. Let c = -468 - t. Is c at most -39?
False
Let r be 58*24/128 - 11 - 110/16. Is r equal to -67/10?
False
Let m(r) = 4*r**2 + 110*r + 28. Let g be m(-25). Which is smaller: -224 or g?
-224
Let w(h) = h**2 - 3*h + 2. Let a be w(5). Let g be 20 + -9 - a/2. Is g at most -1?
False
Suppose 74*v - 88*v = -7196. Let g be 4/6 + v/(-6) + -7. Is -91 bigger than g?
True
Suppose 0 = -11*y + 42 + 35. Let z be ((-2)/124)/(y - 1166469/166638). Let v = z - 896. Which is bigger: v or 0?
0
Let d(q) = -q**2 - 12*q + 14. Let c be (-36)/(3 - 0) - 0. Let r be d(c). Let o be (112/91)/((-12)/(-156)). Which is smaller: o or r?
r
Suppose -3*r - 2*d = -20, d + 8 = 2*r - 3*d. Let u(i) = i**3 - 7*i**2 + 3*i + 12. Let q be u(r). Let f be (q + 15/10)*1/(-3). Which is bigger: 2/3 or f?
f
Let g = -316 - -317. Let u = -4426.37 - -4351. Let k = u + -1.63. Is k < g?
True
Let b = 3553 + -3553. Let a be (-2)/((-2)/(-12 - 0)). Which is bigger: b or a?
b
Suppose 5*b = -3*x + 4*x + 1, 0 = 5*b + 3*x + 3. Suppose -a - 22 + 21 = b. Which is smaller: -3/233 or a?
a
Suppose 4*h + v + 281 = 0, 5*h + 332 = -4*v - 22. Let b = -218/3 - h. Let d = -373 + 371. Is d smaller than b?
False
Let c = -0.8283 - -0.7283. Which is bigger: -6/367 or c?
-6/367
Let d = -328 + 438. Let z = 110.4 - d. Is z not equal to -26/5?
True
Let j(s) = -5*s**2 - s + 93. Let m be j(-7). Let x be (-295)/m + (-2)/1. Let u = -2 - -1. Is u bigger than x?
False
Let h = -262 + 88. Let z = h + 162. Is z > -13?
True
Let g(v) be the second derivative of -43*v**5/20 + v**4/12 + v**3/2 - v**2 + 304*v. Let a be g(1). Which is bigger: -38 or a?
-38
Let v be ((-7)/(-7))/(-38*2/(-17228)). Let y = v - 227. Let z(h) = h**2 - 3*h + 1. Let i be z(3). Are y and i unequal?
True
Let d = 5644 - 5744. Which is smaller: d or -0.1?
d
Let h(i) = i**2 + 7*i - 46. Let r be h(36). Is r at most 1503?
True
Suppose -45514 = 15*q - 8*q. Let o = q + 669700/103. Which is bigger: -0.1 or o?
o
Let m = -21884/321 + -7877593/22470. Let f = m + 44489/35. Let r = f - 852. Is r at least -1?
True
Let k be (50/(-4))/((-3)/(-6)). Let x = 59861 + -59876. Is k bigger than x?
False
Let n = -81 - -271. Let a = 188 - n. Is a equal to -12/7?
False
Let n be 4 + (-4)/(6408/(-63309)). Let c = -5/267 + n. Are 43 and c equal?
False
Let h(m) = 20*m**3 + m**2 - 2*m - 41. Let c(p) = -7*p**3 + p +