Let s be a(g). Let c be 0 - 2/51*3. Which is greater: c or s?
c
Suppose 0 = -5*w - 6*a + a - 5, -3*w - 4*a = 1. Suppose 3 = p + 5*b, 4*p - 17 = -4*b - 5. Let q = -5 + p. Which is smaller: w or q?
w
Let j be (-1)/(6*(-3)/(-396)). Is -20 greater than j?
True
Let i = -21973/8740 + 28/437. Which is smaller: i or -1?
i
Let o(x) = 6*x + 39. Suppose -4*n - 8 = -6*n - 4*w, -w + 8 = 2*n. Let r be o(n). Which is bigger: r or 62?
r
Let k(p) = p**3 + p**2 + p. Let v(t) = -6*t**3 - 11*t**2 - 5*t - 8. Let z(i) = 5*k(i) + v(i). Let u be z(-6). Is -28/3 less than or equal to u?
True
Let b(l) = -l + 38. Let o be b(36). Let t = 0.13 - -2.07. Let y = t + -2. Is y smaller than o?
True
Suppose -2*y = -7*y - 20. Let n(i) = 2*i**3 - 42*i**2 + 2*i - 46. Let c be n(21). Are y and c unequal?
False
Let t be 2*-2*(1 + -3). Let j(m) = -8*m - m**3 - 6 + t - 10*m**2 + 0*m**2. Let u be j(-9). Which is greater: u or 1/4?
1/4
Let j(c) = 2*c - 5. Let n be j(6). Suppose 2 + 14 = v. Suppose 5*g - v = 24. Which is smaller: g or n?
n
Let t(j) = -j**3 - 15*j**2 + 16*j + 7. Let z be t(-16). Suppose 2*d = -3*g + 8, -d - 3*g = -7*g + z. Which is smaller: d or -2/59?
-2/59
Let i = -28 - -28. Suppose i*v + 4*l - 22 = -v, 12 = -4*v + 4*l. Is v greater than 4/7?
True
Let g(s) = 3*s**2 + 12*s + 9. Let v be g(-6). Suppose 0*f - 9*f = v. Are -10 and f unequal?
True
Suppose 10*z - 12 + 72 = 0. Suppose -r = -2 + 7. Which is smaller: r or z?
z
Let v(u) = -u - 4. Let l be v(-6). Suppose 0 = -5*j + 5, -4*p = l*j + 3*j + 3. Is p at least as big as -6/5?
False
Suppose -2*t - 4*y - 46 = 0, 0 = -t - 0*y + y - 14. Let k be (t/(-3))/(18/108). Let s be (-38)/k + 12/12. Is -0.1 != s?
True
Let l = -0.42 + 0.35. Let u = -0.07 - l. Which is smaller: 3 or u?
u
Let n = -0.287 - -0.508. Let o = n - 0.021. Which is smaller: o or 4?
o
Let y(d) = d**3 - 6*d**2 - 9*d. Let v be y(7). Let w(c) = c**3 + 8*c**2 + 9*c - 1. Let o be w(-7). Which is greater: v or o?
v
Let c = 30/31 + -268/341. Suppose 60 = -2*d - d. Let b = d + 41/2. Which is greater: b or c?
b
Suppose 21*f - 1 = 17*f + 3. Suppose -18 = -4*t + t. Let j be ((-8)/30)/(t/5). Which is smaller: j or f?
j
Suppose 5*c = -r + 24 + 14, -4*c + 22 = -2*r. Suppose -44 = o - 49. Does c = o?
False
Let w = -2500 + 1049999/420. Which is greater: 0 or w?
0
Let w = -0.67 - -0.78. Let i = 0.4 - 0.11. Let u = i + w. Which is smaller: u or -2?
-2
Let q be (-6)/10 - (-216)/10. Let s(w) = w**2 + 8*w + 1. Let h be s(-7). Let t be 256/308 + h/q. Is t less than or equal to -1?
False
Let i = -2.22 - -0.02. Let v = -2 - i. Which is smaller: v or -6?
-6
Let q be (22 + -5 + -14)*5/(-3). Is -110/29 greater than q?
True
Let u = 214 - 64. Which is smaller: 149 or u?
149
Suppose -2*y = -0*x - x + 4, -2*x = y - 3. Let n = -1 + -14. Let d be (y + -2)/(n/(-10)). Which is bigger: -0.2 or d?
-0.2
Suppose 7*f = 5*f - 30. Let z(g) = g**3 + 16*g**2 + 15*g + 2. Let m be z(f). Let p be (5 - m)*1/(-3). Is p at least as big as -0.13?
False
Let f = -777 + 479. Which is greater: f or -300?
f
Let y = -114/17 + 6202/935. Let c = -2115 + 2115. Which is smaller: y or c?
y
Let i be (1 + 0 - 13/(-13)) + -3. Which is bigger: 1/196 or i?
1/196
Let q = -69381/2177 + 4/311. Let a = 2006/63 + q. Which is bigger: a or 1?
1
Let a = -2.31 - -0.01. Let w = 9.3 + a. Let f = -0.07 + -0.13. Is f at most w?
True
Let x be (-2)/(72/20 - (-2)/5). Let h = -0.8 + 2. Let q = h - 1.5. Is x != q?
True
Let w = -88 + 60. Let t = 97 - 124. Which is smaller: w or t?
w
Let j = -18.33 - 4.77. Which is smaller: j or -2?
j
Suppose -5*y = 22 - 47. Let u(z) = -z**2. Let j be u(-1). Let a be j + 0/2 + 7. Which is bigger: a or y?
a
Let q(l) = l + 3. Let p(s) = -s - 4. Let y(o) = -6*p(o) - 7*q(o). Let v be y(3). Suppose -4*m + m = v. Is m at least as big as 4/11?
False
Let k be 4*1/(-2)*(41 - 6). Which is smaller: 6 or k?
k
Let s = 151 + -39. Let d be ((-4)/14)/((-8)/s). Which is smaller: d or 1?
1
Let m(l) = -l**3 + 10*l**2 + 6. Let c(h) = -11*h**3 - 2*h**2 - 2*h - 1. Let v be c(-1). Let z be m(v). Let n be (-1)/(3 - z/3). Is -2/7 at most as big as n?
False
Let h = 2857/9 - 317. Suppose 7*z - 4*z = 0. Which is greater: h or z?
h
Let l(o) = 4*o**3. Let r be l(1). Let w be (-2 + r)*(-2)/8. Which is bigger: w or 3?
3
Let r = -2 - -36. Suppose -7*g - 22 = r. Which is smaller: -2 or g?
g
Let h(m) = -m + 7. Let d = 67 + -63. Let u be h(d). Is 3 at least as big as u?
True
Suppose 0 = 19*f - 25*f + 7008. Is 1168 smaller than f?
False
Suppose 4*x - p + 49 = 0, -5*x + 5*p - 4*p = 61. Let i be (2/106)/(3 + 30/x). Is i at most as big as -2/7?
False
Let f = -0.113 + 0.142. Which is bigger: -5 or f?
f
Let k(q) be the first derivative of 2*q**2 - 23*q - 39. Let x be k(5). Do -7 and x have the same value?
False
Let k = -13.71 - -12.9. Let p = k - -0.01. Let j be 0 - (1 - (-20)/(-16)). Which is bigger: p or j?
j
Let x = -31.654 + 32.5. Let d = -0.046 + x. Is -1 <= d?
True
Let w = -21.81 - -21.78. Which is smaller: w or -58?
-58
Let l = -911 + 2428. Which is bigger: l or 1516?
l
Let u = -5 + 4. Let y = -1.26 + 1.2. Let r = y + -0.13. Is u < r?
True
Let a = -5/77 - -2/21. Let n(k) = -2*k + 6. Let w be n(3). Is a <= w?
False
Let l be (-6 + 8)/(130/(-8967203)). Let b = -137962 - l. Let k = 24/5 + b. Is k at most 0?
True
Suppose 18 = -4*k + 3*a, 15*k - 23 = 20*k - 4*a. Let u = -196 + -551. Let x = u - -5217/7. Which is smaller: k or x?
k
Let o be 6/(-8) - -2*(-3)/(-8). Which is greater: o or 9/10?
9/10
Suppose 2*o - 5*d = 17, -3*o + 3*d = -7*o - 5. Is 20/17 smaller than o?
False
Let p = -9 + 13. Let i be p/18 + 3223/(-15840). Let h = i - -779/1120. Is h equal to -1/2?
False
Let x = 0.031 - 0.341. Let n = x - 4.69. Let k = 0 + -4. Is n at least k?
False
Let m(t) = -4*t + 20. Let h be m(2). Does h = 18?
False
Let q = 0.19 - 16.19. Let v = -35.6 + 39. Let b = 3.5 - v. Which is greater: b or q?
b
Let c = -0.027 + 39.027. Let p = c + -38. Let j = -167 - -2673/16. Do j and p have different values?
True
Let r = -13 - -19. Let f = r + -5.9. Which is smaller: 0.03 or f?
0.03
Suppose 0*s - 2*s = 0. Let u be 14 - (-1 + s)*4. Let x be ((-2)/(-6))/((-3)/u). Do x and 0 have the same value?
False
Suppose -43 = 3*o - 52. Suppose 2*k = o - 5. Let m be 126/280 + k/5. Which is greater: m or -9?
m
Suppose -2*j + 2 = 4*t, t = -5*j - 3 - 1. Is -668 greater than t?
False
Suppose 3*n + 36 = 5*n. Suppose -r = -5*v + n + 12, 3*v + 10 = -5*r. Let i = 0.951 + 0.049. Is v < i?
False
Let o(w) = -w**3 - 12*w**2 - 22*w - 9. Let v be o(-7). Which is greater: -101 or v?
v
Let c(d) = -2 - 5232*d + 3 + 5233*d. Let b be c(4). Which is greater: b or 6?
6
Let x be (-32)/(-6) + 4/6. Suppose -g - 2*g - 52 = -4*j, -x = -j - g. Suppose 3*h - 8*h = -j. Does h = 2?
True
Let h = -80 - -81. Let c be (1*(h + 0))/(5/40). Let f = 19 + -13. Are f and c nonequal?
True
Let v = 9096358/15 - 606061. Let q = v - 363. Is q less than 0?
True
Let b = -106.4 + 11.4. Let a = b + 95.012. Which is bigger: a or 0.1?
0.1
Let i(q) = q**2 - 4*q - 17. Let b = 24 - 18. Let s be i(b). Let r(f) = -f + 1. Let a be r(6). Is a != s?
False
Let k be 1/36 + 1/(-4). Let c(a) = -4*a + 6. Let d be c(2). Let l be (1 - d) + (0 - (1 + 3)). Which is smaller: l or k?
l
Suppose -6805 - 2561 = 42*n. Which is smaller: n or -0.1?
n
Suppose -z = -f, 3*z + 0 = 5*f - 6. Suppose f*r - 34 = 4*d - 11, 0 = -r - 3*d - 1. Is r >= 5?
True
Let y be 2/3 + (-280)/(-12). Let j(b) = -43*b - 20. Let p be j(-1). Which is smaller: y or p?
p
Let x = -55 + 54. Let k(w) = -2*w**2 + w**2 - 6 - w - 4*w. Let y be k(-4). Which is smaller: x or y?
y
Suppose -2*m - 5 = 4*v - 87, 5*v - 110 = 5*m. Suppose -4 = u - v. Suppose -h = 4*r - 1, -2*r + 0*r + 5*h = -u. Do -2/17 and r have different values?
True
Suppose -73 - 143 = -6*o. Let f = -31 + o. Suppose 0 = -4*j + 3*l + f, 4*j + 14 - 44 = -2*l. Which is smaller: -0.4 or j?
-0.4
Let x = 0.7 + -0.9. Let v = x + -6.8. Let c = 4 + v. Which is smaller: c or 1?
c
Let x be 2/(1824/916 + -2). Are -228 and x equal?
False
Let v = 4 + -5. Let d = 21091/17 - 1241. Which is smaller: v or d?
v
Let i = -19 - -18. Let c(b) = -2*b**2 + 3*b - 4. Let a be c(3). Which is smaller: a or i?
a
Let h = 69 + -26. Let r = -49 + h. Is r greater than -26/5?
False
Let k = -6 + 7. Let j(r) = -2*r + 3*r + r - k - r. Let h be j(9). Is 8 at most as big as 