 - r. Are h and 1/2 equal?
False
Let o = 1 + -58. Let c = o - -58. Which is bigger: 28 or c?
28
Let r = 3 + -2. Let d = r + 4. Suppose 2*h + 4 = 3*y + d, -5*h = 2*y + 7. Which is bigger: y or -5/6?
-5/6
Let z be -3*(-6)/18*1/1. Let l(a) = -a - 9. Suppose 0 = -r - 2, -4*r = v + 14 + 2. Let p be l(v). Is z greater than or equal to p?
True
Let o = -44 - -750/17. Let d be (-26)/52*(-4)/6. Is d at most o?
False
Let n(k) = -k**3 + 19*k**2 + 4*k - 64. Let a be n(19). Which is greater: 16 or a?
16
Suppose -2*n = -n + x - 2, 30 = -5*n + 5*x. Let j(r) = -r**2 - 16*r + 326. Let y be j(12). Which is greater: y or n?
n
Let h(d) = d**2 + 10*d + 9. Let z be h(-7). Let f = -480 - -306. Let g be 40/(-70) - f/(-14). Is g at most as big as z?
True
Let g(u) = 2*u**2 - 15*u - 8. Let v be g(7). Which is greater: -11 or v?
-11
Let h = 241 - 243. Is h < -14/25?
True
Let u = 0.05 + -0.11. Let f = 0.24 - u. Is f smaller than -1?
False
Let d = 9.4 + -3. Let r = d + -6.2. Let i = -6 - -11. Which is bigger: r or i?
i
Suppose -2*j - 21 = -5*g, g = -g + 2*j + 12. Suppose -g*q + 4*q - 18 = -3*i, -4*q - 5*i + 58 = 0. Which is greater: q or 0?
q
Suppose -22631 = -137*b + 84*b. Which is smaller: 426 or b?
426
Suppose -4*b = 3*g + 2468, 5*b + g + 4*g = -3085. Are b and -617 equal?
True
Let n = -9344 + 345698/37. Are n and -1 unequal?
True
Let f = -43/40 - -8609/8120. Is f at least as big as -1?
True
Suppose 0 = -4*x - 5*y + 51, -2*y - 14 + 65 = 5*x. Suppose 0 = -p - 2*z - 8, 3*z + 10 = -2*p - 2. Suppose p = -0*d + d - 7. Which is bigger: d or x?
x
Let m = 23 + -21. Suppose -6 = 2*j - 3*y, -m*j - 13 = -4*y - 3. Which is greater: 20/7 or j?
j
Suppose -g - 3*j - 29 = 3*g, 0 = -3*j + 3. Let k(s) = -s**3 - 8*s**2 - s - 9. Let h be k(g). Let v = 884/16695 - -2/477. Is v at most as big as h?
False
Let g = -271/924 - -20/21. Let k = -1/11 - g. Which is smaller: 2 or k?
k
Suppose a - 5*m - 17 = 0, -9 = 3*a - 2*m - m. Is -7 < a?
False
Suppose 0 = 21*k - 22*k - 415. Let y = 1669/4 + k. Which is bigger: -1 or y?
y
Let b(a) = -a + 9. Let h be b(6). Suppose 0 = -p + k - 3*k - 11, 2*p + 29 = h*k. Let x = 17 + p. Is x at most as big as 9/2?
True
Let k = -2 - 0. Let j = 997 + -998. Which is greater: j or k?
j
Let t = 35957/40 - 899. Is 3/14 at most t?
False
Let i = 5 - 9. Let q be 1/(5/i)*5. Suppose 17*g - 12*g = -15. Which is greater: q or g?
g
Let d = 6.2 - -0.8. Let w be 0/1*(-2)/4. Is d greater than w?
True
Suppose -o + 13 - 11 = 0. Suppose o*m - 15 - 1 = 0. Let x = -12 - -22. Which is smaller: x or m?
m
Let q be 8/2 - (0 + 0). Suppose u + 3*u - 28 = 0. Let f = q - u. Is -5 >= f?
False
Let i = -341 + 342. Which is smaller: -6/55 or i?
-6/55
Suppose -2*w + 5*t + 30 = -0*w, -3*t - 22 = -2*w. Suppose 0 = w*y + 7 - 127. Let m be (-9)/(-12)*(-208)/y. Is -6 > m?
True
Let t(d) = d**3 - 7*d**2 + 2. Let g be ((-6)/4)/(15/(-70)). Let i be t(g). Do 7 and i have different values?
True
Let f(o) = -5*o**2 + 3*o. Suppose 5*k - 4 = 16. Let l be f(k). Let m be ((-2)/(-3))/(l/12). Which is greater: m or 0?
0
Let v be (42/9)/(3 - (-7389)/(-2457)). Do -637 and v have the same value?
True
Let q = 16 + -15. Let i be 2775/(-36) + q/(-4). Let k = i - -78. Which is bigger: -1 or k?
k
Let s = 159 - 256. Let b = s - -98. Which is greater: -1 or b?
b
Let o be (888/9)/4*(-9)/(-12). Suppose 5*b - 35 = 55. Is o < b?
False
Let h(b) = -b**2 + 20*b - 73. Let v be h(15). Is 23/20 equal to v?
False
Let o(s) = 2*s**2 + 35*s + 138. Let d be o(-13). Is d at least as big as 1?
True
Suppose -2*m - 4*l + 62 = 0, 4*m - m = -l + 78. Let r(c) = 12*c**2 + 4*c + 2. Let t be r(-2). Suppose 5*w - t = 78. Which is smaller: m or w?
w
Let p(x) = 2*x**2 + 10*x + 21. Let m(y) = -y**2 - 3*y - 7. Let r(c) = 8*m(c) + 3*p(c). Let n be r(4). Which is greater: n or -11?
n
Suppose -3*m + 4*t = 2*m + 39, -5*m - 4*t - 31 = 0. Let r be (-12)/21 + (-172)/m. Which is smaller: 26 or r?
r
Let x = -351 - -353.23. Let d = -0.23 + x. Let m = -2 - d. Which is greater: m or -1?
-1
Let l(d) = -25*d**3 - 2*d**2 - 3*d - 1. Let p be l(-1). Let k = -8 + 7. Let m be p + 0 + (k - 0). Is m >= 24?
True
Let l = 500 + -520. Let g = -0.8 - 0.2. Which is bigger: l or g?
g
Let k = 51 - 52.3. Let y = -93 - -82.1. Let o = -11 - y. Is k bigger than o?
False
Suppose 0 = 33*n + 21 - 120. Which is smaller: 25/8 or n?
n
Let j(v) = 2*v**3 + 32*v**2 - 23*v - 21. Let m be j(-15). Which is smaller: 775 or m?
m
Let k(n) = n**3 + 11*n**2 + 5*n + 3. Let q be k(-11). Let j = 362/7 + q. Is -2 at least j?
False
Let s = 8.84 + -3.84. Is -1/2 less than s?
True
Suppose 168 = -4*m + m. Let q = -56 - m. Are -2/63 and q unequal?
True
Let w = 92 - 97. Let o = w + 5. Is o greater than 3?
False
Let b = 7 + -5.1. Let f = -6.1 - b. Let j = -9 - f. Which is smaller: j or 17?
j
Let d = 16.73 + 5.17. Let y = -22 + d. Which is greater: y or -1.4?
y
Let q = -80.7 + 88. Let j = q - 8.3. Which is bigger: -4.4 or j?
j
Let b(l) = l**2 - 18*l - 65. Let h be b(21). Let o be h/9 + 2720/90. Is o > 30?
False
Let r = -224 + 212. Let s(b) = -b**3 - 2*b**2 - 2*b + 1. Let d be s(-2). Suppose -i + 58 = -d*z - 4*i, 2*i - 20 = 2*z. Are z and r equal?
False
Let k = -51 + 50.95. Let i = 0.1 - -0.2. Which is greater: i or k?
i
Let u = -282731 + 3672380/13. Let s = -240 - u. Let n be 7 - (4 - 1) - 3. Which is bigger: s or n?
n
Let d = 146 + -29. Let o be ((-462)/d + 4)*-3. Is 2/7 != o?
True
Let l = 0.1414 - -0.0586. Which is smaller: l or 32/15?
l
Let y = 7 + -2. Let g = 5.5 - y. Suppose -3*d - 3*a = -12, 4 = a + 2. Is d >= g?
True
Suppose y - 3 = -7. Let g be (-946)/561 + y/(-3). Do g and -1 have different values?
True
Let y be (30 - 29)*(-2)/(-8). Are y and 1 non-equal?
True
Suppose -146*q + 330 = 80 - 188. Let w(x) = 2*x + 0 + 1 - x - x**2. Let l be w(1). Which is bigger: l or q?
q
Let z = -14 - -28. Let n = -14.32 + 0.42. Let t = n + z. Are 2 and t equal?
False
Let k = 7 + 3. Let b(f) = -f**2 - f. Let y be b(-1). Suppose -2*w + 3 = -g + 15, y = 5*w + 5. Is k greater than or equal to g?
True
Let q(u) = 66*u - 202. Let l be q(5). Which is bigger: 126 or l?
l
Let s = -2288 + 2272. Which is greater: s or -160/11?
-160/11
Let y = 22147 + -155409/7. Which is greater: y or -54?
-54
Let a = -0.37 + 0.24. Let j = -37.7 - -35.7. Which is smaller: j or a?
j
Let b = 315020/3003 - 1154/11. Which is smaller: b or 0?
b
Let x(z) = -29*z**2 - 2*z + 9. Let t be x(-2). Which is smaller: -108 or t?
-108
Let r(y) = -y + 14. Let l be r(0). Let s be (-12)/l - (-1 - -3). Suppose -22 = 3*b - 4*b + 5*h, -4*h = -5*b + 5. Which is smaller: s or b?
b
Let h be (48/9 - 3)*6. Let q = h + 4. Is 19 bigger than q?
True
Let y be -1 - -1 - (-15)/3. Suppose -3*m = -y*a - 77 - 44, 3*m = a + 125. Let l be 7/m + (-10)/(-12). Is -3/17 at least l?
False
Let c = 280 + -3642/13. Suppose 2*x + 5*u - 32 = 0, 0 = 4*x - 2*u - 2 - 14. Suppose -x = -r + 7*r. Which is bigger: c or r?
c
Let b(m) = -m**2 - 7*m + 8. Let g be b(1). Is 3 greater than g?
True
Let w be 1 + -3 - 86/(-44). Let r = 0.6 - 0.7. Which is smaller: r or w?
r
Suppose 46*r - 42*r = -32. Is r less than -100/11?
False
Let d(w) = -w**3 - 5*w**2 + 3*w + 5. Let s be (-27)/(-63) + 76/(-14). Let j be d(s). Let n be j/65 + (-76)/(-325). Is n at most as big as 1/2?
True
Let b = 1057 - 1056. Is b <= -6/91?
False
Suppose 26*o - 19*o - 49 = 0. Suppose -7*t + 4*t + 9 = 0. Suppose -4*m + 2*m + 29 = -t*z, m - 2*z = 17. Is m >= o?
True
Let k be -1 - (-2189)/2200*1. Which is smaller: k or 0?
k
Suppose 4 - 30 = -2*q - 4*m, 4*q + m - 38 = 0. Let v be (2/(-4))/(1/(-12)). Is q at most v?
False
Let g = -59 - -37. Let v = g + 24. Which is smaller: v or -1?
-1
Suppose 8*o + 192 = 2*o. Let l = o - -34. Are l and -2 non-equal?
True
Let z = 476 + -779. Which is bigger: z or -304?
z
Let i be 20/(-15)*3/(-46). Which is smaller: i or 11?
i
Let r = 62 - 67.5. Let c = r - -5.7. Do -0.07 and c have different values?
True
Let c = 290 - 254. Which is bigger: c or 37?
37
Let s(z) be the second derivative of -z**5/20 + 5*z**4/6 + 2*z**2 - z. Suppose 14*x = 169 - 29. Let n be s(x). Is n less than 0?
False
Let j = -15.83 + 10.47. Are 2/3 and j unequal?
True
Let m(g) = 70*g**2 + 2*g - 2. Suppose 2*f = -4*a, -4*f = -2*a - 0*f + 10. Let q be m(a). Let o be (-28)/q - 1/(-5). Are -2 and o non-equal?
True
Let w = -80 + -5. Is w < -85?
False
Let v b