h is smaller: m or y?
m
Let b = -1857.829 - -1858. Do 0 and b have the same value?
False
Let u = -2060580263/837 - -2461865. Let d = u + 2/837. Let f be (-2 - (-14)/8)/1. Are f and d non-equal?
True
Let u = -0.026 + 11.026. Let a = 0 + 0.1. Is u > a?
True
Let d be 10/(-92)*(51 - 53). Which is greater: d or 0?
d
Suppose -4*o - 20 = 0, -4*c + 0*o = -4*o - 32. Suppose 0 = 4*r - 8, -3*p - c*r + 2*r + 14 = 0. Suppose -p*z = -0*z + 8. Is z at most -2?
True
Let c be (-1*1 + 2)*3. Let x(w) = w**3 + 18*w**2 + 68*w - 5. Let i be x(-6). Suppose c*y + i = -5. Which is smaller: -9 or y?
-9
Let f = -12/727 - 933/75608. Let n = 401/520 - f. Let m(q) = -q + 3. Let k be m(3). Do k and n have different values?
True
Let o = -218 + 219. Do o and -3/1787 have different values?
True
Suppose 3*o - 5*i + 2*i = 126, -12 = -3*i. Which is bigger: o or 490/11?
o
Let q = 2 - 1. Let t = q + -1. Let g = -160 - -157. Which is smaller: t or g?
g
Let p = -321 + -59. Is -0.3 at most p?
False
Let u = 161 + -157. Is u smaller than 40/9?
True
Let n be -4 - 2892/(-195) - 10. Is n > 1?
False
Let c be (12/(-126)*-7)/(120/18). Is -1 > c?
False
Let v = -69 - -69. Suppose -x = -2*l + 6*l - 64, v = -4*l + 2*x + 52. Is 13 not equal to l?
True
Suppose -4*b = -3 + 23. Let s be (-48)/(-160)*b/(-9). Which is smaller: -1 or s?
-1
Suppose -5*s + 23 - 14 = -o, -s + 9 = -2*o. Is -2/2295 >= s?
False
Let s be 60/(-50)*(-60)/(-9). Let r = -8 - s. Let h be ((-2)/((-12)/10))/(-2). Is r greater than h?
True
Suppose -22*k + 3*k + 3097 = 0. Is k bigger than 164?
False
Let k = -17 + 10. Let s = k + 7.2. Let p = 563 - 565. Are s and p equal?
False
Let y = 42 + -54. Suppose 6 = -2*a - 2*b, -a - a + 4*b + 18 = 0. Is a equal to y?
False
Let q be 15/6*18/15. Let h be (-502*q/6)/1. Let c = -4773/19 - h. Is c < -1?
False
Suppose 5*m + p - 13 = 0, 15*p + 5 = -2*m + 18*p. Let g be (-2)/(-9) + 650/720. Which is smaller: m or g?
g
Let q(g) = -g**3 - 7*g**2 - 6*g - 5. Let l be q(-6). Let c be 6/(-21) + l/7. Let i = 37/11 + -292/77. Which is smaller: i or c?
c
Let m(r) = -r**3 + 15*r**2 - 15*r + 16. Let u be m(14). Suppose u*v + 3*l + 15 = 0, 5*v + 20*l + 15 = 17*l. Let f = -7/60 + -1/12. Which is bigger: f or v?
v
Let t be 9/2*(-3)/(-36). Let i(r) be the third derivative of r**6/120 + 2*r**5/15 - r**4/24 - 4*r**3/3 - 2*r**2. Let d be i(-8). Does d = t?
False
Let g(s) = 2*s**2 + s + 9*s**2 - 2*s**2 + 8 + s**3. Let z be g(-9). Let p = 0 + 0. Is p less than z?
False
Let u(p) be the second derivative of -p**3/3 - 19*p**2 + 6*p. Let k be u(-13). Which is greater: 1 or k?
1
Suppose -2*k = 31 - 37. Let l be 16/28 - 406/(-147). Which is smaller: k or l?
k
Let s = -125.69 + 125. Let c = -0.89 - s. Which is bigger: c or -17?
c
Let q = -15969.001 + 15936. Let a = q - -0.001. Is -0.1 less than a?
False
Let i(l) = -9*l. Let u be i(-5). Let h be (0 - (-1 + 0))/(u/(-18)). Let q = -3 + 1. Is h > q?
True
Let v = -34 + 48. Let g = v + -10. Which is smaller: 0.05 or g?
0.05
Let u be 23/11 + 0 + -2. Let i be (8/8)/(2/22). Suppose 3 = i*l - 8*l. Which is bigger: l or u?
l
Let i be (-6)/9*12/46. Which is greater: -1 or i?
i
Suppose -j + 95 = 4*l - 6*j, 37 = 2*l + j. Suppose 5*t = 3*o - 41, 0 = -0*o + 5*o - 5*t - 75. Is l not equal to o?
True
Suppose 0 = 2*z - 7 - 21. Suppose 9 = -5*v + z. Which is bigger: v or 0?
v
Let m(b) = -b**3 - 3*b**2 - 2*b - 5. Let t be m(-3). Let v be (2/(-3))/((-220)/6). Which is smaller: v or t?
v
Let x = 35 - 48. Let q = -13 - x. Which is greater: 2/21 or q?
2/21
Let k be (-61 - -4)/(-1)*-1. Which is smaller: -59 or k?
-59
Suppose 211 = 3*x - 5*c, -2*x + c = 3*c - 146. Suppose -x = -2*z + z. Let u be (-4)/18 - (-76)/z. Is u > 2?
False
Let p(r) = r**3 - 10*r**2 - 9*r + 23. Let b be p(11). Is b less than or equal to 53?
True
Let z(h) = h**3 - 2*h**2 + 11*h - 18. Let d be z(6). Which is smaller: d or 191?
191
Let j = -6.39 - -5.597. Which is smaller: 0.1 or j?
j
Let f = 14 - 26. Let a be 87/12 - 3/(-4). Let n = a + -20. Do f and n have different values?
False
Let m = 429 - 390. Which is greater: m or 42?
42
Let a = 345 + -345. Is a less than or equal to -217?
False
Let n = 3.131 - -0.469. Let f = 15.4 + -18. Let g = n + f. Are g and -2/9 equal?
False
Let s = -32 - -20. Let n(j) = j - 28. Let m be n(30). Is s bigger than m?
False
Let i be 3 + 91415/(-7) + 0. Let p = i - -13100. Let g = p + -43. Which is smaller: g or 0?
0
Suppose 0*g - 5*y = -3*g + 44, -2*y + 24 = 4*g. Suppose 0*l + g = 2*l. Suppose 3 = -3*v + l*v. Which is smaller: 5 or v?
v
Suppose 5*g + 9 = -3*v, -4 = -4*g - 3*v - 10. Suppose -2*r = -0*r - 5*n - 9, 2*n - 3 = 3*r. Is r != g?
False
Let f = 28 - 55. Let w = -65.3 + 93.2. Let p = f + w. Is p >= 2?
False
Let s be (-2)/6*(-4)/(-2). Let r be -2*(1 + (-75)/6). Suppose -2*x - 4*g = -4 - 4, 4*x + r = 5*g. Which is smaller: s or x?
x
Let h(p) = 8*p + 157. Let n be h(-15). Is n smaller than 37?
False
Suppose -s + 3 = 1. Suppose -s*o = 2*o + 20. Let k be (15 + o)*(-3)/(-2). Which is smaller: 16 or k?
k
Let d(o) = -o**3 + 4*o**2 + 3. Let q(m) = -3*m - 8. Let k be q(-4). Let x be d(k). Let z(t) = 3*t - 73. Let n be z(25). Do x and n have different values?
True
Let i be 222/(-185)*20/6 - -4. Let g = -25 + 25.22. Let x = -0.2 + g. Which is greater: i or x?
x
Suppose 4*c - 556 = 4*m, c + 3*c = 2*m + 284. Which is smaller: -135 or m?
m
Let n(r) = -13 + 3*r + 0*r**2 + r**3 - r**2 + 11. Let d be n(3). Let u = 51/2 - d. Is 0 smaller than u?
True
Suppose -1 = -5*p + 4*p. Let s be ((3 + -2)/p)/1. Let w = -8/63 + 44/63. Is s smaller than w?
False
Let y = -1.03 + 1.99. Let n = y - 0.76. Is -12 at least n?
False
Suppose 3*v + 19 = 45*v - 191. Let d(a) = -a**3 + 6*a**2 + 3. Let q be d(6). Suppose -r = -2*o + 3, -r = o + o + q. Is o greater than or equal to v?
False
Let q(p) = 75*p. Let g be q(-1). Let u be (2 - g/(-36))*-3. Suppose -2*f - 5*l - 6 = -4*f, 3*f + 25 = -l. Is f < u?
True
Let q = -73/40 + 15/8. Let m be (36/8)/(-9)*22. Let u = -10 - m. Is u >= q?
True
Suppose -k + 27 = -5*f, f + 36 = k - f. Let n = k + -38. Which is bigger: 8 or n?
8
Let k be 30/(-40) - (-737)/(-4). Is k equal to -369/2?
False
Let q = -540 - -540. Which is smaller: -31/23 or q?
-31/23
Let h = 12.2 + 30.8. Let g = h + -43.2. Which is bigger: 6 or g?
6
Let c be 4/8*(1 + 0 + 8). Which is bigger: c or 6?
6
Suppose -171 = -45*g + 26*g. Is 5/12 bigger than g?
False
Suppose 0 = 18*h + 10*h - 8512. Does 303 = h?
False
Suppose 5*n = -x - 3 - 9, 4*x = -5*n - 18. Suppose -8 = 5*v - 2*f, -3*v + 2*f = f + 5. Is v smaller than n?
False
Let a be (-56)/(-882) - (-4)/18. Let h = -12 + -8. Let b be -1 + (24/h)/(-2). Is a >= b?
True
Let z = -924 - -973. Is 48 smaller than z?
True
Let u = -547 - -1107/2. Let q = 8 - 0. Is u greater than q?
False
Let u = -287 - -287. Is u greater than or equal to 36.6?
False
Let h be 6/(-6)*-3 + (-2 - 2). Is h greater than or equal to -7/4?
True
Let h = 1545 + -10790/7. Which is greater: h or 4?
4
Suppose -2*s = 38 - 40. Suppose 6*z + 19 = s. Is -7/2 bigger than z?
False
Let l be 18/(-4) - 15/(-10). Let g be -1 + 3 + l - -1. Let z be 1 + (-234)/200 + 7/28. Which is greater: g or z?
z
Let b be (-10)/(-15)*(1575/(-2) + -1). Which is smaller: b or -526?
-526
Suppose 3*g - 5*g = g. Let u be g - 87/(-33) - 4. Is u not equal to 0?
True
Let g(p) = -p**3 - 8*p**2 + 8*p - 10. Let w(b) = 7*b - 9*b + 1 + 6. Let z be w(8). Let l be g(z). Is 1 equal to l?
False
Let j be 5 - 18*(-5)/((-75)/20). Let b = 54 - 79. Let t = b - j. Which is bigger: -7 or t?
t
Let t be 3*(-10)/8*28/(-21). Suppose -4*v = 3*i - 7, -2*i - t*v + 10 = 3*i. Which is smaller: -4/17 or i?
-4/17
Let j(v) = 0*v - v + 3*v + v. Let d be j(1). Let f be 3 - ((-81)/(-15) - d). Which is smaller: 0 or f?
0
Let l = 7.3 - -22.7. Let m = 30.4 - l. Is m greater than or equal to 2/35?
True
Let q = 4 - 16. Let l = -24 - q. Let f = l + 12.01. Which is smaller: f or 1/3?
f
Let v(f) = -f**2 + 9*f + 12. Let y be v(10). Suppose -4*t - 106 - 12 = -y*p, 3*t + 90 = 3*p. Are -29 and t non-equal?
False
Suppose 2*m + 3*i - 12 = -0*m, -2*i + 4 = 0. Suppose y - 8 = -3. Suppose -y*b + 2 = -m. Which is smaller: b or -2/7?
-2/7
Let g(v) = v**2 - 2*v - 7. Suppose -2*y + 10 = 0, 0 = -3*a + 4*y - 2*y + 11. Let q be g(a). Let i be -2*(q/(-8) - 0). Is i less than 9?
True
Let k(a) = -a**3 - a**2 + 7*a + 8. L