Let x = -82016 + 2788283/34. Is x < -7?
True
Let c be (1000/32 - 33) + (-3)/(-4). Which is greater: -50/139 or c?
-50/139
Let o be ((-40)/90)/((-54)/12636). Which is greater: o or 1369/13?
1369/13
Let w = -2518 + 2670. Is 155 greater than or equal to w?
True
Let d = 0.7 - 0.63. Let n(j) = -j**3 - 3*j**2 + 26*j - 9. Let q be n(-7). Let t be (-2)/q + 6/(-10) + 4. Which is bigger: d or t?
t
Suppose -37*w + 20257 + 59256 = 0. Which is smaller: 2150 or w?
w
Let k = 538.4 + 72.6. Let v = 609 - k. Which is smaller: -0.96 or v?
v
Let x be 16/4*(-4)/(-8). Suppose -2*g - x*g = -5*r - 58, r = 2*g - 8. Let l = 5 + -21. Which is smaller: l or r?
l
Let z(w) = w + 10. Let d be z(9). Let c be (432/40)/(8/(-50)). Let k = -68 - c. Do d and k have the same value?
False
Let z be ((-7)/(21/18441))/(-1). Which is smaller: z or 12295/2?
z
Let t = -452 - -244. Let m = 204 + t. Which is bigger: m or 5?
5
Let h = 0.2198 + 264.4802. Let q = h + -203. Let r = 62 - q. Which is bigger: r or -3?
r
Suppose -o + 5*q - 11 = 0, 6*q + 9 = o + 11*q. Let y be ((-4)/75)/(-1 + 35/33). Which is smaller: y or o?
o
Suppose 0*s = -2*s + 3*g + 557, 3*s - 843 = -3*g. Suppose -s = -4*z - z. Suppose -z = -8*t + 4*t. Which is bigger: t or 15?
15
Suppose -30*a + 7 = 12 - 5. Which is smaller: 9/592 or a?
a
Let t(h) = h**3 + 6*h**2 + 7*h - 2. Let i be t(-4). Let z(v) be the first derivative of v**3/3 + 5*v**2/2 - 14*v + 1. Let u be z(i). Is u at least -2/91?
True
Let g = 10 + -8.2. Let w be -2 + 93/18 + (11310/234 - 48). Which is smaller: g or w?
g
Let k = -15 - -17. Let j(f) = f - 1. Let p be j(k). Let g be 0/((-1 + p - -2) + -1). Which is smaller: 2 or g?
g
Suppose 8*a - 17 = 4*r - 13*a, -r - 2*a + 3 = 0. Is 7/1272 >= r?
False
Let y be (4/5)/((-3)/(-90)). Suppose -m + 844*k = 846*k + 36, -4*m - 4*k = 120. Let p = m + y. Which is greater: p or 5.1?
5.1
Suppose 0 = 3741*i - 3724*i + 17. Is -29/741 at most as big as i?
False
Suppose -a + 7*a - 126 = 0. Let q be 6/a + 1480/(-35). Let j be ((-7)/q)/(1/3). Which is smaller: j or -4/5?
-4/5
Suppose 0 = -51*l - 83 - 19. Which is smaller: l or 433?
l
Let f(i) = -i**3 - 12*i**2 + 13*i + 5. Let z be f(-13). Let w = z + -11. Let b = -489/85 + 6/17. Is w less than or equal to b?
True
Let s = 14269 - 5322331/373. Let a be 20/12 + (-18)/27. Is a greater than s?
True
Let p = 5326 + -5428. Is p bigger than 6?
False
Let m be 239 + -5 + 0/1. Let x = m + -247. Is -0.8 at least x?
True
Let x(c) = -5*c - 31. Let p be x(-7). Suppose 3*b - 8*b + 25 = 2*s, -2*s = -p*b + 38. Which is greater: b or 23/4?
b
Let j = -83 - -85. Suppose j*i - 2*u = -6, -9*u + 12 = -5*u. Suppose i = -0*o - 13*o - 195. Which is smaller: o or -16?
-16
Suppose -4*i + 5*i - 376 = 0. Suppose 7*m + 439 = i. Is 8 bigger than m?
True
Suppose -a - 2*a = 36. Let v(q) = -3*q**3 - 24*q**2 + 7*q - 9. Let i be v(-10). Let w = -534 + i. Is w bigger than a?
False
Let v = -6848 - -6717. Which is smaller: -124 or v?
v
Suppose 22 + 37 = -2*k + l, -5*k - 5*l - 170 = 0. Let u = -29 - 34. Let g be (1 + u)/(-2 + 4). Is k smaller than g?
False
Let l(v) = 3*v**2 - 5*v - 3. Let d be l(4). Suppose -2*x = -6*x - 5*s - d, -3*x - 24 = 2*s. Are x and -12 unequal?
True
Suppose 30*u - 37084 = -44395 - 49959. Is -1904 at most as big as u?
False
Let i(c) = -c**3 - 6*c**2 + 8*c + 9. Let o be i(-5). Let a be 4 + (-8)/o*-27. Let b be 1/2 - (-18)/(-28). Which is bigger: a or b?
a
Suppose 1 = -4*n - 3. Suppose -c + 5 = 2*b - 1, 3*b - 4*c - 20 = 0. Let k be b/(2 + n) + -4. Which is greater: -5 or k?
k
Let x be (-5)/995*-6*3/9. Let s = x - 293/9353. Is s <= -1?
False
Let k = -5686 + 5686. Is 7/215 less than or equal to k?
False
Suppose -527 = -16*u + 21*u + 3*r, r - 99 = u. Is -100 less than or equal to u?
False
Suppose 3*y - 504 = -0*c + 5*c, 2*y - 349 = -c. Which is bigger: 0 or y?
y
Let z = -7330 + 7490. Which is bigger: 0.07 or z?
z
Let y = 15 - 11. Suppose -12 = y*o - 4*u, 3*o - u + 3 = -2*o. Let j = -3/967 + 3943/24175. Which is smaller: j or o?
o
Let f(r) = r**2 - 13*r + 5. Let b be f(13). Suppose b*v = v + 4. Which is smaller: 5/28 or v?
5/28
Let v = -32 - -78. Let f = -55 + v. Let h be (0 - f)/(1 + 5/(-2)). Is h < -1?
True
Let o be 33*((-117)/(-27))/(-13). Let b be (-442)/o - 26/143. Which is bigger: b or 42?
42
Let w = -0.065 - -0.354. Let s = w - 0.239. Let n = -2.1 - -0.1. Which is greater: n or s?
s
Let q be 1290/27 + (-2)/(-9). Let h be 2/8 + ((-2285)/(-28) - 34). Which is bigger: q or h?
q
Let v = 4.5664 + -4.584. Which is smaller: v or 1/3?
v
Let m(t) = 6*t**3 - 6*t**2 + 28*t + 120. Let i be m(-6). Let r = i + 23389/15. Which is smaller: r or 0?
r
Let d be (51414/414)/(-11) + 11. Is 1 smaller than d?
False
Suppose l = -4, c + 37 = -l - 3*l. Suppose -10 = -5*j, -u + 0*j = -5*j + 30. Which is smaller: u or c?
c
Let s be 34988/153 + 3 + -2 + -3. Let g = s + -2020/9. Let t = 1/68 + g. Is t smaller than 3?
True
Suppose -53*s = 76*s - 153*s + 648. Is s <= 136/5?
True
Let n be (-4*(-30)/48)/((-1)/(-6)). Let j be (5 - 65/n)*3. Are j and 37/12 equal?
False
Let t = 678.5 - -85.5. Let p = -765 + t. Which is smaller: p or 3/125?
p
Let j = 96 + -96.77. Let h = j + -0.23. Which is smaller: -21/8 or h?
-21/8
Let y = 112/717 + -774614/4968093. Are -1 and y equal?
False
Let t be -930*(-312)/(-715)*(-2)/6. Is t at least 134?
True
Let z = 107/27 + -2273/594. Suppose -3*s = -5*f - s + 6, 0 = -3*f + 4*s - 2. Let b be 1*(f - (2 - 0)). Which is smaller: z or b?
b
Let l(b) = b**2 - 8*b + 17. Let a be l(3). Let c be (2968/(-42))/(a/3). Let p = -112 - c. Is -6 less than or equal to p?
True
Let p be (-4)/6 - (-26 + (-8536)/(-66)). Which is smaller: 13 or p?
p
Let u(h) = -h**2 - 4*h + 13. Let t be u(-6). Let d be ((-7)/t)/(-16 - -11). Are d and 0.1 unequal?
True
Let t be (((-109278)/27)/13)/(2/3). Let v = 6541/14 + t. Let d(b) = -b + 5. Let c be d(6). Which is bigger: v or c?
v
Let w be 24 + -28 - (66 - 0). Let c be (-4)/(-10)*w/8 + 0. Which is smaller: -0.3 or c?
c
Let j(p) = 2*p**2 + 125*p + 172. Let y be j(-60). Which is greater: y or -126?
-126
Let d = 207/4 + -619/12. Let m(x) = 2*x - 4 - 12*x + 9*x. Let k be m(-3). Is d greater than or equal to k?
True
Let r(p) = -86*p**2 - 13*p - 15. Let x be r(-21). Let o = x - -5009875/133. Let g = -2/7 + o. Are 0 and g non-equal?
True
Suppose -5*u - 11049 = 3*z, 1253*u = 1249*u + 3*z - 8850. Do -2210 and u have the same value?
False
Suppose 5*q = o + 12 - 0, 5*q - 6 = 3*o. Let h be q/(-6) - 35/(-2). Let w be (-2 - -4)/(-10 - (-26 + 12408/781)). Which is greater: h or w?
w
Suppose 0 = 51*o - 50*o + 47. Let j = o + 12. Let v be 1/(-7) + 5/j. Do 1/8 and v have different values?
True
Let p = 1395.13 + -1403. Let w = p - -7.28. Which is greater: 2 or w?
2
Let o = -1001/3 - -322. Let k be (-9)/24 + 1919/(-152). Which is greater: k or o?
o
Suppose 94*z - 96*z = 182. Let f = z + 95. Let s be (36/675)/(f/6). Which is smaller: 3 or s?
s
Let n = 1764 - 321. Let u = -1445 + n. Let s be ((-32)/(-6))/((-22)/9). Is s bigger than u?
False
Let q(k) = 4*k**2 - 10. Let b(x) = 7*x**2 - 19. Let v(m) = 3*b(m) - 5*q(m). Let c be v(-2). Is 83 smaller than c?
False
Let z be 9 + -16 - (-4 + -2). Let m(g) = g - 13. Let l be m(11). Let b be (12/4)/((-243)/l). Which is smaller: z or b?
z
Let c be 0 + -1 + (-2)/(-3). Let v be (4/6)/(44/(-12)) + (-32)/66. Let i = v - c. Are i and -1/3 equal?
True
Suppose 5*b - 8 - 17 = 0. Suppose -29 + b = -3*a. Suppose -5*w + 3*z + 41 = 0, -w = -2*w - 2*z + 3. Which is greater: a or w?
a
Let j = 3879.3 + -1046.3. Is j greater than or equal to -1?
True
Let a(q) = -7 + 3*q**2 + 2 - 3 - 18*q. Let z be a(9). Let c = 136 - 64. Which is smaller: c or z?
c
Suppose 65 = 5*k - 20. Suppose 32*y - k*y = -180. Let w be 4/y + 20/(-12). Is w not equal to 22?
True
Let q = -26573/33925 - -1/1475. Let v(h) = -h**3 + 76*h**2 + 161*h - 390. Let g be v(78). Is g bigger than q?
True
Let t be ((-6)/(-54))/(1/128). Suppose -57 = -5*j + 2*l, -7*j + 4*j + 23 = -4*l. Is j equal to t?
False
Suppose 5*k + 3*m - 92 = -112, 0 = -3*k - 3*m - 18. Which is smaller: k or -4/1839?
k
Let n = -1745 + 2899. Do 1155 and n have the same value?
False
Let i be (-3)/12*-4*-79. Let v = i - -76. Let l be v + (55/(-30) - -4). Is l <= -1/4?
True
Let j(d) = d**3 + 4*d**2 - 4*d - 4. Let f be j(-4). Suppose -2*a + 555 = -3*h, 0*h + 15 = -3*