= 5*d + 2*q - 2, 5*d + 4*q + 5 = 0. Suppose 3754 = d*n + b, 21*n - b + 5007 = 25*n. Does 14 divide n?
False
Suppose -727 = 3*z + c, -c + 254 = 4*z + 1222. Let s = 277 + z. Is 6 a factor of s?
True
Suppose 27*w + 1188 = -6*w. Does 50 divide (-1 - (-10210)/12) + (-6)/w?
True
Suppose -t + 0*t + 3 = -3*z, 0 = -4*t + 5*z + 33. Let m = 12 - t. Suppose -5*c + r + 601 = -m*r, -20 = -5*r. Does 11 divide c?
True
Suppose 2056 - 60645 = -41*o. Is 12 a factor of o?
False
Suppose -2*d + 209 - 37 = 0. Let m = 104 - d. Let g = m + 22. Is g a multiple of 20?
True
Let z(r) = -36*r**2 - 2113*r - 38. Is z(-56) a multiple of 87?
True
Let q(v) = -v**3 + 28*v**2 - 5*v - 186. Does 14 divide q(12)?
True
Let p = 20 - 18. Let i(a) = 21*a - 1. Let r be i(p). Let m = 153 - r. Does 12 divide m?
False
Let n(i) = -4*i**2 - 38*i - 18. Let v be n(-8). Let o = 105 + v. Is o a multiple of 15?
True
Suppose 2*p = r - 6, -2*p + 0*r - 3*r + 2 = 0. Let q = 876 + -876. Is 40 a factor of (-1480)/16*(q + p)?
False
Is 27 + -17 - (-1526 - -9) a multiple of 42?
False
Suppose -8*x = 8*x - 80. Suppose x*r - 331 - 739 = 0. Is 63 a factor of r?
False
Suppose -4*w + 25 = 49. Let k be ((-59)/(-2))/(3/w). Let h = k + 68. Is h a multiple of 2?
False
Let d = -547 + 957. Suppose 408*n = d*n - 562. Is 7 a factor of n?
False
Suppose 5*s + 3*r - 81 = 243, 0 = -5*s + 5*r + 300. Suppose s*h - 5034 = 57*h. Does 13 divide h?
False
Suppose -f = s - 29316, -14*s + 8*f + 410424 = 6*f. Is 84 a factor of s?
True
Suppose 391405 = 122*b - 515665. Does 70 divide b?
False
Suppose -5*v = -4*v - 2*z - 3679, -4*v - 2*z = -14766. Is 3 a factor of v?
False
Let z be ((-6)/15)/((-4)/20). Suppose -t - 3*x = -z, x = -3*t + 4*x + 6. Suppose 3*i + 110 = t*w, 0 = 2*w + i + 37 - 147. Is w a multiple of 11?
True
Let u be 2188 + 1/(3/18). Let l = -1314 + u. Is 20 a factor of l?
True
Suppose -10*r - 7181 = -11501. Is r a multiple of 72?
True
Let q be ((-8)/3)/((-76)/12 - -6). Suppose 0 = -v + 3*v + q. Let u(k) = 16*k**2 + k - 12. Is u(v) a multiple of 40?
True
Suppose 2515*j = 2492*j + 9187 + 29039. Is j a multiple of 8?
False
Suppose 2*i + 3*h = -h + 56, i + 4*h = 28. Let k be 74*2/i - 2/7. Suppose 0 = -k*w - 4*w + 1485. Is w a multiple of 19?
False
Is 42 a factor of (-93762)/(-9) - 56/28?
True
Let t = 7 - 6. Let f be ((-18)/(-24))/(1/24). Is 32 a factor of t*(-114)/(-4)*96/f?
False
Let w(h) = -244*h - 44. Does 38 divide w(-17)?
True
Let b(s) = -5*s**3 - 4*s**2 - 4*s + 3. Let o(k) = -3*k**2 - k - 5. Let t be o(0). Does 14 divide b(t)?
False
Let z(v) = -v**3 - 10*v**2 + 9*v - 4. Let j be z(-14). Suppose 4*i + 3*b = -i + j, 252 = 2*i - 2*b. Suppose -f + i = -31. Does 10 divide f?
True
Suppose 5*u + 8*u + 1136 - 24432 = 0. Is 128 a factor of u?
True
Let h = -41229 - -60541. Does 34 divide h?
True
Let r be -35*(-8)/(-84)*(0 + -6). Suppose -3*g + s = -2*s - 651, 4*s = -g + 232. Suppose -r*v = -16*v - g. Is v a multiple of 5?
True
Let i be 6/5*(-450)/60. Does 13 divide (-8)/(-80) + (3951/(-10))/i?
False
Suppose -42*k - 324 = -46*k. Let z be 6/10 - k/(-15). Suppose -z*x = -2*x - 212. Does 47 divide x?
False
Suppose 2*r = 2*u - 2808, 5607 = 4*u + 7*r - 8*r. Suppose -5*m + 1405 = -0*g + 5*g, 0 = 5*m + g - u. Is m a multiple of 11?
False
Let r be (-20)/(-25)*-62 + (-4)/10. Let t = r + 50. Suppose -w = 3*b - 162, -4*w - 41 = -t*b - b. Is b a multiple of 14?
False
Let s = -122 + 167. Suppose -122 = -m - 2*y, -488 = -49*m + s*m - 4*y. Is 4 a factor of m?
False
Let r = -1149 - -1241. Let t(v) = v**3 + 6*v**2 - 7*v + 4. Let i be t(-6). Let b = r + i. Does 26 divide b?
False
Let p(n) = 3*n - 45. Let i be p(14). Let r be i - 92/(-28) - 2319/7. Let m = -151 - r. Does 10 divide m?
True
Let a = -34 - -25. Let g be 135/a*2/5. Is 13 a factor of (76/6)/(-4 + (-28)/g)?
False
Suppose -7*u = -6*u - 4800. Suppose -3*j - 9*j = -u. Does 10 divide j?
True
Let v(f) = 297*f - 150. Let b be v(6). Suppose 5*n = -11*n + b. Is 13 a factor of n?
False
Suppose -10736 = -2*j + 2*a, 3*j - a = 6*j - 16104. Suppose -3*p - j = -11*p. Suppose 6*r - p = 19. Does 23 divide r?
True
Let d(y) be the second derivative of 11*y**3/3 - y**2/2 - 24*y. Let v(m) = 67*m - 4. Let t(j) = -14*d(j) + 4*v(j). Does 27 divide t(-3)?
False
Suppose 0 = 5*r + 5*w - 3505, 3573*r + w = 3577*r - 2839. Is r a multiple of 118?
True
Does 20 divide 32*(((-124260)/(-48))/(-19))/((-1)/6)?
True
Let p = 28954 + 3734. Does 36 divide p?
True
Let m be 9/(-2)*8/(-18). Suppose 0 = 2*u + 5*h - 1287, -u + m*h + 1959 = 2*u. Is u a multiple of 12?
False
Let a be ((-85)/20 - -2)/((-6)/32). Let z be ((a/(-8))/(-1))/(2/100). Let l = z + -59. Is l a multiple of 4?
True
Let h(b) = 179*b**2 - 225*b - 1548. Does 14 divide h(-7)?
False
Let q = -257 - -370. Suppose 0 = -2*h + h + 2*b + q, -3*b = 4*h - 485. Does 3 divide h?
False
Let n(p) = p**3 + 30*p**2 + 29*p - 34. Let j be n(-29). Let g(z) = -3*z - 81. Is g(j) a multiple of 3?
True
Suppose 55*a + 30*a - 283530 = 7*a. Is 23 a factor of a?
False
Let a(z) = 2*z + 21. Suppose 5*s = 19 + 16. Does 8 divide a(s)?
False
Suppose -217*h + 851911 - 305939 = 0. Does 7 divide h?
False
Let u(i) = 4*i + 34. Suppose -8 = -2*c + y - 2, -4*c - y = 0. Let f be (4 - 4)/(-4)*c/3. Is u(f) a multiple of 27?
False
Suppose -4*a - 46 = -158. Let c be (a/6 + -4)*5598/4. Suppose 0 = -3*r + c + 39. Is 36 a factor of r?
True
Let d = 824 - 560. Suppose m - 12*m = -d. Is m a multiple of 3?
True
Suppose -6295 = -c + v, -10*c + 4*v - 25156 = -14*c. Does 26 divide c?
True
Suppose -3*u - 144 = 39. Let y = -12 - u. Let n = 121 - y. Does 6 divide n?
True
Suppose 5*h - 13522 = -z, 2*h = 2*z - 17485 - 9511. Does 86 divide z?
True
Suppose k = 5*t + 5100, 2*k - 15228 = -k - 3*t. Is k a multiple of 160?
False
Let n = 28579 - 13269. Is 27 a factor of n?
False
Let d = -941 - -1005. Let l = d - -535. Is l a multiple of 28?
False
Suppose 2*m + 5*v - 16009 = -m, -15964 = -3*m + 4*v. Does 74 divide m?
True
Suppose 3*q = 2*h + 7, 0 = 4*h - 7*q + 2*q + 11. Let x = 5 - h. Is 8 a factor of (x - (-120)/(-25))*-55?
False
Let n = 41 + -81. Let m be (-5)/n*-2 - 35/4. Does 42 divide ((-6)/m)/((-4)/(-504))?
True
Let u = -357 - -465. Let d(p) = -p**2 - 50. Let o be d(0). Let l = o + u. Is 14 a factor of l?
False
Let m(w) be the second derivative of 2*w + 1/3*w**3 + 0 + 29/6*w**4 - 3/2*w**2. Is m(1) a multiple of 6?
False
Suppose -4*d - 145 = -o + 147, 4*d = 3*o - 908. Let u = 572 - o. Is 22 a factor of u?
True
Suppose o + n + 5 = 0, 3*o + 8*n - 3*n = -23. Let g = o - -3. Suppose -3*w + 99 - 483 = -3*j, 0 = -5*j - g*w + 633. Is j a multiple of 16?
False
Let j(r) = 41*r**2 - 25*r - 322. Does 192 divide j(-14)?
True
Suppose 0 = 109*y - 2001610 - 398788. Is 13 a factor of y?
True
Does 106 divide (96/18)/(-8) + 105580/6?
True
Let i = 21 - 13. Let q(t) be the third derivative of 5*t**4/8 + 11*t**3/3 + 22*t**2. Is q(i) a multiple of 13?
False
Suppose -8*j + 6*j + 22 = 0. Suppose 23 = 4*x - 5*s, 4*s = -x + 1 - j. Suppose -5*o + 27 = x*w, -3*w + o + 83 = -0*w. Is 4 a factor of w?
False
Let a = -7843 + 7854. Let c(t) = 8*t**3 - 5*t**2 + 5*t - 3. Let i be c(3). Let j = i - a. Is j a multiple of 52?
False
Let d(l) = 2*l - 36. Let u be d(-11). Let j = -64 - u. Does 59 divide (j/(-8))/((-27)/(-6372))?
True
Let v(u) = 125*u**2 - 8*u + 5. Let p(l) = -374*l**2 + 23*l - 14. Let b(n) = 6*p(n) + 17*v(n). Let w be b(-1). Is 15 a factor of ((w/28)/1)/(3/(-21))?
True
Let k = -250 + -151. Let i = 1283 + k. Does 18 divide i?
True
Let c = 411 + -179. Suppose 5*t = -d + 14, 0*t + 9 = 4*t + 3*d. Suppose -t*u - u = 2*x - c, -2*u - 316 = -3*x. Is 10 a factor of x?
False
Let f be (17/4)/(435/(-220) + 2). Suppose 1193 = 5*y - f. Let q = 490 - y. Is 18 a factor of q?
False
Let s(p) = 4*p + 41. Suppose -2*o = -2*h + 24, -o - h - 3 = 5. Let k be s(o). Does 11 divide k*(0 + -1)*-11?
True
Suppose 3*h + 2271 + 13896 = 4*p, -5*h = 3*p - 12147. Is p a multiple of 6?
True
Let r(c) = -c**3 - 14*c**2 + 95*c + 16. Let m be r(-19). Let a(i) = i - 4. Let s be a(4). Suppose s = -7*p + 9*p - m. Is 5 a factor of p?
False
Suppose -78*d + 83*d = 6330. Suppose 4130 = 4*n + d. Is n a multiple of 92?
False
Suppose 9 = x + r, 0*x - 3*r = -4*x + 1. Is (-52)/(3/(-126)*x) a multiple of 21?
True
Suppose -8*o - 108 = o. Let j = o - -61. Suppose -k - 190 = -5*f, -2*k + 11 - j = -f. Do