j = -4377 - -4308. Are -84 and j equal?
False
Let o = 161 - 122. Let v = -12 + 58. Let u = o - v. Which is greater: u or 1/2?
1/2
Let q be (-177)/(-15) + 4/20. Let p be (1170/20)/(-13)*(-16)/6. Is q bigger than p?
False
Let i be 30/27*7920/27. Let r = i - 326. Is 1 > r?
True
Let s be (-24)/11 - (-6105888)/(-98208). Do s and -63 have different values?
True
Let t be (-198)/(-15) - 247/19. Is -0.0477 >= t?
False
Let n = -113 + 228. Let w = 114 - n. Which is smaller: 5/8 or w?
w
Let v = -4635 + 4634.8. Let c be 3/(-222)*(1 + 1). Is v < c?
True
Let x be -35318*(-6)/(-348) + 5. Let y = -604 - x. Is -1 bigger than y?
False
Let c = 359329/13 + -27627. Let k = 16 + -3. Is k bigger than c?
False
Suppose -5*m - 2*z = -9730, -1386*m + 5*z = -1384*m - 3921. Is 1944 at least as big as m?
False
Let a be (-11814)/(-99) - 3*6/(-27). Let g(z) = -z**3 + 11*z**2 - 6*z + 11. Let u be g(9). Which is smaller: u or a?
u
Let n(b) = -7*b + 4. Let h be n(0). Let s be 1/2*62 - (-4)/h. Which is smaller: 26 or s?
26
Suppose 5*q - 2*n = -240, 5*q + 240 = -0*q + 5*n. Let u(o) = o**2 + 6*o + 26. Let w be u(-7). Let i = q + w. Is i != -15?
False
Let n be 10/(-6) - 216/(-81). Let j be n/((-20)/308) - (-4)/(-10). Which is bigger: -17 or j?
j
Let l be 5 + -5 + (0 - -1). Let d be (2/20)/(8/1664). Let z = d - 21. Does z = l?
False
Let m(t) = -29*t**2 + 53*t**2 - 49 - 23*t**2 + 20*t. Let g be m(-23). Is g > 25?
False
Suppose -2*v + 3*t = -390, 5*t = v - 0*v - 202. Let h be 5*(240/(-70))/((-5)/56). Are h and v unequal?
False
Suppose -4*z + 15 = -y + 4*y, -2*z + 5 = y. Let a be y*(-7)/((-140)/(-192)) - 0. Let o = -19 - a. Is o at least 29?
True
Let b = -7816 - -6804. Is -1017 greater than or equal to b?
False
Let u = 1348397/3715 - 119/743. Which is smaller: 362 or u?
362
Let v(y) = -y**2 - 8*y - 15. Let c be v(-8). Let g be (1 - -3) + 16 + c. Suppose -q - g*x + 12 = 0, -4*x + 13 = 2*q + 1. Which is smaller: 8/3 or q?
q
Suppose 4*n + 7*i - 3*i = 372, 2*n - i - 201 = 0. Suppose -4*j = 2*c - n, 4*j + 18*c - 68 = 22*c. Is 16 <= j?
True
Let n = 2941 + -2941.2. Does n = 107?
False
Let y = -3945 - -4052. Which is smaller: 98 or y?
98
Let v(i) = i**3 + 3*i**2 - i - 5. Let h be v(-4). Suppose -24*m = -m. Suppose 2*u + 4*r + 40 = m, -4*r + 5*r - 14 = u. Which is bigger: u or h?
u
Let q = 195/19 + -604/57. Is q bigger than -0.0255?
False
Suppose 4*m - 21 = 4*x - 1, -10 = 2*m. Let i(t) = 2*t**3 + 20*t**2 - 11*t - 15. Let z be i(x). Let g be (z/75 - 1)*(-15)/66. Is -0.2 at least g?
False
Let d = 1.1 - -0.1. Suppose 3*q + 5*j = 7*q + 469, 5*q + 2*j + 545 = 0. Let a = -108 - q. Which is bigger: a or d?
a
Suppose 0 = -m + 4*h - 36, -3*h - 2*h = 5*m + 155. Suppose 10*j - 165 = 5*j. Let i = j + m. Does 1 = i?
True
Let h be 7/((-42)/16452) - 13. Do -2755 and h have the same value?
True
Let z(m) = m**3 + 33*m**2 - 141*m + 220. Let p be z(-37). Is 7 less than or equal to p?
False
Let o be -54 - -70 - (-12069)/1. Is 12085 at least o?
True
Let h = -237/103 + 1041/721. Is -9/16 at most h?
False
Let z(v) be the third derivative of -v**5/30 - 25*v**4/12 - 49*v**3/6 - v**2 + 3. Let g be z(-24). Are -1/13 and g equal?
False
Let x be 2/7 + (-1480)/4788. Let g = -8643.1 + 8643. Is x at least g?
True
Let i(v) = -3 + 11 + 15*v - 64 - 3*v + 16*v. Let l be i(2). Which is greater: l or -9/59?
l
Let n be (-6 + 8)*(415/(-10) - 5). Let t = -174 + 81. Is t greater than or equal to n?
True
Let q = -59/9 - -1055/117. Suppose -5*k = 4*r - 14, k - 6 = -4*r - 0. Is q < r?
False
Let j be 22/((-858)/(-481)) + -10. Which is bigger: -908 or j?
j
Let v = 189 - 189. Suppose -5*n + 11*n = v. Is n > -8/35?
True
Let f = 13061 + -13061.079. Is f at least 0.14?
False
Let v = -631.67 - -633. Let n = v + -2.33. Is 22 smaller than n?
False
Suppose h + 392 = 15*h. Suppose 6 = 31*t - h*t. Suppose -5*r + 3*z + 313 = -r, 2*r = -t*z + 174. Is 81 at least r?
False
Suppose 3806 + 2256 = -7*f. Let b be 19/38 + f/1748. Is b at most -1?
False
Let t = -9664 - -5468. Is t >= -4196?
True
Let a be (-48)/(-70) + (-4)/14. Let k = 579 - 578.9899. Let v = k + 4.8899. Which is bigger: v or a?
v
Suppose 34*z + 22 + 70 = -58*z. Is 13/135 greater than or equal to z?
True
Let v = -121 - -194. Let d = 0.7 + 32.3. Let f = v - d. Which is bigger: f or 0?
f
Suppose -5*n + 3 = -2. Let q(l) = -22*l - l**3 + 3*l**2 - 31*l**2 + 23*l**2 + 28*l**2 + 1. Let t be q(22). Is n at most as big as t?
True
Let l = 23 - -1. Let t = -168 + 168. Let g be (t + (-1)/3)/(50/(-3750)). Is g != l?
True
Let h(b) = 154*b - 5400. Let n be h(35). Is -415/38 greater than n?
False
Let l = 3/53905 + -3885473/10781. Let j = -361 - l. Let o = 0.23 + 0.07. Is o bigger than j?
True
Let q be ((-14)/(-63))/(8/18) - (-16)/(-36). Let k = -398/9 + 44. Is q > k?
True
Let i = 34.52 - -0.48. Let s = i - 29. Let v = -5 + s. Are -1/3 and v unequal?
True
Let g be (-160)/(-30)*6/4. Suppose -g*l = -l - 70. Let v be 1/2*(15 - -1). Which is smaller: v or l?
v
Let w be (-142)/(2*(-2)/(-8)) + 35 + -37. Suppose -3*f + 5*f + 572 = 0. Is f > w?
False
Let t be (1/(-4)*-2)/(6*(-8)/336). Is t greater than or equal to -16?
True
Let c = 227 - 227. Suppose -3*p + w - 219 = c, -w = -5*p + w - 366. Is -72 > p?
False
Suppose -5*s - 2*r - 1035 = 0, 4*s + 8*r - 13*r = -828. Let k = s + 539. Is 332 at least k?
True
Suppose 0 = -104*b - 71 - 241. Suppose 2*m + 20 = -m - 2*z, 4*m + 23 = z. Let c(j) = -2*j**2 - 12*j + 1. Let p be c(m). Is p less than b?
False
Let q be 6/(-10) + (-61400)/1000. Is q <= -371/6?
True
Let y(t) = -4*t - 9. Let x be y(-6). Let u be (-9)/x - (-16)/10. Suppose -4895*q + 4716*q = -895. Is q at most u?
False
Let r = -49 - -53. Suppose -15 = -3*o, -2*b + 0*b + 8 = -r*o. Is b equal to -2?
False
Let k(c) be the second derivative of -7*c**5/10 + c**4/4 - c**3/3 + c**2/2 - 18*c. Let i be k(1). Let b be 37 - (-3)/(i/8). Is 36 > b?
True
Let p(k) be the first derivative of 4*k**2 - 18*k - 74. Let x be p(2). Which is smaller: x or 1.6?
x
Let k = 31 - 85. Let h = k + 32. Let o = h - -26. Is o < 4?
False
Suppose 0 = -42*n + 19*n + 24*n. Suppose -r = -n*r + 271. Is -273 < r?
True
Let p(b) = -b**3 - 18*b**2 + 25*b + 125. Let w be p(-19). Let t = -16 + 159. Let j be 2/w + (-26)/t - -6. Are j and 3 non-equal?
True
Let d = -57 + 29. Let y = -297 - -339. Suppose -4*r - y = 74. Which is greater: d or r?
d
Let t be (2/(-4))/((-3073)/(-1022) - 3). Let j = -73 - t. Are j and -7/78 equal?
False
Let n = 127 + -217. Let q be 4/10 + (-184)/n. Let o be 4/(((-11)/(-44))/(6/48)). Is o >= q?
False
Let n = 14.84 + -15. Let v = -0.24 + n. Let d = 100 + -99.3. Is v bigger than d?
False
Let r(d) = -3*d**2 - 13*d + 12. Let o be r(5). Is o <= -121?
True
Let d = -3/127 - 143/4699. Let p be 2/15 - 7/(420/8). Is p < d?
False
Suppose 21*z - 17*z = -520. Let q = 20 + z. Let p be (-12*2/q)/(3/30). Which is smaller: 1 or p?
1
Let j(p) = -2*p**3 - 137*p**2 + 212*p + 141. Let g be j(-70). Which is greater: g or -25/438?
g
Let w = -2831.7 + 3405. Let o = w - 573. Which is bigger: o or -2/401?
o
Let w be (2 - (-485028)/(-390))/(1463/(-5)). Let y = -328/77 + w. Is 1 at least as big as y?
True
Let p = -0.63 - -4.93. Let s = -6.7 + 3.4. Let k = s + p. Is k >= -3?
True
Let d = 1/911 + 584/297897. Let p = -977/1308 - d. Is p less than -4?
False
Suppose -184*v + 119*v = -65. Is -7/219 > v?
False
Let m = -1230 + 6109/5. Let n(k) = 262*k**2 - 1837*k + 14. Let d be n(7). Does d = m?
False
Suppose -5*g - 209 = -9. Let j = 728 + -430. Suppose j = -9*f - 53. Which is smaller: f or g?
g
Let u be ((-15725)/34)/37*(-2)/7. Is u greater than or equal to -0.31?
True
Suppose 14*f + 1691 + 213 = 0. Let w = f + 139. Which is smaller: 7 or w?
w
Let u = -4536/41 - -136459/82. Which is greater: 1554 or u?
1554
Suppose 0 = 28*h - 5187 - 5714 - 5479. Which is greater: 1757/3 or h?
1757/3
Let d be (3088/(-37828))/((-4)/14). Is -1/17 != d?
True
Let d = 0.234 - 152.234. Let t = -110 - d. Which is greater: t or 3/5?
t
Let i = 3.2 - 3. Suppose -656 = 4*w + 3*v, 0 = 2*w + 4*v + 223 + 105. Is w less than or equal to i?
True
Let x(c) = c + 6. Let v be x(-8). Suppose 0*r - r = 4*d - 5, -3*r + d = -2. Let m = r + v. Is -1 < m?
False
Let w = -781 - -269. Let c = w - -1492/3. Which is smaller: -15 or c?
-15
Let x = 3073 - 3063. Is 93/2 greater than or equal to x?
True
Suppose -2918 - 6676 