 0*(0 + (-6)/12). Let r be (z - (-4)/(-8)) + (-1771)/(-126). Which is smaller: r or 15?
r
Let s = 12/7789 + 36569307/31156. Let c = 1137 - s. Is -37 smaller than c?
True
Let c be (-8 + 8)/(1 - -1). Suppose c = 8*x - 83 + 491. Let v(w) = -19*w**2 + 106*w - 2. Let a be v(6). Which is bigger: x or a?
a
Let q be (4/(-3) - (-196)/84)*1. Let o be (8/68)/((-150)/5). Which is smaller: q or o?
o
Let q = -33004.5241 + 32996. Let w = q + -0.5279. Let a = 0.052 + w. Are -0.1 and a unequal?
True
Let k = 23 + -11. Let h be 8/k - (-19)/(-42). Let c be (43 - 44)/(1 + 0 + -2). Is h at least c?
False
Suppose -25*h = 13*h + 380. Which is bigger: -18 or h?
h
Let v be (-1 - 41)/((-36)/(-234)). Let p = v + 274. Which is greater: 8/91 or p?
p
Suppose 2*k - 7 = 5*p - 9, 4*p + 5*k = -5. Let a = 1/256 - 841/18688. Do p and a have the same value?
False
Let l(x) = -x**2 - 7*x + 64. Let p be l(5). Suppose 46 = p*t + 46. Is 1/23 smaller than t?
False
Let t be (-25)/(-210)*(-4)/25. Let g = 4/15 - t. Is g greater than -58?
True
Suppose -44 - 212 = -8*k. Let p(g) = -g**3 + 5*g**2 - 10*g + 10. Let x be p(4). Let u be 4/x + (-904)/(-28). Is k not equal to u?
False
Let b(m) = -m**2 - 3*m + 6. Let f be b(2). Suppose 0 = -36*k + 33*k + 6. Suppose k - 26 = 4*r. Which is greater: f or r?
f
Let x be ((-15)/(-225))/(4/24*71). Is x smaller than 1.1?
True
Let t = -3/55345 + -1153/19569992. Let a = t + -61199/8840. Are a and -8 unequal?
True
Suppose 2*o + 99 = 5*o. Let h be 1*-4 + o/11 - -1. Which is bigger: h or -1/71?
h
Let h = -47 + 46. Is h < -188?
False
Let l(q) = -q**2 - 19*q - 30. Let t be l(-17). Suppose 3*h = t*h - 19. Is h greater than 18?
True
Let m be -9 + -32715*36/(-130869). Which is smaller: -1 or m?
-1
Let s = -15 - 310. Let g = -327 - s. Which is smaller: g or -15.1?
-15.1
Let l = 276 + -273. Suppose -26*p + 27*p = 4*m - 7, -5 = -l*p - m. Which is greater: 2/509 or p?
p
Let l = 13.7 - 1.18. Let x = -8.4 + l. Let a = -4.1 + x. Are a and -3 nonequal?
True
Suppose -5*u + 8*g = 9*g - 161, 3*u - 3*g = 111. Which is bigger: 39 or u?
39
Let n be ((-80)/280)/(1/14). Let f(l) = l**3 + 4*l**2 + 13*l + 46. Let i be f(n). Is i at least -8?
True
Let b = 459 - 459.541. Let w = -40.659 + b. Which is smaller: w or -1?
w
Let p = -420 - -420. Is -6272 bigger than p?
False
Let z = -8520/23 + 88131/253. Is z at most 2?
True
Suppose q - 2*y - 30 = 200, -5*q + 4*y = -1144. Let p(r) = 71*r + 14. Let o be p(3). Is q > o?
True
Let y = -8844 + 8842. Which is smaller: -2.299 or y?
-2.299
Let v be (-16)/36 + (96/(-18))/4. Which is smaller: -42 or v?
-42
Let o = -2046/1867 - 101272684/379001. Let p = o + 1878/7. Let k = -442/1827 - p. Is k < -19?
False
Let s be -161*(-10)/70*(-61 - 0). Is -1403 smaller than s?
False
Let a(s) be the second derivative of s**3/2 + 9*s**2 + 31*s. Suppose 0 = 61*k - 56*k + 55. Let x be a(k). Is x equal to 4?
False
Let r(k) = k - 32. Suppose 5*l = -y - 14, -3*y + 5*l - 14 = 68. Let o be r(y). Which is bigger: -55 or o?
-55
Let t be (132/16 + -8)*256/3. Let c = t - 20. Which is smaller: c or 37?
c
Suppose -176 = 313*g - 314*g. Which is smaller: g or 699/4?
699/4
Suppose 0 = -15*z - 25582 - 4691 - 2172. Is z greater than -2162?
False
Let k = -7 - -11. Suppose 16 = -28*c + 36*c. Suppose 6*w - 43 = c*w + 3*v, 4*v = -w + 25. Which is smaller: k or w?
k
Let m = -12054.001 - -12047. Let v = m - -0.001. Which is smaller: 6/5 or v?
v
Suppose 0 = 36*a + 60 - 204. Let p be a/(-14) - (-1425)/4375. Which is greater: p or 0?
p
Suppose -3*w + 5*h = -4*w - 28, 0 = 3*w + 5*h + 74. Is w greater than or equal to -260/11?
True
Let j = -1.92 - -1.6. Let o = 36 + -92. Let k = 56 + o. Which is smaller: j or k?
j
Let f = 46.605 - 45.71. Which is smaller: f or 0.1?
0.1
Let o = -112 + 226. Let r = -113.64 + o. Let g = 0.56 - r. Which is bigger: -31 or g?
g
Let m = 36323729199/176 - 206383974. Let s = m - 851. Let i = s - 131/176. Which is smaller: i or -8?
-8
Suppose 2*z + 2*n = -2, 5*n + 21 + 24 = 5*z. Do z and -24 have the same value?
False
Let x(j) = j**3 - 10*j**2 + 9*j - 68. Let h be x(10). Suppose -h - 42 = 64*s. Let d(w) = w**2 + 4*w - 1. Let l be d(-5). Which is smaller: s or l?
s
Suppose 5*p + 3 = -2. Let w = 2413529/9 + -133009937/495. Let j = w - -537. Which is bigger: j or p?
j
Suppose -x + 0*x = -14. Suppose 5*y - 6 - x = 0. Suppose 0 = -3*z + o + 2*o - 9, y*o = -2*z + 18. Is z at least -2/25?
True
Let x = -1761257/19098 - -830/9. Which is smaller: x or 1?
x
Let p = -213 + 711. Let t = p + -498. Is t > 0.6?
False
Let r = -295247/16 + 31093683/1744. Let w = r - -624. Which is greater: w or -1?
w
Let o = -161 - -490/3. Let m = -0.046 + 4.646. Let k = 4.6 - m. Do o and k have different values?
True
Let j = 89 - 28. Let p = 50.11 + 3.89. Let i = p - j. Are 3 and i equal?
False
Suppose 5*a + 1560 = -k - 98, a - 3*k + 338 = 0. Is a < -333?
False
Let u be (-33)/3*(52 - 31)/21. Suppose 2*r = -8, 5*v + 0*v = -3*r + 228. Suppose 46 = -5*d - 2*w, -2*d - w - v = 3*d. Which is bigger: d or u?
d
Let i = 1.3338 - -0.6662. Are i and -540 nonequal?
True
Let f(b) = -b**2 + 11*b + 10. Let k be f(12). Let j be (-198)/201 - k/2. Let c = 65/134 + j. Is 21/5 at most as big as c?
False
Let r(s) = s. Let t = 342 - 346. Let u be r(t). Is u >= -17/6?
False
Let t = -16476 + 16523. Is t > 179?
False
Let c be 9/((-27)/(-1083)) + -5 + 5. Is c greater than 359?
True
Let h(x) = -x**3 - 5*x**2 - 5*x - 2. Let z(t) = -t. Let f be z(3). Let y be h(f). Let c be ((-528)/198)/(470/30 + -15). Are y and c equal?
False
Let k = 1 + -1.4. Suppose -1 - 14 = -3*u, -4*o - 5*u + 57 = 0. Let w be o/3 + -50 + 48. Is k <= w?
True
Let b = -29655 + 29659. Is b less than -74/43?
False
Let n = -253.17 - -279.192. Let z = 26 - n. Let t = z + -2.978. Is 0.3 smaller than t?
False
Let r(u) = 11*u - 558. Let z be r(-9). Is z != 1/5?
True
Let g be 3 + -6 + 31 + 2. Let l be 204/36 - (1 - -4) - g. Is l bigger than -29?
False
Let o be (70*519/8)/((-4)/(-32)). Let h be 1424/o*17 - (-50)/(-75). Let m = 121074/78715 - h. Are -1 and m nonequal?
True
Let v(h) = -h**2 - 13*h. Let r be v(-12). Let s be 33/r - 2/(-8). Suppose 0 - 3 = s*w. Do 3/35 and w have different values?
True
Let u = -15386.9497 + 15387. Is -0.16 >= u?
False
Let w be (3/(-5) + 0)/((-7)/35). Suppose 0 = 7*h - w - 11. Suppose h*s - 14 = -8*r + 4*r, 2*r - 10 = 2*s. Which is smaller: 1 or r?
1
Let i(s) = -1 + 188*s + 8 - 13. Let u be i(3). Let g be 3 - 4 - u/(-570). Which is bigger: 0 or g?
0
Let n be (-952)/(-44) + (-136)/(-374). Is n <= 22?
True
Let o = -30057 + 30057. Is -8/8489 at least as big as o?
False
Let m = 120 - 120. Let o = 161032/31 - 5194. Let a = 427/682 - o. Which is bigger: m or a?
a
Let d = -67.54 + 67. Let s = -30818 - -30818.1. Which is greater: s or d?
s
Let x(f) = -3*f**3 - 2*f**2 + 4*f + 7. Let b be x(2). Let l be (b/((-510)/696))/((-4)/30). Is l less than or equal to -175?
False
Let w be (21/14)/((-39)/4) - 13464/(-1326). Let v = 219 - 86. Suppose -157 = -w*o + v. Is o less than -1/4?
False
Let i(l) be the second derivative of -l**3 + 37*l**2/2 - 205*l. Let g be i(13). Is g greater than -199/5?
False
Let x = -0.12 - 4.88. Let i be (3/68)/((-123)/164). Which is smaller: i or x?
x
Suppose -b - 128 = 18*y - 21*y, 3*b - 108 = -3*y. Are -3 and y equal?
False
Suppose 0*z + 5*z - 14 = -2*n, 11 = 5*z + 3*n. Suppose -6 - 34 = -z*d. Suppose 4*p - 4*j - 52 = 0, 2*p - j = -6*j + 5. Are d and p non-equal?
False
Let k be 42/(-7 + (-300)/(-42)). Suppose -k = -7*i - 84. Suppose -t + 43 = -3*g, 2*t - 163 = -3*t + 2*g. Which is bigger: i or t?
t
Let l = -152.2014 - -0.0014. Let r = l - -152. Which is smaller: r or 3?
r
Let f(v) = v**2 - 31*v - 6. Suppose 49 + 59 = 4*d. Let l be f(d). Let c = l + 117. Which is smaller: c or 7/3?
7/3
Let j(f) = f**2 + f - 154. Let w(v) = -v**3 + 6*v**2 - 10*v - 6. Let p be w(4). Let m be j(p). Is 10 at most as big as m?
True
Let r = 26 + -22. Suppose 4*v - r*n + 8 = -0*v, 6 = -3*n. Let p be ((-14)/4 - v)*2. Is p > 42?
False
Let h(x) = -2*x**2 + x + 2. Let a(j) = 9*j**2 - 20*j + 27. Let k(m) = a(m) + 4*h(m). Let w be k(13). Is w at most -41/8?
False
Suppose 13*k - 36*k - 2369 = 0. Let n = k - -719/7. Is n >= -0.1?
False
Let j be 2/(-7) - ((-932)/28 + 0). Let g = j + -33. Suppose 2*c + c + 4*f - 10 = g, -5*c = -4*f + 26. Which is greater: c or 2?
2
