 4*n + 1. Let q be r(-4). Which is smaller: q or -2/6269?
-2/6269
Let p be 82/(-12) + (-3)/18. Let c(n) = -n**3 - 8*n**2 - 9*n - 10. Let k be c(p). Suppose -k*z - 17 = -3*t, 2*t = z + 4 - 1. Is 2/31 less than t?
False
Suppose 26 = b - 3*g, 2*g + 52 = -5*b + 7*b. Suppose b = -2*v - 60. Let n be 0*(2 - 3) - -1. Is n <= v?
False
Let y = 72 - 67. Suppose 6 = 2*m + 2*r - 8, m + y*r = -1. Suppose 0 = 3*o + t - 2*t + 51, 3*t - m = 0. Which is smaller: -31/2 or o?
o
Let q be 6/(-2943)*-9*-14. Is q greater than 1?
False
Let q = -11235 - -15493. Are 4258 and q nonequal?
False
Let y = 728.8 + -726.8. Is y smaller than 10.25?
True
Let m = 2271 - 2206. Suppose -o + 37 = -n + 109, o + 62 = -n. Let u = m + o. Is -3/4 greater than u?
True
Let p = 3 - -64. Let j = 102 - p. Let i = -1.07 + 0.07. Is i greater than j?
False
Let w = -0.254 + -0.046. Let z = 30 + -29.78. Let v = z - 9.22. Which is bigger: w or v?
w
Let h = 209304.38 - 209305. Let u be (-6)/(-4)*4/39. Is h less than u?
True
Let t = -180 - -185. Suppose -16*x - t = -11*x. Suppose -i = -0*i. Is i at most as big as x?
False
Let w be ((1710/(-8))/9)/(984/1056). Which is greater: w or -25?
-25
Let t = 16/8375 - -832411/33500. Is t at most 25?
True
Let j be 14 + 18*(-288)/378. Which is smaller: 2837 or j?
j
Let y = -10627/6313 + 1475/107. Which is smaller: y or 13?
y
Suppose -z - 2*z + 713133 = 0. Let x = z + -9033603/38. Let n = x + -2/19. Which is greater: n or -15?
-15
Let v(n) = -n**2 - n. Suppose -5 = 3*a - 2, 4*a + 4 = 2*i. Let b be v(i). Let t be -2*(5/(-5) - (-3)/2). Does b = t?
False
Let w be (0/((-1)/(-1)))/(-1). Let k be 35/(-5) + 28274/(-1356). Let a = 167/6 + k. Is a > w?
False
Let g(z) = z**2 + 240*z - 483. Let b be g(2). Is 50/189 not equal to b?
True
Let n = 2097 - 14677/7. Let p(f) = 2*f**2 - 4*f + 3. Let y be p(2). Suppose -3*i = 3*k + 18, i = y*k - 2*k - 4. Which is smaller: n or k?
k
Let g be (7 + 0)*(-6)/7. Let f(m) = m**2 - 8. Let p be f(g). Let k = p + -15. Is 12 not equal to k?
True
Let f = 11151 - 11150.4. Which is smaller: 0.21 or f?
0.21
Suppose 5*t - h = 0, -2*t = -t - 4*h - 19. Suppose 0 = -10*l - 3*l + 338. Suppose 0 = -31*c + l*c. Which is smaller: c or t?
t
Let y be 4 - (28/6 + 0). Let h = 1680 - 1701. Which is smaller: h or y?
h
Let l = 732 + -9946. Is -9214 at least as big as l?
True
Suppose 0 = z - 5*i - 118, -5*z - i + 0*i + 512 = 0. Suppose -4*q + 0*t - t = 109, -3*q = 5*t + z. Suppose -70 - 5 = 3*k. Is k <= q?
False
Suppose 2*k + 4*i = -6, -k + i - 4*i - 6 = 0. Suppose -4*r = 2*x - k - 1, -3*x + 4*r = -6. Is x less than -0.014?
False
Let g = -2046 - -2288. Are 239 and g nonequal?
True
Let w(y) be the first derivative of -2*y**3 - 6*y**2 + 8. Let k(f) = -5*f**2 - 11*f - 1. Let r(a) = -5*k(a) + 4*w(a). Let j be r(-6). Is j != -1/3?
True
Let f = -32742 - -982349/30. Is 4 at least as big as f?
True
Let c be 15/(-12)*18/20. Let t = -114089/78216 - -1/3259. Let r = t - c. Which is smaller: 0.07 or r?
r
Suppose 2*s + 6 - 134 = 0. Let f = s + -259/4. Let l = -2530 + 2529. Does f = l?
False
Let d = -6417 - -6418. Which is smaller: d or 2/3185?
2/3185
Suppose 4*i - 3 - 7 = -2*q, 5*q - i = 3. Suppose q - 94 = g. Which is smaller: -92 or g?
g
Let q = -8325 + 58411/7. Let t = q + -5297/273. Is t greater than or equal to 0?
True
Let n = 5950103/49 + -121426. Which is smaller: n or 4?
4
Let b = 11858 - 11857. Which is smaller: -23/1803 or b?
-23/1803
Let k = -4742/5 - -953. Let l be (-42)/(-8) + 6/8. Is k at most as big as l?
True
Let g = -23.731 + 23.821. Which is greater: g or -247?
g
Let s = -13619 - -68092/5. Which is smaller: 0.2 or s?
s
Let w be 403/(-155) - (-13)/5. Are -6/1669 and w non-equal?
True
Let f = -3995 + 5885. Which is smaller: 1888 or f?
1888
Suppose -n - 76 = -z - 9, -5*n = 4*z + 380. Let o = n - -47. Is -99/4 greater than o?
True
Suppose -3455 - 48855 = -81*q + 47644. Which is bigger: q or 1232?
q
Let i be (-2 - -2) + -1 + (28 - 108). Let s = 95 + i. Which is bigger: s or -4?
s
Let p(b) = -b**2. Let a(m) = -2*m**3 - 2*m**2 - 3*m + 3. Let l(k) = -a(k) + 5*p(k). Let x be l(2). Let t = 32 + -25. Does t = x?
True
Let g = -2845 + 2845. Which is greater: 75.8 or g?
75.8
Let o be (-11)/(-99) - ((-3116)/(-18) + 2). Let g be 5 - (-2 + o/(-20)). Does g = -2?
False
Let g(h) = h**3 - 11*h**2 - 1. Let u be g(3). Let p = 221/3 + u. Is 9 < p?
False
Let j be ((-1377)/45)/((-1)/(-5)). Let m = j + 188. Do 242/7 and m have the same value?
False
Let c = -562 - -586. Let n be (15 + -9)/24 + (-46)/c. Which is greater: n or 18?
18
Suppose -396 = -149*c + 119 + 2316. Is -14 at least as big as c?
False
Suppose 0 = 4*c + 4*b - 560, b = c - 0*b - 136. Let i be (-3)/12 - (-13272)/96. Is i bigger than c?
False
Suppose 4*j - 4 = -g, 8 = -5*j + 5*g - 12. Suppose 0 = -j*t + 2*t + 2. Let q = -1975/8 - -247. Is q less than or equal to t?
False
Let w(k) = -k**3 - k**2 + k + 1. Let b be w(0). Which is smaller: b or 1/2688?
1/2688
Let g = -3.8 + 3.703. Let r = -0.103 + g. Are r and 222 unequal?
True
Let v = 35812 + -76995803/2150. Which is greater: 1 or v?
1
Let f = 38054.9 - 38060. Is -2.6 equal to f?
False
Let f be -2*4/(32/(-20)). Suppose -3*y - p = 2*p - 39, 34 = 4*y - f*p. Let j = 30 + y. Is 42 < j?
False
Let o = -110.56807 - -0.23807. Is o bigger than 2?
False
Let x be (2/(-6))/(8 + 2499/(-315)). Suppose 5*l + 2 = -8. Let o be (-6)/(x/l - 1). Is -2 at least o?
True
Let i be -3 - -1 - (-28)/12. Suppose -b + 23 = -3*v, -4*b - 15*v = -17*v - 142. Which is bigger: b or i?
b
Suppose -5*x - 3*v = -88 - 80, -16 = -x - 5*v. Suppose -x*c = -33*c - 3. Let n be (1/(-28))/((-6)/32). Is c bigger than n?
True
Let x = 4964 - 2601. Does 2363 = x?
True
Let i = 7879 + 3945. Is i >= 11824?
True
Let d = 11/188 - 1641/21620. Which is bigger: d or -1?
d
Let l(y) be the third derivative of y**5/60 - y**4/6 + y**3/2 - 15*y**2. Suppose -4*k + 3*j = -5, -3*k + 11 = 4*j + 1. Let n be l(k). Is -18 smaller than n?
True
Suppose 0 = -55*a - 81*a - 202232. Which is smaller: a or -1486?
a
Let k = -55 + 22. Let t = -35 - k. Let h be 2/(t + 2/(4/(-82))). Is -1 at most as big as h?
True
Let b be (145/(-58))/(1 + (-6)/8). Let h be -2*(-2)/14 + b/(-14). Let v be (-2 - h)/(57/494). Is -27 at most v?
True
Suppose 0 = -2*x + 2*u + 918, -2*x + 4*u + 2294 = 3*x. Let w = 505 - x. Is 43 smaller than w?
True
Let g be 468/65*(-10)/2. Let o = -44 - g. Let w be o/33*(1/(-2) + 1). Is w < 0?
True
Suppose -343*z = -332*z + 715. Which is greater: -0.47 or z?
-0.47
Suppose -179*f + 168*f - 253 = 0. Suppose 2*b + 8 = d - 0*d, d - 14 = 4*b. Which is bigger: f or b?
b
Let l(d) = d**2 - 5*d - 8. Let z be l(7). Suppose 1062 = -8*r + z. Let a be (423/r - -3)/3. Which is bigger: a or -1?
a
Let k be (-12)/45*3 - 648/(-660). Is 1/12 != k?
True
Let f be 2/(-14) - -1*(-5)/(-35). Suppose 3*w = -5*d - 538, -2*d + 4*d + 10 = f. Is w smaller than -170?
True
Suppose -82*s + 25*s - 392445 = 0. Is -6886 less than s?
True
Let x = -719 - -619. Is -86 > x?
True
Let f = -10/13 - -43/39. Let q = -9787.87 - -9792.87. Is q greater than f?
True
Let n = -1034 - -329. Let d = n + 769. Is 60 not equal to d?
True
Let i = 2881 - 2856. Which is bigger: i or 13/8?
i
Let k = -2/579 - -653699/2316. Which is smaller: k or 1?
1
Let h(w) = -w**3 + 29*w**2 + 12*w + 133. Let f be h(29). Is f less than or equal to -4?
False
Let o be ((-26)/5 - -6)/((-2)/5). Let c(h) = 3*h + 5. Let j be c(o). Let b be 20/(-10) + (30/(-16))/j. Is b less than 0?
True
Let b be 4 + ((-1760)/(-432) - 4) + (-212)/(-54). Is b less than 321/35?
True
Let c = 15731 - 15894. Which is greater: -1786/11 or c?
-1786/11
Let z = -2.69 + 1.99. Suppose -2*p + 54 = 7*p. Is z at most as big as p?
True
Let y = -32908 - -34342. Which is smaller: y or 1433?
1433
Let o be (-54)/20 - ((-54)/(-27) - 10/6). Which is greater: -4 or o?
o
Suppose -106 = 28*o + 174. Let c be ((-4)/o)/((-1)/5). Let z = 167 - 1174/7. Which is greater: z or c?
z
Let u(i) = i**3 - 3*i**2 - 12*i + 16. Suppose 0 = 14*s - 26 - 44. Let t be u(s). Is -20 bigger than t?
False
Suppose 160077 = 374*n - 510131. Which is greater: n or 1794?
1794
Let f be -2*(-77)/(-42)*(-45)/3. Let l be (-3 + (-2787)/(-927))*(-15)/f. Is l <= 1?
True
Let d = -2931 + 2932. Does 35/278 = d?
False
Let v be ((-3)/(-36))/(63/243). Let g = v + 43/84. Which is smaller: 0.07 or g?
0.0