2391522. Let w = m - -48/11. Which is smaller: -2 or w?
-2
Let f = -3/5 + 1/10. Let i = -21 - -21. Is f greater than or equal to i?
False
Let j(h) = -h**3 - 6*h**2 - h - 4. Let c be j(-6). Suppose 0 = -q - 0*q + c. Let z = -3 + 3. Is q smaller than z?
False
Let c(z) = 37*z + 1. Let r be c(-5). Let t be r/(-32) - (-2)/8. Is t < 7?
True
Let o be ((-9)/(-3))/((-3)/4). Let d(z) = z - 1. Let j be d(-2). Let y = j - 1. Are o and y equal?
True
Suppose 3*y = r + 4 - 9, -4*r - 4*y - 28 = 0. Suppose 0 = -p - 8 + 5. Which is bigger: r or p?
p
Let t = -244/903 + -2/129. Is 1 smaller than t?
False
Let g be (-8)/6*(-51)/2. Suppose -3*i + 13 - g = -4*a, -3*a - 3 = 4*i. Is 2 at least as big as a?
False
Let x = 89 + -104. Is -14 equal to x?
False
Suppose -2*l - 650 = -z + 4*z, 2 = -2*l. Let g = -1084/5 - z. Suppose -2*y = -4 + 8. Is g at most y?
False
Let k = -0.3 + 0.29. Let u = -66 - -66.1. Which is greater: u or k?
u
Let j(k) = 3*k + 4. Let y be j(-3). Let a(z) = 3*z**3 - 2*z**2 + 1. Let q be a(-1). Which is bigger: y or q?
q
Let s(h) = -2*h**2 + 13*h + 16. Let i be s(7). Are i and 4 equal?
False
Let n = -19 - -19. Is n < 3/16?
True
Let i be (36/(-48))/(13/48). Is i > -2?
False
Let l be 2*((-21)/6 + 3). Suppose -3*z = r - 6 + 13, -3*z = -4*r + 17. Is l at most as big as r?
True
Suppose 0 = -3*k - 0 + 3. Is -2/13 at most as big as k?
True
Let m = 4 - 5. Let s = m - -1. Suppose -4*c - 3 - 1 = s. Which is bigger: -3/7 or c?
-3/7
Let p be 2/8 - (-12)/144. Is 0.8 at most p?
False
Let n = 5.1 - 0.1. Which is greater: -0.1 or n?
n
Let p = 879/700 + -1/175. Which is smaller: p or 1?
1
Let x(k) = -k**2 - k. Let p be x(-2). Let v = 7 - p. Do v and 9 have different values?
False
Suppose -2*n = n. Let m = -363 + 3633/10. Which is smaller: m or n?
n
Let u be 1/((-1)/((-1)/1)). Suppose -4*v + 4*z - 9 = -u, 4 = -3*v + z. Let n be 1/((-6)/4 - -1). Which is greater: n or v?
v
Suppose 0 = -4*m - i + 4*i - 12, 2*i - 8 = 0. Which is smaller: -5/12 or m?
-5/12
Let m = 0.92 + -8.82. Let k = 29 + -21. Let u = k + m. Which is smaller: u or -4?
-4
Suppose 4*h - 17 + 29 = 0. Which is bigger: -6 or h?
h
Let u(t) = -t**3 - 5*t**2 + 31*t. Let o be u(-9). Is 44 smaller than o?
True
Let r = -4.11 - -0.11. Let m = 5 + r. Is m >= -2?
True
Let v be 1 + (0 - 0) - 1. Which is bigger: -9/7 or v?
v
Let k(v) = 2 - 8*v**2 - 2*v**3 - v**2 - 10*v + 3*v**3. Let a be k(10). Suppose -3*q = a*s - s + 4, -2*q - 3*s + 9 = 0. Is q greater than -3?
False
Let i be (-11)/(-3) + 6/(-9). Suppose -y - 4*l - 12 = 0, 0 = -i*l + 2 - 14. Suppose -1 = -y*j + 7. Does j = 0?
False
Let d = 0.5 - 0. Let l = 0.3 - d. Is l at most as big as 1?
True
Let x be 6/(-4)*(-10)/3. Which is smaller: 6 or x?
x
Let o(n) be the second derivative of 3*n**2 + 1/2*n**4 - 1/3*n**3 - 1/20*n**5 + 0 + n. Let t be o(6). Which is smaller: t or -5?
t
Let d(y) = y**2 + 6*y - 1. Suppose 0 = s - 0*s - 11. Suppose -t + 5 - s = 0. Let p be d(t). Is -1/3 < p?
False
Let c be 3 + (-39)/15 - (-722)/(-1830). Is -1 > c?
False
Suppose -u = 12 - 13. Let c = -72 + 141/2. Is u at least as big as c?
True
Let b be 1 + (-2 + 3 - -1). Suppose t - b*l = -14, t + 5*l - 8 = 2. Let a = 51 - 51.1. Which is smaller: t or a?
t
Let h = -25 - -19. Does h = 3?
False
Let j be (-299)/56 - 6/21. Is -1 < j?
False
Let g be 4/22 + (-2020)/(-22). Suppose 308 = 5*f - g. Let m = f - 402/5. Which is smaller: m or 0?
m
Let z = -2/11 - -1/11. Is -0.2 bigger than z?
False
Let c = 7 - 1. Let o be (5/(35/(-6)))/((-7)/49). Is o less than c?
False
Let n = 30952/67 + -462. Is n greater than 0?
False
Let i = -215/31702 + 1/786. Which is smaller: 1 or i?
i
Let c = -55 - -56.06. Let y = c - 0.06. Is -0.2 bigger than y?
False
Let g be ((-4)/3)/(7/(-42)). Suppose -4*x - g = -0*x. Let u be 1*-3 - (-2 + 1). Is u greater than x?
False
Let o be (-12)/14*1/(-2). Is o <= -1?
False
Let w be (2 - 3/3) + 8. Which is bigger: w or 11?
11
Let s = -3.1 - -3. Are s and 0 equal?
False
Let c be (-2 - 2/(-2))/1. Let b be (0 - 0) + c/9. Let k be (1/(-3))/((-14)/42). Which is smaller: b or k?
b
Suppose -13*y - 8 = 5. Let k be ((-2)/(-20)*-3)/3. Which is smaller: k or y?
y
Let f = 5.6 + -6. Let u = f - -0.2. Which is smaller: u or 0.1?
u
Let h be 6/(-21) - 70776/(-247618). Let x = -3165959/123809 - h. Let g = x - -25. Is g less than -2?
False
Let r = 1 - 5. Let d be (6 - 2)/r - -1. Which is smaller: d or 3?
d
Suppose -p - 10 = 4*p. Let f = 7 + -4. Suppose i = 5*m - 27, -4*i + 17 = 2*m + f*m. Is p not equal to i?
False
Suppose 6*v + 5 = v. Let r be 16/(-138)*(-3)/8*-2. Which is bigger: r or v?
r
Let i = 0 + 0.66. Let z = 0.06 - i. Let v = z - -0.4. Which is smaller: v or 1?
v
Let b be (-442)/(-378) + 4/(-6). Let a = 2/27 - b. Is -1 > a?
False
Suppose 0*w - 4*w + 13 = i, 3*w - 15 = 0. Let u be i/12 + 12/(-16). Which is greater: -1 or u?
-1
Let i(r) = -r - 6. Let v be i(8). Which is smaller: -2/7 or v?
v
Let g = 0.05 - 2.05. Let s = g - -2.5. Is s greater than -2/7?
True
Let h = -2 - -2.1. Let w = -0.04 - 0.02. Does h = w?
False
Let h = 0.1 - 1.1. Let f = -6 + 5. Let i = -2 - f. Does h = i?
True
Suppose -13*u - 30 = 2*u. Let x be (2 + 0)/(16/(-20)). Which is smaller: x or u?
x
Let y = 10414/11 - 946. Is 0 at least y?
False
Let o(y) = y**3 - y - 1. Let u be o(2). Which is bigger: 7 or u?
7
Let k(d) = -2*d**2 + 9*d + 2. Let j be k(5). Let i = -17 + 12. Which is greater: i or j?
j
Let f(w) = w**3 - 3*w**2 + 5*w - 10. Let i(s) = 3*s**3 - 5*s**2 + 10*s - 21. Let g(h) = -5*f(h) + 2*i(h). Let v be g(-6). Which is smaller: v or -2?
-2
Let t(s) = s - 3. Let r(n) = -n**3 + n**2 + n + 2. Let y be (1 - 1)/(2 + 0). Let v be r(y). Let k be t(v). Which is greater: k or 2?
2
Let g(w) = w - 1. Let r(z) = 2*z + 47. Let h(q) = -3*g(q) + r(q). Let p be h(0). Let d = p + -249/5. Which is bigger: -1 or d?
d
Let h = 0 + -1. Let p = 0.17 + 2.03. Let y = -0.8 - p. Which is smaller: y or h?
y
Suppose 0*a + 12 = 4*a, -3*a = b - 8. Do b and -3/23 have different values?
True
Let g be (135/35 + 0)/(16/14). Which is bigger: 3 or g?
g
Let p = 197/5 - 671/15. Does p = -6?
False
Let k = 4 + -5. Let j be (-1)/(-2)*(-9 + 1). Let f = j - -2. Is k equal to f?
False
Let v(c) = c**2 + c - 2. Let f be v(-2). Let m be f*2/6 + 1. Suppose 12 = -b - 3*t, b - 3*t - 13 = -m. Which is greater: b or -2/3?
b
Let i = 5 - 3. Let k = -4 - -8. Let t be 0/(((-32)/4)/k). Which is bigger: t or i?
i
Let g(y) = -y**2 - 7*y - 6. Let l be g(-6). Let x be 5*(8 - (-275)/(-35)). Is x less than or equal to l?
False
Let k = -10 + 10. Suppose k = -4*s + 2*s + 2. Which is smaller: 3 or s?
s
Let o = 755368 + -12833574/17. Let u = -452 + o. Is u less than or equal to -1?
False
Suppose -a = -2*a. Let i be 0*((-5)/(-2) - 2). Let u = a + i. Is u bigger than 3/5?
False
Let t be -3 + 8/16*(2 + 2). Is t less than or equal to 6/61?
True
Suppose -4*z = -z. Suppose z = 5*j - 2*j. Is j greater than 0?
False
Suppose 10*o = -2*o - 12. Is -4 at most o?
True
Suppose 2*u - 7 = -5. Are u and -2/87 non-equal?
True
Suppose 0*f = -2*f. Let c = 4 - f. Suppose 0 = -2*h + 7*h + 5*t, c*h + 8 = 4*t. Is -1 < h?
False
Let c = -133/1192 - 2/149. Is 0 at most c?
False
Suppose 2*p = 4*i - 0*p - 20, -3*i + 4*p + 15 = 0. Suppose 3*v - 2*x - 2*x = 79, i*x - 22 = -2*v. Let y be 6/v - (-9)/42. Which is bigger: -3 or y?
y
Suppose 4*a = -0*a + 12. Which is bigger: a or 4?
4
Let w be (6/(-5))/((-3)/10). Suppose -w*y + 12 = -2*y. Let f be 3/y + (-1)/2. Is -1 greater than f?
False
Let o = 0.18 - -5.82. Which is smaller: o or 0.2?
0.2
Let z(c) = -c**2 + 6*c + 5. Let q be z(-3). Is q less than or equal to -22?
True
Let i = 530 - 3700/7. Which is smaller: 0 or i?
0
Let s = -0.08 - 4.92. Let g = -5.06 - s. Let t = 2.06 + g. Is t at least 0?
True
Let b = 143/3 - 47. Let m(r) = 5*r + 1. Let s(v) = -4*v - 1. Let w(i) = 5*m(i) + 6*s(i). Let x be w(3). Is x bigger than b?
True
Suppose 0 = 5*b - 6*b - 8. Which is greater: -10 or b?
b
Suppose 0 = 4*j - 10*j + 102. Does j = 16?
False
Suppose -2*r = -5*r. Which is smaller: r or 4/13?
r
Let o = -236/3 + 78. Let b be 1*-7*1*1. Let v = b + 29/4. Is o greater than v?
False
Let j = 15.04 + -15. Which is bigger: -1/4 or j?
j
Suppose i - 3*i = 5*h - 38, -i = -4. Let f = h - 3. Let l(s) = s**3 - s**2 + s + 4. Let t be l(0). Which is greater: t or f?
t
Suppose -2*x + 3*b = -b + 4, -21 = -3*