o + 11 = j*m. Which is smaller: -4 or m?
m
Let a = -205 + 237. Let m(g) = g**2 + 20*g - 181. Let y be m(7). Is a > y?
True
Let b be ((-14)/((-182)/39))/(39306/(-4)). Which is bigger: 1 or b?
1
Suppose -42*u + 35171 = 11651. Let n = u + -562. Which is smaller: -9/7 or n?
n
Let x be ((-161)/92 + (-3)/12)*(-2)/4. Which is smaller: -13/88 or x?
-13/88
Let n = 41 - 42. Let m be ((-7)/2 + 0)*(-308)/3773. Which is smaller: n or m?
n
Let d be (52117/422)/(1/6). Which is smaller: d or 757?
d
Suppose -8866*n + 1892 = -8780*n. Let u = 22 - 43. Let h = u + n. Which is smaller: h or 1/99?
1/99
Suppose -14864 - 10231 = 31*o + 74*o. Is -240 <= o?
True
Let z = -6.623 - -6.57. Let j = -1.023 - -0.91. Let d = j - z. Is d at least as big as 2/9?
False
Let x = 283687 - 54751731/193. Is x at least as big as -2?
True
Let r = 1/8600 + 1100797/25800. Is -2.4 < r?
True
Suppose 0 = -4*o - 2*p - 412, -3*p - 126 = -144. Which is smaller: -751/7 or o?
-751/7
Let j be 1*(201/6)/(4/(-8)). Let w = -165 - j. Let g = -96 - w. Which is smaller: g or 4?
g
Let d = -38 + 38. Suppose d = -5*g + 15, -2*z + g + 8 = -5. Suppose -4*f - z + 4 = 0. Which is smaller: f or 17?
f
Let n(b) = b - 1. Let f = 3 - 2. Let w be n(f). Let v be (8/16*13/(26/3))/(-10). Which is bigger: v or w?
w
Suppose 17*q - 18*q + 5*r + 350 = 0, 5*r - 5 = 0. Let o = q + -770. Which is bigger: o or -416?
o
Suppose s = 3*s - 10. Suppose -5*u + 3*o + 142 = 2*o, -s*o + 15 = 0. Suppose a - 2*a + 28 = 0. Which is smaller: a or u?
a
Let a be ((-22693983)/(-9) - 1)*(-234)/276. Let l = 2137313 + a. Let k = l + 525. Which is smaller: 0 or k?
k
Let t(n) = n**3 - 4*n**2 + 681*n - 4157. Let k be t(6). Let l be 2 + (-38 - -1*2). Are k and l nonequal?
True
Let w be 18/24 - (-90)/8. Let z = 11 - w. Let f = -3573/34 + 211/2. Which is smaller: f or z?
z
Let s(h) = 3*h**2 - 10*h - 22. Let t be s(-9). Suppose 13*u = 12*u - t. Which is bigger: u or -309?
-309
Let y = -0.014 + 25.014. Let c = y + -28.9. Let a = c + 3.9. Is a greater than or equal to -2/5?
True
Let p = 35 + -51. Let l be (14/(-3) - -2)/(16/(-24)). Suppose q = 5*q + l. Which is bigger: p or q?
q
Let f = -0.24 + 0.34. Let w = 0 - f. Let n be 6/((-18)/23) - (2 - 1). Which is smaller: w or n?
n
Let a be (-3 - 6/(-4))*90/(-15). Let p be a/24 - 2430/80. Are p and -25 equal?
False
Suppose 7*s + 72 = -11*s + 18. Which is greater: -222/61 or s?
s
Let z be (-16)/(-448)*-44 - (-6)/(-14). Are -35/13 and z nonequal?
True
Let j be 6/(-8) - (-13939)/9540. Let z = 1917/5 - 385. Let m = j + z. Which is smaller: m or 0?
m
Suppose -t + 2*z = -646, -z + 90 = -t + 733. Which is smaller: 643 or t?
t
Let f be 7*((-60)/(-35))/(-6). Let k be 16371/18 - f/(-4). Suppose 6*g - 267 = -k. Is -106 greater than or equal to g?
True
Let a = -333197/9 + 37067. Which is greater: 45 or a?
a
Suppose -5*a = -5, 4*t + 2*a = 3*t + 25. Let k be (6/(-25))/((-4)/370). Which is greater: t or k?
t
Let p be 48/(-13 - 7618/(-572)). Which is smaller: 152 or p?
p
Let y be 128130/(-120) - ((-6)/27 - 38/72). Is y at most as big as 2?
True
Let n = -4126 + 4271. Let b be (0 - 1)/(2 + -1). Which is bigger: n or b?
n
Suppose 0*t = 3*t - 78. Let g be 6 + -5 + t/(-5). Suppose -3*s + 240 = 2*d + 271, s - 5*d - 35 = 0. Are g and s unequal?
True
Let j be 1 + ((-32)/22)/2. Let n = -79 + -72. Let r = -151 - n. Is j < r?
False
Let i = -0.04 + 0.12. Let y = i - 0.18. Let m = -0.126 - -0.016. Is m > y?
False
Let z be -8*(-286)/352*(-2)/34. Is z greater than -1?
True
Let q be (-10)/6 - ((-60)/(-40))/(6/(-8)). Which is smaller: q or 3/34?
3/34
Let z = -3207 + 3236. Which is bigger: z or -0.66?
z
Suppose -10*h + 616 - 1596 = 2330. Which is smaller: -334 or h?
-334
Let z = -2055/28 - -2008015/27356. Is 1 greater than z?
True
Let w = 345.8 - 434.58. Let b = w + 88.9. Which is smaller: b or 23?
b
Suppose 474*f + 1314 = 475*f. Which is bigger: 1311 or f?
f
Suppose -1033*j + 709 = -1034*j. Is -2835/4 less than or equal to j?
False
Let g(p) = 42*p**3 - 31*p**2 + 217*p - 7. Let r be g(6). Which is greater: r or 9252?
9252
Suppose -20*r - 6837 = -51837. Is r at least 2253?
False
Let i be 227557/(-1366134) - ((-2)/(-15) - 3/10). Which is bigger: i or 0?
i
Let o = 421 - 755. Let w = o - -333. Which is greater: w or -0.0289?
-0.0289
Suppose 0 = -4*v + 75*b - 71*b - 472, -b = 4*v + 447. Suppose 6*h = 3*h - 342. Is h at least v?
False
Let d = 8819/3 + -1543229/525. Which is greater: d or -1?
d
Let q = -992.51241 + -0.48759. Which is greater: q or 2/9?
2/9
Let y = -27.62 + 2.768. Let q = 0.148 - y. Are q and 2 nonequal?
True
Suppose -q - 162 = 2*q. Suppose -34*u + 113*u = -147*u + 45*u. Is q equal to u?
False
Suppose -4*s - 2*m = 2*m + 256, -s + 5*m - 52 = 0. Let a = s + 64. Is a at most -0.028?
False
Let g be 2/9 + 40/(-1980)*-24262. Which is bigger: g or 489?
g
Let w be 24/(-42) - (-1)/((-7)/17). Let z be w + ((-1)/(-2))/(32/3648). Which is bigger: z or 52?
z
Let s = 844 - 979.9. Let r = -136 - s. Let b = -1.99 - -2. Which is smaller: b or r?
r
Suppose d - 12 = 5. Suppose -17*v - 17*v - 336 = -13*v. Let y = d + v. Is 14/13 at least y?
True
Let s = -56 + 64. Let o be ((-78)/(-36))/(9/60) + -5. Which is greater: o or s?
o
Let c = -13.49 + -8.21. Let l = -21.954 - 0.046. Let h = c - l. Is h smaller than -4?
False
Suppose 21159 = 320*o - 13721. Which is greater: 2068/19 or o?
o
Let t(y) = -2*y**3 + 34*y**2 + 36*y. Let s be t(18). Let q(c) = -c**3 - 5*c**2 - 5*c - 3. Let m be q(-4). Let a be (3*m)/(1197/(-6)). Are a and s unequal?
True
Let z be 2/(-9) + (4 - (-38)/9). Let x be -1*(1 + (-16)/z). Let n be (6/(-11))/((-3)/2). Which is greater: n or x?
x
Let m = 69544 + -36162879/520. Suppose 4*z = -z. Which is smaller: z or m?
z
Let c be (24/(-20))/(6/(-100)). Suppose -r = -5*t + 2 - 3, 4*t = -c. Let m = -231641 + 231619. Is r less than m?
True
Let w = 3.99 - 4. Let u = 0.09 - w. Let n = 1070 - 1071. Is u less than n?
False
Let q(f) = f + 1. Let d be q(-1). Suppose 2*l - 4*i + 10 = 0, d*l + 4 = -l + i. Suppose -3*w + 3*m + 1 = -2*m, w = 3*m + 3. Is w not equal to l?
False
Let j(q) = -5*q**2 + 64*q - 459. Let g be j(11). Is -373 smaller than g?
True
Suppose -y = 2*y + 4*t + 234, 3*t - 255 = 3*y. Let q(g) = g**3 + 21*g**2 - 966*g - 943. Let c be q(-43). Which is smaller: c or y?
c
Let m(r) = 6*r + 1386. Let t be m(-80). Which is smaller: 909 or t?
t
Suppose -g = -13 + 8. Suppose 2*m - 2 = -2*o, -2*m + 5 = g*o + 3. Are -5/11 and o equal?
False
Suppose 31*r = 30*r - 8. Let m be (r/(-18))/(11/9 - 1). Suppose -4*k = 4*i - 60, -112 = -5*k + m*i - 37. Is k smaller than 15?
False
Suppose 4*g - 7*g = 0. Let a = -136 - -134. Let j be (2/(-5))/(18/63) - a. Which is smaller: j or g?
g
Let m be ((-6)/4)/(15/(-6)). Let x = -579 + 829. Let y = -1747/7 + x. Is m at least y?
True
Let g(h) = 2*h**2 - 3*h + 5. Let x be g(3). Let m(l) = -l**3 + 14*l**2 - 2*l + 28. Let q be m(x). Suppose q = -4*f + f + 15. Which is bigger: f or 4?
f
Let c be (-33)/42 - 23/(966/(-12)). Let v = -2.1 + 2.4. Which is smaller: v or c?
c
Let y be ((-5)/(-10))/((-2)/(-936)). Let c be y/(-8)*-4*(-14 + -2). Let s be 40/(-18) - -2 - 632/c. Which is bigger: -2 or s?
s
Suppose -154*j - 3665 = 647. Is -346/13 at most j?
False
Let i = 586 + -473. Let w = -117 + i. Is -9/7 at most as big as w?
False
Let a(h) = h**3 - 5*h**2 - 1. Let w be a(5). Let v = -2/7313 - 65737/292520. Is v >= w?
True
Let k(n) be the second derivative of 2*n**3/3 - 83*n**2/2 + 35*n. Let i be k(21). Let q be ((-8)/10)/(11/5). Are q and i non-equal?
True
Let x = -372 - -634. Let i = -163 + x. Is 100 not equal to i?
True
Let t = 4751 + -4798. Is t at least as big as -532/11?
True
Let j be -16 - ((0 - 3) + 5). Let g(u) = 2*u + 5*u + 2*u + u**2 - 460 + 424 + 7*u. Let n be g(j). Is 5/6 equal to n?
False
Suppose 56*x = 79*x + 8418. Let a = -367 - x. Is -6/385 <= a?
False
Let g = 16 - 23. Suppose 2*f + 5*f - 49 = 0. Suppose -5*q = -4*s - f*q + 22, 0 = q - 5. Is s bigger than g?
True
Let t(v) = v**2 - 2*v. Suppose 3 = 4*c - 5. Let o be t(c). Let f be 98/(-931) + 4/399. Which is smaller: f or o?
f
Let c = -1.1 - -0.1. Let o = -354 + -326. Let n = 678.8 + o. Is n greater than or equal to c?
False
Let q(j) = -j**3 + 4*j**2 + 10*j - 13. Let s be q(7). Let p be s/(-65) + -4 + (7 - 3). Let d(n) = n - 5. Let z be d(5). Which is smaller: p or z?
z
L