-k - 4*f + 2*f. Let q = k - 127. Does 14 divide q?
True
Is 6 a factor of (-7)/((-210)/(-18))*(-81440)/48?
False
Suppose -49 = -5*v - 174. Let d = 27 + v. Suppose -2*x + 244 = d*t, 5*t = x + 3*x + 637. Does 25 divide t?
True
Let m(i) be the third derivative of -i**5/60 - 7*i**4/6 + i**3 - 88*i**2. Let s be 3*(0 + -1) - 14. Does 17 divide m(s)?
False
Let h = -476 + 727. Let v be (-110)/(-40) - 439/4. Let f = v + h. Is 10 a factor of f?
False
Let n = -148 + 230. Suppose 0 = -n*i + 75*i + 4452. Is i a multiple of 53?
True
Suppose 0 = -2*g + 7*g. Suppose g = -10*c + 12 - 2. Is (-9 - 9)*(c + 51/(-9)) a multiple of 28?
True
Let y(o) = -8*o - 45. Let u be y(-5). Does 43 divide (u + 5 - (315 + 0))*-3?
False
Suppose -2*z - k = -108, -5*k + 92 = -z + 3*z. Let p = 59 - z. Let n = 14 - p. Is 2 a factor of n?
False
Let a be 10/(-45) + (-1604)/(-9). Suppose a = 10*z - 642. Is 3 a factor of z?
False
Suppose -z = u - 33466, 0 = -2*z + 72*u - 68*u + 66908. Does 11 divide z?
True
Let h be (-12)/4 + (-109 - (-1 - -4)). Let c = -110 - h. Suppose -3*o + 283 + 579 = c*a, -a + 169 = 4*o. Is 16 a factor of a?
False
Let z = -78 - -74. Let n(i) = -i**3 - 5*i**2 - 5*i + 1. Let s be n(z). Suppose -3 = -s*g - 13, -3*f - g = -82. Does 23 divide f?
False
Let s(y) be the third derivative of -11*y**4/8 - 8*y**3/3 + 28*y**2 - 3*y. Suppose -5 = 3*g + 7. Does 11 divide s(g)?
False
Suppose -14*n + 133964 = 34424. Is n a multiple of 2?
True
Let d = -145 - -181. Suppose 0 = -42*b + d*b + 216. Is 2 a factor of b?
True
Let c(d) be the first derivative of 197*d**3/3 - 4*d**2 + 12*d - 24. Is c(2) a multiple of 35?
False
Let u(q) = -q**3 + 17*q**2 + 89*q - 169. Is u(19) a multiple of 50?
True
Let w(i) be the first derivative of -i**4/4 + 20*i**3/3 - 7*i**2 - 86*i - 47. Is w(10) a multiple of 18?
True
Let m(p) = 18*p + 29*p**2 + 66 - 19*p**2 - 25*p. Is 32 a factor of m(9)?
False
Suppose 14*f + 175 = 1421. Let v = 13 + f. Is 8 a factor of v?
False
Let k(n) = -21*n + 125. Let p(b) = 4*b - 25. Let c(s) = -2*k(s) - 11*p(s). Let i be (112/(-32))/(4/(0 - -8)). Is 31 a factor of c(i)?
False
Suppose 0 = -4*x + 12, -2*c = -x + 5*x - 12592. Does 37 divide c?
True
Let s be 10/12 + (49959/(-54))/(-7). Suppose 0*a + s = 7*a. Is a a multiple of 5?
False
Suppose 2*y + 510 = -400. Let l = y + 478. Is l even?
False
Suppose -2156500 = -606*s + 21761108. Does 13 divide s?
True
Let l(s) = 17*s**3 + 6*s + 3. Does 5 divide l(3)?
True
Let x(b) be the first derivative of 11*b**2 + 114*b - 213. Is x(12) a multiple of 21?
True
Suppose -3*g = -g + 3*j + 4, 5 = -3*g - 4*j. Let n be 3/(-2)*(28/(-12) + g). Suppose 5*h - n*r - 132 = -6*r, 4*h - 3*r = 87. Does 8 divide h?
True
Suppose 80*y - 5061000 = -483*y + 81*y. Is 3 a factor of y?
True
Let z(g) = -3*g - 14. Let f be z(-5). Let u be -10*(f + -2)*(-11)/(-22). Suppose -92 = u*r - 7*r. Is r a multiple of 19?
False
Let m(r) = 54*r**2 + 5*r**2 + 44 - 13*r - 16 + r. Does 17 divide m(2)?
False
Let a(d) = 13*d + 2379. Does 52 divide a(-7)?
True
Let p(i) = -i**3 - 35*i**2 + 60*i - 72. Is 19 a factor of p(-41)?
False
Let z(w) = -3*w**3 - 15*w**2 - w - 9. Let s(f) = 4*f**3 + 14*f**2 + 2*f + 9. Let a(j) = -5*s(j) - 6*z(j). Let n be 10 + 4/8*-2. Is 15 a factor of a(n)?
True
Is (-73*1)/(-16 + 4237/266) a multiple of 31?
False
Let j = 1380 - -7420. Does 6 divide j?
False
Let g be 5/2*(9 - 11). Let q(b) = b**2 + 5*b. Let s be q(g). Suppose s - 18 = -3*r. Is r a multiple of 5?
False
Let o be 308/28 - (-4)/(-2). Let j = o + -4. Suppose -88 = -j*l + 87. Is 35 a factor of l?
True
Suppose -22*b + 5 = -171. Suppose -10*o - 2*q + 1732 = -b*o, -4*o - q + 3458 = 0. Does 24 divide o?
True
Does 35 divide 4 + 0 + (-17790)/(-15)?
True
Let g(q) = -q**3 - 5*q**2 - 4*q + 12. Suppose 0*f = 9*f - 36. Suppose -d - 30 = f*d. Is 9 a factor of g(d)?
True
Let z = 522 + -205. Is z a multiple of 20?
False
Let f = -141 + 1911. Does 10 divide f?
True
Suppose -6*h = -4*h + i + 5, 3*i + 15 = h. Let o be ((-1 - h) + 212)*1. Suppose 4*f - 165 = 3*p + o, 0 = 3*f + p - 295. Does 28 divide f?
False
Suppose 12*c - 1132 + 304 = 0. Suppose -68*y - 560 = -c*y. Is 16 a factor of y?
True
Let h = 1039 - 2250. Let q = 1904 + h. Is q a multiple of 21?
True
Suppose -3*i = -30 + 15. Suppose i*u - 50 = 10*u. Is (-2)/(-4) + (11775/u)/(-15) a multiple of 6?
False
Let o(a) = -a**3 + 7*a**2 - 8*a + 3. Let c be o(6). Let p(n) = 9. Let z(v) = -23*v - 36. Let q(l) = 4*p(l) + z(l). Is q(c) a multiple of 13?
False
Let d be (-3)/(-3)*(2 - (2 - -9)). Let i be 445 + (3/d)/((-1)/3). Suppose 5*o - 219 = i. Is 19 a factor of o?
True
Suppose -32*y + 27*y = 4*k - 1154, 0 = 4*k + 16. Suppose v - r - y = 0, -21*v = -25*v - r + 956. Is v a multiple of 17?
True
Suppose r = 3*r - 8, -r - 35 = 3*h. Does 32 divide 104/(-39)*(h - -1)?
True
Suppose 3*c = 2*m + 203, -7*m = -3*m - 4*c + 416. Suppose -40*j + 41*j - 3 = 0. Let b = j - m. Is 9 a factor of b?
False
Let c(a) be the third derivative of a**5/6 - 2*a**4/3 - 3*a**3 + 2*a**2 + 3*a. Is 13 a factor of c(-5)?
True
Let a = 34271 + -30392. Is a a multiple of 11?
False
Let w = 18085 + -11620. Does 140 divide w?
False
Is (-1261962)/(-312) - 3/4 a multiple of 11?
False
Let b = 8175 + -6201. Is b a multiple of 4?
False
Let f(v) = 9*v + 100. Is 40 a factor of f(40)?
False
Let q be 136 + (2 - (-15)/(-5)) - -2. Let h = q - 97. Is h a multiple of 4?
True
Let j = 37 - 43. Let b be -7 + 2 + (2 - j). Does 33 divide 161 - ((b + -3)*1 + -4)?
True
Let x(t) be the third derivative of -43*t**4/24 - 22*t**3/3 + 2*t**2 + 6*t. Does 4 divide x(-3)?
False
Let p = -245 + 252. Is 24 a factor of 444 - (2/(-3) + p/(-3))?
False
Suppose v - 3*p = 711, -24*v + 20*v - 5*p + 2844 = 0. Does 6 divide v?
False
Let h(p) = -375*p + 11978. Is 83 a factor of h(-38)?
True
Let b(n) = n**3 + 6*n**2 + 7*n + 3. Let w be b(-4). Suppose 0 = w*l - 7 - 0. Does 28 divide l/((-4)/(-200)) - -3?
False
Suppose 2352 = 3*g - 4*n, 6*g - 11*g + 3912 = -4*n. Suppose -6*x - 7*x + g = 0. Is 10 a factor of x?
True
Let v(r) = -2*r**2 + 0*r + 3 + 1 + 2*r + 0*r**2. Let p be v(0). Suppose 4*u - 5*b = 135, -2*u - 2 + 74 = -p*b. Is u a multiple of 10?
True
Let n = -7352 + 14363. Is 12 a factor of n?
False
Let a(w) be the second derivative of -20*w**3/3 - 11*w**2 + 4*w. Let j be a(-4). Suppose -4*o = -j - 174. Is o a multiple of 39?
True
Suppose -629 = 6*l - 623. Is 11 a factor of (l - (-2 + -1)) + 192 + 34?
False
Suppose -736 = -2*r - 4*z, -2*z = -5*z. Suppose -r = -2*m + 5*c, 0 = -5*m - 2*c + 1306 - 357. Does 27 divide m?
True
Suppose -28*d + 9*d = 6289. Let f be -2*1 + 2 + -166. Let s = f - d. Does 15 divide s?
True
Let l(f) = 11*f**2 - 4*f - 2. Let y be l(-7). Let p = -397 + y. Is p a multiple of 14?
True
Let f be (-66)/66 - (-10378 - 1). Suppose 9*c = -3844 + f. Is 22 a factor of c?
True
Does 17 divide (56/(-12) - 2)/((-45)/105570)?
True
Let x(q) = 327*q**2 - 27*q - 75. Is x(-3) a multiple of 5?
False
Let n = 32968 + -15972. Does 33 divide n?
False
Let x be ((-3)/(-9))/((-2)/(-282)). Let h = 50 - x. Does 6 divide (-279)/(-15) + h/5*-1?
True
Suppose 0 = -x - 46 - 57. Let z = 19 - x. Suppose 3*y = z - 41. Is 9 a factor of y?
True
Let l(s) be the first derivative of -7/2*s**2 - 9 + 9*s. Is l(-6) a multiple of 8?
False
Let v be 12/(-36) + 25/3. Let a be -2*(-52)/v + -4. Suppose 13*k - 464 = a*k. Does 16 divide k?
False
Let c = 39875 - 22055. Is 27 a factor of c?
True
Suppose -7343 - 18793 = -22*c. Is 12 a factor of c?
True
Is 39 a factor of 129/86*4501*2?
False
Is 7 a factor of (-75)/(-5) - (-22368)/32?
True
Let z(p) = -p**3 - p**2 + p - 1. Let g(i) = 7*i**3 + 10*i**2 - 9*i - 1. Let o(h) = -g(h) - 6*z(h). Let s be o(-9). Suppose -k + s = 6*k. Is 14 a factor of k?
False
Let j = 91 + -75. Is j/(-40) + 1262/5 a multiple of 12?
True
Suppose 4*f + 3*c - 15 = 0, 4*c = c + 15. Suppose 5*w - 4*z - 693 = -z, 4*w + z - 551 = f. Is 23 a factor of w?
True
Suppose -4*y + o + 57 = 0, -3*y + 3*o + 31 = -5. Suppose 3*u - 2*u = -2*h + y, 5*h - 24 = -u. Suppose 0 = -u*w + 10*w - 3. Is w a multiple of 2?
False
Suppose -2*r + c + 896 = 0, 19*c = 14*c + 20. Suppose -5*o - o = -r. Is o a multiple of 15?
True
Let x = 3852 + 4692. Is 4 a factor of x?
True
Let m be 2 + 5*(-3)/(-15). Let d(j) = j**2 - 17*j**m + j + 4*j - 1 - 7*j + j. Does 18 divide d(-1)?
True
Let g(u) = 27404*u**2 + 10