10869518700/42391. Is f at most as big as -1?
False
Suppose -v = 5*z + 10, 4*v - 5*z - 1 - 9 = 0. Suppose 4*t - 2*t = 1680. Let l be 1270/t*-2 + 1*3. Which is smaller: v or l?
l
Let k = 15 - 26. Let g = k + 12.4. Let h = -196/5 - -39. Which is greater: h or g?
g
Let w = 4526 - 4467. Which is smaller: w or 57?
57
Let x(m) = 2*m + 7. Let p be x(2). Suppose -3 = 8*r - p*r. Is 3/151 bigger than r?
False
Let j be ((-16)/(-24))/(190/(-171)) - -7. Let p(n) = n - 6. Let q be p(6). Is q > j?
False
Let t = 8213 - 1822. Which is greater: 6392 or t?
6392
Suppose 59 = -9*m + 14. Suppose -4*g + 7*g - 19 = -4*t, 13 = 2*g + 3*t. Suppose -3*r = -5*j + 2*r + g, 5*r = -2*j - 12. Does m = j?
False
Suppose -3*r = 2*r - 480. Suppose 0 = 3*w + 5*f - 321, -w - 71*f + 70*f = -103. Is r at most w?
True
Let z = -0.185 - 0.017. Let t = z + 0.057. Let j = 0.005 + t. Is j < -2/5?
False
Let p(v) = v**3 + 19*v**2 + 17*v - 42. Let g be p(-18). Let q be g/12*(-1)/1619. Let d = q - -3180/46951. Which is smaller: d or 3?
d
Let r(a) = -a**2 - 100*a + 5222. Let b be r(38). Is b smaller than -77?
False
Let j be (-11 + (9 - -5))/(1 - 0). Let x be (-8 + 5 - -5)*(-498)/j. Which is smaller: x or -331?
x
Let q be (-2 - -6)*(539/(-44) + 12)*1. Is 3/3757 greater than or equal to q?
True
Let v be ((-4)/30 - (-7139820)/(-12600))/((-6)/8). Is v < 756?
True
Suppose -r + 0*r + 3 = 0, 2*r = -4*p + 18. Let t = 2473/3 + -7385/9. Which is bigger: t or p?
t
Let i = 5 - 2. Let b be (-9)/(-1458)*18*(-594)/(-176). Which is bigger: b or i?
i
Let q be (-60)/(-480) - 147/24 - 4/(-2). Which is bigger: q or 120?
120
Let v = 153 + -319. Let z = -1164/7 - v. Let t = -755 - -1509/2. Which is greater: t or z?
z
Let g = -12669/20 - -72884717/115060. Is 1 at most g?
False
Let t = 79 + -170. Let o = -93 - t. Let h be 1/2*(-2 - (-10 - o)). Is 9/4 bigger than h?
False
Let l = 67.35 - 67.15. Do l and -2.62 have the same value?
False
Suppose 175120 = 83374*c - 83396*c. Is c smaller than -7960?
False
Let c = -131 + 214. Which is smaller: 13 or c?
13
Let p = -510861 - -510858. Let v be -1 - (0/2 + 1). Let i be v/3*3/20. Is i less than or equal to p?
False
Let x = 429 + -411. Suppose -23*f + 25*f + x = 0. Which is smaller: -7 or f?
f
Let b be -1 - (-27)/21 - 257/(-7). Let d = -56 + b. Let c(p) = p**2 - 11*p - 8. Let t be c(10). Which is greater: t or d?
t
Suppose 27*p = -38*p - 3120. Suppose 5*o = 3*k + 148, -5*o + 1 - 83 = 2*k. Is p at least as big as k?
False
Let t = 81 + -77. Suppose 2*l - 19 = t*g + 3, -2*l - g = -47. Which is greater: l or 19?
l
Let v = 82488/5 - 16446. Let r(x) = 21*x - 600. Let d be r(31). Is d at least v?
False
Let k be ((-160)/(-45) - 0)*(-623)/28. Suppose -5*w - 97 = 298. Let v = k - w. Which is smaller: v or -2/3?
-2/3
Suppose -i + 24 = 3*i - 184. Let o be (-360)/(-6) + -1 + -2. Is i < o?
True
Let t = 38123/2 - 19081. Let s(x) = x**3 - 4*x**2 - 6*x + 5. Let y be s(4). Which is greater: y or t?
y
Let g(m) = m**2 - 2*m - 35. Let k be g(-5). Suppose 0 = -k*d + 2*d - 20. Suppose -26 = d*x - 6. Which is bigger: x or -6?
x
Let t = -1.5 - 46.5. Let x = 48.07 + t. Let f = -38/3 + 77/6. Which is greater: x or f?
f
Let n be 261/87 + 490/(-62). Is n less than -4?
True
Let r be ((-176)/16 - (-228)/20)*695/2. Does 135 = r?
False
Let t(n) = n + 2. Let z be t(-2). Let m = -219515/11544 + 742/39. Let d = 1097/8584 + m. Are d and z equal?
False
Suppose 5*q + 3*y = 196, -5*y = 164*q - 155*q - 352. Is 38 < q?
False
Let z = 71.264 + -113.12. Let y = -0.144 + z. Which is bigger: y or 1/3?
1/3
Let a = -0.71 - -0.769. Let h = -18.65 - -17.3. Let n = h + 0.35. Which is bigger: a or n?
a
Let y = 1792.9967 + -1793. Do 5 and y have the same value?
False
Suppose 15*s = 11*s - 3*v - 4, -5*s - v = 5. Which is bigger: s or -21/223?
-21/223
Let l = -2470 + 2762. Is l > 291?
True
Let s(g) = -19*g - 22. Let t(c) = -16*c - 20. Let x(h) = -3*s(h) + 2*t(h). Let r be x(-3). Is r < -146/3?
True
Let u be ((-10)/(-1))/(1 + 2). Let o = 548 + -542. Suppose 18 + 0 = o*n. Which is smaller: u or n?
n
Let y be (-2700)/8 - (6/(-4) - 0/(-95)). Which is greater: y or 11?
11
Let d = -7 + 18. Let k(s) = -5*s - 108. Let w(y) = -y**3 - 13*y**2 - 28*y - 4. Let q be w(-10). Let n be k(q). Is n equal to d?
False
Suppose 0*n - n - 21 = -2*j, 5*n = -15. Suppose -j*d = 11*d - 2800. Which is greater: d or 2/5?
d
Let o(a) = 7*a**2 - 6*a - 7. Let k be o(-2). Suppose 2*h - 6 = 0, -5*d + 3*h + k = -h. Suppose z - 70 = -d*z. Does z = -1?
False
Let f(l) = l**3 - 10*l**2 - 29*l + 27. Let q be f(12). Let n be 51/9 - 11/q. Are n and -2 nonequal?
True
Suppose -2*v - 2*p = 20, 3*v + 8*p + 38 = 7*p. Let i(s) = -s**2 - 19*s - 32. Let y be i(v). Let o be (5 - 74/y) + -2 + -1. Is o < -1?
False
Let n = 1534.5 + -1533. Which is smaller: n or 3/5?
3/5
Let f be ((-8)/2 - (-84476)/224)/((-3)/4). Which is smaller: f or -499?
-499
Let p = 693 - 693. Suppose k - 4*k - 6 = 0, p = j - k - 219. Which is smaller: -2 or j?
-2
Let s = 119084234891/2145 + -55517127. Let f = -76/55 - s. Which is smaller: 1 or f?
f
Suppose -470*i + 471*i - 826 = -5*v, -4*v + 2544 = 3*i. Which is smaller: 865 or i?
i
Suppose 3*u - 4*a = -5*a + 328, 4*a - 448 = -4*u. Let q = 754/7 - u. Which is greater: q or -6/23?
-6/23
Let x(w) = -2*w + 8. Let r be x(-10). Suppose -s - 123 = 3*j, -4*s + 2*j + 37 = 543. Let y be r/s - 32/(-63). Does y = -1?
False
Let a = 4782/13 - 1094948/2977. Is a greater than 0?
True
Let k(p) = -52*p + 1875. Let i be k(36). Is i smaller than -2/599?
False
Let o(p) = -p**3 + 3*p**2 + 4*p. Suppose 0*k - 8 = -3*k - 2*g, -k + g = -6. Let r be o(k). Which is bigger: 1/47 or r?
1/47
Suppose 50 - 128 = -26*j. Suppose -j*x + 805 = 5*f, x - 75 = -4*f + 198. Which is smaller: 264 or x?
264
Let k(w) = -16*w + 253. Let d be k(15). Suppose 174 = -d*j - 73. Is j bigger than -18?
False
Let r = -8/1679 - -3398/8395. Let o(k) = k**2 + 5. Let d be o(-7). Which is smaller: r or d?
r
Suppose -13*b = -7*b. Suppose b = -12*n + 10*n. Is n less than 1/22?
True
Suppose 2 = q, -j = -3*j - q - 14. Suppose -2*t = 3*r - 24, -4*r + 0*r = -4*t - 52. Are r and j unequal?
True
Let y = 30497 + -2104292/69. Is y smaller than -2/11?
False
Let q(s) = 2*s**2 + 14*s - 50. Let f be q(-10). Let g be 2/6 + (-23)/(-3). Suppose -g*y + f*y = -24. Is -9 smaller than y?
False
Let f = -0.0745 + -87.7255. Let q = f + 82. Let u = 5.3 + q. Is u smaller than 1/8?
True
Suppose 3*t = -5*u - 6, -4*t - 9*u - 8 = -7*u. Let c be (-6 - 2)*t/4. Suppose 0 = c*g + 5*o + 3, 0 = g - 0*g + 4*o - 2. Which is smaller: g or 18?
g
Let q(o) = o**3 + 23*o**2 + 23*o + 26. Let d be q(-22). Suppose -n - 7 + 27 = d*v, -5*v + 50 = -5*n. Is 7 greater than or equal to v?
True
Suppose 612 = 17*u - 13*u. Let z = u + -153. Which is smaller: -22 or z?
-22
Let m(g) be the third derivative of -g**5/60 - g**4/8 + 3*g**3/2 + 6*g**2. Let l be m(4). Which is bigger: -196/11 or l?
-196/11
Suppose 161 = 3*n + 116. Suppose 0 = 6*k + n*k + 966. Is k != -43?
True
Let u(f) = -31*f**3 - 65*f**2 + 173*f - 4. Let x be u(3). Which is smaller: x or -906?
x
Let h(v) = -2*v. Let k(j) = -3*j + 7. Let x(n) = -4*h(n) + k(n). Let c be x(-3). Let b = -2 + 2. Is c <= b?
True
Let a = -119/79 + 1/158. Let h be -4*(-27)/(-180)*10/39. Which is greater: a or h?
h
Let s be (4*(-22)/16)/((-1)/(-6)). Let o be ((-68)/10)/(s/165). Is o at most 34?
True
Let i = -11600 - -11474. Let u = -236 + 112. Which is smaller: u or i?
i
Let k(s) = -s**3 - 37*s**2 + 2*s + 76. Let f be k(-37). Suppose 3*t + 218 = 4*x, 35*x + 220 = 39*x - f*t. Which is smaller: 7 or x?
7
Suppose 158 = -f - 88. Suppose 23*r + i = 19*r + 2258, 4*i + 1684 = 3*r. Let c be (2/4)/(-1) - f/r. Which is bigger: c or -1?
c
Suppose -71 = 2*d - 4*j - 277, 3*d - 317 = -2*j. Let k = -238 - -357. Let z = k - d. Is 77/5 bigger than z?
True
Let c = 17018 + -17019. Which is smaller: -115/117 or c?
c
Let a be 4/5 - (-28)/30*-3. Let h be 4*(-3)/a*(-154)/42. Let k be (-16)/72 + h/(-18). Is k greater than or equal to 1/164?
True
Let f be (-7)/(-3)*(1656/161)/24. Which is smaller: f or 1/181?
1/181
Let s(v) = -8*v - 3. Let h be ((-1)/3)/(3/90*-2). Let a be s(h). Let r = a + 41. Which is greater: 7 or r?
7
Let p(r) = -r**3 - r**2 - r + 2. Let d(a) = -4*a**3 - 13*a**2 - 23*a + 5. Let j(u) = d(u) - 3*p(u). Let m be j(-4). Which is bigger: -15 or m?
