9. Is m less than or equal to 2?
True
Suppose -4*u = -2*l - 22 - 4, 0 = -2*u - 3*l + 1. Suppose -2*d - 57 = -7*n + 2*n, -5*n + 49 = -4*d. Let c = n + -5. Is c greater than or equal to u?
True
Suppose -1243 - 989 = 36*n. Which is bigger: -78 or n?
n
Let r(o) = o**3 + 10*o**2 - 4*o - 39. Let z be r(-10). Suppose 0 = 3*s + 4*v - 11, 0 = s + 3*v + z - 3. Is 13 <= s?
False
Let q = 32574 - 32382. Are 181 and q equal?
False
Suppose 2*w = d + 4663, -12*w = 2*d - 17*w + 9320. Which is greater: -1 or d?
-1
Let j be 13 - (1 - 0)*(25 - 22). Suppose -9*v = -j*v + 1, p + 63 = 4*v. Is -60 > p?
False
Let c be 4*18/24 - -2892. Let n be (-9)/27 + (-3 - (-9635)/c). Is -1 greater than n?
False
Let f be (-37818)/4*(-420)/385. Is 10314 bigger than f?
False
Let b be (-7 + -6 + 12)*(-1 - 0 - 4). Let f(t) = t**2 - 3*t + 1. Let o(c) = c**2 + c. Let n(u) = -f(u) - o(u). Let j be n(1). Is b greater than or equal to j?
True
Suppose 7*y + x + 19 = 2*y, 0 = 2*y + 5*x + 3. Let c be 23/5 - ((-138)/(-30) + y). Suppose -c*g = -4*t, -t + 4*g = g. Is 2/9 less than or equal to t?
False
Let d = -39798 - -123418/3. Is 1342 greater than or equal to d?
True
Suppose -74 = -m - 72. Suppose 0 = -d + 5*y - 21, -5*d + m*d + 17 = y. Which is greater: d or 6?
6
Let i = -660 + 453. Let j = i - -461. Is j > 253?
True
Let y = -0.02195 - -222.02195. Which is smaller: 0 or y?
0
Let u = -639 + 223. Let y = 0.69308 + -0.59308. Which is bigger: y or u?
y
Let i be 663/5 - (-4)/10. Suppose -p + 146 = -5*q, 74*p = 94*p + 3*q - 2611. Is p greater than or equal to i?
False
Suppose -5*h - 648 = 3*h. Let l be h/18 + (-2)/(-4) - -8. Is l >= 36/11?
True
Suppose 5*c + 4583 + 8342 = -5*m, -2*c - 5*m - 5155 = 0. Let j be c/235 + 5 - -6. Which is smaller: 1 or j?
j
Let s(n) = 2*n**2 + n + 18. Suppose 3*k + 34 - 49 = 0. Let i be s(k). Let w = i + -80. Which is smaller: w or -4?
w
Suppose 21 = -6*o + 81. Suppose 7 = h + h - 5*t, -o = -5*h + 5*t. Let d be -3*(-4)/1116*6. Are d and h unequal?
True
Let k = -7323 - -7318.95. Are k and -0.11 equal?
False
Suppose -3 = 5*p - 13. Suppose 9*q = 3*d + 4*q - 17, p*q + 7 = d. Which is greater: -2/415 or d?
-2/415
Let a = -2942 - -2948. Which is greater: a or 1.93?
a
Let v = 0.1097 + 0.0523. Let a = v - 13.162. Do -3 and a have the same value?
False
Suppose 5*q = 3*a - 9, q - 2 = a - 7. Let u(m) = -m**2 - 8 - a + 0 - m - 8*m. Let o be u(-6). Do 2 and o have the same value?
True
Let n = 0.07378 + -0.37378. Which is smaller: n or 3397?
n
Let a(w) = 3*w**2 + 168*w + 1923. Let u be a(-15). Suppose d - 2*r = -0*r + 88, -5*r - 103 = -d. Is d smaller than u?
False
Let i(o) = 453*o**3 + 17*o - 30. Let c be i(2). Let p be 28/(-63) + (-9)/((-75654)/c). Which is bigger: p or -1?
p
Let f be 12*(84/16 + -5). Suppose f*u = -15 + 18. Which is bigger: 6/31 or u?
u
Let w = -2635/12 + 13199/60. Which is greater: 14/109 or w?
w
Let t(c) = 55*c - 59*c - 2*c**3 - 6*c**2 - 9*c**2 - 5. Let l be t(-8). Which is bigger: l or 92?
92
Let x = 0.01 - -0.09. Let g = 102.58 + -39.58. Is g less than or equal to x?
False
Let t = 39586/1227 + -641008919/19883535. Let p = -1/35 + t. Let g = 1838/3241 - p. Is -1 < g?
True
Let z = -44.5 + 40.25. Let s = 2.25 + z. Is 0.15 at most as big as s?
False
Suppose 10 = 2*t, -w + 147 = -0*t - t. Suppose 531*m - 2280 = 516*m. Does w = m?
True
Let i(a) = -3*a**2 - 15*a + 10. Let n(l) = 16*l**2 + 75*l - 50. Let k(d) = 11*i(d) + 2*n(d). Let x be k(-15). Suppose 11 = y - x. Is 23 > y?
True
Let r be (-12)/(-20) - 2/(-5). Let u be 10/(-26)*(-244)/(-8540). Which is smaller: u or r?
u
Suppose y - 4*y = 4*l - 2, 2*y = -2*l. Let o be 2/(-11) - 2*4/88. Let a = -1/77 + o. Which is smaller: a or l?
a
Let t = -0.035 + 0.215. Let n = 0.75 - 0.86. Let g = t + n. Which is smaller: g or -1?
-1
Let x be (5 + 7/(-42)*22)/((-4)/(-3)). Which is greater: 25/1493 or x?
x
Let o be (-15141)/(-35) + (-9)/15. Let v = o - 2162/5. Is v at least as big as 23.2?
False
Let u(s) be the third derivative of s**4/8 + 8*s**3/3 + 32*s**2. Let l be u(-4). Suppose 0 = z - l*i + 32, 30 = -z - 0*i + 3*i. Is z bigger than -24?
False
Suppose -2*f = -5*s - 31, 20*f - 86 = 15*f + 4*s. Is f > -35?
True
Suppose 0 = 3*m - 4*o - 7, -162*m - 5*o - 8 = -166*m. Do 793 and m have the same value?
False
Let b(v) = 2*v - 28. Let m be b(14). Suppose s - 3 = 0, -4*j + 9 = -m*j - 5*s. Let g be (-32 - 1) + j + -7. Which is greater: g or -32?
-32
Let q = -1567 - -1217. Which is smaller: -348 or q?
q
Let p(t) = -t**2 + 12*t + 15. Let w be p(12). Let k be (w/9)/(1/(-3)). Let u = 4/73 - 81/146. Is u smaller than k?
False
Let s be 0 + 0 + (657 - (3 - 7)). Suppose o + s = 7*r - 4*r, 0 = o + 4. Are 218 and r unequal?
True
Let t = 6 - 4. Let c be 2/29 + 1364/(-1276). Let d be 152/24 + t/c + 3. Which is smaller: 6 or d?
6
Let p = -1372 - -1392. Are p and -13/10 nonequal?
True
Let d(b) = -b**2 - 4*b - 8. Let k be d(-8). Suppose -14*x - 548 = 12. Do k and x have the same value?
True
Suppose 10*t - 12*t - 2 = -4*j, 3*t + 43 = -2*j. Suppose -11 = o - 7. Which is greater: o or t?
o
Let l be 2/(-6) + 122/24. Let b(c) = 6*c + 28. Let p be b(2). Let n be (-10)/(-3) + p/6 + -6. Which is smaller: l or n?
n
Suppose 0 = -12*f + 55 + 5. Let w be (-4)/f - 54/(-135). Are w and -4/11 non-equal?
True
Suppose -87*z + 15 = -112*z - 10. Which is bigger: 2/1851 or z?
2/1851
Let s = 42992/15 + -2865. Which is smaller: -0.04 or s?
-0.04
Let i be (16 - 15)/(-7 + (-7 - -13)). Is -18/545 not equal to i?
True
Let t be 3*24484/(-220032) - 6/(-18). Which is greater: 0 or t?
0
Let p = 56503 - 30963655/548. Are p and 0 nonequal?
True
Let o = 1569 - 1569. Suppose b - t + 1 + 3 = 0, 21 = b + 4*t. Which is smaller: b or o?
o
Let j(i) = -6*i + 3. Let s be j(3). Let w be (-72)/s - (-2)/10. Let a be w + (5 + 1 - 1). Are a and 13 equal?
False
Let h(w) = -52*w**2 - 1567*w - 111. Let z be h(-31). Which is smaller: -1507 or z?
-1507
Let p = -673/4 + 162. Which is bigger: p or 19?
19
Let l be 0*3/(-18)*-3. Suppose -15*z + 50 = -13*z. Let x be -2 - ((-45)/z)/3. Is x at most l?
True
Let w be (-112)/84 + 2 + 15/(-9). Let q be ((15/6)/5 + w)*-158. Which is greater: 81 or q?
81
Let c be 10/140*74 + 2/(-7). Suppose 0 = c*a - 94 - 21. Is a equal to 23?
True
Let v = -35898334/129 + 278280. Do -1 and v have the same value?
False
Let l = -17.9 + 2.8. Let p = 0.23 + -15.23. Let w = l - p. Is 26 greater than w?
True
Let k = 1/58809 + -56809507/764517. Which is smaller: k or -75?
-75
Let s(t) = 9 + 0*t**2 + t**2 + 0*t - 14*t + 0*t**2. Let x be s(14). Suppose -x*u = -4*u - 15. Is 7/2 bigger than u?
True
Let r(h) = -3*h**3 + 4*h**2 - h + 5. Let b be -9 + 119/14 + 7/2. Let o be r(b). Is -43 greater than or equal to o?
True
Suppose 5*o - 17 = -42, 0 = 5*k + 5*o + 115. Let i = 35 - 38. Let y be (-9)/(-24)*(-2)/i. Is y < k?
False
Let j = -12 - -315. Let r = j + -347. Is -44 smaller than r?
False
Suppose 6*q - 253 = -5*j, -5*q + 0*q = 4*j - 204. Is 35 less than or equal to j?
True
Let a be -1 - ((-10)/(-6) + -2). Suppose 124 - 136 = 6*d. Let c be ((-994)/84 + 12)/(d/(-4)). Which is smaller: c or a?
a
Let k = -2377 - -111698/47. Which is smaller: k or 1?
k
Suppose -2*k - 4*x = 78, -2*x = -2*k + 3*x - 60. Let b be (1 + 2/(-8))*20/3. Suppose 0 = -b*n - 4*q - 167, 2*n = q - 2*q - 68. Is k != n?
False
Suppose -3*d + 5*y - 11 = 0, 7*y + 5 = 12*y. Let o be d/(-800) - 11/(-154)*0. Which is smaller: o or 0?
0
Suppose 0 = 45*r - 25*r + 1620. Which is smaller: -12 or r?
r
Let t = 134486/8885 + -320314529/45837715. Let i be ((-3)/(-402))/(5 + 102/(-16)). Let x = t + i. Is x greater than or equal to 8?
True
Let f = 77 + -21. Let d(r) = -35*r**2 + 11*r + 21. Let x be d(-3). Let m = 655/2 + x. Is m equal to f?
False
Let t be 1/176*1612/(-93). Which is greater: -1 or t?
t
Suppose 44 = 2*t - 136. Suppose -s - t = s. Let w be (1 - -2 - 0) + s. Is -43 greater than w?
False
Let u = 77914/9319131 + -10/8343. Is 1 equal to u?
False
Let v be 87/(-8) + 2/(-16). Is v > -214/19?
True
Suppose -3*o = -o + 3*s - 12, -24 = -3*o - 6*s. Is o greater than 58?
False
Let m = 2700 - -76. Which is greater: m or 2773?
m
Let f(x) = x + 12. Let h be f(-12). Let j be 28/(-33) - ((-6)/(-8))/((-156)/208). Is j at least as big as h?
True
Let s = -10 - -48. Suppose 4827 + 2400 = 219*r. Is r at least as big as s?
False
Let t = 8342/3 - 2748. Le