3 or s?
-43
Suppose 8319 + 1905 = -18*k. Let g be 5 - k/(-96) - (-2)/8. Which is smaller: g or -1/70?
g
Let f = -791.68 - -792. Let m = 71.8 + -78. Let l = -6 - m. Which is smaller: l or f?
l
Suppose 2*j - 4*c - 324 = 0, 3*c = -2*j + 29 + 316. Let k = 515 + -347. Is j less than k?
False
Let f = -1/178 + -73/2848. Suppose -4*z - 10 = -9*z. Suppose 0 = -5*k, 0*c - 2*c = 2*k - z. Which is greater: f or c?
c
Let t be (-6)/10*310/(-1023) + 20/11. Let d be (-2 - -2) + 4/22. Which is smaller: t or d?
d
Suppose 8*h + 1958 = 270. Let p = 244 + h. Is 33 not equal to p?
False
Let f = -322 + 346. Let b be (f/(-28)*28/(-32))/(-8). Is -1 <= b?
True
Let o(x) = -1. Let k(h) = 9*h - 35. Let m(c) = -c. Let w(f) = k(f) + 4*m(f). Let i(y) = 10*o(y) - w(y). Let u be i(5). Is u greater than 6/13?
False
Let d = -39169.36 + 39173. Which is greater: d or -10?
d
Let q be 9 + 1 + (-11)/(-110)*-10. Is q > 355/39?
False
Let t = -37130 - -119818513/3227. Which is greater: t or -1?
t
Let l = -9 - -9. Let n = 5232871201/385 - 13591865. Let t = 58/7 - n. Is t > l?
True
Let q be ((-2)/3 - (-14)/21) + 17. Let h = q - 21. Let i be 1420/(-30)*3/h. Which is greater: 37 or i?
37
Let d = -116.4 - -118. Let t = -4.1 - -1.2. Let q = t - -3.9. Are d and q equal?
False
Let w be (-2 - -2 - -1)*(-14 + 0 + 14). Does 2/15503 = w?
False
Let t(h) = -256*h**2 - 109*h + 2. Let y be t(-1). Which is bigger: -1598/11 or y?
y
Let q(b) = 9*b - 1. Let r be q(1). Let o = 303 - 297. Suppose 2*g - 34 = -5*s, 2*s = -11*g + o*g + 22. Which is smaller: s or r?
s
Let z = 108775/101 + -1077. Let q = -106.76 + 106.86. Is q bigger than z?
True
Let u = -64 - -1. Let m = u - -62.7. Let p = 0.1 - 0.13. Is p >= m?
True
Let w(u) = u**3 - u**2 + 2*u + 3. Let b be w(3). Let y(j) = -13*j**2 - 57*j + 7. Let i be y(-4). Does b = i?
True
Let d(z) = -z**2 - 20*z - 241. Let a be d(17). Which is greater: a or -6082/7?
-6082/7
Suppose 10 = 4*w - 2. Suppose -r - 22 = -20, -w*r = l + 6. Are -4/73 and l equal?
False
Let l be (-4088)/9 + (-276)/(-1242). Is -453 less than l?
False
Suppose 0 = 2*u + a - 4, 22*a + 8 = -2*u + 27*a. Which is smaller: 38/673 or u?
38/673
Let k be (30/(-4))/((168/320)/(-7)). Let x = 63 - k. Let n(a) = -4*a + 11. Let l be n(12). Is l at most x?
True
Let w be (-799)/(1/(1 + 0)). Is -799 bigger than w?
False
Let g = 6 + 6. Let w be (-11)/(-55) - g/10. Let u be w/12 + 0/(-2). Does 0 = u?
False
Let k = 2 + 30. Suppose -2*q = -k - 102. Let r = 66 - q. Does r = -2/119?
False
Let q(m) = m**2 + 24*m - 116. Let s be q(-30). Suppose -34*v - 33*v + s*v = 0. Which is bigger: v or 1/238?
1/238
Let q = -117 - -114.752. Is 0 at least as big as q?
True
Let a = -132 + 4. Let r = -171 - a. Is -209/5 > r?
True
Let y = 1616.3 - 1621. Which is smaller: y or -9?
-9
Suppose 3*v - 261 = 2*r - 251, 4*v = 2*r + 14. Is -1/7985 not equal to r?
True
Let t be (-1)/(-1) + 1*(-174)/6. Let u be (-4)/(-10)*20/t. Let s = -55 - -30. Do s and u have the same value?
False
Let g be (-6)/(-10)*((-12)/(-14) + 67469/(-80878)). Is g at most as big as -3?
False
Suppose -m + 133 - 7 = 0. Let f be 104598/819 + 9/7 + -1. Which is smaller: m or f?
m
Let b be (-11)/88*12*(0 + (-10)/(-3)). Let m be (-4)/3 + 4/12. Are m and b equal?
False
Suppose -4*l - 5*t + 28 = 0, 5*l + 10 = t + 4*t. Suppose 7*s = -l*m + 3*s + 16, -3*m = s - 14. Suppose -60 = -z - 53. Which is smaller: m or z?
m
Suppose 28 = 4*d, -5*i - 40*d + 25 = -35*d. Is 3.9 >= i?
True
Let u(x) = -7*x + 12. Suppose -3*t = -8*t + 10. Let m be u(t). Which is bigger: 15 or m?
15
Let o = -0.29 - -61.29. Let p = 115 - o. Let m = p + -47. Is m smaller than -3?
False
Suppose 53*v - 56*v = 2*h - 3, -5 = -5*v - 3*h. Which is smaller: v or 1032?
v
Let c = 31501461/10 + -3142825. Let m = -915453/130 + c. Let s = 279 - m. Which is greater: s or 1?
1
Let m = 87 - 94. Let j be (3/4)/((-12)/(-32)). Suppose -43 = 3*o - 5*r, -3*o + j*r = -4 + 32. Which is greater: m or o?
o
Suppose 4*h - 2*h + 5*c - 45 = 0, -4*c = 2*h - 42. Let l be h/534*3/(-15). Is -1 <= l?
True
Let d be 3/(-6 - -9 - (4 + 0)). Let g = -3 + 2. Which is greater: g or d?
g
Let f be -3 + 76/(-8) - -16. Which is smaller: f or -156?
-156
Suppose -4*z - 2*m = -7416, 31*z + 3*m + 1875 = 32*z. Is 1858 > z?
True
Let d = -766/51 - -62078/561. Let s = d - 96. Is s > -1/3?
False
Suppose 240*s + 1295 = 233*s. Let o = -189 - s. Is o at least as big as 8?
False
Let j = 2 + -4. Let p = 5265/11 + -42417/88. Which is bigger: p or j?
j
Let d = 167.21 + -193.7. Let b = d + 26.8. Which is bigger: -4 or b?
b
Let r be (3 + (-77)/21)*-522. Suppose -292 = 8*y - r. Which is smaller: y or 10?
y
Let u = -0.06786 - 371.03214. Let z = u + 371. Let l = -21 - -13. Is l > z?
False
Let j = -1247.6 - -2046. Let b = -798 + j. Let v = -0.4 + 0.4. Which is smaller: v or b?
v
Let k be ((-122)/(-68)*-1)/((-55)/22). Is k smaller than 0?
False
Let y = 10.0219 + -2.0219. Which is greater: y or 0.288?
y
Let g = -58.96 - 0.04. Let q(o) = -o**3 + 11*o**2 - 16*o - 7. Let d be q(8). Let p = -56 + d. Which is bigger: g or p?
p
Let o = 0.014 - -0.136. Let u = 99.15 - o. Let h = u + -99.2. Which is bigger: -2.5 or h?
h
Suppose 0 = -7*c + 2*c + 170. Let q = c + -21. Suppose 0*i - i + q = -g, 0 = 5*g + i + 41. Is g equal to -8?
False
Let v = 3.629 - 3534.629. Are v and 1 equal?
False
Let d be (-8)/(-32)*(-10)/(-60)*6. Is 95 greater than d?
True
Let k be ((-18)/10)/((-399)/14497). Are k and 65 non-equal?
True
Let x = 169 - 87. Let v = -82 + x. Let r = -2 + 1.95. Is v less than or equal to r?
False
Suppose -2*h = 3*c + 22, 0 = 91*c - 95*c - 3*h - 31. Let a be ((-87)/(-58))/(6/c). Which is smaller: a or 1/386?
a
Let v(m) = m**3 + 28*m**2 - 27*m - 37. Let b = 204 + -233. Let u be v(b). Is u greater than 0?
False
Let a be (680/(-6290))/(3/4)*315/(-4). Is a at least 12?
False
Let f be ((-11)/20)/(((-60)/(-48))/(-5)). Let m(p) = p**3 - 5*p**2 - p + 7. Let o be m(5). Is o at most as big as f?
True
Let x be ((-8)/(-1264))/((-2)/12). Let q be 186/66 + (-2)/(-11). Suppose 0 = 4*m - v - 5, -m - 2 = -0*m + q*v. Which is smaller: m or x?
x
Let a(t) = -3*t**2 - 3*t - 2. Let g(p) = -1. Let h(u) = a(u) - 2*g(u). Let w be h(-1). Suppose 2*b = -10, -5*m + w*b = b + 20. Is -3 less than or equal to m?
True
Let q be ((-6)/(-20))/((-18)/(-24)). Let t = 1835 - 1926. Is t at least q?
False
Suppose -o - 4*w + 33 = 0, 6*o - 3*o + 5*w - 120 = 0. Let b be (-20)/25*o/(-2). Let j be (-1308)/(-72) - (-1)/(-6). Is j bigger than b?
False
Let b = -102 - -102.7. Let q = b + 0.36. Let t = -0.96 + q. Which is greater: 21 or t?
21
Let h be 39/(351/72) - (0 + 6). Let w be ((-6)/(-8))/(3/(-132)). Is w at most h?
True
Let j be 4/(-9) - (4652/(-18) + 5). Suppose -256*s + j*s + 3 = 0. Which is bigger: -10/53 or s?
s
Let v be (35488/16)/(((-48)/9)/(-8)). Is v bigger than 3327?
False
Let z = -119 + 195. Suppose -2*i - 5*n = -z, 0*i - i = -n - 52. Is 47 > i?
False
Suppose -4*f = -5*g + 50 + 22, -2*f + g - 30 = 0. Let k be f/39 - 2851/609 - -5. Is 0 > k?
True
Let q = -51298 + 667835/13. Which is greater: 74 or q?
74
Let v(a) = 3*a + 80. Let f be v(-26). Let l be (-4)/10 - (-502)/330. Let k = -5/11 + l. Is k bigger than f?
False
Let p be 17/4 - (102/24 + -5). Suppose -5*t + 5*j = j - 183, -p*t + j = -177. Let v be 599/185 + -3 - 14/t. Do 0 and v have the same value?
False
Let c = -2158/49679 - 196867318/170647365. Let j = 2/687 - c. Is j greater than or equal to 1?
True
Let s(v) = 372*v - 4842. Let m be s(13). Which is smaller: m or -520/113?
m
Let f = -959.4 + 970.4. Which is bigger: f or 66?
66
Let c(m) = m - 3. Let z be c(3). Suppose 4*b = -769 - 155. Let q = b + 2535/11. Is q not equal to z?
True
Suppose -r - 327 = -4*o, -8*o - 1572 = 5*r - 7*o. Let n(k) = 33*k - 83. Let q be n(-7). Is q less than or equal to r?
False
Let l be 18540/75 + 8/10. Let p = 243 - l. Which is smaller: -9 or p?
-9
Let f be (30/3 - 5) + -3. Let g be (-15*f/69)/((-1)/3). Are 2 and g unequal?
True
Let i be 2/(-32) - 4/8. Let j = -67/176 - i. Which is bigger: 1 or j?
1
Let x be (-9)/3 - (1715/360 - 7). Which is greater: -2 or x?
x
Let z be 5 - (-59 - (-1 + -3) - -2). Suppose -64 = -4*y - 0*y. Suppose -4*b - 2*g + z = 0, -b + g = 2*g - y. Which is smaller: 12 or b?
12
Let z = 10183817/4670 + -1017/934. Which is bigger: 2179 or z?
z
Let n be 0/(-1)*((-45)/(-27))/(-5)