bigger than -4551?
False
Let z = -721 + 720.858. Is z at most 1/2?
True
Let h = 847 - 1109. Which is smaller: h or -2/9?
h
Let z(w) = w**2 - 26*w + 8. Suppose -6*i = 3*a - i - 66, 4*a - 88 = 3*i. Let h be z(a). Which is bigger: -78 or h?
-78
Let j = 88741/165723219 - 1/42417. Let x = j + -86032/152373. Which is greater: x or 0?
0
Let x = 2/55 - 150/11. Let z = x - -1637/120. Is 2 > z?
True
Suppose -102 = 3*h - 6*k + 3*k, h - 4*k = -40. Let p be ((-1)/((-20)/h))/((-26)/5). Is p smaller than -1?
False
Let h = -4 + 3.93. Let a be (126/(-6))/((-6)/4). Let q be 50/(-8)*a/35. Is h < q?
False
Let q = -125 + 130. Suppose 2*o - 4*j + 0*j + 40 = 0, j - 91 = q*o. Let d be (18/(-4))/(1/4). Is o > d?
False
Let f = 232 + -231. Let n be 8/(-112) + f/2. Is n greater than -0.03?
True
Suppose -s - 1119 = 2*s + 3*p, 5*p = -5. Let j be s/(-124)*(1 + -1 + 13). Is 40 greater than j?
True
Let s(n) = -5*n - 11. Let q be s(-9). Suppose -x + 24 = -q. Let w = 59 - x. Is w at most 14/11?
True
Let t = -68834 - -68833.9. Let q = 218 - 311. Which is greater: t or q?
t
Let s = 218147535/23 - 9487620. Let j = 2945 + s. Let r = -31 - -32. Which is greater: r or j?
r
Let h = -114.202 - -0.202. Let u = 74 + h. Which is bigger: u or -2/7?
-2/7
Let x = -0.2 + 2.2. Let u = x + -5. Let l = -51.61 + 48.61. Is u at least l?
True
Let d = -152.7 + 151.7. Is -2/1651 > d?
True
Let l(r) = -3*r**2 - 17*r + 56. Let j be l(-8). Suppose 360 = -j*z - 8*z. Is -49 smaller than z?
True
Let i be 390/24*(-80)/(-100). Is 6 at most i?
True
Suppose 0 = -3*t - 63 - 570. Let u be (87/(32625/(-300)))/((-4)/(-1050)). Which is smaller: u or t?
t
Let f be -2*((-5)/2 + 0). Let i(j) = 1 - 5*j**2 - 5 - 212*j + 213*j + j**3. Let c be i(f). Which is smaller: c or 1/42?
1/42
Let r = -24229/10 + 2425. Suppose 18*a - 16*a - 4 = 0. Suppose 4*s - 20*t + 23*t - 2 = 0, -t = a. Does s = r?
False
Suppose 5*c + 100 - 500 = 0. Let n = 80 - c. Let x be 6/(-10)*(-35)/15. Are x and n equal?
False
Suppose 34*p - 40*p + 12 = 0. Let n be (-9)/p*(-8)/(-12) + 5. Let h be 8/3 - n - 8/3. Is 19 < h?
False
Let o = -106.933 - 0.067. Let m = o + 59. Let g = m - -56. Is g at most as big as -4?
False
Suppose -16*l + 18*l = -5*s + 67, 52 = 2*l + 2*s. Let q be 1/(33/228) - (-84)/l. Which is bigger: 11 or q?
11
Suppose 2*z + j = 10, -z - 3*j + 173 = 163. Which is smaller: 205/51 or z?
z
Let y be -1 + (-11)/(-9) + 5909/5472. Let z be 2/(-3) - 134/(-192). Let p = y + z. Which is smaller: 0 or p?
0
Let m = 13.7 + -15.2. Let r = 206.5 - m. Which is smaller: 1 or r?
1
Let r = 9349 - 9370. Are 106 and r nonequal?
True
Let k = 233.4 - 256. Let r = -57.4 - k. Let w = r - -35. Is w greater than or equal to -13?
True
Suppose 4*m - 4*d + 5 = 25, 4*m + d = 25. Suppose 0 = m*n + 1 - 13. Suppose 4*o - 30 = n*j, -63 = j + 3*j - 5*o. Is -19 < j?
True
Let y be 13/((-1170)/456)*14270/3. Let i = y - -24126. Is 26 less than or equal to i?
False
Suppose 0 = -4*i - 4*t - 96, 4*i + 21 + 76 = -3*t. Let y = i - -7. Let w be 6/y + 14/6. Is w <= 5/3?
False
Let p = -4849 - -2882. Are -1967 and p non-equal?
False
Suppose -128*c = -133*c - 995. Let g = -239 - c. Is -36 at least as big as g?
True
Let n be (-4)/(-66) - (-1384)/(-1903). Let j(r) = r**2 + 8*r + 6. Let c be j(-7). Which is bigger: c or n?
n
Suppose -36*r + 16*r + 154*r + 2948 = 0. Is 13 < r?
False
Suppose -499*r - 22 = -510*r. Suppose r*h + 103 = -s, -563 = 6*s - s - 2*h. Which is greater: s or -109?
-109
Let f = -382 - 54. Which is smaller: 4 or f?
f
Let d(b) = b**2 + 57*b + 145. Let k be d(-10). Which is bigger: k or -979/3?
k
Let p = -286 - -295. Let t(l) = -l**2 + 7*l - 103. Let y be t(p). Is -121 smaller than y?
False
Suppose 2*y - 296 + 270 = -4*b, 2*y - 14 = -2*b. Are y and -99.87 nonequal?
True
Let w be (-50 - -51) + 5*1. Let p be (1/(8/(-50)))/((-216)/192). Which is bigger: p or w?
w
Suppose 2*c + 3*k + 30393 = 0, -389*k + 30396 = -2*c - 393*k. Is c equal to -15192?
True
Let y be -1 - 12 - (-5070)/720. Is y less than -6?
False
Let l be (3 + 552/(-1))*13*38/(-2223). Is 54 <= l?
True
Let m = 78 - 1405/18. Let v = -0.2 + 0. Is m at least as big as v?
True
Let a be (-4)/(-11)*(1183/119 + -10). Which is smaller: 0 or a?
a
Let h = -16407 - -16560. Let c = -124 - 13. Let y = h + c. Which is bigger: -0.1 or y?
y
Let q be (-875)/(-2) - (331 - 322). Which is bigger: 429 or q?
429
Suppose 0 = 492*c - 487*c - 3*y, c + 4*y = 0. Which is bigger: 2/1695 or c?
2/1695
Let s = -0.002 - 1.098. Let w = 19.5 - 18. Let p = s + w. Is -1/4 at most as big as p?
True
Let f = -1/2650880 - 5231001/187573617920. Is 1 at most as big as f?
False
Let d be 1 - (-3)/3 - (1 + -1). Let g(v) = -24 - 29*v**2 + 40*v**3 - 84*v**3 + 45*v**3 + v. Let l be g(29). Is d less than or equal to l?
True
Let u = 90/23 + -877/230. Which is greater: -2/207 or u?
u
Let k = -0.555 + 0.565. Let u = 1.01 - k. Let g = -6.5 - -1. Is g bigger than u?
False
Let l = -448 + 7598/17. Let u be 3/(-7) - 100/175. Let n be 76/12 - 7 - u/(-3). Which is bigger: l or n?
n
Let u = -5.071 + 5.041. Is u greater than or equal to 198?
False
Let a = 18879 - 27747. Which is greater: a or -8869?
a
Let l = -92 + 89. Let i(k) = -3*k**2 + 5*k + 52. Let d be i(0). Are l and d nonequal?
True
Suppose 4*p + 2*q - 2 - 4 = 0, 5*p = q + 4. Let j be -8 - 24/(-5536)*1845. Let d = j - -5541/3460. Is d at least p?
True
Let c = -19 - -33. Let x be 382/c - 2/7. Suppose 6 - x = 3*q. Which is smaller: -17/3 or q?
q
Let p be 218/14 + (36/(-28))/(-3). Suppose 40 = -2*w + p. Suppose l = -2*f - 8, -5*l - 2 = 2*f + 54. Is w < l?
False
Suppose -164 = 5*r - 4*f, 5*r - 4*f = -8*f - 196. Which is smaller: r or -49?
-49
Suppose 5*k = 4*q - 177, 5*q - 4 - 11 = 0. Let d(c) = 4*c**2 + 30*c + 10. Let v be d(-8). Let l be v/117 - (0 - (-616)/18). Which is smaller: k or l?
l
Let y(m) = 32*m**3 - 6*m**2 + 11*m - 12. Let a be y(3). Suppose 5*j + 4*p - a - 881 = 0, -4*j + 5*p + 1386 = 0. Do 344 and j have the same value?
True
Let f = -8543 + 8542. Is f greater than -2445?
True
Let k(f) = -38*f + 6. Let c be k(-1). Suppose c*a + 6 = 47*a + 2*t, -4*t = 2*a - 12. Let u be 8/(-9) + 0 + 1. Which is greater: u or a?
u
Suppose -2*p + 108 - 110 = 0. Let u be ((-1)/(-808))/(10/((-40)/p)). Which is greater: u or 1?
1
Let r = -15.897 - -4.897. Do -300 and r have the same value?
False
Let j be ((-150)/(-5))/(-6)*5. Let h be (204/40)/(3 - (-30)/j). Suppose -2*o = -4*o + 8. Is o not equal to h?
True
Let b(a) = 2*a**2 - 2*a - 1. Let g be b(-1). Suppose 3*c = 5*z - 3*z - 885, -447 = -z - g*c. Let o be (-5 + z/88)*-2. Is 1 at most as big as o?
False
Suppose 5*j = 13*u - 11959, u - 1396 + 453 = 5*j. Which is smaller: u or 919?
u
Suppose 609*u = 608*u - p - 947, 4*p - 917 = u. Do -943 and u have the same value?
False
Suppose 0 = 37*c + 513 + 22020. Let n = c - -670. Is n greater than 61?
False
Let w = 6.669 + -6.769. Which is smaller: 2119 or w?
w
Suppose 26064 = 8*v + 26032. Which is smaller: 3122 or v?
v
Let n be ((-34)/(-6))/((-220514)/(-798)). Is n at least 1?
False
Let q = -6752 + 10034. Let i be q/(-112) + (-12)/(-28). Let y = 59/2 + i. Is -1 <= y?
True
Let g = 0.1542 - 829.1542. Let a = 829 + g. Let h = -7.12 + 7. Is h equal to a?
False
Suppose -5*q = -3*u - 37, u + 20 = -4*u. Let o be (1/2)/(2/8). Suppose 8 = q*a - 4*d + 3, -o*d = -4*a + 4. Is a >= -1/31?
True
Let p(h) = -35*h + 11. Let j(s) = -17*s + 5. Let b(n) = -5*j(n) + 2*p(n). Let f be b(3). Let g be (-426)/(-21) + (-12)/f. Which is smaller: g or 1?
1
Let y = 412 - 259. Suppose -y = 4*q - 453. Suppose -11*j = -143 - 682. Do j and q have the same value?
True
Let j(a) = -a**2 - 10*a + 17. Let c be j(-11). Suppose -c*v + 348 = -3*v. Let r = -11718/101 + v. Which is smaller: r or 1?
r
Suppose 2576 - 2584 = 4*m. Do m and -96/31 have different values?
True
Let t = -374 - -370. Let k be (15 - 24)*2/6. Let q be (45/(-81))/(1/k). Which is smaller: q or t?
t
Suppose -7482 = 4*a + 3*o + 4317, 2947 = -a + 2*o. Do a and -2949 have different values?
False
Let p = 332.4 - 332. Is 406 not equal to p?
True
Suppose 5*r + 761 = 11. Let w be ((-120)/r)/((-16)/(-10)). Is 0.5 at most as big as w?
True
Suppose -t = -7, -5*w + 52*t - 48*t - 2933 = 0. Which is greater: w or -578?
-578
Let k = -133.5 + 134. Let l = 1.23 + -1.2. Is l != k?
True
Let b = -2/267 - -4282/1335. Let j(c) = 4*c + 