0 at least as big as m?
False
Let x be 10*1062/86040 - (-1)/(-2). Is 0 at least x?
True
Suppose v + 7 = 4. Let s be 8/(-3)*42/(-56). Let z be (-196)/(-42) + s/v. Is 4 greater than or equal to z?
True
Let x = -22 + 62. Let t = x - 39.9. Let w be (51/136)/(2/(-4)). Which is smaller: w or t?
w
Let i be (-200)/12 + (17 - -1). Suppose 5*u = 3*u. Let x = u - -2. Which is bigger: i or x?
x
Let n = 4/761 + -5435/20547. Suppose 0 - 4 = 4*q + 3*p, q = 5*p - 1. Which is bigger: q or n?
n
Let r be (-21325)/(-117700) + (4/22)/(-1). Is 0 at least r?
True
Let l = -0.55 + 0.5. Let c = 105 - 105.29. Let p = c - l. Is p > 1?
False
Let h be 121181/(-666) + (-24)/108. Let o = h - -365/2. Which is greater: 1 or o?
1
Let n = -32350 - -28627. Which is smaller: -3726 or n?
-3726
Let z be 1/(-2) - (-61)/2. Let n(v) = v**3 + 24*v**2 + 87*v - 121. Let h be n(-19). Is z > h?
False
Let v be 6/(-4)*152/(-6). Let d = 285 - 246. Let l = d - v. Which is bigger: 2 or l?
2
Let y = -12809/3657 + 201/53. Which is smaller: 0 or y?
0
Let b = -207 + 209. Suppose -3*n = 2*n + b*n. Let l = 1.2 + -1.07. Which is bigger: n or l?
l
Let f = 9091 - 10121. Is -2/5 less than f?
False
Let q be (3286/(-93))/(99/378). Is q < -136?
False
Let m = -1171 - -3589/3. Let k = -377/15 + m. Which is smaller: k or -0.26?
-0.26
Let p(x) = -89*x - 1526. Let m be p(-17). Is -627/50 smaller than m?
False
Let r = 7250 + -65158/9. Are r and 11 equal?
False
Let c = -305 - -365. Let z be (-5)/(c/(-8)) + 724/(-1077). Is z less than 1?
True
Let t = -0.2759 + 3.2759. Which is greater: t or -389?
t
Suppose c = 2*c - 53. Suppose 5*m - 1386*q + 1384*q - 150 = 0, q = -4*m + 133. Suppose 2*x - 4*x = -4*i - m, -c = -3*x + 5*i. Are 27 and x equal?
False
Suppose -25 = o + 2*o + p, 5*o + 49 = 2*p. Let y be 87 - (8/36 + 2/o). Let h = y + -5135/59. Is h != -1?
True
Let j(c) = -37*c**2 + 113 - 22 + 36*c**2 + 21*c. Let y be j(25). Is -10 bigger than y?
False
Suppose -2*m - 5*p + 25 = 0, m - 7*p + 3*p + 20 = 0. Suppose -5*w + 13*w - 160 = m. Suppose -a = -3*a + 42. Which is smaller: a or w?
w
Suppose -1 = 5*z + l + 4, -2*z - 5*l = 48. Let f = 1226 + -730. Let k be (-1)/(-4) + 36/f. Are k and z unequal?
True
Let p = -1 - 8. Let d be (0 + 3)/(p - -6). Let g = 35.8 - 36. Which is bigger: g or d?
g
Let v = -613 - -727. Is v greater than 113?
True
Let g = -0.2 + 0.1. Let u be (14 - 39) + (-11 - 0). Is g bigger than u?
True
Let b(t) = -t**3 - 6*t**2 + 72*t + 94. Let c be b(-11). Which is greater: c or -94?
c
Let d(l) be the third derivative of -l**5/60 + l**4/6 - 5*l**3/3 - 22*l**2. Let j be d(9). Let g = -56 - j. Which is bigger: -12/11 or g?
g
Let v = 2.09 + -0.09. Let d = 240 + -182. Let w = -58.05 + d. Is w < v?
True
Let o(f) = -f**2 - 18*f + 22. Let v be o(-19). Suppose 5*m - 3*m = 0. Suppose m*x = -v*x + 45. Are 13 and x nonequal?
True
Let x = 77 + -77. Let d = 4 + x. Suppose g - 5*g - d = 0. Is g at least -2/165?
False
Suppose 109 - 74 = -5*g. Let q be -1 + -3 - 16/(28/g). Do -15/26 and q have different values?
True
Let n be (-29 + -3)/(12/(-150)). Which is greater: 3590/9 or n?
n
Let k(b) = -b**3 + 9*b**2 - 2*b + 1. Let d be k(9). Let t = -25 + d. Let y be (-12)/t*(-2)/2. Which is smaller: y or -1.6?
-1.6
Let j = 0.1 + -0.16. Let x = 2.6804 + -2.6484. Which is smaller: x or j?
j
Let l be (48/(-46) - -1)*(80 - 81). Let t = -43/69 - l. Is 0.115 equal to t?
False
Let n = 203 - 87. Suppose n*u - 105*u = 0. Do 239 and u have the same value?
False
Let y = 8/2299 - 581/170126. Is y < 1?
True
Let o = -9817 + 2780. Is -7035 greater than or equal to o?
True
Suppose -3*a - 6 = -4*v, -4*a + 4*v - 8 = -v. Let h be (479/105 + 3/(-7))/((-44)/22). Is h bigger than a?
False
Let o = -148 - -149. Let h be (-4 + 0 + 4)/o. Let m = -20 - -25. Is h at least as big as m?
False
Suppose -2 = -2*m - 26. Let b be (3/m)/1 + (-26)/(-8). Let h be b + 56/(-10) - 3. Are h and -1 equal?
False
Let i = -9 - -5. Let o(d) = -2*d + 28. Let t be o(14). Suppose t*h - 2*h - 2*r = 12, 4*r = 5*h + 30. Which is greater: i or h?
i
Let p(n) = n**3 - 16*n**2 - 12*n - 100. Let m be p(10). Which is smaller: -824 or m?
-824
Let f(p) = -p**3 - 8*p**2 - 15*p - 14. Let w be f(-6). Suppose 5*o - 27 = -b, -b + o - 3 = -w*o. Which is smaller: b or 0.1?
0.1
Let t = -19/14 + 667/574. Suppose -9*z = -4*z + 5*z. Is t at least z?
False
Let o = -12 - -17. Suppose -4*n + 2*c = -3*n - 3, 2*c = o*n + 1. Let r be -2*(-8 + 356/44). Is n >= r?
False
Let k = 845 - 597. Let c = k - 247. Does -1/361 = c?
False
Suppose 19*i - 2*u = 22*i - 157, 0 = -5*u + 10. Let g = -80 + i. Is g not equal to -10?
True
Let x(b) = 4*b**2 + 4*b. Let k be x(1). Suppose -15*u - k*u = 23. Let i = -111/182 + 7/13. Is u equal to i?
False
Let b be (6219/3114 - 2)*-1. Is 1 less than or equal to b?
False
Let u be (-22)/4 - (15/6 - 3). Let m be -9 - ((6 - 1) + u). Is m bigger than 3/10?
False
Let j be (-973)/70 + 3/(-30). Let y be (-8)/(-6)*(-63)/j - -32. Which is bigger: 39 or y?
39
Let o be (-5 + 7)*99/18. Let p be -87*((-1)/(-4))/((-27)/12). Which is greater: o or p?
o
Let s = -20 + 32. Let b = -306 - -548. Let n = -229 + b. Which is greater: s or n?
n
Let c = -109.9781 - 0.0219. Let b = c + 109.991. Are -2/5 and b non-equal?
True
Suppose 2*g + 5*f + 1427 = 0, -7*g + f + 2809 = -11*g. Is g not equal to -3501/5?
True
Let q be 25/(-1) - 2*-1. Let g = -356 - -712. Let f = -379 + g. Is f less than q?
False
Let y = -9.514 + 11.44. Let w = y + -2. Let o = -47.926 + w. Are 2/3 and o non-equal?
True
Let j = 293/138 - 14309/6762. Let o = j - -10618/1127. Does o = 9?
False
Let j = -14358 - -12257. Which is smaller: -2097 or j?
j
Let m = -0.0726 + 16.1826. Let w = -16.2 + m. Is w at least 0.04?
False
Let l = -638 + 638. Suppose l*i - 24*i = -1176. Which is smaller: i or 51?
i
Let c(o) = -54*o - 118. Let j = 148 + -155. Let i be c(j). Is 261 < i?
False
Suppose 2*o = -18 + 6. Let b be ((-9)/o - 0)*(-3 - 7). Let i be 6/10*(b - 0). Which is bigger: i or -12?
i
Suppose 52*l - 47*l = 1100. Which is smaller: l or 219?
219
Let p(b) = 20*b**2 - 17*b - 18. Let d be p(10). Let u be (-1)/5 + d/8760. Is u equal to -1?
False
Let u = 253 - 249. Let x be 245/(-56) + u + 163/424. Is x > 0?
True
Let h = -4.1 - -4. Let n = 403.9684 - -0.0316. Let y = 405 - n. Which is bigger: h or y?
y
Suppose -3*q = -5*c - 1030, 0*q = 3*c + 2*q + 599. Let f(r) = 6*r**3 + 23*r**2 - r - 33. Let z be f(-5). Is z > c?
False
Let z(p) = p**2 - 62*p + 458. Let r be z(62). Is r at least as big as 457?
True
Let k = 7.9 - 5. Let t = -1.9 + k. Let v = 0.65 - -3.25. Is v greater than t?
True
Let f = 20306421/43 + -472266. Which is bigger: f or -23?
-23
Let q = 190661/14 - 13627. Is -9 smaller than q?
True
Let z = -52 - -63. Suppose -v = -z - 11. Which is smaller: v or 14?
14
Let q be 7/(84/120) - 1000. Is -992 at least as big as q?
False
Let f(u) = -2*u**3 - 10*u**2 - 3. Let t = -50 + 46. Let p be f(t). Which is smaller: p or -36?
-36
Suppose 0 = -209*s - 273*s - 3856. Are -427/47 and s unequal?
True
Let f = -48828.06 + 49263. Let v = f - 435. Do 7 and v have the same value?
False
Let b = 77/41 - 19409/10291. Which is smaller: 0 or b?
b
Let k be (-2 + 1)*1*0. Let l = 209 + -209.027. Let x = -0.063 + l. Which is smaller: k or x?
x
Let n = -0.009 - 0.291. Let h = n - -0.37. Let d = h - -0.03. Does 0.047 = d?
False
Let w(s) = -2*s**3 - 61*s**2 - 28*s - 390. Let q be w(-30). Which is smaller: -452 or q?
-452
Suppose 0 = -3*y + 4*y - 5*y. Suppose y = -3*m - 3 + 3. Suppose -3*u - 3*i - 12 + 0 = m, 3*i = -u - 4. Which is greater: -27/7 or u?
-27/7
Suppose 24*h - 18 = 21*h. Let d(z) = 7*z - 40. Let n be d(h). Which is smaller: 32/17 or n?
32/17
Let s be (-1)/(-16)*4/(-34). Suppose 29 + 245 = 258*j + 16. Which is bigger: s or j?
j
Let m(s) = -s + 22. Let w be m(14). Let j(t) = -9*t - 42. Let u be j(-5). Suppose -w*p + i = -u*p - 5, -3*i + 1 = p. Is p at least as big as -1.5?
True
Let t = -11.094 + 9.694. Which is smaller: 11 or t?
t
Let y be 1548/(-126)*-1*7. Suppose -n - 3*c + y = 0, 411 = 4*n + n - 4*c. Is n greater than 83?
False
Let v = -293.7 + 292.52. Let o = 41.83 + -43. Let r = v - o. Which is bigger: r or -0.9?
r
Let m be (-4)/50 - ((-18)/(-675))/(8/(-24)). Let o = 734 + -24. Let g = o + -50412/71. Which is smaller: m or g?
g
Let m(s) = 4*s - 1. Let d be (-1)/(-2)*(6 + -4). 