t m be d(18). Which is smaller: 4/367 or m?
m
Let s = 2541 - 1814. Let m = 3221789 + -119179290/37. Let j = s - m. Which is smaller: 1 or j?
j
Suppose -3*r + 988 = -2*b, 51*r - 47*r = 5*b + 1336. Which is smaller: 0.9 or r?
0.9
Suppose 2*h = 2*f + 44, 0 = h - 0*h - 4*f - 16. Let b be (-31)/(-2) + (-6)/h. Is 15 at least b?
False
Let a be (14346/4257 - -9) + (-2)/22. Which is bigger: a or 11?
a
Let i(g) = -11*g**2 + 2*g + 82. Let c be i(12). Which is smaller: c or -1477?
c
Let d = 2.62893 + -0.30893. Which is smaller: -0.46 or d?
-0.46
Let b be (1 - 2/8) + (-1134)/(-56). Let s(a) = a**2 - 22*a - 26. Let j be s(b). Let o(u) = -u**2 + 5*u + 5. Let x be o(10). Which is bigger: j or x?
x
Let c be ((-80)/(-12864))/((-7735)/(-136)). Which is smaller: -1 or c?
-1
Let q be (-1168376)/(-272) - 6/4. Is q greater than 4293?
True
Suppose 2*w - 7 = -1, 0 = 3*u - 2*w + 6. Let m = 2/4258755 + 46032882769/55363815. Let b = m - 831. Which is bigger: b or u?
b
Let u be ((1 - 2) + 0)*-11. Suppose 3*p = -3*f + 12 + 3, 3*f - u = -2*p. Let w be (-80)/12920*34/(-6). Which is smaller: f or w?
w
Let p(x) = -10*x - 59. Let u be p(-6). Let q = -2 + 14. Let v = 18 - q. Which is smaller: v or u?
u
Let q = -409.218 - 0.782. Let z = q - -410.1. Is z less than -1.44?
False
Suppose -10*o = 3*c + 1309, -c - 301 = 2*o - 6*c. Which is greater: o or -130?
-130
Let g be 1/(-5482)*(1 + 19 + 4640/(-230)). Is -1 at most as big as g?
True
Suppose z - 82 - 60 = 0. Let o = 84 - 214. Let m = o + z. Which is smaller: m or 1?
1
Let d(y) = 5*y**2 - 650*y - 3*y**2 - y**3 + 647*y. Let q be d(1). Does -11/13 = q?
False
Let g(n) = -2*n**3 + 8*n**2 + 8*n + 13. Let h be g(-4). Let q = 245 - h. Let b(l) = -l**3 + 8*l**2 + 2*l - 2. Let i be b(8). Which is smaller: q or i?
q
Suppose -4*g = 5*x - 14, -4*x - 2*g = -9*x + 8. Let r be (-177)/6 - (-1 + x). Which is bigger: -32 or r?
r
Let y(o) = -o**3 + 18*o**2 + 25*o - 451. Let n be y(18). Which is smaller: n or 2/13931?
n
Let s(h) be the first derivative of h**4/4 - 23*h**3/3 + 11*h**2 - 12*h - 37. Let i be s(22). Suppose 31 + 9 = -4*z + 4*l, 5*l = -z - 22. Are z and i non-equal?
False
Let q = 1905925/19437 + -3040/31. Which is smaller: 1 or q?
q
Let f(j) = -j**3 + 16*j**2 - 3*j - 179. Let h be f(15). Is h >= 4/1391?
True
Suppose 12*z - 17*z - 240 = 5*x, -z - 4*x - 75 = 0. Let s = -12 - -106/9. Is z <= s?
True
Let h be (-9)/2 - 1/2. Let o be ((-275)/22 - -13)/(1/(-6)). Is o bigger than h?
True
Let t(m) = m**2 + 8*m + 4. Let n be t(-4). Let w = n - -22. Let i be (-30)/6*32/w. Is i equal to -15?
False
Let y = 69.047 - 69. Is y greater than -1/7?
True
Let n = -1847 - -1196. Is -4552/7 equal to n?
False
Let r(w) = -8*w - 117. Let m be r(-17). Suppose f + 4*z + 135 = 0, m*z + 429 = -3*f + 15*z. Is -145 >= f?
True
Let k be (11/(33/10))/(2228/744 + -3). Which is smaller: -618 or k?
k
Suppose -2*t + 19 = -5*j, t - 2*j = -4*t + 58. Suppose 2*q - f + t = -6*f, 4*q - 8 = -2*f. Suppose q*r - 102 + 26 = 0. Are r and 17 equal?
False
Suppose -2*k - d + 4*d = 494, 3*k + 5*d + 722 = 0. Let y be k/12 - 1*1/(-3). Is -144/7 != y?
True
Suppose -2*h = 5*v + 251, 8*v + 2*h + 149 = 5*v. Let r be (-8)/((-40)/v)*5. Do -51 and r have different values?
False
Let x(k) = -k**3 + 4*k**2 - 3*k + 6. Let q be x(3). Let n be (-2)/535*-2*(-15)/q. Do -1/4 and n have the same value?
False
Let o = 127.868 + 0.132. Let k = 129 - o. Are 1/68 and k non-equal?
True
Let v(i) = 2*i**2 - 12*i - 7. Let u be v(6). Let b be u/(-5)*(25/5 + 0). Let l(k) = -k**3 + 8*k**2 - 8*k + 1. Let j be l(b). Is j at least -5?
False
Let t(h) = 2*h**3 + h**2 + 4*h - 4. Let y be t(2). Let v(z) = z**3 + 7*z**2 + 7. Let s be v(-5). Suppose -3*c = -2*c - 5*f - 9, 3*c - s = 5*f. Is y <= c?
True
Let p = 3.8 - 3.6. Let f = 14.42 + -0.12. Let j = 14 - f. Which is smaller: p or j?
j
Suppose -74 = -4*h - 5*y, -3*h = 2*h - 4*y - 31. Is 460/47 smaller than h?
True
Let y = 0.32 - 16.32. Let h = y + 4. Let f = -16977 + 16979. Which is smaller: h or f?
h
Let m = 1228/7 + -176. Let k = -375 + 373. Is m equal to k?
False
Let q = -14835/2 - -103841/14. Which is bigger: 937 or q?
937
Let g = 315 + -249. Let o be (6/(-15))/(2 + g/(-45)). Is o at least -1?
True
Let a be ((-21)/(9765/1650))/(2 + -1). Is 0.03 <= a?
False
Let f be 4/10*2823*-10*(-18)/(-360). Which is smaller: -565 or f?
-565
Suppose 3*p - 2*p - 3*d - 2594 = 0, d - 5174 = -2*p. Suppose -p = -23*o + 609. Is o at most as big as 138?
False
Let p be 940/(-155) - (-120)/20. Which is smaller: p or 44?
p
Let j be -2*822771/216 - (-2)/(-8). Is -7619 < j?
True
Let o be (-6 - (-216)/15)/(9/510). Is 482 smaller than o?
False
Let c be (-16075)/500 + 2/5. Are c and -33 non-equal?
True
Suppose 0*s - 2*s + 4*n - 12 = 0, 4*n - 18 = 5*s. Is -19/309 < s?
False
Let x = -58 + 62. Suppose 5*h - 9 = -x. Is h <= -4/161?
False
Suppose -7*m = -100*m. Which is smaller: m or 16/87?
m
Let p = 1094 - 1083.97. Let h = 13.03 - p. Let f = 0 - 2. Which is smaller: h or f?
f
Let k = -18.92863 + -0.07137. Which is bigger: k or 15/31?
15/31
Suppose -7*y = 35 - 28. Is 5/231 less than y?
False
Let j = -274517/5 + 55262. Is 359 less than j?
False
Suppose 5 = -3*p + f, 4*f - 20 = 2*p - 5*p. Let y be (p - 3)*((-780)/10)/6. Which is smaller: y or 6?
6
Let o be (-6)/8 - (-35181)/108. Which is greater: 324 or o?
o
Suppose -6*h + 11*h = -5. Let c = h - -5. Suppose c*v + v = 0. Is v greater than 5?
False
Let x = -229.55 - -0.55. Let o = x + 228. Is o >= -109?
True
Let a(q) = -q**3 + 10*q**2 + 14*q - 33. Let b be a(11). Suppose -4*j = -4*z - 16, z - 3*j + b*j + 6 = 0. Suppose -3*l - 9 = o, -3*l + 1 = -5*o - 8. Is o >= z?
True
Let n = 9.01 - 9.21. Is n less than 1/27?
True
Let a = -1884/5 + 375. Let d be ((-234)/(-21) - -9) + 2/(-14). Suppose 3*l - 51 = d*l. Is a greater than or equal to l?
True
Suppose -40*j - 257 = 1303. Let a = j + 101. Is 64 greater than a?
True
Let z(j) = j**2 - 777*j - 9468. Let t be z(-12). Let p = 28 + -28.023. Are t and p nonequal?
True
Let h = -11291 - -1275882/113. Suppose 3*g = 7*g. Do h and g have different values?
True
Let q = -47.6 - -47.399. Let v = q - -1.201. Which is greater: -131/2 or v?
v
Let h be 11088/(-544)*(25/225)/(1/(-6)). Which is smaller: 15 or h?
h
Let n(l) = 13*l**3 + 9*l**2 + 9*l + 7. Let k(x) = -38*x**3 - 25*x**2 - 26*x - 20. Let q(r) = 3*k(r) + 8*n(r). Let o be q(-1). Is o != 0.11?
True
Let p be 8/108 + -6*(-123972)/9720. Which is greater: -0.1 or p?
p
Suppose 20 = 5*p, -2*k = 4*p + 4 - 18. Which is bigger: k or -6/277?
-6/277
Suppose -23*a + 20*a = 2*c + 233, -4*c - 4 = 0. Let s be ((-12)/1)/(79 + a). Let q be (-2)/(-7) + 58/(-7). Is q <= s?
True
Let x be (-8 + 10)*48/144*(1 + -328). Which is smaller: -3057/14 or x?
-3057/14
Suppose 492 = 5*l - 258. Let t = 129 - l. Which is smaller: -20 or t?
t
Let b be 1*1/102 - 0. Suppose 8 = 3*t - t. Suppose 0*k + 3*h - 12 = 3*k, t*k + h - 9 = 0. Is b > k?
False
Let c be 854/(-10) + (-33)/55. Let k = c + 85. Let m be k/((-22)/4) + 2430/1155. Is 2 > m?
False
Suppose -5*y - 584 = -y. Let z(b) = 5*b**3 - 131*b**2 + 21*b - 14. Let g be z(26). Which is smaller: y or g?
y
Let o(x) be the third derivative of -x**4/12 - x**3 + 8*x**2. Let z be o(-8). Suppose z*h = 7*h - 123. Which is greater: h or -40?
-40
Let c = -730 + 729. Which is smaller: -20/179 or c?
c
Suppose -g - 524 + 516 = o, 0 = 2*o - 2*g - 12. Which is smaller: -426.7 or o?
-426.7
Let t(z) = 91*z - 3. Let b be t(13). Suppose -n + 299 = -3*y, -4*n + 7*y = 3*y - b. Is 293 smaller than n?
False
Suppose 13*r = 84949 - 722. Let m = r + -57905/9. Is 46 equal to m?
False
Let g = 0 + 0. Let b = -213530 - -2348840/11. Which is smaller: b or g?
g
Suppose 0 = 3*x - 15, x + 18 = w + 87. Let g be 122/(13 + -2 + -9). Let k = g + w. Is 0.6 >= k?
True
Suppose -13*y - 12*y + 325 = 0. Suppose 0 = -7*s - 20 + y. Is s < 0?
True
Let r be (8/3156*15858)/((-4)/(-162)). Let d = 1628 - r. Are d and 1 nonequal?
True
Let s be (-2)/(-13)*-1618 - -11*(-24)/3432. Is s greater than or equal to -241?
False
Suppose -254*j + a + 3 = -258*j, 4 = 4*a. Which is smaller: j or -2/3521?
j
Let y(z) = 16*z - 129. Let m be y(8). Is m smaller than -5/474?
True
Let m be (8/56)/((-13)/(-91)). Is 3/485 less than m?
True
Suppose 0 = 68*p - 71*p + 918. Let q be -10 - (-12 + -2) - 1228/p. Let f be ((-2)/(-4))/(1/(-2)). Which