se 520 = -5*z + 975. Let i be 0 + (93 - -1) + -2. Which is smaller: z or i?
z
Let j(i) = -2*i**3 + 125*i**2 - 189*i + 357. Let z be j(61). Which is smaller: z or -1434?
-1434
Let n(q) be the first derivative of -q**4/4 + 17*q**3/6 - 5*q**2/2 - 9. Let r(b) be the second derivative of n(b). Let p be r(5). Is -14 at least p?
False
Suppose 0 = 5*k - k - 16. Suppose -3775 + 63 = -k*n. Let l = 7439/8 - n. Is 3 bigger than l?
True
Let p = 0.34 - 0.456. Let a = 0.416 + p. Let r = 368/7 + -54. Are a and r unequal?
True
Let r = -0.16425 + -5.63575. Let v = -5 - 1. Let n = v - r. Is n greater than or equal to -6?
True
Let b = -2224.6866 + 2224.4. Which is greater: b or 0?
0
Let g = 0.0142 + 292.9858. Let i = g - 288. Which is smaller: -6 or i?
-6
Suppose 3*w + 162 + 39 = -4*m, 5*w = 4*m - 271. Which is smaller: w or 55?
w
Let y = -2074 - -2075.071. Let o = 0.071 - y. Which is greater: o or 85?
85
Suppose -28 = -4*f - 2*j, -2*f - 7 = 3*j - 29. Suppose f*m + 3*m = 272. Let q = -1 - -36. Which is greater: q or m?
q
Suppose -24*u + 33*u = -1251. Let w = u + 139. Which is smaller: 2/239 or w?
w
Let m = 4915 - 4920. Is m less than or equal to -28?
False
Let x = -2870 - -1997. Does -2 = x?
False
Let v(z) = 747*z + 92. Let w be v(-1). Which is greater: w or -653?
-653
Let u = -0.031 - -0.053. Let p = u - -1.978. Which is smaller: 85 or p?
p
Let t be 1/4 - (-119)/4. Suppose -5*s - 104 = -119. Suppose 0 = -s*w + j + 4*j + 62, 0 = -2*w - 2*j + 68. Is w bigger than t?
False
Let j be 441/12 - (-4)/16. Suppose 5*a - 4*k - 24 = 145, 0 = -5*a + 5*k + 170. Is j > a?
True
Let p be (-12)/(-84)*(-1 - -2)/(-2). Let r = 1 - p. Is r less than 2?
True
Let h = 59870501/2900 - 20645. Which is greater: 1 or h?
1
Let z = 1085 + -940. Suppose 5*q = m - 120, 3*m + z = -5*q - m. Which is smaller: q or -11?
q
Suppose -32*z - 24 = -28*z, -3*i = 5*z + 96. Is i at most as big as -111/5?
False
Suppose -7*o + 472 = -3*o. Let s be -4 + (-72)/(-20) + ((-1314)/(-10) - 11). Which is greater: o or s?
s
Let h(z) = 17*z + 2. Let t(j) = 16*j + 1. Let k(l) = -3*h(l) + 4*t(l). Let i be k(-7). Let p = -94 - i. Is 5/3 bigger than p?
True
Let j = 2193 + 17614. Which is smaller: -1 or j?
-1
Suppose 0 = -3*m + 5*a - 322, -502 = 5*m - a - 2. Suppose 4*n - 2 + 25 = 3*l, 2*l = -4*n + 2. Is n at least m?
True
Suppose f + 51 = 5*n - 60, 85 = 4*n + 3*f. Let u be (4 + -4 + n)*(-5)/(-2). Let j = u - 50. Which is smaller: j or 1?
1
Let i(c) be the first derivative of -c**3/3 - c**2/2 + 40*c - 10. Let m be i(-6). Suppose 3*n + 3*h - m = 2, 4*n - 3*h = 23. Is n <= 5?
True
Let w be (-4)/22 + 708/22. Let z be 11 + 3*(-85)/(-15). Is w at least z?
True
Suppose 50 = -4*m - 262. Let x be 282*3/m - 2/13. Suppose 4*s - 8*b = -10*b - 14, -5*b - 30 = 5*s. Is x smaller than s?
True
Let t be 0*(-3)/(-42)*7. Let b = -1 + t. Is b bigger than 15?
False
Suppose 10*c + 6 = -4. Let t = 19.3 + -22. Let j = t - -2.8. Is j != c?
True
Let f = -442 + 1436. Let r be f/56 + (-2)/(-8). Suppose 3*t + 0*t - 3*p + r = 0, 2*p - 14 = 4*t. Is -1/106 at most t?
False
Let p be ((-21)/1)/(-2 + 1). Let y be p/28*(-262)/(-3). Is y at most as big as 66?
True
Let l be (5 + (5 - 7))*(-14)/3. Let v be (-856)/(-840) + 4/l. Which is smaller: v or 2?
v
Let u = -1623 + 1550. Is -0.22 less than u?
False
Suppose 5*g = 11*g + 27*g - 66. Let p be (19/68)/((-19)/(-76)). Is p at most g?
True
Suppose -24 + 298 = -167*h + 30*h. Is 0.0335 less than h?
False
Let j(m) = -m**3 - 12*m**2 + 18*m + 320. Let v be j(-11). Which is bigger: v or -12/947?
v
Let j = 1 - 18.6. Let m = j - -17.6. Is 23 > m?
True
Let r = 0.003 - -4.397. Let i = r + -4.5. Let k be (-2)/8 + (-10)/24. Is k smaller than i?
True
Let q(d) = -19*d + 132. Let k be q(7). Let x = -63467 - -1141799/18. Let c = x - -101/3. Which is greater: c or k?
c
Let m = -0.11 + 0.1261. Let r = -0.0161 + m. Which is bigger: 231 or r?
231
Let h be 240/(-9)*(-6)/5. Let w = h - 39. Let c be (-5)/(70/4) + (-135)/w. Do c and 18 have the same value?
False
Let j be (2 + (-416)/20)/(216/180). Which is smaller: j or -2/55?
j
Let i = -154 - -119. Let r = i - -32. Are r and 28 nonequal?
True
Let z = -8347/39 + 214. Let g be (4/10 + 0)*(-375)/100. Is g at least z?
False
Let r(o) = -o**3 + 2*o**2 - 3*o + 15. Let b be r(5). Let c be (1/9)/(b/2). Which is smaller: -0.1 or c?
-0.1
Let g(s) = -s**2 + 4. Let m be g(-2). Suppose -5*w + 41 - 16 = m. Suppose 2*d + b = -33, d = 2*d + w*b + 30. Is -15 < d?
False
Suppose 16 = 2*d + 64. Let r be 9 + -8 - d/2. Suppose 3*x = 48 - 9. Is r less than x?
False
Let i = 149 - 86. Let q be 34/(-8) + 14*18/i. Is 0 >= q?
True
Suppose -4*i + 5*p - 2*p + 3 = 0, 5*i + 10 = p. Let m = i - -6. Suppose -u - 1 - 49 = m*z, 5*z = -u - 84. Which is smaller: -16 or z?
z
Let f be (4/5)/(5/(-25)). Let t = 4292.4 - 4274.4. Is t bigger than f?
True
Let b be (-4)/((-180)/1435) + (-2)/(-18). Let c be (-1)/(4/b*8/(-34)). Is 34 less than c?
False
Let p(l) = l**3 - 12*l**2 - 14*l + 23. Let a be 4 - 2 - (-21 - -10). Let v be p(a). Let t be 1*2/v*5. Is t smaller than -2/61?
False
Let y = 5408 - 6512. Does y = -1104?
True
Let n be (-338)/(-1256) - (-2)/(-8). Suppose 0 = 275*k - 25985 + 26260. Which is greater: n or k?
n
Let w = 41.9 + -39. Let s = 3 - w. Let v = 15923 - 47791/3. Which is smaller: v or s?
v
Let g be (-18)/(-144) + 7/(-24) + -7. Is -0.1 bigger than g?
True
Let j = 205.1 + -207.1. Is j smaller than -275?
False
Let n = 8 + -12.6. Let q = n - -4.7. Let s = -19/23 + 56/207. Which is smaller: q or s?
s
Let a = 8.93 - 8.783. Is a less than 1/4?
True
Let y(s) = s - 8. Let l be y(7). Let q be (-6 - l)/((-2)/(-6)). Let w = q - -13. Do 0 and w have the same value?
False
Let q be -7 + ((-804)/(-108) - (-2)/9). Is q greater than or equal to 903?
False
Let c be 8 + 13 - 18 - 3*44. Which is smaller: 1 or c?
c
Suppose q + 1412 = -4*n, -4*q - 153*n = -158*n + 5627. Which is greater: q or -0.1?
-0.1
Let u be 4 + ((-645)/30 + 13)*2. Suppose -2*z - 11 = 11. Let s = 8 + z. Is s smaller than u?
False
Suppose -14*j + 19*j = -5. Let s = 8964603/461 - 19446. Which is smaller: j or s?
j
Let v be (3 + (-3)/3)/(1413 - 6). Which is greater: -1 or v?
v
Let o = 1/11402 + -4880067/125422. Are -40 and o equal?
False
Suppose -9*i + 4*i + 13 = 138. Are -388/15 and i equal?
False
Let r(c) be the second derivative of c**5/20 - 3*c**4/4 - 11*c**3/6 + 15*c**2/2 - 16*c. Let a be r(10). Suppose 0 = w + a*w. Do 3 and w have the same value?
False
Let m = -1791.8 + 1791.812. Which is greater: m or 16?
16
Let n be 12/(-10) - -21*8/(-560). Is 144 less than or equal to n?
False
Let x = 0 - 7. Let w be 72/(-45)*810/216. Is x at most w?
True
Let b = -654.1 + 646. Let s = 8.1 + b. Which is bigger: -1.38 or s?
s
Let z = 402859 - 2401099/6. Which is smaller: z or 2677?
z
Let d be (17/(-26) - (-22)/143)*(-8)/4. Are -4/793 and d equal?
False
Suppose -2 = -5*j + 8. Let w(u) = -u**2 - 16*u + 59. Let a be w(-19). Suppose -a*p = -p - j*p. Which is smaller: p or -1/6?
-1/6
Let d(y) = y**3 + 4*y**2 - 8*y - 2. Let f(q) = -2*q**2 + q. Let p be ((-4)/(-3) - 0)*(-147)/(-98). Let n be f(p). Let w be d(n). Is w > -27?
True
Suppose 0 = y - 2*c + 11, -4*y - 13 = -3*c + 6. Let z be y/3 - (-5)/(-3). Which is smaller: -6/11 or z?
z
Let z = -7616/3 + 860633/339. Is z < 1?
True
Suppose -13*l + 4*j - 452 = -9*l, -461 = 4*l + 5*j. Let t = -264 - -150. Do l and t have different values?
False
Let x = -409485 - -409484.9. Let s = -0.7464 - -0.72. Which is smaller: x or s?
x
Suppose -4*s - 5*p - 522 = 0, -p + 638 = -14*s + 9*s. Let m be 2 + -9 + s + 19. Is m equal to -116?
True
Let l = -11711 + 11711. Are 15/413 and l non-equal?
True
Let v be 12/((-99)/45 + (-3)/(-15)). Let w be 78/117*v/(-5). Let r be 45/84 - 2/8. Which is bigger: r or w?
w
Suppose 3*o + 573 = -3*w, 2*o - 37 = 5*w - 405. Let s = -251 - o. Is s at most -63?
False
Let c = -4677 - -79540/17. Which is greater: 1 or c?
c
Suppose 0 = 3*c - 44*r + 49*r + 14, 4*c = -r + 4. Let d(a) = 6*a**2 + a**2 - 2 + 3*a - 5*a. Let i be d(c). Is 22 bigger than i?
False
Suppose -1707 + 4407 = -10*y. Let x be 3*((-2)/15 + (-126)/y). Is x <= 2/1677?
False
Suppose 2*m + 1926 = 17*v, -4*v + 4*m + 365 = -67. Let t = 193 - 81. Which is greater: t or v?
v
Let s = 296 - 108. Let f be 1971/(-28)*(-11 - (-41)/3). Let c = f + s. Which is greater: c or -3.