ch is smaller: y or s?
y
Let w(j) = -2*j + j**2 + j**3 + 0*j + 1 + 0*j**3. Let r be w(-2). Suppose 23*x - 18*x + 2*u = -40, -5*x + 4*u - 70 = 0. Which is bigger: r or x?
r
Let u = 47 - 45. Let l = -5/398 + 7229/5174. Which is greater: l or u?
u
Let i be (-4 - 95/(-20)) + (-135)/132. Let w = 0 - 2. Let s be w*(-2 + 3) + 2. Is i at least s?
False
Let d = 0.07 + -1.07. Is 159 at least d?
True
Let r = 16 - 28. Let u be 2/(-5) - (-4)/10. Let s = -12 - u. Are s and r unequal?
False
Suppose -2*z + 11 - 1 = 0. Let s(a) = -10*a - 1. Let j be s(-1). Let l = j - z. Is l greater than 4?
False
Suppose 20*w = 15*w. Suppose w = k + 3*r + 15, 4*k = 8*k + 3*r + 42. Let c be 1 + 44/(-2 + -2). Do k and c have different values?
True
Let k = 17.878 + -18. Let q = k + 78.122. Which is smaller: -1 or q?
-1
Let h = 108 - -311. Which is greater: 418 or h?
h
Let h = -8 + 5. Which is greater: 11 or h?
11
Let i = -12 + 8. Let k(u) = u**2 + 5*u + 5. Let v be k(i). Let x be (3/(-396)*-4)/(6 + (-259)/42). Is v less than x?
False
Let h(f) = 3*f - 13. Let y be h(4). Is y >= 3/31?
False
Let f = -6 + 8. Let h = -147 - -471. Let o be 2/(-8) - (-441)/h. Which is greater: o or f?
f
Suppose -15471 = 20*n + 7*n. Is -572 at least n?
True
Suppose 2*m - 10 = -2*i, -2*m = 4*i - m - 5. Let p be (-5)/(4 - i/(-4)). Is -2 <= p?
True
Let f(m) = m**3 - 7*m**2 - 10*m + 11. Let g be f(8). Let r = -4 - g. Let i be -2*r + 10/35. Is i at most as big as -1?
True
Let f(c) = -5*c**2 + 7. Let u be f(3). Let z = u + 27. Is -13 greater than or equal to z?
False
Let k = -57680/171 - -7266/19. Which is smaller: 45 or k?
45
Let c(z) = -z**3 - 3*z**2 + 2*z - 7. Let i be c(-4). Let x = -162/5 + 32. Is x less than or equal to i?
True
Let s be (-462)/(-294) - (-4)/(-7). Is 3/8 greater than s?
False
Let r = 0.087 - 137.087. Let f = r + 83. Is 1 < f?
False
Let g be (-4 - -3 - 0) + (3 - 1). Is 0 at most as big as g?
True
Suppose -4*j = -9*j - 15. Which is bigger: 0.6 or j?
0.6
Let w = -12 - 1. Which is bigger: w or 4?
4
Let w = 52283/32 + -1634. Is -1 smaller than w?
True
Let q = -562 - -561. Which is bigger: q or -2/2217?
-2/2217
Let v(g) = -5*g**2 - 2*g + 19. Let j be v(4). Is j >= 0?
False
Let q be 9 + -2*(-2 + 3). Suppose k + 4*h = -q, -3*k - 3*h + 0 = -6. Suppose -k*p + p = -48. Are 0 and p unequal?
True
Let m = 400 - 400. Is m at least as big as -5/42?
True
Let c be 0 + 19487/(-876) + -37 + 36. Let t = 93/4 + c. Is t != -1?
True
Let l = -0.1 - -0.2. Let h = -8 + 13. Suppose 2*b - b = 2, -3*w = 4*b - h. Which is smaller: l or w?
w
Suppose 20 = -2*h - 3*g - 35, -2*g - 165 = 5*h. Let z be (-2 - 5/(-7)) + (-10)/h. Which is greater: 2/15 or z?
2/15
Let i be -2 + 2*(6 + -5). Suppose -3 = -m + v, 5*m - 1 + i = -2*v. Let d = 6499/25 - 260. Is m greater than or equal to d?
True
Let m = 28 - 52. Let z(n) = -n**2 - 218*n + 1320. Let y be z(6). Is m > y?
False
Let n = -407/30 - -67/5. Let f = 3.79 + 1.21. Is n at least as big as f?
False
Let u(r) = -2*r - 4. Let c be u(-6). Let x be c/(-4) + 1 - -72. Suppose -4*a = 4*d + 15 - x, 3*a - 12 = 3*d. Which is smaller: a or 10?
a
Let o(b) = -6 + 0*b - 6*b**2 - b**2 - b - b**3. Let z be o(-9). Let f be (-2)/11 - (-195)/z. Which is bigger: -1/9 or f?
f
Let s = -196 - -199. Which is smaller: s or -1?
-1
Let f(b) = b**3 + 13*b**2 + 14*b - 22. Let n be f(-11). Suppose -z + n = 5. Which is bigger: 60 or z?
z
Suppose w + 51 = 4*j, -2*j - 27 = -5*j - 3*w. Suppose 7*d + 12 = j. Is d less than or equal to 4/21?
True
Let j(t) = 4*t**2 + t - 5. Let b be j(-10). Which is smaller: b or 384?
384
Let y(n) = 10*n + 10. Let s be y(0). Suppose -5*a - s = 5*d + 10, 0 = -5*d. Suppose -3*p = -7*p - 4. Which is bigger: p or a?
p
Let l be 65/10 + -5 + (-1018)/204. Let c = l - -44068/12597. Which is bigger: c or 1?
1
Suppose -4*w - 20 = 0, -2*g + 23 = -27*w + 22*w. Is g < -1/1040?
True
Let s = 399 + -437. Is -6 at most as big as s?
False
Let w be (-28971)/9546 + (-3)/(-2). Is w equal to -3?
False
Let m be 22 + 1 + 68/(-17). Let k = 18 - m. Which is greater: 2 or k?
2
Let i(f) = 8*f + 319. Let l be i(-40). Which is smaller: -2/7 or l?
l
Suppose -2*p - 129 = 105. Let o = p - -63. Which is greater: o or -55?
o
Let n = -1343845/72 - -18665. Does -1 = n?
False
Suppose 5*f + 352 - 14 = n, 3*n + 4*f = 976. Let g be 2/((-5)/((-20)/n)). Is g at most 0?
False
Suppose 5*o + 9 = 39. Let n(c) = 7*c**2 + 101*c - 54. Let z be n(-15). Is z <= o?
True
Let o be 2*((-261)/(-18) + -1). Which is smaller: o or 20?
20
Let g = -2089 - -77281/37. Is -1 <= g?
True
Let r be ((-2)/2*1)/1. Let n be ((-815)/20)/(2/8). Let m = n - -1139/7. Which is smaller: m or r?
r
Suppose -f - f + 7 = -5*c, 0 = 5*f - 5. Let o be (-4)/(-10) + 7/(-5). Let a = 2 + o. Is c > a?
False
Let l = 11.6 + -8.96. Let w = -5.4 + 2.7. Let v = l + w. Which is smaller: 1 or v?
v
Let n = -0.492 + 10.522. Which is smaller: 1 or n?
1
Let r be (-174)/8 + 18/24. Let f be (-588)/27 + 12/(-54). Is r != f?
True
Suppose -1606 - 500 = 13*s. Is -162 at least as big as s?
True
Let y be (-10)/15 + (-548)/(-30). Are y and 19 unequal?
True
Suppose -5*r + 2*r + 5*i = 44, -r = 2*i. Let j be 25/(-30)*(-2)/30. Let k = 4/9 + j. Is r at least as big as k?
False
Suppose -n = -5*k + 131 - 11, -388 = 4*n + 3*k. Does n = -98?
False
Let g be ((-9)/142)/((5304/(-32))/(-17)). Is -1 >= g?
False
Let d = 36.3 + -37. Let q = d - -1. Which is smaller: q or -0.2?
-0.2
Suppose 0 + 4 = -3*o - 4*s, 3*s + 3 = 4*o. Let k = 2 + o. Suppose -2*l + 4*b = -40, 5*b = -k*l + l + 20. Is l smaller than 19?
False
Let k = -6119 - -850545/139. Is k smaller than 1?
True
Let c = -3 + 3. Suppose -g = -3*r + 4, 2*r - 3*g = -c*g + 12. Which is bigger: 2/25 or r?
2/25
Let d be -1 - (-12)/(-8) - (-1)/(-2). Let w be (-705)/18*d/(-60)*6. Which is smaller: w or 1?
w
Let d be (-26014)/64446 - 14/(-21). Let f = -1/467 + d. Is f at most 0?
False
Suppose -4*q + 8*q = 3*l - 47, -84 = -5*l + q. Which is smaller: l or 13?
13
Let f = -260 - -259. Which is smaller: f or -31?
-31
Let n be (-2)/(-6) + (-32)/6. Let t(m) = 123*m - 2*m**2 - 106*m + 3*m**2 + 1. Let w be t(-17). Which is greater: w or n?
w
Suppose 4*u - 18 = 2. Suppose 4*i - u + 11 = -2*a, -4*i + 3*a = 11. Let m be 5/i*8/(-10). Is m less than or equal to 2?
True
Let x = 9.2 + -9. Let m = 8.2 - x. Let u = 71 - 73. Which is smaller: m or u?
u
Let g = 20 - 18. Suppose -z = -4*j - 16, -2*z = -2*j - g*j - 24. Let i be (-2)/z*4/2. Is i not equal to 0?
True
Let b(t) be the first derivative of t**3/3 + 2*t**2 - t - 5. Let a be b(-2). Is a < -42/11?
True
Let i = -238/49741 - -45054640/39345131. Let s be -8 + 3 - 11859/(-2373). Let v = i - s. Is 2 greater than or equal to v?
True
Let z(k) = -43*k + 146. Let j be z(5). Which is greater: -72 or j?
j
Let l = -541 - -535. Which is bigger: -1/112 or l?
-1/112
Let l(w) = w**3 - 3*w**2 + 2. Let v(h) = 2*h - 5. Let x be v(4). Let c be l(x). Let j(b) = b**2 + 11*b + 13. Let y be j(-10). Is y bigger than c?
True
Suppose 0 = 6*a - 4*a + 226. Let w = a + 245/2. Which is smaller: 11 or w?
w
Let a = 807147/85 - 9496. Are a and 0 equal?
False
Suppose -q - 1 + 2 = 0. Suppose 0*h - 6 = -3*h - g, 5*h - 10 = 4*g. Let b be ((h - 1)/6)/((-20)/3). Is q smaller than b?
False
Let s = 0.08 - 0.36. Let g = -0.04 - s. Let r = 0.76 + g. Which is greater: r or -0.01?
r
Let w = 17 + -14. Let k be 2/6 + 4/(-12). Suppose -m + 5*n + 3 = -5, -3*n - 6 = k. Is w at least as big as m?
True
Let r be (92/(-161))/((-12)/(-14)). Which is greater: r or -6?
r
Let i(p) = p**3 - 11*p**2 + 8*p + 12. Let n be i(10). Let o = 5 + n. Suppose -5*k = -16 + 21. Is k > o?
True
Let y(s) = s**2 + 8*s + 12. Let r be y(-3). Let f be ((-14)/21)/((-7)/r). Is f at least 14?
False
Let q = -0.09 - -0.09. Suppose u + 0*u - 5 = 0. Suppose -7 = u*v - 2. Which is bigger: v or q?
q
Let f(r) = r + 13. Let s be f(-8). Suppose -4*l + g = -122, -154 = -s*l + g + g. Is l smaller than 29?
False
Suppose 6*j + 30 = -18. Let d be (3 + 12/j)*-6. Is -9 != d?
False
Let v = -0.021 - -60.021. Let h = v + -34. Is h < 0?
False
Let g = 3937/420 - 188/105. Which is smaller: g or 7?
7
Let n = 29 - 5. Which is greater: n or 7?
n
Let u = 21 - 9. Let o be ((-8)/(-6))/((-4)/u). Let a be o/(-22) + (-18)/(-22). Is a smaller than 1/12?
False
Let p = -324 + 328. Which is bigger: p or 15?
15
Let c be (-2)/(-8)*(44 - 3