/(k/180). Is q at most as big as -4/3?
True
Suppose -5*a = -30, -26 = -s + 2*a - 37. Which is smaller: -2/705 or s?
-2/705
Let j(y) = y**3 + 4*y**2 - 4*y + 3. Let x be j(-5). Let q be (-16)/(1*x*4/(-8)). Let c be 172/(-10) + -3*7/(-105). Which is greater: c or q?
q
Let z = -15/98 - 13/98. Let j = 27.04 - 0.04. Which is greater: j or z?
j
Let p = -153.2 + 100. Let g = -49 - p. Let u = 2.2 - g. Which is smaller: u or 0.15?
u
Let i(o) = 7*o + 54 - 3*o - o + 0*o - 51. Let t be i(-1). Let q be -2 + 0 + 218/110. Do t and q have the same value?
False
Let u = 3.2853 - -0.7147. Is u not equal to 65.5?
True
Let t be 4/(-6) + 11296/(-4872) + 3. Let n = -391/1015 - t. Which is bigger: n or -26?
n
Let r = 10155 + -10151. Which is bigger: 107/26 or r?
107/26
Let w = -10691 + 10692. Is 7935 > w?
True
Suppose 0 = 315*c + 20977 + 76944 - 3106. Which is bigger: c or -298?
-298
Suppose -3*f - f - 549248 = 0. Let c be f/234 + 13/((-117)/2). Let w = 587 + c. Is 1 > w?
True
Let s(c) = -c**3 - 12*c**2 - 13*c + 26. Let d be s(-11). Suppose -56*i - d = 120. Let l(w) = w**3 - 3*w**2 - 2*w - 4. Let u be l(3). Is u equal to i?
False
Let l = 63 - 40. Suppose 27 + l = 5*r. Let h be ((-8)/4)/r*2. Which is smaller: h or 1?
h
Let a = -124.1 + 67.1. Let p = -4.39 - -61.29. Let f = a + p. Does 0.19 = f?
False
Let l be 494*((-648)/48 - -6). Are l and -3706 unequal?
True
Suppose -1 = -t - 0. Suppose -40*a + 5376 = -26*a. Let w = a + -8834/23. Which is smaller: w or t?
w
Let w = 7246 - 7365. Is w greater than or equal to -128?
True
Let u(m) = -m - 3. Let x be u(-3). Let p = 406 - 394. Let l be (-7 + 272/40)/(p/5). Are x and l non-equal?
True
Let l be (32/24)/((-1)/(-3)). Suppose 4*m - 2*m - 5*s = 37, 0 = l*m - s - 83. Is 15 at most as big as m?
True
Let s = -2 - 6. Let d = s - -41/5. Suppose 3*n = 4*c + 35, 11*c - 32*n + 33*n - 24 = 0. Which is greater: d or c?
c
Let p(z) = z**3 - 9*z**2 - 11*z + 99. Let v be p(9). Is 4/137 greater than or equal to v?
True
Let z be 20/85*11/(-748). Which is bigger: -1 or z?
z
Let m = -6/20791 + 72717/35843684. Which is bigger: -1 or m?
m
Let d(p) = 10*p + 51. Let f be d(-9). Let k = f - -38. Let y be (-232)/372*3 - -2. Is k equal to y?
False
Suppose -4*m = -o - 316, 5*m + o - 179 = 216. Is m bigger than 63?
True
Let v = -18 + -14. Let o = v + -25. Let d = o - -83. Which is smaller: -0.1 or d?
-0.1
Let f = 12 + -12. Suppose -15*q + 142 - 7 = f. Is q >= 9?
True
Let d(w) = -2*w - 4. Let j be -9*5/((-15)/(-2)) + 3. Let t be d(j). Let o be (t/4)/((-4)/(-224)). Is 28 less than or equal to o?
True
Let k be 4 + (0 - 3) + 3. Let r be (-16)/k + 2 + 3. Let g be 2 - 1/(r/(-34)). Is 36 at least as big as g?
True
Let j = -10 - -16. Let n be (1 + -2)*133 + 7 + -3. Let r = n + 905/7. Is r smaller than j?
True
Suppose -4 = -8*m + 4*m. Suppose 7*c + 29 = m. Let o be c/(-6)*15/(-2). Which is bigger: o or 1?
1
Suppose 270*m = -4*q + 272*m + 8688, 0 = -3*q - m + 6501. Which is smaller: q or 2172?
q
Suppose n - 12 = 5*n. Let r be (0 + 8/(-12))*3. Let m(f) = -67*f - 137. Let v be m(r). Is n less than v?
False
Let m = -91 - -122. Let c = -42241 + 42209.951. Let i = c + m. Which is smaller: -0.1 or i?
-0.1
Let n(t) = 2*t**2 - 167*t + 3187. Let r be n(54). Suppose 4*o + 6 = 7*o. Suppose o*l = -l + 69. Which is smaller: r or l?
r
Let l be ((-246)/54 - -5)*2*6/16. Which is greater: l or 1/64?
l
Suppose 2*p + 2 = 4. Let b be (-5)/2*-1*-19*-2. Suppose -b*x = -98*x + 9. Which is greater: p or x?
x
Let h(r) = r**2 + 17*r - 325. Let s be h(-28). Which is greater: 7 or s?
7
Let y = -1622 - -1622.1. Let w = 193.3 - 211. Let g = -19 - w. Is g > y?
False
Let h(b) = b**3 - 22*b**2 - 35*b + 15. Let f be h(23). Let j be (262/(-3))/(5/60*4). Which is greater: f or j?
f
Let v = 129 + -131. Let a be ((-4)/v)/(-6) - 384/(-18). Let c be (0 + a)/(-1) - (-9)/(-3). Is c bigger than -24?
False
Suppose -2*l + 5*h = -7660, 3*h + 19093 = -3*l + 8*l. Do l and 3813 have the same value?
False
Suppose 4*g - 106 - 31 = -5*r, 122 = 5*r - g. Let u = 267 - 269. Let n be 1/u - r/(-10). Which is smaller: n or 10/7?
10/7
Let p be 155/15 + -10 + (-1028)/(-3). Do 341 and p have different values?
True
Let o be ((-2)/7)/(1359/5285). Let d = -5 - -4. Let f be (4/(-2)*d)/(-3). Is f bigger than o?
True
Let s(f) = f + 3. Let p be s(5). Suppose 0 = 2*y - p. Suppose -3*x + 5*x = -y. Which is bigger: x or -1/2?
-1/2
Let c = 0.1416 + -54.6616. Let i = c + 55. Which is smaller: i or -0.1?
-0.1
Let m be ((-2)/6 + -1)/((-5)/(-255)). Let l be 0*(-17)/m*4*-1. Let w = 265/7 + -38. Which is smaller: l or w?
w
Let a = 3256 + -3255. Which is smaller: 55/53 or a?
a
Suppose 0 = -48*i + 36*i - 24. Let b be i*8490/(-156) - 8/(-52). Which is smaller: 113 or b?
b
Let z = -845 - -845.25. Let i = -0.35 + z. Is i <= -156?
False
Suppose m + 5*l - 7245 = 0, 0 = 4*m + 434*l - 432*l - 28854. Is 7210 at most as big as m?
True
Let s be (1 + (8 - -176))*1/(-5). Which is greater: 18 or s?
18
Let r be 670/(-4)*(-8)/80*-4. Let s = -51 + r. Is s at most as big as -117?
True
Let b = -2827 - -2826. Are -24/31 and b non-equal?
True
Let c(q) = 9*q**3 + 12*q**2 - 2*q + 8. Let y(p) = -7*p**3 - 11*p**2 + 2*p - 8. Let b(m) = 3*c(m) + 4*y(m). Let n be b(-9). Is n at most as big as 54?
False
Let l be 17286/135 - 40/900. Is 128 less than l?
False
Let a be 4 + (-2 - (-13 - 6)). Suppose 17 = -a*l - 4. Which is greater: l or -2/95?
-2/95
Let p be 2/(-2) - 2/16. Let o(u) = 2*u**2 + 14*u. Let t be o(-7). Suppose t = 8*v + 17 - 9. Which is smaller: p or v?
p
Suppose -17*k + 390 = 9*k. Let a be 4642/165 + (-2)/k. Which is greater: a or 27?
a
Let u(d) = -2*d - 5. Let y be u(4). Suppose 7*t - 1475 + 194 = 0. Let g = t - 194. Which is bigger: g or y?
g
Let q = -2116 + 2117. Is q at most -15/127?
False
Let v(c) = -7*c - 9*c**2 - 32 + 10*c**2 - 26*c. Let m be v(34). Do 44/13 and m have the same value?
False
Let g be (30/4)/(-3*3/(-738)). Suppose -4*a + 3*s - 839 = 0, 4*s + g = -5*a - 457. Is a at least as big as -211?
False
Let j = 210.2 - 211.2. Which is greater: -39/8 or j?
j
Let p be (-36 + 3)/11 + (135 - -1). Suppose -5*o - p = a, -6*a + 2*a - 532 = 4*o. Which is smaller: a or -134?
-134
Let c(d) = 6*d - 3. Let f be c(11). Let u = 1399 + -1336. Is f greater than or equal to u?
True
Suppose -2*x = -4, x = d - 6*d - 8. Let c be (d/6)/(1 + (-28)/27). Let n be 13 - (16/(-72) + 4/18). Is n less than or equal to c?
False
Let a = 76169 + -75331147/989. Which is smaller: a or 0?
a
Let h = 10852.03 + -10982. Let u = h - -130. Which is smaller: 39 or u?
u
Suppose 5*a - 21*y + 18*y = 5, -4*a = -4*y - 4. Let w be (a - (-115)/135)*3. Which is smaller: 5 or w?
5
Let j be -1883*(-14)/(-882) + 27. Which is bigger: -4 or j?
j
Let d be (-136)/(-10) - (-5 - (-115)/25). Suppose -d - 21 = -n. Let f(a) = -a**3 - 11*a**2 - 13*a + 3. Let s be f(-10). Is s smaller than n?
True
Let q = -579 - -591. Let w be (q + 1778/(-147))*(-1 + 4). Is 192 less than or equal to w?
False
Let c be -7*(-10)/(-33425)*35/(-189). Does -1 = c?
False
Let q = -97815/11 + 8900. Let l = -299/33 + q. Let s be 0 + (-2)/4*0. Is l > s?
False
Let o(z) = -z**2 + 26*z - 24. Let h be o(12). Let l = h + -147. Which is smaller: -16/5 or l?
-16/5
Let s(x) = 6*x**2 + 28*x + 1225. Let t be s(-34). Which is bigger: t or 7210?
7210
Let d = 439 + -75. Let b = d - 372. Are b and -69/10 nonequal?
True
Suppose 12480 - 335 = -7*f. Let p = -39931/23 - f. Is -1 at least as big as p?
True
Let k be 28/308 - 134724/(-1980). Which is smaller: -3 or k?
-3
Suppose 0*l + 755 = 5*l. Let x = -299 - l. Let k = -13499/30 - x. Does 1 = k?
False
Let c be (-10 + 56/(7 - -7))/(3/(-2488)). Is 4975 greater than c?
False
Let o = 29.15 + -27.56. Are o and 4/5 equal?
False
Let j be (-38)/(-665) - 12339/945. Let o be (0 - 34/(-4))*-2. Which is smaller: j or o?
o
Let y = -83.05 - 0.95. Let x = 85.14 + y. Let k = 1.13 - x. Is -1/4 greater than or equal to k?
False
Suppose 31*a - 26*a = -3*g + 4195, 0 = -5*g - 3*a + 6981. Is 1396 at most g?
False
Let f = -202 + 202. Let a = -549 + 362. Is a at least as big as f?
False
Suppose 0 = 3*v - k + 133, v - 9*k + 10*k = -43. Let t = 19 - 16. Which is greater: t or v?
t
Suppose b = -12*b - 5486. Let y = -2106/5 - b. Which is smaller: y or -39?
-39
Let m be ((-28)/(-12))/(7/54). Suppose 0*b + 2*b = 22. Suppose b = a + m