Let l be (2/(-2509026))/((-176)/(-878929860)). Let w = -2/353837 + l. Let s = 42/13 + w. Which is smaller: s or -0.04?
s
Let l = 143 - 127. Suppose 0 = 9*k - l*k - 1792. Is -256 at least k?
True
Suppose -o + q + 18 = 0, 0*o - 94 = -5*o + q. Suppose 0 = -21*p + o*p + 70. Which is smaller: 37 or p?
p
Let q be 7/(-84) + 312/3168. Which is bigger: 5/3 or q?
5/3
Let n(m) = -m**3 - 6*m**2 - 4*m + 7408. Let r be n(0). Which is greater: r or 7409?
7409
Let c(t) = 33*t - 140. Let r(x) = -17*x + 79. Let w(p) = 4*c(p) + 7*r(p). Let q(m) = -m - 1. Let b be q(-3). Let y be w(b). Is y less than 19?
False
Let k be (452/(-8))/((-1)/(-3) + 70/(-84)). Which is greater: k or 9/5?
k
Suppose 7*s = 40 + 9. Let n be 15/(-3) - s/((-126)/12). Are n and -4 nonequal?
True
Let l = -11096 - -11095. Is -47/101 less than or equal to l?
False
Suppose 4*f - 22 = -5*l, 3*l = -0*l + 4*f - 6. Suppose y + 3 = 4, 0 = l*k + 5*y + 229. Which is smaller: -116 or k?
k
Let g(r) = 2*r - 2. Let c be g(5). Let f(t) = t**3 - 8*t**2 + 6. Let k be f(c). Suppose -k*a + 331 - 7 = 0. Is a at most as big as 53?
False
Suppose -6*y + 168 = 4*r - 14*y, -2*r - 2*y = -66. Let c(k) = k + 36. Let n be c(0). Is r at least as big as n?
True
Let c be ((-6)/(-10))/(11/165). Let i(z) = z**3 - 9*z**2 + z - 13. Let y be i(c). Let m be y/3*5/((-420)/6). Is 0 less than or equal to m?
True
Suppose -2*v + 3 = -2*g + 15, -3*g - 38 = 5*v. Let y(u) be the first derivative of u**3/3 - 3*u**2 + 2*u - 1. Let f be y(3). Is v bigger than f?
False
Let k = -572 - -272. Let x = k - -301. Let s be (-326)/560 - (-9)/15. Is s bigger than x?
False
Let v = 54/5 - 221/20. Let m = 23.8 + 334.8. Let o = -359 + m. Is v at least o?
True
Let s be (12/(-30))/(4/(-10)). Suppose -3*w - 2565 = -6*w. Let l be 9/(w/80) - 1. Is s smaller than l?
False
Let i(a) = -a**3 + 22*a**2 + 2*a - 5. Let o be i(22). Suppose 177*g = 174*g - o. Let j = 132/305 + -2/61. Is j >= g?
True
Let c be ((-168)/(-5))/(1 - (-112)/(-160)). Which is bigger: 564/5 or c?
564/5
Suppose -55*i - 1040247 = 8*i + 158*i. Which is smaller: -4708 or i?
-4708
Suppose -3*j - 3*f + 870 = 0, -2*f = 2 + 6. Let i = -415 + j. Is i equal to -119?
False
Suppose 19*h + 319 = -4*h + 296. Which is smaller: -3/6296 or h?
h
Let o(u) = -2*u**3 + 13*u**2 - 7*u + 11. Let r be o(6). Suppose -103 = -r*t + 97. Is t greater than or equal to 39?
True
Let x = -0.4877 + -0.0323. Let p = x - -0.62. Is -157/4 less than p?
True
Let g = 5453.8 + -5454. Is g at most 11/105?
True
Let r be ((-15988)/49 - 8)/((-78)/(-28) + -3). Which is bigger: 1561 or r?
1561
Suppose 2*d + 12 = 2*x, d + 9 = 2*x - 2. Let s be (-8 + -4 + 5)/d. Is s less than 2?
False
Suppose -i + 34 = 5*s, 0 = s + 4*s - 25. Suppose -80*f + 849 = -31. Does f = i?
False
Let w(a) = 9*a + 3. Let s be w(1). Let u be (-3 - (-174)/48)*s. Suppose 5*n = 2*h + 55, 5*h = -4 - 21. Which is greater: n or u?
n
Let i be -1 - (2 + -1*21). Let g be 18/36 - i/(-4). Suppose 4*z = -g*o + 21, -2*z - 4*o = o - 23. Is 1/26 less than or equal to z?
False
Let v = 2819 - 2816. Which is greater: v or 65/37?
v
Let u = 24 + -22. Suppose -u*w + 5*w = -9. Let f = 24 + -82/3. Which is smaller: f or w?
f
Let r be 13 - 10*(-18)/(-45). Suppose 0*s - 4 = s + 5*p, 5*s = 2*p + 34. Do s and r have different values?
True
Suppose -773 = -4*b - b + g, -b = -4*g - 147. Let a = b - 617/4. Let i = -1.1 + -1.9. Is a <= i?
False
Suppose 361*u = 240*u - 467*u + 1552908. Is u < 2641?
False
Let u be (-1488)/168*-6*4/(-72). Is -5 at most as big as u?
True
Suppose 4*s = -0*s - 8. Let m = 678.14 - 672. Let h = m - -1.86. Which is smaller: s or h?
s
Let j be ((-268)/(-6))/((-1)/6). Let y = j - -806/3. Which is smaller: y or 2?
y
Suppose 1814 + 1123 = -3*x - j, 0 = -j. Let d = 1437 + x. Are 457 and d unequal?
True
Let n(t) = 107*t + 5671. Let z be n(-53). Is -27/649 equal to z?
False
Let i be 26372/(-9) - (8 + 666/(-81)) - 7. Is 2 bigger than i?
True
Let o = 5424 - 4946. Which is smaller: 476 or o?
476
Let i = -55/79 - 837/1975. Let v = 11 + -12. Which is greater: i or v?
v
Let q = -41 + -2. Suppose -3*x + 7*x - 3*d = -160, -4*x = 5*d + 192. Is x at least as big as q?
True
Suppose x + 327 = -530. Which is bigger: -856 or x?
-856
Let m = 764 + -387. Let c = 384 - m. Which is smaller: 2/23 or c?
2/23
Let z(i) = -2*i**2 - 7*i - 3. Let s be z(-3). Let p = -1 + s. Let m = -109/10 + 11. Is m not equal to p?
True
Let c be ((2232/608)/31)/(1/(-6)). Which is bigger: c or -2?
c
Let s(x) = 2*x**3 - 11 + 6 + 4 - 4*x**2. Let l be s(2). Let h be l - (1 - (2 - 40/44)). Is h at least -2?
True
Let a(c) = -14*c - 41. Let s be a(-5). Let h(i) = -i**3 + 29*i**2 - i + 30. Let p be h(s). Which is smaller: -3/47 or p?
-3/47
Let s be (((-9)/6)/((-4)/(-8)))/((-2448)/(-736)). Is s less than or equal to -2?
False
Let f = 0.59 - 0.26. Let a = f - 5.33. Let x = a + 5.06. Which is greater: x or 0.3?
0.3
Let z = 4085 - 379879/93. Which is bigger: z or 1?
1
Suppose 4*n + 5*j = 2513, 1255 = 2*n + 5*j - 4*j. Let k be -1 + (-4)/(-10) + n/95. Let t(g) = -g**3 + 4*g**2 + g - 13. Let w be t(k). Is w > -80?
True
Let b = 32.69 - 34.1. Let x = b - -1.21. Do -39 and x have the same value?
False
Let h(u) = -272*u + 346. Let s be h(4). Which is greater: -741 or s?
-741
Let p = -225107/84 + -17344/21. Let x = p + 3483. Which is greater: x or -23?
x
Let h = 189 + -188. Let z be ((-7)/((-105)/204))/(h/5). Let o = 203 + -136. Is z bigger than o?
True
Let f = 1542 + -906. Let a be (-1 - (-597)/f) + 2/8. Is -1 > a?
False
Let q = 723.72 - 762. Let i = q - 0.72. Let t = -38 - i. Which is greater: t or -11?
t
Let n(u) = -u**3 + 24*u**2 + 45*u + 43. Let h be n(19). Which is bigger: h or -1?
h
Let k be (5 - (5 - -2)) + 1 + (2 - 8269). Which is smaller: -8269 or k?
-8269
Suppose 68 = 4*x - 116. Let d = 164377/6 - 54699/2. Is x > d?
False
Let q(t) = 2*t**2 + 300 - 136 - 11*t - 151 - t**2. Let g be q(11). Does 3/7 = g?
False
Let f = 2653/120 - -55/24. Which is bigger: f or -3?
f
Let i be -4 + 2 - -89 - 3. Let o(l) = -83*l + 334. Let v be o(3). Is v smaller than i?
False
Suppose -12*j + 5*j + 28 = 0. Suppose j*y = 2*k + 4, -2 = -2*y - 0*y + 3*k. Let n = 231.6 - 235. Is y smaller than n?
False
Let x be (((-6)/3)/((-8)/(-16)))/1. Let p be -3*14/18 + x. Which is bigger: p or -6?
-6
Let i = 144 - 117. Let j = -15 + i. Let b = -0.4 + 0.6. Which is smaller: b or j?
b
Suppose -5*q + 3*x = 1427 + 4228, -3*x - 4497 = 4*q. Which is greater: 5 or q?
5
Let h(b) be the second derivative of -3*b**3/2 + 94*b**2 - 2*b + 24. Let l be h(21). Is 4/165 greater than l?
True
Let k = 64.18 + -66. Let f = k + -21.18. Is f bigger than 4/7?
False
Let j be (-4 - -8)/(-4)*-2. Suppose 2*k + 8 = 2*r + 4, -j*r + 4*k = -12. Is r at least 0.014?
False
Let i = -26015 - -25807. Which is bigger: -16 or i?
-16
Let o = 137.16 + -137.7. Let v = -0.3 - -0.74. Let k = v + o. Is k smaller than 0?
True
Suppose -7*o - 72 = -10*o. Let n = o - 25. Suppose 0*x - 2*u + 1 = -3*x, 4*u + 3 = x. Is x at least as big as n?
True
Let q = 17/43 + -115/1161. Let a = q + -2/9. Which is smaller: a or 2?
a
Let c be (9/369*(-3 - -4))/((-1)/2). Let l = -12 + 47/4. Which is bigger: c or l?
c
Let k(y) = 2*y**3 + 45*y**2 - 25*y - 43. Let q be k(-23). Suppose 0 = c + q*x + 48, 0*x - 8 = -2*x. Which is greater: -58 or c?
-58
Let c = -32492 - -32426. Is c > -1131/17?
True
Let b = 427 + -246. Let c = -176 + b. Which is greater: -10/7 or c?
c
Suppose -4*j - 605 = 375. Let z = j + 170. Let b = 451/6 + z. Which is smaller: -1 or b?
-1
Let b = -171 - -346. Let m = -174 + b. Which is smaller: 18/61 or m?
18/61
Let f = -10367 + 8906. Is 3 greater than or equal to f?
True
Let g be ((-427)/21 + 7)/((-2)/3). Suppose 31 + 789 = g*l. Which is smaller: 0.1 or l?
0.1
Let g = -5163 + 4381. Which is bigger: g or -784?
g
Let c be (-15)/(-20) + (-50)/(-32). Let j = c - -3/16. Suppose -19*z + 23*z = 3*f + 18, -11 = -3*z + f. Which is smaller: j or z?
j
Let o = 132 - 72. Suppose -2*a + o - 10 = -4*p, -5*p = -a + 58. Suppose 5*t - 8 = w + 15, -3*w - t = 21. Which is greater: p or w?
w
Let x = 1/1889 - 2444/1048395. Which is smaller: x or -1?
-1
Let k = 64 + -66. Let u(q) = -13*q + 11*q + 15*q. Let y be u(k). Which is smaller: -24 or y?
y
Suppose 1257*k + 10 = 1252*k. Suppose 4*p + 29 = s, 5*s + 2 = -5*p - 3. Let u = p + -8. Is u less tha