39. Suppose 4*l + i = -0*l + 129, 3*i = 15. Does 14 divide u(l)?
False
Let k(i) = 6*i + 1965. Is 17 a factor of k(4)?
True
Let a(h) = 4*h**2 + 23*h - 2. Let u be a(-9). Let b = 17 + u. Suppose 0 = -q + 4*j + 105, -2*q - b = -3*q - 5*j. Is 10 a factor of q?
False
Let m(c) = 452*c**2 + 48*c - 72. Is 14 a factor of m(-6)?
False
Suppose 23*b = -87 - 74. Is (-1)/b - (5 + 13434/(-42)) a multiple of 26?
False
Suppose 5*q + 1243 + 7452 = 5*m, 0 = 2*m - q - 3476. Is m a multiple of 136?
False
Let d = 16010 - 15837. Is d a multiple of 111?
False
Suppose 23522 = 73*b + 4542. Is 12 a factor of b?
False
Suppose 0 = -16*i + 17*i + 5*h - 3, -i + 3 = -h. Does 11 divide (-9)/i - (-3 + 2 + -133)?
False
Suppose -2*z + 1484 = 32*c - 28*c, 3*c - 2*z - 1120 = 0. Is c a multiple of 12?
True
Suppose 24640 = 9*r + 7*r. Let j = -903 + r. Is 20 a factor of j?
False
Suppose 0 = -u + 5*h + 645, 5*u - 4*h - 3158 = 235. Is u a multiple of 8?
False
Let s(t) = 1732*t**3 + 6*t**2 - 26*t + 37. Is 59 a factor of s(2)?
True
Suppose 0 = 195*p - 197*p + 7584. Does 10 divide p?
False
Let f = 595 - -606. Suppose -91 = -6*d - f. Is -2 + 0 - (d + 19) a multiple of 14?
False
Let u(s) = -7*s + 3*s - 3 + 2*s - 16. Let v be u(-14). Suppose -v + 171 = 6*q. Is q a multiple of 5?
False
Let z(b) = -6 - 3*b - 6*b**2 + 7*b + 9*b**2 - b**3 - 8*b**2. Does 22 divide z(-8)?
True
Is 4 a factor of (10496/96)/(6/27)?
True
Let s(c) = 921*c - 212. Let k be s(9). Suppose -6*w + 2069 = -k. Does 19 divide w?
True
Let a = -44 + -9. Let g = 23 - a. Is 3 a factor of g?
False
Suppose 15748 = 2*t + 106*p - 111*p, 7873 = t - 2*p. Is 35 a factor of t?
False
Suppose t = 62 - 55. Suppose 443 = -t*p + 569. Is 3 a factor of p?
True
Suppose -40*z = -2*z + 1140. Does 4 divide (9*32/(-60))/(9/z)?
True
Let i = -120 + 122. Is 5 a factor of (-1)/(3/135)*(-5 + i)?
True
Suppose 5*y + 5*d = 35, -8*d + 23 = y - 3*d. Let w be (-58)/(-6) - (-1)/y. Suppose -12*z = -w*z - 166. Is z a multiple of 21?
False
Suppose -516*u + 528*u - 3336 = 0. Does 3 divide u?
False
Let y(b) = -23*b + 81. Let m(u) = -22*u + 82. Let s(c) = -3*m(c) + 2*y(c). Is 13 a factor of s(12)?
True
Let s be (-10)/(-2) + -1 - 4. Suppose s = 4*o - o + z - 1008, -5*z + 1344 = 4*o. Suppose -6*v = -3*v - o. Does 14 divide v?
True
Let r be (-213)/(-6) - 4/8. Suppose -r*m = -33*m - 460. Let w = -161 + m. Does 17 divide w?
False
Suppose -1742 = 4*i + 9*r - 7*r, 4*i + 5*r + 1727 = 0. Let s = -49 - i. Does 6 divide s?
False
Let k = 9839 + -6953. Suppose 0 = 50*s - 47*s - k. Is s a multiple of 37?
True
Let w(p) = -320*p**3 + 8*p**2 + 25*p + 33. Is w(-3) a multiple of 21?
False
Let x = 22814 - 15584. Is 180 a factor of x?
False
Let c be (-2)/7 + 100604/196. Let t = c - 288. Is t a multiple of 36?
False
Suppose 17*x - 18 = 14*x. Let s be (-1848)/(-110)*1/(x/80). Suppose 5*w = 2*p + 233, -p - s + 40 = -4*w. Is w a multiple of 9?
True
Let i = 1152 + 956. Is i a multiple of 31?
True
Suppose 2*f - 48 = -f. Let k be 300/f*(-5)/((-30)/16). Suppose 2*a - 3*a - 4*z + 13 = 0, -2*a + 4*z = -k. Is a a multiple of 4?
False
Let m(n) = -n**3 - 32*n**2 + 5*n + 164. Let c be m(-32). Suppose -c*j + 3*d = -1546, 9*j - 14*j + 1923 = d. Is j a multiple of 55?
True
Suppose 5*d - 4232 + 608 = -4*y, 4*y = 2*d - 1472. Is d a multiple of 7?
True
Let t be -41 + (2/2)/1. Let y = t - -47. Suppose -4*g = -y*g + 78. Does 13 divide g?
True
Let f(l) = -l**3 - 5*l**2 + 30*l. Let o be f(-9). Suppose -88 = -58*m + o*m. Is m a multiple of 11?
True
Let p = 9430 - 2104. Does 33 divide p?
True
Let a(u) be the second derivative of u**5/20 + 13*u**4/4 - 11*u**3/6 - 9*u**2/2 - 21*u. Does 14 divide a(-39)?
True
Suppose 0 = -1955*w + 1956*w - 8850. Is 50 a factor of w?
True
Is (-137698)/(-34) - (-326)/5542 a multiple of 6?
True
Suppose 3*a = 14 + 10. Suppose 0 = -17*v + 19*v + a. Is 18 a factor of (-319)/v + 21/(-28)?
False
Let d(f) be the first derivative of f**3 + 19*f**2/2 - 2*f - 637. Let k(v) = -v - 4. Let p be k(6). Is 54 a factor of d(p)?
True
Let k = -1 - -1. Suppose -29*b = 3690 - 18770. Suppose k = 18*a - 13*a - b. Is 52 a factor of a?
True
Let u(h) = -173*h + 3. Let m be u(-1). Suppose m = -3*q + 14*q. Does 14 divide q + ((-2)/(-4) - 30/12)?
True
Let b = 1117 + -1682. Let r = -95 - b. Is 10 a factor of r?
True
Let w = -235 - -224. Is 20 a factor of (w - 76)*(1 + -5 - -1)?
False
Suppose 0 = 11*n - 6*n - 3*m - 57200, -4*n - 4*m = -45760. Is n a multiple of 208?
True
Let y(k) = -26*k + 3 + k**2 + 60*k - 30*k - 352*k**3. Is y(-1) a multiple of 6?
False
Let k = -472 + 489. Let y(g) = g**2 + 4*g - 25. Is 83 a factor of y(k)?
True
Let w(t) = -3*t + 69. Let x be w(13). Is 16 a factor of (-7355)/(-30) - ((-85)/x - -3)?
False
Suppose 13*p - 3293 = 1452. Let j = p + -281. Is j a multiple of 10?
False
Let i(o) = -307*o + 2320. Is 6 a factor of i(-9)?
False
Let f = -60719 - -95453. Is f a multiple of 17?
False
Let p(d) = -4*d**2 + 45*d - 7. Does 112 divide p(7)?
True
Let i(o) = -32*o - 2. Let g be i(7). Let c = g + 476. Is c a multiple of 5?
True
Let q = 4653 + -1347. Suppose -u = 2*x - x - 662, -q = -5*x - u. Is x a multiple of 25?
False
Let f(z) = -2*z**3 + 30*z**2 + 22*z + 24. Let h be f(24). Is 17 a factor of (-12)/(-20) - h/40?
False
Let k = 14206 + -9574. Is k a multiple of 6?
True
Suppose 5*s = -3*g + 45952, -9*s + 61288 = 4*g - 7*s. Is g a multiple of 19?
False
Suppose -128*j + 297753 + 1392991 = -1413000. Does 29 divide j?
False
Let l(t) = 3*t**2 + 93*t - 54. Does 18 divide l(-39)?
True
Suppose -47*l + 102*l - 50*l = 47900. Is 10 a factor of l?
True
Let p be 9/(-6) - (-9)/6. Let c be -2 + 0 + 4 + p. Suppose l + 68 = u - l, 136 = c*u - l. Is 17 a factor of u?
True
Suppose -34*z + 55064 - 60056 = -169620. Is 5 a factor of z?
False
Let k(o) = o**2 + 38*o - 120. Let z be k(-41). Suppose 0 = -3*p - z, -3*a - 4*p = -7*p - 771. Is 51 a factor of a?
False
Let q = 491 - 481. Let g(o) = o**3 - 7*o**2 + 5*o + 8. Is 16 a factor of g(q)?
False
Does 4 divide 525/(-70)*8576/(-12)?
True
Suppose 4*c - 4*y - 9864 = 0, -4*y = 3*c - 1685 - 5713. Is (4 + 0)/(36/c) a multiple of 3?
False
Let v be (0 + 1)*(-10 + 9). Let n(s) = -132*s + 1. Does 19 divide n(v)?
True
Let r(v) = -2*v**3 + 76*v**2 - 3*v + 119. Let f be r(38). Does 15 divide (-2796)/(-20) - (-1)/f?
False
Suppose -302*c - 720 = -297*c. Let t = c - -496. Is t a multiple of 11?
True
Let w be 10/255*-3 - (-1362)/17. Suppose -4*u - g = g + 64, 0 = -5*u + 5*g - w. Let j = 54 + u. Is 19 a factor of j?
True
Is 27 a factor of 188/141*(-15)/4 + 18905?
True
Suppose 0 = -24*m + 104206 + 267458. Is m a multiple of 29?
True
Let l(b) = 2*b + 228. Let t be l(0). Let d = 667 + -318. Let i = d - t. Is i a multiple of 40?
False
Suppose -11 = n - 4*k, k - 2 = -0*k. Let z be (12/9)/((-1)/n). Suppose -3*s - 79 = -z*s. Does 14 divide s?
False
Suppose 2 + 5 = p. Suppose r - 3*o + 20 = -p*o, 0 = o + 5. Suppose -4*d + d + u + 134 = r, 5*d = 5*u + 230. Does 7 divide d?
False
Let y = -186 + 192. Suppose 66 = y*b - 102. Is b a multiple of 2?
True
Let o(r) = -r**3 + 43*r**2 + 91*r - 43. Let q be o(45). Suppose 4*d + 642 + 156 = 3*h, -4*h + 1064 = q*d. Does 79 divide h?
False
Suppose -1071*c = -1058*c - 118118. Is c a multiple of 14?
True
Let p(n) = 999*n**2 - n - 3. Let k be p(-1). Let l = 412 + 241. Suppose 10*t = l + k. Is t a multiple of 33?
True
Let t be ((-2937680)/(-45))/8 - 8/36. Suppose 107*a - 95*a - t = 0. Is 40 a factor of a?
True
Suppose -9*f - 16287 = -0*f - 43989. Is f a multiple of 14?
False
Suppose -17*q - 3246 = 8*q - 31*q. Does 15 divide q?
False
Suppose 6 = 7*w - 15. Let c(f) = 21*f + 21. Let s(g) = 20*g + 20. Let t(u) = w*c(u) - 4*s(u). Is t(-7) a multiple of 13?
False
Let j = -10964 - -22139. Is j a multiple of 40?
False
Suppose 86281 = 5*c - 75569. Suppose -13*s + c = 2*s. Suppose s = 12*l + 286. Is 26 a factor of l?
True
Suppose 2*b - 80 = -74, 0 = -5*j - 4*b + 51162. Is 165 a factor of j?
True
Is 111 a factor of 6*2478/(-944)*296/(-1)?
True
Let b = 735 + 1465. Is b a multiple of 11?
True
Let m(d) = 6*d**2 + 250*d + 6. Does 19 divide m(8)?
False
Let a(y) = -y**2 - 119*y + 246. Does 70 divide a(-94)?
False
Let y = 93 - 90. Suppose 3*a = m + 13, 0 = -2*a + y*m + 1 + 3. Suppose -4*g + a*s = g - 55, -26 = -2*g - 2*s. Does 12 divide g?
True
Suppose 4*q = 14 - 14. Suppose -3*f - 9*f 