q = -6*q - 2. Suppose -5*i = 10, -k + q*i = -i + 4. Is 3 a factor of k/30 + 164/6?
True
Let s be 16/6 + (-24)/36. Suppose s*i = -2*i + 152. Let j = i - 11. Does 11 divide j?
False
Let g(t) = 5*t**2 + 7*t + 12. Let d = 76 - 69. Is g(d) a multiple of 17?
True
Let s(v) be the third derivative of -v**4/6 - 18*v**2. Let q(a) = 6*a. Let g be q(-1). Does 24 divide s(g)?
True
Let s = -898 - -5531. Does 11 divide s?
False
Let l = -4256 - -32033. Does 33 divide l?
False
Suppose 112 = 7*w - 0*w. Suppose 0 = -17*q + w*q + 10. Let f(c) = -c**2 + 13*c + 14. Is 11 a factor of f(q)?
True
Let g(l) = -l**3 + 8*l**2 - l + 5. Suppose 2*a + 2*a - 128 = 0. Let b = a - 27. Is g(b) a multiple of 7?
False
Suppose -k + 5537 = -m, 0 = -m + 85 - 83. Is 191 a factor of k?
True
Suppose 97*s - 29574 = 24746. Is 5 a factor of s?
True
Let h(y) = -6*y**2 + 0*y**3 + 0 - 3 + 3*y**3 - 2*y**3. Let f be h(6). Is (-7 - 17)*f/1 a multiple of 36?
True
Suppose 48*f - 195855 = -6975. Does 87 divide f?
False
Let m = -9060 - -13883. Does 13 divide m?
True
Suppose -9*j + 73143 + 25506 = 0. Is 125 a factor of j?
False
Let p(w) = 15*w**3 + 11*w**2 + 2*w - 43. Is 50 a factor of p(9)?
False
Suppose -10*u + 1256 = 4*t - 6*u, -t - 3*u + 314 = 0. Let o = t + -224. Is o a multiple of 28?
False
Let m = 464 - -10261. Does 11 divide m?
True
Let m(i) = 5*i**2 - 26*i + 47. Let j(o) = 12*o**2 - 52*o + 95. Let l(k) = 2*j(k) - 5*m(k). Is l(16) a multiple of 9?
False
Suppose -4*v + 16528 + 4776 = 5*y, -2*y + 3*v = -8540. Suppose 10*g - y = -1414. Is g a multiple of 27?
False
Suppose -5*l + 5*k = -126750, -57*l + 55*l - 2*k + 50676 = 0. Is 66 a factor of l?
True
Let b(w) = -9*w**2 - 584*w - 163. Is b(-59) a multiple of 76?
True
Let z be (-1 + 8)*(-1)/(-2)*6. Let w(q) = q**2 - 18*q + 13. Is 7 a factor of w(z)?
False
Suppose 5*j = 2*d + 140, 2*d + 5*j = 68 - 228. Let c be d/(-9) - (-2)/(-6). Suppose -3*o - 29 = -2*h - c*o, -3*o = -3. Is h a multiple of 4?
True
Let j(i) = -8*i - 34. Let v be j(-5). Is 5 a factor of (363/v + -2)*(-8)/(-6)?
False
Suppose 2*w = -166 + 38. Let x be (-28)/(-21) + w/3. Does 29 divide 4/x + 2955/25?
False
Is -5 + (46/(-15)*-268 - (-16)/120) a multiple of 2?
False
Let u(g) = 15*g - 3. Let x be u(4). Let i = -9 - -12. Suppose i*z - x = 4*f, 0*f + 12 = 4*f. Does 23 divide z?
True
Let q = 1771 + -1127. Suppose 0 = 12*w - q - 124. Let v = 14 + w. Does 6 divide v?
True
Suppose 11*o = -60*o + 1377258. Is o a multiple of 106?
True
Suppose -11*m = -16*m + 15. Suppose -2*j - 5*a = -269, -m*j + j - 3*a + 279 = 0. Suppose 2*u = -2*o + 222, 5*o - 5*u - j - 428 = 0. Is 26 a factor of o?
False
Let x = 41 + -33. Suppose -4*h - x = -8*h. Suppose b = -h*o + 19, 3*b - 8*o = -3*o + 90. Is 5 a factor of b?
True
Let a = -21570 + 26940. Is 30 a factor of a?
True
Let w(u) = -21*u**3 - 26*u**2 - 130*u + 18. Does 53 divide w(-6)?
False
Suppose -14*a + 4*a - 20 = 0. Let o(t) = -28*t - 13. Let w be o(a). Let f = w - 16. Is 5 a factor of f?
False
Suppose -61280 = -4*i - z - 17675, 4*z - 20 = 0. Is 53 a factor of i?
False
Let y(l) = 12122*l + 29. Does 141 divide y(1)?
False
Suppose -4*x + 42 = 2*w - 3*x, -5*w + 75 = -5*x. Suppose -24*a + 8*a + 1488 = 0. Let j = a + w. Is j a multiple of 14?
True
Let i(l) = 6*l - 34*l + 1 - 11 + 2*l + 6*l. Suppose 2*j - 13 - 4 = 5*n, 18 = -5*n + 3*j. Is i(n) a multiple of 10?
True
Suppose 4*k = g + 16, -5*g = -4*g - 2*k + 8. Suppose 0 = -4*m - 16, g = 3*o - m - 2*m - 66. Does 5 divide 21/9 + 3 + 12/o?
False
Let w(f) = -6*f**3 + 14*f**2 + 197*f + 32. Is 12 a factor of w(-8)?
True
Is (-9)/((-72)/16)*357/7 a multiple of 17?
True
Suppose 5*c - 4*p + p - 9926 = 0, -3*c + 2*p + 5955 = 0. Suppose 5*u = -4*d + c, 0*u + 4*u = 3*d - 1467. Does 17 divide d?
True
Let v(r) = 7*r**3 - 71*r**2 + 37*r - 63. Is v(13) a multiple of 31?
False
Suppose -3*v + 4*a = -42, 0 = 4*v - 5*a - 27 - 28. Let r(l) = 24*l - 40. Is r(v) a multiple of 40?
True
Suppose -v + 16 - 12 = 0. Suppose 0 = -k, 8*k + 152 = 2*w + v*k. Is 9 a factor of (-1)/(-5) + w/20 + 5?
True
Let y = 272 + -265. Let w(o) = 7*o. Is 4 a factor of w(y)?
False
Let j = -96012 - -136980. Is j a multiple of 24?
True
Let q be (-1)/9*3*-12. Suppose -296 = -0*m - q*m. Is m a multiple of 5?
False
Suppose 30*i + 93895 = 5*v + 25*i, -5*v + 93904 = 4*i. Is 12 a factor of v?
True
Suppose 5710 = 2*z - 5*w - 3433, -13708 = -3*z + w. Is z a multiple of 151?
False
Let x = 309 - 278. Suppose -x*p + 21681 = 2*p. Does 20 divide p?
False
Let g(i) = 380*i + 825. Does 39 divide g(63)?
True
Let t be 5*3545/225 - (-4)/18. Let m = -119 + t. Is 5 a factor of 226/4 - (-60)/m?
True
Let l(v) = -v**3 - 6*v**2 + 17*v + 12. Let r be l(-8). Suppose r*z = -3*w - 18, -9 = 3*w - z + 2*z. Is 16 a factor of (-1068)/(-8) - 1/w?
False
Let a = -60 + 62. Suppose i + 2*s = 5*s + 51, 0 = -a*s - 6. Is 4 a factor of i?
False
Is 3 a factor of (3 - ((-647)/(-4) + 3))/(7/(-56))?
False
Suppose -41*d + 266*d - 1186920 = 448830. Does 22 divide d?
False
Let o = 175 - 460. Let c = o - -732. Is c a multiple of 8?
False
Let p be 10/(-4)*48/(-20). Let v(h) = 4*h - p + 0*h + 30. Does 13 divide v(7)?
True
Let f(h) = -5*h**3 - h**2 - 3*h - 2. Let m = -24 + 29. Suppose -31 + 41 = -m*z. Is 15 a factor of f(z)?
False
Suppose -4*z - 3 = -2*j + 1, -2 = -5*j + 2*z. Let w = j + 10. Let b = w + 128. Is 21 a factor of b?
False
Let m = -2083 + 3261. Is m a multiple of 19?
True
Let l = 10733 + -8574. Is l a multiple of 16?
False
Let d(f) = -2*f - 60. Let m be d(8). Let z = m + 157. Does 15 divide z?
False
Let b be (-25)/(-5) + 2 - 3. Suppose 63 = b*h - 57. Is 12 a factor of ((-152)/(-12))/(4/h)?
False
Is 31 a factor of 896/(-2352)*(0 + 1614/(-8))*287?
False
Let o(h) be the first derivative of -h**4/4 - 23*h**3/3 - h**2/2 - 19*h + 7. Let k be o(-23). Is 29 a factor of 29/2*k/1?
True
Suppose 5*x + 5*c - 4060 = 0, 15*x = 12*x - c + 2444. Is x a multiple of 15?
False
Let n(y) = 5 - 2*y**3 + y + 0*y**3 - 7*y**2 - 3. Let x(g) = -g**2 + 11. Let k be x(4). Is 24 a factor of n(k)?
True
Is 53 a factor of -6*(1696/3)/(-4)?
True
Let k(u) = -93*u**2 - 4. Let o be k(-2). Let i = -1 - o. Does 25 divide i?
True
Let b = 23637 - 20942. Is b a multiple of 35?
True
Let u(t) = t**2 + 3*t + 6. Let d(v) = -v**2 - 2*v - 5. Let r(n) = -5*d(n) - 4*u(n). Let l be ((-12)/14)/((-10)/70). Is r(l) a multiple of 10?
False
Let m(b) = b**2 - 20*b + 176. Is 83 a factor of m(-82)?
False
Suppose -112*v - 62*v + 1155969 = 451269. Is v a multiple of 2?
True
Suppose 0 = -3*l - 2*r - 158 + 1246, -l + 5*r = -391. Suppose -368*h = -l*h - 1252. Is 67 a factor of h?
False
Suppose -77*n - 3568 = -79*n - 4*m, 5336 = 3*n - 2*m. Is 89 a factor of n?
True
Let v = -3586 + 4649. Is 6 a factor of v?
False
Let h(a) = 192*a**2 - 3*a. Let w(v) = -96*v**2 + 2*v. Let c(o) = 3*h(o) + 5*w(o). Let x be c(-1). Does 3 divide 10/4*228/x?
True
Let l(j) = -j. Let o be l(-2). Let v(w) = w**2 + 7*w + 12. Let q be v(-3). Suppose -o*y - 395 + 1053 = q. Is y a multiple of 24?
False
Suppose 82*d = 80220 + 92390. Is d a multiple of 4?
False
Let c(f) = 12*f**3 - 54*f**2 + 344*f + 3. Is c(7) a multiple of 2?
False
Suppose 0 = 33*c + 20*c - 112519. Does 11 divide c?
True
Suppose 20072 = 3*s - t - 7518, -2*s + 4*t = -18380. Is 36 a factor of s?
False
Let l(g) = -2*g**2 - 39*g - 3. Let v = -123 + 111. Does 10 divide l(v)?
False
Let i(y) = 235*y - 439. Is i(15) a multiple of 31?
False
Let s be 493376/884 - 2/17. Let o = s + -539. Is 16 a factor of o?
False
Suppose -5*f - 10*f - 16*f + 1325436 = 0. Does 27 divide f?
False
Suppose 9*o = -o + 10350. Suppose 0 = 4*z + 2*n - 5*n - o, 0 = -4*n - 20. Is 15 a factor of z?
True
Suppose -6*r + 672 = -192. Let c = r - -318. Does 14 divide c?
True
Suppose 0 = 3*w + 29 - 104. Let v(p) = 3*p + 12 - w - 6. Is v(11) a multiple of 7?
True
Let c be 4 - ((-4)/2 + -4 + 2). Is 3 a factor of (-3)/8 - (-579)/c?
True
Let o = -207 + 209. Suppose j - 1 = 0, -2*x + o*j + 451 = -145. Is x a multiple of 13?
True
Suppose 3*c + 8 = d, -4 = -5*d - 3*c - 0*c. Suppose f + d*f = -f. Suppose -m + 5 = f, 1000 = 5*q + 9*m - 7*m. Does 33 divide q?
True
Let y = -30 - -32. Let i be -12*(-1)/y - (-1 - -2). Suppose -o + i*o = 164. Is 5 a factor of o?
False
Let m be (33/44)/(2*1/8). Suppose 2*s = m*s, -5*w + 510 = -2*s. Suppose w = 2*v - 64. Is v a multiple of 16?
False
Let v be