 be 1/(-3)*1289/3. Let v be 2*3*(64860/40)/(-69). Let f = v - d. Which is smaller: 1 or f?
1
Suppose -4*j + 8 = a, 2*j = 5*a - 48 + 30. Which is bigger: j or -1/4089?
j
Let j = -191 - -206. Let u(g) = -g + 14. Let f be u(9). Suppose w - f*m - 15 = 0, 6*w = w + 5*m + j. Is w smaller than -1/55?
False
Suppose 4619*p - 4638*p = -2033. Is p >= 108?
False
Suppose -4*i + 46 = -10. Let q be (7 - 91/i)/(1/(-240)). Is -120 less than or equal to q?
True
Let g = -377.553 - 0.447. Let w = g - -377.96. Is w bigger than 1.7?
False
Suppose 4*y - 17 = 3*c, -4*y + 51 - 43 = 0. Is -205/59 less than c?
True
Let x be 12/2 - 10 - 31. Let v(m) = 6*m + 209. Let o be v(x). Which is smaller: o or 2/265?
o
Suppose -44*k - 30 = -49*k. Let j be (-6)/4 + k - 3/2. Let m be (j/(-3))/(5/(-5)*-1). Which is bigger: -17/8 or m?
m
Let q(n) = n - 5. Let h be q(6). Suppose -18*s - 46 = 5*s. Let p be ((-36)/(-948))/(1 + 0 + s). Do p and h have the same value?
False
Let h = 28197 + -27888. Is h < 312?
True
Suppose 72*x - 142219 + 27667 = 0. Are x and 1587 non-equal?
True
Let h = 113 + -569/5. Let t = h - -17/40. Which is smaller: t or -0.002?
t
Let g(l) = -9*l + 12. Let o be g(-9). Let d be (-1)/(-3) - (-2 + o/9). Let j be (-2)/d*(4 + -3). Is -2 >= j?
False
Let o(r) = 2*r**2 - 8*r + 25. Let d be o(4). Suppose 4 = -7*w + d. Is 6 at most as big as w?
False
Let w(b) = -11*b + 155. Let o be ((-12)/(-8))/(((-45)/(-84))/5). Let n be w(o). Is 3 > n?
True
Suppose -4410*r = -4428*r + 18. Which is bigger: r or -42/143?
r
Let o = 3476.974 + -3477. Is o greater than 0.9?
False
Let t = -3985.2 - -3985. Is -5/34 < t?
False
Let y be (-10)/330*-1*-12591. Is y smaller than -381?
True
Let j = 32 - 26.1. Let q = j + 4.1. Let n = -9 + q. Which is greater: -0.8 or n?
n
Suppose 178 = -5*b + 8028. Let s = b - 42395/27. Let x(w) = 2*w**3 - 265*w**2 + 1761*w - 29. Let z be x(7). Is s less than z?
False
Suppose -25*j + 22695 = -110*j. Is -267 > j?
False
Let s = 130 - 125. Suppose 5*x - 21 = s*k - 1, 1 = -k. Are -1 and x equal?
False
Let j be (-1 - -61)*10*6/9. Let l(r) = -1 + 5*r**2 + 2*r**2 - r**3 - j*r + 418*r. Let y be l(9). Is 6/35 < y?
False
Let o = -1888 + 2007. Let x = -18 + 19. Is o at most x?
False
Let h be -14*((-196)/21)/((-11)/36). Which is greater: h or -427?
-427
Let p be ((-7)/(-399))/(214/206781). Let c = p + -322/19. Suppose 0 = 4*t - 3*n + 7, -245*n = -244*n - 1. Which is smaller: c or t?
t
Let k = -684 - 66. Let i = 751 + k. Which is greater: 7/19 or i?
i
Suppose 470*o - 491*o + 21783 = -33342. Is 2622 at least o?
False
Let s = 2857186577/8899826 + -5/342301. Let o = s - 321. Which is greater: 1 or o?
1
Let f = 4437 + -171. Is 4266 not equal to f?
False
Let b = 15.905 + 2.095. Is -0.42 bigger than b?
False
Let s = 1.04 - 0.04. Let r = -102.75 + 101.3. Which is smaller: r or s?
r
Suppose -7*v - 1 = -9 + 1. Let s = -6214 + 366608/59. Is v at least as big as s?
True
Let r(t) = -t**3 + 26*t**2 + 97*t - 162. Let d be r(30). Let m be (-37535)/44 - 2/(-8). Let g = m - d. Is g greater than -1?
True
Let l be (3/2)/((-6)/(-16)). Suppose 0 = -l*r + 3*y - 78, 4*y = 5*r + y + 99. Suppose -59*u - 3580 = -14*u + 134*u. Is r equal to u?
False
Let j = -22 - -18. Let w be 2 - (j/(-12) + 17/3). Let d(h) = -h**3 - 5*h**2 - 3*h + 4. Let n be d(w). Is -9 bigger than n?
False
Suppose -2*x - 5*o = 12773, -5*x - 5*o - 10168 = 21712. Which is smaller: -6368 or x?
x
Let k(v) = -v**2 - 2*v + 2. Let z(r) = 3*r**2 + 5*r - 5. Let q(x) = -8*k(x) - 3*z(x). Let t be q(0). Let o = -208101 - -7699741/37. Which is smaller: o or t?
t
Let o = 194.889 - -0.311. Let k = -195 + o. Let m = 0.5 - 1. Which is smaller: k or m?
m
Let r = -30744925/54192 - 1/18064. Is -568 smaller than r?
True
Let h(r) = r + 8. Let n be h(-6). Let m(w) = -w - 5. Let y = 1 - 9. Let z be m(y). Is z > n?
True
Let p = 350/11 + -351367/11044. Is p at most -2/7?
False
Let s = 184 + -168. Let y be -6*s/156 - 6/39. Which is bigger: y or -2?
y
Suppose 28506 = 5*b + 4*r, 4*b - 9590 = 5*r + 13141. Are 5695 and b unequal?
True
Let k(w) = 68*w + 308. Let m be k(7). Let v = -877 + m. Which is greater: -94 or v?
v
Let u = 67 - -6. Let a = u - 43. Let q = a - 30. Is -17 less than q?
True
Suppose 58*k = 243*k + 37370. Which is smaller: -218 or k?
-218
Let i be (70/(-15))/((-2)/(-21)). Let p = -1529 + 1481. Is i not equal to p?
True
Let h be ((-15)/(-6))/((-20)/(-16)). Suppose 0 = -4*m - h*a - 0*a + 572, -m - a = -143. Which is greater: m or 142?
m
Let j be 1 + 2 - (-7)/(2772/(-1208)). Let x(q) = -q**3 - 10*q**2 + 8*q - 32. Let s be x(-11). Which is greater: j or s?
s
Suppose 3*g - 353 = -116. Suppose g = -12*b + 7. Suppose 2*m - 3*m = 0. Which is greater: m or b?
m
Let r = -3.8301 - 0.1699. Which is bigger: r or 13/18?
13/18
Let t = -5/54 + -7/18. Is -1 less than or equal to t?
True
Let o = -2341/39 + 181/3. Let r(c) = -c**3 - 6*c**2 - 5*c + 1. Suppose 0 = -3*t - 8 - 7. Let y be r(t). Which is smaller: o or y?
o
Let p = -465.7 + 1131.7. Which is smaller: p or 0?
0
Let v = 28940 + -25118. Is 3822 <= v?
True
Suppose 2*f = -l - 10, -4*l + 4 = 2*f + 32. Let a = 257 - 267. Which is bigger: a or l?
l
Let k = -133 - -125. Let u be 217695/(-220) - 2/k. Let c = -990 - u. Is -2 > c?
False
Let m be 2 + (-6 - -2) - -745460. Let j be ((-2)/119)/(54/m). Let l = 232 + j. Which is bigger: 1 or l?
1
Let m = -40 - -68. Suppose 0 = m*b + 95 + 45. Which is smaller: b or -29/5?
-29/5
Suppose 3*z - 657 = -2385. Let q be (-6 - -2) + 2 + z/(-306). Is q smaller than 1/3?
True
Let g(t) = t**3 - 7*t**2 - 17*t - 7. Let d be g(9). Let s(z) = z**3 + 5*z**2 + 3*z - 5. Let m be s(-4). Let x be 2/(d - 14/m). Which is smaller: x or 1?
x
Let m(u) = 69*u - 4. Let k be m(1). Let o be (-16)/k + (-8)/52. Suppose 2*v = -2*v - 4. Is v greater than or equal to o?
False
Let d = 10536 + -10223. Is 313 smaller than d?
False
Let n(z) = 6*z**3 - 5*z**2 - 6. Let q be n(3). Suppose -107*b = -q*b - 100. Let p be (-10)/(-7)*120/b. Which is greater: p or -7?
p
Let c = 2979 + -2667. Does 316 = c?
False
Let i(d) = -57*d - 1632. Let q be i(-21). Are -433 and q equal?
False
Let z = 466 + -844. Let t = z - -345. Is -34 bigger than t?
False
Let g be (5984/(-336))/(-11)*-519. Is -839 less than g?
False
Let z = 6/55363 + -535692406/166089. Let k = 3181 + z. Are k and -43 unequal?
True
Suppose 3*i - 32 = 2*u + i, 3*u + 32 = -i. Let p be 0/1 + u/(-4) - 7. Let q be p - -7*27/48. Which is bigger: q or 0?
0
Let u be ((-92)/9)/((-1064)/(-44)) - 420/(-980). Let y be (34/68)/(1 + 6/(-4)). Which is smaller: u or y?
y
Let d = -4163 - -4545. Is d equal to 2675/7?
False
Let a = -201 + 300. Let n = -97 + a. Suppose -2*v = n*y + 2, -y - 5*v + 13 = y. Is y less than -1?
True
Let w = 46/173 + 16102/1903. Is w greater than 3/5?
True
Let i = 21827/192 - -383/64. Which is greater: 121 or i?
121
Let l = 79/2 - 6713/170. Let u(c) = -c**3 - 5*c**2 - 6*c - 7. Let z be u(-4). Are z and l nonequal?
True
Let n = -150359 + 149992. Suppose -3*r + 2*r - s = 363, 2*s = r + 372. Which is smaller: n or r?
n
Let b = -18.62 - 0.38. Suppose -964*z - 288*z = 3756. Which is smaller: b or z?
b
Let u(j) = 3*j**2 - 184*j - 8439. Let w be u(92). Let c be ((-2)/6)/(1/(-57)). Which is bigger: c or w?
w
Let d(g) = 13*g - 67. Suppose 2*s - 10 = -4*i + 4*s, -s = -5. Let j be d(i). Is -5/7 > j?
True
Let v(l) = 7*l**2 - 231*l + 11. Let k be v(29). Is -2/3 bigger than k?
True
Suppose k = -203*o + 201*o + 12, -4*k - 5*o + 30 = 0. Is k at most as big as -3268?
False
Let z = -387 - -711. Let k = -323.622 + z. Let b = -0.078 + k. Do 10 and b have the same value?
False
Let q be 20 + 10 + 2 + -5 + -18. Suppose 3*i - 4*d + 10 = -9*d, -4*i = 4*d. Is i < q?
True
Let p = -3 - -17. Suppose -p = -3*v - 11. Suppose 0 = -x + n - 6, 4*x + 3*n + v = 12. Is x smaller than 1/33?
True
Let a be ((-81)/197703)/3*(16/6 + -2). Which is bigger: a or 1?
1
Suppose 32 + 418 = 18*k. Suppose 4*c - 13 = -2*r + c, 5*c - k = 0. Is r < -1?
False
Let q = 68 + -187. Let l be ((-34)/q)/(1/7). Which is greater: l or 7/10?
l
Let b = -1.86 + 136.86. Let m = 135.1 - b. Which is smaller: m or 174?
m
Let v(w) = 201*w + 5982. Let r be v(-40). Is r smaller than -2058?
False
Let k(q) = 2*q**3 + 21*q**2 - 5*q + 65. Let r be k(-11). Which is bigger: r or -41/38?
r
Let z be 4644/(-243) + -8 - -27. Let h = -3 - -6. Supp