vative of d**4/12 + 11*d**3/6 - 2*d**2 - 39*d. Is u(5) a multiple of 6?
False
Suppose 35*n - 37*n + 5*s = -331, -3*s = -15. Is 6 a factor of n?
False
Let q = 115 + -10. Is 3195/q + 3/(-7) a multiple of 15?
True
Let j(w) = -22*w**3 + 4*w**2 + 7*w + 6. Is 41 a factor of j(-3)?
True
Suppose -3*w = 5*y - 28, -7*w + y + 23 = -5*w. Is 11 a factor of w?
True
Suppose -5*l + l + 236 = 4*o, -3*o = 2*l - 120. Let a = l - -83. Is 20 a factor of a?
True
Let y be ((-4)/10)/((-52)/10 + 5). Suppose y*k - 170 = -3*k. Does 9 divide k?
False
Suppose 0 = 4*r - 2*g - 265 - 2335, 3228 = 5*r + 3*g. Is r a multiple of 18?
True
Let a = 20 - 3. Let l(o) = o**2 + 8*o + 30. Let h be l(-15). Suppose 14*r + h = a*r. Is r a multiple of 7?
False
Let j(r) = -r**2 + 54*r - 77. Is j(38) a multiple of 75?
False
Let x(g) = 2*g**2 + 20*g + 53. Is 10 a factor of x(-29)?
False
Let a be 3 + (-8)/2 - -4. Suppose d + 122 = a*d. Suppose -4*f + d = -3. Is f a multiple of 4?
True
Let l = -88 - -91. Suppose -l*i + 4*h + 508 = 0, 7*h = 3*h - 4. Is i a multiple of 28?
True
Let f = 2382 + -1222. Is f a multiple of 29?
True
Let g = 10 + -2. Let k = -12 + g. Let o = k - -15. Is 3 a factor of o?
False
Suppose 144 = -7*s - 9*s. Let o(p) = -3*p + 5*p + 12 - 4*p. Does 15 divide o(s)?
True
Suppose -3*o = 2*t - 1429, 5*t = 4*o - 881 - 1055. Suppose h + 22 = 3*h - 2*u, 10 = -2*u. Suppose -o = -h*g - 47. Does 24 divide g?
True
Let m be (-14 - 1)*-3*21/9. Suppose 0 = -6*s + 7*s - 2*z - 95, -4*z - m = -s. Is s a multiple of 10?
False
Let l = -182 + 349. Suppose -348 - l = -5*j. Does 11 divide j?
False
Suppose 920 = 5*k - 460. Suppose -y + 2*y - k = 0. Is y a multiple of 15?
False
Is 42 a factor of ((-372)/(-36))/((-2)/(-162))?
False
Is 3306/(12 + -6) - (-24)/6 a multiple of 25?
False
Is 3 a factor of (-159)/(-5)*(-2 - -13 - 6)?
True
Let z = -59 - -84. Does 15 divide -1 - ((-549)/15 - (-15)/z)?
False
Let i be -4*(-1 - 1)/2. Suppose 9*k - 90 = 4*k + 3*m, -72 = -i*k + m. Is ((-174)/k)/(2/(-12)) a multiple of 21?
False
Let n(d) = 21*d + 9*d + 12 - 18*d + 5*d**2. Is n(-5) a multiple of 21?
False
Let r(f) = f**3 + 20*f**2 + 14*f. Does 35 divide r(-6)?
True
Let t(u) = 5*u**2 + 5*u + 5. Let v = 35 + -37. Let f be t(v). Suppose 0 - f = -3*i. Is 4 a factor of i?
False
Suppose 0 = j - 87 - 326. Suppose -4*n = -j - 39. Does 35 divide n?
False
Let c = -1595 + 1688. Is 16 a factor of c?
False
Suppose -25*g + 22*g = -7197. Suppose 13*c - g = 175. Does 9 divide c?
True
Suppose 40 - 538 = -2*c. Does 30 divide c?
False
Suppose 5*k = -2*o + 625, -5*o + o - 2*k + 1274 = 0. Is 64 a factor of o?
True
Let c(m) = 25*m + 667. Does 41 divide c(-7)?
True
Suppose -30*q + 95 = -25*q. Let c = q - 16. Suppose 0 = c*f - 17 - 16. Is f a multiple of 3?
False
Let j = -46 + 50. Suppose 2*u - 25 = -2*r + 145, 349 = j*u + r. Does 22 divide u?
True
Suppose -2*k + 42 = 32. Suppose -4*y + 252 = k*y. Does 18 divide y?
False
Let p(u) = u + 1. Let a(s) = s + 4. Let q be a(-9). Let d be p(q). Is 2 a factor of ((-28)/(-35))/(d/(-10))?
True
Suppose 130*n - 10 = 128*n. Suppose 0*a + n*a + 3*i = 192, 4*a + 3*i = 156. Is a a multiple of 12?
True
Suppose 5*b - 4*b = 0. Suppose b = 2*f - 11 - 11. Is 11 a factor of f?
True
Let r be 282/(-7) + 8/28. Is (16/r)/((-1)/25) even?
True
Let i = -818 - -1608. Is 5 a factor of i?
True
Is (-4)/30 + 135616/120 a multiple of 7?
False
Let v(t) = t**3 - t**2 + 2*t + 464. Is v(0) a multiple of 5?
False
Is (-14 + 4 + 4)/((-3)/64) a multiple of 5?
False
Let n = 661 + -203. Does 17 divide n?
False
Suppose -146 = -2*i - u + 53, 99 = i + u. Let r(q) = q - 3. Let t be r(0). Is (i/8 + t)*2 a multiple of 19?
True
Suppose 4*w - 11*w = -14. Does 3 divide 1/w*(38 + 0)?
False
Suppose 9*r = -14*r + 4301. Is 10 a factor of r?
False
Suppose -1741 = -7*r - 1139. Does 6 divide r?
False
Let z be 0 + (24 - 1) + -2. Let i = 59 - z. Is 9 a factor of i?
False
Let j(u) = -3*u + 6. Let i be j(3). Let q be -3*(-4 - 7/i). Suppose -15 = q*z - 310. Is z a multiple of 18?
False
Let f(j) = 2*j**2 - 31*j + 14. Is 15 a factor of f(16)?
True
Let a(m) = -16*m - 9. Let i be a(7). Let z(p) = 214*p**3 - 2*p**2 + 2*p + 3. Let q be z(-1). Let v = i - q. Does 22 divide v?
False
Suppose 35 = 6*g - 37. Does 6 divide ((-36)/14)/(g/(-56))?
True
Suppose 5*h - 799 = 96. Does 43 divide h?
False
Let i = -139 - -349. Let h(a) = 3*a**2 - 15*a + 97. Let f be h(6). Let j = i - f. Is 14 a factor of j?
False
Does 15 divide 198/(-12)*6*-5?
True
Let n(a) = a**3 + 17*a**2 + 14*a + 77. Is n(-15) a multiple of 35?
False
Suppose o = 29 + 228. Suppose 3*t - q - o = 0, 4*t + q + 0*q - 338 = 0. Is 17 a factor of t?
True
Suppose -7*w + 0*w + 84 = 0. Suppose w = -2*g + 3*g. Is g a multiple of 2?
True
Suppose -810 = -8*i + 118. Is i a multiple of 26?
False
Suppose 39*u - 43*u - 312 = 0. Let f = -22 - u. Does 10 divide f?
False
Let g = -810 + 823. Let v = 9 + -2. Let m = g - v. Is m a multiple of 5?
False
Suppose -1 - 14 = 5*v. Let w(b) = -40*b + 26. Let a(k) = 2*k - 2. Let m(p) = 28*a(p) + 2*w(p). Does 15 divide m(v)?
False
Let s be 47/(-5) - (-2)/5. Is 10 a factor of s/(36/(-80))*2?
True
Suppose j - 3 = 0, -212 = 5*t - j - 49. Let s(v) = 22*v - 13. Let z be s(-2). Let m = t - z. Is 4 a factor of m?
False
Let c(n) = 25*n + 585. Is c(27) a multiple of 45?
True
Suppose 12*y + 256 = 5*i + 8*y, 224 = 5*i + 4*y. Is i a multiple of 2?
True
Let h(j) = 81*j - 364. Does 30 divide h(7)?
False
Let m(a) = 5*a**2 + 21*a + 141. Is m(-6) a multiple of 4?
False
Suppose 5*p - 1375 = -2*l + 2*p, -5*p = 4*l - 2749. Does 31 divide l?
False
Suppose 5*y - y - 658 = -2*j, 5*j - 1606 = 3*y. Does 19 divide j?
True
Suppose 4*k + 5 = -k. Is 14 a factor of (k - 78)*(-4 + 3 + 0)?
False
Let d(u) = u**3 + 7*u**2 - 10*u - 5. Let g(s) = -12*s - 2. Let o be g(1). Let k = o + 6. Does 6 divide d(k)?
False
Let i(d) = -d**2 + 10*d - 8. Let w(m) = -2*m - 5. Let t be w(-7). Let r be i(t). Let b(l) = 4*l**3 - 3*l**2 + 2*l. Does 2 divide b(r)?
False
Suppose 2*z - 1144 = -2*v + 6, -v + 580 = -4*z. Does 24 divide v?
True
Suppose 5*w = -3*o + 828, 0 = 4*o - 3*w - w - 1136. Suppose 5*k - 14 = o. Is k a multiple of 15?
False
Suppose 0 = x - 2*x + 4*n, 0 = -x - 3*n. Suppose x = -m + 6 + 1. Does 4 divide m?
False
Suppose -5*k + 4*x + 1519 = 0, -4*k - 3*x - 693 = -1902. Let a(q) = 2*q**2 + 3*q - 3. Let l be a(-3). Suppose -3*g = -l*g + k. Is 31 a factor of g?
False
Suppose -10199 = 33*c - 47984. Does 18 divide c?
False
Suppose 16*a - 6209 - 15391 = 0. Is 54 a factor of a?
True
Does 34 divide -1 + 6/2 + (4 - -606)?
True
Let i = -9 - -6. Let d be (i/2)/(12/80). Let y(b) = -b**2 - 14*b - 4. Is 12 a factor of y(d)?
True
Let g be 212/(-2) + 2 + -3. Let m = -182 - g. Is m/(-3) - (-4)/1 a multiple of 20?
False
Let x(g) = -2*g**2 - 88*g - 6. Is x(-27) a multiple of 38?
True
Let s = 123 + -102. Suppose -4*o + s + 95 = 0. Is o a multiple of 2?
False
Suppose -17*l + 43*l - 8008 = 0. Is l a multiple of 11?
True
Suppose -285 = -8*s + 363. Does 8 divide s?
False
Let p = -25 - -29. Suppose -4*k + 112 = p*n, 4*k + 32 = -n + 129. Is 23 a factor of k?
True
Suppose -12*x + 21*x = 2952. Is x a multiple of 4?
True
Let o be 7/7 + (202 - -1). Suppose -3*f + o = -6. Is 25 a factor of f?
False
Suppose -16706 = 31*w - 53348. Is 28 a factor of w?
False
Let u = 365 - 141. Is u a multiple of 16?
True
Let j(r) = -r**3 - 5*r**2 - 3*r. Let p be j(-3). Let x(o) = -4*o - 3. Let k be x(p). Suppose 3*z + 0*z = k. Is 11 a factor of z?
True
Let b(i) = -14*i + 69. Does 30 divide b(-8)?
False
Is 51 a factor of (-1344)/(-6) - (-3 - -1)?
False
Suppose -5*z + 525 = 2*z. Let r = z - 55. Is r a multiple of 20?
True
Suppose 0 = -4*k + 25 - 5. Suppose -2 = -2*a - 4, 3*a + 453 = k*c. Is 10 a factor of c?
True
Suppose x = -1 - 0. Let b be -31*(x/1 - 0). Let o = b + 43. Is o a multiple of 17?
False
Let v(a) = 3*a + 8. Does 2 divide v(11)?
False
Suppose -3*d + 5*d + 5*s - 76 = 0, 4*d - 152 = -5*s. Suppose -5*v - 2*m + 248 = -5*m, -v + 5*m + 32 = 0. Let x = d + v. Is x a multiple of 15?
True
Suppose -s + 5*f - 3*f = 2, -f - 6 = -4*s. Suppose 19 + 49 = -s*p. Let h = -1 - p. Is 12 a factor of h?
False
Suppose -7 = 4*j - 3. Let b be j + (1 - (-2)/1). Suppose -61 - 85 = -b*p. Is 27 a factor of p?
False
Suppose -4*w = 2*z + 16, -2*w - 3 = 2*z + 9. Let p be (-128)/80*(-90)/24. Is 9 a fac