7). Which is smaller: 2/395 or y?
y
Let v = -73.6 + 74. Let d = -0.55 + -0.05. Let y = v + d. Is 0.1 smaller than y?
False
Let q(t) = 12 + 6*t**3 - 7*t**3 + 24*t - 24 - 23*t**2. Let a be q(-24). Which is bigger: -34/3 or a?
-34/3
Let x(a) = a**3 + 3*a**2 - 6*a + 8. Let z be x(2). Let t = z + -17. Let f = -69 - -342/5. Is f smaller than t?
False
Suppose -2 = 4*i + 18, 5 = 5*x - 3*i. Let w be ((-8)/6)/(x/(-6)). Let h(c) = c**2 - c - 9. Let u be h(-2). Are u and w nonequal?
True
Let t = 95/3 - 31. Let d = 8.92 - 0.92. Is t != d?
True
Let o be 5*2*(24 - 26). Let t = o - -21. Let x be 0/2 - (-2)/35. Is t equal to x?
False
Let o(c) = -c**3 + 3*c**2 + c - 4. Let n be o(3). Suppose 2*j - 3*s = -1, j + 3*s = -2*j + 21. Suppose -2*y + 1 = g, 20 = j*g - 0*g. Is y at least as big as n?
False
Suppose 194*b = 188*b - 780. Do -132 and b have the same value?
False
Let l = -991 - -1475. Is l less than or equal to 483?
False
Let c be (-28)/(3080/90) + 4/(-22). Let k = -93 - -557/6. Which is smaller: c or k?
c
Let w = 11 + 1. Suppose 4 - w = -q - g, -20 = -q - 4*g. Suppose q - 8 = -4*k. Which is smaller: k or -2/23?
-2/23
Let c be (-906)/(-126) + (-14)/2. Is c > -1?
True
Let t be (1 + 1)/((-8)/56). Let u = t + 14. Which is smaller: u or -1/20?
-1/20
Suppose -296 = -4*c + 4*u, -4*u + 6*u = 4*c - 300. Are c and 80 nonequal?
True
Let r = -67 + 69. Suppose 0*j + r*j + j = 0. Which is greater: 4 or j?
4
Let u be 0 + -1 - (-4)/68. Suppose 118 = 19*l + 156. Which is bigger: l or u?
u
Suppose -4*a - 8 = 0, 4*s - 5 + 11 = -a. Which is greater: 3/46 or s?
3/46
Let h = 29/7 + -11056/2667. Does 1 = h?
False
Let a = -4.63 + 5.3. Let b = 1.38 - a. Is b less than 0.1?
False
Let c(o) = 105*o + 0 - o**2 + 1 - 92*o. Let f be c(13). Do -1/13 and f have the same value?
False
Let s be 26/6 - (0 + (-4)/6). Suppose -5*v = s*u + 50, -v - 2*u + 11 - 26 = 0. Is v at most -4?
True
Let n(o) = -2*o**3 + 2*o**2 + 2*o + 1. Let d be n(-1). Let y = 66 - 31. Let s = y + -33. Is s > d?
False
Let p(q) = 13*q**2 + 2*q - 4. Let l be p(-3). Is l smaller than 106?
False
Suppose -41*u + 627 - 5178 = 0. Which is greater: u or -109?
-109
Let x(s) = -2*s**3 + 5 - 4*s - s**2 + s**2 + 4*s**2 + 3*s**3. Let o be x(-5). Suppose -k + 0*k = o. Which is bigger: k or -1/40?
k
Suppose 2*y + 107 = -25. Let t = 267/4 + y. Let q = t - 1/2. Is q > -2?
True
Let k = 214 + 18. Let g = 231 - k. Let i = -16/5 + 577/185. Is i bigger than g?
True
Let g = -359 + 424. Do 64 and g have different values?
True
Let n(q) = -q**2 + 18*q - 69. Let p be n(14). Are p and 75 unequal?
True
Let f(t) = -t + 4. Let k be f(8). Let a be (-44)/(-10) + (k - -2). Let b be (3 + 15/(-6))*4. Which is bigger: b or a?
a
Let s(b) = b - 2. Let j(m) = 3*m - 5. Let q(z) = 2*j(z) - 7*s(z). Let t be q(12). Let n = 0.2 - 0.1. Are t and n unequal?
True
Let m be (3*-1)/(3/69). Let w be (-9)/m*1037/(-3). Let v = -45 - w. Which is greater: 0 or v?
v
Suppose -57 = 3*y - 2*t + 14, -5*y - t = 127. Suppose -6*m + 2*m - k - 13 = 0, -15 = 3*k. Are y and m unequal?
True
Let j be -1*81/12*-3*12. Let v = j - 2671/11. Which is smaller: -2/5 or v?
-2/5
Let j be 1 - 2 - 4/(-7). Suppose 5*n - 10*n - 230 = 0. Let b = -46 - n. Which is greater: j or b?
b
Let o = 160 - 156. Is -21 > o?
False
Let y = -9609/131480 + 12/865. Let v = y + 45/38. Suppose 0 = 4*i + 4*p - 20, 15 = -i - p + 4*p. Which is smaller: i or v?
i
Let r = -2/6355 - -463927/38130. Which is bigger: 12 or r?
r
Suppose 10 = 5*d, -6*j - 5*d - 522 = -10*j. Is 131 greater than or equal to j?
False
Suppose 6 = s - 4*i - 0, 3*s - 11 = 5*i. Suppose 5 - 1 = s*r. Let c be (r/(-21))/((-8)/36). Is 1 equal to c?
False
Suppose 6*w + 165 = 261. Suppose 0 = x + 3*x - 68. Which is smaller: w or x?
w
Let k = -6 + 17/3. Let w be (-104)/(-3) + -2 + -2. Let v = w - 30. Which is bigger: k or v?
v
Let r = -46.1 + 46.3. Is -0.08 smaller than r?
True
Suppose -14*k = -15 - 27. Suppose -k*z = 6 - 9. Which is greater: 8/7 or z?
8/7
Let b = 63449384/1767 + -1149726/31. Let a = b + 1180. Let m = -23/114 + a. Which is smaller: -1 or m?
-1
Suppose 6 = 5*h + 1. Let z(l) = 16*l**3 - l**2 + 1. Let s be z(h). Suppose 4*q - q - 1 = -2*r, -4*q = -r - s. Is -4 not equal to r?
False
Let o be 1 + -3 - (-1068 + 0/(-1)). Let j be (o/39)/(4/(-18)). Is j at least as big as -122?
False
Let g(p) = -p**3 - 5*p**2 - 2*p - 4. Let d be g(-4). Let z = -44 + 44.017. Let v = z - 1.017. Do d and v have the same value?
False
Let h = 2999/4 - 742. Let f = -65/8 + h. Which is greater: f or -0.2?
-0.2
Let o = 149.9 + -150. Let y = -0.31 - 2.29. Let j = 8.4 - y. Do j and o have different values?
True
Suppose 11*h - w + 158 = 10*h, -4*h + 2*w = 642. Which is greater: -488/3 or h?
-488/3
Let k be (-12810)/5642 + 6/78. Which is greater: k or -2?
-2
Let n(t) be the first derivative of -9*t**4/4 - 2*t**3/3 - 5*t**2/2 - 4*t + 46. Let q be n(-1). Which is greater: q or 5?
q
Suppose -10 = -2*d, -19 = p - 5*d + 4. Suppose 0 = 2*k - 0*k - p. Let x = -10375/23 + 451. Which is greater: x or k?
k
Let s = 13/2563 - 1796702/7689. Which is smaller: s or -235?
-235
Suppose -2*v + 106 = 2*j + 2*j, 91 = 2*v + j. Which is greater: 39 or v?
v
Let m = -33 - -30. Let a be 3*(m - 0 - 48/(-18)). Which is bigger: 8 or a?
8
Let t = 34 + -31. Suppose 3*s + t*k + 2 = 4*k, -5*s + 2*k - 3 = 0. Which is greater: s or 2/137?
2/137
Let d = 280 + -279. Let t be (-13)/(-22) - (-2)/4. Which is bigger: d or t?
t
Let b = -43.3 - -1.3. Let m = -45 - b. Suppose 4*f = 1 + 11. Is f greater than or equal to m?
True
Let c be 0*1/2 + 0. Let y be 1 + -1 + 6 + 26. Let f = -32 + y. Is f greater than c?
False
Suppose -21*q = -5 - 793. Is 33 greater than or equal to q?
False
Let f = 1724/5 - 346. Suppose -3*k + 4 = -2*k. Let a = k - 6. Which is bigger: a or f?
f
Let u be (1 - -35)*(1 - (-3 - -6)). Let s = -649/9 - u. Which is bigger: 1 or s?
1
Let x(w) = -w + 1. Let d(m) = m**3 - 21*m**2 - 27*m + 5. Let s(q) = -d(q) + 5*x(q). Let v be s(22). Do v and 3 have the same value?
False
Suppose 3*j + 8 = -1. Let i(w) = -2*w**3 - 10*w**2 - 8*w + 5. Let q be i(-4). Let s(k) = -3*k**2 + 16*k - 9. Let b be s(q). Which is greater: j or b?
j
Suppose -i + 3*m = 8, -2*i - 4*m = -6*m + 4. Which is smaller: 9/7 or i?
i
Let m be ((-2)/(-8))/(9/(-708)). Let p be -1 - 12 - (-35)/(-15)*3. Is m at least as big as p?
True
Suppose -m = -2*d - 0*m - 13, m = -d - 8. Let k(n) = -2*n + 1. Let u be k(-1). Let t be ((-18)/6)/u + 0 + -8. Is t at most as big as d?
True
Let b be ((-8)/(-354))/(910/117 + -8). Which is smaller: 1 or b?
b
Suppose 128*d - 109*d = -5396. Is d greater than -281?
False
Suppose 0 = -3*u + 8*u - 20. Suppose u - 1 = 3*w. Which is bigger: w or -4?
w
Let k(c) be the third derivative of c**4/12 + 25*c**3/6 + 29*c**2. Let n be k(-13). Which is greater: 4/59 or n?
4/59
Let s(d) = -6*d**2 + 7*d + 9. Let y be s(9). Let r = y - -2062/5. Are -0.5 and r nonequal?
True
Let s(a) = a**3 + 9*a**2 + 14*a + 2. Suppose 2*x + 2*x + 28 = 0. Let m be s(x). Suppose -k + m*k = c + 2, -k + 4*c = -8. Is 2/5 < k?
False
Let a = 4 + -2. Suppose a*v = 2*d + 24 + 34, -1 = -d - 5*v. Suppose -20*x = 91 + 389. Is d at least x?
True
Let a(n) = -n**3 + n**2 - n + 3. Let u be a(0). Suppose -u*v = 3*z + z - 10, -3*z + 2*v = 1. Which is bigger: z or 1/14?
z
Let f = 89/10 - 91/10. Let s be (-1)/4 - 28/16. Let z be ((-6)/10)/((-3)/s). Which is bigger: z or f?
f
Let j(o) = -1 - 1 - 2 + 3 + o. Let d be j(-2). Which is bigger: d or -1?
-1
Suppose 3*n - 5*w = n - 27, -w = -5*n - 10. Are 2/3465 and n unequal?
True
Let b(o) = -o**3 + 6*o**2 + 6*o - 14. Let d be b(7). Which is smaller: -26 or d?
-26
Let z = 0.38 - -4.82. Let c = 0.6 - -4.4. Let p = c - z. Is p bigger than 2/5?
False
Let n = -19 - -17. Let j(d) be the second derivative of d**3/6 - 7*d**2/2 + 8*d. Let r be j(0). Which is smaller: n or r?
r
Let b(v) = v**3 - 5*v**2 + 4*v - 3. Let u be b(4). Let x = 7770 + -7772. Which is smaller: u or x?
u
Let n be ((-3)/6)/(7/(-1722)). Let c = n + -863/7. Is -3/17 >= c?
True
Let m be ((-35)/10 - -3)*134. Let u = m - -47. Let v = u + 39/2. Which is smaller: -25 or v?
-25
Let u = 1.962 - -0.088. Let i = -2 + u. Let l = -0.25 + i. Is l < 1/3?
True
Let m = -3 + 2.75. Let q = 12.71 - 12.71. Let t = q - m. Is -1 smaller than t?
True
Let c = 2 + -6. Let y = -237/19 - -105759/8474.